相关论文: The Muon Accelerator Program
A system of N unidimensional global coupled maps (GCM), which support multiattractors is studied. We analize the phase diagram and some special features of the transitions (volume ratios and characteristic exponents), by controlling the…
The problem of planning for a robot that operates in environments containing a large number of objects, taking actions to move itself through the world as well as to change the state of the objects, is known as task and motion planning…
We present the Flight and Maintenance Planning (FMP) problem in its military variant and applied to long term planning. The problem has been previously studied for short- and medium-term horizons only. We compare its similarities and…
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans, i.e., solutions to planning problems, that transform a given state of the world to another state. The development of efficient and scalable answer set…
Long-horizon task and motion planning (TAMP) is notoriously difficult to solve, let alone optimally, due to the tight coupling between the interleaved (discrete) task and (continuous) motion planning phases, where each phase on its own is…
A ''technology lottery'' describes a research idea or technology succeeding over others because it is suited to the available software and hardware, not necessarily because it is superior to alternative directions--examples abound, from the…
The challenges in beam instrumentation and diagnostics for present and future particle accelerator projects are presented. A few examples for advanced hadron and lepton beam diagnostics are given.
Muon, a recently proposed optimizer that leverages the inherent matrix structure of neural network parameters, has demonstrated strong empirical performance, indicating its potential as a successor to standard optimizers such as AdamW. This…
The Muon optimizer has recently attracted attention due to its orthogonalized first-order updates, and a deeper theoretical understanding of its convergence behavior is essential for guiding practical applications; however, existing…
Recent results of an aging test performed at the CERN Gamma Irradiation Facility on a single--gap RPC prototype developed for the LHCb Muon System are presented. The results are based on an accumulated charge of about 0.45 C/cm$^2$,…
Ionization cooling of a muon beam is a key technique for a Neutrino Factory or Muon Collider. An international collaboration is mounting an experiment to demonstrate muon ionization cooling at the Rutherford Appleton Laboratory. We aim to…
Muon has emerged as a strong competitor to AdamW for language model pre-training, yet its behavior at scale is sensitive to weight decay. Recent work has observed that, for Muon without decoupled weight decay, the spectral norm of weight…
Computational materials science increasingly benefits from data management, automation, and algorithm-based decision-making for the simulation of material properties and behavior. Experimental materials science also changes rapidly by…
This talk gives a brief description of goals, expected performance and status of the Icecube project.
Heterogeneous computing is becoming mainstream in all scopes. This new era in computer architecture brings a new paradigm called Accelerator Level Parallelism (ALP). In ALP, accelerators are used concurrently to provide unprecedented levels…
We outline in detail a staging scenario for realizing the Neutrino Factory and the Muon Collider. As a first stage we envisage building an intense proton source that can be used to perform high intensity conventional neutrino beam…
The definition of a mobilized system and its efficiency are introduced. The existence of an optimal (maximally efficient) system is proved by an application of Young measures and compensated compactness.
Recent years have seen spectacular progress in the development of innovative acceleration methods that are not based on traditional RF accelerating structures. These novel developments are at the interface of laser, plasma and accelerator…
Over the past thirty years, there has been significant progress in developing general-purpose, language-based approaches to incremental computation, which aims to efficiently update the result of a computation when an input is changed. A…
We describe the main features of the Research Experience for Undergraduates Program at the American Institute of Mathematics. We also present our perspective on identifying appropriate projects for students, guiding students as they begin…