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

This volume contains the proceedings of HCVS 2014, the First Workshop on Horn Clauses for Verification and Synthesis which was held on July 17, 2014 in Vienna, Austria as a satellite event of the Federated Logic Conference (FLoC) and part…

KM3NeT's detection of a muon track produced by a $\sim 220 \, {\rm PeV}$ neutrino provides an opportunity to probe physics at center-of-momentum energies greater than those probed by the Large Hadron Collider or other existing particle…

As a key property of hadrons, the total width is quite difficult to obtain in theory due to the extreme complexity of the strong and electroweak interactions. In this work, a deep neural network model with the Transformer architecture is…

The Thirteenth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2023) was held in Famagusta, North Cyprus, on September 18 and 19, 2023, organized by the Eastern Mediterranean University. The NCMA workshop…

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…

The RET (Requirements Engineering and Testing) workshop series provides a meeting point for researchers and practitioners from the two separate fields of Requirements Engineering (RE) and Testing. The long term aim is to build a community…

I present an overview of predictions for the heavy ion program at the Large Hadron Collider. It is mainly based on the material presented during the workshop 'Heavy Ion Collisions at the LHC - Last Call for Predictions', held in the frame…

These are the Proceedings of the 4th discussion workshop in the Gran Sasso Laboratory. The structure of this workshop was as before: most of the time was allocated to the review talks and to the discussions. There were discussion sessions…

This volume contains the papers presented at the eleventh Workshop on Constraint Handling Rules (CHR 2014), which will be held in Vienna at the occasion of the Vienna Summer of Logic (VSL)

Studying atmospheric neutrino oscillations in the few-GeV range with a multimegaton detector promises to determine the neutrino mass hierarchy. This is the main science goal pursued by the future KM3NeT/ORCA water Cherenkov detector in the…

We give an overview of presentations and discussions during the Accelerator Working Group Session dedicated to High Luminosity Issues for a future upgrade of the Frascati e+e- Phi-Factory DAPhNE at the Workshop "e+e- in the 1-2 GeV range:…

This contribution contains a summary of the Krakow meeting on Soft Physics and Fluctuations. It emphasizes both the experimental and the theoretical investigations on correlations/fluctuations and intermittency in multi-particle processes…

This report presents the activities of the `New Physics' working group for the `Physics at TeV Colliders' workshop (Les Houches, France, 10--28 June, 2019). These activities include studies of direct searches for new physics, approaches to…

Real complex networks are often characterized by spatial constraints such as the relative position and adjacency of nodes. The present work describes how Voronoi tessellations of the space where the network is embedded provide not only a…

We have developed a new focusing system for conventional neutrino beams. The ``Hadron Hose'' is a wire located in the meson decay volume, downstream of the target and focusing horns. The wire is pulsed with high current to provide a…

These are the proceedings of the Second International Workshop on Safe Control of Autonomous Vehicles, which took place on the 10th of April 2018 in Porto, Portugal as an affiliated workshop of CSPWeek. The task of this workshop is to…

These are the proceedings of the workshop on "Strong interactions: From methods to structures" held at the Physikzentrum Bad Honnef of the Deutsche Physikalische Gesellschaft, Bad Honnef, Germany from February 12 to 16, 2011. The workshop…

This volume contains a selection of papers presented at Linearity&TLLA 2020, namely the Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, held on June 29-30, 2020 online. (The workshop was supposed…

The International Workshop on Locational Analysis and Related Problems will take place during January 30-February 1, 2019 in C\'adiz (Spain). It is organized by the Spanish Location Network and Location Group GELOCA (SEIO). GELOCA is a…

Geant4 is a Monte Carlo radiation transport toolkit that is becoming a tool of generalized application in areas such as high-energy physics, nuclear physics, astroparticle physics, or medical physics. Geant4 provides an optical physics…