| Titel: | A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit |
| Undertitel: | Technical Report |
| Forfattere/ophavsroller: | Reinhard, Tobias Timany, Amin Jacobs, Bart |
| Language: | Engelsk |
| Udgivelsesdato: | 7.2020 |
| Titel: | Using Multivariate Generalised Linear Mixed Models for Studying Roots Development |
| Undertitel: | An Example Based on Minirhizotron Observations |
| Forfattere/ophavsroller: | Pelck, Jeanett Snitgaard Labouriau, Rodrigo |
| Language: | Engelsk |
| Sideantal: | 18 |
| Udgivelsesdato: | 11.2020 |
| Titel: | A separation logic to verify termination of busy-waiting for abrupt program exit |
| Forfattere/ophavsroller: | Reinhard, Tobias Timany, Amin Jacobs, Bart |
| Language: | Engelsk |
| Sideantal: | 7 |
| Udgivelsesdato: | 7.2020 |
| Titel: | Formalizing Nakamoto-Style Proof of Stake |
| Forfattere/ophavsroller: | Thomsen, Søren Eller Spitters, Bas |
| Language: | Engelsk |
| Udgivelsesdato: | 23.7.2020 |
| Titel: | A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit |
| Forfattere/ophavsroller: | Reinhard, Tobias Timany, Amin Jacobs, Bart |
| Language: | Udefineret/Ukendt |
| Udgivelsesdato: | 24.7.2020 |
| Titel: | Multivariate Methods for Detection of Rubbery Rot in Storage Apples by Monitoring Volatile Organic Compounds |
| Undertitel: | An Example of Multivariate Generalised Mixed Models |
| Forfattere/ophavsroller: | Pelck, J. S. Holthusen, H. Edelenbos, M. Luca, A. Labouriau, R. |
| Language: | Udefineret/Ukendt |
| Udgivelsesdato: | 23.7.2021 |
| Titel: | Conditional Inference for Multivariate Generalised Linear Mixed Models |
| Forfattere/ophavsroller: | Pelck, Jeanett Snitgaard Labouriau, Rodrigo |
| Language: | Engelsk |
| Sideantal: | 35 |
| Udgivelsesdato: | 26.7.2021 |
| Titel: | Practical I/O-Efficient Multiway Separators |
| Forfattere/ophavsroller: | Svendsen, Svend C. |
| Language: | Engelsk |
| Sideantal: | 19 |
| Udgivelsesdato: | 6.7.2021 |
| Titel: | Multivariate Generalised Linear Mixed Models With Graphical Latent Covariance Structure |
| Forfattere/ophavsroller: | Pelck, Jeanett Snitgaard Labouriau, Rodrigo |
| Language: | Engelsk |
| Sideantal: | 27 |
| Udgivelsesdato: | 2021 |
| Titel: | Automated Feeding and Fermentation Phase Transitions for the Production of Unspecific Peroxygenase by Pichia pastoris |
| Forfattere/ophavsroller: | Hobisch, Markus Kara, Selin |
| Language: | Engelsk |
| Udgivelsesdato: | 30.7.2021 |
| Titel: | Extracting functional programs from Coq, in Coq |
| Forfattere/ophavsroller: | Annenkov, Danil Milo, Mikkel Nielsen, Jakob Botsch Spitters, Bas |
| Language: | Engelsk |
| Udgivelsesdato: | 6.8.2021 |
| Titel: | DaCy: A Unified Framework for Danish NLP |
| Forfattere/ophavsroller: | Enevoldsen, Kenneth Hansen, Lasse Nielbo, Kristoffer Laigaard |
| Language: | Engelsk |
| Udgivelsesdato: | 2021 |
| Titel: | When no news is bad news--Detection of negative events from news media content |
| Forfattere/ophavsroller: | Nielbo, Kristoffer Laigaard Hæstrup, Frida Enevoldsen, Kenneth Vahlstrup, Peter Bjerregaard Baglini, Rebekah Brita Roepstorff, Andreas |
| Language: | Engelsk |
| Udgivelsesdato: | 2021 |
| Titel: | Monitoring of COVID-19 Pandemic-related Psychopathology using Machine Learning |
| Forfattere/ophavsroller: | Enevoldsen, Kenneth Danielsen, Andreas Aalkjær Rohde, Christopher Jefsen, Oskar Hougaard Nielbo, Kristoffer Laigaard Østergaard, Søren Dinesen |
| Language: | Engelsk |
| Udgivelsesdato: | 2021 |
| Titel: | Universal free-fermion multiply-excited eigenstates and their experimental signatures in 1D arrays of two-level atoms |
| Forfattere/ophavsroller: | Zhang, Yu-Xiang Mølmer, Klaus |
| Language: | Udefineret/Ukendt |
| Udgivelsesdato: | 9.9.2021 |
| Titel: | Trillium |
| Undertitel: | Unifying Refinement and Higher-Order Distributed Separation Logic |
| Forfattere/ophavsroller: | Timany, Amin Gregersen, Simon Oddershede Stefanesco, Léo Gondelman, Léon Nieto, Abel Birkedal, Lars |
| Language: | Udefineret/Ukendt |
| Udgivelsesdato: | 16.9.2021 |
| Titel: | When no news is bad news: Detection of negative events from news media content |
| Forfattere/ophavsroller: | Baglini, Rebekah Brita Nielbo, Kristoffer Laigaard Hæstrup, Frida Enevoldsen, Kenneth Vahlstrup, Peter Bjerregaard Roepstorff, Andreas |
| Language: | Engelsk |
| Udgivelsesdato: | 2.6.2021 |
| Titel: | Real semisimple Lie groups and balanced metrics |
| Forfattere/ophavsroller: | Giusti, Federico Podestà, Fabio |
| Language: | Engelsk |
| Sideantal: | 19 |
| Udgivelsesdato: | 2023 |
