相关论文: MITP Colours in Darkness workshop summary report

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…

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.

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…

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

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…

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…

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…

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…

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.

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…

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…

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…

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…

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…

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

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…

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…

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…