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

Mortensen, S., Skovgaard, K., Hedegaard, J. & Heegaard, P. M. H. (2008). Gene expression profiling of the early response in lungs of pigs experimentally infected with Actinobacillus pleuropneumoniae. Poster session presented at ARK-Genomics Conference 2008: 3rd International Symposium on Animal Functional Genomics, ISAFG, Edinburg, United Kingdom.

Klokmose, C. N. & Beaudouin-Lafon, M. (2009). VIGO: Instrumental Interaction in Multi-Surface Environments. In D. R. Olsen Jr. & R. B. Arthur (Eds.), CHI '09 Proceedings of the 27th International Conference on Human factors in Computing Systems (Vol. SESSION: Programming tools and architectures, pp. 869-878). Association for Computing Machinery. https://doi.org/10.1145/1518701.1518833

Sherson, J., Krauter, H., Olsson, R. K., Hammerer, K., Cirac, I., Polzik, E. S. & Julsgaard, B. (2006). Quantum teleportation between light and matter. Nature, 443, 557-560. https://doi.org/10.1038/nature05136

Sherson, J., Julsgaard, B. & Polzik, E. S. (2005). Distant entanglement of macroscopic gas samples. N A T O Science Series. Series 2: Mathematics, Physics and Chemistry, 353-372.

Sherson, J., Krauter, H., Olsson, R. K., Julsgaard, B. & Polzik, E. S. (2008). Quantum memory and teleportation using macroscopic gas samples. Journal of Physics B: Atomic, Molecular and Optical Physics, 41, 223001. https://doi.org/10.1088/0953-4075/41/22/223001

Wen, J. G., Li, Z. Z., Zhang, H., Wang, Y., Wang, G., Wang, Q., Nielsen, S., Djurhuus, J. C. & Frøkiaer, J. (2009). Expression of renal aquaporins is down-regulated in children with congenital hydronephrosis. Scandinavian Journal of Urology and Nephrology, 43(6), 486-493. https://doi.org/10.1080/00365590903127446

Sørensen, A. S., Julsgaard, B. & Pagh, R. (2001). Sammenfiltring og kvanteinformation. Aktuel Naturvidenskab, (5).

Fournais, S., Hoffmann-Ostenhof, M., Hoffmann-Ostenhof, T. & Thomas Østergaard, T. (2009). Analytic structure of solutions to multiconfiguration equations. Journal of Physics A: Mathematical and Theoretical, 42(31). https://doi.org/10.1088/1751-8113/42/31/315208

Grønbæk, K. & Petersen, M. G. (2004). Domestic Hypermedia: Mixed Media in the Home. In Proceedings of the fifteenth ACM conference on Hypertext and hypermedia (pp. 108-109). Association for Computing Machinery. https://doi.org/10.1145/1012807.1012838

Bindesbøl, A.-M., Bayley, M., Damgaard, C. & Holmstrup, M. (2009). Impacts of heavy metals, polyaromatic hydrocarbons and pesticides on freeze tolerance of the earthworm Dendrobaena octaedra. Environmental Toxicology and Chemistry, 28(11), 2341-2347. http://www.setacjournals.org/perlserv/?request=get-abstract&doi=10.1897%2F09-078.1

Sørensen, K. K., Kirk, H. G. & Christiansen, J. (2009). Kartofler og glycoalkaloider. Kartoffelproduktion, 35(5), 22-23.

Höglund, J. K., Buitenhuis, A. J., Guldbrandtsen, B., Su, G., Thomsen, B. & Lund, M. S. (2009). Overlapping chromosomal regions for fertility traits and production traits in the Danish Holstein population. Journal of Dairy Science, 92, 5712-5719. https://doi.org/10.3168/jds.2008-1964

Balslev, H. & Skov, F. (Eds.) (2009). Biodiversity at the Ecosystem Level - Patterns and Processes: Proceedings of the 2nd DanBIF conference, 26-27 April 2006, Aarhus University. National Environmental Research Institute, Aarhus University. NERI Technical Report No. 741 http://www2.dmu.dk/Pub/FR741.pdf

Weber, R. E. & Campbell, K. L. (2009). Adaptations in O₂transporting proteins to exogenous and endogenous factors, with special reference to temperature as "neglected allosteric factor". Comparative Biochemistry and Physiology - Part A: Molecular & Integrative Physiology, S10.

Campbell, K. L., Roberts, J., Stetefeld, J., Sloan, A., Signore, A., Howatt, J., Tame, J., Rohland, N., Hofreiter, M., Shen, T.-J., Ho, C., Watson, L., Austin, J., Cooper, A. & Weber, R. E. (2009). Breathing new life into old blood: Cold-adaptive evolution of woolly mammoth haemoglobin. Comparative Biochemistry and Physiology - Part A: Molecular & Integrative Physiology, S11.

Storz, J. F., Runck, A. M., Sabatino, S. J., Kelly, J. K., Ferrand, N., Moriyama, H., Weber, R. E. & Fago, A. (2009). Evolutionary and functional insights into the mechanism underlying high-altitude adaptation of deer mouse hemoglobin. Proceedings of the National Academy of Sciences (PNAS), 106(34), 14450-14455.

Abam, M. & de Berg, M. (2009). Kinetic spanners in R^d. In J. Hershberger & E. Fogel (Eds.), Annual Symposium on Computational Geometry: SESSION: Monday, June 8th, 10:50-11:50 am (pp. 43-50). Association for Computing Machinery. https://doi.org/10.1145/1542362.1542371

Abam, M., de Berg, M., Farshi, M., Gudmundsson, J. & Smid, M. (2009). Geometric Spanners for Weighted Point Sets. Lecture Notes in Computer Science, 190-202. https://doi.org/10.1007/978-3-642-04128-0_17

Abam, M., de Berg, M., Farshi, M. & Gudmundsson, J. (2009). Region-fault tolerant geometric spanners. Discrete & Computational Geometry, 41(4), 556-582. https://doi.org/10.1007/s00454-009-9137-7

Abam, M., de Berg, M. & Gudmundsson, J. (2009). A simple and efficient kinetic spanner . Computational Geometry, 43(3), 251-256.

Abam, M., Carmi, P., Farshi, M. & Smid, M. (2009). On the Power of the Semi-Separated Pair Decomposition. Lecture Notes in Computer Science, 1-12. https://doi.org/10.1007/978-3-642-03367-4_1

Abam, M., de Berg, M., Hachenberger, P. & Zarei, A. (2010). Streaming Algorithms for Line Simplification. Discrete & Computational Geometry, 43(3), 497-515. https://doi.org/10.1007/s00454-008-9132-4

Abam, M., de Berg, M., Agrawal, P. & Yu, H. (2011). Out-of-order event processing in kinetic data structures. Algorithmica, 60(2), 250-273. https://doi.org/10.1007/s00453-009-9335-y

Abam, M. & de Berg, M. (2009). Kinetic kd-Trees and Longest-Side kd-Trees. S I A M Journal on Computing, 39(4), 1219. http://scitation.aip.org/getpdf/servlet/GetPDFServlet?filetype=pdf&id=SMJCAT000039000004001219000001&idtype=cvips

Nielsen, J. D. & Schwartzbach, M. I. (2007). The SMCL Language Specification.

Damgård, I. B. & Frandsen, G. S. (2001). An Extended Quadratic Frobenius Primality Test with Average Case Error Estimates.

Schwartzbach, M. I., Panangaden, P. & Mendler, P. (1989). Recursively Defined Types in Constructive Type Theory. In H. Aït-Kaci & M. Nivat (Eds.), Resolution of Equations in Algebraic Structures (Vol. 1, pp. 369-410). Academic Press.

Hansen, K. A., Koucký, M. & Miltersen, P. B. (2009). Winning Concurrent Reachability Games Requires Doubly-Exponential Patience. Symposium on Logic in Computer Science, 332-341. https://doi.org/10.1109/LICS.2009.44

Schwartzbach, M. I. & Palsberg, J. (1992). Three discussions on object-oriented typing. In S. B. Zdonik (Ed.), ACM SIGPLAN OOPS Messenger (April ed., Vol. Vol. 3, Issue 2, pp. 31-38). Association for Computing Machinery. https://doi.org/10.1145/130943.130949

Hansen, K. A., Lachish, O. & Miltersen, P. B. (2009). Hilbert's thirteenth problem and circuit complexity. Lecture Notes in Computer Science, 5878, 153-162. https://doi.org/10.1007/978-3-642-10631-6_17

Andersson, D. & Miltersen, P. B. (2009). The complexity of solving stochastic games on graphs. Lecture Notes in Computer Science, 112-121. https://doi.org/10.1007/978-3-642-10631-6_13

Schwartzbach, M. I. & Schmidt, E. M. (1989). An Imperative Type Hierarchy with Partial Products. In A. Kreczmar & G. Mirkowska (Eds.), Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings (pp. 458-470). Springer. https://doi.org/10.1007/3-540-51486-4_92

Schwartzbach, M. I. & Palsberg, J. (1990). Type Substitution for Object-Oriented Programming. In A. Yonezawa (Ed.), Proceedings of the European Conference on Object-Oriented Programming Systems, Languages and Applications (pp. 151-160). Association for Computing Machinery. https://doi.org/10.1145/97945.97965

Schwartzbach, M. I. (1990). Static Correctness of Hierarchical Procedures. In M. S. Paterson (Ed.), Automata, Languages and Programming: 17th International Colloquium Warwick University, England, July 16-20, 1990 Proceedings (pp. 32-45). Springer. https://doi.org/10.1007/BFb0032020

Schwartzbach, M. I. (1991). Type Inference with Inequalities. In TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8-12, 1991 (pp. 441-455). Springer. https://doi.org/10.1007/3-540-53982-4_24

Schwartzbach, M. I. & Palsberg, J. (1991). What is Type-Safe Code Reuse. In P. America (Ed.), ECOOP'91: Proceedings of the 5th European Conference on Object-Oriented Programming (pp. 325-341). Springer. https://doi.org/10.1007/BFb0057030

Escamocher, G., Miltersen, P. B. & Santillan, R. (2009). Existence and computation of equilibria of first-price auctions with integral valuations and bids. In K. S. Decker, J. S. Sichman, C. Sierra & C. Castelfranchi (Eds.), Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09): SESSION: Interactions (Vol. 2, pp. 1227-1228). International Foundation for Autonomous Agents and Multiagent Systems. http://delivery.acm.org/10.1145/1560000/1558225/p1227-escamocher.pdf?key1=1558225&key2=4204373621&coll=GUIDE&dl=GUIDE&CFID=73345521&CFTOKEN=52226755

Schwartzbach, M. I. & Palsberg, J. (1991). Object-Oriented Type Inference. In A. Paepcke (Ed.), Proceedings of the 6th Conference on Object-Oriented Programming: Systems, Languages, and Applications (pp. 146-161). Association for Computing Machinery. https://doi.org/10.1145/118014.117965

Schwartzbach, M. I., Oxhøj, N. & Palsberg, J. (1992). Making Type Inference Practical. In O. L. Madsen (Ed.), ECOOP '92, European Conference on Object-Oriented Programming: Utrecht, The Netherlands, June 29-July 3, 1992 Proceedings (pp. 329-349). Springer. https://doi.org/10.1007/BFb0053045

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1992). Efficient Inference of Partial Types. In 33rd Annual Symposium on Foundations of Computer Science, 1992. Proceedings (pp. 363-371). IEEE Press.

Schwartzbach, M. I., Agesen, O. & Palsberg, J. (1993). Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. In O. M. Nierstrasz (Ed.), ECOOP' 93 - Object-Oriented Programming: 7th European Conference Kaiserslautern, Germany, July 26-30, 1993 Proceedings (pp. 247-267). Springer. https://doi.org/10.1007/3-540-47910-4_14

Schwartzbach, M. I. & Klarlund, N. (1993). Graph Types. In Proceedings of the 20th Annual Symposium on Principles of Programming Languages (pp. 196-205). Association for Computing Machinery. https://doi.org/10.1145/158511.158628

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1993). Efficient Recursive Subtyping. In Proceedings of the 20th Annual Symposium on Principles of Programming Languages (pp. 419-428). Association for Computing Machinery. https://doi.org/10.1145/158511.158700

Schwartzbach, M. I. & Klarlund, N. (1994). Graphs and Desidable Transductions based on Edge Constraints. In S. Tison (Ed.), Trees in Algebra and Programming - CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11-13, 1994 Proceedings (pp. 187-201). Springer. https://doi.org/10.1007/BFb0017482

Schwartzbach, M. I. & Palsberg, J. (1994). Binding Time Analysis: Abstract Interpretation versus Type Inference. In Proceedings on IEEE 1994 International Conference on Computer Language (pp. 289-298). IEEE Computer Society Press. https://doi.org/10.1109/ICCL.1994.288372

Schwartzbach, M. I., Klarlund, N. & Koistinen, J. (1996). Formal Design Constraints. In Proccedings of the 11th Conference on Object-Oriented Programming: Systems, Languages, and Applications (pp. 370-383). Association for Computing Machinery. https://doi.org/10.1145/236337.236376

Schwartzbach, M. I. & Klarlund, N. (1999). A Domain-Specific Language for Regular Sets of Strings and Trees. I E E E Transactions on Software Engineering, (3), 378-386. https://doi.org/10.1109/32.798326

Schwartzbach, M. I., Madsen, J. L., Jørgensen, M. E. & Klarlund, N. (1997). Automatic Verification of Pointer Programs using Monadic Scond-Order Logic. In Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation (pp. 226-236). Association for Computing Machinery. https://doi.org/10.1145/258915.258936

Schwartzbach, M. I. & Sandholm, A. (1998). Distributed Safety Controllers for Interactive Web Services. In Proccedings on Conference on Fundamental Approaches to Software Engineering (pp. 270-284). Springer. https://doi.org/10.1007/BFb0053596

Dutheil, J., Ganapathy, G., Hobolth, A., Mailund, T., Uyenoyama, M. & Schierup, M. H. (2009). Ancestral population genomics: the coalescent hidden Markov model approach. Genetics, 183(1), 259–274. https://doi.org/10.1534/genetics.109.103010

Displaying results 15601 to 15650 out of 56296

313