Safety - PDFSEARCH.IO - Document Search Engine

Safety
Results: 426071

#	Item
21	VasiliosMavroudis mavroud.is Research Interests Privacy Attacks & Countermeasures, AI Safety & Adversarial Machine Learning, Consensus Protocols & Market Microstructure Add to Reading List Source URL: mavroud.is Language: English - Date: 2018-10-23 09:34:50 Computing Security engineering Prevention Crime prevention National security Cryptography Information governance Secure communication Privacy Internet of things Information security Internet privacy
22	Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1 Carnegie Mellon University Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Computing Software engineering Formal methods Software Theoretical computer science Simulation software Visual programming languages Numerical software Simulink SIGNAL Autopilot Formal verification
23	GoDirect™ Your direct route to reliable services GoDirect™ - Your Direct Route to Reliable Services There’s a high demand for integrated services these days. Operators are looking for ways to improve safety, incre Add to Reading List Source URL: aerospace.honeywell.com Language: English - Date: 2018-10-09 05:41:28 Aviation Technology Transport Aircraft instruments Avionics Air traffic control Electronic design Honeywell Flight planning ACARS Business jet Flight plan
24	Compositional Safety Verification with Max-SMT Marc Brockschmidt ∗ , Daniel Larraz † , Albert Oliveras † , Enric Rodr´ıguez-Carbonell † and Albert Rubio Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2015-07-15 04:42:02 Formal methods Software engineering Theoretical computer science Predicate transformer semantics Computing Loop invariant Invariant 120-cell
25	Virginia Sex Offender and Crimes Against Minors Registry (SOR) Halloween Safety Can a convicted sex offender participate in Halloween/Trick-or-Treat activities? If the convicted sex offender is on supervision – which m Add to Reading List Source URL: www.vsp.state.va.us Language: English - Date: 2018-10-05 15:00:40 Sex offender registry Sex offender Sex offender registration Probation Law Criminal law Parole Protect Canadian criminal law English criminal law Probation officer Dangerous offender
26	The Complexity of Safety Stock Placement in General-Network Supply Chains Ekaterina Lesnaia, Iuliu Vasilescu, and Stephen C. Graves MIT Abstract— We consider the optimization problem of safety Add to Reading List Source URL: web.mit.edu Language: English - Date: 2016-06-07 13:49:55 Graph theory Mathematics Discrete mathematics Vertex cover Network theory Degree Networks Graph operations Capacitated minimum spanning tree Centrality
27	Current & Essential Needs Thank you for supporting SAFEHOME. We welcome donations from this list – items of similar styles/brands are welcome. Please understand that for the safety of our clients, residents, and staff, Add to Reading List Source URL: www.safehome-ks.org Language: English - Date: 2018-09-12 16:31:30 Hygiene Cleaning Public health Cleaning products Prevention Dishwashing Babycare Dishwashing liquid NyQuil Washing Wet wipe Antipruritic
28	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 Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Formal methods Theoretical computer science Automation Safety case Embedded system Electromagnetism Computing Carbon nanotubes Electrical engineering
29	Annual Security and Annual Fire Safety ReportAnnual Security and Annual Fire Safety Report 2018 Add to Reading List Source URL: clery.emory.edu Language: English - Date: 2018-09-28 16:34:06 Human behavior Human sexuality Violence Sexual ethics Sexual abuse Sex crimes Rape Sexual violence Campus sexual assault Sexual harassment Clery Act Sexual assault
30	Assuring the Safety of Advanced Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring Malte Mauritz, Falk Howar, and Andreas Rausch Institute for Applied Software Systems Engineering (IPSSE Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Transport Land transport Automation Emerging technologies Road transport Modeling and simulation Advanced driver assistance systems Simulation Advanced driver-assistance systems Self-driving car Traffic Automated driving system