Staff - PDFSEARCH.IO - Document Search Engine

Staff
Results: 71614

#	Item
11	Experience with Z Developing a Control Program for a Radiation Therapy Machine Jonathan Jacky , Jonathan Unger, Michael Patrick and Ruedi Risler Radiation Oncology Box Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 18:58:56 Health Computing Medical physics Formal methods Theoretical computer science Therapy Information and communications technology Radiation therapy Z notation Computer Software
12	Editorial Webinars Converge360 is offering targeted editorial Webinars that simply require sponsorship. These high-quality editorial events are run by our editorial staff and are on-point for sponsors who will reap the r Add to Reading List Source URL: converge360.com Language: English - Date: 2018-09-10 16:59:39 Educational technology Teleconferencing Web conferencing Sponsor
13	Accepted for publication in J. Functional Programming 1 Finger trees: a simple general-purpose data structure Add to Reading List Source URL: www.staff.city.ac.uk Language: English - Date: 2014-10-28 05:49:57 Computing Computer programming Binary trees Information science Knowledge representation Tree Finger tree B-tree 23 tree Double-ended queue Search tree
14	Language and Hardware Acceleration Backend for Graph Processing Andrey Mokhov† , Alessandro de Gennaro† , Ghaith Tarawneh† , Jonny Wray‡ , Georgy Lukyanov† , Sergey Mileiko† , Joe Scott† , Alex Yakovlev† Add to Reading List Source URL: www.staff.ncl.ac.uk Language: English - Date: 2017-08-19 21:07:39 Graph theory Mathematics Discrete mathematics Graph traversal Graph Directed graph Breadth-first search Degree Line graph Clique
15	SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo Add to Reading List Source URL: staff.bath.ac.uk Language: English - Date: 2017-08-06 07:51:38 Theoretical computer science Logic Logic in computer science Mathematics Electronic design automation Formal methods NP-complete problems Boolean algebra Boolean satisfiability problem Uninterpreted function Satisfiability Solver
16	Formal Specication and Development of Control System Input/Output Jonathan Jacky Radiation Oncology Department RC-08 University of Washington Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 18:58:47 Computing Models of computation Software engineering Control engineering Cognition State Control theory Lookup table Variable Dependent and independent variables
17	Email Template: HR/Management notifies employees about Sexual Assault Awareness Month (April) and the Safe at Home program. TO Staff FROM HR/Management SUBJECT Add to Reading List Source URL: safeathome.iowa.gov Language: English - Date: 2018-02-17 07:18:03 Human behavior Violence Sexual abuse Behavior Violence against women Sexual violence Rape in the United States Violence against men Domestic violence Sexual Assault Awareness Month Sexual assault
18	Formal Specication of Control Software for a Radiation Therapy Machine (Revised) Jonathan Jacky Michael Patrick Jonathan Unger Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 17:16:24 Radiobiology Radiation therapy Radioactivity Medical prescription Health Medicine Physics
19	CLINICAL NEUTRON THERAPY SYSTEM Control System Specication PART II: User Operations Jonathan Jacky1 Ruedi Risler Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 17:07:43 Physics Medical physics Accelerator physics Experimental physics Radiation therapy Medicine Particle accelerators Fast neutron therapy Neutron Cyclotron Beamline Computer terminal