English
Related papers

Related papers: Proceedings 18th International Conference on Quant…

200 papers

The blog has several entries on group theory interacting with computability and wider logic, several open questions, and an entry on undecidability in physics.

Logic · Mathematics 2022-03-01 Andre Nies

Quantum Machine Learning (QML) is the intersection of two revolutionary fields: quantum computing and machine learning. It promises to unlock unparalleled capabilities in data analysis, model building, and problem-solving by harnessing the…

Digital Libraries · Computer Science 2025-04-11 Riya Bansal , Nikhil Kumar Rajput

Quantum machine learning (QML) is rapidly transitioning from theoretical promise to practical relevance across data-intensive scientific domains. In this Review, we provide a structured overview of recent advances that bridge foundational…

Quantum Physics · Physics 2026-02-25 Vinit Singh , Amandeep Singh Bhatia , Mandeep Kaur Saggi , Manas Sajjan , Sabre Kais

This is the written version of a set of lectures on perturbative QCD that were delivered to a mixed audience of young theorists and experimentalists in the course of the XXII International Meeting on Fundamental Physics. These notes are…

High Energy Physics - Phenomenology · Physics 2007-05-23 D. Espriu

We are proud to introduce this special issue of Theory and Practice of Logic Programming (TPLP), dedicated to the regular papers accepted for the 35th International Conference on Logic Programming (ICLP). The ICLP meetings started in…

Logic in Computer Science · Computer Science 2019-08-13 Esra Erdem , Andrea Formisano , German Vidal , Fangkai Yang

We describe QWalk, a new computational package capable of performing Quantum Monte Carlo electronic structure calculations for molecules and solids with many electrons. We describe the structure of the program and its implementation of…

Computational Physics · Physics 2007-10-25 Lucas K. Wagner , Michal Bajdich , Lubos Mitas

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 volume contains the papers presented at the 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013), which was held in Istanbul, Turkey, on August 24 & 25 2013 as a satellite event of the 29th International…

Programming Languages · Computer Science 2013-08-23 Rémy Haemmerlé , Jose Morales

The Institute of Physics New Quantum Curriculum consists of freely available online learning and teaching materials (quantumphysics.iop.org) for a first course in university quantum mechanics starting from two-level systems. This approach…

These are notes of lectures on spinning particles and the worldline formalism originally given by Olindo Corradini and Christian Schubert at the School on Spinning Particles in Quantum Field Theory: Worldline Formalism, Higher Spins, and…

High Energy Physics - Theory · Physics 2021-11-22 Olindo Corradini , Christian Schubert , James P. Edwards , Naser Ahmadiniaz

These lecture notes discuss methods, recent results and future prospects in proton-proton physics at the Large Hadron Collider.

High Energy Physics - Experiment · Physics 2016-11-29 Andreas Hoecker

We provide a brief review of the fundamentals of quantum computation and quantum error correction for the participants of the first Quantum Information Knowledge (QuIK) workshop at the 2024 IEEE International Symposium on Information Theory…

Quantum Physics · Physics 2024-07-18 Priya J. Nadkarni , Narayanan Rengaswamy , Bane Vasić

This volume contains a final and revised selection of papers presented at Twelfth Workshop on Developments in Computational Models (DCM 2018) and the Ninth Workshop on Intersection Types and Related Systems (ITRS 2018), held on July 8, 2018…

Logic in Computer Science · Computer Science 2019-04-23 Michele Pagani , Sandra Alves

Contribution from the USQCD Collaboration to the Proceedings of the US Community Study on the Future of Particle Physics (Snowmass 2021).

I present a selection of conceptual and mathematical problems in the foundations of modern physics as they derive from the title question. Contribution to a panel session, "Springer Forum: Quantum Structures -- Physical, Mathematical and…

Quantum Physics · Physics 2011-01-04 Paul Busch

In the e-print is discussed a few steps to introducing of "vocabulary" of relativistic physics in quantum theory of information and computation (QTI&C). The behavior of a few simple quantum systems those are used as models in QTI&C is…

Quantum Physics · Physics 2008-02-03 Alexander Yu. Vlasov

This volume constitutes the proceedings of LFMTP 2015, the Tenth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, held on August 1st, 2015 in Berlin, Germany. The workshop was a one-day satellite event…

Logic in Computer Science · Computer Science 2015-07-29 Iliano Cervesato , Kaustuv Chaudhuri

The paper is withdrawn by the author. This was an embryon of the book which has now been published with World Scientific under the title "Lectures on Quantum Chromodynamics". See http://www.wspc.com.sg/books/physics/4443.html, where the…

High Energy Physics - Phenomenology · Physics 2007-05-23 A. V. Smilga

This is a review article for The Review of Particle Physics 2022 (aka the Particle Data Book). It forms a compact review of knowledge of the cosmological parameters near the end of 2021. Topics included are Parametrizing the Universe;…

Cosmology and Nongalactic Astrophysics · Physics 2022-01-24 Ofer Lahav , Andrew R Liddle

This is the proceedings of the 14th International Computational Accelerator Physics Conference, ICAP'24, which was held at the Lufthansa Seeheim Conference Hotel in Germany from October 2-5, 2024, hosted by TU Darmstadt and GSI…

Accelerator Physics · Physics 2025-02-04 Thilo Egenolf , Oliver Boine-Frankenheim , Herbert De Gersem