English
Related papers

Related papers: 8th Low-Level RF Workshop (LLRF2017)

200 papers

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…

Logic in Computer Science · Computer Science 2010-03-31 Mário Florido , Ian Mackie

This Brightest Light Initiative (BLI) Workshop Report captures the important research ideas and recommendations for enabling that work developed by over 100 leading scientists at a community-initiated workshop held March 27-29, 2019 in…

This volume contains the papers presented at the fifth workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012) held on September 4th, 2012 in Budapest, co-located with the 28th International Conference on Logic…

Artificial Intelligence · Computer Science 2013-01-11 Michael Fink , Yuliya Lierler

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 contains the papers selected among those which were presented at the 3rd International Workshop on Verification and Program Transformation (VPT 2015) held in London, UK, on April 11th, 2015. Previous editions of the Workshop…

Logic in Computer Science · Computer Science 2015-12-09 Alexei Lisitsa , Andrei P. Nemytykh , Alberto Pettorossi

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 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…

Software Engineering · Computer Science 2014-03-28 Holger Schlingloff , Alexander K. Petrenko

This volume contains the Late-Breaking Abstracts submitted to the EVO* 2019 Conference, that took place in Leipzig, from 24 to 26 of April. These papers where presented as short talks and also at the poster session of the conference…

Neural and Evolutionary Computing · Computer Science 2019-07-31 A. M. Mora , A. I. Esparcia-Alcázar

The 2nd workshop on Future Internet Architecture for Developing Regions (FI4D) took place on January 8th, 2017. The workshop was hosted by the 14th Annual IEEE Consumer Communications $\&$ Networking Conference in Las Vegas, USA. This…

Networking and Internet Architecture · Computer Science 2018-05-31 Andrés Arcia-Moret , Ioannis Psaras , Jon Crowcroft

Talk given at the First Workshop on Forward Physics and Luminosity Determination at the LHC, Helsinki, Finland, November 2000. 12 pages, 9 figures

High Energy Physics - Phenomenology · Physics 2017-08-23 P. Marage

List of proceedings from the HAWC Collaboration presented at the 35th International Cosmic Ray Conference, 12 July - 20 July 2017, Bexco, Busan, Korea.

High Energy Astrophysical Phenomena · Physics 2017-08-21 A. U. Abeysekara , A. Albert , R. Alfaro , C. Alvarez , J. D. Álvarez , R. Arceo , J. C. Arteaga-Velázquez , D. Avila Rojas , H. A. Ayala Solares , A. S. Barber , J. Becerra Gonzalez , A. Becerril , E. Belmont-Moreno , S. Y. BenZvi , D. Berley , A. Bernal , C. Brisbois , K. S. Caballero-Mora , T. Capistrán , A. Carramiñana , S. Casanova , M. Castillo , U. Cotti , J. Cotzomi , S. Coutiño de León , E. De la Fuente , C. De León , T. DeYoung , R. Diaz Hernandez , L. Diaz-Cruz , J. C. Díaz-Vélez , S. Dichiara , B. L. Dingus , M. A. DuVernois , R. W. Ellsworth , K. Engel , O. Enriquez-Rivera , B. Fick , D. W. Fiorino , H. Fleischhack , J. L. Flores , N. Fraija , J. A. García-González , J. L. Garcia-Luna , G. Garcia-Torales , F. Garfias , M. Gerhardt , M. M. González , A. González Muñoz , J. A. Goodman , M. Gussert , Z. Hampel-Arias , J. P. Harding , S. Hernandez , A. Hernandez-Almada , J. Hinton , B. Hona , C. M. Hui , P. Hüntemeyer , A. Iriarte , A. Jardin-Blicq , V. Joshi , S. Kaufmann , D. Kieda , G. J. Kunde , A. Lara , R. J. Lauer , W. H. Lee , D. Lennarz , H. León Vargas , J. T. Linnemann , A. L. Longinotti , M. Longo Proper , R. López-Coto , G. Luis Raya , R. Luna-García , K. Malone , V. Marandon , S. S. Marinelli , O. Martinez , I. Martinez-Castellanos , J. Martínez-Castro , H. Martínez-Huerta , J. A. J. Matthews , J. McEnery , P. Miranda-Romagnoli , E. Moreno , M. Mostafá , L. Nellen , M. Newbold , M. U. Nisa , R. Noriega-Papaqui , R. Pelayo , E. G. Pérez-Pérez , J. Pretz , Z. Ren , C. D. Rho , C. Rivière , D. Rosa-González , M. Rosenberg , E. Ruiz-Velasco , J. Ryan , H. Salazar , F. Salesa Greus , A. Sandoval , M. Schneider , H. Schoorlemmer , G. Sinnis , A. J. Smith , A. W. Smith , R. W. Springer , P. Surajbali , I. Taboada , O. Tibolla , K. Tollefson , I. Torres , T. N. Ukwatta , G. Vianello , T. Weisgarber , S. Westerhoff , J. Wood , T. Yapici , G. B. Yodh , P. W. Younk , A. Zepeda , H. Zhou

These are the proceedings of the PrimeNet Workshop, held in September 16-18, 2010, at the campus of Instituto Superior T\'ecnico in Lisbon, Portugal. This workshop is part of the activities in the project "Study of Strongly Interacting…

Nuclear Experiment · Physics 2011-02-25 Christoph Redmer , Teresa Peña , Bo Höistad

This volume contains the proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), held in London, UK, on 11 and 12 April, 2015. QAPL 2015 was a satellite event of the European Joint…

Logic in Computer Science · Computer Science 2015-09-29 Nathalie Bertrand , Mirco Tribastone

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…

Logic in Computer Science · Computer Science 2025-11-04 Alexis Saurin

Low-rank adaptation~(LoRA) has recently gained much interest in fine-tuning foundation models. It effectively reduces the number of trainable parameters by incorporating low-rank matrices $A$ and $B$ to represent the weight change, i.e.,…

Machine Learning · Computer Science 2024-05-07 Ziqi Gao , Qichao Wang , Aochuan Chen , Zijing Liu , Bingzhe Wu , Liang Chen , Jia Li

This volume contains the proceedings of the First Workshop on Logics and Model-checking for self-* systems (MOD* 2014). The worshop took place in Bertinoro, Italy, on 12th of September 2014, and was a satellite event of iFM 2014 (the 11th…

Logic in Computer Science · Computer Science 2014-11-14 Marcello Maria Bersani , Davide Bresolin , Luca Ferrucci , Manuel Mazzara

The second workshop to discuss the development of liquid argon time projection chambers (LArTPCs) in the United States was held at Fermilab on July 8-9, 2014. The workshop was organized under the auspices of the Coordinating Panel for…

We are proud to present the papers from the 17th Refinement Workshop, co-located with FM 2015 held in Oslo, Norway on June 22nd, 2015. Refinement is one of the cornerstones of a formal approach to software engineering: the process of…

Logic in Computer Science · Computer Science 2016-06-07 John Derrick , Eerke Boiten , Steve Reeves

This volume contains the papers presented at the sixth workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013) held on August 25th, 2013 in Istanbul, co-located with the 29th International Conference on Logic…

Artificial Intelligence · Computer Science 2013-12-31 Michael Fink , Yuliya Lierler

A reduced-rank framework with set-membership filtering (SMF) techniques is presented for adaptive beamforming problems encountered in radar systems. We develop and analyze stochastic gradient (SG) and recursive least squares (RLS)-type…

Information Theory · Computer Science 2013-02-05 L. Wang , R. C. de Lamare