Aarhus Universitets segl

Publikationer

Følg med i de senest publicerede videnskabelige artikler fra Faculty of Natural Sciences. Oversigten viser fakultetets publikationer med de nyeste øverst.

Sortér efter: Dato | Forfatter | Titel

Petsinis, P., Pavlogiannis, A. & Karras, P. (2023). Maximizing the Probability of Fixation in the Positional Voter Model. I B. Williams, Y. Chen & J. Neville (red.), AAAI-23 Technical Tracks 10 (s. 12269-12277). Artikel 190493 AAAI Press. https://doi.org/10.1609/aaai.v37i10.2636126446
Petersson Sjögren, M., Alsved, M., Šantl-Temkiv, T., Bjerring Kristensen, T. & Löndahl, J. (2023). Measurement report: Atmospheric fluorescent bioaerosol concentrations measured during 18 months in a coniferous forest in the south of Sweden. Atmospheric Chemistry and Physics, 23(9), 4977-4992. https://doi.org/10.5194/acp-23-4977-2023
Zhao, Q., Xie, H. B., Ma, F., Nie, W., Yan, C., Huang, D., Elm, J. & Chen, J. (2023). Mechanism-based structure-activity relationship investigation on hydrolysis kinetics of atmospheric organic nitrates. npj Climate and Atmospheric Science, 6(1), Artikel 192. https://doi.org/10.1038/s41612-023-00517-w
Weckwerth, P., Wysota, W., Piotrowski, J. A., Krawiec, A., Chabowski, M., Kalinska, E. & Adamczyk, A. (2023). Megadunes and their sedimentary successions on the proximal part of the Augustów Sandur, NE Poland. Abstract fra 10th International Conference on Geomorphology, Coimbre, Portugal. https://doi.org/10.5194/icg2022-61
Guéneau, A., Hostert, J., Spies, S., Sammler, M., Birkedal, L. & Dreyer, D. (2023). Melocoton: A Program Logic for Verified Interoperability Between OCaml and C. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), 716-744. Artikel 247. https://doi.org/10.1145/3622823
León-Alcaide, L., Christensen, R. S., Keen, D. A., Jordá, J. L., Brotons-Alcázar, I., Forment-Aliaga, A. & Mínguez Espallargas, G. (2023). Meltable, Glass-Forming, Iron Zeolitic Imidazolate Frameworks. Journal of the American Chemical Society, 145(20), 11258-11264. https://doi.org/10.1021/jacs.3c01455
Carman, C. V., Nikova, D. N., Sakurai, Y., Shi, J., Novakovic, V. A., Rasmussen, J. T., Lam, W. A. & Gilbert, G. E. (2023). Membrane curvature and PS localize coagulation proteins to filopodia and retraction fibers of endothelial cells. Blood Advances, 7(1), 60-72. https://doi.org/10.1182/bloodadvances.2021006870
Thomsen, S. E. (2023). Message Dissemination in the Nakamoto Era. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Zhai, S., Zhang, D., Liu, W., Wang, B., Liang, B., Liu, C., Zeng, R., Hou, Y., Cheng, H. Y. & Wang, A. (2023). Microbial electrochemical technologies assisted nitrogen recovery from different wastewater sources: Performance, life cycle assessment, and challenges. Resources, Conservation & Recycling, 194, Artikel 107000. https://doi.org/10.1016/j.resconrec.2023.107000
Rysgaard, S. (2023). Microbial life in Arctic sea ice. Abstract fra Tara Polar Drift, Paris, Frankrig.
Falardeau, J., de Vernal, A., Seidenkrantz, M.-S., Cronin, T. M., Gemery, L., Chassiot, L., Fritz, M., Carnero-Bravo, V., Hillaire-Marcel, C. & Archambault, P. (2023). Microfaunal Recording of Recent Environmental Changes in the Herschel Basin, Western Arctic Ocean. Journal of Foraminiferal Research, 53(1), 20-48. https://doi.org/10.2113/gsjfr.53.1.20
Heiland, M., Connolly, N. M. C., Mamad, O., Nguyen, N. T., Kesavan, J. C., Langa, E., Fanning, K., Sanfeliu, A., Yan, Y., Su, J., Venø, M. T., Costard, L. S., Neubert, V., Engel, T., Hill, T. D. M., Freiman, T. M., Mahesh, A., Tiwari, V. K., Rosenow, F. ... Henshall, D. C. (2023). MicroRNA-335-5p suppresses voltage-gated sodium channel expression and may be a target for seizure control. Proceedings of the National Academy of Sciences (PNAS), 120(30), e2216658120. Artikel e2216658120. https://doi.org/10.1073/pnas.2216658120
Tjelldén, A. K. E., Kristiansen, S. M. & Stott, D. (2023). Mikromorfologisk screening – et muligt redskab til hurtig in situ prioritering. Abstract fra Kultur-, naturhistorisk og kunstfagligt orienteringsmøde 2023, Vejle, Danmark.
Schneider von Deimling, J., Hoffmann, J., Geersen, J., Koschinski, S., Lohrberg, A., Gilles, A., Belkin, I., Böttner, C., Papenmeier, S. & Krastel, S. (2023). Millions of seafloor pits, not pockmarks, induced by vertebrates in the North Sea. Communications Earth & Environment, 4(1), Artikel 478. https://doi.org/10.1038/s43247-023-01102-y
Mueller, P., Kutzbach, L., Mozdzer, T. J., Jespersen, E., Barber, D. C. & Eller, F. (2023). Minerogenic salt marshes can function as important inorganic carbon stores. Limnology and Oceanography, 68(4), 942-952. https://doi.org/10.1002/lno.12322
Damgård, I., Ravi, D., Siniscalchi, L. & Yakoubov, S. (2023). Minimizing Setup in Broadcast-Optimal Two Round MPC. I C. Hazay & M. Stam (red.), Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23–27, 2023, Proceedings, Part II (s. 129-158). Springer. https://doi.org/10.1007/978-3-031-30617-4_5
Grønbæk, J. E., Borowski, M., Hoggan, E., Mackay, W., Beaudouin-Lafon, M. & Klokmose, C. N. (2023). Mirrorverse: Live Tailoring of Video Conferencing Interfaces. I S. Follmer, J. Han, J. Steimle & N. Henry Riche (red.), UIST '23: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Artikel 14 Association for Computing Machinery. https://doi.org/10.1145/3586183.3606767
Nielsen, K. H. (2023). Misinformation om løgne. Weekendavisen, Sektion 4 (Ideer), 5.
Stassen, P. J. A., Gratzer, D. & Birkedal, L. (2023). mitten: A Flexible Multimodal Proof Assistant. I D. Kesner & P.-M. Pedrot (red.), 28th International Conference on Types for Proofs and Programs Artikel 6 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.TYPES.2022.6
Schneiders, E., Boudouraki, A., Reyes-Cruz, G., Martinez Avila, J. P., Elmimouni, H., Grønbæk, J. E. S., Rintel, S. & Joshi, S. (2023). Mobility and Utility in Robot Mediated Interaction: An Interactive Workshop for the Identification of Use Cases and Affordances of Telepresence Robots. I A. Komninos, C. Santoro, D. Gavalas, J. Schoening, M. Matera & L. A. Leiva (red.), Proceedings of the 25th International Conference on Mobile Human-Computer Interaction, MobileHCI 2023 Companion Artikel 34 Association for Computing Machinery. https://doi.org/10.1145/3565066.3609791
Kragh, G., Køie Poulsen, M., Iversen, L., Cheeseman, T. & Danielsen, F. (2023). Mobilizing collective intelligence for adapting to climate change in the Arctic: The case of monitoring Svalbard’s and Greenland’s environment by expedition cruises. I S. Boucher, C. A. Hallin & L. Poulson (red.), The Routledge Handbook of Collective Intelligence for Democracy and Governance (s. 456-465). Routledge. https://doi.org/10.4324/9781003215929
Pedersen, J. S., Møller, T. L., Raak, N. & Corredig, M. (2023). Modelling scattering data from casein micelles on absolute scale. Poster-session præsenteret på Nordic Rheology Conference 2023, Aarhus, Danmark.
Olsen, B. E., Normand, S., Svenning, J.-C., Timmermann, K., Kragh, T., Kaae, B. C., Madsen, N. & Strange, N. (2023). Mod robuste økosystemer: Anbefalinger til en dansk lov om biodiversitet. Biodiversitetsrådet.
Nieto, A., Daby-Seesaram, A., Gondelman, L., Timany, A. & Birkedal, L. (2023). Modular Verification of State-Based CRDTs in Separation Logic. I K. Ali & G. Salvaneschi (red.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 Artikel 22 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2023.22