<--- Back to Details
First PageDocument Content
Radiation / Quantum electrodynamics / Large Hadron Collider / Particle identification / Compton Gamma Ray Observatory / Fermi Gamma-ray Space Telescope / Pair-conversion / Calorimeter / Gamma ray / Physics / Space telescopes / Astrophysics
Date: 2013-03-14 20:08:42
Radiation
Quantum electrodynamics
Large Hadron Collider
Particle identification
Compton Gamma Ray Observatory
Fermi Gamma-ray Space Telescope
Pair-conversion
Calorimeter
Gamma ray
Physics
Space telescopes
Astrophysics

4th Fermi Symposium : Monterey, CA : 28 Oct-2 Nov[removed]Pass 8: Toward the Full Realization of the Fermi-LAT Scientific Potential W. Atwood Santa Cruz Institute for Particle Physics, University of California, Santa Cruz

Add to Reading List

Source URL: arxiv.org

Download Document from Source Website

File Size: 112,25 KB

Share Document on Facebook

Similar Documents

Medical physics / Physics / Radiation therapy / Radiobiology / Medicine / Radiation / Fast neutron therapy / Neutron / Calibration / Dosimetry / Collimator

Clinical Neutron Therapy System Reference Manual Jonathan Jacky1 Ruedi Risler Radiation Oncology, Box

DocID: 1xVse - View Document

Humancomputer interaction / User interface techniques / Human behavior / Software architecture / Computing / Computer / User interface / Graphical user interface

Formal Development of a Graphical User Interface for a Radiation Therapy Machine Jonathan Jacky  Jonathan Unger Radiation Oncology Department RC-08 University of Washington

DocID: 1xViy - View Document

Health / Computing / Medical physics / Formal methods / Theoretical computer science / Therapy / Information and communications technology / Radiation therapy / Z notation / Computer / Software

Experience with Z Developing a Control Program for a Radiation Therapy Machine Jonathan Jacky , Jonathan Unger, Michael Patrick and Ruedi Risler Radiation Oncology Box

DocID: 1xV2d - View Document

Computing / Models of computation / Software engineering / Control engineering / Cognition / State / Control theory / Lookup table / Variable / Dependent and independent variables

Formal Speci cation and Development of Control System Input/Output Jonathan Jacky Radiation Oncology Department RC-08 University of Washington

DocID: 1xUvZ - View Document

Radiobiology / Radiation therapy / Radioactivity / Medical prescription / Health / Medicine / Physics

Formal Speci cation of Control Software for a Radiation Therapy Machine (Revised) Jonathan Jacky  Michael Patrick Jonathan Unger

DocID: 1xU9W - View Document