English
Related papers

Related papers: PyHEP.dev 2024 Workshop Summary Report, August 26-…

200 papers

This volume contains the papers accepted at the 1st Workshop on Resource Awareness and Adaptivity in Multi-Core Computing (Racing 2014), held in Paderborn, Germany, May 29-30, 2014. Racing 2014 was co-located with the IEEE European Test…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-05-12 Frank Hannig , Jürgen Teich

We describe the development of, and early experiences with, comprehensive Digital Phenotyping platform: Health Outcomes through Positive Engagement and Self-Empowerment (HOPES). HOPES is based on the open-source Beiwe platform but adds a…

Human-Computer Interaction · Computer Science 2020-08-31 Xuancong Wang , Nikola Vouk , Creighton Heaukulani , Thisum Buddhika , Wijaya Martanto , Jimmy Lee , Robert JT Morris

Software and Computing (S&C) are essential to all High Energy Physics (HEP) experiments and many theoretical studies. The size and complexity of S&C are now commensurate with that of experimental instruments, playing a critical role in…

This volume contains the joint proceedings of the Workshop on Games for the Synthesis of Complex Systems (CASSTING'16) and of the 3rd International Workshop on Synthesis of Complex Parameters (SynCoP'16). The workshops were held in…

Software Engineering · Computer Science 2016-08-11 Thomas Brihaye , Benoît Delahaye , Loïg Jezequel , Nicolas Markey , Jiří Srba

This volume contains the post-proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2025), which took place in Zagreb, Croatia, on July 22, 2025, as affiliated workshop of the 37th International Conference on…

Logic in Computer Science · Computer Science 2025-10-30 Emanuele De Angelis , Florian Frohn

Designing a reliable target is already a challenge for MW-class facilities today and has led several major accelerator facilities to operate at lower than design power due to target concerns. With present plans to increase beam power for…

The Covid-19 pandemic established hybrid work as the new norm in software development companies. In large-scale agile, meetings of different types are pivotal for collaboration, and decisions need to be taken on how they are organized and…

Software Engineering · Computer Science 2025-03-18 Emily Laue Christensen , Maria Paasivaara , Iflaah Salman

High-energy physics (HEP) experiments have developed millions of lines of code over decades that are optimized to run on traditional x86 CPU systems. However, we are seeing a rapidly increasing fraction of floating point computing power in…

This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of the Vienna Summer of Logic. Several new models of computation…

Logic in Computer Science · Computer Science 2015-04-09 Ugo Dal Lago , Russ Harmer

This volume constitutes the pre-proceedings of the DECLARE 2019 conference, held on September 9 to 13, 2019 at the University of Technology Cottbus - Senftenberg (Germany). Declarative programming is an advanced paradigm for the modeling…

Programming Languages · Computer Science 2019-11-22 Salvador Abreu , Petra Hofstedt , Ulrich John , Herbert Kuchen , Dietmar Seipel

This volume contains the post-proceedings of the Fourteenth and the Fifteenth International Workshops on Graph Computation Models (GCM 2023 and 2024). The workshops took place in Leicester, UK on 18th July 2023 and Enschede, the Netherlands…

Logic in Computer Science · Computer Science 2025-03-26 Jörg Endrullis , Dominik Grzelak , Tobias Heindel , Jens Kosiol

ICOOOLPS'2007 was the second edition of the ECOOP-ICOOOLPS workshop. ICOOOLPS intends to bring researchers and practitioners both from academia and industry together, with a spirit of openness, to try and identify and begin to address the…

Programming Languages · Computer Science 2007-12-10 Olivier Zendra , Eric Jul , Roland Ducournau , Etienne Gagnon , Richard E. Jones , Chandra Krintz , Philippe Mulet , Jan Vitek

The 2023 AI4EIC hackathon was the culmination of the third annual AI4EIC workshop at The Catholic University of America. This workshop brought together researchers from physics, data science and computer science to discuss the latest…

Data Analysis, Statistics and Probability · Physics 2024-04-10 Cristiano Fanelli , James Giroux , Patrick Moran , Hemalata Nayak , Karthik Suresh , Eric Walter

Analysis cyberinfrastructure refers to the combination of software and computer hardware used to support late-stage data analysis in High Energy Physics (HEP). For the purposes of this white paper, late-stage data analysis refers…

Data Analysis, Statistics and Probability · Physics 2022-03-18 Kevin Lannon , Paul Brenner , Mike Hildreth , Kenyi Hurtado Anampa , Alan Malta Rodrigues , Kelci Mohrman , Doug Thain , Benjamin Tovar

PLACES 2012 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the fifth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop…

Programming Languages · Computer Science 2013-02-26 Simon Gay , Paul Kelly

This paper severs as a user guide to the graph partitioning framework KaHIP (Karlsruhe High Quality Partitioning). We give a rough overview of the techniques used within the framework and describe the user interface as well as the file…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-06 Peter Sanders , Christian Schulz

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. The aims of the workshop are to gather common themes and…

Software Engineering · Computer Science 2007-05-23 M. Ducasse

We present the material and resources developed for training physicists on containerization technologies enabled by Apptainer. In the context of analysis preservation using Apptainer's capabilities, we have developed examples that execute…

This volume contains the proceedings of the Combined 24th International Workshop on Expressiveness in Concurrency and the 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017) which was held on 04 September 2017 in Berlin,…

Logic in Computer Science · Computer Science 2017-09-04 Kirstin Peters , Simone Tini
‹ Prev 1 8 9 10 Next ›