E-LIB Suche - Ergebnisse für: Schubert, Tom

1

COVID-19 in Female and Male Athletes: Symptoms, Clinical Fi..:

Widmann, Manuel ; Gaidai, Roman ; Schubert, Isabel...
Sports Medicine. 54 (2024) 4 - p. 1033-1049 , 2024

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

2

Aqueous HF-(HCl)-Cl2 Mixtures for Saw-Damage Removal and Sp..:

Stapf, André ; Zomack, Niklas ; Bellmann, Carmen...
IEEE Journal of Photovoltaics. 14 (2024) 3 - p. 414-421 , 2024

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

3

A Reinforcement Learning Environment for Directed Quantum C..:

Kölle, Michael ; Schubert, Tom ; Altmann, Philipp...
http://arxiv.org/abs/2401.07054. , 2024

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

4

COVID-19 in Female and Male Athletes : Symptoms, Clinical F..:

Widmann, Manuel ; Gaidai, Roman ; Schubert, Isabel...
https://opus.hs-furtwangen.de/frontdoor/index/index/docId/10296. , 2024

Link: https://opus.hs-furtwang..

5

Formal verification's greatest bloopers: the danger of fals..:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 279-307 , 2023

Link: https://doi.org/10.1016/..

6

Dealing with complexity:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 309-350 , 2023

Link: https://doi.org/10.1016/..

7

Effective FPV for verification:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 159-197 , 2023

Link: https://doi.org/10.1016/..

8

Effective formal property verification for design exercise:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 123-157 , 2023

Link: https://doi.org/10.1016/..

9

Formal verification: from dreams to reality:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 1-23 , 2023

Link: https://doi.org/10.1016/..

10

Basic formal verification algorithms:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 25-49 , 2023

Link: https://doi.org/10.1016/..

11

Orchestral Music (19th-20th Centuries) - BEETHOVEN, L. van ..

Naxos Music Library

Beethoven, Ludwig van ; Anonymous ; Orff, Carl... , 2023

Link: https://suub.naxosmusicl..

12

A New Osteogenic Membrane to Enhance Bone Healing: At the C..:

Manon, Julie ; Evrard, Robin ; Fievé, Lies...
Bioengineering. 10 (2023) 2 - p. 143 , 2023

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

13

Formal equivalence verification:

, In: Formal Verification,

Seligman, Erik ; Schubert, Tom ; Kumar, M V Achutha Kiran - p. 239-277 , 2023

Link: https://doi.org/10.1016/..

14

Semi-automated serum steroid profiling with tandem mass spe..:

Rakete, Sophie ; Schubert, Tom ; Vogeser, Michael
Journal of Mass Spectrometry and Advances in the Clinical Lab. 27 (2023) - p. 40-48 , 2023

Link: https://doi.org/10.1016/..

15

The Polycomb repressive complex 2 deposits H3K27me3 and rep..:

Hisanaga, Tetsuya ; Romani, Facundo ; Wu, Shuangyang...
Current Biology. 33 (2023) 20 - p. 4367-4380.e9 , 2023

Link: https://doi.org/10.1016/..