Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Timed Patterns -- Automatic Verification of Stability and Safety for Delay Differential Equations
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Verification of Delay Differential Equations.
View Other Search Results
Yazar
Nikolov, Geno. editor. (orcid)0000-0001-5608-2488
Format:
Electronic Resources
Alıntı:
Discretizations for Poroelasticity Equations -- A Class of Staggered Schemes for the Compressible Euler Equations
Yazar
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
Format:
Electronic Resources
Alıntı:
ordinary differential equations: Neural networks vs. linear regressors -- Kernel Methods for Discrete-Time