Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marco Schnurr
A Second-Order Pruning Step for Verified Global Optimization
Journal of Global Optimization
Control
Optimization
Applied Mathematics
Management Science
Computer Science Applications
Operations Research
Related publications
Extending Pruning Techniques to Polymorphic Second Order Λ-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Global Oscillatory Waves for Second Order Quasilinear Wave Equations
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Global Oscillatory Waves for Second Order Quasilinear Wave Equations
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Global Motion Processing in Human Color Vision: A Deficit for Second-Order Stimuli
Journal of Vision
Ophthalmology
Sensory Systems
Step Response of a Second-Order Digital Filter With Two's Complement Arithmetic
IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications
Global Existence Results for Second Order Functional Differential Equations With Delay
Filomat
Mathematics
Global Stereo Reconstruction Under Second-Order Smoothness Priors
IEEE Transactions on Pattern Analysis and Machine Intelligence
Pattern Recognition
Applied Mathematics
Computer Vision
Mathematics
Computational Theory
Artificial Intelligence
Software
2016 - A Second Step
Jornal Brasileiro de Pneumologia
Pulmonary
Respiratory Medicine
Box-Splitting Strategies for the Interval Gauss-Seidel Step in a Global Optimization Method
Computing (Vienna/New York)
Numerical Analysis
Computational Theory
Computer Science Applications
Computational Mathematics
Mathematics
Theoretical Computer Science
Software
