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

Nielsen, K. H. (2023). Fagfællebedømt racisme. Weekendavisen, Sektion 4 (Ideer), 5.
Chiang, J. H. Y., David, B., Eyal, I. & Gong, T. (2023). FairPoS: Input Fairness in Permissionless Consensus. I J. Bonneau & S. M. Weinberg (red.), 5th Conference on Advances in Financial Technologies, AFT 2023 Artikel 10 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.AFT.2023.10
Rasmussen, H. Ø., Kumar, A., Shin, B., Stylianou, F., Sewell, L., Xu, Y., Otzen, D. E., Pedersen, J. S. & Matthews, S. J. (2023). FapA is an Intrinsically Disordered Chaperone for Pseudomonas Functional Amyloid FapC. Journal of Molecular Biology, 435(2), Artikel 167878. https://doi.org/10.1016/j.jmb.2022.167878
Madsen, M., Van De Pol, J. & Henriksen, T. (2023). Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), 516–543. Artikel 240. https://doi.org/10.1145/3622816
Desai, D. D., Ashall, C., Shappee, B. J., Morrell, N., Galbany, L., Burns, C. R., Derkacy, J. M., Hinkle, J. T., Hsiao, E., Kumar, S., Lu, J., Phillips, M. M., Shahbandeh, M., Stritzinger, M. D., Baron, E., Bersten, M. C., Brown, P. J., De Jaeger, T., Elias-Rosa, N. ... Young, D. R. (2023). Fast and not-so-furious: Case study of the fast and faint Type IIb SN 2021bxu. Monthly Notices of the Royal Astronomical Society, 524(1), 767-785. https://doi.org/10.1093/mnras/stad1932
Larsen, K. G. (2023). Fast Discrepancy Minimization with Hereditary Guarantees. I N. Bansal & V. Nagarajan (red.), Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) (s. 276-289). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977554.ch11
Aranha, D. F., Hvass, B. S., Spitters, B. & Tibouchi, M. (2023). Faster constant-time evaluation of the Kronecker symbol with application to elliptic curve hashing. I CCS'23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (s. 3228-3238). Association for Computing Machinery. https://doi.org/10.1145/3576915.3616597
Lecoq, P., Gonzalez, A. J., Auffray, E., Konstantinou, G., Nuyts, J., Prior, J. O., Martinez Turtos, R. & Varela, J. (2023). Fast Timing in Medical Imaging. IEEE Transactions on Radiation and Plasma Medical Sciences, 7(5), 429-452. https://doi.org/10.1109/TRPMS.2023.3259464
Funch, P., Kealy, R. A., Goldstein, J., Brewer, J. R., Solovyeva, V. & Riisgård, H. U. (2023). Fate of microplastic captured in the marine demosponge Halichondria panicea. Marine Pollution Bulletin, 194(Part A), Artikel 115403. https://doi.org/10.1016/j.marpolbul.2023.115403
Szołdra, T., Ciappina, M. F., Werby, N., Bucksbaum, P. H., Lewenstein, M., Zakrzewski, J. & Maxwell, A. S. (2023). Femtosecond pulse parameter estimation from photoelectron momenta using machine learning. New Journal of Physics, 25(8), Artikel 083039. https://doi.org/10.1088/1367-2630/acee19
Mustamin, Y., Akyol, T. Y., Gordon, M., Manggabarani, A. M., Isomura, Y., Kawamura, Y., Bamba, M., Williams, C., Andersen, S. U. & Sato, S. (2023). FER and LecRK show haplotype-dependent cold-responsiveness and mediate freezing tolerance in Lotus japonicus. Plant Physiology, 191(2), 1138-1152. https://doi.org/10.1093/plphys/kiac533
Mistakidis, S. I., Volosniev, A. G., Barfknecht, R. E., Fogarty, T., Busch, T., Foerster, A., Schmelcher, P. & Zinner, N. T. (2023). Few-body Bose gases in low dimensions—A laboratory for quantum dynamics. Physics Reports, 1042, 1-108. https://doi.org/10.1016/j.physrep.2023.10.004
Nielsen, E. S., Nielsen, T. K. & Kristiansen, S. M. (2023). Finding the Haystack: Inferring Interglacial deposits from geotechnical boreholes and geomorphological mapping. Poster-session præsenteret på European Society of Human Evolution 2023 Meeting, Aarhus, Danmark.
Haselwarter, P. G. & Bauer, A. (2023). Finitary Type Theories With and Without Contexts. Journal of Automated Reasoning, 67(4), Artikel 36. https://doi.org/10.1007/s10817-023-09678-y
Cook, A. M. & Nielsen, A. E. B. (2023). Finite-size topology. Physical Review B, 108(4), Artikel 045144. https://doi.org/10.1103/PhysRevB.108.045144
Schwiegelshohn, C. (2023). Fitting Data on a Grain of Rice. I I. Chatzigiannakis & I. Karydis (red.), Algorithmic Aspects of Cloud Computing: 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers (s. 1-8). Springer. https://doi.org/10.1007/978-3-031-49361-4_13
Nielsen, K. H. (2023). Fladjordsteori for sociologer. Weekendavisen, Sektion 4 (Ideer), 5.
Ko, D., Kim, Y., Zhu, J., Wessely, M. & Mueller, S. (2023). FlexBoard: A Flexible Breadboard for Interaction Prototyping on Curved and Deformable Surfaces. I CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 733 Association for Computing Machinery. https://doi.org/10.1145/3544548.3580748
Tang, S., Liu, Y., Opoku, H., Gregorsson, M., Zhang, P., Auroux, E., Dang, D., Mudring, A. V., Wågberg, T., Edman, L. & Wang, J. (2023). Fluorescent carbon dots from birch leaves for sustainable electroluminescent devices. Green Chemistry, 25(23), 9884-9895. https://doi.org/10.1039/d3gc03827k
Nielsen, K. H. (2023). Folkedrab eller hungersnød. Weekendavisen, Sektion 4 (Ideer), 5.
Nielsen, K. H. (2023). Folkedrabet i Namibia. Weekendavisen, Sektion 4 (Ideer), 5.
Pastorello, A., Valerin, G., Fraser, M., Reguitti, A., Elias-Rosa, N., Filippenko, A. V., Rojas-Bravo, C., Tartaglia, L., Reynolds, T. M., Valenti, S., Andrews, J. E., Ashall, C., Bostroem, K. A., Brink, T. G., Burke, J., Cai, Y. Z., Cappellaro, E., Coulter, D. A., Dastidar, R. ... Magnier, E. (2023). Forbidden hugs in pandemic times: IV. Panchromatic evolution of three luminous red novae. Astronomy and Astrophysics, 671, Artikel A158. https://doi.org/10.1051/0004-6361/202244684
Pearce, E. A. (2023). Forests before Homo sapiens. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Nielsen, E. H., Annenkov, D. & Spitters, B. (2023). Formalising Decentralised Exchanges in Coq. I R. Krebbers, D. Traytel, B. Pientka & S. Zdancewic (red.), CPP '23: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 290-302). Association for Computing Machinery. https://doi.org/10.1145/3573105.3575685
Cruz Rodriguez, L., Rook, T., Augstein, B. B., Maxwell, A. S. & Figueira De Morisson Faria, C. (2023). Forward and hybrid path-integral methods in photoelectron holography: Sub-barrier corrections, initial sampling, and momentum mapping. Physical Review A, 108(3), Artikel 033114. https://doi.org/10.1103/PhysRevA.108.033114
Hvass, B. S. (2023). Foundational Verification of Cryptographic Primitives. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Müller, M., Schuster, P., Starup, J. L., Ostermann, K. & Brachthäuser, J. I. (2023). From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), Artikel 255. https://doi.org/10.1145/3622831