Related papers: Report of the US ITER Research Program Research Ne…

The maximum magnetic field available to guide and focus the proton beams will be the most important factor driving the design of the High Energy LHC. The US LHC Accelerator Research Program (LARP) is a collaboration of US National…

Neural Information Processing Systems (NIPS) is a top-tier annual conference in machine learning. The 2016 edition of the conference comprised more than 2,400 paper submissions, 3,000 reviewers, and 8,000 attendees. This represents a growth…

In this White Paper for the Snowmass 2021 Process, we propose the establishment of a magnet Leading-Edge technology And Feasibility-directed Program (LEAF Program) to achieve readiness for a future collider decision on the timescale of the…

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…

This volume constitutes the pre-proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020), organized by the University of Bologna, Italy, as part of Bologna Federated Conference on Programming Languages…

In software development there is a constant pressure to produce code faster and faster without compromising on quality. New tools supporting developers are created in response to this demand. Currently a new generation of such solutions is…

Research activities are generally observed and evaluated through the prism of their production and financial elements or team composition. In addition to standardized management indicators and bibliometrics, the French National Research…

In Summer 2023, staff from the information technology and reference departments at the University of Delaware Library, Museums and Press came together in a unique partnership to pilot a low-cost AI-powered chatbot. The goal of the pilot is…

Research computing centers around the world struggle with onboarding new users. Subject matter experts, researchers, and principal investigators are often overwhelmed by the complex infrastructure and software offerings designed to support…

This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May…

The Human Space Technology Initiative (HSTI) has been launched under the framework of the United Nations Programme on Space Applications with its aims of promoting international cooperation in human spaceflight and space exploration-related…

This paper gives an overview of previous work in which the authors used NASA's Formal Requirement Elicitation Tool (FRET) to formalise requirements. We discuss four case studies where we used FRET to capture the system's requirements. These…

This paper presents findings from an exploratory needfinding study investigating the research current status and potential participation of the competitions on the robotics community towards four human-centric topics: safety, privacy,…

In this paper, we present preliminary work from a pilot workshop that aimed to promote diversity and inclusion for fundamentals of Artificial Intelligence and Robotics for Children (air4children) in the context of developing countries.…

This tutorial (https://tum-nlp.github.io/low-resource-tutorial) is designed for NLP practitioners, researchers, and developers working with multilingual and low-resource languages who seek to create more equitable and socially impactful…

FASER is a proposed small and inexpensive experiment designed to search for light, weakly-interacting particles during Run 3 of the LHC from 2021-23. Such particles may be produced in large numbers along the beam collision axis, travel for…

This topical report of the 2021 US Community Study on the Future of Particle Physics (Snowmass 2021) summarizes the underground facilities needs for upcoming and next generation neutrino experiments. The underground facilities needs are…

We start by summarising very briefly the various prior attempts (during the last one and half a decade), some of which were made as independent research centres and others as visiting centres with extensive visiting programs for luminaries…

The International Design Study for the Neutrino Factory (the IDS-NF) was established by the community at the ninth "International Workshop on Neutrino Factories, super-beams, and beta- beams" which was held in Okayama in August 2007. The…

Realizing the physics programs of the planned and upgraded high-energy physics (HEP) experiments over the next 10 years will require the HEP community to address a number of challenges in the area of software and computing. For this reason,…