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

Annenkov, D., Botsch Nielsen, J. & Spitters, B. (2020). ConCert: A smart contract certification framework in Coq. I Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’20), January 20-21, 2020, New Orleans, LA, USA (s. 215-228). Association for Computing Machinery. https://doi.org/10.1145/3372885.3373829
Baum, C. & Nof, A. (2020). Concretely-Efficient Zero-Knowledge Arguments for Arithmetic Circuits and Their Application to Lattice-Based Cryptography. I A. Kiayias, M. Kohlweiss, P. Wallden & V. Zikas (red.), Public-Key Cryptography – PKC 2020 - 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings (Bind 1, s. 495-526). Springer. https://doi.org/10.1007/978-3-030-45374-9_17
Spitoni, E., Calura, F., Mignoli, M., Gilli, R., Silva Aguirre, V. & Gallazzi, A. (2020). Connection between galactic downsizing and the most fundamental galactic scaling relations. Astronomy and Astrophysics, 642, Artikel A113. https://doi.org/10.1051/0004-6361/202037879
Hansen, O. L. P. (2020). Consequences of Trophic Rewilding for Arthropods. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Gul, A., Hussain, G., Iqbal, A., Rao, A. Q., Din, S. U., Yasmeen, A., Shahid, N., Ahad, A., Latif, A., Azam, S., Samiullah, T. R., Hassan, S., Shahid, A. A. & Husnain, T. (2020). Constitutive expression of Asparaginase in Gossypium hirsutum triggers insecticidal activity against Bemisia tabaci. Scientific Reports, 10(1), Artikel 8958. https://doi.org/10.1038/s41598-020-65249-w
Takaro, T., Foley, R. J., McCully, C., Fong, W., Jha, S. W., Narayan, G., Rest, A., Stritzinger, M. & McKinnon, K. (2020). Constraining Type Iax supernova progenitor systems with stellar population age dating. Monthly Notices of the Royal Astronomical Society, 493(1), 986-1002. https://doi.org/10.1093/mnras/staa294
Faust, S., Mukherjee, P., Nielsen, J. B. & Venturi, D. (2020). Continuously Non-malleable Codes in the Split-State Model. Journal of Cryptology, 33(4), 2034-2077. https://doi.org/10.1007/s00145-020-09362-z
Jensen, M. S. (2020). Controlling ribosome biogenesis by mTORC1-mediated phosphorylation of LARP1. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Bergman, M. J., Pedersen, J. S., Schurtenberger, P. & Boon, N. (2020). Controlling the morphology of microgels by ionic stimuli. Soft Matter, 16(11), 2786-2794. https://doi.org/10.1039/c9sm02170a
Zhou, Y., Asplund, M., Collet, R. & Joyce, M. (2020). Convective excitation and damping of solar-like oscillations. Monthly Notices of the Royal Astronomical Society, 495(4), 4904-4923. https://doi.org/10.1093/MNRAS/STAA1445
Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L. & Scholl, P. (2020). Correlated Pseudorandom Functions from Variable-Density LPN. I S. Irani (red.), Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020 (s. 1069-1080). Artikel 9317926 IEEE. https://doi.org/10.1109/FOCS46700.2020.00103
Alipour, S., Rezakhani, A. T., Babu, A. P., Mølmer, K., Möttönen, M. & Ala-Nissila, T. (2020). Correlation-Picture Approach to Open-Quantum-System Dynamics. Physical Review X, 10(4), Artikel 041024. https://doi.org/10.1103/PhysRevX.10.041024
Henriques, R. N., Jespersen, S. N. & Shemesh, N. (2020). Correlation tensor magnetic resonance imaging. NeuroImage, 211, Artikel 116605. https://doi.org/10.1016/j.neuroimage.2020.116605
Naesby Rasmussen, A., Naserbakht, S. & Dantan, A. (2020). Coupled MOEMS membranes for enhanced sensing purposes. I W. Piyawattanametha, W. Piyawattanametha, Y.-H. Park & H. Zappe (red.), MOEMS and Miniaturized Systems XIX Artikel 112930X SPIE - International Society for Optical Engineering. https://doi.org/10.1117/12.2553523
Chen, C., Zhu, X., Wen, X., Zhou, Y., Zhou, L., Tao, L., Li, Q., Du, S., Liu, T., Yan, D., Xie, C., Zou, Y., Wang, Y., Chen, R., Huo, J., Li, Y., Cheng, J., Su, H., Zhao, X. ... Wang, S. (2020). Coupling N-2 and CO2 in H2O to synthesize urea under ambient conditions. Nature Chemistry, 12(8), 717-724. https://doi.org/10.1038/s41557-020-0481-9
Prokunina-Olsson, L., Alphonse, N., Dickenson, R. E., Durbin, J. E., Glenn, J. S., Hartmann, R., Kotenko, S. V., Lazear, H. M., O’Brien, T. R., Odendall, C., Onabajo, O. O., Piontkivska, H., Santer, D. M., Reich, N. C., Wack, A. & Zanoni, I. (2020). COVID-19 and emerging viral infections: The case for interferon lambda. Journal of Experimental Medicine, 217(5), Artikel e20200653. https://doi.org/10.1084/jem.20200653
Rutz, C., Claudio Loretto, M., E. Bates, A., Davidson, S. C., M. Duarte, C., Jetz, W., Johnson, M. P., Kato, A., Kays, R., Mueller, T., Primack, R. B., Ropert-Coudert, Y., Tucker, M. A., Wikelski, M. & Cagnacci, F. (2020). COVID-19 lockdown allows researchers to quantify the effects of human activity on wildlife. Nature Ecology & Evolution, 4(9), 1156-1159. https://doi.org/10.1038/s41559-020-1237-z
Dagallier, L.-P. M. J., Janssens, S. B., Dauby, G., Blach-Overgaard, A., Mackinder, B. A., Droissart, V., Svenning, J.-C., Sosef, M. S. M., Stévart, T., Harris, D. J., Sonké, B., Wieringa, J. J., Hardy, O. J. & Couvreur, T. L. P. (2020). Cradles and museums of generic plant diversity across tropical Africa. New Phytologist, 225(5), 2196-2213. https://doi.org/10.1111/nph.16293
Tietze, A., Galam, S. & Hofmann, P. (2020). Crediting multi-authored papers to single authors. Physica A: Statistical Mechanics and its Applications, 554, Artikel 124652. https://doi.org/10.1016/j.physa.2020.124652
Baimenov, A. Z., Berillo, D. A. & Inglezakis, V. J. (2020). Cryogel-based Ag°/Ag2O nanocomposites for iodide removal from water. Journal of Molecular Liquids, 299, Artikel 112134. https://doi.org/10.1016/j.molliq.2019.112134
Ganesh, C., Magri, B. & Venturi, D. (2020). Cryptographic reverse firewalls for interactive proof systems. I A. Czumaj, A. Dawar & E. Merelli (red.), 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020 (s. 55:1-55:16). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2020.55