Aarhus Universitets segl

Publikationer

Følg med i de senest publicerede videnskabelige artikler fra Institut for Biologi. Oversigten viser Instituttets publikationer med de nyeste øverst:

Sortér efter: Dato | Forfatter | Titel

Strachan, J. B., Dyett, B. P., Jones, N. C., Hoffmann, S. V., Valery, C. & Conn, C. E. (2021). Reduction of enzymatic degradation of insulin via encapsulation in a lipidic bicontinuous cubic phase. Journal of Colloid and Interface Science, 592, 135-144. https://doi.org/10.1016/j.jcis.2021.02.027
Timany, A. & Birkedal, L. (2021). Reasoning about monotonicity in separation logic. I Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’21) (s. 91-104). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439931
Abrego, N., Roslin, T., Huotari, T., Ji, Y., Schmidt, N. M., Wang, J., Yu, D. W. & Ovaskainen, O. (2021). Accounting for species interactions is necessary for predicting how arctic arthropod communities respond to climate change. Ecography, 44(6), 885-896. https://doi.org/10.1111/ecog.05547
Damsgaard, A., Sergienko, O. & Adcroft, A. (2021). The Effects of Ice Floe-Floe Interactions on Pressure Ridging in Sea Ice. Journal of Advances in Modeling Earth Systems, 13(7), Artikel e2020MS002336. https://doi.org/10.1029/2020MS002336
Damsgaard, A., Suckale, J., Li, D., Kasmalkar, I., Amundson, J., Goren, L. & Cabrales-Vargas, A. (2019). A new continuum model for subglacial till based on granular rheology. Abstract fra International Glaciological Society Symposium on Glacial Erosion and Sedimentation, Madison, USA.
Kasmalkar, I., Damsgaard, A., Goren, L., Suckale, J. & Cabrales-Vargas, A. (2019). Subglacial sediment beds resist fast ice flow by facilitating meltwater drainage. Abstract fra AGU Fall Meeting 2019, San Francisco, USA.
Suckale, J., Kasmalkar, I., Damsgaard, A., Mantelli, E., Cabrales-Vargas, A., Li, D., Goren, L. & Elsworth, C. (2019). Progress on understanding the subglacial hydrology over till beds with ramifications for ice dynamics and sediment transport. Abstract fra International Glaciological Society Symposium on Glacial Erosion and Sedimentation, Madison, USA.
Damsgaard, A., Suckale, J. & Goren, L. (2020). The role of granular mechanics and porous flow for ice sheet behavior in a changing climate. Abstract fra 7th European Seminar on Computing (ESCO) 2020, Pilsen, Tjekkiet.
Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2021). Optimal Prediction of Synchronization-Preserving Races. Proceedings of the ACM on Programming Languages , 5(POPL), Artikel 36. https://doi.org/10.1145/3434317
Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B. (2021). Extracting smart contracts tested and verified in Coq. I C. Hritcu & A. Popescu (red.), CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021 (s. 105-121). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439934
Kulik, T., Boudjadar, J. & Aranha, D. F. (2021). Formally Verified Credentials Management for Industrial Control Systems. I Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering (s. 75-85). IEEE. https://doi.org/10.1109/FormaliSE52586.2021.00014
Holding, J. M., Brown, K., Huntington, H. P., Bhatt, U. S., Carmack, E. C., Wassmann, P. & Quesada, C. M. D. (2020). An Arctic Marine Ecosystem Conceptual Model: The Interactions Matrix Revealed. Poster-session præsenteret på Ocean Sciences Meeting 2020, San Diego, California, USA. https://agu.confex.com/agu/osm20/meetingapp.cgi/Paper/652009
Geurts, M. M. G., Clausen, J. D., Arnou, B., Montigny, C., Lenoir, G., Corey, R. A., Jaxel, C., Møller, J. V., Nissen, P., Andersen, J. P., Le Maire, M. & Bublitz, M. (2020). The SERCA residue Glu340 mediates interdomain communication that guides Ca2+transport. Proceedings of the National Academy of Sciences (PNAS), 117(49), 31114-31122. https://doi.org/10.1073/pnas.2014896117
Bailey, S., Sroga, G. E., Hoac, B., Katsamenis, O. L., Wang, Z., Bouropoulos, N., McKee, M. D., Sørensen, E. S., Thurner, P. J. & Vashishth, D. (2020). The role of extracellular matrix phosphorylation on energy dissipation in bone. eLife, 9, 1-19. Artikel e58184. https://doi.org/10.7554/eLife.58184
Hansen, B., Voutchkova, D. D., Sandersen, P. B. E., Kallesøe, A., Thorling, L., Møller, I., Madsen, R. B., Jakobsen, R., Aamand, J., Maurya, P. & Kim, H. (2021). Assessment of complex subsurface redox structures for sustainable development of agriculture and the environment. Environmental Research Letters, 16(2), Artikel 025007. https://doi.org/10.1088/1748-9326/abda6d
Ateniese, G., Francati, D., Magri, B. & Venturi, D. (2021). Immunization against complete subversion without random oracles. Theoretical Computer Science, 859, 1-36. https://doi.org/10.1016/j.tcs.2021.01.002
Pilatowsky-Cameo, S., Villaseñor, D., Bastarrachea-Magnani, M. A., Lerma-Hernández, S., Santos, L. F. & Hirsch, J. G. (2021). Ubiquitous quantum scarring does not prevent ergodicity. Nature Communications, 12, Artikel 852. https://doi.org/10.1038/s41467-021-21123-5
Shahsavar, A., Stohler, P., Bourenkov, G., Zimmermann, I., Siegrist, M., Guba, W., Pinard, E., Sinning, S., Seeger, M. A., Schneider, T. R., Dawson, R. J. P. & Nissen, P. (2021). Structural insights into the inhibition of glycine reuptake. Nature, 591(7851), 677-681. https://doi.org/10.1038/s41586-021-03274-z
Troullinou, G., Kondylakis, H., Lissandrini, M. & Mottin, D. (2021). SOFOS: Demonstrating the Challenges of Materialized View Selection on Knowledge Graph. I Proceedings of the 2021 International Conference on Management of Data (SIGMOD/PODS '21) (s. 2789–2793). Association for Computing Machinery. https://doi.org/10.1145/3448016.3452765
Nielsen, K. H. (2021). Uenighed om enighed. Weekendavisen, (Sektion 4 (Ideer)), 5.
Andersen, S. U., Chakraborty, T., Chen, W., Chen, X.-M., Chen, Y., Hansen, M., Huang, K., Hubner, C. A., Jensen, T. E., Jessen, N., Kaufmann, S. H. E., Lee, J.-Y., Li, B., Li, J., Li, J., Li, Q., Li, Y., Lindner, P., Liu, W. ... Rogov, V. (2021). Guidelines for the use and interpretation of assays for monitoring autophagy (4th edition) 1. Autophagy, 17(1), 1-382. https://doi.org/10.1080/15548627.2020.1797280

Sortér efter: Dato | Forfatter | Titel