Related papers: 10th Low-Level RF Workshop (LLRF2022)
These are the proceedings of the LHCSki 2016 workshop "A First Discussion of 13 TeV Results" that has been held at the Obergurgl Universit\"atszentrum, Tirol, Austria, April 10 - 15, 2016. In this workshop the consequences of the most…
Proceedings of the 1st International Workshop on Robot Learning and Planning (RLP 2016)
This volume contains a selection of papers presented at LFMTP 2020, the 15th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held the 29-30th of June, 2019, using the Zoom video conferencing…
This volume contains the proceedings of the 20th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2025), which was held in Brasilia, the capital of Brazil, from October 7 to October 8, 2025. The aim of the LSFA series of…
This volume contains the proceedings of the Ninth Workshop on Model-Based Testing (MBT 2014), which was held in Grenoble, France on April 6, 2014 as a satellite workshop of the European Joint Conferences on Theory and Practice of Software…
This volume contains the accepted papers of the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV'13), which took place in Florence, Italy, on June 6, as a satellite event of the 8th International…
This report documents the program of the second Toulouse Tensor Workshop which took place at the University of Toulouse on September 17-19, 2025, and summarizes the main points of discussion. This workshop follows the first Workshop (CECAM…
These are the contributed papers presented at the 20th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2025), at Birmingham, UK on 19 July as a satellite event of the FSCD conference. The program…
The 12th annual workshop, Descriptional Complexity of Formal Systems 2010, is taking place in Saskatoon, Canada, on August 8-10, 2010. It is jointly organized by the IFIP Working Group 1.2 on Descriptional Complexity and by the Department…
This volume constitutes the pre-proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020), organized by the University of Bologna, Italy, as part of Bologna Federated Conference on Programming Languages…
This volume contains the papers presented at LINEARITY 2014, the Third International Workshop on Linearity, held on July 13, 2014 in Vienna, Austria. The workshop was a one-day satellite event of FLoC 2014, the sixth Federated Logic…
The rapid growth of the low-altitude economy has resulted in a significant increase in the number of Low, slow, and small (LLS) unmanned aerial vehicles (UAVs), raising critical challenges for secure airspace management and reliable…
The proposed Next Linear Collider (NLC) contains linac systems operating at L,S,C, and X band. This paper describes a wideband modular low-level RF (LLRF) system applicable for all NLC pulsed RF systems. High speed digital IF techniques are…
The mini-proceedings of the Workshop on PWA tools in Hadronic Spectroscopy held in Mainz from February 18th to 20th, 2013.
These are extended notes for my lectures at the workshop ``Reconstructing the Gravitational Hologram'' held at Galileo-Galilei Institute, Florence, in June 2022.
The International Workshop on Locational Analysis and Related Problems will take place during January 31-February 1, 2022 in Elche (Spain). It is organized by the Spanish Location Network and the Location Group GELOCA from the Spanish…
The first version of digital low level RF (DLLRF) for the Diamond Light Source storage ring and booster was developed with ALBA Synchrotron. Six systems have been built so far. Two of them are in routine operation controlling two normal…
Planck is the third generation of mm-wave instruments designed for space observations of the cosmic microwave background (CMB) anisotropies within the new Cosmic Vision 2020 ESA Science Program. Planck will map the whole sky with…
This volume contains the proceedings of the Tenth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2019). The symposium took place in Bordeaux, France, from the 2nd to the 3rd of September 2010. The GandALF…
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…