English
Related papers

Related papers: Frascati 22 GeV Workshop Summary

200 papers

The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated…

Formal Languages and Automata Theory · Computer Science 2010-11-01 Yu-Fang Chen , Ahmed Rezine

This whitepaper summarizes and the state of the field of high-power cyclotrons and FFAs as discussed by international experts during a three-day workshop of the same name. The workshop was held online from Sep 7 to Sep 9, 2021 as part of…

The third Global Experimentation for Future Internet (GEFI 2018) workshop was held October 25-26, 2018 in Tokyo, Japan, hosted by the University of Tokyo. A total of forty-four participants attended, representing Belgium, Brazil, China,…

The workshop TERMGRAPH 2022 took place at Technion in Haifa, Israel, on August 1, 2022, in the Pre-FLoC workshop block (July 31-August 1) of FLoC 2022 (Federated Logic Conference 2022, July 31-August 12). As such, TERMGRAPH 2022 was a…

Logic in Computer Science · Computer Science 2023-04-04 Clemens Grabmayer

In a few months the KLOE-2 detector is expected to start data taking at the upgraded DA$\rm{\Phi}$NE $\phi$-factory of INFN Laboratori Nazionali di Frascati. It aims to collect 25 fb$^{-1}$ at the $\phi(1020)$ peak, and about 5 fb$^{-1}$ in…

High Energy Physics - Experiment · Physics 2015-05-18 G. Venanzoni

This White Paper presents the community inputs and scientific conclusions from the Hot and Cold QCD Town Meeting that took place September 23-25, 2022 at MIT, as part of the Nuclear Science Advisory Committee (NSAC) 2023 Long Range Planning…

High Energy Physics - Phenomenology · Physics 2024-04-26 P. Achenbach , D. Adhikari , A. Afanasev , F. Afzal , C. A. Aidala , A. Al-bataineh , D. K. Almaalol , M. Amaryan , D. Androić , W. R. Armstrong , M. Arratia , J. Arrington , A. Asaturyan , E. C. Aschenauer , H. Atac , H. Avakian , T. Averett , C. Ayerbe Gayoso , X. Bai , K. N. Barish , N. Barnea , G. Basar , M. Battaglieri , A. A. Baty , I. Bautista , A. Bazilevsky , C. Beattie , S. C. Behera , V. Bellini , R. Bellwied , J. F. Benesch , F. Benmokhtar , C. A. Bernardes , J. C. Bernauer , H. Bhatt , S. Bhatta , M. Boer , T. J. Boettcher , S. A. Bogacz , H. J. Bossi , J. D. Brandenburg , E. J. Brash , R. A. Briceño , W. J. Briscoe , S. J. Brodsky , D. A. Brown , V. D. Burkert , H. Caines , I. A. Cali , A. Camsonne , D. S. Carman , J. Caylor , S. Cerci , M. Chamizo Llatas , S. Chatterjee , J. P. Chen , Y. Chen , Y. -C. Chen , Y. -T. Chien , P. -C. Chou , X. Chu , E. Chudakov , E. Cline , I. C. Cloët , P. L. Cole , M. E. Connors , M. Constantinou , W. Cosyn , S. Covrig Dusa , R. Cruz-Torres , U. D'Alesio , C. da Silva , Z. Davoudi , C. T. Dean , D. J. Dean , M. Demarteau , A. Deshpande , W. Detmold , A. Deur , B. R. Devkota , S. Dhital , M. Diefenthaler , S. Dobbs , M. Döring , X. Dong , R. Dotel , K. A. Dow , E. J. Downie , J. L. Drachenberg , A. Dumitru , J. C. Dunlop , R. Dupre , J. M. Durham , D. Dutta , R. G. Edwards , R. J. Ehlers , L. El Fassi , M. Elaasar , L. Elouadrhiri , M. Engelhardt , R. Ent , S. Esumi , O. Evdokimov , O. Eyser , C. Fanelli , R. Fatemi , I. P. Fernando , F. A. Flor , N. Fomin , A. D. Frawley , T. Frederico , R. J. Fries , C. Gal , B. R. Gamage , L. Gamberg , H. Gao , D. Gaskell , F. Geurts , Y. Ghandilyan , N. Ghimire , R. Gilman , C. Gleason , K. Gnanvo , R. W. Gothe , S. V. Greene , H. W. Grießhammer , S. K. Grossberndt , B. Grube , D. C. Hackett , T. J. Hague , H. Hakobyan , J. -O. Hansen , Y. Hatta , M. Hattawy , L. B. Havener , O. Hen , W. Henry , D. W. Higinbotham , T. J. Hobbs , A. M. Hodges , T. Holmstrom , B. Hong , T. Horn , C. R. Howell , H. Z. Huang , M. Huang , S. Huang , G. M. Huber , C. E. Hyde , E. L. Isupov , P. M. Jacobs , J. Jalilian-Marian , A. Jentsch , H. Jheng , C. -R. Ji , X. Ji , J. Jia , D. C. Jones , M. K. Jones , N. Kalantarians , G. Kalicy , Z. B. Kang , J. M. Karthein , D. Keller , C. Keppel , V. Khachatryan , D. E. Kharzeev , H. Kim , M. Kim , Y. Kim , P. M. King , E. Kinney , S. R. Klein , H. S. Ko , V. Koch , M. Kohl , Y. V. Kovchegov , G. K. Krintiras , V. Kubarovsky , S. E. Kuhn , K. S. Kumar , T. Kutz , J. G. Lajoie , J. Lauret , I. Lavrukhin , D. Lawrence , J. H. Lee , K. Lee , S. Lee , Y. -J. Lee , S. Li , W. Li , Xiaqing Li , Xuan Li , J. Liao , H. -W. Lin , M. A. Lisa , K. -F. Liu , M. X. Liu , T. Liu , S. Liuti , N. Liyanage , W. J. Llope , C. Loizides , R. Longo , W. Lorenzon , S. Lunkenheimer , X. Luo , R. Ma , B. McKinnon , D. G. Meekins , Y. Mehtar-Tani , W. Melnitchouk , A. Metz , C. A. Meyer , Z. -E. Meziani , R. Michaels , J. K. L. Michel , R. G. Milner , H. Mkrtchyan , P. Mohanmurthy , B. Mohanty , V. I. Mokeev , D. H. Moon , I. A. Mooney , C. Morningstar , D. P. Morrison , B. Müller , S. Mukherjee , J. Mulligan , C. Munoz Camacho , J. A. Murillo Quijada , M. J. Murray , S. A. Nadeeshani , P. Nadel-Turonski , J. D. Nam , C. E. Nattrass , G. Nijs , J. Noronha , J. Noronha-Hostler , N. Novitzky , M. Nycz , F. I. Olness , J. D. Osborn , R. Pak , B. Pandey , M. Paolone , Z. Papandreou , J. -F. Paquet , S. Park , K. D. Paschke , B. Pasquini , E. Pasyuk , T. Patel , A. Patton , C. Paudel , C. Peng , J. C. Peng , H. Pereira Da Costa , D. V. Perepelitsa , M. J. Peters , P. Petreczky , R. D. Pisarski , D. Pitonyak , M. A. Ploskon , M. Posik , J. Poudel , R. Pradhan , A. Prokudin , C. A. Pruneau , A. J. R. Puckett , P. Pujahari , J. Putschke , J. R. Pybus , J. -W. Qiu , K. Rajagopal , C. Ratti , K. F. Read , R. Reed , D. G. Richards , C. Riedl , F. Ringer , T. Rinn , J. Rittenhouse West , J. Roche , A. Rodas , G. Roland , F. Romero-López , P. Rossi , T. Rostomyan , L. Ruan , O. M. Ruimi , N. R. Saha , N. R. Sahoo , T. Sakaguchi , F. Salazar , C. W. Salgado , G. Salmè , S. Salur , S. N. Santiesteban , M. M. Sargsian , M. Sarsour , N. Sato , T. Satogata , S. Sawada , T. Schäfer , B. Scheihing-Hitschfeld , B. Schenke , S. T. Schindler , A. Schmidt , R. Seidl , M. H. Shabestari , P. E. Shanahan , C. Shen , T. -A. Sheng , M. R. Shepherd , A. M. Sickles , M. D. Sievert , K. L. Smith , Y. Song , A. Sorensen , P. A. Souder , N. Sparveris , S. Srednyak , A. G. Stahl Leiton , A. M. Stasto , P. Steinberg , S. Stepanyan , M. Stephanov , J. R. Stevens , D. J. Stewart , I. W. Stewart , M. Stojanovic , I. Strakovsky , S. Strauch , M. Strickland , D. Sunar Cerci , M. Suresh , B. Surrow , S. Syritsyn , A. P. Szczepaniak , A. S. Tadepalli , A. H. Tang , J. D. Tapia Takaki , T. J. Tarnowsky , A. N. Tawfik , M. I. Taylor , C. Tennant , A. Thiel , D. Thomas , Y. Tian , A. R. Timmins , P. Tribedy , Z. Tu , S. Tuo , T. Ullrich , E. Umaka , D. W. Upton , J. P. Vary , J. Velkovska , R. Venugopalan , A. Vijayakumar , I. Vitev , W. Vogelsang , R. Vogt , A. Vossen , E. Voutier , V. Vovchenko , A. Walker-Loud , F. Wang , J. Wang , X. Wang , X. -N. Wang , L. B. Weinstein , T. J. Wenaus , S. Weyhmiller , S. W. Wissink , B. Wojtsekhowski , C. P. Wong , M. H. Wood , Y. Wunderlich , B. Wyslouch , B. W. Xiao , W. Xie , W. Xiong , N. Xu , Q. H. Xu , Z. Xu , D. Yaari , X. Yao , Z. Ye , Z. H. Ye , C. Yero , F. Yuan , W. A. Zajc , C. Zhang , J. Zhang , F. Zhao , Y. Zhao , Z. W. Zhao , X. Zheng , J. Zhou , M. Zurek

This volume contains the proceedings of the 12th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2021). The aim of GandALF 2021 symposium is to bring together researchers from academia and industry which…

Formal Languages and Automata Theory · Computer Science 2021-09-17 Pierre Ganty , Davide Bresolin

The European Strategy for Particle Physics (ESSP) submitted in 2013 a deliberation document to the CERN council explaining that a lepton collider with "energies of 500\,GeV or higher could explore the Higgs properties further, for example…

High Energy Physics - Phenomenology · Physics 2019-02-18 Alain Blondel , Patrick Janot

This report has been prepared as part of the US Community Study on the Future of Particle Physics (Snowmass 2021) by the Snowmass Neutrino Frontier Topical Group NF02 Conveners, and it is based on the NF02 Topical Group-contributed White…

High Energy Physics - Experiment · Physics 2022-09-30 Georgia Karagiorgi , Bryce R. Littlejohn , Pedro Machado , Alexandre Sousa

Neutron capture reactions are the main contributors to the synthesis of the heavy elements through the s-process. Together with $^{13}$C($\alpha$,n)16O, which has recently been measured by the LUNA collaboration in an energy region inside…

Instrumentation and Detectors · Physics 2025-10-09 David Rapagnani , Chemseddine Ananna , Antonino Di Leva , Gianluca Imbriani , Matthias Junker , Marco Pignatari , Andreas Best

The purpose of the 2010 NASA Laboratory Astrophysics Workshop (LAW) was, as given in the Charter from NASA, "to provide a forum within which the scientific community can review the current state of knowledge in the field of Laboratory…

In August of 2021, the Santa Fe Institute hosted a workshop on collective intelligence as part of its Foundations of Intelligence project. This project seeks to advance the field of artificial intelligence by promoting interdisciplinary…

Artificial Intelligence · Computer Science 2022-10-12 Tyler Millhouse , Melanie Moses , Melanie Mitchell

An overview of more than 25 years of the Tevatron Collider program at Fermi National Accelerator Laboratory in Batavia, near Chicago, Illinois, USA, is presented. The physics goals of the program itself, the Tevatron accelerator design…

High Energy Physics - Experiment · Physics 2012-01-04 Krzysztof Sliwa

We present preliminary results of an experiment performed at the 1-GeV electron synchrotron of the Lebedev Physical Institute. Using the bremsstrahlung photon beam with the end-point energy of 650-850 MeV and the carbon target, correlated…

Nuclear Experiment · Physics 2011-04-15 G. A. Sokol , T. A. Aibergenov , A. V. Kravtsov , A. I. L'vov , L. N. Pavlyuchenko

This volume contains the proceedings of GandALF 2024, the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2024 took place on 19-21 June 2024, in Reykjavik, Iceland. The aim of GandALF 2024 is…

Formal Languages and Automata Theory · Computer Science 2024-10-30 Antonis Achilleos , Adrian Francalanza

A source for polarized positron beams at the Continuous Electron Beam Accelerator Facility (CEBAF) at Jefferson Lab is being designed. The Polarized Electrons for Polarized Positrons (PEPPo) concept is used to produce polarized…

Accelerator Physics · Physics 2023-09-26 A. Ushakov , S. Covrig , J. Grames , S. Habet , C. Le Galliard , E. Voutier

A staged approach towards muon based facilities for Intensity and Energy Frontier science, building upon existing and proposed facilities at Fermilab, is presented. At each stage, a facility exploring new physics also provides an R&D…

With the nearing completion of the first-generation experiments at asymmetric $e^+ e^-$ colliders running at the $\Upsilon(4S)$ resonance ("B-Factories") a new era of high luminosity machines is at the horizon. We report here on the plans…

High Energy Physics - Experiment · Physics 2010-01-15 Christian Kiesling