Hinweis
Zur Erhebung der Downloadstatistiken kommen entsprechend dem „COUNTER Code of Practice for e-Resources“ international anerkannte Regeln und Normen zur Anwendung. COUNTER ist eine internationale Non-Profit-Organisation, in der Bibliotheksverbände, Datenbankanbieter und Verlage gemeinsam an Standards zur Erhebung, Speicherung und Verarbeitung von Nutzungsdaten elektronischer Ressourcen arbeiten, welche so Objektivität und Vergleichbarkeit gewährleisten sollen. Es werden hierbei ausschließlich Zugriffe auf die entsprechenden Volltexte ausgewertet, keine Aufrufe der Website an sich.
Testing interval arithmetic libraries
Nathalie Revol, Luis Benet Fernández, Luca Ferranti, Sergei Zhilin
Efficient engineering analysis with imprecise probabilities
Michael Beer, Matteo Broggi, Matthias G.R. Faes, Marcos A. Valdebenito, Pengfei Wie
The Codac library
Simon Rohou
A new type of intervals for solving problems involving partially defined functions
Pierre Filiol, Théotime Bollengier, Luc Jaulin, Jean-Christophe Le Lann
Differential Inclusion using Matrix Exponential
Damien Massé
Fault Detection in Networked Control Systems. A Robust Approach
Carlos E. Valero, Radoslav Paulen
Online Identification of the Open-Circuit Voltage of Lithium-Ion Batteries with the Use of Interval Methods
Marit Lahme, Andreas Rauh
Rigorous bounds on the failure probability with the SIVIA algorithm
Marco de Angelis
A constraint programming approach for polytopic simulation of ordinary differential equations - a collision detection application
Julien Alexandre dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat
Symmetries for Interval Analysis
Luc Jaulin
Lie symmetries applied to guaranteed integration: application to mobile robotics localisation
Julien Damers, Luc Jaulin, Simon Rohou
Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation
Martin Fränzle
Higher-Order Methods for Differential Inclusions
Pieter Collins, Luca Geretti, Tiziano Villa, Sanja Zivanovic Gonzalez
Computer-assisted Existence Proofs for Navier-Stokes Equations on an Unbounded Strip with Obstacle
Jonathan Wunderlich
Uses of Methods with Result Verification in the Context of MIMO Systems
Ekaterina Auer, Andreas Ahrens
Eigenvalues enclosures of skew symmetric/Hermitian matrices having bounded uncertainty
Suman Maiti, Snehashish Chakraverty
Robust 3D target localization using UAVs with state uncertainty
M. Zagar, M. Kieffer, H. Piet-Lahanier, L. Meyer
A Geometric Approach to the Coverage Measure of the Area Explored by a Robot
Maria Luiza Costa Vianna, Eric Goubault, Luc Jaulin, Sylvie Putot
Sea route monitoring by weather buoys using interval analysis
Quentin Brateau, Luc Jaulin
How to determine uncertainty interval: Practice in GNSS and LiDAR localisation
Jingyao Su
An investigation of interval and set-based uncertainty representation for GNSS navigation
Jingyao Su, Steffen Schön
Interval-based Global Localization in Building Maps
Aaronkumar Ehambram, Luc Jaulin, Bernardo Wagner
High-gain interval observer for continuousdiscrete time systems : Application to a quadcopter
Antoine Hugo, Rihab El Houda Thabet, Luc Meyer, Sofiane Ahmed Ali, Hélène Piet-Lahanier, Felipe Kataoka Ishikawa
Stabilizing Controller Design Using an Iterative LMIs Approach for Quadrotors
Oussama Benzinane, Andreas Rauh
Validated Model Predictive Control based on Exponential Enclosures
Mohamed Fnadi, Andreas Rauh
Pos. | Land | Downloads | ||
---|---|---|---|---|
Anzahl | Proz. | |||
1 | Germany | 545 | 34,23% | |
2 | United States | 438 | 27,51% | |
3 | France | 188 | 11,81% | |
4 | China | 98 | 6,16% | |
5 | Mexico | 40 | 2,51% | |
6 | Taiwan | 23 | 1,44% | |
7 | India | 23 | 1,44% | |
8 | Iran, Islamic Republic of | 22 | 1,38% | |
9 | Canada | 18 | 1,13% | |
10 | Netherlands | 17 | 1,07% | |
andere | 180 | 11,31% |