Mathematics in Computer Science
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
Table of contents
- 321
-
ForewordRamdani, Nacim / Jaulin, Luc et al. | 2014
- 323
-
Verification of Linear (In)Dependence in Finite Precision ArithmeticRohn, Jiri et al. | 2014
- 329
-
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-ForallHladík, Milan / Ratschan, Stefan et al. | 2014
- 341
-
Subdivision Strategies for Boxes in Branch-and-Bound Nonlinear Solvers and VerificationJust, Elke et al. | 2014
- 357
-
An Improved Bernstein Global Optimization Algorithm for MINLP Problems with Application in Process IndustryPatil, Bhagyesh V. / Nataraj, P. S. V. et al. | 2014
- 379
-
Kernel Characterization of an Interval FunctionAubry, Clément / Desmare, Rozenn / Jaulin, Luc et al. | 2014
- 391
-
Determination of Set-Membership Identifiability SetsRavanbod, Laleh / Verdière, Nathalie / Jauberthie, Carine et al. | 2014
- 407
-
A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid ReachabilityMaïga, Moussa / Ramdani, Nacim / Travé-Massuyès, Louise et al. | 2014
- 425
-
Determination of Inner and Outer Bounds of Reachable Sets Through SubpavingsRego, Francisco / Weerdt, Elwin / Oort, Eddy et al. | 2014
- 443
-
Level Sets of the Value Function in Differential Games with Two Pursuers and One Evader. Interval Analysis InterpretationKumkov, Sergey S. / Le Ménec, Stéphane / Patsko, Valerii S. et al. | 2014
- 455
-
Non Parametric Distributed Inference in Sensor Networks Using Box Particles MessagesHaj Chhadé, Hiba / Gning, Amadou / Abdallah, Fahed et al. | 2014
- 479
-
Interval Methods for Model Qualification: Methodology and Advanced ApplicationAlexandre Dit Sandretto, Julien / Trombettoni, Gilles / Daney, David et al. | 2014
- 495
-
Phase Based Localization for Underwater Vehicles Using Interval AnalysisIbn Seddik, Mohamed Saad / Jaulin, Luc / Grimsdale, Jonathan et al. | 2014
- 503
-
Solving Non-Linear Constraint Satisfaction Problems Involving Time-Dependant FunctionsBethencourt, Aymeric / Jaulin, Luc et al. | 2014
- 525
-
Interval Methods for Real-Time Capable Robust Control of Solid Oxide Fuel Cell SystemsRauh, Andreas / Senkel, Luise / Auer, Ekaterina et al. | 2014
- 543
-
Sliding Mode Techniques for Robust Trajectory Tracking as well as State and Parameter EstimationSenkel, Luise / Rauh, Andreas / Aschemann, Harald et al. | 2014
- 563
-
VIBes: A Visualizer for Intervals and BoxesDrevelle, Vincent / Nicola, Jeremy et al. | 2014