English
Related papers

Related papers: 10th Low-Level RF Workshop (LLRF2022)

200 papers

This volume contains the proceedings of the Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) which took place on July 15 in Edinburgh, UK. This workshop was held as a satellite workshop of the International…

Logic in Computer Science · Computer Science 2010-12-22 Ana Bove , Ekaterina Komendantskaya , Milad Niqui

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…

Robotics · Computer Science 2020-05-14 Aaron Steinfeld , Michael Goodrich

This volume contains the proceedings of Infinity'12, the 14th International Workshop on Verification of Infinite-State Systems, which was held in Paris, France on the 27th of August 2012 as a satellite event of FM'12. The aim of the…

Logic in Computer Science · Computer Science 2013-02-14 Mohamed Faouzi Atig , Ahmed Rezine

This volume contains the proceedings of the Workshop on High Productivity Computations (HPC 2010) which took place on June 21-22 in Kazan, Russia. This workshop was held as a satellite workshop of the 5th International Computer Science…

Computational Complexity · Computer Science 2011-03-17 Farid Ablayev , Bob Coecke , Alexander Vasiliev

This volume constitutes the pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), held on 7-8th September 2021 as a hybrid (blended) meeting, both in-person (at the Teachers'…

Programming Languages · Computer Science 2021-09-01 Emanuele De Angelis , Wim Vanhoof

This volume constitutes the proceedings of LFMTP 2015, the Tenth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, held on August 1st, 2015 in Berlin, Germany. The workshop was a one-day satellite event…

Logic in Computer Science · Computer Science 2015-07-29 Iliano Cervesato , Kaustuv Chaudhuri

This volume represents the proceedings of the 2nd Workshop on Robots in Clutter: Preparing robots for the real world, held June 27, 2013, at the Robotics: Science and Systems conference in Berlin, Germany.

Robotics · Computer Science 2013-06-18 Michael Zillich , Maren Bennewitz , Maria Fox , Justus Piater , Dejan Pangercic

The Low Frequency Array (LOFAR) is under construction in the Netherlands and in several surrounding European countries. In this contribution, we describe the layout and design of the telescope, with a particular emphasis on the imaging…

The LCLS began operations in 2009, utilizing SLAC's normal-conducting (NC) LINAC, which features control equipment dating back to the 1960s and 1980s. The Linac Electronics Modernization Plan (LEMP) aims to replace the legacy control…

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

This volume contains the proceedings of the 7th International Workshop on Developments in Computational Models (DCM 2011) which was held on Sunday July 3, 2011, in Zurich, Switzerland, as a satelite workshop of ICALP 2011. Recently several…

Computational Engineering, Finance, and Science · Computer Science 2012-07-31 Elham Kashefi , Jean Krivine , Femke van Raamsdonk

CEA is committed to the design, construction and commissioning of a Medium Energy Beam Transfer line and a superconducting linac (SCL) for SARAF accelerator in order to accelerate 5mA beam of either protons from 1.3 MeV to 35 MeV or…

Accelerator Physics · Physics 2019-10-15 L. Zhao , G. Ferrand , F. Gougnaud , R. Duperrier , N. Pichoff , C. Marchand

This volume contains the proceedings of the 11th International Workshop on Verification of Infinite-State Systems (INFINITY 2009). The workshop was held in Bologna, Italy on August 31, 2009, as a satellite event to the 20th International…

Logic in Computer Science · Computer Science 2009-11-19 Axel Legay

In 2023, we are replacing the LLRF system for the KEK-PF 2.5 GeV ring. The new system is composed of digital boards such as eRTM, AMC, and {\mu}RTM, based on the MTCA.4 standard. In our system, we adopted the non-IQ direct sampling method…

Accelerator Physics · Physics 2023-10-24 D. Naito , N. Yamamoto , T. Takahashi , A. Motomura , S. Sakanaka

In this paper, we study the possibility of detection of short term terrestrial lower ionospheric response to gamma ray bursts (GRBs) using a statistical analysis of perturbations of six very low or low frequency (VLF/LF) radio signals…

Space Physics · Physics 2018-02-01 Aleksandra Nina , Saša Simić , Vladimir A. Srećković , Luka Č. Popović

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…

Accelerator Physics · Physics 2014-05-07 Fang Wang , Liwen Feng , Lin Lin , Jiankui Hao , Shengwen Quan , Baocheng Zhang , Kexin Liu

The PEP-II B Factory Low-Level RF System (LLRF) is a fully programmable VXI based design running under an EPICS control environment. Several RF feedback loops are used to control longitudinal coupled-bunch modes driven by the accelerating…

Accelerator Physics · Physics 2007-05-23 P. Corredoura , S. Allison , W. Ross , R. Sass , R. Tighe

This volume contains the proceedings of the Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022). The meeting took place on the 2nd of April as a satellite of European Joint Conferences on Theory & Practice of…

Programming Languages · Computer Science 2022-06-22 Jeremy Gibbons , Max S. New

A third workshop on small-x physics, within the Small-x Collaboration, was held in Hamburg in May 2004 with the aim of overviewing recent theoretical progress in this area and summarizing the experimental status.

A multi-level soft frequency reuse (ML-SFR) scheme and a resource allocation methodology are proposed for wireless communication systems in this letter. In the proposed ML-SFR scheme, there are 2N power density limit levels, achieving…

Information Theory · Computer Science 2014-06-12 Xuezhi Yang