Find

Institut for Biologi

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. (1999). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. BRICS Report Series, (RS-99-21).

Biernacka, M., Biernacki, D. & Danvy, O. (2004). An Operational Foundation for Delimited Continuations in the CPS Hierarchy. BRICS Report Series, (RS-04-29).

Danvy, O. & Yang, Z. (1998). An Operational Investigation of the CPS Hierarchy. BRICS Report Series, (RS-98-35).

Kim, J., Yi, K. & Danvy, O. (1998). Assessing the Overhead of ML Exceptions by Selective CPS Transformation. BRICS Report Series, (RS-98-15).

Danvy, O. & Lawall, J. (1996). Back to Direct Style II: First-Class Continuations. BRICS Report Series, (RS-96-20).

Danvy, O. & Nielsen, L. R. (2000). CPS Transformation of Beta-Redexes. BRICS Report Series, (RS-00-35).

Damian, D. & Danvy, O. (2001). CPS Transformation of Flow Information, Part II: Administrative Reductions. BRICS Report Series, (RS-01-40).

Danvy, O. & Rhiger, M. (1998). Compiling Actions by Partial Evaluation, Revisited. BRICS Report Series, (RS-98-13).

Danvy, O. & Nielsen, L. R. (2001). Defunctionalization at Work. BRICS Report Series, (RS-01-23).

Danvy, O., Malmkjær, K. & Palsberg, J. (1995). Eta-Expansion Does The Trick. BRICS Report Series, (RS-95-41).

Danvy, O., Malmkjær, K. & Palsberg, J. (1996). Eta-Expansion Does The Trick. BRICS Report Series, (RS-96-17).

Ager, M. S., Danvy, O. & Rohde, H. K. (2003). Fast Partial Evaluation of Pattern Matching in Strings. BRICS Report Series, (RS-03-11).

Ager, M. S., Danvy, O. & Rohde, H. K. (2003). Fast Partial Evaluation of Pattern Matching in Strings. BRICS Report Series, (RS-03-20).

Danvy, O. (1999). Formalizing Implementation Strategies for First-Class Continuations. BRICS Report Series, (RS-99-51).

Danvy, O. (1998). Formatting Strings in ML. BRICS Report Series, (RS-98-5).

Biernacki, D. & Danvy, O. (2003). From Interpreter to Logic Engine by Defunctionalization. BRICS Report Series, (RS-03-25).

Biernacki, D. & Danvy, O. (2004). From Interpreter to Logic Engine by Defunctionalization. BRICS Report Series, (RS-04-5).

Danvy, O. (1998). Functional Unparsing. BRICS Report Series, (RS-98-12).

Danvy, O. & Rose, K. H. (1997). Higher-Order Rewriting and Partial Evaluation. BRICS Report Series, (RS-97-46).

Danvy, O. & Schultz, U. P. (1997). Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. BRICS Report Series, (RS-97-6).

Danvy, O. & Schultz, U. P. (1998). Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. BRICS Report Series, (RS-98-54).

Danvy, O. & Schultz, U. P. (1999). Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. BRICS Report Series, (RS-99-27).

Danvy, O. & Schultz, U. P. (2002). Lambda-Lifting in Quadratic Time. BRICS Report Series, (RS-02-30).

Danvy, O. & Schultz, U. P. (2003). Lambda-Lifting in Quadratic Time. BRICS Report Series, (RS-03-26).

Danvy, O. & Schultz, U. P. (2004). Lambda-Lifting in Quadratic Time. BRICS Report Series, (RS-04-12).

Balat, V. & Danvy, O. (2002). Memoization in Type-Directed Partial Evaluation. BRICS Report Series, (RS-02-33).

Ager, M. S., Danvy, O. & Rohde, H. K. (2002). On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation. BRICS Report Series, (RS-02-32).

Danvy, O., Dzafic, B. & Pfenning, F. (1999). On proving syntactic properties of CPS programs. BRICS Report Series, (RS-99-23).

Danvy, O. & Malmkjær, K. (1996). On the Idempotence of the CPS Transformation. BRICS Report Series, (RS-96-14).

Danvy, O. (1997). Online Type-Directed Partial Evaluation. BRICS Report Series, (RS-97-53).

Brinkmann, C. R., Thiel, S., Larsen, M. K., Petersen, T. E., Jensenius, J. C. & Heegaard, C. W. (2011). Preparation and comparison of cytotoxic complexes formed between oleic acid and either bovine or human (alpha)-lactalbumin. Journal of Dairy Science, 94(5), 2159-2170.

Nissen, P. E. & Schuster, W. J. (2011). Two distinct halo populations in the solar neighborhood II. Evidence from stellar abundances of Mn, Cu, Zn, Y, and Ba. Astronomy & Astrophysics (A&A), 530(A15). https://doi.org/10.1051/0004-6361/201116619

Danvy, O. & Goldberg, M. (1997). Partial Evaluation of the Euclidian Algorithm. BRICS Report Series, (RS-97-1).

Danvy, O. (1996). Pragmatic Aspects of Type-Directed Partial Evaluation. BRICS Report Series, (RS-96-15).

Danvy, O. & Vestergaard, R. (1996). Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. BRICS Report Series, (RS-96-13).

Balat, V. & Danvy, O. (1997). Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. BRICS Report Series, (RS-97-43).

Bøttger, P. & Pedersen, L. (2011). Mapping of the minimal inorganic phosphate transporting unit of human PiT2 suggests a structure universal to PiT-related proteins from all kingdoms of life. BMC Biochemistry, 12(21). https://doi.org/10.1186/1471-2091-12-21

Daniel, D. & Danvy, O. (2000). Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation. BRICS Report Series, (RS-00-15).

Danvy, O. & Lopez, P. E. M. (2003). Tagging, Encoding, and Jones Optimality. BRICS Report Series, (RS-03-2).

Danvy, O. & Goldberg, M. (2002). There and Back Again. BRICS Report Series, (RS-02-12).

Hatcliff, J. & Danvy, O. (1996). Thunks and the λ-calculus. BRICS Report Series, (RS-96-19).

Hatcliff, J. & Danvy, O. (1997). Thunks and the λ-calculus. BRICS Report Series, (RS-97-7).

Danvy, O. (1998). Type-Directed Partial Evaluation. BRICS Lecture Series, (LS-98-3).

Simonsen, M., Mailund, T. & Pedersen, C. N. S. (2011). Inference of Large Phylogenies Using Neighbour-Joining. Biomedical Engineering Systems and Technologies, 127(5), 334-344. https://doi.org/10.1007/978-3-642-18472-7_26

Cockburn, S. P., Negretti, A., Proukakis, N. P. & Henkel, C. (2011). Comparison between microscopic methods for finite-temperature Bose gases. Physical Review A, 83(4), 043619. https://doi.org/10.1103/PhysRevA.83.043619

Bouvin, N. O. & Schade, R. (1999). Integrating Temporal Media and Open Hypermedia on the World Wide Web. Computer Networks, 31(11-16), 1453-1465. https://doi.org/10.1016/S1389-1286(99)00038-9

Anderson, K. M. & Bouvin, N. O. (2000). Supporting project awareness on the WWW with the iScent framework. SIGGROUP Bulletin, 21(3), 16-20. https://doi.org/10.1145/605647.605650

Bouvin, N. O. (1998). Designing open hypermedia applets: experiences and prospects. I Proceedings of the ninth ACM conference on Hypertext and hypermedia: links, objects, time and space---structure in hypermedia systems (s. 281-282). Association for Computing Machinery. https://doi.org/10.1145/276627.276659

Bouvin, N. O. (1999). Unifying strategies for Web augmentation. I J. Westbomke, U. K. Wiil, J. J. Leggett, K. Tochtermann & J. M. Haake (red.), Proceedings of the tenth ACM Conference on Hypertext and hypermedia: returning to our diverse roots (s. 91-100). Association for Computing Machinery. https://doi.org/10.1145/294469.294493

Davis, H., Millard, D., Reich, S., Bouvin, N. O., Grønbæk, K., Nürnberg, P., Sloth, L., Wiil, U. K. & Anderson, K. M. (1999). Interoperability between hypermedia systems: the standardisation work of the OHSWG. I Proceedings of the tenth ACM Conference on Hypertext and hypermedia : returning to our diverse roots (s. 201-202). Association for Computing Machinery. https://doi.org/10.1145/294469.294904

Viser resultater 20501 til 20550 ud af 56399

411

Sortér efter: Dato | Forfatter | Titel

Viser resultater 20501 til 10741 ud af 10741

Revideret 13.03.2026

-

Anne Kirstine Mehlsen