AIFAD stands for Automated Induction of Functions over Algebraic Data Types and is an application written in OCaml that improves decision tree learning by supporting significantly more complex kinds ...
Abstract: Fault tree analysis (FTA) is a well-established technique to analyze the safety risks of a system. Two specific prominent FTA methods, largely applied in the aerospace field, are the ...
Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. Spencer Judge discusses the architectural ...
Creative Commons (CC): This is a Creative Commons license. Attribution (BY): Credit must be given to the creator. The design of coordination compounds with target properties often requires years of ...
aDivision of Clinical and Translational Research, Division of Critical Care, Department of Anesthesia, Washington University School of Medicine, Saint Louis, MO bDepartment of Medicine, University of ...
Cis-regulatory sequences regulate the expression of nearby genes. Recently, remarkable advances in our ability to predict the function of cis-regulatory sequences have been achieved by using ...
The calculation of derivatives is ubiquitous in science and engineering. In thermodynamics, in particular, state properties can be expressed as derivatives of thermodynamic potentials. The manual ...
Finite automata are one of the most fundamental models of computation and are taught in almost all undergraduate computer-science curricula. Although automata are typically presented as a theoretical ...
Uncertainties are widespread in the optimization of process systems, such as uncertainties in process technologies, prices, and customer demands. In this paper, we review the basic concepts and recent ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results