Related papers: Track 3: Computations in theoretical physics -- te…
Work on electroweak precision calculations and event generators for electroweak physics studies at current and future colliders is summarized.
This volume contains a selection of papers presented at Linearity&TLLA 2020, namely the Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, held on June 29-30, 2020 online. (The workshop was supposed…
This volume contains the proceedings of the Sixth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011). The workshop took place in Saarbruecken, Germany, on April 2nd, 2011, as part of the fourteenth edition of the…
Research into educational physics is a field of study that has undergone sustained growth in recent decades. Among the topics addressed in educational physics, there is a relatively new field of research that seeks to make advanced physics…
The status in electroweak precision physics is reviewed. I present a brief summary of the latest data, global fit results, a few implications for new physics, and an outlook.
ARC 3.0 is a modular, object-oriented Python library combining data and algorithms to enable the calculation of a range of properties of alkali and divalent atoms. Building on the initial version of the ARC library [N. \v{S}ibali\'c et al,…
These are the post-proceedings of the second ARCADE workshop, which took place on the 26th August 2019 in Natal, Brazil, colocated with CADE-27. ARCADE stands for Automated Reasoning: Challenges, Applications, Directions, Exemplary…
These are the notes for my 2017 Takagi lectures on DT counts of curves in algebraic threefolds. We discuss the fundamentals of the subject, its origins, open questions, and certain recent advances.
This volume contains the proceedings of the 13th International Workshop on Verification of Infinite-State Systems (INFINITY 2011). The workshop was held in Taipei, Taiwan on October 10, 2011, as a satellite event to the 9th International…
We summarize the main results of the Spin Physics Working Group Sessions at DIS 2010, the XVIII International Workshop on Deep Inelastic Scattering and Related Subjects.
I discuss highlights in the progress that is being made toward calculating processes of importance in nuclear physics from QCD using high performance computing. As exa-scale computing resources are expected to become available around 2017,…
The reports collected in these proceedings have been presented in the third French-Ukrainian workshop on the instrumentation developments for high-energy physics held at LAL, Orsay on October 15-16. The workshop was conducted in the scope…
Work in progress concerning alternative formalizations of arithmetic.
This volume contains the proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), held in London, UK, on 11 and 12 April, 2015. QAPL 2015 was a satellite event of the European Joint…
The 2023 AI4EIC hackathon was the culmination of the third annual AI4EIC workshop at The Catholic University of America. This workshop brought together researchers from physics, data science and computer science to discuss the latest…
In high energy physics (HEP) experiments, the reconstruction of charged particle trajectories is one of the most fundamental yet computationally expensive parts of event processing. At future hadron colliders such as the High-Luminosity…
This volume contains the formal proceedings of the 5th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018), held on 8th of Juli 2018 in Oxford, United Kingdom, and affiliated with FLoC 2018…
This document provides a writeup of contributions to the FCC-ee mini-workshop on "Physics behind precision" held at CERN, on 2-3 February 2016.
In this contribution we discuss how to develop a physics curriculum for undergraduate students that includes computing as a central element. Our contribution starts with a definition of computing and pertinent learning outcomes and…
The topics of interest are location analysis and related problems. This includes location models, networks, transportation, logistics, exact and heuristic solution methods, and computational geometry, among many others.