CLINICAL NEUTRON THERAPY SYSTEM Control System Specication PART I: System Overview and Hardware Organization

Source URL: staff.washington.edu

• Physics
• Accelerator physics
• Experimental physics
• Health
• Medical physics
• Radiation therapy
• Fast neutron therapy
• Neutron
• Beamline
• Cyclotron
• Interlock
• Therapy

Briefing Paper Open Access Business Models and Current Trends in the Open Access Publishing System A pril 2016 April 2016

Source URL: www.scienceeurope.org

• Academic publishing
• Publishing
• Open access
• Electronic publishing
• Public sphere
• Article processing charge
• OA
• Electronic journal
• Subscription business model
• Project DEAL
• Hybrid open-access journal

M AR Q: Monitoring At Runtime with QEA Giles Reger, Helena Cuenca Cruz and David Rydeheard University of Manchester Abstract. Runtime monitoring is the process of checking whether an execution trace of a running system s

Source URL: www.cs.man.ac.uk

• Mathematical logic
• Logic
• Theoretical computer science
• Logic in computer science
• Runtime verification
• FO
• Quantifier

Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif

Source URL: www.isse.uni-augsburg.de

• System software
• Computer architecture
• Data management
• Embedded Linux
• Disk file systems
• LogFS
• Flash file system
• File system
• UBIFS
• Computer file
• NTFS
• File descriptor

Automated Generation of Requirements-based Test Cases for an Adaptive Cruise Control System Adina Aniculaesei Falk Howar

Source URL: www.falkhowar.de

• Software testing
• Software engineering
• Test suite
• Test case
• Code coverage
• Test automation
• Software requirements
• NuSMV
• Requirement
• Reliability engineering

Optical Disc Archive Cartridge Keep It Simple, Secure & Long-term Reliable, Durable mass storage Optical media A variety of high capacity media cartridges are available for the Optical Disc Archive System, From 300GB

Source URL: www.teradactyl.com

Certificate of Registration INFORMATION SECURITY MANAGEMENT SYSTEM - ISO/IEC 27001:2013 This is to certify that: CAIXABANK Av. Diagonal, T1P5

Source URL: www.caixabank.es

• Cryptography
• Prevention
• Security engineering
• Information governance
• Crime prevention
• National security
• E-commerce
• ISO/IEC 27001
• Management system
• Information security
• Kitemark
• Public key certificate

Yet Another Gramarye Magic rules for the Fudge System _http://wanderinghorse.net/gaming/fudge/_ Abstract:

Source URL: wanderinghorse.net

A Verified Type System for CakeML Yong Kiam Tan Scott Owens IHPC, A*STAR

Source URL: cakeml.org

• Type theory
• Software engineering
• Programming language theory
• Computing
• Type system
• Unification
• HindleyMilner type system
• Standard ML
• System F
• ML
• Type inference
• Generics in Java

R The OpenGL Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018)

Source URL: www.khronos.org

• Computing
• Computer programming
• IT infrastructure
• OpenGL
• Application programming interfaces
• Cross-platform software
• Graphics libraries
• Video game development
• Shader
• Framebuffer object
• Shading language
• Pixel buffer