Gyűjtemény: Uncertainty Modeling, Software, Verified Computing and Optimization

Archívum: Acta Cybernetica
Tárolt tételek száma:7
Tartalmi leírás:

  • Tételek
Szűkítés: Eleje Előző 1 - 7 / 7 Következő Vége
text
Another Multibody Dynamics in Natural Coordinates through Automatic Differentiation and High-Index DAE Solving
Tartalom | Metaadatok
Pryce, John D; Nedialkov, Nedialko
text
Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems
Tartalom | Metaadatok
Wunderlich, Jonathan; Plum, Michael
text
Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem
Tartalom | Metaadatok
Röbenack, Klaus; Voßwinkel, Rick
text
Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems
Tartalom | Metaadatok
Luther, Wolfram; Auer, Ekaterina; Weyers, Benjamin
text
Sound Over-Approximation of Probabilities
Tartalom | Metaadatok
Moggi, Eugenio; Taha, Walid; Thunberg, Johan
text
Towards Analyzing the Influence of Measurement Errors in Magnetic Resonance Imaging of Fluid Flows
Tartalom | Metaadatok
John, Kristine; Rauh, Andreas; Bruschewski, Martin; Grundmann, Sven
text
Verified Solution to Optimal Control Problems of Elastic Rod Motion Based on the Ritz Method
Tartalom | Metaadatok
Kostin, Georgy