Not finding it? Sign in to also search OpenAlex live.
-
Cross-comparison of state of the art neuromorphological simulators on modern CPUs and GPUs using the Brain Scaffold Builder2022 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Parallel Computing and Optimization Techniques Open access
Robin De Schepper, Nora Abi Akar, Thorsten Hater, B. F. B. Huisman, Egidio Ugo D'Angelo, Abigail Morrison, +1 more
2citations -
Temporally coherent cardiac motion tracking from cine MRI: Traditional registration method and modern CNN method2020 Medical Physics article Computer Science Medical Image Segmentation Techniques Open access cited by 1 patent
Mengyun Qiao, Yuanyuan Wang, Yi Guo, Lu Huang, Liming Xia, Qian Tao
23citations -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
0citations -
Perspectives-Observer-Transparency – A Novel Paradigm for Modelling the Human in Human-To-Anything Interaction Based on a Structured Review of the Human Digital Twin2024 Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics conference-paper Computer Science Psychiatry, Mental Health, Neuroscience
Nils Mandischer, Alexander Atanasyan, Michael Schluse, Jürgen Roßmann, Lars Mikelsons
1citations -
Perspectives-Observer-Transparency -- A Novel Paradigm for Modelling the Human in Human-To-Anything Interaction Based on a Structured Review of the Human Digital Twin2024 arXiv (Cornell University) preprint Computer Science Psychiatry, Mental Health, Neuroscience Open access
Nils Mandischer, Alexander Atanasyan, Michael Schluse, Jürgen Roßmann, Lars Mikelsons
0citations -
First Experiences in Performance Benchmarking with the New SPEChpc 2021 Suites2022 IEEE International Symposium on Cluster, Cloud and Internet Computing (CCGrid) conference-paper Computer Science Parallel Computing and Optimization Techniques
Holger Brunst, Sunita Chandrasekaran, Florina M. Ciorba, Nick Hagerty, Robert Henschel, Guido Juckeland, +4 more
19citations -
Prospective Evaluation of Structure-Based Simulations Reveal Their Ability to Predict the Impact of Kinase Mutations on Inhibitor Binding2025 The Journal of Physical Chemistry B article Computer Science Computational Drug Discovery Methods Open access
Sukrit Singh, Vytautas Gapsys, Matteo Aldeghi, David Schaller, Aziz M. Rangwala, Jessica B. White, +10 more
14citations -
CoNeS: Conditional neural fields with shift modulation for multi-sequence MRI translation2024 The Journal of Machine Learning for Biomedical Imaging article Computer Science Generative Adversarial Networks and Image Synthesis Open access
Yunjie Chen, Marius Staring, Olaf M. Neve, Stephan R. Romeijn, Erik Frans Hensen, Berit M. Verbist, +2 more
6citations -
Prospective evaluation of structure-based simulations reveal their ability to predict the impact of kinase mutations on inhibitor binding2024 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Computational Drug Discovery Methods Open access
Sukrit Singh, Vytautas Gapsys, Matteo Aldeghi, David Schaller, Aziz M. Rangwala, Jessica B. White, +10 more
3citations -
First Experiences in Performance Benchmarking with the New SPEChpc 2021 Suites2022 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access
Holger Brunst, Sunita Chandrasekaran, Florina M. Ciorba, Nick Hagerty, Robert Henschel, Guido Juckeland, +4 more
2citations -
First Experiences in Performance Benchmarking with the New SPEChpc 2021 Suites - Measurement Data2021 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Parallel Computing and Optimization Techniques Open access
Holger Brunst, Sunita Chandrasekaran, Florina M. Ciorba, Nick Hagerty, Robert Henschel, Guido Juckeland, +3 more
1citations