arXiv subjects

M. Butler

Publications and source records attributed to M. Butler.

3 recordsLinked to original sources

arXiv2017

Theory Plug-in for Rodin 3.x

The Theory plug-in enables modellers to extend the mathematical modelling notation for Event-B, with accompanying support for reasoning about the extended language. Previous version of the Theory plug-in has been implemented based on Rodin 2.x. This presentation outline the main improvements to the The- ory plug-in, to be compatible with Rodin 3.x, in terms of both reliability and us- ability. We will also present the changes that were needed in the Rodin core to accommodate the Theory plug-in. Finally, we identify future enhancements and research directions for the Theory plug-in.

cs.SE↗

arXiv2014

Planning the Future of U.S. Particle Physics (Snowmass 2013): Chapter 9: Computing

These reports present the results of the 2013 Community Summer Study of the APS Division of Particles and Fields ("Snowmass 2013") on the future program of particle physics in the U.S. Chapter 9, on Computing, discusses the computing challenges for future experiments in the Energy, Intensity, and Cosmic Frontiers, for accelerator science, and for particle theory, as well as structural issues in supporting the intense uses of computing required in all areas of particle physics.

hep-ex↗

arXiv2008

Computer Based Analytical Simulations of the Chiral Hadronic Processes

The availability of computational modeling tools for subatomic physics (Form, FeynArts, FormCalc, and FeynCalc) has made it possible to perform sophisticated calculations in perturbative quantum field theory. We have adapted these packages in order to apply them to the effective chiral field theory of hadronic interactions. A detailed description of this Computational Hadronic Model is presented here, along with sample calculations.

physics.comp-ph↗