Zobrazeno 1 - 10 of 1 101 pro vyhledávání: '"Weissenbacher, G."'
1
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
2
Program analysis with interpolants
Autor: Weissenbacher, G, Weissenbacher, Georg
This dissertation discusses novel techniques for interpolation-based software model checking, an approximate method which uses Craig interpolation to compute invariants of programs. Our work addresses two aspects of program analyses based on model ch
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1064::d55e083547fe324c555628f5aa4ce2bf
https://doi.org/10.1007/11817963_16
Zobrazit plný text záznamu
4
Akademický článek
Atom cavity encoding for NP-complete problems.
Autor: Ye, Meng1,2 (AUTHOR), Li, Xiaopeng1,2,3,4,5 (AUTHOR) xiaopeng_li@fudan.edu.cn
Publikováno v: Quantum Frontiers. 11/28/2024, Vol. 3 Issue 1, p1-13. 13p.
Zobrazit plný text záznamu
5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
6
Akademický článek
Mutation testing with hyperproperties.
Autor: Fellner A; AIT Austrian Institute of Technology, Seibersdorf, Austria., Tabaei Befrouei M; TU Wien, Vienna, Austria., Weissenbacher G; TU Wien, Vienna, Austria.
Publikováno v: Software and systems modeling [Softw Syst Model] 2021; Vol. 20 (2), pp. 405-427. Date of Electronic Publication: 2021 Apr 01.
Zobrazit plný text záznamu
7
Akademický článek
Decreased Circulating Gonadotropin-Releasing Hormone Associated with Keratoconus.
Autor: Escandon, Paulina1,2 (AUTHOR) pescandonb@gmail.com, Choi, Alexander J.1,2 (AUTHOR) alexander.choi@unthsc.edu, Mabry, Steve1,2 (AUTHOR) steve.mabry@unthsc.edu, Nicholas, Sarah E.1,2 (AUTHOR) sarah.nicholas@unthsc.edu, Cunningham, Rebecca L.2 (AUTHOR), Redden, Liam3 (AUTHOR) lm766098@dal.ca, Murphy, David A.3 (AUTHOR) dave.am999@gmail.com, Riaz, Kamran M.3 (AUTHOR) kamran-riaz@dmei.org, McKay, Tina B.4 (AUTHOR) tmckay@mgh.harvard.edu, Karamichos, Dimitrios1,2,5 (AUTHOR) tmckay@mgh.harvard.edu
Publikováno v: Cells (2073-4409). Oct2024, Vol. 13 Issue 20, p1704. 18p.
Zobrazit plný text záznamu
10
Gender identity reversal in an adolescent with mixed gonadal dysgenesis
Autor: Marberger M, Weissenbacher G, Edith Schober, Herwig Frisch, Robert Birnbacher
Publikováno v: Journal of pediatric endocrinologymetabolism : JPEM. 12(5)
We describe a patient who was assigned female at birth because of genital ambiguity without performing further diagnostic procedures and presented at the age of 13-1/2 years because of her strong desire to change her legal sex. Karyotype was 46,XY; c
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a4bc13860130c82545f059b1eec9c36b
https://pubmed.ncbi.nlm.nih.gov/10703543
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje