E-LIB Suche - Ergebnisse für: Mohr, Stefanie

1

Learning Explainable and Better Performing Representations ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bork, Alexander ; Chakraborty, Debraj ; Grover, Kush.. - p. 299-319 , 2024

Link: https://doi.org/10.1007/..

2

Predicting stream water temperature with artificial neural ..:

Drainas, Konstantina ; Kaule, Lisa ; Mohr, Stefanie...
Hydrological Processes. 37 (2023) 10 - p. , 2023

Link: https://doi.org/10.1002/..

3

Syntactic vs Semantic Linear Abstraction and Refinement of ..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Chau, Calvin ; Křetínský, Jan ; Mohr, Stefanie - p. 401-421 , 2023

Link: https://doi.org/10.1007/..

4

Stochastic games with lexicographic objectives:

Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Mohr, Stefanie..
Formal Methods in System Design. , 2023

Link: https://doi.org/10.1007/..

5

Gaussian-Based Runtime Detection of Out-of-distribution Inp..:

, In: Runtime Verification; Lecture Notes in Computer Science,

Hashemi, Vahid ; Křetínský, Jan ; Mohr, Stefanie. - p. 254-264 , 2021

Link: https://doi.org/10.1007/..

6

Assessment of Neural Networks for Stream-Water-Temperature ..:

, In: 2021 20th IEEE International Conference on Machine Learning and Applications (ICMLA),

Mohr, Stefanie ; Drainas, Konstantina ; Geist, Jurgen - p. 891-896 , 2021

Link: https://doi.org/10.1109/..

7

DeepAbstract: Neural Network Abstraction for Accelerating V..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Ashok, Pranav ; Hashemi, Vahid ; Křetínský, Jan. - p. 92-107 , 2020

Link: https://doi.org/10.1007/..

8

Intestinal response to dietary manganese depletion in Droso..:

Vásquez-Procopio, Johana ; Osorio, Beatriz ; Cortés-Martínez, Leticia...
Metallomics. 12 (2019) 2 - p. 218-240 , 2019

Link: https://doi.org/10.1039/..

9

Genomic Screening with RNAi: Results and Challenges:

Mohr, Stephanie ; Bakal, Chris ; Perrimon, Norbert
Annual Review of Biochemistry. 79 (2010) 1 - p. 37-64 , 2010

Link: https://doi.org/10.1146/..

10

Die Weberischen

ein Bänkelgesang aus dem Hause Schikaneder. Buch: Felix Mi...

Mohr, Stephanie ; Mitterer, Felix ; Mozart, Wolfgang Amadeus. , P 2008

Copies: Zentrale/Mediathek: pg 7169

11

Approaching a complete repository of sequence-verified prot..:

Hu, Yanhui ; Rolfs, Andreas ; Bhullar, Bhupinder...
Genome Research. 17 (2007) 4 - p. 536-543 , 2007

Link: https://doi.org/10.1101/..

12

Tick hemocytes have a pleiotropic role in microbial infecti..:

Rolandelli, Agustin ; Laukaitis-Yousey, Hanna J. ; Bogale, Haikel N....
Nature Communications. 15 (2024) 1 - p. , 2024

Link: https://doi.org/10.1038/..

13

Genetic manipulation of anIxodes scapulariscell line:

Singh, Nisha ; Rolandelli, Agustin ; O'Neal, Anya J....
mBio. 15 (2024) 3 - p. , 2024

Link: https://doi.org/10.1128/..

14

Continuous muscle, glial, epithelial, neuronal, and hemocyt..:

Stitzinger, Shane ; Raghuvanshi, Shiva ; Hu, Yanhui...
eLife. 12 (2023) - p. , 2023

Link: https://doi.org/10.7554/..

15

Finding information about uncharacterized Drosophila melano..:

Mohr, Stephanie E ; Kim, Ah-Ram ; Hu, Yanhui..
GENETICS. 225 (2023) 4 - p. , 2023

Link: https://doi.org/10.1093/..