Skip to main content


Mathematics in Computer Science

Mathematics in Computer Science 3-4/2014

Ausgabe 3-4/2014

Interval Methods and Applications

Inhaltsverzeichnis ( 17 Artikel )

01.09.2014 | Ausgabe 3-4/2014


Nacim Ramdani, Luc Jaulin

01.09.2014 | Ausgabe 3-4/2014

Verification of Linear (In)Dependence in Finite Precision Arithmetic

Jiri Rohn

01.09.2014 | Ausgabe 3-4/2014

Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall

Milan Hladík, Stefan Ratschan

01.09.2014 | Ausgabe 3-4/2014

Subdivision Strategies for Boxes in Branch-and-Bound Nonlinear Solvers and Verification

Elke Just

01.09.2014 | Ausgabe 3-4/2014

An Improved Bernstein Global Optimization Algorithm for MINLP Problems with Application in Process Industry

Bhagyesh V. Patil, P. S. V. Nataraj

01.09.2014 | Ausgabe 3-4/2014

Kernel Characterization of an Interval Function

Clément Aubry, Rozenn Desmare, Luc Jaulin

01.09.2014 | Ausgabe 3-4/2014

Determination of Set-Membership Identifiability Sets

Laleh Ravanbod, Nathalie Verdière, Carine Jauberthie

01.09.2014 | Ausgabe 3-4/2014

A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability

Moussa Maïga, Nacim Ramdani, Louise Travé-Massuyès, Christophe Combastel

01.09.2014 | Ausgabe 3-4/2014

Determination of Inner and Outer Bounds of Reachable Sets Through Subpavings

Francisco Rego, Elwin de Weerdt, Eddy van Oort, Erik-Jan van Kampen, Qiping Chu, António M. Pascoal

01.09.2014 | Ausgabe 3-4/2014

Level Sets of the Value Function in Differential Games with Two Pursuers and One Evader. Interval Analysis Interpretation

Sergey S. Kumkov, Stéphane Le Ménec, Valerii S. Patsko

01.09.2014 | Ausgabe 3-4/2014 Open Access

Non Parametric Distributed Inference in Sensor Networks Using Box Particles Messages

Hiba Haj Chhadé, Amadou Gning, Fahed Abdallah, Imad Mougharbel, Simon Julier

01.09.2014 | Ausgabe 3-4/2014

Interval Methods for Model Qualification: Methodology and Advanced Application

Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney

01.09.2014 | Ausgabe 3-4/2014

Phase Based Localization for Underwater Vehicles Using Interval Analysis

Mohamed Saad Ibn Seddik, Luc Jaulin, Jonathan Grimsdale

01.09.2014 | Ausgabe 3-4/2014

Solving Non-Linear Constraint Satisfaction Problems Involving Time-Dependant Functions

Aymeric Bethencourt, Luc Jaulin

01.09.2014 | Ausgabe 3-4/2014

Interval Methods for Real-Time Capable Robust Control of Solid Oxide Fuel Cell Systems

Andreas Rauh, Luise Senkel, Ekaterina Auer, Harald Aschemann

01.09.2014 | Ausgabe 3-4/2014

Sliding Mode Techniques for Robust Trajectory Tracking as well as State and Parameter Estimation

Luise Senkel, Andreas Rauh, Harald Aschemann

01.09.2014 | Ausgabe 3-4/2014

VIBes: A Visualizer for Intervals and Boxes

Vincent Drevelle, Jeremy Nicola

Aktuelle Ausgaben

Premium Partner