English
Related papers

Related papers: The Colloquium on Decoupling Civil Timekeeping fro…

200 papers

This volume contains the proceedings of ICE 2013, the 6th Interaction and Concurrency Experience workshop, which was held in Florence, Italy on the 6th of June 2013 as a satellite event of DisCoTec 2013. The ICE procedure for paper…

Programming Languages · Computer Science 2013-10-16 Marco Carbone , Ivan Lanese , Alberto Lluch Lafuente , Ana Sokolova

This volume contains the papers presented at the fifth workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012) held on September 4th, 2012 in Budapest, co-located with the 28th International Conference on Logic…

Artificial Intelligence · Computer Science 2013-01-11 Michael Fink , Yuliya Lierler

We investigate how gravitational time dilation affects the coherence and entanglement dynamics of spatially separated qubits using open quantum systems theory. Unlike earlier works that consider only static or Markovian noise models, our…

Quantum Physics · Physics 2025-09-01 Someindra Kumar Singh

This EPTCS volume collects the post-proceedings of the 10th International Workshop On User Interfaces for Theorem Provers (UITP 2012), held as part of the Conferences on Intelligent Computer Mathematics (CICM 2012) in Bremen on July 11th…

Logic in Computer Science · Computer Science 2013-07-08 Cezary Kaliszyk , Christoph Lüth

This paper examines the interdisciplinary research question of how to integrate Computational Argumentation, as studied in AI, with Cognition, as can be found in Cognitive Science, Linguistics, and Philosophy. It stems from the work of the…

Artificial Intelligence · Computer Science 2021-11-16 Emmanuelle Dietz , Antonis Kakas , Loizos Michael

During the workshop "Compton Scattering off Protons and Light Nuclei: pinning down the nucleon polarisabilities" (ECT*, Trento, Italy, 29 July -- 2 August 2013, http://www.ectstar.eu/node/98), recent developments had been reviewed in…

This volume represents the proceedings of Workshop 27 on Purposeful XR: Affordances, Challenges, and Speculations for an Ethical Future, held together with the CHI conference on Human Factors in Computing Systems on MY 26th, 2025 in…

Human-Computer Interaction · Computer Science 2025-04-11 Elizabeth Childs , Samir Ghosh , Sebastian Cmentowski , Andrea Cuadra , Rabindra Ratan

The interactions among objects in a mean motion resonance are important for the orbital evolution of satellites and rings, especially Saturn's ring arcs and associated moons. In this work, we examine interactions among massive bodies in the…

Earth and Planetary Astrophysics · Physics 2019-09-06 Joseph A. A'Hearn , Matthew M. Hedman , Maryame El Moutamid

This volume contains the proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), held in Saarbrucken, Germany, April 1--3, 2011. QAPL 2011 is a satellite event of the European Joint Conferences on…

Programming Languages · Computer Science 2011-07-06 Mieke Massink , Gethin Norman

The deep connection between entropy and information is discussed in terms of both classical and quantum physics. The mechanism of information transfer between systems via entanglement is explored in the context of decoherence theory. The…

Quantum Physics · Physics 2021-01-05 Martin Paul Vaughan

Next point-of-interest (POI) recommendation requires modeling user mobility as a spatiotemporal sequence, where different behavioral factors may evolve at different temporal and spatial scales. Most existing methods compress a user's…

Information Retrieval · Computer Science 2026-04-24 Zhenyu Yu , Chunlei Meng , Yangchen Zeng , Mohd Yamani Idna Idris , Shuigeng Zhou

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

This volume contains the proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), co-located with the 31st International Joint Conference on Artificial Intelligence and the 25th European…

Multiagent Systems · Computer Science 2022-07-20 Rafael C. Cardoso , Angelo Ferrando , Fabio Papacchini , Mehrnoosh Askarpour , Louise A. Dennis

GGR News: we hear that... GR Centenial Speakers Bureau GGR $\to$ DGR GGR program at the APS meeting in Baltimore, MD Conference reports: New Frontiers in Dynamical Gravity Frontiers of Neutron Star Astrophysics Quantum Information in…

General Relativity and Quantum Cosmology · Physics 2015-01-06 David Garfinkle

During the last couple of years, observers have started to make plans for a Virtual Observatory, as a federation of existing data bases, connected through levels of software that enable rapid searches, correlations, and various forms of…

This is an extended abstract for a presentation at The 17th International Conference on CUPUM - Computational Urban Planning and Urban Management in June 2021. This study presents an interdisciplinary synthesis of the state-of-the-art…

Computer Vision and Pattern Recognition · Computer Science 2022-03-22 Meiqing Li , Hao Sheng

The spontaneous breaking of time translation symmetry has led to the discovery of a new phase of matter - the discrete time crystal. Discrete time crystals exhibit rigid subharmonic oscillations, which result from a combination of many-body…

A complex system with cluttered observations may be a coupled mixture of multiple simple sub-systems corresponding to latent entities. Such sub-systems may hold distinct dynamics in the continuous-time domain; therein, complicated…

Machine Learning · Computer Science 2025-02-17 Zihan Zhou , Tianshu Yu

Cultural Astronomy sits at the intersection of our study of the universe and the human experience, exploring how we observe the stars, interpret their motions, and incorporate them into our perspectives of the nature of reality. "Astronomy…

Physics Education · Physics 2024-10-08 C. Erba , G. Anderson , T. Cox , G. D. Henson , R. Ignace

Participatory approaches to artificial intelligence are increasingly documented across public, civic, and humanitarian settings, but evidence about how participation is organized remains fragmented. This paper reports on the construction of…

Artificial Intelligence · Computer Science 2026-05-19 Rashid Mushkani
‹ Prev 1 3 4 5 6 7 10 Next ›