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

Source URL: staff.washington.edu

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

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

Source URL: staff.washington.edu

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

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner1 , Calvin Loncaric1 , Emina Torlak1 , Zachary Tatlock1 , Xi Wang1 , Michael D. Ernst1 , and Jonathan Jacky2 1

Source URL: unsat.cs.washington.edu

• Formal methods
• Theoretical computer science
• Automation
• Safety case
• Embedded system
• Electromagnetism
• Computing
• Carbon nanotubes
• Electrical engineering

Spatially Adaptive Computation Time for Residual Networks Michael Figurnov1∗ Maxwell D. Collins2 Yukun Zhu2 Li Zhang2 Jonathan Huang2 Dmitry Vetrov1,3 Ruslan Salakhutdinov4 1 Higher School of Economics 2 Google Inc. 3

Source URL: arxiv.org

© Sedgwick, Eve Kosofsky; Barale, Michèle Aina; Goldberg, Jonathan; Moon, Michael, Dec 27, 2002, Touching Feeling : Affect, Pedagogy, Performativity Duke University Press, Durham, ISBN: Chapter 4 paranoi

Source URL: sfbay-anarchists.org

An Overview of the Trilinos Project MICHAEL A. HEROUX, ROSCOE A. BARTLETT, VICKI E. HOWLE, ROBERT J. HOEKSTRA, JONATHAN J. HU,

Source URL: www.kolda.net

Lessons from Jonathan Mann: The Ten Commandments on Multidrug-Resistant TB On August 3, Letter to the Editor Michael Kirby The Hon. Michael Kirby, AC, CMG, is a Member of the United Nations Secretary-General’s H

Source URL: www.stoptb.org

Johnston County Property Transactions Craig Olive - Registrar Grantor From: MICHAEL E. HARTSELL SHELLY A. CONKLIN JONATHAN BLAKE DAVIS AIF

Source URL: johnstonnc.com

Pulsed Feedback Defers Cellular Differentiation Joe H. Levine1, Michelle E. Fontes1, Jonathan Dworkin2, Michael B. Elowitz1* 1 Howard Hughes Medical Institute and Division of Biology and Department of Applied Physics, Ca

Source URL: elowitz.caltech.edu

The Making of Good Supervision: Learning to Say “No”; by Jose Viñals and Jonathan Fiechter with Aditya Narain, Jennifer Elliott, Ian Tower, Pierluigi Bologna, and Michael Hsu; IMF Staff Position Note SPN/10/08; May

Source URL: www.imf.org