Related papers: 12th Low-Level RF Workshop (LLRF2025)
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).
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
This volume contains a selection of the papers presented at the XVI Jornadas sobre Programaci\'on y Lenguajes (PROLE 2016), held at Salamanca, Spain, during September 14th-15th, 2016. Previous editions of the workshop were held in Santander…
Over the past decades automated debugging has seen major achievements. However, as debugging is by necessity attached to particular programming paradigms, the results are scattered. To alleviate this problem, the Automated and Algorithmic…
The workshop is affiliated with 33nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN 2024) August 26~30, 2023 / Pasadena, CA, USA. It is designed as a half-day event, extending over four hours from 9:00 to…
This volume presents the proceedings of the 20th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2025), held in Nagaoka, Japan, on December 3-5, 2025. The conference, organized in cooperation with…
This is the proceedings of the Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024) which was held at Bern, Switzerland, February 06th 2024.
This is the arXiv index for the electronic proceedings of GD 2022, which is held at the Tokyo Institute of Technology, Tokyo, Japan, on September 13 - 16, 2022. It contains the peer-reviewed and revised accepted papers with an optional…
This is the report of the "Quantum General Relativity" session, at the 16th International Conference on General Relativity & Gravitation, held on July 15th to 21st 2001, in Durban, South Africa. The report will appear on the Proceedings of…
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2019. Valencia, Spain, January 22nd. Collocated with HIPEAC 2019 Conference.
This volume contains the proceedings of PLACES 2026, the 17th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Turin, Italy, on April…
We summarize the measurements investigating the nucleon spin structure done at Jefferson Lab, a multi-GeV continuous electron beam facility located in Newport News, Virgina, USA. After motivating spin structure studies, we explain how…
A low level radio frequency (LLRF) control system is designed and constructed at Peking University, which is for the DC-SRF photo injector operating at 2K. Besides with continuous wave (CW), the system is also reliable with pulsed RF and…
This record contains the proceedings of the 2020 Workshop on Assessing, Explaining, and Conveying Robot Proficiency for Human-Robot Teaming, which was held in conjunction with the 2020 ACM/IEEE International Conference on Human-Robot…
This volume contains the proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011) that took place in Snowbird, Utah, on July 14, 2011. The workshop was co-located with 23rd International…
This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). The workshop was held in Reykjavik, Iceland, on June 9,…
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…
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
The mini proceedings of the "Fourth International Workshop on the Extension Project for the J-PARC Hadron Experimental Facility (HEF-ex 2024) [https://kds.kek.jp/event/46965]" held at J-PARC, February 19-21, 2024, are presented. The…
This volume contains the proceedings of the First International Workshop on Hybrid Systems and Biology (HSB 2012), that will be held in Newcastle upon Tyne, UK, on the 3rd September, 2012. HSB 2012 is a satellite event of the 23rd…