中文
相关论文

相关论文: Summary of the 16th Applied Antineutrino Physics W…

200 篇论文

This is a brief summary of the 11th Applied Antineutrino Physics 2015 workshop held at the Virginia Tech Arlington Research Facility from December 7-8, 2015.

高能物理 - 实验 · 物理学 2016-02-20 N. S. Bowden , K. M. Heeger , P. Huber , C. Mariani , R. B. Vogelaar

Proceedings for the 14th installment of Applied Antineutrino Physics (AAP) workshop series.

The Sixth International Conference on Applied Category Theory took place at the University of Maryland, 31 July -- 4 August 2023. This conference follows the previous meetings at Leiden (2018), Oxford (2019), MIT (2020, fully online),…

计算机科学中的逻辑 · 计算机科学 2023-12-14 Sam Staton , Christina Vasilakopoulou

In preparation for the nuclear physics Long Range Plan exercise, a group of 104 neutrino physicists met in Seattle September 21-23 to discuss both the present state of the field and the new opportunities of the next decade. This report…

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program (WINP) at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists…

高能物理 - 实验 · 物理学 2015-04-03 C. Adams , J. R. Alonso , A. M. Ankowski , J. A. Asaadi , J. Ashenfelter , S. N. Axani , K. Babu , C. Backhouse , H. R. Band , P. S. Barbeau , N. Barros , A. Bernstein , M. Betancourt , M. Bishai , E. Blucher , J. Bouffard , N. Bowden , S. Brice , C. Bryan , L. Camilleri , J. Cao , J. Carlson , R. E. Carr , A. Chatterjee , M. Chen , S. Chen , M. Chiu , E. D. Church , J. I. Collar , G. Collin , J. M. Conrad , M. R. Convery , R. L. Cooper , D. Cowen , H. Davoudiasl , A. De Gouvea , D. J. Dean , G. Deichert , F. Descamps , T. DeYoung , M. V. Diwan , Z. Djurcic , M. J. Dolinski , J. Dolph , B. Donnelly , D. A. Dwyer , S. Dytman , Y. Efremenko , L. L. Everett , A. Fava , E. Figueroa-Feliciano , B. Fleming , A. Friedland , B. K. Fujikawa , T. K. Gaisser , M. Galeazzi , D. C. Galehouse , A. Galindo-Uribarri , G. T. Garvey , S. Gautam , K. E. Gilje , M. Gonzalez-Garcia , M. C. Goodman , H. Gordon , E. Gramellini , M. P. Green , A. Guglielmi , R. W. Hackenburg , A. Hackenburg , F. Halzen , K. Han , S. Hans , D. Harris , K. M. Heeger , M. Herman , R. Hill , A. Holin , P. Huber , D. E. Jaffe , R. A. Johnson , J. Joshi , G. Karagiorgi , L. J. Kaufman , B. Kayser , S. H. Kettell , B. J. Kirby , J. R. Klein , Yu. G. Kolomensky , R. M. Kriske , C. E. Lane , T. J. Langford , A. Lankford , K. Lau , J. G. Learned , J. Ling , J. M. Link , D. Lissauer , L. Littenberg , B. R. Littlejohn , S. Lockwitz , M. Lokajicek , W. C. Louis , K. Luk , J. Lykken , W. J. Marciano , J. Maricic , D. M. Markoff , D. A. Martinez Caicedo , C. Mauger , K. Mavrokoridis , E. McCluskey , D. McKeen , R. McKeown , G. Mills , I. Mocioiu , B. Monreal , M. R. Mooney , J. G. Morfin , P. Mumm , J. Napolitano , R. Neilson , J. K. Nelson , M. Nessi , D. Norcini , F. Nova , D. R. Nygren , G. D. Orebi Gann , O. Palamara , Z. Parsa , R. Patterson , P. Paul , A. Pocar , X. Qian , J. L. Raaf , R. Rameika , G. Ranucci , H. Ray , D. Reyna , G. C. Rich , P. Rodrigues , E. Romero Romero , R. Rosero , S. D. Rountree , B. Rybolt , M. C. Sanchez , G. Santucci , D. Schmitz , K. Scholberg , D. Seckel , M. Shaevitz , R. Shrock , M. B. Smy , M. Soderberg , A. Sonzogni , A. B. Sousa , J. Spitz , J. M. St. John , J. Stewart , J. B. Strait , G. Sullivan , R. Svoboda , A. M. Szelc , R. Tayloe , M. A. Thomson , M. Toups , A. Vacheret , M. Vagins , R. G. Van de Water , R. B. Vogelaar , M. Weber , W. Weng , M. Wetstein , C. White , B. R. White , L. Whitehead , D. W. Whittington , M. J. Wilking , R. J. Wilson , P. Wilson , D. Winklehner , D. R. Winn , E. Worcester , L. Yang , M. Yeh , Z. W. Yokley , J. Yoo , B. Yu , J. Yu , C. Zhang

Proceedings of the Seventh International Conference on Applied Category Theory, held at the University of Oxford on 17 - 21 June 2024. The contributions to ACT 2024 ranged from pure to applied and included contributions in a wide range of…

计算机科学中的逻辑 · 计算机科学 2025-09-24 Michael Johnson , David Jaz Myers

The third Workshop of the NuMass series ("The Future of Neutrino Mass Measurements: Terrestrial, Astrophysical, and Cosmological Measurements in the Next Decade: NuMass 2013") was held at Dipartimento di Fisica "G. Occhialini, University of…

A neutrino community workshop was held at Fermilab in Jan 2020, with the aim of developing an implementation plan for a set of common interfaces to Neutrino Event Generators. This white paper summarizes discussions at the workshop and the…

This volume contains contributions presented at the 11th Low-Level RF Workshop which was held in Gyeongju, South Korea on October 22-27, 2023. This workshop continued the series of successful international workshops held in Newport News,…

加速器物理 · 物理学 2023-11-22 Dmitry Teytelman

The 16th International Conference on Automata and Formal Languages (AFL 2023) was held in Eger, September 5-7, 2023. It was organized by the Eszterh\'azy K\'aroly Catholic University of Eger, Hungary, and the University of Szeged, Hungary.…

形式语言与自动机理论 · 计算机科学 2023-09-06 Zsolt Gazdag , Szabolcs Iván , Gergely Kovásznai

Summary of the Phenomenology Working Group at the Europhysics Neutrino Oscillation Workshop (NOW'98), 7-9 September 1998, Amsterdam.

高能物理 - 唯象学 · 物理学 2007-05-23 S. M. Bilenky , A. Geiser , C. Giunti , S. Mohanty , S. Otwinowski , S. Sarkar , Z. Z. Xing

This volume constitutes the proceedings of the 7th International Workshop on Physics and Computation (PC 2016). The workshop was held on the 14th of July 2016 in Manchester, UK, as a satellite workshop to UCNC 2016, the 15th International…

新兴技术 · 计算机科学 2016-06-22 Alastair A. Abbott , Dominic C. Horsman

This volume contains the papers presented at Arg-LPNMR 2016: First International Workshop on Argumentation in Logic Programming and Nonmonotonic Reasoning held on July 8-10, 2016 in New York City, NY.

人工智能 · 计算机科学 2016-11-09 Sarah Alice Gaggl , Juan Carlos Nieves , Hannes Strass

This report contains the proceedings of the 19th International Workshop on Termination (WST 2023), which was held in Obergurgl during August 24--25 as part of Obergurgl Summer on Rewriting (OSR 2023).

计算机科学中的逻辑 · 计算机科学 2023-08-21 Akihisa Yamada , Benjamin Lucien Kaminski , Dieter Hofbauer , Fred Mesnard , Étienne Payet

This EPTCS volume contains the papers from the Sixth International Workshop on Formal Methods for Autonomous Systems (FMAS 2024), which was held between the 11th and 13th of November 2024. FMAS 2024 was co-located with 19th International…

计算机科学中的逻辑 · 计算机科学 2024-11-21 Matt Luckcuck , Mengwei Xu

This document summarizes the conclusions of the Neutrino Town Meeting held at CERN in October 2018 to review the neutrino field at large with the aim of defining a strategy for accelerator-based neutrino physics in Europe. The importance of…

高能物理 - 实验 · 物理学 2019-01-18 Andrea Dell'Acqua , Antoni Aduszkiewicz , Markus Ahlers , Hiroaki Aihara , Tyler Alion , Saul Alonso Monsalve , Luis Alvarez Ruso , Vito Antonelli , Marta Babicz , Anastasia Maria Barbano , Pasquale di Bari , Eric Baussan , Vincenzo Bellini , Vincenzo Berardi , Alain Blondel , Maurizio Bonesini , Alexander Booth , Stefania Bordoni , Alexey Boyarsky , Steven Boyd , Alan D. Bross , Juergen Brunner , Colin Carlile , Maria-Gabriella Catanesi , Georgios Christodoulou , Thomas Coan , David Cussans , M. Patrick Decowski , Albert De Roeck , Milind Diwan , Marcos Dracos , Marco Drewes , Tord Johan Carl Ekelof , Enrique Fernandez Martinez , Pablo Fernández Menéndez , Giuliana Fiorillo , Oliver Fischer , Cristiano Galbiati , Stefano Gariazzo , Marek Gazdzicki , Zahra Gh. Moghaddam , Daniele Gibin , Inés Gil-Botella , Gian F. Giudice , Maria Concepcion Gonzalez-Garcia , André de Gouvea , Steen Hannestad , Mark Hartz , Yoshinari Hayato , Patrick Huber , Aldo Ianni , Ara Ioannisian , Yoshitaka Itow , Natalie Jachowicz , Yu Seon Jeong , Darius Jurčiukonis , Juraj Klaric , Budimir Kliček , Takashi Kobayashi , Joachim Kopp , Magdalena Koppert , Umut Kose , Marek Kowalski , Yury Kudenko , Luis Labarga , Justyna Lagoda , Thierry Lasserre , Rupert Leitner , Francesca di Lodovico , Kenneth Long , Andrea Longhin , Jacobo Lopez-Pavon , Annalisa De Lorenzis , Lucio Ludovici , Isabella Masina , Alessandro Menegolli , Hiroaki Menjo , Susanne Mertens , Etam Noah Messomo , Masayuki Nakahata , Tsuyoshi Nakaya , Marzio Nessi , Tommy Ohlsson , Sandro Palestini , Vittorio Palladino , Marco Pallavicini , Carmen Palomares , Vishvas Pandey , Maura Pavan , Ryan Patterson , Viktor Pec , Serguey Petcov , Catia Petta , Roberto Petti , Francesco Pietropaolo , Boris Popov , Georg Raffelt , Bryan Ramson , Filippo Resnati , Ewa Rondio , Gianfranca de Rosa , Luigi delle Rose , Richard Ruiz , Ruben Saakyan , Paola Sala , Jordi Salvado , Federico Sanchez , Stefan Schönert , Thomas Schwetz , Mark Scott , Haifa Rejeb Sfar , Davide Sgalaberna , Peter Shanahan , Mikhail Shaposhnikov , Masato Shiozawa , Stefan Soldner-Rembold , Paul Soler , Rachik Soualah , Francesca Stocker , Antonio Surdo , Concetta Sutera , Andrii Terliuk , Francesco Terranova , Joshua Thompson , Francesco Tortorici , Roumen Tsenov , Serhan Tufanli , Antonin Vacheret , José W. F. Valle , Maja Verstraeten , Vit Vorobel , Tomasz Wachala , David Wark , Morgan Wascko , Alfons Weber , Christian Weinheimer , Leigh H. Whitehead , Fergus Wilson , Masashi Yokoyama , Jaroslav Zalesak , Andrea Zani , Eric D. Zimmerman , Marco Zito

This volume contains the proceedings of the Eighteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2023), a two-day workshop held at the University of Texas at Austin and online, on November 13-14. These…

计算机科学中的逻辑 · 计算机科学 2023-11-15 Alessandro Coglio , Sol Swords

This EPTCS volume contains the post-proceedings of the Twelfth International Workshop on Fixed Points in Computer Science, presenting a selection of the works presented during the workshop that took place in Naples (Italy) on the 19th and…

计算机科学中的逻辑 · 计算机科学 2025-11-04 Alexis Saurin

The Fifteenth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2025) was held in Loughborough, UK, on July 21 and 22, 2025, organized by the Department of Computer Science at Loughborough University and…

形式语言与自动机理论 · 计算机科学 2025-07-21 Nelma Moreira , Luca Prigioniero

This report summarises the work done during the Workshop on High Energy Physics Phenomenology 4 (S.N.Bose National Centre for Basic Sciences, Calcutta, India, Jan 2-14,1996) in Working Groups IV (Unification and Model Building) and V…

高能物理 - 唯象学 · 物理学 2007-05-23 Amitava Raychaudhuri , Probir Roy
‹ 上一页 1 2 3 10 下一页 ›