default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematics in Computer Science, Volume 8
Volume 8, Number 1, March 2014
- Manfred Kerber, Christoph Lange
, Colin Rowat:
Foreword. 1-4 - Siddharth Chatterjee, Arunava Sen:
Automated Reasoning in Social Choice Theory: Some Remarks. 5-10 - Phillip James, Markus Roggenbach:
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. 11-38 - Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar:
Formal Analysis of Optical Systems. 39-70 - Stefan Mitsch, Grant Olney Passmore, André Platzer:
Collaborative Verification-Driven Engineering of Hybrid Systems. 71-97 - Jónathan Heras, Ekaterina Komendantskaya:
Recycling Proof Patterns in Coq: Case Studies. 99-116
Volume 8, Number 2, June 2014
- Sandra Di Rocco, Josef Schicho:
Foreword. 117-118 - Qingchun Ren, Steven V. Sam, Bernd Sturmfels:
Tropicalization of Classical Moduli Spaces. 119-145 - Murray R. Bremner, Jiaxiong Hu, Luke Oeding:
The 3 × 3 × 3 Hyperdeterminant as a Polynomial in the Fundamental Invariants for SL3(C) × SL3(C) × SL3(C). 147-156 - Bernard Mourrain, Nelly Villamizar:
Bounds on the Dimension of Trivariate Spline Spaces: A Homological Approach. 157-174 - Laurent Busé, Jean-Pierre Jouanolou:
On the Discriminant Scheme of Homogeneous Polynomials. 175-234 - Jonathan D. Hauenstein, Frank Sottile:
Newton Polytopes and Witness Sets. 235-251 - Daniel J. Bates, Matthew E. Niemerg:
Using Monodromy to Avoid High Precision in Homotopy Continuation. 253-262 - David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England:
Cylindrical Algebraic Sub-Decompositions. 263-288 - M'hammed El Kahoui, Zakari Yaou Moussa:
An Algorithm to Compute the Adjoint Ideal of an Affine Plane Algebraic Curve. 289-298 - Bohumír Bastl, Bert Jüttler, Miroslav Lávicka, Tino Schulz, Zbynek Sír:
On the Parameterization of Rational Ringed Surfaces and Rational Canal Surfaces. 299-319
Volume 8, Numbers 3-4, September 2014
- Nacim Ramdani, Luc Jaulin:
Foreword. 321 - Jiri Rohn:
Verification of Linear (In)Dependence in Finite Precision Arithmetic. 323-328 - Milan Hladík, Stefan Ratschan:
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall. 329-340 - Elke Just:
Subdivision Strategies for Boxes in Branch-and-Bound Nonlinear Solvers and Verification. 341-355 - Bhagyesh V. Patil, P. S. V. Nataraj:
An Improved Bernstein Global Optimization Algorithm for MINLP Problems with Application in Process Industry. 357-377 - Clément Aubry, Rozenn Desmare, Luc Jaulin:
Kernel Characterization of an Interval Function. 379-390 - Laleh Ravanbod, Nathalie Verdière, Carine Jauberthie:
Determination of Set-Membership Identifiability Sets. 391-406 - Moussa Maïga, Nacim Ramdani, Louise Travé-Massuyès, Christophe Combastel:
A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability. 407-423 - Francisco F. C. Rego, Elwin de Weerdt, Eddy van Oort, Erik-Jan van Kampen, Qiping Chu, António M. Pascoal:
Determination of Inner and Outer Bounds of Reachable Sets Through Subpavings. 425-442 - Sergey S. Kumkov, Stéphane Le Ménec, Valery S. Patsko:
Level Sets of the Value Function in Differential Games with Two Pursuers and One Evader. Interval Analysis Interpretation. 443-454 - Hiba Haj Chhadé, Amadou Gning, Fahed Abdallah, Imad Mougharbel, Simon Julier:
Non Parametric Distributed Inference in Sensor Networks Using Box Particles Messages. 455-478 - Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney:
Interval Methods for Model Qualification: Methodology and Advanced Application. 479-493 - Mohamed Saad Ibn Seddik, Luc Jaulin, Jonathan Grimsdale:
Phase Based Localization for Underwater Vehicles Using Interval Analysis. 495-502 - Aymeric Bethencourt, Luc Jaulin:
Solving Non-Linear Constraint Satisfaction Problems Involving Time-Dependant Functions. 503-523 - Andreas Rauh, Luise Senkel, Ekaterina Auer, Harald Aschemann:
Interval Methods for Real-Time Capable Robust Control of Solid Oxide Fuel Cell Systems. 525-542 - Luise Senkel, Andreas Rauh, Harald Aschemann:
Sliding Mode Techniques for Robust Trajectory Tracking as well as State and Parameter Estimation. 543-561 - Vincent Drevelle, Jeremy Nicola:
VIBes: A Visualizer for Intervals and Boxes. 563-572
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-09 14:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
