E-LIB Suche - Ergebnisse für: Volk, Matthias

1

SAFEST: Fault Tree Analysis Via Probabilistic Model Checkin:

, In: 2024 Annual Reliability and Maintainability Symposium (RAMS),

Volk, Matthias ; Sher, Falak ; Katoen, Joost-Pieter. - p. 1-7 , 2024

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

2

Neurofilaments and progranulin are related to atrophy in fr..:

Hüper, Lea ; Steinacker, Petra ; Polyakova, Maryna...
Alzheimer's & Dementia. , 2024

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

3

Development and Validation of an Examination Protocol for A..:

Quadflieg, Ina ; Ordobazari, Jasmin ; Lüpke, Matthias...
Animals. 14 (2024) 9 - p. 1338 , 2024

Link: https://doi.org/10.3390/..

4

Explaining the Business-Technological Age of Legacy Informa..:

Rosenkranz, Sebastian ; Staegemann, Daniel ; Volk, Matthias.
IEEE Access. 12 (2024) - p. 84579-84611 , 2024

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

5

CTMCs with Imprecisely Timed Observations:

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

Badings, Thom ; Volk, Matthias ; Junges, Sebastian.. - p. 258-278 , 2024

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

6

Combining antibiotic with anti-TLR2/TLR13 therapy prevents ..:

Dyckhoff-Shen, Susanne ; Masouris, Ilias ; Islam, Heba...
JCI Insight. , 2024

Link: https://doi.org/10.1172/..

7

Parameter synthesis for Markov models: covering the paramet..:

Junges, Sebastian ; Ábrahám, Erika ; Hensel, Christian...
Formal Methods in System Design. 62 (2024) 1-3 - p. 181-259 , 2024

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

8

Effects of a single phosphate-enriched test meal on inflamm..:

Nier, Anika ; Ulrich, Christof ; Volk, Christin...
European Journal of Nutrition. 63 (2024) 3 - p. 797-807 , 2024

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

9

CTMCs with Imprecisely Timed Observations:

Badings, Thom ; Volk, Matthias ; Junges, Sebastian..
http://arxiv.org/abs/2401.06574. , 2024

Link: http://arxiv.org/abs/240..

10

The human affectome:

Schiller, Daniela ; Yu, Alessandra N. C ; Alia-Klein, Nelly...
Schiller , D , Yu , A N C , Alia-Klein , N , Becker , S , Cromwell , H C , Dolcos , F , Eslinger , P J , Frewen , P , Kemp , A H , Pace-Schott , E F , Raber , J , Silton , R L , Stefanova , E , Williams , J H G , Abe , N , Aghajani , M , Albrecht , F , Alexander , R , Anders , S , Aragón , O R , Arias , J A , Arzy , S , Aue , T , Baez , S , Balconi , M , Ballarini , T , Bannister , S , Banta , M C , Barrett , K C , Belzung , C , Bensafi , M , Booij , L , Bookwala , J , Boulanger-Bertolus , J , Boutros , S W , Bräscher , A-K , Bruno , A , Busatto , G , Bylsma , L M , Caldwell-Harris , C , Chan , R C K , Cherbuin , N , Chiarella , J , Cipresso , P , Critchley , H , Croote , D E , Demaree , H A , Denson , T F , Depue , B , Derntl , B , Dickson , J M , Dolcos , S , Drach-Zahavy , A , Dubljević , O , Eerola , T , Ellingsen , D M , Fairfield , B , Ferdenzi , C , Friedman , B H , Fu , C H Y , Gatt , J M , de Gelder , B , Gendolla , G H E , Gilam , G , Goldblatt , H.... , 2024

Link: https://researchers.mq.e..

11