Publications

The most recently published scientific articles from the Department of Biology. The overview shows the Department's publications with the latest at the top:

Sort by: Date | Author | Title

Rattan, S. (2015). Aging and senescence of skin cells in culture. In M. A. Farage, K. W. Miller & M. H.I. (Eds.), Textbook of Aging Skin (pp. 1-8). Springer. https://doi.org/10.1007/978-3-642-27814-3_50-2

Slotsbo, S., Sørensen, J. G., Holmstrup, M., Kostál, V., Kellermann, V. & Overgaard, J. (2016). Tropical to subpolar gradient in phospholipid composition suggests adaptive tuning of biological membrane function in drosophilids. Functional Ecology, 30(5), 759-768. https://doi.org/10.1111/1365-2435.12568

Daval-Markussen, A. & Elíasson, O. (2015). Development of creole languages on Réunion and Mauritius in the 17th century — a computational approach. Pictures, Video and sound recordings (digital), Medialab.

Prentow, T. S. (2015). Spatio-Temporal Analysis of Human Activities in Indoor Environments through Mobile Sensing: With Applications in Large-Scale Hospital Service Logistics. Department of Computer Science, Aarhus University.

Umar, M., Khan, A. S., Kelling, G., Friis, H. & Kassi, A. M. (2016). Reservoir attributes of a hydrocarbon-prone sandstone complex: case of the Pab Formation (Late Cretaceous) of Southwest Pakistan. Arabian Journal of Geosciences, 9(74), 1-15. https://doi.org/10.1007/s12517-015-2170-3

Nielsen, T. F. D., Andersen, J. C. Ø., Holness, M. B., Keiding, J. K., Rudashevsky, N. S., Rudashevsky, V. N., Salmonsen, L. P., Tegner, C. & Veksler, I. V. (2015). The Skaergaard PGE and Gold Deposit: the Result of in situ Fractionation, Sulphide Saturation, and Magma Chamber-scale Precious Metal Redistribution by Immiscible Fe-rich Melt. Journal of Petrology, 56(8), 1643–1676. https://doi.org/10.1093/petrology/egv049

Devriese, D., Piessens, F. & Birkedal, L. (2015). Reasoning about Object Capabilities with Logical Relations and Effect Parametricity: Technical Report including Proofs and Details. Association for Computing Machinery. http://cs.au.dk/~birke/papers/object-capabilities-tr.pdf

Bizjak, A., Grathwohl, H. B., Clouston, R., Birkedal, L. & Møgelberg, R. E. (2015). Guarded dependent type theory with coinductive types. In Foundations of Software Science and Computation Structures Springer. https://doi.org/10.1007/978-3-662-49630-5_2

Dodds, M., Jagannathan, S., Parkinson, M. J., Svendsen, K. & Birkedal, L. (2016). Verifying custom synchronisation constructs using higher-order separation logic. ACM Transactions on Programming Languages and Systems, 38/2(2), 4:1 - 4:72. Article 4. https://doi.org/10.1145/2818638

Gunnlaugsson, H. P., Salmonsen, L. P. & Tegner, C. (2015). Mössbauer spectroscopy of samples from the Skaergaard intrusion..

Bjerregaard, N. (2015). tPA-binding RNA Aptamers.

Hansen, A. M. K., Hong, J., Kristensen, K., Ylisirniö, A., Virtanen, A., Petäjä, T., Glasius, M. & Prisle, N. L. (2015). Hygroscopic growth and critical super-saturation of limonene-derived organosulfates and their mixtures with ammonium sulfate.

Hansen, A. M. K. (2015). Formation, Occurrence and Climatic effects of Organosulfates and other molecular tracers of Secondary Organic Aerosols.

Sonne, T. & Grønbæk, K. (2015). Designing Assistive Technologies for the ADHD Domain. Paper presented at 5th EAI International Symposium on Pervasive Computing Paradigms for Mental Health, Milan, Italy.

Pirk, N., Santos, T., Gustafson, C., Johansson, A. J., Tufvesson, F., Parmentier, F. J. W., Mastepanov, M. & Christensen, T. R. (2015). Methane emission bursts from permafrost environments during autumn freeze-in: New insights from ground-penetrating radar. Geophysical Research Letters, 42(16), 6732-6738. https://doi.org/10.1002/2015GL065034

Parmentier, F. J. W., Zhang, W., Mi, Y., Zhu, X., van Huissteden, J., Hayes, D. J., Zhuang, Q., Christensen, T. R. & McGuire, A. D. (2015). Rising methane emissions from northern wetlands associated with sea ice decline. Geophysical Research Letters, 42(17), 7214–7222. https://doi.org/10.1002/2015GL065013

Andersen, K. K., Kirkegaard, C., Foged, N., Christiansen, A. V. & Auken, E. (2016). Artificial neural networks for removal of couplings in airborne transient electromagnetic data. Geophysical Prospecting, 64(3), 741-752. https://doi.org/10.1111/1365-2478.12302

Takizawa, S., Breitenbach, T., Westberg, M., Holmegaard, L., Gollmer, A., Jensen, R. L., Murata, S. & Ogilby, P. R. (2015). Solvent dependent photosensitized singlet oxygen production from an Ir(III) complex: pointing to problems in studies of singlet-oxygen-mediated cell death. Photochemical & Photobiological Sciences, 14(10), 1831-1843. https://doi.org/10.1039/C5PP00230C

Baader, S. & Bødker, S. (2015). SketchCode – an extensible code editor for crafting software. In End-User Development: 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings (Vol. 9083, pp. 211-216). Springer. https://doi.org/10.1007/978-3-319-18425-8_18

Lundkvist, M. (2015). Asteroseismology of solar-like stars - Exoplanet hosts in the Kepler era.

Bødker, S., Bertelsen, O. W., Bannon, L. J., De Souza, C., Barbosa, S. & Prates, R. (2015). Mediation and Meaning in HCI. In Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV (pp. 667-668). Springer. https://doi.org/10.1007/978-3-319-22723-8_93

Bødker, S. (2015). Third-wave HCI, 10 years later - participation and sharing. interactions, 22(5), 24-31. https://doi.org/10.1145/2804405

Bødker, S. (2015). Using IT to ‘do good’ in communities? Journal of Community Informatics, 11(2). http://www.ci-journal.net/index.php/ciej/article/view/1151

Blevis, E., Koskinen, I. K., Lee, K.-P., Bødker, S., Chen, L.-L., Lim, Y., Wei, H. & Wakkary, R. (2015). Transdisciplinary Interaction Design in Design Education. In B. Begole & J. Kim (Eds.), Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (pp. 833-838). Association for Computing Machinery. https://doi.org/10.1145/2702613.2724726

Hornbæk, K., Oulasvirta, A., Reeves, S. & Bødker, S. (2015). What to Study in HCI? In B. Begole & J. Kim (Eds.), Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (pp. 2385-2388). Association for Computing Machinery. https://doi.org/10.1145/2702613.2702648

Blevis, E., Bødker, S., Flach, J., Forlizzi, J., Jung , H., Kaptelinin, V., Nardi, B. & Rizzo, A. (2015). Ecological Perspectives in HCI: Promise, Problems, and Potential. Abstract from CHI Workshop on Ecological Perspectives in HCI, Korea, Republic of. https://doi.org/10.1145/2702613.2702634

Bødker, S. & Zander, P.-O. (2015). Participation in design between public sector and local communities. In B. Begole & J. Kim (Eds.), Proceedings of the 7th International Conference on Communities and Technologies, C&T '15 Association for Computing Machinery. https://doi.org/10.1145/2768545.2768546

Bødker, S. & Klokmose, C. N. (2015). A dialectical take on artifact ecologies and the physical - digital divide. Paper presented at CHI Workshop on Ecological Perspectives in HCI, Korea, Republic of. http://rizzo.media.unisi.it/EPCHI2015/resources/papers/A-dialectical-take-on-artifact-ecologies.pdf

Kromann-Tofting, T. (2016). Orthosteric and Allosteric Regulation in Trypsin-Like Peptidases. Aarhus University, Science and Technology.

Bundgaard Christiansen, G., Harbak, B., E. Hede, S., H. Gouliaev, A., Olsen, L., Frydenvang, K., Jensen, J. E., Sandholm Kastrup, J. & Holm, M. M. (2015). A novel dualistic profile of an allosteric AMPA receptor modulator identified through studies on recombinant receptors, mouse hippocampal synapses and crystal structures. Neuroscience, 310, 709.

Staniec, D., Ksiazek, M., Thøgersen, I. B., Enghild, J. J., Sroka, A., Bryzek, D., Bogyo, M., Abrahamson, M. & Potempa, J. (2015). Calcium Regulates the Activity and Structural Stability of Tpr, a Bacterial Calpain-like Peptidase. Journal of Biological Chemistry, 290, 27248-27260. https://doi.org/10.1074/jbc.M115.648782

Awodey, S., Birkedal, L. & Scott, D. S. (2002). Local realizability toposes and a modal logic for computability. Mathematical Structures in Computer Science, 12(3), 319-334. https://doi.org/10.1017/S0960129502003675

Kahlert, J. A., Fox, A. D., Heldbjerg, H., Asferg, T. & Sunde, P. (2015). Functional responses of human hunters to their prey - why harvest statistics may not always reflect changes in prey population abundance. Abstract from 3rd Science for the Environment Conference, Aarhus, Denmark.

Su, X., Xu, B., Liang, H., Olsen, J., Yuan, W., Cnattingius, S., László, K. D. & Li, J. (2015). Prenatal maternal bereavement and risk of eating disorders in infants and toddlers: a population-based cohort study. BMC Psychiatry, 15(1), 229. https://doi.org/10.1186/s12888-015-0612-9

Willerslev, R. (2015). På flugt i Sibirien: Zobeljagt, russisk mafia og 65 minusgrader. (2 ed.) Gyldendal.

Bertelsen, O. W. (Ed.), Fitzpatrick, G. (Ed.), Höök, K. H., Balaam, M. (Ed.) & Grönvall, E. (Ed.) (2010). Proceedings of Therapeutic Strategies: A Challenge for User Involvement in Design Workshop in conjunction with NORDICHI 2010 17. October 2010, Reykjavik, Iceland. Department of Computer Science, Aarhus University. DAIMI PB No. 593 http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7183/6129

Nielsen, K. H. (2015). Danske forskere trues til tavshed. Politiken, Debat, 6. http://politiken.dk/debat/ECE2868635/danske-forskere-trues-til-tavshed/

Nielsen, K. H. (2015). Between innovation and risk: Images of science and technology in artworks by Gerhard Richter and Olafur Eliasson. Abstract from International Conference on Science, Research and Popular Culture, Klagenfurt, Austria.

Boardman, L., Sørensen, J. G. & Terblanche, J. S. (2015). Physiological and molecular mechanisms associated with cross tolerance between hypoxia and low temperature in Thaumatotibia leucotreta. Journal of Insect Physiology, 82, 75-84. https://doi.org/10.1016/j.jinsphys.2015.09.001

Thomsen, M. K., Dange, D., Jones, C. & Overgaard, J. (2015). Chemical Bonding and Electronic Localization in a Ga^I Amide. Chemistry: A European Journal, 21(41), 14460-14470. https://doi.org/10.1002/chem.201500760

Vilhjálmsson, B. J., Yang, J., Finucane, H. K., Gusev, A., Lindström, S., Ripke, S., Genovese, G., Loh, P.-R., Bhatia, G., Do, R., Hayeck, T., Won, H.-H., Kathiresan, S., Pato, M., Pato, C., Tamimi, R., Stahl, E., Zaitlen, N., Pasaniuc, B. ... Børglum, A. (2015). Modeling Linkage Disequilibrium Increases Accuracy of Polygenic Risk Scores. American Journal of Human Genetics, 97(4), 576-92. https://doi.org/10.1016/j.ajhg.2015.09.001

Madsen, J., Sørensen, T. R., Kaspersen, J. D., Silow, M. B., Vind, J., Pedersen, J. S., Svendsen, A. & Otzen, D. E. (2015). Promoting protein self-association in non-glycosylated Thermomyces lanuginosus lipase based on crystal lattice contacts. BBA Proteins and Proteomics, 154(12), 1914-1921. https://doi.org/10.1016/j.bbapap.2015.09.007

Dovgaliuk, I., Jepsen, L. H., Safin, D. A., Łodziana, Z., Dyadkin, V., Jensen, T. R., Devillers, M. & Filinchuk, Y. (2015). A Composite of Complex and Chemical Hydrides Yields the First Al-Based Amidoborane with Improved Hydrogen Storage Properties. Chemistry: A European Journal, 21(41), 14562-70. https://doi.org/10.1002/chem.201501302

Hede, M. S., Nkem Okorie, P., Kirk Fruekilde, S., Fjelstrup, S., Thomsen, J., Franch, O., Tesauro, C., Tobias Bugge, M., Christiansen, M., Stephane, P., Lotsch, F., Ghyslain, M.-N., Mischlinger, J., Adegnika, A. A., Pedersen, F. S., Ho, Y.-P., Petersen, E., Stougaard, M., Ramharter, M. & Knudsen, B. R. (2015). Refined Method for Droplet Microfluidics-Enabled Detection of Plasmodium falciparum Encoded Topoisomerase I in Blood from Malaria Patients. Micromachines, 6(10), 1505-1513. https://doi.org/10.3390/mi6101432

Afshani, P. & Sitchinava , N. (2015). Sorting and Permuting without Bank Conflicts on GPUs. In N. Bansal & I. Finocchi (Eds.), Algorithms – ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14–16, 2015, Proceedings (pp. 13-24). Springer VS. https://doi.org/10.1007/978-3-662-48350-3_2

Askarov, A., Moore, S., Dimoulas, C. & Chong, S. (2015). Cryptographic Enforcement of Language-Based Information Erasure. In L. Viganò (Ed.), 28th IEEE Computer Security Foundations Symposium CSF 2015 : Proceedings (pp. 334-348). IEEE Computer Society Press. https://doi.org/10.1109/CSF.2015.30

Askarov, A., Chong, S. & Mantel, H. A. (2015). Hybrid Monitors for Concurrent Noninterference. In L. Viganò (Ed.), 28th IEEE Computer Security Foundations Symposium CSF 2015 : Proceedings (pp. 137 - 151). IEEE Computer Society Press. https://doi.org/10.1109/CSF.2015.17

Christensen, L. R. & Bertelsen, O. W. (2015). View of Causation for CSCW: Manipulation and Control in the Material Field of Work. In V. Wulf, K. Schmidt & D. Randall (Eds.), Designing Socially Embedded Technologies in the Real-World, Part II (pp. 151-169). Springer. https://doi.org/10.1007/978-1-4471-6720-4_8