GitHub

AIFAD - Automated Induction of Functions over Algebraic Data Types

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 ...
IEEE

Development and Implementation of a Direct Evaluation Solution for Fault Tree Analyses Competing With Traditional Minimal Cut Sets Methods

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 ...
InfoQ

Spotting Image Differences in Visual Software Testing with AI

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. Birgitta Böckeler, Distinguished Engineer at ...
C&EN

Generating New Coordination Compounds via Multireference Simulations, Genetic Algorithms, and Machine Learning: The Case of Co(II) and Dy(III) Molecular Magnets

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 ...
The Lancet

Comparison of machine learning clustering algorithms for detecting heterogeneity of treatment effect in acute respiratory distress syndrome: A secondary analysis of three ...

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 ...
Nature

Behavioral and neurocognitive factors distinguishing post-traumatic stress comorbidity in substance use disorders

Significant trauma histories and post-traumatic stress disorder (PTSD) are common in persons with substance use disorders (SUD) and often associate with increased SUD severity and poorer response to ...
PNAS

NeuronMotif: Deciphering cis-regulatory codes by layer-wise demixing of deep neural networks

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 ...
Frontiers

How Organisms Come to Know the World: Fundamental Limits on Artificial General Intelligence

Artificial intelligence has made tremendous advances since its inception about seventy years ago. Self-driving cars, programs beating experts at complex games, and smart robots capable of assisting ...
Frontiers

Application of Generalized (Hyper-) Dual Numbers in Equation of State Modeling

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 ...
GitHub

Data Structure and Algorithms Problems

Note: Some of the code here is old and was written when I was learning C++. It might be possible that code is not safe or making wrong assumptions. Please use with caution. Pull requests are always ...
Nature

Materials structure genealogy and high-throughput topological classification of surfaces and 2D materials

Automated and verifiable structural classification for atomistic structures is becoming necessary to cope with the vast amount of information stored in various computational materials databases. Here ...