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

Christensen, H. B., Bardram, J. & Dittmer, S. (2001). Theme One: Administration and Documentation of Medicine Report and Evaluation. Department of Computer Science, Aarhus University.

Christensen, H. B. & Røn, H. (2000). Case Study of Maturing and Reusing a Framework. Department of Computer Science, Aarhus University.

Graversen, S.-E. & Pedersen, J. (2011). Representations of Urbanik's classes and multiparameter Ornstein-Uhlenbeck processes. Electronic Communications in Probability, 16, 200-212. http://www.math.washington.edu/~ejpecp/ECP/viewarticle.php?id=2285&layout=abstract

Verma, A. K., Modak, P., Svane, A. & Christensen, N. E. (2011). Atomic structure and electronic properties of the SixSb100-x phase-change memory material. Physical Review B, 83(13), 134205. https://doi.org/10.1103/PhysRevB.83.134205

Greve, M., Lykke, A. M., Overgaard, A. B. & Svenning, J.-C. (2011). Environmental and anthropogenic determinants of vegetation distribution across Africa. Global Ecology and Biogeography, 20, 661–674. https://doi.org/10.1111/j.1466-8238.2011.00666.x

Christensen, N. E., Svane, A., Cardona, M., Chantis, A. N., Laskowski, R. M., van Schilfgaarde, M. & Kotani, T. (2011). Calculations of quasi-particle spectra of semiconductors under pressure. IPPS physica status solidi (b), 248(5), 1096–1101. https://doi.org/10.1002/pssb.201001202

Danvy, O., Glück, R. & Thiemann, P. (1998). 1998 Symposium on Partial Evaluation. A C M Computing Surveys, 30(3). https://doi.org/10.1145/292469.293684

Hatcliff, J. & Danvy, O. (1997). A computational formalization for partial evaluation. Mathematical Structures in Computer Science, 7(5), 507-541. https://doi.org/10.1017/S0960129597002405

Jensen, T. N., Besenbacher, F. & Lauritsen, J. V. (2010). Atom resolved AFM studies of gamma-Al2O3 on the MgAl2O4(100) surface. Poster-session præsenteret på iNANO Autumn School 2010, Knebel, Danmark.

Faupin, J., Møller, J. S. & Skibsted, E. (2011). Regularity of Bound States. Reviews in Mathematical Physics, 23(5), 453-530. https://doi.org/10.1142/S0129055X11004333

Jensen, T. N., Meinander, K., Besenbacher, F. & Lauritsen, J. V. (2011). Atomic-scale non-contact atomic force studies of alumina supported nanoparticles. Abstract fra Energy and Materials from the Sun, Kerkrade, Holland.

Jensen, T. N., Mi, J., Jørgensen, J.-E. & Iversen, B. B. (2010). Synthesis and characterization of multiferroic bismuth ferrite. Poster-session præsenteret på Danscatt Meeting 2010, København, Danmark.

Danvy, O., Malmkjær, K. & Palsberg, J. (1996). Eta-expansion does The Trick. ACM Transactions on Programming Langauges and Systems (TOPLAS), 18(6), 730-751. https://doi.org/10.1145/236114.236119

Danvy, O. (2000). Functional unparsing. Journal of Functional Programming, 621-625.

Danvy, O. & Schultz, U. P. (2000). Lambda-dropping: transforming recursive equations into programs with block structure . Theoretical Computer Science, 248(1-2), 243-287. https://doi.org/10.1016/S0304-3975(00)00054-2

Kissling, W. D., Eiserhardt, W. L., Baker, W. L., Balslev, H., Barfod, A. S., Borchsenius, F., Couvreur, L. P., Dransfield, J., Govaerts, R. & Svenning, J.-C. (2011). Global spatial patterns of species richness and phylogenetic assemblage structure in palms. Abstract fra EUNOPS 11, St. Petersburg, Rusland.

Danvy, O., Rhiger, M. & Rose, K. H. (2001). Normalization by evaluation with typed abstract syntax. Journal of Functional Programming, 673-680. https://doi.org/10.1017/S0956796801004166

Danvy, O. & Goldberg, M. (1997). Partial Evaluation of the Euclidian Algorithm. Higher-Order and Symbolic Computation, 10(2), 101-111. https://doi.org/10.1023/A:1007736916360

Danvy, O., Hentze, N. & Malmkjær, K. (1996). Resource-bounded partial evaluation. A C M Computing Surveys, 28(2), 329-332. https://doi.org/10.1145/234528.234741

Damian, D. & Danvy, O. (2003). Syntactic accidents in program analysis: on the impact of the CPS transformation. Journal of Functional Programming, 13(5), 867-904. https://doi.org/10.1017/S0956796802004379

Danvy, O., Malmkjær, K. & Palsberg, J. (1995). The essence of eta-expansion in partial evaluation. Higher-Order and Symbolic Computation, 8(3), 209-227. https://doi.org/10.1007/BF01019004

Hatcliff, J. & Danvy, O. (1997). Thunks and the λ-calculus. Journal of Functional Programming, 7(3), 303-319.

Danvy, O. (red.) (1999). Proceedings of the 1999 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation. Association for Computing Machinery.

Danvy, O. & Hatcliff, J. (2000). Partial Evaluation. I A. Ralston, E. Reilly & D. Hemmendinger (red.), Encyclopedia of Computer Science (s. 1370-1371). Macmillan Reference.

Danvy, O., Glück, R. & Thiemann, P. (red.) (1996). Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers. Springer. Lecture Notes in Computer Science Bind 1110 https://doi.org/10.1007/3-540-61580-6

Danvy, O. & Dybjer, P. (red.) (1998). Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Department of Computer Science, Aarhus University. BRICS Nr. NS-98-1

Danvy, O. (red.) (1996). Proceedings of the Second ACM SIGPLAN Workshop on Continuations. CW '97. Department of Computer Science, Aarhus University. BRICS Nr. NS-96-13

Danvy, O. & Filinski, A. (red.) (2001). Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings. Springer. Lecture Notes in Computer Science Bind 2053 https://doi.org/10.1007/3-540-44978-7

Danvy, O. (1999). Type-Directed Partial Evaluation. I J. Hatcliff, T. Æ. Mogensen & P. Thiemann (red.), Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998 (s. 367-411). Springer. https://doi.org/10.1007/3-540-47018-2_16

Jensen, K., Mayntz, D., Toft, S., Raubenheimer, D. & Simpson, S. J. (2011). Nutrient regulation in a predator, the wolf spider Pardosa prativaga. Animal Behaviour, 81(5), 993-999. https://doi.org/10.1016/j.anbehav.2011.01.035, https://doi.org/10.1016/j.anbehav.2011.01.035

Danvy, O. (1998). A simple solution to type specialization. I K. G. Larsen, S. Skyum & G. Winskel (red.), Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings (s. 908-917). Springer. https://doi.org/10.1007/BFb0055112

Danvy, O., Rhiger, M. & Grobauer, B. (2001). A Unifying Approach to Goal-Directed Evaluation. I W. Taha (red.), Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (s. 108-125). Springer. https://doi.org/10.1007/3-540-44806-3_7

Damian, D. & Danvy, O. (2001). Static Transition Compression. I W. Taha (red.), Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (s. 92-107). Springer. https://doi.org/10.1007/3-540-44806-3_6

Danvy, O. (1999). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. I A. Middeldorp & T. Sato (red.), Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings (s. 241-250). Springer. https://doi.org/10.1007/10705424_16

Danvy, O. & Yang, Z. (1999). An Operational Investigation of the CPS Hierarchy. I S. D. Swierstra (red.), Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings (s. 640). Springer. https://doi.org/10.1007/3-540-49099-X_15

Danvy, O. & Nielsen, L. R. (2001). CPS Transformation of Beta-Redexes. I Proceedings of the Third ACM SIGPLAN Workshop on Continuations

Danvy, O. & Rhiger, M. (1997). Compiling Actions by Type-Directed Partial Evaluation. I Proceedings of the Nordic Workshop on Programming Theory. NWPT'97

Danvy, O. & Nielsen, L. R. (2001). Defunctionalization at Work. I roceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (s. 162-174). Association for Computing Machinery. https://doi.org/10.1145/773184.773202

Danvy, O. (1996). Décompilation de lambda-interprètes. I JFLA '96 - Journées Francophones des Langages Applicatifs (Bind 15)

Martins, H. & Villesen, P. (2011). Improved integration time estimation of endogenous retroviruses with phylogenetic data. P L o S One, 6(3), e14745. https://doi.org/10.1371/journal.pone.0014745

Danvy, O. (2000). Formalizing Implementation Strategies for First-Class Continuations. I G. Smolka (red.), Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (s. 88-103). Springer. https://doi.org/10.1007/3-540-46425-5_6

Danvy, O. & Rose, K. H. (1998). Higher-order rewriting and partial evaluation. I T. Nipkow (red.), Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings (s. 286-301). Springer. https://doi.org/10.1007/BFb0052377

Danvy, O. & Schultz, U. P. (1997). Lambda-dropping: transforming recursive equations into programs with block structure. I PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (s. 90-106). Association for Computing Machinery. https://doi.org/10.1145/258993.259007

Danvy, O., Dzafic, B. & Pfenning, F. (1999). On proving syntactic properties of CPS programs. Electronic Notes in Theoretical Computer Science, 26, 21-33. https://doi.org/10.1016/S1571-0661(05)80281-6

Danvy, O. (1998). Online Type-Directed Partial Evaluation. I Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming (s. 271-295)

Danvy, O. (1996). Pragmatics of type-directed partial evaluation. I O. Danvy, R. Glück & P. Thiemann (red.), Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers (s. 73-94). Springer. https://doi.org/10.1007/3-540-61580-6_5

Danvy, O. & Vestergaard, R. (1996). Semantics-based compiling: A case study in type-directed partial evaluation. I H. Kuchen & S. D. Swierstra (red.), Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings (s. 182-197). Springer. https://doi.org/10.1007/3-540-61756-6_85

Balat, V. & Danvy, O. (1998). Strong normalization by type-directed partial evaluation and run-time code generation. I X. Leroy & A. Ohori (red.), Types in Compilation: Second International Workshop, TIC ’98 Kyoto, Japan, March 25–27, 1998 Proceedings (s. 240-252). Springer. https://doi.org/10.1007/BFb0055521

Damian, D. & Danvy, O. (2000). Syntactic accidents in program analysis: on the impact of the CPS transformation. I Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (s. 209-220). Association for Computing Machinery.

Danvy, O. (1996). Type-Directed Partial Evaluation. I Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium (s. 242-257). Association for Computing Machinery.

Viser resultater 19851 til 19900 ud af 54023

398