- 2014
- Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar:
Formal Analysis of Optical Systems. Math. Comput. Sci. 8(1): 39-70 (2014) - Clément Aubry, Rozenn Desmare, Luc Jaulin:
Kernel Characterization of an Interval Function. Math. Comput. Sci. 8(3-4): 379-390 (2014) - 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. Math. Comput. Sci. 8(2): 299-319 (2014) - Daniel J. Bates, Matthew E. Niemerg:
Using Monodromy to Avoid High Precision in Homotopy Continuation. Math. Comput. Sci. 8(2): 253-262 (2014) - Aymeric Bethencourt, Luc Jaulin:
Solving Non-Linear Constraint Satisfaction Problems Involving Time-Dependant Functions. Math. Comput. Sci. 8(3-4): 503-523 (2014) - 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). Math. Comput. Sci. 8(2): 147-156 (2014) - Laurent Busé, Jean-Pierre Jouanolou:
On the Discriminant Scheme of Homogeneous Polynomials. Math. Comput. Sci. 8(2): 175-234 (2014) - Siddharth Chatterjee, Arunava Sen:
Automated Reasoning in Social Choice Theory: Some Remarks. Math. Comput. Sci. 8(1): 5-10 (2014) - Hiba Haj Chhadé, Amadou Gning, Fahed Abdallah, Imad Mougharbel, Simon Julier:
Non Parametric Distributed Inference in Sensor Networks Using Box Particles Messages. Math. Comput. Sci. 8(3-4): 455-478 (2014) - Vincent Drevelle, Jeremy Nicola:
VIBes: A Visualizer for Intervals and Boxes. Math. Comput. Sci. 8(3-4): 563-572 (2014) - Jonathan D. Hauenstein, Frank Sottile:
Newton Polytopes and Witness Sets. Math. Comput. Sci. 8(2): 235-251 (2014) - Jónathan Heras, Ekaterina Komendantskaya:
Recycling Proof Patterns in Coq: Case Studies. Math. Comput. Sci. 8(1): 99-116 (2014) - Milan Hladík, Stefan Ratschan:
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall. Math. Comput. Sci. 8(3-4): 329-340 (2014) - Phillip James, Markus Roggenbach:
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. Math. Comput. Sci. 8(1): 11-38 (2014) - Elke Just:
Subdivision Strategies for Boxes in Branch-and-Bound Nonlinear Solvers and Verification. Math. Comput. Sci. 8(3-4): 341-355 (2014) - M'hammed El Kahoui, Zakari Yaou Moussa:
An Algorithm to Compute the Adjoint Ideal of an Affine Plane Algebraic Curve. Math. Comput. Sci. 8(2): 289-298 (2014) - Manfred Kerber, Christoph Lange, Colin Rowat:
Foreword. Math. Comput. Sci. 8(1): 1-4 (2014) - 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. Math. Comput. Sci. 8(3-4): 443-454 (2014) - 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. Math. Comput. Sci. 8(3-4): 407-423 (2014) - Stefan Mitsch, Grant Olney Passmore, André Platzer:
Collaborative Verification-Driven Engineering of Hybrid Systems. Math. Comput. Sci. 8(1): 71-97 (2014) - Bernard Mourrain, Nelly Villamizar:
Bounds on the Dimension of Trivariate Spline Spaces: A Homological Approach. Math. Comput. Sci. 8(2): 157-174 (2014) - Bhagyesh V. Patil, P. S. V. Nataraj:
An Improved Bernstein Global Optimization Algorithm for MINLP Problems with Application in Process Industry. Math. Comput. Sci. 8(3-4): 357-377 (2014) - Nacim Ramdani, Luc Jaulin:
Foreword. Math. Comput. Sci. 8(3-4): 321 (2014) - Andreas Rauh, Luise Senkel, Ekaterina Auer, Harald Aschemann:
Interval Methods for Real-Time Capable Robust Control of Solid Oxide Fuel Cell Systems. Math. Comput. Sci. 8(3-4): 525-542 (2014) - Laleh Ravanbod, Nathalie Verdière, Carine Jauberthie:
Determination of Set-Membership Identifiability Sets. Math. Comput. Sci. 8(3-4): 391-406 (2014) - 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. Math. Comput. Sci. 8(3-4): 425-442 (2014) - Qingchun Ren, Steven V. Sam, Bernd Sturmfels:
Tropicalization of Classical Moduli Spaces. Math. Comput. Sci. 8(2): 119-145 (2014) - Sandra Di Rocco, Josef Schicho:
Foreword. Math. Comput. Sci. 8(2): 117-118 (2014) - Jiri Rohn:
Verification of Linear (In)Dependence in Finite Precision Arithmetic. Math. Comput. Sci. 8(3-4): 323-328 (2014) - Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney:
Interval Methods for Model Qualification: Methodology and Advanced Application. Math. Comput. Sci. 8(3-4): 479-493 (2014)