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

Plessis, A. D. & Vosegaard, H. (2001). Characterisation of strong smooth stability. Mathematica Scandinavica, 88(2), 193-228. http://www.mscand.dk/article.php?id=42
Ørsted, B. & Vargas, J. (2004). Restriction of square-integrable representations: discrete spectrum. Duke Mathematical Journal, 123(3), 609-633.
Agarwal, P., Arge, L., Erickson, J., Yu, H., Albers, S. (red.) & Radzik, T. (red.) (2004). Efficient Tradeoff Schemes in Data Structures for Querying Moving Objects. I Ikke angivet (3221 i Lecture Notes in Computer Science udg., s. 4-15). Springer.
Agarwal, S. & Frandsen, G. S. (2004). Binary GCD like Algorithms for Some Complex Quadratic Rings. I D. Buell (red.), Algorithmic Number Theory: 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings (s. 57-71). Springer. https://doi.org/10.1007/978-3-540-24847-7_4
Ager, M. S. (2004). From Natural Semantics to Abstract Machines. BRICS Report Series, (RS-04-20).
Ager, M. S., Biernacki, D., Danvy, O. & Midtgaard, J. (2003). A Functional Correspondence Between Evaluators and Abstract Machines. I K. Sagonas & D. Miller (red.), Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (s. 8-19). Association for Computing Machinery. https://doi.org/10.1145/888251.888254
Ager, M. S., Danvy, O. & Goldberg, M. (2002). A Symmetric Approach to Compilation and Decompilation. I T. Æ. Mogensen, D. Schmidt & H. Sudborough (red.), The Essence of Computation: Complexity, Analysis, Transformation (s. 296-331). Springer. https://doi.org/10.1007/3-540-36377-7_14
Ager, M. S., Danvy, O. & Rohde, H. K. (2003). Fast Partial Evaluation of Pattern Matching in Strings. I Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation (s. 3-9). Association for Computing Machinery. https://doi.org/10.1145/777388.777390
Ager, M. S., Danvy, O. & Rohde, H. K. (2002). On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. I K. Asai (red.), ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation (s. 32-46). Association for Computing Machinery. https://doi.org/10.1145/568173.568177
Eriksen, M. A., Buscher, M. & Christensen, M. (2003). Grounded Imagination: Dialogue in Context. Afhandling præsenteret på Fieldworks - Dialogues between Art and Anthropology, Tate Modern Gallery, London, Storbritannien. http://www.tate.org.uk/modern/eventseducation/fieldworks
Alstrup, S., Brodal, G. S., Gørtz, I. L. & Rauhe, T. (2001). Time and Space Efficient Multi-Method Dispatching. Electronic Colloquium on Computational Complexity, (ITU-TR-2001-8).
Alstrup, S., Brodal, G. S., Gørtz, I. L. & Rauhe, T. (2002). Time and Space Efficient Multi-Method Dispatching. I M. Penttonen & E. M. Schmidt (red.), Algorithm Theory — SWAT 2002: 8th Scandinavian Workshop on Algorithm Theory Turku, Finland, July 3–5, 2002 Proceedings (s. 20-29). Springer. https://doi.org/10.1007/3-540-45471-3_3
Alstrup, S., Brodal, G. S. & Rauhe, T. (2001). Optimal Static Range Reporting in One Dimension. I Proceedings of the thirty-third annual ACM symposium on Theory of computing (s. 476-482). Association for Computing Machinery. https://doi.org/10.1145/380752.380842
Amtoft, T., Consel, C., Danvy, O. & Malmkjær, K. (2001). The Abstraction and Instantiation of String-Matching Programs. BRICS Report Series, (RS-01-12).
Amtoft, T., Consel, C., Danvy, O. & Malmkjær, K. (2002). The Abstraction and Instantiation of String-Matching Programs. I T. Mogensen, D. Schmidt & H. Sudborough (red.), The Essence of Computation: Complexity, Analysis, Transformation (s. 332-357). Springer. https://doi.org/10.1007/3-540-36377-7_15
Andersen, H. M. & Schultz, U. P. (2004). Declarative Specialization for Object-Oriented-Program Specialization. Afhandling præsenteret på ACM SIGPLAN 2004 Symposium on Partial Eveluation and Program Manipulation (PEPM'04), Verona, Italien.
Andersen, J. R., Bak, L., Grarup, S., Lund, K. V., Eskildsen, T., Hansen, K. M. & Torgersen, M. (2004). Design, Implementation, and Evaluation of the Resilient Smalltalk Embedded Platform. I Proceedings of the 12th European Smalltalk User Group (ESUG) Conference
Arge, L. (2004). External Geometric Data Structures. I Computing and Combinatorics: 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004. Proceedings (s. 1). Springer. https://doi.org/10.1007/978-3-540-27798-9_1
Arge, L., Brodal, G. S. & Toma, L. (2004). On External-Memory MST, SSP and Multi-Way Planar Graph Separation. Journal of Algorithms, 53(2), 186-206.
Arge, L., Meyer, U. & Toma, L. (2004). External Memory Algorithms for Diameter and All-Pair Shortest-Paths on Sparse Graphs. I J. Diaz, J. Karhumäki, A. Lepistö & D. Sannella (red.), Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings (s. 146-157). Springer. https://doi.org/10.1007/978-3-540-27836-8_15
Arge, L., Samoladas, V. & Yi, K. (2004). Optimal External-Memory Planar Point Enclosure. I S. Albers & T. Radzik (red.), Algorithms - ESA 2004: 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004. Proceedings (s. 40-52). Springer.
Arge, L. & Toma, L. (2004). Simplified External Memory Algorithms for Planar DAGS. I Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004. (3111 i Lecture Notes in Computer Science udg., Bind 3111/2004, s. 493-503). Springer.
Arge, L. & Vahrenhold, J. (2004). I/O-Efficient Dynamic Planar Point Location. Computational Geometry, 29(2), 147-162. https://doi.org/10.1016/j.comgeo.2003.04.001
Astesiano, E., Bidoit, M., Krieg-Brückner, B., Mosses, P. D., Sannella, D. & Tarlecki, A. (2002). CASL: The Common Algebraic Specification Language. Theoretical Computer Science, 286(2), 153-196.
Balat, V. & Danvy, O. (2002). Memorization in Type-Directed Partial Evaluation. I D. Batory, C. Consel & W. Taha (red.), Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings (s. 78-92). Springer. https://doi.org/10.1007/3-540-45821-2_5
Barak, B., Canetti, R., Nielsen, J. B., Pass, R. & IEEE (red.) (2004). Universally Composable Protocols with Relaxed Set-Up Assumptions. I Ikke angivet (s. 186-195). IEEE Press.
Bardram, J. E. (2003). Hospitals of the Future - Ubiquitous Computing support for Medical Work in Hospitals. I J. E. Bardram, I. Korhonen, A. Mihailidis & D. Wan (red.), Ubicom 2003: Fifth International Conference on Ubiquitous Computing: Seattle, Washington, USA (Bind ubicom2003, s. Artikel 13). Ubicomp.
Bardram, J. E. & Christensen, H. B. (2001). Middleware for Pervasive Healthcare - A White Paper. I B. Guruduth (red.), Proceedings of Advanced Topic Workshop -- Middleware for Mobile Computing University of Arizona Press. http://www.cs.arizona.edu/mmc/Program.html
Bardram, J. E. (2004). Activity-Based Support for Mobility and Collaboration in Ubiquitous Computing. I L. Baresi, S. Dustdar, H. Gall & M. Matera (red.), Ubiquitous Mobile Information and Collaboration Systems (Lecture Notes in Computer Science udg., Bind 3272, s. 169-184). Springer.
Bardram, J. E. (2004). Applications of Context-Aware Computing in Hospital Work - Examples and Design Principles. I 2004 ACM Symposium on Applied Computing: Proceedings of the 2004 ACM symposium on Applied computing (Bind SESSION: Ubiquitous computing (UC), s. 1574-1579). Association for Computing Machinery.
Bardram, J. E. (2004). Special issue on Pervasive Healthcare. (8(3) of IEEE Trans. on Inf. Tech. in Biomedicine udg.) IEEE Press.
Bardram, J. E., Adlam, T. (red.), Wactlar, H. (red.) & Korhonen, I. (red.) (2004). The Personal Medical Unit - A Ubiquitous Computing Infrastructure for Personal Pervasive Healthcare. I UbiHealth 2004: The 3nd International Workshop on Ubiquitous Computing for Pervasive Healthcare Applications (Nottingham, England ) UbiComp.org Community.
Bardram, J. E., Bossen, C., Dourish, P. (red.), Fitzpatrick, G. (red.), Schmidt, K. (red.), Kuutti, K. (red.) & Karsten, E. H. (red.) (2003). Moving to get aHead: Local Mobility and Collaborative Work. I ECSCW' 03: Proceedings of the eighth conference on European Conference on Computer Supported Cooperative Work (Bind ECSCW, s. 355-374). Kluwer Academic Publishers.
Bardram, J. E., Bossen, C., Lykke-Olesen, A., Madsen, K. H., Nielsen, R. & MacDonald, N. (red.) (2002). Virtual Video Prototyping of Pervasive Healthcare Systems. I Proceedings of the conference on Designing interactive systems: processes, practices, methods, and techniques (s. 167-177). Association for Computing Machinery.
Bardram, J. & Christensen, H. B. (2004). Open Issues in Activity-Based and Task-Level Computing. I Proceedings of First International Workshop on Computer Support for Human Tasks and Activities (PB-2004-60 of Cent. for Pervasive Comp. Tech. Rep udg., s. 56-61). Aarhus Universitet.
Bardram, J. (red.), Christensen, H. B. (red.), Garlan, D. & Sousa, J. (2004). First International Workshop on Computer Support for Human Tasks and Activities. (PB-2004-60 udg.) Center for Pervasive Computing Tech. Report.
Bardram, J., Christensen, H. B. & Hansen, K. M. (2004). Architectural Prototyping: An Approach for Grounding Architectural Design and Learning. I Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture: (Wisca 2004) (s. 15-24). IEEE Computer Society Press.
Bardram, J. E., Kjær, T. A. K. & Nielsen, C. (2003). Supporting Local Mobility in Healthcare by Application Roaming among Heterogeneous Devices. I Lecture Notes in Computer Science: Proceedings of the Fifth International Conference on Human Computer Interaction with Mobile Devices and Services (Bind 2795, s. 161-176). Springer.
Bardram, J. E., Larsen, S. B., Mamykina, L. (red.), Bardram, J. E. (red.), Korhonen, I. (red.), Mynatt, E. D. (red.) & Pratt, W. (red.) (2004). Hopper's Home and Hopper's Hospital: Usability Laboratories for Home Care. I The CHI2004 workshop on HCI and Homecare: Connecting Families and Clinicians
Basin, D. A., Danvy, O. & Harper, R. (2004). Editorial. Higher-Order and Symbolic Computation, 17(3), 171-171. https://doi.org/10.1023/B:LISP.0000029480.20108.7d

Sortér efter: Dato | Forfatter | Titel

Crossley, J. L., Smith, B., Tull, M., Elsey, R. M., Wang, T. & Crossley, D. A. (2023). Hypoxic incubation at 50% of atmospheric levels shifts the cardiovascular response to acute hypoxia in American alligators, Alligator mississippiensis. Journal of Comparative Physiology B: Biochemical, Systemic, and Environmental Physiology, 193(5), 545-556. https://doi.org/10.1007/s00360-023-01510-8
Vonnahme, T. R., Nowak, A., Hopwood, M. J., Meire, L., Søgaard, D. H., Krawczyk, D., Kalhagen, K. & Juul-Pedersen, T. (2023). Impact of winter freshwater from tidewater glaciers on fjords in Svalbard and Greenland: A review. Progress in Oceanography, 219, Artikel 103144. https://doi.org/10.1016/j.pocean.2023.103144
Ahmadi, K., Mahmoodi, S., Pal, S. C., Saha, A., Chowdhuri, I., Nguyen, T. T., Jarvie, S., Szostak, M., Socha, J. & Thai, V. N. (2023). Improving species distribution models for dominant trees in climate data-poor forests using high-resolution remote sensing. Ecological Modelling, 475, Artikel 110190. https://doi.org/10.1016/j.ecolmodel.2022.110190
Sanchez-Martinez, P., Mencuccini, M., García-Valdés, R., Hammond, W. M., Serra-Diaz, J. M., Guo, W. Y., Segovia, R. A., Dexter, K. G., Svenning, J. C., Allen, C. & Martínez-Vilalta, J. (2023). Increased hydraulic risk in assemblages of woody plant species predicts spatial patterns of drought-induced mortality. Nature Ecology & Evolution, 7(10), 1620-1632. https://doi.org/10.1038/s41559-023-02180-z
Amin, H., Šantl-Temkiv, T., Cramer, C., Finster, K., Real, F. G., Gislason, T., Holm, M., Janson, C., Jögi, N. O., Jogi, R., Malinovschi, A., Marshall, I. P. G., Modig, L., Norbäck, D., Shigdel, R., Sigsgaard, T., Svanes, C., Thorarinsdottir, H., Wouters, I. M. ... Bertelsen, R. J. (2023). Indoor Airborne Microbiome and Endotoxin: Meteorological Events and Occupant Characteristics Are Important Determinants. Environmental Science & Technology, 57(32), 11750-11766. https://doi.org/10.1021/acs.est.3c01616
Eme, L., Tamarit, D., Eva, C., Stairs, C. W., De Anda, V., Schön, M. E., Seitz , K. W., Dombrowski, N., Levis, W. H., Homa, F., Saw, J. H., Lombard, J., Nunoura, T., Li, W.-J., Hua, Z.-S., Chen, L.-X., Banfield, J., St John, E., Reysenbach, A.-L. ... Ettema, T. JG. (2023). Inference and reconstruction of the heimdallarchaeial ancestry of eukaryotes. Nature, 618(7967), 992-999. https://doi.org/10.1038/s41586-023-06186-2
Foskolos, I., Alexiadou, P., Koutouzi, N., Frey, S., Thompson, K. F., Boisseau, O. & Frantzis, A. (2023). Insights into the distribution and ingestion of prey-like plastic fishing lures in Mediterranean rough-toothed dolphins. Marine Pollution Bulletin, 188, Artikel 114701. https://doi.org/10.1016/j.marpolbul.2023.114701
Salehirozveh, M., Kure Larsen, A. K., Stojmenovic, M., Thei, F. & Dong, M. (2023). In-situ PLL-g-PEG Functionalized Nanopore for Enhancing Protein Characterization. Chemistry - An Asian Journal, 18(17), Artikel e202300515. https://doi.org/10.1002/asia.202300515
Mo, L., Zohner, C. M., Reich, P. B., Liang, J., de Miguel, S., Nabuurs, G. J., Renner, S. S., van den Hoogen, J., Araza, A., Herold, M., Mirzagholi, L., Ma, H., Averill, C., Phillips, O. L., Gamarra, J. G. P., Hordijk, I., Routh, D., Abegg, M., Adou Yao, Y. C. ... Crowther, T. W. (2023). Integrated global assessment of the natural forest carbon potential. Nature, 624(7990), 92-101. https://doi.org/10.1038/s41586-023-06723-z
Elbrønd, V. S., Thomsen, M. B., Isaksen, J. L., Lunde, E. D., Vincenti, S., Wang, T., Tranum-Jensen, J. & Calloe, K. (2023). Intramural Purkinje fibers facilitate rapid ventricular activation in the equine heart. Acta Physiologica, 237(3), Artikel e13925. https://doi.org/10.1111/apha.13925
Arias, C. A., Vera-Puerto, I. L. & Chaparro, T. R. (2023). Introducción. I Soluciones basadas en la naturaleza para el tratamiento de aguas residuales (s. 7-9). IWA Publishing.
Zhao, M., Li, P., Song, W., Chu, X., Eller, F., Wang, X., Liu, J., Xiao, L., Wei, S., Li, X. & Han, G. (2023). Inundation depth stimulates plant-mediated CH4 emissions by increasing ecosystem carbon uptake and plant height in an estuarine wetland. Functional Ecology, 37(3), 536-550. https://doi.org/10.1111/1365-2435.14258
Fløjgaard, C., Buitenwerf, R. & Ejrnæs, R. (2023). Kortlægning af tætheder af store planteædere i helårsgræsningsprojekter. Aarhus University, DCE - Danish Centre for Environment and Energy. Fagligt notat fra DCE – Nationalt Center for Miljø og Energi (2020-...) Bind 2323 Nr. 5 https://dce.au.dk/fileadmin/dce.au.dk/Udgivelser/Notater_2023/N2023_05.pdf
Martínez Villar, M., Germil, M., Pavón-Peláez, C., Tomasco, I. H., Bilde, T., Toft, S. & Albo, M. J. (2023). Lack of Female Preference for Nuptial Gifts May Have Led to Loss of the Male Sexual Trait. Evolutionary Biology, 50(3), 318-331. https://doi.org/10.1007/s11692-023-09606-3
Post, E., Kaarlejärvi, E., Macias-Fauria, M., Watts, D. A., Bøving, P. S., Cahoon, S. M. P., Conor Higgins, R., John, C., Kerby, J. T., Pedersen, C., Post, M. & Sullivan, P. F. (2023). Large herbivore diversity slows sea ice associated decline in arctic tundra diversity. Science, 380(6651), 1282-1287. https://doi.org/10.1126/science.add2679
Walker, T. W. N., Schrodt, F., Allard, P. M., Defossez, E., Jassey, V. E. J., Schuman, M. C., Alexander, J. M., Baines, O., Baldy, V., Bardgett, R. D., Capdevila, P., Coley, P. D., van Dam, N. M., David, B., Descombes, P., Endara, M. J., Fernandez, C., Forrister, D., Gargallo-Garriga, A. ... Peñuelas, J. (2023). Leaf metabolic traits reveal hidden dimensions of plant form and function. Science Advances, 9(35), Artikel eadi4029. https://doi.org/10.1126/sciadv.adi4029
Arias, C. A., Vera-Puerto, I. L. & Chaparro, T. R. (2023). Lecciones aprendidas. I K. Cross, K. Tondera, A. Rizzo, L. Andrews, B. Pucher, D. Istenič, N. Karres & R. McDonald (red.), Soluciones basadas en la naturaleza para el tratamiento de aguas residuales (s. 332-337). IWA Publishing. https://doi.org/10.2166/9781789063035
Barfod, A. S., Pasgaard, M. & Svenning, J.-C. (2023). Livet på land: livet på land kræver gennemgribende samfundsforandringer. I S. Hildebrandt (red.), Det Bæredygtige Danmark. : med Verdensmålene mod 2030 (s. 395-416). Djøf Forlag.
El-Saadi, M. I., Brzezinski, K., Hinz, A., Phillips, L., Wong, A., Gerber, L., Overgaard, J. & MacMillan, H. A. (2023). Locust gut epithelia do not become more permeable to fluorescent dextran and bacteria in the cold. Journal of Experimental Biology, 226(16), Artikel jeb246306. https://doi.org/10.1242/jeb.246306
Xu, S., Marcon, A., Bertelsen, R. J., Benediktsdottir, B., Brandt, J., Engemann, K., Frohn, L. M., Geels, C., Gislason, T., Heinrich, J., Holm, M., Janson, C., Markevych, I., Modig, L., Orru, H., Schlünssen, V., Sigsgaard, T. & Johannessen, A. (2023). Long-term exposure to low-level air pollution and greenness and mortality in Northern Europe: The Life-GAP project. Environment International, 181, Artikel 108257. https://doi.org/10.1016/j.envint.2023.108257
Bundgaard, A., Gruszczyk, A. V., Prag, H. A., Williams, C., McIntyre, A., Ruhr, I. M., James, A. M., Galli, G. L. J., Murphy, M. P. & Fago, A. (2023). Low production of mitochondrial reactive oxygen species after anoxia and reoxygenation in turtle hearts. Journal of Experimental Biology, 226(9), Artikel jeb245516. https://doi.org/10.1242/jeb.245516