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

Wipf, S., Hofmann, F., Nitsche, R., Sultana, Z., Urso, R. G., Burr, D. J., Jones, N. C., Hoffmann, S. V. & Elsaesser, A. (2026). Photostability of Quercetin under Oxidative Conditions Relevant to Mars. ACS Earth and Space Chemistry, 10(6), 1562-1575. https://doi.org/10.1021/acsearthspacechem.6c00054
Winther, J. (2012). Improving Precision of Generated ASTs. Afhandling præsenteret på 12th International Workshop on Language Descriptions, Tools, and Applications, Tallinn, Estland.
Winther, J. (2011). Guarded Type Promotion: Eliminating Redundant Casts in Java. I Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs Association for Computing Machinery. https://doi.org/10.1145/2076674.2076680
Winther, J. & Schwartzbach, M. I. (2011). Related Types. Lecture Notes in Computer Science, 6813, 434-458. https://doi.org/10.1007/978-3-642-22655-7_21
Winther, G., Wang, T., Lund, S. & Wegener, G. (2012). Betydning af magnesium i psykisk sygdom. Poster-session præsenteret på Psykiatriens 7. Forskningsdag, Risskov, Danmark.
Winther, K. S., Brodersen, D. E., Brown, A. K. & Gerdes, K. (2013). VapC20 of Mycobacterium tuberculosis Cleaves the Sarcin Ricin Loop of 23S rRNA. Nature Communications, 4, Artikel 2796. https://doi.org/10.1038/ncomms3796
Winther, A. K., Fejerskov, B., Ter Meer, M., Jensen, N. B. S., Dillion, R., Schaffer, J. E., Chandrawati, R., Stevens, M. M., Schultze Kool, L. J., Simonsen, U. & Zelikin, A. N. (2018). Enzyme Prodrug Therapy Achieves Site-Specific, Personalized Physiological Responses to the Locally Produced Nitric Oxide. A C S Applied Materials and Interfaces, 10(13), 10741-10751. https://doi.org/10.1021/acsami.8b01658
Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance. I CHI EA 2020 - Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems (s. CS16 1-8). Artikel 3375213 Association for Computing Machinery. https://doi.org/10.1145/3334480.3375213
Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance Based on a Use Case at Grundfos. I Proceedings - 2020 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2020 (s. 738-746). Artikel 9089646 IEEE. https://doi.org/10.1109/VR46266.2020.1580939036664
Winther, M. L., Aguirre Børsen-Koch, V., Rørsted, J. L., Stokholm, A. & Verma, K. (2023). Did Kepler-444 have a long-lived convective core? Monthly Notices of the Royal Astronomical Society, 525(1), 1416-1430. https://doi.org/10.1093/mnras/stad1802
Winther, M. L. (2023). Dimensional Problems in Stellar Modelling: The Computational Challenge. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Winther, J. (2012). Improving Precision of Types. Department of Computer Science, Aarhus University.
Winters, J., Kobek-Kjeldager, C., Foldager, L. & Pedersen, L. J. (2021). Preliminary results on the effect of keeping pigs in home environment post weaning. I E. Strandberg, L. Pinotti, S. Messori, D. Kenny, M. Lee, J. F. Hocquette, V. A. P. Cadavez, S. Millet, R. Evans, T. Veldkamp, M. Pastell & G. Pollott (red.), Book of Abstracts of the 72nd Annual Meeting of the European Federation of Animal Science (s. 356-356). Wageningen Academic Publishers. https://doi.org/10.3920/978-90-8686-918-3
Winters, J. F. M., Schönherz, A. A., Canibe, N., Foldager, L. & Pedersen, L. J. (2022). Weaning intact litters in farrowing pens for loose housed sows: diarrhoea and microbiota composition . I Book of Abstracts of the 73rd Annual Meeting of the European Federation of Animal Science (s. 348-348). Wageningen Academic Publishers. https://doi.org/10.3920/978-90-8686-937-4
Winters, J. F. M., Foldager, L., Krogh, U., Nørskov, N. & Sørensen, M. T. (2022). Influence of glyphosate residues in sow diets on piglet diarrhoea, kinky tails and stillbirth. I Book of Abstracts of the 73rd Annual Meeting of the European Federation of Animal Science (s. 284-284). Wageningen Academic Publishers. https://doi.org/10.3920/978-90-8686-937-4
Winterfeld, M., Schirrmeister, L., Grigoriev, M. N., Kunitsky, V. V., Andreev, A., Murray, A. S. & Overduin, P. P. (2011). Coastal permafrost landscape development since the Late Pleistocene in the western Laptev Sea, Siberia. Boreas, 40(4), 697-713. https://doi.org/10.1111/j.1502-3885.2011.00203.x
Winskel, G., Ésik, Z. (red.) & Ingólfsdóttir, A. (red.) (2002). Calculus for Categories. I Fixed Points in Computer Science (NS-02-2 of Notes Series udg., s. 20-21).
Winskel, G., Ehrhard, T. (red.), Girard, J. (red.), Ruet, P. (red.) & Scot, P. (red.) (2004). Linearity and Nonlinearity in Distributed Computation. I Linear Logic in Computer Science (316 of London Math. Soc. Lecture Note Series udg., s. 151-188). Cambridge University Press.
Winskel, G. (2003). Presheaf models for CCS-like languages. Theoretical Computer Science, 300(1-3), 47-89.
Winskel, G., Zappa Nardelli, F., Lévy, J. (red.), Mayr, E. (red.) & Mitchell, J. (red.) (2004). New-HOPLA: A Higher-Order Process Language with Name Generation. I Ikke angivet (s. 521-534). Kluwer Academic Publishers.
Winskel, G. & Nielsen, M. (1997). Categories in Concurrency. I A. Pitts & P. Dybjer (red.), Semantics and Logics of Computation (s. 299-354). Cambridge University Press.
Winskel, G. & Nielsen, M. (1997). Presheaves as transition systems. I POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification (s. 129-140). American Mathematical Society.
Winskel, G. & Nielsen, M. (1993). Models for Concurrency. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) Nr. 429
Winn, V. D., Gormley, M., Paquet, A. C., Kjær-Sørensen, K., Kramer, A., Rumer, K. K., Haimov-Kochman, R., Yeh, R.-F., Overgaard, M. T., Varki, A., Oxvig, C. & Fisher, S. J. (2008). Severe preeclampsia-related changes in gene expression at the maternal-fetal interface include sialic acid-binding immunoglobulin-like lectin-6 and pappalysin-2. Endocrinology, 150(1), 452-62. https://doi.org/10.1210/en.2008-0990
Winn, J. N., Albrecht, S., Johnson, J., Torres, G., Carter, J. A., Ragozzine, D., Quinn, S. N., Latham, D. W., Meibom, S., Sasselov, D., Cochran, W. D., Marcy, G. W., Howard, A. W., Isaacson, H., Fischer, D., Doyle, L., Slawson, R. W., Jenkins, J., Morris, R. L. ... Klaus, T. C. (2011). Spin-orbit alignment for the circumbinary planet host Kepler-16 A. The Astrophysical Journal Letters, 741(1). https://doi.org/10.1088/2041-8205/741/1/L1
Winn, J. N., Petigura, E. A., Morton, T. D., Weiss, L. M., Dai, F., Schlaufman, K. C., Howard, A. W., Isaacson, H., Marcy, G. W., Justesen, A. B. & Albrecht, S. (2017). Constraints on the Obliquities of Kepler Planet-hosting Stars. The Astronomical Journal, 154(6), 270. Artikel 270. https://doi.org/10.3847/1538-3881/aa93e3
Winkler, T., Haahr-Lillevang, L., Sarpe, C., Zielinski, B., Goette, N., Senftleben, A., Balling, P. & Baumert, T. (2018). Laser amplification in excited dielectrics. Nature Physics, 14(1), 74-79. https://doi.org/10.1038/NPHYS4265