Author

M. Butler

results may include different authors with the same name

3 papers

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…

Software Engineering · Computer Science 2017-01-31 T. S. Hoang , L. Voisin , A. Salehi , M. Butler , T. Wilkinson , N. Beauger

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…

High Energy Physics - Experiment · Physics 2014-01-24 L. A. T. Bauerdick , S. Gottlieb , G. Bell , K. Bloom , T. Blum , D. Brown , M. Butler , A. Connolly , E. Cormier , P. Elmer , M. Ernst , I. Fisk , G. Fuller , R. Gerber , S. Habib , M. Hildreth , S. Hoeche , D. Holmgren , C. Joshi , A. Mezzacappa , R. Mount , R. Pordes , B. Rebel , L. Reina , M. C. Sanchez , J. Shank , P. Spentzouris , A. Szalay , R. Van de Water , M. Wobisch , S. Wolbers

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…

Computational Physics · Physics 2010-02-05 A. Aleksejevs , M. Butler