Zurich − Campus Zentrum, Toni-Areal School of Applied Psychology Phone +, , www.zhaw.ch/psychologie IAP Institute of Applied Psychology Phone +, , w

Source URL: www.zhaw.ch

Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

Source URL: www.kestrel.edu

• Formal methods
• Theoretical computer science
• Software engineering
• Logic in computer science
• Software development
• Semigroup action
• Refinement
• Predicate transformer semantics
• Program transformation
• Postcondition
• Finite-state machine
• Formal verification

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Computing
• Software engineering
• Computer programming
• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Abstract interpretation
• Mellon
• Scala
• Refinement

Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University

Source URL: tlt2017.di.unito.it

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Operational semantics
• Semantics
• International Colloquium on Automata
• Languages and Programming
• Nominal
• Process calculi

Structural Normalisation Methods for Improving Best Answer Identification in Question Answering Communities Grégoire Burel, Paul Mulholland and Harith Alani Knowledge Media Institute, Open University, UK {g.burel, p.mu

Source URL: gdac.uqam.ca

• Information science
• Yahoo! Answers
• Information retrieval
• Question answering
• Answer
• Internet forum
• Questions and answers
• Artificial intelligence

Measuring Spectrum Similarity in Distributed Radio Monitoring Systems Roberto Calvo-Palomino1,2 , Domenico Giustiniano1 and Vincent Lenders3 1 IMDEA Networks Institute, Madrid, Spain,

Source URL: www.lenders.ch

• Signal processing
• Electrical engineering
• Electromagnetism
• Electronics
• Spectrum analyzer
• Sensor node
• DVB-T
• Sampling
• Bandwidth
• Modulation
• Bin-centres
• Orthogonal frequency-division multiplexing

Calculemus Igitur Lambert Meertens Kestrel Institute & Utrecht University (1)

Source URL: www.kestrel.edu

• Surname
• Patronymic surnames
• Genealogy
• Lambert Meertens
• Meertens
• Lambert
• Algebraic structure
• Scientific law

GOV200X – The Politics of Plague Worcester Polytechnic Institute Social Science and Policy Studies Department Sample Syllabus Course Information Professor Patricia Stapleton

Source URL: www.patriciastapleton.com

• Health
• Medicine
• Global health
• Epidemiology
• Biological weapons
• Tropical diseases
• Zoonoses
• Ebola virus disease
• World Health Organization
• Pandemic
• Public health
• Infection

Estimating the strength of unlabeled information during semi-supervised learning Brenden M. Lake () Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology James L. McClelland (m

Source URL: cims.nyu.edu

• Machine learning
• Semi-supervised learning
• Labeled data
• Supervised learning