Zum Inhalt springen

  1. Fages, François [HerausgeberIn]; Soliman, Sylvain [Sonstige Person, Familie und Körperschaft] ; PPSWR 3 2005 Dagstuhl

    Principles and practice of semantic web reasoning : third international workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11 - 16, 2005 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3703

  2. Fages, François [HerausgeberIn]; Rossi, Francesca [Sonstige Person, Familie und Körperschaft]; Soliman, Sylvain [Sonstige Person, Familie und Körperschaft] ; European Research Consortium for Informatics and Mathematics, International Workshop on Constraint Solving and Constraint Logic Programming 12 2007 Rocquencourt

    Recent advances in constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5129

  3. Fages, François [Sonstige Person, Familie und Körperschaft]; Soliman, Sylvain [Sonstige Person, Familie und Körperschaft]

    Principles and Practice of Semantic Web Reasoning (vol. # 3703) : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3703

  4. Trinh, Van-Giang [VerfasserIn]; Benhamou, Belaid [VerfasserIn]; Soliman, Sylvain [VerfasserIn] ; Van-Giang Trinh and Belaid Benhamou and Sylvain Soliman [MitwirkendeR]

    Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  5. Carbonell, Jaime G. [Sonstige Person, Familie und Körperschaft]; Fages, François [Sonstige Person, Familie und Körperschaft]; Rossi, Francesca [Sonstige Person, Familie und Körperschaft]; Siekmann, Jörg [Sonstige Person, Familie und Körperschaft]; Soliman, Sylvain [Sonstige Person, Familie und Körperschaft]

    Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 5129

  6. Csikász-Nagy, Attila [VerfasserIn]; Faure, Adrien [VerfasserIn]; Larcher, Roberto [VerfasserIn]; Lecca, Paola [VerfasserIn]; Mura, Ivan [VerfasserIn]; Jordan, Ferenc [VerfasserIn]; Palmisano, Alida [VerfasserIn]; Romanel, Alessandro [VerfasserIn]; Sedwards, Sean [VerfasserIn]; Siebert, Heike [VerfasserIn]; Soliman, Sylvain [VerfasserIn]; Thieffry, Denis [VerfasserIn]; Zámborszky, Judit [VerfasserIn]; Mazza, Tommaso [VerfasserIn]; Ballarini, Paolo [VerfasserIn] ; Attila Csikász-Nagy and Adrien Faure and Roberto Larcher and Paola Lecca and Ivan Mura and Ferenc Jordan and Alida Palmisano and Alessandro Romanel and Sean Sedwards and Heike Siebert and Sylvain Soliman and Denis Thieffry and Judit Zámborszky and Tommaso Mazza and Paolo Ballarini [MitwirkendeR]

    Analyzing various models of Circadian Clock and Cell Cycle coupling

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  7. Hohenschurz-Schmidt, David [VerfasserIn]; Draper-Rodi, Jerry [VerfasserIn]; Vase, Lene [VerfasserIn]; Scott, Whitney [VerfasserIn]; McGregor, Alison [VerfasserIn]; Soliman, Nadia [VerfasserIn]; MacMillan, Andrew [VerfasserIn]; Olivier, Axel [VerfasserIn]; Cherian, Cybill Ann [VerfasserIn]; Corcoran, Daniel [VerfasserIn]; Abbey, Hilary [VerfasserIn]; Freigang, Sascha [VerfasserIn]; Chan, Jessica [VerfasserIn]; Phalip, Jules [VerfasserIn]; Sørensen, Lea Nørgaard [VerfasserIn]; Delafin, Maite [VerfasserIn]; Baptista, Margarida [VerfasserIn]; Medforth, Naomi R. [VerfasserIn]; Ruffini, Nuria [VerfasserIn]; Andresen, Stephanie Skøtt [VerfasserIn]; Ytier, Sylvain [VerfasserIn]; Ali, Dorota [VerfasserIn]; Hobday, Harriet [VerfasserIn]; Ngurah Agung Adhiyoga Santosa, Anak Agung [VerfasserIn]; [...]

    Blinding and sham control methods in trials of physical, psychological, and self-management interventions for pain (article II) : a meta-analysis relating methods to trial results

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    March 2023

    Erschienen in: Pain ; 164(2023), 3, Seite 509-533

  8. Fages, François; Soliman, Sylvain

    Probabilistic Inductive Logic Programming: Model Revision from Temporal Logic Properties in Computational Systems Biology

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2008

    Erschienen in: Probabilistic Inductive Logic Programming

  9. Soliman, Sylvain; Fages, François

    Computational Methods in Systems Biology: CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2005

    Erschienen in: Computational Methods in Systems Biology