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

Weltbank: City Resilience Program Kurze Zusammenfassung Das City Resilience Program (CRP) ist ein von der Schweiz und der Weltbank aufgebauter Fonds, mit dessen Unterstützung Städte auf die negativen Auswirkungen des K

Source URL: www.seco-cooperation.admin.ch

Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be

Source URL: dream.inf.ed.ac.uk

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Propositional calculus
• Logic in computer science
• Logical truth
• Linear temporal logic
• First-order logic
• Well-formed formula
• Interpretation
• Intuitionistic logic

United States Department of Agriculture Agricultural Marketing Service National Organic Program 1400 Independence Avenue SW. Room 2646-South Building

Source URL: www.ams.usda.gov

• Product certification
• Organic farming
• Agriculture in the United States
• Natural environment
• Agriculture
• Ecolabelling
• Organic certification
• National Organic Program
• Organic Foods Production Act
• Organic food
• Organic product
• Agricultural Marketing Service

Synthetic Datasets for Neural Program Synthesis Richard Shin 1 Neel Kant 1 2 Kavi Gupta 1 Christopher Bender 1 2 Brandon Trabucco 1 2 Rishabh Singh 3 Dawn SongIntroduction

Source URL: uclmr.github.io

• Machine learning
• Training
• test
• and validation sets
• Validity
• Probability distribution
• Artificial intelligence
• Cognition
• Cognitive science
• Computational neuroscience

Position:​ Program Coordinator Location:​ Bay Area, CA/New York, NY Job Category:​ Full Time ABOUT BLACK GIRLS CODE Launched in 2011, ​Black Girls CODE​ (BGC) is devoted to showing the world that black girls ca

Source URL: www.blackgirlscode.com

• Computing
• Curriculum

Programming Languages and Machine Learning Martin Vechev DeepCode.ai and ETH Zurich PL Research: Last 10 years (sample) • (Semi-) Automated Program Synthesis

Source URL: files.sri.inf.ethz.ch

• Probabilistic programming language
• Machine learning
• Information retrieval
• Cognition
• Cognitive science

Improving Neural Program Synthesis with Inferred Execution Traces Richard Shin 1 * Illia Polosukhin 2 Dawn Song 1 1. Introduction

Source URL: uclmr.github.io

• Computational neuroscience
• Artificial neural networks
• Applied mathematics
• Cybernetics
• Neuroscience
• Convolutional neural network
• Feature learning
• Deep learning
• Karel
• Neural network
• Long short-term memory
• Machine learning

McGill University School of Computer Science Sable Research Group WebAssembly and JavaScript Challenge: Numerical program performance using

Source URL: www.sable.mcgill.ca

• Software
• Computing
• Web programming
• Web browsers
• Mozilla
• Cloud clients
• Portable software
• JavaScript
• Asm.js
• Firefox
• Microsoft Edge
• Google Chrome

Program Synthesis for Forth Forth Day 2012 Computer Science UC Berkeley

Source URL: www.forth.org

• Data types
• Software engineering
• Mathematics
• Computing
• Const
• Transpose
• Matrix
• Programming language syntax
• ELLA