English
Related papers

Related papers: Sixth International Workshop on Languages for Mode…

200 papers

With the widespread adoption of millimeter-wave (mmWave) massive multi-input-multi-output (MIMO) in vehicular networks, accurate beam prediction and alignment have become critical for high-speed data transmission and reliable access. While…

Information Theory · Computer Science 2026-03-27 Chenyiming Wen , Binpu Shi , Min Li , Ming-Min Zhao , Min-Jian Zhao , Jiangzhou Wang

These are the proceedings of the workshop "HadAtom05", held at the University of Bern, Switzerland, February 15 and 16, 2005. The main topics of the workshop concerned the physics of hadronic atoms, and in this context recent results from…

High Energy Physics - Phenomenology · Physics 2007-05-23 L. Afanasyev , G. Colangelo , J. Schacher

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…

Logic in Computer Science · Computer Science 2013-08-02 António Ravara , Josep Silva

This volume contains the proceedings of the 16th International Workshop on Expressiveness in Concurrency (EXPRESS'09), which took place on 5th September 2009 in Bologna, co-located with CONCUR'09. The EXPRESS workshop series aim at bringing…

Logic in Computer Science · Computer Science 2009-11-18 Sibylle Fröschle , Daniele Gorla

The International Workshop on Reading Music Systems (WoRMS) is a workshop that tries to connect researchers who develop systems for reading music, such as in the field of Optical Music Recognition, with other researchers and practitioners…

Computer Vision and Pattern Recognition · Computer Science 2024-11-26 Jorge Calvo-Zaragoza , Alexander Pacha , Elona Shatri

We report the discussion session at the sixth international Genetic Improvement workshop, GI-2019 @ ICSE, which was held as part of the 41st ACM/IEEE International Conference on Software Engineering on Tuesday 28th May 2019. Topics included…

This is the write-up of the talk I gave at the 23rd International Symposium on Mathematical Programming (ISMP) in Bordeaux, France, July 6th, 2018. The talk was a general overview of the state of the art of time-varying, mainly convex,…

Optimization and Control · Mathematics 2018-08-02 Andrea Simonetto

This volume contains contributions presented at the 11th Low-Level RF Workshop which was held in Gyeongju, South Korea on October 22-27, 2023. This workshop continued the series of successful international workshops held in Newport News,…

Accelerator Physics · Physics 2023-11-22 Dmitry Teytelman

This is the Proceedings of NIPS 2017 Workshop on Machine Learning for the Developing World, held in Long Beach, California, USA on December 8, 2017

Machine Learning · Statistics 2017-12-13 Maria De-Arteaga , William Herlands

This volume represents the proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011), held together with the 12th International Conference on Membrane Computing on 23rd August 2011 in…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-08-19 Gabriel Ciobanu

Lectures delivered at the International School of Physics "Enrico Fermi", held in Villa Monastero, Varenna, Italy, 94.

High Energy Physics - Theory · Physics 2007-05-23 L. D. Faddeev

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…

Programming Languages · Computer Science 2026-04-08 Kirstin Peters , Lorenzo Gheri

This is the Proceedings of the 2017 ICML Workshop on Human Interpretability in Machine Learning (WHI 2017), which was held in Sydney, Australia, August 10, 2017. Invited speakers were Tony Jebara, Pang Wei Koh, and David Sontag.

Machine Learning · Statistics 2017-08-10 Been Kim , Dmitry M. Malioutov , Kush R. Varshney , Adrian Weller

This volume contains the post-proceedings of the Twelfth International Workshop on Graph Computation Models (GCM 2021). The workshop was part of STAF 2021 (Software Technologies: Applications and Foundations) as an online-workshop on 22nd…

Formal Languages and Automata Theory · Computer Science 2021-12-21 Berthold Hoffmann , Mark Minas

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…

Software Engineering · Computer Science 2007-05-23 Michiel Ronsse , Koen De Bosschere

This volume contains contributions submitted to the 12th Low-Level RF Workshop which will be held in Newport News, Virginia, USA on October 12-16, 2025. This workshop continues the series of successful international workshops held in…

Accelerator Physics · Physics 2025-10-10 Dmitry Teytelman

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).

Logic in Computer Science · Computer Science 2023-08-21 Akihisa Yamada , Benjamin Lucien Kaminski , Dieter Hofbauer , Fred Mesnard , Étienne Payet

The 16th International Conference on Automata and Formal Languages (AFL 2023) was held in Eger, September 5-7, 2023. It was organized by the Eszterh\'azy K\'aroly Catholic University of Eger, Hungary, and the University of Szeged, Hungary.…

Formal Languages and Automata Theory · Computer Science 2023-09-06 Zsolt Gazdag , Szabolcs Iván , Gergely Kovásznai

This volume contains the post-proceedings of the Tenth International Workshop on Graph Computation Models (GCM 2019: http://gcm2019.imag.fr). The workshop was held in Eindhoven, The Netherlands, on July 17th, 2019, as part of STAF 2019…

Logic in Computer Science · Computer Science 2019-12-20 Rachid Echahed , Detlef Plump