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

Mølmer, K. (2010). Kvantemekanik: Atomernes vilde verden. Aarhus Universitetsforlag.

Sarup, P. M., Sørensen, P. & Loeschcke, V. (2011). Flies selected for longevity retain a young gene expression profile. Age (Omaha), 33, 69-80. https://doi.org/10.1007/s11357-010-9162-8

Gerard, C., Møller, J. S. & Rasmussen, M. G. (2011). Asymptotic completeness in quantum field theory: translation invariant Nelson type models restricted to the vacuum and one-particle sectors. Letters in Mathematical Physics, 95(2), 109-134. https://doi.org/10.1007/s11005-010-0445-x

Baisner, A. J., Andersen, J. L., Findsen, A., Granath, S., Madsen, K. Ø. & Desholm, M. (2010). Minimizing Collision Risk Between Migrating Raptors and Marine Wind Farms: Development of a Spatial Planning Tool. Environmental Management (New York), 46(5), 801-808. https://doi.org/10.1007/s00267-010-9541-z

Arge, L. A. (1995). The I/O-complexity of Ordered Binary-Decision Diagram manipulation: Extended Abstract. In J. Staples, P. Eades, N. Katoh & A. Moffat (Eds.), Algorithms and Computations: 6th International Symposium, ISAAC '95 Cairns, Australia, December 4-6, 1995 Proceedings (pp. 82-91). Springer. https://doi.org/10.1007/BFb0015411

Hjermitslev, H. H. (2010). Danes commemorating Darwin: apes and evolution at the 1909 anniversary. Annals of Science, 67(4), 485-525. https://doi.org/10.1080/00033790.2010.495316

Arge, L. A., Knudsen, M. & Larsen, K. (1993). A general lower bound on the I/O-complexity of comparison-based algorithms. In F. Dehne, J.-R. Sack, N. Santoro & S. Whitesides (Eds.), Algorithms and Data Structures: Third Workshop, WADS '93 Montréal, Canada, August 11-13, 1993 Proceedings (pp. 83-94). Springer. https://doi.org/10.1007/3-540-57155-8_238

Arge, L. A., Cachin, C., Jurdzinski, T. & Tarlecki, A. (Eds.) (2007). Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007. Proceedings. Springer. Lecture Notes in Computer Science Vol. 4596 https://doi.org/10.1007/978-3-540-73420-8

Hayashi, Y., Engelmann, P., Foldbjerg, R., Wang, J., Scott-Fordsmand, J. J., Sutherland, D. & Heckmann, L.-H. (2010). Invertebrate models in nanotoxicology: characterising stress responses of earthworm coelomocytes to nanosilver in vitro. Poster session presented at Third International Nano Bio Conference 2010, Zurich, Switzerland.

Verhoeven, J. T. A. & Sorrell, B. K. (2010). Plant adaptations and microbial processes in wetlands. Annals of Botany, 105, 127.

Mailund, T. & Westergaard, M. (2004). Obtaining Memory-Efficient Reachability Graph. In K. Jensen & A. Podelski (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings (pp. 177-191). Springer.

Jensen, K. (Ed.) (1992). Application and Theory of Petri Nets. Springer. Lecture Notes in Computer Science Vol. 616 https://doi.org/10.1007/3-540-55676-1

Seebach, J. A. (2010). On Reduced Amalgamated Free Products of C*-algebras and the MF-Property. arxiv.org. http://arxiv.org/abs/1004.3721

Scherer, M., Lücke, B., Gebreyesus, G., Topic, O., Deuretzbacher, F., Ertmer, W., Santos, L., Arlt, J. & Klempt, C. (2010). Spontaneous Breaking of Spatial and Spin Symmetry in Spinor Condensates. Physical Review Letters, 105(13), 135302. https://doi.org/10.1103/PhysRevLett.105.135302

Andersen, H. (2010). Joint acceptance and scientific change: A case study. Episteme, 7(3), 248-265.

Nielsen, V. H., Anistoroaei, R. M., Guldbrandtsen, B., Christensen, K. & Fredholm, M. (2010). Jagten på pelsgener. Paper presented at Aktuel Pelsdyrforskning, Tjele, Denmark.

Jensen, K. (Ed.) (2004). Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 8-11, 2004. Department of Computer Science, Aarhus University.

Langdal, J., Kjærgaard, M. B., Toftkjær, T. & Schougaard, K. R. (2010). Exposing Position Uncertainty in Middleware. In S. Terzis & L. Veiga (Eds.), Proceedings of the Second International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2010) (pp. Article no. 1). Association for Computing Machinery. https://doi.org/10.1145/1890791.1890792

Schougaard, K. R. & Langdal, J. (2010). Model-based Translucency in Middleware: Supporting Seamful Development. In S. Terzis & L. Veiga (Eds.), Proceedings of the 2nd International Workshop on Middleware for Pervasive Mobile and Embedded Computing : M-MPAC'10 (pp. Article No. 6 ). Association for Computing Machinery. https://doi.org/10.1145/1890791.1890797

Gjelstrup, L. C., Boesen, T., Kragstrup, T. W., Jørgensen, A., Klein, N. J., Thiel, S., Deleuran, B. & Vorup-Jensen, T. (2010). Shedding of Large Functionally Active CD11/CD18 Integrin Complexes from Leukocyte Membranes during Synovial Inflammation Distinguishes Three Types of Arthritis through Differential Epitope Exposure. Journal of Immunology, 185(7), 4154-68. https://doi.org/10.4049/jimmunol.1000952

Jensen, K. (1987). Coloured Petri Nets: A way to describe and analyse real-world systems - without drowning in unnecessary details. In Proceedings of the fifth International Conference on Systems Engineering (pp. 395-401). IEEE.

Andersen, J. E., Bene, A., Meilhan, J.-B. O. T. & Penner, R. (2010). Finite type invariants and fatgraphs. Advances in Mathematics, 225(4), 2117-2161. https://doi.org/10.1016/j.aim.2010.04.008

Arge, L. A. (2003). Implementing External Memory Algorithms and Data Structures. In Proceedings of 5th Workshop on Algorithm Engineering and Experiments Society for Industrial and Applied Mathematics.

Arge, L. A., Barve, R., Hutchinson, D., Procopiuc, O., Toma, L., Vengroff, D. E. & Wickeremsinghe, R. (2002). TPIE: User Manual and Reference. (082902 ed.) Duke University Press. http://www.cs.duke.edu/TPIE/tpie.pdf

Arge, L. A. (2001). External Memory Data Structures. In F. M. A. D. Heide (Ed.), Algorithms - ESA 2001: 9th Annual European Symposium Århus, Denmark, August 28-31, 2001 Proceedings (pp. 1-29). Springer. https://doi.org/10.1007/3-540-44676-1_1

Arge, L. A. (2001). Some Algorithmic Research Challenges and Opportunitiesin Geospatial Applications.

Arge, L. A., Ferragina, P., Grossi, R. & Vitter, J. S. (1997). Sequeance sorting in secondary storage. In Compression and Complexity of Sequences 1997. Proceedings (pp. 329-346). IEEE. https://doi.org/10.1109/SEQUEN.1997.666927

Agarwal, P. K., Arge, L. A. & Yi, K. (2006). I/O-Efficient Batched Union-Find and Its Applications to Terrain Analysis. In Proceedings of the twenty-second annual symposium on Computational geometry (pp. 167-176). Association for Computing Machinery. https://doi.org/10.1145/1137856.1137884

Arge, L. A., Danner, A. & Teh, S.-M. (2003). I/O-efficient Point Location uisng Persistent B-Trees. In Proceedings of 5th Workshop on Algorithm Engineering and Experiments Society for Industrial and Applied Mathematics. http://www.siam.org/meetings/alenex03/Abstracts/large.pdf

Arge, L. A., Bender, M. A., Demaine, E. D., Holland-Minkley, B. & Munro, J. I. (2002). Cache-oblivious priority queue and graph algorithm applications. In Proceedings of the thiry-fourth annual ACM symposium on Theory of computing (pp. 268-276). Association for Computing Machinery. https://doi.org/10.1145/509907.509950

Toma, L., Wickremsinghe, R., Arge, L. A., Chase, J. S., Vitter, J. S., Halpin, P. N. & Urban, D. (2001). Flow computation on massive grids. In Proceedings of the 9th ACM international symposium on Advances in geographic information systems (pp. 82-87). Association for Computing Machinery. https://doi.org/10.1145/512161.512180

Arge, L. A., Meyer, U., Toma, L. & Zeh, N. (2001). On External-Memory Planar Depth First Search. In F. Dehne, J.-R. Sack & R. Tamassia (Eds.), Algorithms and Data Structures: 7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings (pp. 471-482). Springer. https://doi.org/10.1007/3-540-44634-6_43

Arge, L. A., Chase, J. S., Vitter, J. S. & Wickremsinghe, R. (2000). Efficient Sorting Using Registers and Caches. In S. Näher & D. Wagner (Eds.), Algorithm Engineering: 4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings (pp. 51-62) https://doi.org/10.1007/3-540-44691-5_5

Agarwal, P. K., Arge, L. A. & Erickson, J. (2000). Indexing Moving Points. In Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (pp. 175-186). Association for Computing Machinery. https://doi.org/10.1145/335168.335220

Arge, L. A., Brodal, G. S. & Toma, L. (2000). On External-Memory MST, SSSP, and Multi-way Planar Graph Separation. In Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings (pp. 709-715). Springer. https://doi.org/10.1007/3-540-44985-X_37

Arge, L. A. & Vahrenhold, J. (2000). I/O-efficient dynamic planar point location. In Proceedings of the sixteenth annual symposium on Computational geometry (pp. 191-200). Association for Computing Machinery. https://doi.org/10.1145/336154.336205

Agarwal, P. K., Arge, L. A., Erickson, J., Franciosa, P. G. & Vitter, J. S. (1998). Efficient Searching with Linear Constraints. In Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (pp. 169-178). Association for Computing Machinery. https://doi.org/10.1145/275487.275506

Arge, L. A. & Vitter, J. S. (1996). Optimal Dynamic Interval Management in External Memory. In 37th Annual Symposium on Foundations of Computer Science, 1996. Proceedings., (pp. 560-569). IEEE Computer Society Press. https://doi.org/10.1109/SFCS.1996.548515

Arge, L. A., Vengroff, D. E. & Vitter, J. S. (1995). External-Memory Algorithms for Processing Line Segments in Geographic Information Systems. In P. Spirakis (Ed.), Algorithms - ESA '95: Third Annual European Symposium Corfu, Greece, September 25-27, 1995 Proceedings (pp. 295-310). Springer. https://doi.org/10.1007/3-540-60313-1_151

Arge, L. A. (1995). The buffer tree: A new technique for optimal I/O-algorithms. In S. G. Akl, F. Dehne, J.-R. Sack & N. Santoro (Eds.), Algorithms and Data Structures: 4th International Workshop, WADS '95 Kingston, Canada, August 16-18, 1995 Proceedings (pp. 334-345). Springer. https://doi.org/10.1007/3-540-60220-8_74

Aceto, L., Damgård, I. B., Goldberg, L. A., Halldórsson, M. M., Ingólfsdóttir, A. & Walukiewicz, I. (2008). Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II. Springer. Lecture Notes in Computer Science Vol. 5126 https://doi.org/10.1007/978-3-540-70583-3

Damgård, I. B. (1987). Concatenated Group Codes and Their Exponents. I E E E Transactions on Information Theory, Vol. 33, Issue 6.

Damgård, I. B. (1987). Collision Free Hash Functions and Public Key Signature Schemes. In D. Chaum & W. L. Price (Eds.), Advances in Cryptology - EUROCRYPT' 87: Workshop on the Theory and Application of Cryptographic Techniques Amsterdam, The Netherlands, April 13-15, 1987 Proceedings (pp. 203-216). Springer. https://doi.org/10.1007/3-540-39118-5_19

Chaum, D., Crépeau, C. & Damgård, I. B. (1987). Multiparty Unconditionally Secure Protocols (Abstract). In C. Pomerance (Ed.), Advances in Cryptology - CRYPTO '87: Proceedings (pp. 462). Springer. https://doi.org/10.1007/3-540-48184-2_43

Chaum, D., Damgård, I. B. & van der Graaf, J. (1987). Multiparty Computations Ensuring Privacy of Each Party's Input and Correctness of the Result. In C. Pomerance (Ed.), Advances in Cryptology - CRYPTO '87: Proceedings (pp. 87-119). Springer. https://doi.org/10.1007/3-540-48184-2_7

Bødker, S. & Klokmose, C. N. (2011). The Human-Artifact Model: An Activity Theoretical Approach to Artifact Ecologies. Human-Computer Interaction, 26(4), 315-371. https://doi.org/10.1080/07370024.2011.626709

Brickell, E. F., Chaum, D., Damgård, I. B. & van der Graaf, J. (1987). Gradual and Verifiable Release of a Secret (Extended Abstract). In C. Pomerance (Ed.), Advances in Cryptology - CRYPTO '87: Proceedings (pp. 156-166). Springer. https://doi.org/10.1007/3-540-48184-2_11

Chaum, D., Crépeau, C. & Damgård, I. B. (1988). Multiparty unconditionally secure protocols. In Proceedings of the twentieth annual ACM symposium on Theory of computing (pp. 11-19). Association for Computing Machinery. https://doi.org/10.1145/62212.62214

Jørgensen, B. B., Dunker, R., Grünke, S. & Røy, H. (2010). Filamentous sulfur bacteria, Beggiatoa spp., in arctic marine sediments (Svalbard, 79°N). FEMS Microbiology Ecology, 73(3), 500-513.

Brandt, J., Damgård, I. B., Landrock, P. & Pedersen, T. P. (1988). Zero-Knowledge Authentication Scheme with Secret Key Exchange (extended abstract). In S. Goldwasser (Ed.), Advances in Cryptology - CRYPTO' 88: Proceedings (pp. 583-588). Springer. https://doi.org/10.1007/0-387-34799-2_43

Displaying results 18401 to 18450 out of 56296

369