Measure transformer semantics for Bayesian machine learning
The Bayesian approach to machine learning amounts to computing posterior distributions of
random variables from a probabilistic model of how the variables are related (that is, a prior …
random variables from a probabilistic model of how the variables are related (that is, a prior …
Deriving probability density functions from probabilistic functional programs
The probability density function of a probability distribution is a fundamental concept in
probability theory and a key ingredient in various widely used machine learning methods …
probability theory and a key ingredient in various widely used machine learning methods …
A model-learner pattern for Bayesian reasoning
AD Gordon, M Aizatulin, J Borgstrom, G Claret… - Proceedings of the 40th …, 2013 - dl.acm.org
A Bayesian model is based on a pair of probability distributions, known as the prior and
sampling distributions. A wide range of fundamental machine learning tasks, including …
sampling distributions. A wide range of fundamental machine learning tasks, including …
Formal testing for separation assurance
D Giannakopoulou, DH Bushnell, J Schumann… - Annals of Mathematics …, 2011 - Springer
In order to address the rapidly increasing load of air traffic operations, innovative algorithms
and software systems must be developed for the next generation air traffic control. Extensive …
and software systems must be developed for the next generation air traffic control. Extensive …
Deriving probability density functions from probabilistic functional programs
S Bhat, J Borgström, AD Gordon… - Logical Methods in …, 2017 - lmcs.episciences.org
The probability density function of a probability distribution is a fundamental concept in
probability theory and a key ingredient in various widely used machine learning methods …
probability theory and a key ingredient in various widely used machine learning methods …
Software V&V support by parametric analysis of large software simulation systems
J Schumann, K Gundy-Burlet… - 2009 IEEE …, 2009 - ieeexplore.ieee.org
Modern aerospace software systems simulations usually contain many (dependent and
independent) parameters. Due to the large parameter space, and the complex, highly …
independent) parameters. Due to the large parameter space, and the complex, highly …
Analysis of air traffic track data with the autobayes synthesis system
J Schumann, K Cate, A Lee - … , LOPSTR 2010, Hagenberg, Austria, July 23 …, 2011 - Springer
Abstract The Next Generation Air Traffic System (NGATS) is aiming to provide substantial
computer support for the air traffic controller. Algorithms for the accurate prediction of aircraft …
computer support for the air traffic controller. Algorithms for the accurate prediction of aircraft …
A decomposition-based development method for industrial control systems
J Xiong, J Li, J Shi, Y Huang - IEEE Access, 2019 - ieeexplore.ieee.org
Industrial control systems (ICSs), especially distributed control systems (DCSs), are usually
composed of several subsystems. Each subsystem is controlled by a control unit such as a …
composed of several subsystems. Each subsystem is controlled by a control unit such as a …
Benefits of small size classes in graduate software engineering education
ES Grant, JM Hicks - … on Progress in Informatics and Computing …, 2020 - ieeexplore.ieee.org
Graduate education presents unique challenges for both instructors and students. One
challenge is that of the graduate course enrollment numbers; wherein small size classes can …
challenge is that of the graduate course enrollment numbers; wherein small size classes can …
[图书][B] Automation and Visualization of Program Correctness for Automatically Generating Code
JM Hicks - 2020 - search.proquest.com
Program synthesis systems can be highly advantageous in that users can automatically
generate code to fit a wide variety of applications from high-level specifications without …
generate code to fit a wide variety of applications from high-level specifications without …