English
Related papers

Related papers: 9th Low-Level RF Workshop (LLRF2019)

200 papers

This volume contains a final and revised selection of papers presented at the Seventh International Workshop on Verification and Program Transformation (VPT 2019), which took place in Genova, Italy, on April 2nd, 2019, affiliated with…

Programming Languages · Computer Science 2019-08-20 Alexei Lisitsa , Andrei Nemytykh

This contains the Proceedings of the 5th International Workshop on Thermal Field Theories and Their Applications (TFT98) which took place on 10-14 August 1998 in Regensburg, Germany. The contents are in html and postscript format. The html…

High Energy Physics - Phenomenology · Physics 2009-03-10 Ulrich Heinz

This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, virtually in place of Chicago, USA, on November 15, 2010, in…

Programming Languages · Computer Science 2022-11-21 David S. Warren , Peter Van Roy , Yanhong A. Liu

This volume constitutes the pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), held on 4-6th September 2018 in Frankfurt am Main, Germany and co-located with the 20th…

Logic in Computer Science · Computer Science 2018-09-12 Fred Mesnard , Peter J. Stuckey

Incremental upgrades of the legacy low level RF (LLRF) equipment-50 years for the Los Alamos Neutron Science Center (LANSCE)-involves challenges and problems not seen with new and total replacement opportunities. The digital LLRF upgrade at…

Accelerator Physics · Physics 2022-10-31 P. Van Rooy , M. Prokop , S. Kwon , P. Torrez , L. Castellano , A. Archuleta , C. Marchwinski

This volume contains the proceedings of the Fifth International Workshop on Intersection Types and Related Systems (ITRS 2010). The workshop was held in Edinburgh, Scotland, on July 9th 2010, as part of FLoC 2010 and affiliated with LICS…

Logic in Computer Science · Computer Science 2011-01-24 Elaine Pimentel , Betti Venneri , Joe Wells

This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory and Applications, which was held in Eindhoven on 3 November 2009 as part of the International Symposium on Formal Methods 2009. This volume…

Logic in Computer Science · Computer Science 2009-12-14 Suzana Andova , Annabelle McIver , Pedro D'Argenio , Pieter Cuijpers , Jasen Markovski , Caroll Morgan , Manuel Núñez

The purpose of the Low-$x$ Workshop series is to stimulate discussions between experimentalists and theorists in diffractive hadronic physics, QCD dynamics at low $x$, parton saturation, and exciting problems in QCD at HERA, Tevatron, LHC,…

The 9th International Workshop on Physics and Computation (PC 2018) was held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which was…

Computational Complexity · Computer Science 2018-07-30 Michael Cuffaro , Philippos Papayannopoulos

This volume contains the papers presented at the 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013), which was held in Istanbul, Turkey, on August 24 & 25 2013 as a satellite event of the 29th International…

Programming Languages · Computer Science 2013-08-23 Rémy Haemmerlé , Jose Morales

This volume contains a final and revised selection of papers presented at the Eighth Workshop on Intersection Types and Related Systems (ITRS 2016), held on June 26, 2016 in Porto, in affiliation with FSCD 2016.

Logic in Computer Science · Computer Science 2017-03-31 Naoki Kobayashi

This paper leverages Fisher information to examine the interaction between low-Earth orbit (LEO) satellites and 5G base stations (BSs) in enabling 9D receiver localization and refining LEO ephemeris. First, we propose a channel model that…

Signal Processing · Electrical Eng. & Systems 2025-02-13 Don-Roberts Emenonye , Wasif J. Hussain , Harpreet S. Dhillon , R. Michael Buehrer

This volume represents the accepted submissions from the AAAI-2019 Workshop on Games and Simulations for Artificial Intelligence held on January 29, 2019 in Honolulu, Hawaii, USA. https://www.gamesim.ai

Artificial Intelligence · Computer Science 2019-03-07 Marwan Mattar , Roozbeh Mottaghi , Julian Togelius , Danny Lange

The Low-Frequency Radio Spectrometer (LFRS) is a scientific payload onboard the Chang'e-4 lunar lander launched in December 2018. The LFRS provides in-situ measurements of the low-frequency radio phenomena on the far-side of the Moon for…

Instrumentation and Methods for Astrophysics · Physics 2021-06-23 Xinying Zhu , Yan Su , Yicai Ji , Hongbo Zhang , Bo Zhao , Xiping Xue , Shun Dai , Junduo Li , Chunlai Li

This volume contains the proceedings of the First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS 2010), held in Longyearbyen, Spitsbergen, on April 6-9, 2010. The aim of the workshop is to bring together…

Logic in Computer Science · Computer Science 2010-09-22 Peter Csaba Ölveczky

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)

Programming Languages · Computer Science 2014-06-09 Rémy Haemmerlé , Jon Sneyers

This volume constitutes the informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), held on 21-23rd September 2022 as a hybrid (blended) meeting, both in-person (at the…

Programming Languages · Computer Science 2022-08-09 Alicia Villanueva

This is the proceedings of the 1st International Workshop on Low Carbon Computing (LOCO 2024).

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-07 Wim Vanderbauwhede , Lauritz Thamsen , José Cano

This document contains a summary of the workshop which took place on 22 - 24 February 2012 at the Kavli Institute of Cosmological Physics in the University of Chicago. The goal of the workshop was to discuss the physics reach of the…

This document summarizes talks and discussions from the workshop "deci-Hz Gravitational Wave Observations on the Moon and Beyond" that took place at Johns Hopkins University between September 1 and September 3, 2025. The workshop focused on…