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

Nielsen, L. (2023). Water Uptake of Airborne Primary Bioaerosols. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Pulido, F., Castagneyrol, B., Rodríguez-Sánchez, F., Cáceres, Y., Pardo, A., Moracho, E., Kollmann, J., Valladares, F., Ehrlén, J., Jump, A. S., Svenning, J. C. & Hampe, A. (2023). Widespread latitudinal asymmetry in the performance of marginal populations: A meta-analysis. Global Ecology and Biogeography, 32(6), 842-854. https://doi.org/10.1111/geb.13665
Catalán, N., Anton-Pardo, M., Freixa, A., Rodríguez-Lozano, P., Bartrons, M., Bernal, S., Genua-Olmedo, A., Mendoza-Lera, C., Onandía, G., Benito, X., Sánchez-Montoya, M. M., Cañedo-Argüelles Iglesias, M., Pastor, A. & Lupon, A. (2023). Women in limnology: From a historical perspective to a present-day evaluation. Wiley Interdisciplinary Reviews. Water, 10(1), Artikel e1616. https://doi.org/10.1002/wat2.1616
Irschick, D. J., Christiansen, F., Hammerschlag, N., Martin, J., Madsen, P. T., Wyneken, J., Brooks, A., Gleiss, A., Fossette, S., Siler, C., Gamble, T., Fish, F., Siebert, U., Patel, J., Xu, Z., Kalogerakis, E., Medina, J., Mukherji, A., Mandica, M. ... Lauder, G. (2022). 3D visualization processes for recreating and studying organismal form. iScience, 25(9), Artikel 104867. https://doi.org/10.1016/j.isci.2022.104867
Baker, W. J., Bailey, P., Barber, V., Barker, A., Bellot, S., Bishop, D., Botigué, L. R., Brewer, G., Carruthers, T., Clarkson, J. J., Cook, J., Cowan, R. S., Dodsworth, S., Epitawalage, N., Françoso, E., Gallego, B., Johnson, M. G., Kim, J. T., Leempoel, K. ... Forest, F. (2022). A Comprehensive Phylogenomic Platform for Exploring the Angiosperm Tree of Life. Systematic Biology, 71(2), 301-319. https://doi.org/10.1093/sysbio/syab035
Zhang, Y., Wang, L., He, Y., Huang, N., Li, W., Xu, S., Zhou, Q., Song, W., Duan, W., Wang, X., Muhammad, S., Nath, B., Zhu, L., Tang, F., Du, H., Wang, L. & Niu, Z. (2022). A Continuous Change Tracker Model for Remote Sensing Time Series Reconstruction. Remote Sensing, 14(9), Artikel 2280. https://doi.org/10.3390/rs14092280
Shartau, R. B., Harter, T. S., Baker, D. W., Aboagye, D. L., Allen, P. J., Val, A. L., Crossley, D. A., Kohl, Z. F., Hedrick, M. S., Damsgaard, C. & Brauner, C. J. (2022). Acute CO2 tolerance in fishes is associated with air breathing but not the Root effect, red cell βNHE, or habitat. Comparative Biochemistry and Physiology -Part A : Molecular and Integrative Physiology, 274, Artikel 111304. https://doi.org/10.1016/j.cbpa.2022.111304
Aagaard, A. (2022). Adaptation and plasticity in a social spider species with low genetic diversity. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Whitehead, D. A., Ayres, K. A., Gayford, J. H., Ketchum, J. T., Galván-Magana, F. & Christiansen, F. (2022). Aerial photogrammetry of whale sharks (Rhincodon typus) in the Bay of La Paz, using an unoccupied aerial vehicle. Marine Biology, 169(7), Artikel 94. https://doi.org/10.1007/s00227-022-04085-0
Fang, Z., Brandt, M., Wang, L. & Fensholt, R. (2022). A global increase in tree cover extends the growing season length as observed from satellite records. Science of the Total Environment, 806(Part 3), Artikel 151205. https://doi.org/10.1016/j.scitotenv.2021.151205
Agersnap, S. (2022). Analysis of coastal marine biodiversity using environmental DNA metabarcoding. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Cadiz Escobar, M. I., Hansen, M. M., Fox, A. D. & Sørensen, I. H. (2022). Analyzing the demographic history of Melanitta fusca using whole-genome sequencing data. Poster-session præsenteret på Finnish Society for Bioinformatics: Bioinformatics Day 2002, Espoo, Finland.
Vynne, C., Gosling, J., Maney, C., Dinerstein, E., Lee, A. T. L., Burgess, N. D., Fernández, N., Fernando, S., Jhala, H., Jhala, Y., Noss, R. F., Proctor, M. F., Schipper, J., González-Maya, J. F., Joshi, A. R., Olson, D., Ripple, W. J. & Svenning, J. C. (2022). An ecoregion-based approach to restoring the world's intact large mammal assemblages. Ecography, 2022(4). https://doi.org/10.1111/ecog.06098
Perry, S. F. & Wang, T. (2022). A new model for sodium uptake in the zebrafish gill. Acta Physiologica, 234(3), Artikel e13787. https://doi.org/10.1111/apha.13787
Lundgren, E. J., Ramp, D., Middleton, O. S., Wooster, E. I. F., Kusch, E., Balisi, M., Ripple, W. J., Hasselerharm, C. D., Sanchez, J. N., Mills, M. & Wallach, A. D. (2022). A novel trophic cascade between cougars and feral donkeys shapes desert wetlands. Journal of Animal Ecology, 91(12), 2348-2357. https://doi.org/10.1111/1365-2656.13766
Lammers , A., Bushi, S. N., Zweers, H., Bilde, T., Schramm, A., Garbeva, P. & Lalk, M. (2022). Antimicrobial volatiles emitted by members of the nest microbiome of social spiders. FEMS Microbiology Letters, 369(1), Artikel fnac088. https://doi.org/10.1093/femsle/fnac088
Von Oppen, J. (2022). Arctic shrubs between macro- and microclimate: lessons across scales from Western Greenland. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Feng, X., Enquist, B. J., Park, D. S., Boyle, B., Breshears, D. D., Gallagher, R. V., Lien, A., Newman, E. A., Burger, J. R., Maitner, B. S., Merow, C., Li, Y., Huynh, K. M., Ernst, K., Baldwin, E., Foden, W., Hannah, L., Jørgensen, P. M., Kraft, N. J. B. ... López-Hoffman, L. (2022). A review of the heterogeneous landscape of biodiversity databases: Opportunities and challenges for a synthesized biodiversity knowledge base. Global Ecology and Biogeography, 31(7), 1242-1260. https://doi.org/10.1111/geb.13497
Williams, C., Kirby, A., Marghoub, A., Kever, L., Ostashevskaya-Gohstand, S., Bertazzo, S., Moazen, M., Abzhanov, A., Herrel, A., Evans, S. & Vickaryous, M. (2022). A review of the osteoderms of lizards (Reptilia: Squamata). Biological Reviews, 97(1), 1-19. https://doi.org/10.1111/brv.12788
Khan, C., Blount, D., Parham, J., Holmberg, J., Hamilton, P., Charlton, C., Christiansen, F., Johnston, D., Rayment, W., Dawson, S., Vermeulen, E., Rowntree, V., Groch, K., Levenson, J. J. & Bogucki, R. (2022). Artificial intelligence for right whale photo identification: from data science competition to worldwide collaboration. Mammalian Biology, 102(3), 1025-1042. https://doi.org/10.1007/s42991-022-00253-3
Nguyen-Ngoc, L., Dao, H. V., Lund-Hansen, L. C., Vo, T. S. & Smith, W. O. (2022). A special issue on the 100th Anniversary of Institute of Oceanography, Vietnam Academy of Science and Technology. Regional Studies in Marine Science, 56, Artikel 102669. https://doi.org/10.1016/j.rsma.2022.102669
Kolyaie, S. (2022). Assessing Arctic vegetation across scales: Insight from remote sensing data. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Dubos, N., Préau, C., Lenormand, M., Papuga, G., Monsarrat, S., Denelle, P., Louarn, M. L., Heremans, S., May, R., Roche, P. & Luque, S. (2022). Assessing the effect of sample bias correction in species distribution models. Ecological Indicators, 145, Artikel 109487. https://doi.org/10.1016/j.ecolind.2022.109487
Mapelli, F., Barbato, M., Chouaia, B., Riva, V., Daffonchio, D. & Borin, S. (2022). Bacterial community structure and diversity along the halocline of Tyro deep-sea hypersaline anoxic basin. Annals of Microbiology, 72(1), Artikel 7. https://doi.org/10.1186/s13213-022-01667-7
Nazario, E. C., Cade, D. E., Bierlich, K. C., Czapanskiy, M. F., Goldbogen, J. A., Kahane-Rapport, S. R., van der Hoop, J. M., San Luis, M. T. & Friedlaender, A. S. (2022). Baleen whale inhalation variability revealed using animal-borne video tags. PeerJ, 10, Artikel e13724. https://doi.org/10.7717/peerj.13724