Zobrazeno 1 - 10
of 2 153
pro vyhledávání: '"Philipp, G."'
Autor:
Haselwarter, Philipp G., Li, Kwing Hei, Aguirre, Alejandro, Gregersen, Simon Oddershede, Tassarotti, Joseph, Birkedal, Lars
Properties such as provable security and correctness for randomized programs are naturally expressed relationally as approximate equivalences. As a result, a number of relational program logics have been developed to reason about such approximate equ
Externí odkaz:
http://arxiv.org/abs/2407.14107
Autor:
Haselwarter, Philipp G., Li, Kwing Hei, de Medeiros, Markus, Gregersen, Simon Oddershede, Aguirre, Alejandro, Tassarotti, Joseph, Birkedal, Lars
We present Tachis, a higher-order separation logic to reason about the expected cost of probabilistic programs. Inspired by the uses of time credits for reasoning about the running time of deterministic programs, we introduce a novel notion of probab
Externí odkaz:
http://arxiv.org/abs/2405.20083
Autor:
Aguirre, Alejandro, Haselwarter, Philipp G., de Medeiros, Markus, Li, Kwing Hei, Gregersen, Simon Oddershede, Tassarotti, Joseph, Birkedal, Lars
Probabilistic programs often trade accuracy for efficiency, and are thus only approximately correct. It is important to obtain precise error bounds for these approximations, but existing approaches rely on simplifications that make the error bounds e
Externí odkaz:
http://arxiv.org/abs/2404.14223
Autor:
Gregersen, Simon Oddershede, Aguirre, Alejandro, Haselwarter, Philipp G., Tassarotti, Joseph, Birkedal, Lars
Almost-sure termination is an important correctness property for probabilistic programs, and a number of program logics have been developed for establishing it. However, these logics have mostly been developed for first-order programs written in lang
Externí odkaz:
http://arxiv.org/abs/2404.08494
Autor:
Grützmacher, Philipp G., Cutini, Michele, Marquis, Edoardo, Ripoll, Manel Rodríguez, Riedl, Helmut, Kutrowatz, Philip, Bug, Stefan, Hsu, Chia-Jui, Bernardi, Johannes, Righi, M. Clelia, Gachot, Carsten, Erdemir, Ali
Transition metal dichalcogenide (TMD) coatings have attracted enormous scientific and industrial interest due to their outstanding tribological behavior. The paradigmatic example is MoS2, even though selenides and tellurides have demonstrated superio
Externí odkaz:
http://arxiv.org/abs/2304.14311
Autor:
Gregersen, Simon Oddershede, Aguirre, Alejandro, Haselwarter, Philipp G., Tassarotti, Joseph, Birkedal, Lars
Probabilistic couplings are the foundation for many probabilistic relational program logics and arise when relating random sampling statements across two programs. In relational program logics, this manifests as dedicated coupling rules that, e.g., s
Externí odkaz:
http://arxiv.org/abs/2301.10061
Autor:
Marie Lößlein, Sarah, Merz, Rolf, Rodríguez-Martínez, Yerila, Schäfer, Florian, Grützmacher, Philipp G., Horwat, David, Kopnarski, Michael, Mücklich, Frank
Publikováno v:
In Journal of Colloid And Interface Science 15 September 2024 670:658-675
Autor:
Andy Brendler, Max Schneider, Immanuel G. Elbau, Rui Sun, Taechawidd Nantawisarakul, Dorothee Pöhlchen, Tanja Brückl, BeCOME Working Group, Michael Czisch, Philipp G. Sämann, Michael D. Lee, Victor I. Spoormaker
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-11 (2024)
Abstract Major depressive disorder (MDD) is a devastating and heterogenous disorder for which there are no approved biomarkers in clinical practice. We recently identified anticipatory hypo-arousal indexed by pupil responses as a candidate mechanism
Externí odkaz:
https://doaj.org/article/bc3d2bcc23344e8e9b6884656ee4aeab
Autor:
Vladimir Belov, Tracy Erwin-Grabner, Moji Aghajani, Andre Aleman, Alyssa R. Amod, Zeynep Basgoze, Francesco Benedetti, Bianca Besteher, Robin Bülow, Christopher R. K. Ching, Colm G. Connolly, Kathryn Cullen, Christopher G. Davey, Danai Dima, Annemiek Dols, Jennifer W. Evans, Cynthia H. Y. Fu, Ali Saffet Gonul, Ian H. Gotlib, Hans J. Grabe, Nynke Groenewold, J Paul Hamilton, Ben J. Harrison, Tiffany C. Ho, Benson Mwangi, Natalia Jaworska, Neda Jahanshad, Bonnie Klimes-Dougan, Sheri-Michelle Koopowitz, Thomas Lancaster, Meng Li, David E. J. Linden, Frank P. MacMaster, David M. A. Mehler, Elisa Melloni, Bryon A. Mueller, Amar Ojha, Mardien L. Oudega, Brenda W. J. H. Penninx, Sara Poletti, Edith Pomarol-Clotet, Maria J. Portella, Elena Pozzi, Liesbeth Reneman, Matthew D. Sacchet, Philipp G. Sämann, Anouk Schrantee, Kang Sim, Jair C. Soares, Dan J. Stein, Sophia I. Thomopoulos, Aslihan Uyar-Demir, Nic J. A. van der Wee, Steven J. A. van der Werff, Henry Völzke, Sarah Whittle, Katharina Wittfeld, Margaret J. Wright, Mon-Ju Wu, Tony T. Yang, Carlos Zarate, Dick J. Veltman, Lianne Schmaal, Paul M. Thompson, Roberto Goya-Maldonado, the ENIGMA Major Depressive Disorder working group
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-18 (2024)
Abstract Machine learning (ML) techniques have gained popularity in the neuroimaging field due to their potential for classifying neuropsychiatric disorders. However, the diagnostic predictive power of the existing algorithms has been limited by smal
Externí odkaz:
https://doaj.org/article/da78bdb629a3452faf57ce1549e6ab7a