Related papers: Future Proof for Physics: Preserving the Record of…
Security Assurance Cases (SAC) are a form of structured argumentation used to reason about the security properties of a system. After the successful adoption of assurance cases for safety, SACs are getting significant traction in recent…
Cloud computing has emerged as a popular computing paradigm in recent years. However, today's cloud computing architectures often lack support for computer forensic investigations. A key task of digital forensics is to prove the presence of…
In experimental physics, lab notebooks play an essential role in the research process. For all of the ubiquity of lab notebooks, little formal attention has been paid to addressing what is considered `best practice' for scientific…
The past two decades have witnessed tremendous progress in the microscopic description of atomic nuclei. The Topical Review `The Future of Nuclear Structure' aims at summarizing the current state-of-the-art microscopic calculations in…
This letter is in response to a recent review by DeTar and Gottlieb about lattice QCD that has recently appeared in Physics Today. It also is partially motivated by a separate review written by DeGrand. My basic point is that one should be…
The status of the ATLAS detector shortly before the start-up of the LHC is presented. The progress in the commissioning of the detector, as well as plans for early physics analysis are outlined.
This work is on the Physics of the B Factories. Part A of this book contains a brief description of the SLAC and KEK B Factories as well as their detectors, BaBar and Belle, and data taking related issues. Part B discusses tools and methods…
I review the status of theoretical calculations relevant for electroweak physics at the Tevatron and LHC and discuss future directions. I also give a brief overview of current electroweak data and discuss future expectations.
We summarize the physics case for the International Linear Collider (ILC). We review the key motivations for the ILC presented in the literature, updating the projected measurement uncertainties for the ILC experiments in accord with the…
The physics case for axions and axion-like particles is reviewed and an overview of ongoing and near-future laboratory searches is presented.
The purpose of this paper is to show the magic of physics by showing the physics of magic. What usually makes magic tricks interesting is that something unexpected occurs. Similarly, demonstrations are interesting inasmuch as they produce…
The area of fractional calculus (FC) has been fast developing and is presently being applied in all scientific fields. Therefore, it is of key relevance to assess the present state of development and to foresee, if possible, the future…
The capabilities of the ATLAS and CMS detectors being prepared for the LHC are reviewed. Examples of physics signals accessible during early running and during mature high luminosity LHC operation are examined. The planning and options for…
Highlights are presented about the science to be done with SKA. as well as state of the art science already done today with its precursors (MeerKAT, ASKAP) and pathfinders (LOFAR, NenuFAR), with accent on the expected breakthroughs.
Laboratory experiments provide a valuable complement to explore the fundamental physics of space plasmas without the limitations inherent to spacecraft measurements. Specifically, experiments overcome the restriction that spacecraft…
This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.
This paper investigates the mathematical representation of time in physics. In existing theories time is represented by the real numbers, hence their formal properties represent properties of time: these are surveyed. The central question…
Future linear colliders will require high levels of performance from their electron sources. A group at SLAC has recently tested a structure that substantially exceeds current collider polarized electron source pulse-profile requirements.
In this chapter we provide an overview of the science enabled by radio continuum surveys in the SKA era, focusing on galaxy/galaxy cluster physics and evolution studies, and other relevant continuum science in the >2020 scientific…
A brief history, the current state, and future directions of spin mechanics are presented.