Results 41 to 50 of about 77,226 (65)
Some of the next articles are maybe not open access.
OVERLAY@GandALF, 2021
This paper accompanies FOSSIL: a software tool for the synthesis of Lyapunov functions and of barrier certificates (or functions) for dynamical systems modelled as differential equations. Lyapunov functions are formal certificates for stability analysis,
A. Abate +4 more
semanticscholar +1 more source
This paper accompanies FOSSIL: a software tool for the synthesis of Lyapunov functions and of barrier certificates (or functions) for dynamical systems modelled as differential equations. Lyapunov functions are formal certificates for stability analysis,
A. Abate +4 more
semanticscholar +1 more source
Redox regulation of fos and jun DNA-binding activity in vitro.
Science, 1990C. Abate +3 more
semanticscholar +1 more source
2D and 3D face recognition: A survey
Pattern Recognition Letters, 2007A. F. Abate +3 more
semanticscholar +1 more source
Abate distribution and dengue control in rural Cambodia.
Acta Tropica, 2007S. Khun, L. Manderson
semanticscholar +1 more source
Numerical Inversion of Laplace Transforms of Probability Distributions
INFORMS journal on computing, 1995J. Abate, W. Whitt
semanticscholar +1 more source
Supramolecular halogen bond passivation of organic-inorganic halide perovskite solar cells.
Nano letters (Print), 2014A. Abate +8 more
semanticscholar +1 more source
A Unified Framework for Numerically Inverting Laplace Transforms
INFORMS journal on computing, 2006J. Abate, W. Whitt
semanticscholar +1 more source