AI learns to build simple equations for complex systems

A research team at Duke University has developed a new AI framework that can uncover simple, understandable rules that govern ...
Communications of the ACM

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
Nature

The GDNF family: Signalling, biological functions and therapeutic value

Four different glial cell line-derived neurotrophic factor (GDNF)-family ligand (GFL)– receptor (GFRα) binding pairs exist, and they all signal through the transmembrane RET receptor tyrosine kinase.
IEEE

Memory-Efficient Frequency-Domain Least-Squares RTM Using Low-Rank Green’s Functions via Stochastic SVD Algorithms

Abstract: Frequency-domain least-squares reverse time migration (FLSRTM) is capable of producing a high-resolution reflectivity model, provided that Green’s functions can be stored in memory. Green’s ...