( en | de | ru )

 

Disambiguierung von "Michel, Claude"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using constraint techniques for a safe and fast implementation of optimality-based reduction.

, , und . SAC, Seite 326-331. ACM, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Claude Haan

Claude Muller

Claude Imobersteg

Claude Louis

Claude Krier

 

Weitere Publikationen von Autoren mit dem selben Namen

Rigorous Enclosure of Round-Off Errors in Floating-Point Computations., , und . VSTTE, Volume 12549 von Lecture Notes in Computer Science, Seite 196-212. Springer, (2020)Efficient and Safe Global Constraints for Handling Numerical Constraint Systems., , , , und . SIAM J. Numerical Analysis, 42 (5): 2076-2097 (2005)Boosting Local Consistency Algorithms over Floating-Point Numbers., , und . CP, Volume 7514 von Lecture Notes in Computer Science, Seite 127-140. Springer, (2012)Searching Critical Values for Floating-Point Programs., , und . ICTSS, Volume 9976 von Lecture Notes in Computer Science, Seite 209-217. (2016)A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations., , und . CP, Volume 2470 von Lecture Notes in Computer Science, Seite 109-123. Springer, (2002)Improving the Floating Point Addition and Subtraction Constraints., und . CP, Volume 6308 von Lecture Notes in Computer Science, Seite 360-367. Springer, (2010)Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations., und . AITest, Seite 138-139. IEEE, (2019)Exact Projection Functions for Floating Point Number Constraints.. AI&M, (2002)Using constraint techniques for a safe and fast implementation of optimality-based reduction., , und . SAC, Seite 326-331. ACM, (2007)A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors., , und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 637-653. Springer, (2020)