English
Related papers

Related papers: Future Proof for Physics: Preserving the Record of…

200 papers

The lecture discusses both the current status of the LHC collider as well as its future running scenarios. In addition a selection of the latest physics results from ATLAS/CMS and LHCb is presented.

High Energy Physics - Experiment · Physics 2020-01-14 J. T. Boyd

This paper outlines some of the difficulties faced by archaeologists studying human activity in outer space. The International Space Station Archaeological Project has identified solutions to these problems, including the use of historic…

This paper summarizes some challenges encountered and best practices established in several years of teaching Machine Learning for the Physical Sciences at the undergraduate and graduate level. I discuss motivations for teaching ML to…

Physics Education · Physics 2021-08-20 Viviana Acquaviva

We discuss the physics capabilities of basic types of future atmospheric detectors being considered at present, with their strengths and limitations, and compare them with those of long baseline (LBL) experiments. We also argue that recent…

High Energy Physics - Phenomenology · Physics 2011-09-13 Raj Gandhi

As part of their efforts to consistently and reliably identify and preserve the archival records of their organizations, archivists are trying to address the issue of appraising and collecting World Wide Web documents. This paper discusses…

History and Philosophy of Physics · Physics 2007-05-23 Jean M. Deken

We illustrate the current status of heavy quark physics on the lattice. Special emphasis is paid to the question of systematic uncertainties and to the connection of lattice computations to continuum physics. Latest results are presented…

High Energy Physics - Phenomenology · Physics 2007-05-23 Stephan Güsken

After stating the author's ontic position, a collage of relevant thoughts of some distinguished foundationally-minded physicists are quoted and polemically commented upon. Thus, a kind of historical background of the recent ontic…

Quantum Physics · Physics 2014-09-16 Fedor Herbut

We survey the history of the capset problem in the context of related results on progression-free sets, discuss recent progress, and mention further directions to explore.

Combinatorics · Mathematics 2024-08-06 Ernie Croot , Vsevolod F. Lev , Péter Pál Pach

An overview of the recent past, present and future of flavour physics studies using kaon decays is presented.

High Energy Physics - Experiment · Physics 2015-03-18 Marco S. Sozzi

This is the summary talk for the theoretical part of ICFP03. The contents of the talk are reviewed and a general outlook is given.

High Energy Physics - Phenomenology · Physics 2007-05-23 Harald Fritzsch

The vast amount of data produced everyday (so-called 'digital traces') and available nowadays represent a gold mine for the social sciences, especially in a computational context, that allows to fully extract their informational and…

Methodology · Statistics 2024-01-05 Serena Signorelli , Matteo Fontana , Lorenzo Gabrielli , Michele Vespe

Surveys of the local and distant Universe are the means to test and improve our models of galaxy formation. Substantial successes in the models are evident, while there is also considerable recent progress in identifying what remains to be…

Astrophysics · Physics 2007-05-23 Gerry Gilmore

Computational astrophysics has undergone unprecedented development over the last decade, becoming a field of its own. The challenge ahead of us will involve increasingly complex multi-scale simulations. These will bridge the gap between…

Cosmology and Nongalactic Astrophysics · Physics 2009-06-25 Lucio Mayer

We present one viewpoint plus some general information on the plans for energy upgrades and physics research at the Jefferson Laboratory.

High Energy Physics - Phenomenology · Physics 2009-10-30 Carl E. Carlson

Laboratory astrophysics and complementary theoretical calculations are the foundations of astronomy and astrophysics and will remain so into the foreseeable future. The impact of laboratory astrophysics ranges from the scientific conception…

Instrumentation and Methods for Astrophysics · Physics 2012-08-27 AAS WGLA , : , Nancy Brickhouse , John Cowan , Paul Drake , Steven Federman , Gary Ferland , Adam Frank , Wick Haxton , Eric Herbst , Keith Olive , Farid Salama , Daniel Wolf Savin , Lucy Ziurys

The impressive progress in data rate capabilities, pattern recognition, and spatial resolution of current detectors in experimental particle physics has been possible thanks to the availability of sophisticated analog processors combined…

Instrumentation and Detectors · Physics 2022-04-18 M. Artuso , C. Grace , T. Heim , A. Dragone , R. Herbst , L. Rota , G. Carini , G. Deptuch , M. Newcomer , K. Flood

The paper examines the construction of a course in mathematical analysis at a pedagogical university, aimed at developing the ability of future mathematics teachers to detect and solve problems related to finding proofs. Key words: teaching…

History and Overview · Mathematics 2025-03-20 Aslanbek Naziev , Irina Zemlyakova

We report on the status of efforts to improve the reinterpretation of searches and measurements at the LHC in terms of models for new physics, in the context of the LHC Reinterpretation Forum. We detail current experimental offerings in…

High Energy Physics - Phenomenology · Physics 2020-08-25 Waleed Abdallah , Shehu AbdusSalam , Azar Ahmadov , Amine Ahriche , Gaël Alguero , Benjamin C. Allanach , Jack Y. Araz , Alexandre Arbey , Chiara Arina , Peter Athron , Emanuele Bagnaschi , Yang Bai , Michael J. Baker , Csaba Balazs , Daniele Barducci , Philip Bechtle , Aoife Bharucha , Andy Buckley , Jonathan Butterworth , Haiying Cai , Claudio Campagnari , Cari Cesarotti , Marcin Chrzaszcz , Andrea Coccaro , Eric Conte , Jonathan M. Cornell , Louie Dartmoor Corpe , Matthias Danninger , Luc Darmé , Aldo Deandrea , Nishita Desai , Barry Dillon , Caterina Doglioni , Juhi Dutta , John R. Ellis , Sebastian Ellis , Farida Fassi , Matthew Feickert , Nicolas Fernandez , Sylvain Fichet , Jernej F. Kamenik , Thomas Flacke , Benjamin Fuks , Achim Geiser , Marie-Hélène Genest , Akshay Ghalsasi , Tomas Gonzalo , Mark Goodsell , Stefania Gori , Philippe Gras , Admir Greljo , Diego Guadagnoli , Sven Heinemeyer , Lukas A. Heinrich , Jan Heisig , Deog Ki Hong , Tetiana Hryn'ova , Katri Huitu , Philip Ilten , Ahmed Ismail , Adil Jueid , Felix Kahlhoefer , Jan Kalinowski , Deepak Kar , Yevgeny Kats , Charanjit K. Khosa , Valeri Khoze , Tobias Klingl , Pyungwon Ko , Kyoungchul Kong , Wojciech Kotlarski , Michael Krämer , Sabine Kraml , Suchita Kulkarni , Anders Kvellestad , Clemens Lange , Kati Lassila-Perini , Seung J. Lee , Andre Lessa , Zhen Liu , Lara Lloret Iglesias , Jeanette M. Lorenz , Danika MacDonell , Farvah Mahmoudi , Judita Mamuzic , Andrea C. Marini , Pete Markowitz , Pablo Martinez Ruiz del Arbol , David Miller , Vasiliki Mitsou , Stefano Moretti , Marco Nardecchia , Siavash Neshatpour , Dao Thi Nhung , Per Osland , Patrick H. Owen , Orlando Panella , Alexander Pankov , Myeonghun Park , Werner Porod , Darren Price , Harrison Prosper , Are Raklev , Jürgen Reuter , Humberto Reyes-González , Thomas Rizzo , Tania Robens , Juan Rojo , Janusz A. Rosiek , Oleg Ruchayskiy , Veronica Sanz , Kai Schmidt-Hoberg , Pat Scott , Sezen Sekmen , Dipan Sengupta , Elizabeth Sexton-Kennedy , Hua-Sheng Shao , Seodong Shin , Luca Silvestrini , Ritesh Singh , Sukanya Sinha , Jory Sonneveld , Yotam Soreq , Giordon H. Stark , Tim Stefaniak , Jesse Thaler , Riccardo Torre , Emilio Torrente-Lujan , Gokhan Unel , Natascia Vignaroli , Wolfgang Waltenberger , Nicholas Wardle , Graeme Watt , Georg Weiglein , Martin J. White , Sophie L. Williamson , Jonas Wittbrodt , Lei Wu , Stefan Wunsch , Tevong You , Yang Zhang , José Zurita

We introduce and elaborate a novel formalism for the manipulation and analysis of proofs as objects in a global manner. In this first approach the formalism is restricted to first-order problems characterized by condensed detachment. It is…

Logic in Computer Science · Computer Science 2024-10-31 Christoph Wernhard , Wolfgang Bibel

Laboratory astrophysics and complementary theoretical calculations are the foundations of astronomy and astrophysics and will remain so into the foreseeable future. The mission enabling impact of laboratory astrophysics ranges from the…

Instrumentation and Methods for Astrophysics · Physics 2019-08-12 Nancy Brickhouse , John Cowan , Paul Drake , Steven Federman , Gary Ferland , Adam Frank , Wick Haxton , Eric Herbst , Keith Olive , Farid Salama , Daniel Wolf Savin , Lucy Ziurys