Aarhus University Seal

Publications

Follow the latest publications from the Faculty of Natural Sciences.

Sort by: Date | Author | Title

van Oosterhout, A., Bruns, M. & Hoggan, E. (2020). Facilitating Flexible Force Feedback Design with Feelix. In ICMI 2020 - Proceedings of the 2020 International Conference on Multimodal Interaction (pp. 184–193). Association for Computing Machinery. https://doi.org/10.1145/3382507.3418819
Tzavelis, N., Giannakopoulos, I., Johansen, R. Q., Doka, K., Koziris, N. & Karras, P. (2020). Fair Procedures for Fair Stable Marriage Outcomes. In AAAI 2020 - 34th AAAI Conference on Artificial Intelligence (Vol. 34, no. 5, pp. 7269-7276). AAAI Press. https://doi.org/10.1609/aaai.v34i05.6218
Corsaro, E., McKeever, J. M. & Kuszlewicz, J. S. (2020). Fast and Automated Peak Bagging with D IAMONDS (FAMED). Astronomy and Astrophysics, 640, Article A130. https://doi.org/10.1051/0004-6361/202037930
Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K. & Pavlogiannis, A. (2020). Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. In D. Van Hung & O. Sokolsky (Eds.), Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings (pp. 253-270). Springer. https://doi.org/10.1007/978-3-030-59152-6_14
Pavlogiannis, A. (2020). Fast, Sound, and Effectively Complete Dynamic Race Prediction. Proceedings of the ACM on Programming Languages , 4(POPL), 1-29. Article 17. https://doi.org/10.1145/3371085
Damgård, I., Jakobsen, T. P., Nielsen, J. B., Pagter, J. I. & Østergaard, M. B. (2020). Fast threshold ECDSA with honest majority. In C. Galdi & V. Kolesnikov (Eds.), Security and Cryptography for Networks (pp. 382-400). Springer. https://doi.org/10.1007/978-3-030-57990-6_19
Aguilar de Soto, N., Visser, F., Tyack, P. L., Alcazar, J., Ruxton, G., Arranz, P., Madsen, P. T. & Johnson, M. (2020). Fear of Killer Whales Drives Extreme Synchrony in Deep Diving Beaked Whales. Scientific Reports, 10(1), Article 13. https://doi.org/10.1038/s41598-019-55911-3
Mancini, A., Wieland, E., Geng, G., Dähn, R., Skibsted, J., Wehrli, B. & Lothenbach, B. (2020). Fe(III) uptake by calcium silicate hydrates. Applied Geochemistry, 113, Article 104460. https://doi.org/10.1016/j.apgeochem.2019.104460
Pedersen, V. K. (2020). Fem år og 39 uger. Weekendavisen, (14), 10-10. Article e7a68ba7.
McClean, J. B., Merrison, J. P., Iversen, J. J., Azimian, M., Wiegmann, A., Pike, W. T., Hecht, M. H. & & the MOXIE science team (2020). Filtration of simulated Martian atmosphere for in-situ oxygen production. Planetary and Space Science, 191, Article 104975. https://doi.org/10.1016/j.pss.2020.104975
Brucalassi, A., Pignata, G., Araiza-Duran, J. A., Campana, S., Claudi, R., Schipani, P., Aliverti, M., Baruffolo, A., Ben-Ami, S., Biondi, F., Capasso, G., Colapietro, M., Cosentino, R., D'Alessio, F., D'Avanzo, P., Genoni, M., Hershko, O., Kuncarayakti, H., Landoni, M. ... Ventura, H. (2020). Final design and development status of the acquisition and guiding system for SOXS. In C. J. Evans, J. J. Bryant & K. Motohara (Eds.), Ground-Based and Airborne Instrumentation for Astronomy VIII Article 114475V SPIE - International Society for Optical Engineering. https://doi.org/10.1117/12.2561802
Etheridge, J., Chao, W., Bøjesen, E. D., Esser, B., Krajnak, M., Li, W., Petersen, T. C. & Zheng, C. (2020). Finding meaning in 4D STEM: Strategies for extracting targeted specimen information. Microscopy and Microanalysis. https://doi.org/10.1017/S1431927620015597
Wacker, L., Scott, E. M., Bayliss, A., Brown, D., Bard, E., Bollhalder, S., Friedrich, M., Capano, M., Cherkinsky, A., Chivall, D., Culleton, B. J., Dee, M. W., Friedrich, R., Hodgins, G. W. L., Hogg, A., Kennett, D. J., Knowles, T. D. J., Kuitems, M., Lange, T. E. ... Tuna, T. (2020). Findings from an in-Depth Annual Tree-Ring Radiocarbon Intercomparison. Radiocarbon, 62(4), 873-882. https://doi.org/10.1017/RDC.2020.49
Lee, Y. L., Takada, H., Moreira, G. C. M., Karim, L., GplusE Consortium, Bosse, M., Bouwman, A., Mullaart, E., Coppieters, W., Georges, M., Druet, T. & Charlier, C. (2020). Fine resolution CNV catalogue from deeply sequenced cattle genomes. In Book of Abstracts of the 71st Annual Meeting of the European Federation of Animal Science (Vol. 26, pp. 188). Wageningen Academic Publishers. https://doi.org/10.3920/978-90-8686-900-8
Hannestad, S. & Wong, Y. Y. Y. (2020). Fitting functions on the cheap: The relative nonlinear matter power spectrum. Journal of Cosmology and Astroparticle Physics, 2020(3), Article 028. https://doi.org/10.1088/1475-7516/2020/03/028
Madsen, M. & Lhoták, O. (2020). Fixpoints for the masses: programming with first-class Datalog constraints. In Proceedings of the ACM on Programming Languages (OOPSLA ed., Vol. 4). Association for Computing Machinery. https://doi.org/10.1145/3428193
Goulet, P., Guinet, C., Campagna, C., Campagna, J., Tyack, P. L. & Johnson, M. (2020). Flash and grab: deep-diving southern elephant seals trigger anti-predator flashes in bioluminescent prey. Journal of Experimental Biology, 223(10), Article jeb222810. https://doi.org/10.1242/jeb.222810
Kadumudi, F. B., Trifol, J., Jahanshahi, M., Zsurzsan, T. G., Mehrali, M., Zeqiraj, E., Shaki, H., Alehosseini, M., Gundlach, C., Li, Q., Dong, M., Akbari, M., Knott, A., Almdal, K. & Dolatshahi-Pirouz, A. (2020). Flexible and Green Electronics Manufactured by Origami Folding of Nanosilicate-Reinforced Cellulose Paper. ACS applied materials & interfaces, 12(42), 48027-48039. https://doi.org/10.1021/acsami.0c15326
Trethowan, L. A., Eiserhardt, W. L., Girmansyah, D., Kintamani, E., Utteridge, T. M. A. & Brearley, F. Q. (2020). Floristics of forests across low nutrient soils in Sulawesi, Indonesia. Biotropica, 52(6), 1309-1318. https://doi.org/10.1111/btp.12838
White, R. D., Schmid, E. S., Neeson, I., Merrison, J. P., Iversen, J. J. & Banfield, D. (2020). Flow testing of a sonic anemometer for the martian environment. In AIAA Scitech 2020 Forum American Institute of Aeronautics and Astronautics Inc. (AIAA). https://doi.org/10.2514/6.2020-0712
Ryde, N., Jönsson, H., Mace, G., Cunha, K., Spitoni, E., Afşar, M., Jaffe, D., Forsberg, R., Kaplan, K. F., Kidder, B. T., Lee, J.-J., Oh, H., Smith, V. V., Sneden, C., Sokal, K. R., Strickland, E. & Thorsbro, B. (2020). Fluorine in the Solar Neighborhood: the Need for Several Cosmic Sources. Astrophysical Journal, 893(1), Article 37. https://doi.org/10.3847/1538-4357/ab7eb1
Grisoni, V., Romano, D., Spitoni, E., Matteucci, F., Ryde, N. & Jönsson, H. (2020). Fluorine in the solar neighbourhood: modelling the Galactic thick and thin discs. Monthly Notices of the Royal Astronomical Society, 498(1), 1252-1258. https://doi.org/10.1093/mnras/staa2316
Song, J., Xia, X., Chen, J., Xia, D., Xue, Q., Li, Q. & Dong, M. (2020). Folding 2D Graphene Nanoribbons into 3D Nanocages Induced by Platinum Nanoclusters. Journal of Physical Chemistry C, 124(19), 10495-10501. https://doi.org/10.1021/acs.jpcc.0c00463
Nuraisah , R., Aini, N. K., Mashar, A., Zairion , Z., Hastuti , Y. P., Funch, P. & Wardiatno, Y. (2020). Food habit of horseshoe crabs, Tachypleus gigas (Müller 1785) and Carcinoscorpius rotundicauda (Latreille 1802) in Balikpapan coastal waters, East Kalimantan. Jurnal Pengelolaan Sumberdaya Alam dan Lingkungan, 10(2), 153-162. https://doi.org/10.29244/jpsl.10.2.153-162
Nielsen, K. H. (2020). Fordomsfulde algoritmer. Weekendavisen, Sektion 4 (Ideer), 5.
Barthe, G., Blazy, S., Grégoire, B., Hutin, R., Laporte, V., Pichardie, D. & Trieu, A. (2020). Formal Verification of a Constant-Time Preserving C Compiler. Proceedings of the ACM on Programming Languages , 4(POPL), Article 7. https://doi.org/10.1145/3371075