Skip to main content Skip to main navigation

Publications

Displaying results 1431 to 1440 of 15039.
  1. Luca Bortolussi; Thilo Krüger; Thorsten Lehr; Verena Wolf

    Rule-based modelling and simulation of drug-administration policies

    In: Nicht bekannt (Hrsg.). MSM '15: Proceedings of the Symposium on Modeling and Simulation in Medicine. Pages 53-60, ISBN 978-1-5108-0102-8, ACM, 4/2015.

  2. Christel Baier; Joost-Pieter Katoen; Holger Hermanns; Verena Wolf

    Comparative branching-time semantics for Markov chains

    In: Information and Computation (Inform. Comput.), Vol. 200, No. 2, Pages 149-214, Elsevier, Amsterdam, 8/2005.

  3. Tuǧrul Dayar; Holger Hermanns; David Spieler; Verena Wolf

    Bounding the equilibrium distribution of Markov population models

    In: Numerical Linear Algebra with Applications, Vol. 18, No. 6, Pages 931-946, John Wiley & Sons, Ltd, England, 10/2011.

  4. Frédéric Didier; Thomas A. Henzinger; Maria Mateescu; Verena Wolf

    Approximation of event probabilities in noisy cellular processes

    In: Theoretical Computer Science (TCS), Vol. 412, No. 21, Pages 2128-2141, Elsevier, Amsterdam, 5/2011.

  5. Hauke Busch; Werner Sandmann; Verena Wolf

    A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion

    In: Corrado Priami (Hrsg.). Computational Methods in Systems Biology - International Conference, Proceedings. International Conference on Computational Methods in Systems Biology (CMSB-2006), October 18-19, Trento, Italy, Pages 298-311, Lecture Notes in Computer Science (LNCS), Vol. 4210, ISBN 9783540461678, Springer, Berlin, Heidelberg, 10/2006.

  6. Wolfgang Kemmler; Michael Fröhlich; Oliver Ludwig; Christoph Eifler; Simon Von Stengel; Sebastian Willert; Marc Teschler; Anja Weissenfels; Heinz Kleinöder; Florian Micke; Nicolas Wirtz; Christoph Zinner; Andre Filipovic; Bernd Wegener; Joshua Berger; Alexandre Evangelista; Stefano D’Ottavio; Jaskanwal Deep Singh Sara; Amir Lerman; Unai A Perez de Arrilucea Le Floc’h; Abraham Carle-Calo; Angel Guitierrez; Francisco J Amaro-Gahete

    Position statement and updated international guideline for safe and effective whole-body electromyostimulation training-the need for common sense in WB-EMS application

    In: Giuseppe D’Antona (Hrsg.). Frontiers in Physiology, Vol. 14, Page 1174103, Frontiers Media SA, 3/2023.

  7. Yan Liu; Tao Jiang; Rui Li; Lingling Yuan; Marcin Grzegorzek; Chen Li; Xiaoyan Li

    A state-of-the-art review of diffusion model applications for microscopic image and micro-alike image analysis

    In: Frontiers in Medicine, Vol. Volume 12 - 2025, Pages 1551894-1551894, Frontiers Media SA, 7/2025.

  8. Jing Chen; Chen Li; Xiangchen Wu; Ning Xu; Hongzan Sun; Xiaoyan Li; Marcin Grzegorzek; Yudong Yao; Changzhong Li

    Color Correction of Cervical Exfoliated Cell Micrographs Using an Improved CycleGAN Model

    In: Jian Dong; Long Zhang; Tongxing Zheng (Hrsg.). Proceedings of the 3rd International Conference on Internet of Things, Communication and Intelligent Technology. International Conference on Internet of Things, Communication and Intelligent Technology (IoTCIT-2024), June 29 - July 1, Kunming, China, Pages 413-423, Lecture Notes in Electrical Engineering (LNEE), Vol. 1366, ISBN 978-981-96-2770-7, Springer Nature, Singapore, 7/2025.