CANADIAN NUTRITION SCREENING TOOL (CNST) Name: Age: Weight:

Source URL: nutritioncareincanada.ca

• Health
• Nutrition
• Food science
• Dietitian
• Obesity
• NutritionDay
• Medical nutrition therapy

A Tool for Estimating Information Leakage? Tom Chothia, Yusuke Kawamoto, and Chris Novakovic School of Computer Science, University of Birmingham, Birmingham, UK Abstract. We present leakiEst, a tool that estimates how m

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

• Information theory
• Cryptography
• Information
• Electrical engineering
• Information flow
• Information leakage
• Leak
• Entropy
• Weka
• Memory leak
• Mutual information
• Biometric passport

LNCSSPT: Storyboard Programming Tool

Source URL: rishabhmit.bitbucket.io

• Computer programming
• Software engineering
• Computing
• Data types
• Recursion
• Binary trees
• Theoretical computer science
• Subroutines
• Linked list
• Tree
• Binary search tree
• ALGOL 68

A2J Evaluation and Research Options Formative Assessment Technology Example: You designed a new online tool to help self-represented litigants file for Chapter 7 bankruptcies. The tool contains eligibility criteria: it

Source URL: a2jlab.org

• Metaphysics
• Evaluation
• Impact assessment
• Philosophy of science
• Program evaluation
• Pro se legal representation in the United States
• Causality
• Impact evaluation

A Versatile, Sound Tool for Simplifying Definitions Alessandro Coglio Matt Kaufmann Kestrel Institute

Source URL: www.kestrel.edu

• Computer programming
• Software engineering
• Computing
• Lisp
• Functional languages
• Subroutines
• Programming languages
• Data types
• Functional programming
• Defun
• ACL2
• Cons

C2E2: A Verification Tool For Stateflow Models Parasara Sridhar Duggirala1 , Sayan Mitra2 , Mahesh Viswanathan1 , and Matthew Potok2 1 2

Source URL: publish.illinois.edu

• Systems theory
• Differential equations
• Metaphysics
• Control theory
• Hybrid system
• Mathematical analysis
• Dynamical system
• Mathematics
• Symbol
• Hybrid automaton

PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games Marta Kwiatkowska1 , David Parker2 , and Clemens Wiltsche1 1 2

Source URL: www.prismmodelchecker.org

• Microeconomics
• Game theory
• Economics
• Applied mathematics
• Non-cooperative games
• Mathematical optimization
• Nash equilibrium
• Stochastic game
• Zero-sum game
• Pareto efficiency
• Strategy

An Overview of M AR Q Giles Reger University of Manchester, Manchester, UK Abstract. MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification l

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

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1

Source URL: qav.comlab.ox.ac.uk

• Mathematical optimization
• Systems science
• Engineering
• Analysis
• Vilfredo Pareto
• Design of experiments
• Systems engineering
• Engineering statistics
• Pareto efficiency
• Optimal design
• PRISM model checker
• Reliability engineering

REPORT ON the City Auditor’s FRAUD HOTLINE a tool to initiate positive change

Source URL: www.cityauditorlauradoud.com