Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 33 matches
- 2024
- Sebastian Johannes Müller, Eya Khadhraoui, Marielle Sophie Ernst, Veit Rohde, Bawarjan Schatlo, Vesna Malinova:
Differentiation of multiple brain metastases and glioblastoma with multiple foci using MRI criteria. BMC Medical Imaging 24(1): 3 (2024) - Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
Querying Fault and Attack Trees: Property Specification on a Water Network. CoRR abs/2401.16015 (2024) - 2023
- Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
sfPFL: A Probabilistic Logic for Fault Trees. FM 2023: 199-221 - Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga:
Solving Queries for Boolean Fault Tree Logic via Quantified SAT. FTSCS 2023: 48-59 - Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
sfATM: A Logic for Quantitative Security Properties on Attack Trees. SEFM 2023: 205-225 - Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
PFL: a Probabilistic Logic for Fault Trees. CoRR abs/2303.17314 (2023) - Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
ATM: a Logic for Quantitative Security Properties on Attack Trees. CoRR abs/2309.09231 (2023) - 2022
- Sebastian Johannes Müller, Eya Khadhraoui, Marielle Sophie Ernst, Christian Heiner Riedel:
Prediction of midline shift after media ischemia using computed tomography perfusion. BMC Medical Imaging 22(1): 42 (2022) - Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga:
BFL: a Logic to Reason about Fault Trees. DSN 2022: 441-452 - Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga:
BFL: a Logic to Reason about Fault Trees. CoRR abs/2208.13424 (2022) - 2021
- Sebastian Johannes Müller, Eya Khadhraoui, Nicole E. Neef, Christian Heiner Riedel, Marielle Sophie Ernst:
Differentiation of brain metastases from small and non-small lung cancers using apparent diffusion coefficient (ADC) maps. BMC Medical Imaging 21(1): 70 (2021) - Cristina Marie Morales Mojica, Jose D. Velazco Garcia, Eleftherios P. Pappas, Theodosios Birbilis, Aaron T. Becker, Ernst L. Leiss, Andrew G. Webb, Ioannis Seimenis, Nikolaos V. Tsekos:
A Holographic Augmented Reality Interface for Visualizing of MRI Data and Planning of Neurosurgical Procedures. J. Digit. Imaging 34(4): 1014-1025 (2021) - Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn:
The Marriage Between Safety and Cybersecurity: Still Practicing. SPIN 2021: 3-21 - Lukas Fisch, Jan Ernsting, Nils R. Winter, Vincent Holstein, Ramona Leenings, Marie Beisemann, Kelvin Sarink, Daniel Emden, Nils Opel, Ronny Redlich, Jonathan Repple, Dominik Grotegerd, Susanne Meinert, Niklas Wulms, Heike Minnerup, Jochen G. Hirsch, Thoralf Niendorf, Beate Endemann, Fabian Bamberg, Thomas Kröncke, Annette Peters, Robin Bülow, Henry Völzke, Oyunbileg von Stackelberg, Ramona Felizitas Sowade, Lale Umutlu, Börge Schmidt, Svenja Caspers, Harald Kugel, Bernhard T. Baune, Tilo Kircher, Benjamin Risse, Udo Dannlowski, Klaus Berger, Tim Hahn:
Predicting brain-age from raw T1-weighted Magnetic Resonance Imaging data using 3D Convolutional Neural Networks. CoRR abs/2103.11695 (2021) - Tim Hahn, Jan Ernsting, Nils R. Winter, Vincent Holstein, Ramona Leenings, Marie Beisemann, Lukas Fisch, Kelvin Sarink, Daniel Emden, Nils Opel, Ronny Redlich, Jonathan Repple, Dominik Grotegerd, Susanne Meinert, Jochen G. Hirsch, Thoralf Niendorf, Beate Endemann, Fabian Bamberg, Thomas Kröncke, Robin Bülow, Henry Völzke, Oyunbileg von Stackelberg, Ramona Felizitas Sowade, Lale Umutlu, Börge Schmidt, Svenja Caspers, Harald Kugel, Tilo Kircher, Benjamin Risse, Christian Gaser, James H. Cole, Udo Dannlowski, Klaus Berger:
An Uncertainty-Aware, Shareable and Transparent Neural Network Architecture for Brain-Age Modeling. CoRR abs/2107.07977 (2021) - Tim Hahn, Nils R. Winter, Jan Ernsting, Marius Gruber, Marco J. Mauritz, Lukas Fisch, Ramona Leenings, Kelvin Sarink, Julian Blanke, Vincent Holstein, Daniel Emden, Marie Beisemann, Nils Opel, Dominik Grotegerd, Susanne Meinert, Walter Heindel, Stephanie H. Witt, Marcella Rietschel, Markus M. Nöthen, Andreas J. Forstner, Tilo Kircher, Igor Nenadic, Andreas Jansen, Bertram Müller-Myhsok, Till F. M. Andlauer, Martin Walter, Martijn P. van den Heuvel, Hamidreza Jamalabadi, Udo Dannlowski, Jonathan Repple:
Genetic, Individual, and Familial Risk Correlates of Brain Network Controllability in Major Depressive Disorder. CoRR abs/2107.10169 (2021) - 2020
- Carolin E. M. Jakob, Melanie Stecher, Sandra Fuhrmann, Sebastian Wingen-Heimann, Stephanie Heinen, Gabriele Anton, Michael Behnke, Uta Behrends, Martin Boeker, Stefanie Castell, Hans Demski, Maximilian Diefenbach, Jane C. Falgenhauer, Moritz Fritzenwanker, Petra Gastmeier, Markus Gerhard, Stephan Glöckner, Mira Golubovic, Barbara Gunsenheimer Bartmeyer, Josef Ingenerf, Rolf Kaiser, Marie-Luise Körner, Wibke Loag, Alice Mchardy, Ernst Molitor, Ulrich Nübel, Michael Pritsch, Michael Ramharter, Sigbert R. Rieg, Jan Rupp, Daniela Schindler, Dominik Schwudke, Christoph Spinner, Benjamin Stottmeier, Maria J. G. T. Vehreschild, Matthias Willmann, Jörg Janne Vehreschild:
Needs for an Integration of Specific Data Sources and Items - First Insights of a National Survey Within the German Center for Infection Research. GMDS 2020: 237-244 - 2019
- Marieke Rohde, Kenichi Narioka, Jochen J. Steil, Lina K. Klein, Marc O. Ernst:
Goal-related feedback guides motor exploration and redundancy resolution in human motor skill acquisition. PLoS Comput. Biol. 15(3) (2019) - Cristina Marie Morales Mojica, Nikolaos V. Tsekos, Jose Daniel Velazco Garcia, Haoran Zhao, Ioannis Seimenis, Ernst L. Leiss, Dipan J. Shah, Andrew G. Webb, Aaron T. Becker, Panagiotis Tsiamyrtzis:
Interactive and Immersive Image-Guided Control of Interventional Manipulators with a Prototype Holographic Interface. BIBE 2019: 1002-1005 - Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich:
VerifyThis - Verification Competition with a Human Factor. TACAS (3) 2019: 176-195 - Rodrigo Silva, Christophe Couturier, Jean-Marie Bonnin, Thierry Ernst:
A Heuristic Decision Maker Algorithm for Opportunistic Networking in C-ITS. VEHITS 2019: 578-585 - 2018
- Cristina Marie Morales Mojica, Jose D. Velazco Garcia, Nikhil V. Navkar, Shidin Balakrishnan, Julien Abinahed, Walid El Ansari, Khalid Al-Rumaihi, Adham Darweesh, Abdulla Al-Ansari, Mohamed Gharib, Mansour A. Karkoub, Ernst L. Leiss, Ioannis Seimenis, Nikolaos V. Tsekos:
A Prototype Holographic Augmented Reality Interface for Image-Guided Prostate Cancer Interventions. VCBM@MICCAI 2018: 17-21 - 2017
- Marie Ernst, Gentiane Haesbroeck:
Comparison of local outlier detection techniques in spatial multivariate data. Data Min. Knowl. Discov. 31(2): 371-399 (2017) - 2016
- Nienke B. Debats, Marieke Rohde, Catharina Glowania, Anna Oppenborn, Marc O. Ernst:
The Influence of Motor Task on Tactile Suppression During Action. EuroHaptics (1) 2016: 158-167 - Thomas Waltemate, Irene Senna, Felix Hülsmann, Marieke Rohde, Stefan Kopp, Marc O. Ernst, Mario Botsch:
The impact of latency on perceptual judgments and motor performance in closed-loop interaction in virtual reality. VRST 2016: 27-35 - Francesco Ciompi, Kaman Chung, Sarah J. van Riel, Arnaud Arindra Adiyoso Setio, Paul K. Gerke, Colin Jacobs, Ernst Th. Scholten, Cornelia Schaefer-Prokop, Mathilde M. W. Wille, Alfonso Marchiano, Ugo Pastorino, Mathias Prokop, Bram van Ginneken:
Towards automatic pulmonary nodule management in lung cancer screening with deep learning. CoRR abs/1610.09157 (2016) - 2015
- Francesco Ciompi, Colin Jacobs, Ernst Th. Scholten, Mathilde M. W. Wille, Pim A. de Jong, Mathias Prokop, Bram van Ginneken:
Bag-of-Frequencies: A Descriptor of Pulmonary Nodules in Computed Tomography Images. IEEE Trans. Medical Imaging 34(4): 962-973 (2015) - Francesco Ciompi, Colin Jacobs, Ernst Th. Scholten, Sarah J. van Riel, Mathilde M. W. Wille, Mathias Prokop, Bram van Ginneken:
Automatic detection of spiculation of pulmonary nodules in computed tomography images. Medical Imaging: Computer-Aided Diagnosis 2015: 941409 - Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang:
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. SETTA 2015: 35-51 - 2013
- Marc J. Buehner, David A. Lagnado, Christos Bechlivanidis, Marc O. Ernst, Marieke Rohde, Michael Young:
Time and Causality: Mutual Constraints; Insights from Event and Time Perception, Motor Control, and Gaming. CogSci 2013
skipping 3 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-03-29 08:33 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint