E-LIB Suche - Ergebnisse für: Melcer, Daniel

1

ProofViz: An Interactive Visual Proof Explorer:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,

Melcer, Daniel ; Chang, Stephen - p. 116-135 , 2021

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

2

Verification-Guided Tree Search:

, In: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems,

Velasquez, Alvaro ; Melcer, Daniel - p. 2026-2028 , 2020

Link: https://dl.acm.org/doi/1..

3

Vasa previa in singleton pregnancies: diagnosis and clinica..:

Oyelese, Yinka ; Javinani, Ali ; Gudanowski, Brittany...
American Journal of Obstetrics and Gynecology. , 2024

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

4

Timing of birth and adverse pregnancy outcomes in cases of ..:

Mitchell, Samantha J. ; Ngo, Georgia ; Maurel, Kimberly A....
American Journal of Obstetrics and Gynecology. 227 (2022) 2 - p. 173-181.e24 , 2022

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

5

Identification of Modal Frequencies From the Pre-Stressed C..:

Melcer, Jozef ; Kortis, Jan ; Daniel, Lubos.
Communications - Scientific letters of the University of Zilina. 20 (2018) 4 - p. 63-68 , 2018

Link: https://doi.org/10.26552..

6

Monochorionic diamniotic in vitro fertilization twins have ..:

Ben-Ami, Ido ; Molina, Francisca Sonia ; Battino, Shlomo...
Fertility and Sterility. 105 (2016) 3 - p. 729-733 , 2016

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

7

Resistance of glass window subjected to high velocity soft ..:

Figuli, Lucia ; Erdelyiová, Romana ; Papán, Daniel...
MATEC Web of Conferences. 313 (2020) - p. 00027 , 2020

Link: https://doi.org/10.1051/..

8

Analysis of static and dynamic parameters of the wooden win..:

Papánová, Zuzana ; Papán, Daniel ; Melcer, J....
MATEC Web of Conferences. 313 (2020) - p. 00028 , 2020

Link: https://doi.org/10.1051/..

9

Optimal adjustment of FE model of concrete slab exposed to ..:

Jindra, Daniel ; Hradil, Petr ; Kala, Jiří...
MATEC Web of Conferences. 313 (2020) - p. 00024 , 2020

Link: https://doi.org/10.1051/..

10

Experimental investigation of the seismic effects during bl..:

Papán, Daniel ; Papánová, Zuzana ; Melcer, J....
MATEC Web of Conferences. 313 (2020) - p. 00019 , 2020

Link: https://doi.org/10.1051/..

11

Estimation of natural frequencies of the laboratory truss s..:

Kortiš, Ján ; Maliar, Lukáš ; Daniel, Ľuboš...
MATEC Web of Conferences. 313 (2020) - p. 00003 , 2020

Link: https://doi.org/10.1051/..

12

Dynamic and static tests of the safety foil for windows for..:

Papán, Daniel ; Papánová, Zuzana ; Figuli, Lucia...
MATEC Web of Conferences. 313 (2020) - p. 00029 , 2020

Link: https://doi.org/10.1051/..

13

Timing of birth and adverse pregnancy outcomes in cases of ..:

Mitchell, Samantha J ; Ngo, Georgia ; Maurel, Kimberly...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ajog.2022.03.006. , 2022

Link: https://uca.hal.science/..

14

Timing of birth and adverse pregnancy outcomes in cases of ..:

Mitchell, Samantha J ; Ngo, Georgia ; Maurel, Kimberly...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ajog.2022.03.006. , 2022

Link: https://uca.hal.science/..

15

Timing of birth and adverse pregnancy outcomes in cases of ..:

Mitchell, Samantha J ; Ngo, Georgia ; Maurel, Kimberly...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ajog.2022.03.006. , 2022

Link: https://uca.hal.science/..