English
Related papers

Related papers: MITP Colours in Darkness workshop summary report

200 papers

The 11th workshop, Descriptional Complexity of Formal Systems 2009, is taking place in Magdeburg, Germany, on July 6-9, 2009. It is jointly organized by the IFIP Working Group 1.2 on Descriptional Complexity and by the Faculty of Computer…

Formal Languages and Automata Theory · Computer Science 2010-02-23 Jürgen Dassow , Giovanni Pighizzini , Bianca Truthe

In a brief note posted recently, the authors of arXiv:1503.07813 raised some concerns on our arxiv:1502.03821, recently published in Nature Physics. We thank them for the interest in our work and respond here to their criticisms.

Astrophysics of Galaxies · Physics 2015-04-16 Fabio Iocco , Miguel Pato , Gianfranco Bertone

This Work-In-Progress Paper for the Innovative Practice Category presents a novel experiment in active learning of cybersecurity. We introduced a new workshop on hacking for an existing science-popularizing program at our university. The…

Computers and Society · Computer Science 2019-03-12 Valdemar Švábenský , Jan Vykopal

We review the progress made at LEP in the quest for new particles.

High Energy Physics - Phenomenology · Physics 2007-05-23 M. Antonelli , S. Moretti

This note presents reflections drawn from my recent experiences in teaching a course on mathematics and sustainability, with a particular emphasis on raising awareness of the topic and its broader implications. The lectures were structured…

History and Overview · Mathematics 2025-10-16 Henrik Shahgholian

We give here the contents pages for the Proceedings of the Lattice 2001 conference (19th International Symposium on Lattice Field Theory) that took place in August 2001 in Berlin, Germany. The contents are in HTML form with clickable links…

High Energy Physics - Lattice · Physics 2009-09-10 M. Mueller-Preussker , W. Bietenholz , K. Jansen , F. Jegerlehner , I. Montvay , G. Schierholz , R. Sommer , U. Wolff

The fundamental nature of Dark Matter is a central theme of the Snowmass 2021 process, extending across all frontiers. In the last decade, advances in detector technology, analysis techniques and theoretical modeling have enabled a new…

These lectures aim to highlight the remarkable symbiosis that currently exists between the physics of the very small and the physics of the very large, using the unsolved puzzle of the nature of Dark Energy as a vehicle for so doing. The…

High Energy Physics - Theory · Physics 2025-09-03 C. P. Burgess

Major progresses have been made this last year towards a better knowledge of the invisible mass. Michel Spiro will talk in details about the micro-lensing experiments and their promising results; the ROSAT satellite has provided extended…

Astrophysics · Physics 2007-05-23 F. Combes , D. Pfenniger

We summarize the theory talks given in Working Group 4 `Polarized Lepton Nucleon Scattering' at the DIS 99 workshop. The significant progress made over the last year on many of the interesting topics in `spin physics' is documented.

High Energy Physics - Phenomenology · Physics 2008-11-26 W. Vogelsang

This EPTCS volume contains the papers from the Seventh International Workshop on Formal Methods for Autonomous Systems (FMAS 2025), which was held between the 17th and 19th of November 2025. The goal of the FMAS workshop series is to bring…

Logic in Computer Science · Computer Science 2025-11-18 Matt Luckcuck , Maike Schwammberger , Mengwei Xu

Every discipline in science or professional practice can be sub-divided into specialties and subspecialties. E.g., in medicine a doctor could indicate that their specialty is ophthalmology and their sub-specialty the retina, or in chemistry…

Image and Video Processing · Electrical Eng. & Systems 2022-06-22 Jan Morovic

This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May…

Programming Languages · Computer Science 2025-05-27 Farzaneh Derakhshan , Jan Hoffmann

The research documents the impact of a teaching experiment designed in order to make students consider not only the spectral composition of light but also its intensity when they interpret colour phenomena. The analysis of eight recorded…

Physics Education · Physics 2011-09-20 Viennot , de Hosson

We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018-2021). We briefly describe the evaluation scheme and the experimental setup of SYNTCOMP. Then, we introduce new benchmark classes that have been added…

In a previous comment (arXiv:0806.1341v1) we criticized purely technical aspects of arXiv:0712.1645 but pointed out that many other inconsistencies were readily apparent. In view of the imminent posting of another version of…

High Energy Physics - Experiment · Physics 2008-08-10 F. T. Avignone , P. S. Barbeau , J. I. Collar

Summary talk at the Lepton-Photon Symposium, Cornell University, Aug. 10-15, 1993.

High Energy Physics - Phenomenology · Physics 2015-06-25 David Gross

In the global context, while mixed reality has been an emerging concept for years, recent technological and scientific advancements have now made it poised to revolutionize industries and daily life by offering enhanced functionalities and…

Human-Computer Interaction · Computer Science 2023-12-18 Aizierjiang Aiersilan

Remote communication through video or audio conferences has become more popular than ever because of the worldwide pandemic. These events, therefore, have provoked the development of systems for automatic minuting of spoken language leading…

Computation and Language · Computer Science 2024-10-07 Olga Iakovenko , Anna Andreeva , Anna Lapidus , Liana Mikaelyan

These lectures have been given to particle physicists, mostly experimentalists and very briefly and at a pedestrian level review the problems of dark matter. The content of the lectures is the following: 1. Introduction. 2. Cosmological…

Astrophysics · Physics 2015-06-24 A. D. Dolgov
‹ Prev 1 8 9 10 Next ›