Skip to main content Skip to main navigation

Publications

Displaying results 241 to 250 of 2324.

  1. Gerrit Großmann; Verena Wolf

    Rejection-Based Simulation of Stochastic Spreading Processes on Complex

    In: Milan Če¨ka; Nicola Paoletti (Hrsg.). Hybrid Systems Biology - 6th International Workshop, Revised Selected Papers. International Workshop on Hybrid Systems Biology (HSB-2019), April 6-7, Prague, Czech Republic, Pages 63-79, Lecture Notes in Bioinformatics (LNBI), Vol. 11705, ISBN 978-3-030-28041-3, Springer Nature, 8/2019.

  2. Rezaul Tutul; Niels Pinkwart

    Design and Evaluation of a Sound-Driven Robot Quiz System with Fair First-Responder Detection and Gamified Multimodal Feedback

    In: Robotics, Vol. 14, No. 9, MDPI, 8/2025.

  3. Werner Sandmann; Verena Wolf

    A computational stochastic modeling formalism for biological networks

    In: Enformatika Transactions on Engineering, Computing and Technology, Vol. 14, Pages 132-137, 2006.

  4. Verena Wolf; Christel Baier; Mila Majster-Cederbaum

    Trace Machines for Observing Continuous-Time Markov Chains

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 153, No. 2, Pages 259-277, Elsevier, Amsterdam, 5/2006.

  5. Verena Wolf; Christel Baier; Mila Majster-Cederbaum

    Trace Semantics for Stochastic Systems with Nondeterminism

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 164, No. 3, Pages 187-204, Elsevier, Amsterdam, 10/2006.

  6. Verena Wolf

    Modelling of Biochemical Reactions by Stochastic Automata Networks

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 171, No. 2, Pages 197-208, Elsevier, Amsterdam, 7/2007.

  7. Thomas A. Henzinger; Maria Mateescu; Verena Wolf

    Sliding Window Abstraction for Infinite Markov Chains

    In: Ahmed Bouajjani; Oded Maler. International Conference on Computer Aided Verification. Pages 337-352, ISBN 9783642026584, Springer Berlin Heidelberg, Heidelberg, 6/2009.

  8. Paul Strenge; Birgit Lange; Wolfgang Draxinger; Christian Hagel; Christin Grill; Veit Danicke; Dirk Theisen-Kunde; Sonja Spahr-Hess; Matteo M. Bonsanto; Robert Huber; Heinz Handels; Ralf Brinkmann

    Demarcation of brain and tumor tissue with optical coherence tomography using prior neural networks

    In: Optical Coherence Imaging Techniques and Imaging in Scattering Media V. European Conferences on Biomedical Optics (ECBO-2023), June 25-30, Munich, Germany, Proceedings of SPIE, Vol. 12632, SPIE, 8/2023.

  9. René Pallenberg; Marja Fleitmann; Andreas Martin Stroth; Jan Gerlach; Alexander Fürschke; Jörg Barkhausen; Arpad Bischof; Heinz Handels

    Random Forest and Gradient Boosted Trees for Patient Individualized Contrast Agent Dose Reduction in CT Angiography

    In: Studies in health technology and informatics, Vol. 302, Pages 952-956, IOS Press, 5/2023.

  10. Alexandra I. Korda; Christina Andreou; Mihai Avram; M. Frisman; M. Aliqadri; A. Riecher-Rössler; Heinz Handels; Thomas Martinetz; Stefan Borgwardt

    Chaos analysis of the cortical boundary for the recognition of psychosis

    In: Journal of Psychiatry and Neuroscience (JPN), Vol. 48, No. 2, Pages E135-E142, Canadian Science Publishing, 4/2023.

Year

More options