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

Gerhardy, P. (2005). The Role of Quantifier Alternations in Cut Elimination. Notre Dame Journal of Formal Logic, 46(2), 165-171.
Hernest, M.-D. & Kohlenbach, U. (2005). A complexity analysis of functional interpretations. Theoretical Computer Science, 338(1-3), 200-246.
Kohlenbach, U. (2005). Higher Order Reverse Mathematics. I S. G. Simpson (red.), Reverse Mathematics 2001 (s. 281-295). A K Peters.
Kohlenbach, U. (2005). Some Logical Metatheorems with Applications in Functional Analysis. Transactions of the American Mathematical Society, 357(1), 89-128.
Bennedsen, J. & Caspersen, M. E. (2005). Revealing the programming process. I W. Dann, T. L. Naps, P. T. Tymann & D. Baldwin (red.), Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005 (St. Louis, Missouri, USA, February 23-27, 2005) (s. 186-190). Association for Computing Machinery. https://doi.org/10.1145/1047124.1047413
Danvy, O. (2005). From Reduction-based to Reduction-free Normalization. Electronic Notes in Theoretical Computer Science, 124(2), 79-100.
Allender, E., Bürgisser, P., Kjeldgaard-Pedersen, J. & Miltersen, P. B. (2005). On the Complexity of Numerical Analysis. Electronic Colloquium on Computational Complexity, (TR05-037), 1-12.
Zhao, Y., Nielsen, J. B., Deng, R. H. & Feng, D. (2005). Generic yet Practical ZK Arguments from any Public-Coin HVZK. Electronic Colloquium on Computational Complexity, (TR05-162), 1-16.
Cattani, G. L. & Winskel, G. (2005). Profunctors, open maps and bisimulation. Mathematical Structures in Computer Science, 15(3), 553-614.
Lambov, B. Z. (2005). RealLib: an Efficient Implementation of Exact Real Arithmetic. I T. Grubba, P. Hertling, H. Tsuiki & K. Weihrauch (red.), econd International Conference on Computability and Complexity in Analysis, CCA 2005 Proceedings (Kyoto, Japan, August 25-29, 2005) (s. 169-175)
Lambov, B. Z. (2005). Complexity and Intensionality in a Type-1 Framework for Computable Analysis. I C.-H. L. Ong (red.), Computer Science Logic, 19th International Workshop, CSL 2005 Proceedings, 14th Annual Conference of the EACSL (Oxford, UK, August 22-25, 2005) (s. 442-461). Springer LNCS.
Lambov, B. Z. (2005). Rates of Convergence of Recursively Defined Sequences. Electronic Notes in Computer Science, 120, 125-133.
Allan, C., Avgustinov, P., Christensen, A. S., Hendren, L. J., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2005). abc: The AspectBench Compiler for AspectJ. I R. Glück & M. R. Lowry (red.), Generative Programming and Component Engineering, 4th International Conference, GPCE 2005 Proceedings (Tallinn, Estonia, September 29 - October 1, 2005) (s. 10-16)
Allan, C., Avgustinov, P., Christensen, A. S., Dufour, B., Goard, C., Hendren, L. J., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J. & Verbrugge, C. (2005). abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research. I R. Johnson & R. P. Gabriel (red.), Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005 (San Diego, CA, USA, October 16-20, 2005) (s. 88-89). Association for Computing Machinery.
Avgustinov, P., Christensen, A. S., Hendren, L. J., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2006). abc: An Extensible AspectJ Compiler. I A. Rashid & M. Aksit (red.), Transactions on Aspect-Oriented Software Development I (s. 87-98). Springer LNCS. https://doi.org/10.1007/11687061_9
Gerhardy, P. (2006). A Quantitative Version of Kirk's Fixed Point Theorem for Asymptotic Contractions. Journal of Mathematical Analysis and Applications, 316(1), 339-345.
Krukow, K. K., Nielsen, M. & Sassone, V. (2005). A Framework for Concrete Reputation-Systems. BRICS Report Series, (BRICS RS-05-23), 1-48.
Christensen, H. B. (2005). Implications of perspective in teaching objects first and object design. I 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (s. 94-98). Association for Computing Machinery. https://doi.org/10.1145/1067445.1067474
Christensen, H. B. (2005). TS-05: 150 lines of java with high architectural complexity. I 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (s. 396-396). Association for Computing Machinery. https://doi.org/10.1145/1067445.1067599
Bergin, J., Wallingford, E., Caspersen, M. E., Goldweber, M. & Kolling, M. (red.) (2005). Teaching polymorphism early. I 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (s. 342-343). Association for Computing Machinery. https://doi.org/10.1145/1067445.1067541
Bennedsen, J. & Caspersen, M. E. (2005). An investigation of potential success factors for an introductory model-driven programming course. I The 2005 international workshop on Computing education research, ICER '05 Proceedings (Seattle, WA, USA, October 1-2, 2005) (s. 155-163). Association for Computing Machinery. https://doi.org/10.1145/1089786.1089801
Hansen, L. K., Pedersen, P. D. & Eriksson, E. (2005). Rethinking information handling: designing for information offload. I O. W. Bertelsen, N. O. Bouvin, P. G. Krogh & M. Kyng (red.), 4th Decennial Conference on Critical Computing: Between sense and sensibility, CC 2005 Proceedings (Aarhus, Denmark August 20-24, 2005) (s. 161-164). Association for Computing Machinery. https://doi.org/10.1145/1094562.1094589
Bertelsen, O. W. & Zander, P.-O. (2005). Obstacles to Design in Volunteer Based Organisations. I Proceedings of the 5th Danish Human-Computer Interaction Research Symposium (s. 93-98). Copenhagen Business School.
Bertelsen, O. W., Bødker, S., McEwan, T., Procter, R. & Svanæs, D. (2006). HCI Knowledge - Fit for Transfer, Share or Co-Construction. I The 19th British HCI Group Annual Conference, Napier University. (s. 341-343)
Ciolfi, L., Cooke, M., Bertelsen, O. W. & Bannon, L. J. (2005). Understanding and Designing for Aesthetic Experience. I L. MacKinnon, O. Bertelsen & N. Bryan-Kinns (red.), The 19th British HCI Group Annual Conference (s. 289-291). The British Computer Society.
Bertelsen, O. W., Marti, P. & Shapiro, D. (2006). Workshop on Ambient Computing in a Critical, Quality of Life Perspective Aarhus, Denmark, 21 August 2005 - as part of the Fourth Aarhus Conference. I The 4th decennial conference on Critical computing: between sense and sensibility 2005, Aarhus, Denmark
Nielsen, C. K., Andersen, T. V., Riis, E., Petersson, A. & Broeng, J. (2005). Investigations of the coupling between the core mode and cladding modes in a double clad Yb-doped photonic crystal fiber. I Proceedings of the 2004 Photonics West Conference SPIE - International Society for Optical Engineering.
Olshansky, S. J. & Rattan, S. (2005). What determines longevity: metabolic rate or stability? Discovery Medicine, 5, 359-362.
Olshansky, S. J. & Rattan, S. (2005). At the heart of aging: is it metabolic rate or stability? Biogerontology, 6, 291-295.
Høyer, B. & Gulamhusein, A. (2005). Udvaskning og immobilisering af arsen i jord - laboratoriestudie. I ATV Vintermøde om jord- og grundvandsforurening (s. 467-478). ATV.
Johannsen, M. & Jørgensen, K. A. (1998). Allylic Amination. Chemical Reviews, 98, 1689.

Sortér efter: Dato | Forfatter | Titel

Marchi, C. (2012). Landscape genetics: applications to the agricultural habitat. Aarhus University, Faculty of Science and Technology.
Nieto-Lugilde, D., Lenoir, J., Abdulhak, S., Aeschimann, D., Dullinger, S., Gégout, J.-C., Guisan, A., Pauli, H., Renaud, J., Theurillat, J.-P., Thuiller, W., Van Es, J., Vittoz, P., Willner, W., Wohlgemuth, T., Zimmermann, N. E. & Svenning, J.-C. (2012). Large-scale biotic interaction effects - tree cover interacts with shade toler-ance to affect distribution patterns of herb and shrub species across the Alps.
Sauer, P., Glombitza, C. & Kallmeyer, J. (2012). Leaching of organic acids from macromolecular organic matter by non-supercritical CO2. Abstract fra EGU General Assembly, Vienna, Østrig.
Sauer, P., Alawi, M., Glombitza, C. & Kallmeyer, J. (2012). Liberation of microbial substrates from macromolecular organic matter by non‐supercritical CO2. Abstract fra AGU Fall Meeting 2012, San Francisco, USA.
Skommer, J., Helbo, S., Henty, K. & Brittain, T. (2012). Ligand binding, reactivity and biological activity of a distal pocket mutant of neuroglobin. International Journal of Biological Macromolecules, 51(3), 284-90. https://doi.org/10.1016/j.ijbiomac.2012.05.020
Nixon, S. L., Cockell, C. S. & Tranter, M. (2012). Limitations to a microbial iron cycle on Mars. Planetary and Space Science, 72(1), 116-128. https://doi.org/10.1016/j.pss.2012.04.003
Deibel, D., Parrish, C. C., Grønkjær, P., Munk, P. & Gissel Nielsen, T. (2012). Lipid class and fatty acid content of the leptocephalus larva of tropical eels. Lipids, 47(6), 623-634. https://doi.org/10.1007/s11745-012-3670-5
Risgaard-Petersen, N. & Nielsen, L. P. (2012). Long distance electron transmission in marine sediment. Abstract fra Electron transfer at the microbe-mineral interface, Norwich, Storbritannien.
Levi, P. S., Riis, T. & Baattrup-Pedersen, A. (2012). Macrophytes influence transient storage of managed lowland streams. Abstract fra Society for Freshwater Science, Louisville, Kentucky, USA.
Mangelsdorf, K., Glombitza, C., Vieth, A., Vu, T. & Horsfield, B. (2012). Maturation related release of potential substrates from coals for deep microbial ecosystems. Abstract fra The deep-sea and sub-seafloor frontiers conference, Sitges (Barcelona), Spanien.
Srithi, K., Trisonthi, C., Wangpakapattanawong , P. & Balslev, H. (2012). Medicinal plants used in Hmong women’s healthcare in northern Thailand. Journal of Ethnopharmacology, 139, 119–135. https://doi.org/10.1016/j.jep.2011.10.028
Rasmussen, C., Carrión, A., Castro-Urgal, R., Chamorro, S., Gonzalez, V. H., Griswold, T. L., Herrera, H. W., McMullen, C. K., Olesen, J. M. & Traveset, A. (2012). Megachile timberlakei Cockerell (Hymenoptera, Megachilidae): Yet another bee species from the Galápagos Archipelago. Pan-Pacific Entomologist, 88, 98-102.
Overgaard, J. & Wang, T. (2012). Metabolic Transitions During Feast and Famine in Spiders. I M. D. McCue (red.), Comparative Physiology of Fasting, Starvation and Food Limitation (s. 53-68). Springer. https://doi.org/10.1007/978-3-642-29056-5_5
Temkiv, T. S., Finster, K. & Gosewinkel, U. B. (2012). Metagenomics of clouds and atmosphere. I Encyclopedia of Metagenomics Springer Science+Business Media.
Nigro, L. M., Harris, K., Orcutt, B., Hyde, A., Clayton-Luce, S., Becker, K. & Teske, A. (2012). Microbial communities at the borehole observatory on the Costa Rica Rift flank (Ocean Drilling Program Hole 896A). Frontiers in Microbiology, 3, 1-11. https://doi.org/10.3389/fmicb.2012.00232
Tranter, M., montross, SN., Skidmore, M., Kivimaki, A.-L. & Parkes, JR. (2012). Microbial driver of chemical weathering in glaciated systems. Geology.
Funch, P. (2012). Micrognathozoa. I McGraw Hill Encyclopedia of Science & Technology, 11th Edition (s. 87-88). McGraw-Hill. http://0-www.accessscience.com.library.hct.ac.ae/abstract.aspx?id=900166&referURL=/content/Micrognathozoa/900166
Ndayishimiye, J., Greve, M., Stoffelen, P., Bigendako, M. J., De Cannière, C., Svenning, J.-C. & Bogaert, J. (2012). Modelling the spatial distribution of endemic Caesalpinioideae in Central Africa, a contribution to the evaluation of actual protected areas in the region. International Journal of Biodiversity and Conservation, 4(3), 118-129. https://doi.org/10.5897/IJBC11.150
Campbell, K. L., Signore, A. V., Harada, M. & Weber, R. E. (2012). Molecular and physicochemical characterization of hemoglobin from the high-altitude Taiwanese brown-toothed shrew (Episoriculus fumidus). Journal of Comparative Physiology B: Biochemical, Systems, and Environmental Physiology, 2012(182). https://doi.org/10.1007/s00360-012-0659-6
Hansen, M. M., Olivieri, I., Waller, D. M. & Eg Nielsen, E. (2012). Monitoring adaptive genetic responses to environmental change. Molecular Ecology, 21, 1311-1329.
García, M. B., Pardo, I., Pata, M. P., Camarero, J. J., García-González, R., Errea, P., Gómez, D., Pironon, S., Aldezábal, A., Olesen, J. M., Roquet, C. & Lavergne, S. (2012). Monitorización de la biodiversidad vegetal y sus distintos componentes en un parque nacional de montaña. I L. Ramírez & B. Asensio (red.), Proyectos de investigación en parques nacionales: 2008-2011 (s. 219-234). Ministerio de Agricultura, Alimentación y Medio Ambiente.
Nielsen, M. G. & Larsen, R. B. (2012). Myrer i Danmark. Natur og Museum, (3), 1-34.
Clausen, K. K., Fælled, C. C. & Clausen, P. (2012). Når ålegræsset forsvinder følger fuglene med. Poster-session præsenteret på Temadag om Vildtforskningen i Danmark, Aarhus, Danmark.
Molina, V., Fernández, C., Levipan, H., Ulloa, O., Dalsgaard, T., Thamdrup, B. & Revsbech, N. P. (2012). Natural ammonium oxidizer´s response to chemical changes in the permanent and seasonal oxygen minimum zones of Chile. Poster-session præsenteret på 14th International Symposium on Microbial Ecology, København, Danmark.
Olesen, J. M. (2012). Netværk. Aarhus Universitetsforlag. Tænkepauser - viden til hverdagen Bind 2
Glombitza, C., Bernard, S., Mangelsdorf, K., Schreiber, A., Steffens, M. & Kögel-Knabner, I. (2012). New insights into gas shale fabrics using selective chemical degradation combined with STXM. Abstract fra 3rd EAGE Shale Workshop, Barcelona, Spanien.
Helbo, S. & Fago, A. (2012). Nitrite reductase activities and O2 binding of myoglobins from whales with different diving capacities. Abstract fra XVII International Conference on Oxygen Binding and Sensing Proteins, Parma, Italien.