English
Related papers

Related papers: Personal report of the 3rd ECMDA-FA'07 conference

200 papers

This book includes my lectures, together with their problem sets and solutions, on 1) classical mechanics (one semester), 2) thermodynamics and statistical mechanics (one semester), and 3) quantum mechanics (one semester), which I have been…

Classical Physics · Physics 2016-03-15 Badis Ydri

This article presents an application developed for electronically managing and analyzing assessment data for ABET accreditation purposes using Microsoft Access. It facilitates the data entry, analysis and record-keeping for criterion 3 and…

Physics Education · Physics 2019-01-18 Adeel Sabir , Nisar A. Abbasi , Md Nurul Islam

This volume contains the proceedings of the 7th International Workshop on Developments in Computational Models (DCM 2011) which was held on Sunday July 3, 2011, in Zurich, Switzerland, as a satelite workshop of ICALP 2011. Recently several…

Computational Engineering, Finance, and Science · Computer Science 2012-07-31 Elham Kashefi , Jean Krivine , Femke van Raamsdonk

Poster-presentation of the paper "Message Passing Fluids: molecules as processes in parallel computational fluids" held at "EURO PVMMPI 2003" Congress; the paper is on the proceedings "Recent Advances in Parallel Virtual Machine and Message…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Gianluca Argentini

This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised as a one-day satellite event of FSCD 2023, the 8th…

Logic in Computer Science · Computer Science 2024-10-01 Sandra Alves , Ian Mackie

Short review article on quantum information processing accepted for Supplement III, Encyclopaedia of Mathematics (publication expected Summer 2001). See also http://www.wkap.nl/series.htm/ENM

Quantum Physics · Physics 2007-05-23 E. H. Knill , M. A. Nielsen

The 2nd International Workshop on Overlay Architectures for FPGAs (OLAF 2016) was held on 21 Mar, 2016 as a co-located workshop at the 24th ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA 2016). This year, the…

Hardware Architecture · Computer Science 2016-05-27 Hayden Kwok-Hay So , John Wawrzynek

With short resumes and highlights the discussions in the different working groups of the workshop MPI@LHC 2012 is documented.

Most conference papers present new results, but this paper will focus more on opportunities for the audience to make their own contributions. This paper is intended to challenge the community to think more broadly about what we can do with…

Computation and Language · Computer Science 2025-01-27 Kenneth Church

Recently delivered lectures on Self-Referential Mathematics, [2], at the Department of Mathematics and Applied Mathematics, University of Pretoria, are briefly presented. Comments follow on the subject, as well as on Inconsistent…

General Mathematics · Mathematics 2009-05-05 Elemer E Rosinger

We have organized Workshop III entitled "Cited References Analysis Using CRExplorer" at ISSI2021. Here, we report and reflect on this workshop. The aim of this workshop was to bring beginners, practitioners, and experts in cited references…

Digital Libraries · Computer Science 2021-08-26 Robin Haunschild , Lutz Bornmann

This volume contains the articles presented at The 2023 Scheme and Functional Programming Workshop in Seattle, Washington on September 9, 2023. The program committee reviewed the articles using current academic standards and selected four…

Programming Languages · Computer Science 2023-10-13 Marco T. Morazán

On June 5, 2007 the second author delivered a talk at the Journees de l'Institut Elie Cartan entitled "Finite symmetry groups in complex geometry". This paper begins with an expanded version of that talk which, in the spirit of the…

Algebraic Geometry · Mathematics 2009-05-11 Kristina Frantzen , Alan Huckleberry

A didactical survey of the foundations of Algorithmic Information Theory. These notes are short on motivation, history and background but introduce some of the main techniques and concepts of the field. The "manuscript" has been evolving…

Information Theory · Computer Science 2021-05-12 Peter Gacs

For many years, achievements and discoveries made by scientists are made aware through research papers published in appropriate journals or conferences. Often, established scientists and especially newbies are caught up in the dilemma of…

Information Retrieval · Computer Science 2020-01-09 Rahul Radhakrishnan Iyer , Manish Sharma , Vijaya Saradhi

This manuscript was written for the Proceedings of the ICRA 2022 in Buenos Aires. It can be divided into four parts: The first part is an introduction to the theory of monomorphism categories, including a short survey on some representation…

Representation Theory · Mathematics 2024-07-25 Sondre Kvamme

We give a brief review on recent developments in the three-dimensional minimal model program.

Algebraic Geometry · Mathematics 2021-09-01 Yuri Prokhorov

Fairness, Accountability, and Transparency (FAccT) for socio-technical systems has been a thriving area of research in recent years. An ACM conference bearing the same name has been the central venue for scholars in this area to come…

Computers and Society · Computer Science 2022-06-15 Benjamin Laufer , Sameer Jain , A. Feder Cooper , Jon Kleinberg , Hoda Heidari

Software is a central part of modern science, and knowledge of its use is crucial for the scientific community with respect to reproducibility and attribution of its developers. Several studies have investigated in-text mentions of software…

Digital Libraries · Computer Science 2024-04-19 David Schindler , Tazin Hossain , Sascha Spors , Frank Krüger