Aarhus Universitets segl

Publikationer

Følg med i de senest publicerede videnskabelige artikler fra Faculty of Natural Sciences. Oversigten viser fakultetets publikationer med de nyeste øverst.

Sortér efter: Dato | Forfatter | Titel

Carbone, M., Nielsen, M. & Sassone, V. (2004). A Calculus for Trust Management. I K. Lodaya & M. Mahajan (red.), FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings (s. 161-173). Springer. https://doi.org/10.1007/978-3-540-30538-5_14
Peskir, G. (2004). A Change-of-Variable Formula with Local Time on Surfaces. MaPhySto, Institut for Matematiske Fag, Aarhus Universitet.
Coriani, C., Helgaker, T., Jørgensen, P. & Klopper, W. (2004). A closed-shell coupled-cluster treatment of the Breit-Pauli first-order relativistic energy correction. Journal of Chemical Physics, 121(14), 6591-6598.
Kallmeyer, J., Ferdelman, TG., Weber, A., Fossing, H. & Jørgensen, BB. (2004). A cold chromium distillation procedure for radiolabeled sulfide applied to sulfate reduction measurements. Limnology and Oceanography: Methods, 2, 171-180.
Thøgersen, L. & Olsen, J. (2004). A coupled cluster and full configuration interaction study of CN and CN-. Chemical Physics Letters, 393, 36-43.
Palmqvist, A. E. C., Iversen, B. B., Zanghellini, E., Behm, M. & Stucky, G. D. (2004). A Crystalline Microporous Narrow-Bandgap Semiconductor. Angewandte Chemie International Edition, 43, 699-704.
Bardram, J. E. (2004). Activity-Based Support for Mobility and Collaboration in Ubiquitous Computing. I L. Baresi, S. Dustdar, H. Gall & M. Matera (red.), Ubiquitous Mobile Information and Collaboration Systems (Lecture Notes in Computer Science udg., Bind 3272, s. 169-184). Springer.
Bardram, J. E., Christensen, H. B. & Olesen, A. K. (2004). Activity-Driven Computing Infrastructure - Pervasive Computing in Healthcare. Department of Computer Science, Aarhus University.
Bertelsen, O. W., Korpela, M. (red.) & Mursu, A. (red.) (2004). Activity Walkthrough - A Quick User Interface Evaluation without Users. I Ikke angivet (PB-574 of Daimi Reports udg., s. 17-21). Aarhus Universitet.
Canetti, R., Damgård, I. B., Dziembowski, S., Ishai, Y. & Malkin, T. (2004). Adaptive versus Non-Adaptive Security of Multi-Party Protocols. Journal of Cryptology, 17(3), 153-207. https://doi.org/10.1007/s00145-004-0135-x
Torgersen, M., Hansen, C. P., Ernst, E., Ahé, P. V. D., Bracha, G. & Gafter, N. M. (2004). Adding Wildcards to the Java Programming Language. I Proceedings of the 2004 ACM Symposium on Applied Computing (Bind 104042, s. 1289-1296). Association for Computing Machinery. https://doi.org/10.1145/967900.968162
Torgersen, M., Hansen, C. P., Ernst, E., von der Ahé, P., Bracha, G. & Gafter, N. M. (2004). Adding Wildcards to the Java Programming Language. Journal of Object Technology, 3(11), 97-116. https://doi.org/10.5381/jot.2004.3.11.a5
Filinski, A., Rohde, H. K. & Walukiewicz, I. (red.) (2004). A Denotational Account of Untyped Normalization by Evaluation. I Foundations of Software Science and Computation Structures: Proceedings of the 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 (2987 udg., Bind Lecture Notes in Computer Science, s. 167-181). Springer.
Kragh, H. (2004). Æstetik og Fysisk Videnskab. Billedkunst, 12, 3-7.
Bertelsen, O. W., Petersen, M. G. & Pold, S. (red.) (2004). Aesthetic Approaches to Human-Computer Interaction: Proceedings of the NordiCHI 2004 Workshop. Aarhus Universitet. Daimi Report Series (DAIMI PB) Nr. 572
Petersen, M. G., Iversen, O. S., Krogh, P. & Ludvigsen, M. (2004). Aesthetic interaction. I Proceedings of the 2004 Conference on Designing interactive Systems: Processes, Practices, Methods, and Techniques (s. 269-276). Association for Computing Machinery.
Kragh, H. & Berg Olsen, J.-K. (red.) (2004). Afhænger Naturkonstanterne af den Kosmiske Tid? I Tid - Fysiske, Filosofiske og Videnskabsteoretiske Perspektiver Biofolia.
Andersen, K. K. S., Bauer, T., Grodal, J. & Pedersen, E. K. (2004). A finite loop space not rationally equivalent to a compact Lie group. Inventiones Mathematicae, 157(1), 1-10. https://doi.org/10.1007/s00222-003-0341-4
Wagealla, W., Carbone, M., English, C., Terzis, S., Lowe, H., Nixon, P., Dimitrakos, T. (red.) & Martinelli, F. (red.) (2004). A Formal Model for Trust Lifecycle Management. I Proceedings of IEEE International Conference on Software Engineering and Formal Methods (SEFM '03), 2003. (s. 181-192). IIT-CNR.
Becker, L., Blunck, H., Hinrichs, K. & Vahrenhold, J. (2004). A Framework for Representing Moving Objects. I F. Galindo, M. Takizawa & R. Traunmüller (red.), Database and Expert Systems Applications: 15th International Conference, DEXA 2004, Zaragoza, Spain, August 30-September 3, 2004. Proceedings (s. 854-863). Springer. https://doi.org/10.1007/978-3-540-30075-5_82
Stenderup, K., Rosada, C., Justesen, J., Al-Soubky, T., Dagnæs-Hansen, F. & Kassem, M. (2004). Aged human bone marrow stromal cells maintain bone forming capacity in vivo evaluated using an improved method of visualization. Biogerontology, 5(2), 107-118.
Kock, A. (2004). A geometric theory of harmonic and semi-conformal maps. Central European Journal of Mathematics, 2(5), 708-724.
Rattan, S. (2004). Aging intervention, prevention, and therapy through hormesis. J. Gerontology: Biol. Sci., 59A, 705-709.
Christensen-Dalsgaard, J. (2004). A glimpse inside the Sun. Nature, 427, 245502-1.
Stevnsner, T., Thorslund, T. & Bohr, V. (2004). Aldringens molekylærbiologi. Aktuel Naturvidenskab, 1, 4-7.
Stapelfeldt, H. (2004). Alignment of Molecules by Strong Laser Pulses. Kemisk Institut, Aarhus Universitet.