中文
相关论文

相关论文: MesonNet 2013 International Workshop. Mini-proceed…

200 篇论文

This document presents the recommendations and scientific conclusions from the Town Meeting on QCD and Hadronic Physics that took place in the period 13-15 September 2014 at Temple University as part of the NSAC 2014 Long Range Planning…

In the concluding session of the Joint International Conference titled Econophys-2017 and Asia Pacific Econophysics Conference (APEC)-2017, held in Jawaharlal Nehru University and Delhi University during November 15-18, 2017, a brief…

物理与社会 · 物理学 2018-06-29 Bikas K. Chakrabarti

This is the Proceedings of NeurIPS 2018 Workshop on Machine Learning for the Developing World: Achieving Sustainable Impact, held in Montreal, Canada on December 8, 2018

计算机与社会 · 计算机科学 2019-02-20 Maria De-Arteaga , Amanda Coston , William Herlands

We present the activities of the "New Physics" working group for the "Physics at TeV Colliders" workshop (Les Houches, France, 30 May-17 June, 2011). Our report includes new agreements on formats for interfaces between computational tools,…

高能物理 - 唯象学 · 物理学 2012-04-23 G. Brooijmans , B. Gripaios , F. Moortgat , J. Santiago , P. Skands , D. Albornoz Vásquez , B. C. Allanach , A. Alloul , A. Arbey , A. Azatov , H. Baer , C. Balázs , A. Barr , L. Basso , M. Battaglia , P. Bechtle , G. Bélanger , A. Belyaev , K. Benslama , L. Bergström , A. Bharucha , C. Boehm , M. Bondarenko , O. Bondu , E. Boos , F. Boudjema , T. Bringmann , M. Brown , V. Bunichev , S. Calvet , M. Campanelli , A. Carmona , D. G. Cerdeño , M. Chala , R. S. Chivukula , D. Chowdhury , N. D. Christensen , M. Cirelli , S. Cox , K. Cranmer , J. Da Silva , T. Delahaye , A. De Roeck , A. Djouadi , E. Dobson , M. Dolan , F. Donato , G. Drieu La Rochelle , G. Duda , C. Duhr , B. Dumont , J. Edsjö , J. Ellis , C. Evoli , A. Falkowski , M. Felcini , B. Fuks , E. Gabrielli , D. Gaggero , S. Gascon-Shotkin , D. K. Ghosh , A. Giammanco , R. M. Godbole , P. Gondolo , T. Goto , D. Grasso , P. Gris , D. Guadagnoli , J. F. Gunion , U. Haisch , L. Hartgring , S. Heinemeyer , M. Hirsch , J. Hewett , A. Ismail , T. Jeltema , M. Kadastik , M. Kakizaki , K. Kannike , S. Khalil , J-L. Kneur , M. Krämer , S. Kraml , S. Kreiss , J. Lavalle , R. Leane , J. Lykken , L. Maccione , F. Mahmoudi , M. Mangano , S. P. Martin , D. Maurin , G. Moreau , S. Moretti , I. Moskalenko , G. Moultaka , M. Muhlleitner , I. Niessen , B. O'Leary , E. Orlando , P. Panci , G. Polesello , W. Porod , T. Porter , S. Profumo , H. Prosper , A. Pukhov , A. Racioppi , M. Raidal , M. Rausch de Traubenberg , A. Renaud , J. Reuter , T. G. Rizzo , T. Robens , A. Y. Rodríguez-Marrero , P. Salati , C. Savage , P. Scott , S. Sekmen , A. Semenov , C. -L. Shan , C. Shepherd-Themistocleous , E. H. Simmons , P. Slavich , C. Speckner , F. Staub , A. Strong , R. Taillet , F. S. Thomas , M. C. Thomas , I. Tomalin , M. Tytgat , M. Ughetto , L. Valéry , D. G. E. Walker , A. Weiler , S. M. West , C. D. White , A. J. Williams , A. Wingerter , C. Wymant , J. -H. Yu , C. -P. Yuan , D. Zerwas

In the research on FANETs (Flying Ad-Hoc Networks) and distributed coordination of UAVs (Unmanned Aerial Vehicles), also known as drones, there are many studies that validate their proposals through simulations. Simulations are important,…

分布式、并行与集群计算 · 计算机科学 2024-04-02 Bruno José Olivieri de Souza , markus Endler

The proceedings of the 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2020) contains papers underlying talks presented at the workshop. SNR focuses on the combination of symbolic and numeric…

计算机科学中的逻辑 · 计算机科学 2021-01-14 Thao Dang , Stefan Ratschan

This volume contains the proceedings of the First Workshop on Synthesis (SYNT 2012). The workshop is held is held in Berkeley, California, on June 6th and 7th, as a satellite event to the 24th International Conference on Computer Aided…

计算机科学中的逻辑 · 计算机科学 2012-07-04 Doron Peled , Sven Schewe

The working group on electroweak measurements and searches for new physics at the Deep Inelastic Scattering 2012 workshop covered a wide range of results from the various experiments at the LHC (ATLAS, CMS, LHCb), the Tevatron (CDF, DO) and…

高能物理 - 实验 · 物理学 2012-08-09 David M. South , Andreas Weiler , Hwidong Yoo

These lecture notes are based on a course given at Institut de Physique Th\'eorique of CEA/Saclay in January/February 2013.

高能物理 - 唯象学 · 物理学 2013-08-06 Renata Zukanovich Funchal , Benoit Schmauch , Gaëlle Giesen

The fourth edition of the international workshop on Causation, Responsibility and Explanation took place in Prague (Czech Republic) as part of ETAPS 2019. The program consisted in 5 invited speakers and 4 regular papers, whose selection was…

人工智能 · 计算机科学 2019-10-31 Georgiana Caltais , Jean Krivine

This volume is the proceedings of the 5th International Symposium on New Frontiers in Human-Robot Interaction, held at the AISB Convention 2016, which took place on the 5th and 6th of April 2016, in Sheffield, U.K. Organised by Maha Salem…

机器人学 · 计算机科学 2016-06-09 Maha Salem , Astrid Weiss , Paul Baxter , Kerstin Dautenhahn

This volume contains the proceedings of PLACES 2023, the 14th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The PLACES workshop series offers a forum for researchers from…

编程语言 · 计算机科学 2023-04-13 Ilaria Castellani , Alceste Scalas

The present volume contains the proceedings of the Fourth International Workshop on Engineering Safety and Security Systems (ESSS'15). The workshop was held in Oslo, Norway, on June 22nd, 2015, as a satellite event of the 20th International…

软件工程 · 计算机科学 2015-06-11 Jun Pang , Yang Liu , Sjouke Mauw

We summarise the talks presented in the working group on diffraction and vector mesons at the DIS 2009 workshop.

高能物理 - 实验 · 物理学 2009-08-13 Markus Diehl , Paul Laycock , Christophe Royon

This volume of EPTCS contains the proceedings of the First Workshop on Hammers for Type Theories (HaTT 2016), held on 1 July 2016 as part of the International Joint Conference on Automated Reasoning (IJCAR 2016) in Coimbra, Portugal. The…

计算机科学中的逻辑 · 计算机科学 2016-06-20 Jasmin Christian Blanchette , Cezary Kaliszyk

The proceedings of the 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2021) feature five peer-reviewed contributions and three invited talks. SNR focuses on the combination of symbolic and…

符号计算 · 计算机科学 2022-07-12 Anne Remke , Dung Hoang Tran

This volume contains the proceedings of Infinity'13, the 15th International Workshop on Verification of Infinite-State Systems, which was held in Hanoi, Vietnam on the 14th of October 2013 as a satellite event of ATVA'13. The aim of the…

形式语言与自动机理论 · 计算机科学 2014-02-27 Lukas Holik , Lorenzo Clemente

This volume contains the proceedings of LINEARITY 2009: the first International Workshop on Linearity, which took place 12th September 2009 in Coimbra, Portugal. The workshop was a satellite event of CSL 2009, the 18th EACSL Annual…

计算机科学中的逻辑 · 计算机科学 2010-03-31 Mário Florido , Ian Mackie

I present a summary of the last in the series of HERA-LHC workshops, CERN, 26-30th May 2008.

高能物理 - 唯象学 · 物理学 2015-05-13 Robert S Thorne