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

Danvy, O. (2004). Sur un Exemple de Patrick Greussay. BRICS Report Series, (RS-04-41).
Danvy, O., Damian, D. & Taha, W. (red.) (2001). Static Transition Compression. I Semantics, Applications, and Implementation of Program Generation (Bind 2196 of Lecture Notes in Computer Science, s. 92-107). Springer.
Danvy, O. & Goldberg, M. (2001). There and Back Again. BRICS Report Series, (RS-01-39).
Danvy, O. & Goldberg, M. (2002). There and Back Again. I Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (s. 230-234). Association for Computing Machinery. https://doi.org/10.1145/581478.581500
Danvy, O., Grobauer, B. & Rhiger, M. (2001). A Unifying Approach to Goal-Directed Evaluation. New Generation Computing, 20(1), 53-74. https://doi.org/10.1007/BF03037259
Danvy, O. & López, P. E. M. (2003). Tagging, Encoding, and Jones Optimality. I P. Degano (red.), Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings (s. 335-347). Springer. https://doi.org/10.1007/3-540-36575-3_23
Danvy, O. & Nielsen, L. R. (2002). A First-Order One-Pass CPS Transformation. I M. Nielsen & U. Engberg (red.), Foundations of Software Science and Computer Structures: 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings (s. 367-393). Springer. https://doi.org/10.1007/3-540-45931-6_8
Danvy, O. & Nielsen, L. R. (2003). A First-Order One-Pass CPS Transformation. Theoretical Computer Science, 308(1), 239-257.
Danvy, O. & Nielsen, L. R. (2001). A Higher-Order Colon Translation. I H. Kuchen & K. Ueda (red.), Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings (s. 78-91). Springer. https://doi.org/10.1007/3-540-44716-4_5
Danvy, O. & Nielsen, L. R. (2004). CPS Transformation of Beta-Redexes. BRICS Report Series, (RS-04-39).
Danvy, O. & Nielsen, L. R. (2002). On One-Pass CPS Transformations. BRICS Report Series, (RS-02-3).
Danvy, O. & Nielsen, L. R. (2004). Refocusing in Reduction Semantics. BRICS Report Series, (RS-04-26).
Danvy, O. & Nielsen, L. R. (2001). Syntactic Theories in Practice. BRICS Report Series, (RS-01-31).
Danvy, O. & Nielsen, L. R. (2002). Syntactic Theories in Practice. BRICS Report Series, (RS-02-4).
Danvy, O. & Rhiger, M. (2001). A Simple Take on Typed Abstract Syntax in Haskell-like Languages. I H. Kuchen & K. Ueda (red.), Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings (s. 343-358). Springer. https://doi.org/10.1007/3-540-44716-4_22
Danvy, O., Rhiger, M. & Rose, K. H. (2001). Normalization by Evaluation with Typed Abstract Syntax. BRICS Report Series, (RS-01-16).
Danvy, O. & Schultz, U. P. (2002). Lambda-Lifting in Quadratic Time. I Z. Hu & M. Rodríguez-Artalejo (red.), Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings (s. 134-151). Springer. https://doi.org/10.1007/3-540-45788-7_8
Danvy, O. & Schultz, U. P. (2004). Lambda-lifting in Quadratic Time. Journal of Functional and Logic Programming (JFLP), 2004(1).
Doh, K., Mosses, P. D., van den Brand, M. (red.) & Parigot, D. (red.) (2001). Composing Programming Languages by Combining Action-Semantics Modules. I Ikke angivet (44(2) of Elec. Notes in Theoretical Comp. Sci udg., Bind 44, s. 87-109). Pergamon Press.
Doh, K. & Mosses, P. D. (2003). Composing Programming Languages by Combining Action-Semantics Modules. Science of Computer Programming, 47(1), 3-36.
Ernst, E. (2004). Delegation by First-Class Methods. I K. Østerbye (red.), Proceedings of 11th Nordic Workshop on Programming and Software Development Tools and Techniques (NWPER'04) (s. 109-124). Turku Center for Computer Science.
Ernst, E. & Cardelli, L. (red.) (2003). Higher-Order Hierarchies. I ECOOP 2003 -- Object-Oriented Programming: Lecture Notes in Computer Science (s. 109-156). Springer. https://doi.org/10.1007/b11832
Ernst, E. (2002). Method Mixins. Daimi Report Series (DAIMI PB), (557).
Ernst, E. (2002). Safe Dynamic Multiple Inheritance. Nordic Journal of Computing, 9(3), 191-208.
Ernst, E. (2003). Separation of Concerns. I Proceedings of Software Engineering Properties of Languages for Aspect Technologies 2003 Datalogisk Institut, Aarhus Universitet.
Ernst, E. (2004). Simple, eh?. Afhandling præsenteret på Software-engineering Properties of Languages for Aspect Technologies (SPLAT'04), Lancaster, Storbritannien.
Ernst, E. (2004). The Expression Problem, Scandinavian Style. I MASPEGHI 2004 (ISRN I3S/RR-2004-15-FR udg.). Laboratoire I3S, Sophia Antipolis.
Filinski, A., Rohde, H. K. & Walukiewicz, I. (red.) (2004). A Denotational Account of Untyped Normalization by Evaluation. I Foundations of Software Science and Computation Structures: Proceedings of the 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 (2987 udg., Bind Lecture Notes in Computer Science, s. 167-181). Springer.
Fjuk, A., Berge, O., Bennedsen, J. & Caspersen, M. E. (2004). Learning Object-Orientation through ICT-mediated Apprenticeship. I Proceedings of the IEEE International Conference on Advanced Learning Technologies (s. 380-384). IEEE Computer Society Press. https://doi.org/10.1109/ICALT.2004.1357441
Frandsen, G. S. & Shparlinski, I. E. (2004). On Reducing a System of Equations to a Single Equation. I 2004 International Symposium on Symbolic and Algebraic Computation (s. 163-166). Association for Computing Machinery. https://doi.org/10.1145/1005285.1005310
Gal, A. & Miltersen, P. B. (2003). The Cell Probe Complexity of Succinct Data Structures. I J. C. M. Baeten, J. K. Lenstra, J. Parrow & G. J. Wöeginger (red.), Automata, Languages and Programming: 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 - July 4, 2003 Proceedings (s. 442-453). Springer. https://doi.org/10.1007/3-540-45061-0_28
Gerhardy, P., Baaz, M. (red.) & Makowsky, J. A. (red.) (2003). Refined Complexity Analysis of Cut Elimination. I Ikke angivet (2803 of Lecture Notes in Computer Science udg., s. 212-225). Springer.
Gerhardy, P. & Kohlenbach, U. (2003). Extracting Herbrand Disjunctions by Functional Interpretation. BRICS Report Series, (RS-03-32).
Gerhardy, P. & Kohlenbach, U. (2004). Strongly Uniform Bounds from Semi-Constructive Proofs. BRICS Report Series, (RS-04-31).
Goldberg, M. & Torgersen, M. (2002). How to Circumvent Church Numerals. Nordic Journal of Computing, 9(1), 1-12.
Grønbæk, K., Whitehead, J., De Bra, P., Larsen, D., Leggett, J. & Schraefel, M. (2002). Seven Issues Revisited. I Conference on Hypertext and Hypermedia: Proceedings of the thirteenth ACM conference on Hypertext and hypermedia (s. 171). Association for Computing Machinery.
Grønbæk, K., Gundersen, K. K., Mogensen, P. H. & Ørbæk, P. (2001). Interactive Room Support for Complex and Distributed Design Projects. I M. Hirose (red.), Human-Computer Interaction: INTERACT'01 (s. 407-414). Ohmsha.
Grønbæk, K., Kristensen, J. F., Ørbæk, P. & Eriksen, M. A. (2003). Augmenting Physical Material with Hypermedia Structures. New Review of Hypermedia and Multimedia, 9(1), 5-34. https://doi.org/10.1080/13614560410001725293
Grønbæk, K., Kristensen, J. F., Ørbæk, P. & Eriksen, M. A. (2003). Physical Hypermedia: Organising Collections of Mixed Physical and Digital Material. I Proceedings of the fourteenth ACM conference on Hypertext and Hypermedia (s. 10-19). Association for Computing Machinery. https://doi.org/10.1145/900051.900056
Grønbæk, K., Krogh, P. G. & Kyng, M. (2001). Intelligent Buildings and pervasive computing - research perspectives and discussions. I P. Bille (red.), Architectural Research and Information Technology (s. 33-40). Aarhus School of Architecture.
Grønbæk, K., Vestergaard, P. P. & Ørbæk, P. (2002). Towards Geo-spatial Hypermedia: Concepts and Prototype Implementation. I J. Blustein (red.), Proceedings of the 13th ACM Conference on Hypertext and Hypermedia (s. 117-126). Association for Computing Machinery. https://doi.org/10.1145/513338.513370
Hagerup, T., Miltersen, P. B. & Pagh, R. (2001). Deterministic Dictionaries. Journal of Algorithms, 41, 69-85.
Hagerup, T., Miltersen, P. B. & Pagh, R. (2001). Deterministic Dictionaries. J. Algorithms, 41(1), 69-85.
Hansen, K. A. (2004). Constant Width Planar Computation Characterizes ACC0. I V. Diekert & M. Habib (red.), STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings (s. 44-55). Springer. https://doi.org/10.1007/978-3-540-24749-4_5
Hansen, K. A. & Miltersen, P. B. (2004). Some Meet-in-the-middle Circuit Lower Bounds. I J. Fiala, V. Koubek & J. Kratochvil (red.), Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings (s. 334-345). Springer. https://doi.org/10.1007/978-3-540-28629-5_24
Hansen, K. A., Miltersen, P. B. & Vinay, V. (2002). Circuits on Cylinders. Electronic Colloquium on Computational Complexity, (TR02-066).

Sortér efter: Dato | Forfatter | Titel

Perino, A., Pereira, H. M., Felipe-Lucia, M., Kim, H. J., Kühl, H. S., Marselle, M. R., Meya, J. N., Meyer, C., Navarro, L. M., van Klink, R., Albert, G., Barratt, C. D., Bruelheide, H., Cao, Y., Chamoin, A., Darbi, M., Dornelas, M., Eisenhauer, N., Essl, F. ... Bonn, A. (2022). Biodiversity post-2020: Closing the gap between global targets and national-level implementation. Conservation Letters, 15(2), Artikel e12848. https://doi.org/10.1111/conl.12848
Møllebjerg, A. & Meyer, R. L. (2022). Biofouling Control in Water Filtration Systems. I Antibiofilm Strategies: Current and Future Applications to Prevent, Control and Eradicate Biofilms (s. 521–551). Springer. https://doi.org/10.1007/978-3-031-10992-8_20
Kuliński, K., Rehder, G., Asmala, E., Alena Bartosova, A., Carstensen, J., Gustafsson, B. G., Hall, P., Humborg, C., Jilbert, T., Jürgens, K., Meier, H. E. M., Müller-Karulis, B., Naumann, M., Olesen, J. E., Savchuk, O. P., Schramm, A., Slomp, C. P., Sofiev, M., Anna, S. ... Undeman, E. (2022). Biogeochemical functioning of the Baltic Sea. Earth System Dynamics, 13(1), 633-685. https://doi.org/10.5194/esd-13-633-2022
Arranz, P., Christiansen, F., Glarou, M., Gero, S., Visser, F., Oudejans, M. G., Aguilar de Soto, N. & Sprogis, K. (2022). Body Condition and Allometry of Free-Ranging Short-Finned Pilot Whales in the North Atlantic. Sustainability, 14(22), Artikel 14787. https://doi.org/10.3390/su142214787
Russell, G., Colefax, A., Christiansen, F., Russell, G., Fowler, Z. & Cagnazzi, D. (2022). Body condition and migration timing of east Australian humpback whales. Marine Ecology Progress Series, 692, 169-183. https://doi.org/10.3354/meps14075
Selbach, C., Mouritsen, K. N., Poulin, R., Sures, B. & Smit, N. J. (2022). Bridging the gap: aquatic parasites in the One Health concept. Trends in Parasitology, 38(2), 109-111. https://doi.org/10.1016/j.pt.2021.10.007
Rodríguez-González, P. M., Abraham, E., Aguiar, F., Andreoli, A., Baležentienė, L., Berisha, N., Bernez, I., Bruen, M., Bruno, D., Camporeale, C., Čarni, A., Chilikova-Lubomirova, M., Corenblit, D., Ćušterevska, R., Doody, T., England, J., Evette, A., Francis, R., Garófano-Gómez, V. ... Dufour, S. (2022). Bringing the margin to the focus: 10 challenges for riparian vegetation science and management. Wiley Interdisciplinary Reviews. Water, 9(5), Artikel e1604. https://doi.org/10.1002/wat2.1604
Scholz, V. V. (2022). Cable bacteria in vegetated aquatic systems. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Boukens, B. J. D., Joyce, W., Kristensen, D. L., Hooijkaas, I., Jongejan, A., Wang, T. & Jensen, B. (2022). Catecholamines are key modulators of ventricular repolarization patterns in the ball python (Python regius). Journal of General Physiology, 154(2), Artikel e202012761. https://doi.org/10.1085/jgp.202012761
Davoli, M., Ghoddousi, A., Sabatini, F. M., Fabbri, E., Caniglia, R. & Kuemmerle, T. (2022). Changing patterns of conflict between humans, carnivores and crop-raiding prey as large carnivores recolonize human-dominated landscapes. Biological Conservation, 269, Artikel 109553. https://doi.org/10.1016/j.biocon.2022.109553
Van Limbergen, T., Roegiers, I. H., Bonné, R., Mare, F., Haeldermans, T., Joos, B., Nouwen, O., Manca, J. V., Vangronsveld, J. & Thijs, S. (2022). Characterisation of Two Wood-Waste and Coffee Bean Husk Biochars for the Removal of Micropollutants from Water. Frontiers in Environmental Science, 10, Artikel 814267. https://doi.org/10.3389/fenvs.2022.814267
Lundgren, E. J., Moeller, K. T., Clyne, M. O., Middleton, O. S., Mahoney, S. M. & Kwapich, C. L. (2022). Cicada nymphs dominate American black bear diet in a desert riparian area. Ecology and Evolution, 12(3), Artikel e8577. https://doi.org/10.1002/ece3.8577
Pacherres, C. O., Ahmerkamp, S., Koren, K., Richter, C. & Holtappels, M. (2022). Ciliary flows in corals ventilate target areas of high photosynthetic oxygen production. Current Biology, 32(19), 4150-4158.e3. https://doi.org/10.1016/j.cub.2022.07.071
Lindén, E., te Beest, M., Aubreu, I., Moritz, T., Sundqvist, M. K., Barrio, I. C., Boike, J., Bryant, J. P., Bråthen, K. A., Buchwal, A., Bueno, C. G., Currier, A., Egelkraut, D. D., Forbes, B. C., Hallinger, M., Heijmans, M., Hermanutz, L., Hik, D. S., Hofgaard, A. ... Olofsson, J. (2022). Circum-Arctic distribution of chemical anti-herbivore compounds suggests biome-wide trade-off in defence strategies in Arctic shrubs. Ecography, 2002(11), Artikel e06166. https://doi.org/10.1111/ecog.06166
Wardiatno, Y., Aini, N. K., Mashar, A., Zairion , Z., Funch, P., Hastuti , Y. P. & Sangaji, U. (2022). Citizen Science Approach for Indonesian Horseshoe Crab Conservation. I International Horseshoe Crab Conservation and Research Efforts: 2007- 2020 (s. 497-509). Springer. https://doi.org/10.1007/978-3-030-82315-3_28
Liang, J., Gamarra, J. G. P., Picard, N., Zhou, M., Pijanowski, B., Jacobs, D. F., Reich, P. B., Crowther, T. W., Nabuurs, G. J., de-Miguel, S., Fang, J., Woodall, C. W., Svenning, J. C., Jucker, T., Bastin, J. F., Wiser, S. K., Slik, F., Hérault, B., Alberti, G. ... Serra-Diaz, J. M. (2022). Co-limitation towards lower latitudes shapes global forest diversity gradients. Nature Ecology & Evolution, 6(10), 1423-1437. https://doi.org/10.1038/s41559-022-01831-x
Fricke, E. C., Hsieh, C., Middleton, O., Gorczynski, D., Cappello, C. D., Sanisidro, O., Rowan, J., Svenning, J. C. & Beaudrot, L. (2022). Collapse of terrestrial mammal food webs since the Late Pleistocene. Science, 377(6609), 1008-1011. https://doi.org/10.1126/science.abn4012
Knutsen, H., Catarino, D., Rogers, L., Sodeland, M., Mattingsdal, M., Jahnke, M., Hutchings, J. A., Mellerud, I., Espeland, S. H., Johanneson, K., Roth, O., Hansen, M. M., Jentoft, S., André, C. & Jorde, P. E. (2022). Combining population genomics with demographic analyses highlights habitat patchiness and larval dispersal as determinants of connectivity in coastal fish species. Molecular Ecology, 31(9), 2562-2577. https://doi.org/10.1111/mec.16415
Sert, M. F., Niemann, H., Reeves, E. P., Granskog, M. A., Hand, K. P., Kekäläinen, T., Jänis, J., Rossel, P. E., Ferré, B., Silyakova, A. & Gründger, F. (2022). Compositions of dissolved organic matter in the ice-covered waters above the Aurora hydrothermal vent system, Gakkel Ridge, Arctic Ocean. Biogeosciences, 19(8), 2101-2120. https://doi.org/10.5194/bg-19-2101-2022
Willi, Y., Kristensen, T. N., Sgro, C. M., Weeks, A. R., Ørsted, M. & Hoffmann, A. A. (2022). Conservation genetics as a management tool: The five best-supported paradigms to assist the management of threatened species. Proceedings of the National Academy of Sciences (PNAS), 119(1), Artikel e2105076119. https://doi.org/10.1073/pnas.2105076119
Știrbu, M. I., Roibu, C. C., Carrer, M., Mursa, A., Unterholzner, L. & Prendin, A. L. (2022). Contrasting Climate Sensitivity of Pinus cembra Tree-Ring Traits in the Carpathians. Frontiers in Plant Science, 13, Artikel 855003. https://doi.org/10.3389/fpls.2022.855003
Milsom, W. K., Gilmour, K. M., Perry, S., Gargaglioni, L. H., Hedrick, M. S., Kinkead, R. & Wang, T. (2022). Control of Breathing in Ectothermic Vertebrates. Comprehensive Physiology, 12(4), 3869-3988. https://doi.org/10.1002/cphy.c210041
Liu, L.-L., Yin, M.-Q., Guo, X., Wang, J.-W., Cai, Y.-F., Wang, C., Yu, X., Du, N., Brix, H., Eller, F., Lambertini, C. & Guo, W. (2022). Cryptic lineages and potential introgression in a mixed‐ploidyspecies (Phragmites australis) across temperate China. Journal of Systematics and Evolution, 60(2), 398-410. https://doi.org/10.1111/jse.12672
Silva, F., Coward, F., Davies, K., Elliott, S., Jenkins, E., Newton, A. C., Riris, P., Vander Linden, M., Bates, J., Cantarello, E., Contreras, D. A., Crabtree, S. A., Crema, E. R., Edwards, M., Filatova, T., Fitzhugh, B., Fluck, H., Freeman, J., Klein Goldewijk, K. ... Williams, A. (2022). Developing Transdisciplinary Approaches to Sustainability Challenges: The Need to Model Socio-Environmental Systems in the Longue Durée. Sustainability, 14(16), Artikel 10234. https://doi.org/10.3390/su141610234
Crossley, J. L., Lawrence, T., Tull, M., Elsey, R. M., Wang, T. & Crossley, D. A. (2022). Developmental oxygen preadapts ventricular function of juvenile American alligators, Alligator mississippiensis. American journal of physiology. Regulatory, integrative and comparative physiology, 323(5), R739-R748. https://doi.org/10.1152/ajpregu.00059.2022
Estes, E. R., Berti, D., Findlay, A. J., Hochella, M. F., Shaw, T. J., Yücel, M., De Carlo, E. H. & Luther, G. W. (2022). Differential Behavior of Metal Sulfides in Hydrothermal Plumes and Diffuse Flows. ACS Earth and Space Chemistry, 6(6), 1429-1442. https://doi.org/10.1021/acsearthspacechem.1c00377
Flensburg, S. B., Garm, A. L. & Funch, P. (2022). Diurnal rhythms and light regulated behaviour in the demosponge Tethya wilhelma. Poster-session præsenteret på 11th World Sponge Conference, Leiden, Holland.
Wei, F., Wang, S., Fu, B., Wang, L., Zhang, W., Wang, L., Pan, N. & Fensholt, R. (2022). Divergent trends of ecosystem-scale photosynthetic efficiency between arid and humid lands across the globe. Global Ecology and Biogeography, 31(9), 1824-1837. https://doi.org/10.1111/geb.13561