Skip to contents

  7. Schappler, Moritz [Author]; Jahn, Philipp [Author]; Raatz, Annika [Author]; Ortmaier, Tobias [Author]; Schüppstuhl, Thorsten [Author]; Tracht, Kirsten [Author]

    Combined Structural and Dimensional Synthesis of a Parallel Robot for Cryogenic Handling Tasks - [published Version]

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham : Springer Nature, 2022-01-01

  9. Behaegel, Jonathan [Author]; Comet, Jean-Paul [Author]; Folschette, Maxime [Author] ; Jonathan Behaegel and Jean-Paul Comet and Maxime Folschette [Contributor]

    Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  11. Hernández-Orallo, José [Author]; Muggleton, Stephen H. [Author]; Schmid, Ute [Author]; Zorn, Benjamin [Author] ; José Hernández-Orallo and Stephen H. Muggleton and Ute Schmid and Benjamin Zorn [Contributor]

    Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442)

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  13. Hutchison, David [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Hanus, Michael [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]

    Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Published in: Lecture notes in computer science ; 5438

  14. Schappler, Moritz [Author]

    Inverse Kinematics for Functional Redundancy of Symmetric 3T1R Parallel Manipulators using Tait-Bryan-Angle Kinematic Constraints - [accepted Version]

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham : Springer, 2022-06-18

    Published in: Advances in Robot Kinematics 2022 ; Springer Proceedings in Advanced Robotics;24

  15. Schappler, Moritz [Author]

    Structural and Dimensional Synthesis of Overconstraint Symmetric 3T2R Parallel Robots using Tait-Bryan-Angle Kinematic Constraints - [accepted Version]

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham : Springer, 2022-06-18

    Published in: Advances in Robot Kinematics 2022 ; Springer Proceedings in Advanced Robotics ; 24

  17. Menguy, Grégoire [Author] ; université Paris-Saclay [Contributor]; Signoles, Julien [Contributor]; Bardin, Sébastien [Contributor]; Lazaar, Nadjib [Contributor]

    Black-box code analysis for reverse engineering through constraint acquisition and program synthesis ; Analyse de code en boîte noire pour la rétro ingénierie via acquisition de contraintes et synthèse de code

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2023-03-14

  18. Rivaud, Stéphane [Author] ; Reims [Contributor]; Rousseaux, Francis [Contributor]

    Intégration de Savoir Expert dans les Modèles Génératifs : Application à la Génération Musicale ; Integrating Expert Knowledge in Generative Models : Application to Music Generation

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2020-06-12

  19. Berthon, Raphaël [Author]; Randour, Mickael [Author]; Raskin, Jean-François [Author] ; Raphaël Berthon and Mickael Randour and Jean-François Raskin [Contributor]

    Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  20. Almagor, Shaull [Author]; Kupferman, Orna [Author]; Velner, Yaron [Author] ; Shaull Almagor and Orna Kupferman and Yaron Velner [Contributor]

    Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016