English
Related papers

Related papers: Overview and Charge -- Snowmass Workshop 2005

200 papers

ICOOOLPS'2006 was the first edition of ECOOP-ICOOOLPS workshop. It intended to bring researchers and practitioners both from academia and industry together, with a spirit of openness, to try and identify and begin to address the numerous…

Performance · Computer Science 2007-10-16 Roland Ducournau , Etienne Gagnon , Chandra Krintz , Philippe Mulet , Jan Vitek , Olivier Zendra

Resummation techniques are essential for high-precision phenomenology at current and future high-energy collider experiments. Perturbative computations of cross sections often suffer from large logarithmic corrections, which must be…

Project-X is a proposed project to be built at Fermi National Accelerator Laboratory with several potential missions. A primary part of the Project-X accelerator chain is a Superconducting linac, and In October 2009 a workshop was held to…

Accelerator Physics · Physics 2012-02-02 J. Galambos , R. Garoby , S. Geer

The ILD detector is proposed for an electron-positron collider with collision centre-of-mass energies from 90~\GeV~to about 1~\TeV. It has been developed over the last 10 years by an international team of scientists with the goal to design…

Instrumentation and Detectors · Physics 2020-03-04 The ILD Collaboration

The workshop "Mining Scientific Papers: Computational Linguistics and Bibliometrics" (CLBib 2015), co-located with the 15th International Society of Scientometrics and Informetrics Conference (ISSI 2015), brought together researchers in…

Computation and Language · Computer Science 2015-06-18 Iana Atanassova , Marc Bertin , Philipp Mayr

We give here a compilation of papers presented at Lattice 98 (XVI Intl. Symposium on Lattice Field Theory, Boulder, Colorado, USA, 13-18 July 1998). The contents are in html form with clickable links to the papers that exist on the hep-lat…

High Energy Physics - Lattice · Physics 2007-05-23 T. DeGrand , C. DeTar , R. Sugar , D. Toussaint

The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace…

Logic in Computer Science · Computer Science 2017-04-19 Guillaume Bonfante , Georg Moser

This volume contains the papers presented at LINEARITY 2016, the Fourth International Workshop on Linearity, held on June 26, 2016 in Porto, Portugal. The workshop was a one-day satellite event of FSCD 2016, the first International…

Logic in Computer Science · Computer Science 2017-01-18 Iliano Cervesato , Maribel Fernández

This paper presents a summary of the theoretical presentations to the international workshop "Diffraction 2006". The range of topics covered during the workshop was quite broad and this summary is therefore somewhat selective covering…

High Energy Physics - Phenomenology · Physics 2008-11-26 Jeffrey R. Forshaw

These reports present the results of the 2013 Community Summer Study of the APS Division of Particles and Fields ("Snowmass 2013") on the future program of particle physics in the U.S. Chapter 6, on Accelerator Capabilities, discusses the…

This volume contains the proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015), which was held July 15-17, 2015 at Oxford University. The goal of this workshop series is to bring together researchers working…

Quantum Physics · Physics 2015-11-05 Chris Heunen , Peter Selinger , Jamie Vicary

This report, as part of the 2021 Snowmass Process, summarizes the current status of collider physics at the Energy Frontier, the broad and exciting future prospects identified for the Energy Frontier, the challenges and needs of future…

The ILC Technical Design Report documents the design for the construction of a linear collider which can be operated at energies up to 500 GeV. This report summarizes the outcome of a study of possible running scenarios, including a…

High Energy Physics - Experiment · Physics 2015-06-26 T. Barklow , J. Brau , K. Fujii , J. Gao , J. List , N. Walker , K. Yokoya

This volume contains the proceedings of MARS 2022, the fifth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2022, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring…

Logic in Computer Science · Computer Science 2022-03-18 Clemens Dubslaff , Bas Luttik

This volume contains the proceedings of the Eleventh International Workshop on the ACL2 Theorem Prover and its Applications, held on May 30 and 31, 2013, in Laramie, Wyoming, USA. ACL2 is an industrial-strength automated reasoning system,…

Logic in Computer Science · Computer Science 2013-04-29 Ruben Gamboa , Jared Davis

The International Linear Collider Technical Design Report (TDR) describes in four volumes the physics case and the design of a 500 GeV centre-of-mass energy linear electron-positron collider based on superconducting radio-frequency…

The International Committee for Future Accelerators (ICFA) has been in existence for well over four decades. Its mission is to facilitate international collaboration in the construction and use of accelerators for high energy physics. This…

Accelerator Physics · Physics 2019-02-28 Pushpalatha C. Bhat , Geoffrey N. Taylor

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
‹ Prev 1 4 5 6 7 8 10 Next ›