Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Kristensen, J. T. & Miltersen, P. B. (2006). Finding small OBDDs for incompletely specified truth tables is hard. Electronic Colloquium on Computational Complexity, (TR06-004), 1-6. http://eccc.hpi-web.de/eccc-reports/2006/TR06-004/index.html

Miltersen, P. B. & Kristensen, J. T. (2006). Finding small OBDDs for incompletely specified truth tables is hard. I D. Z. Chen & D. T. Lee (red.), Computing and Combinatorics: 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006. Proceedings (s. 489-496). Springer. https://doi.org/10.1007/11809678_51

Madsen, O. L. (2006). From ECOOP'87 to ECOOP 2006 and beyond. I ECOOP 2006 - Object-Oriented Programming - 20th European Conference, Proceedings (s. 186-191). Springer Verlag. https://doi.org/10.1007/11785477_11

Arge, L., Agarwal, P. K. & Danner, A. (2006). From Point Cloud to GRID DEM: A Scalable Approach. I Proceedings of International Symposium on Spatial Data Handling

Jørgensen, J. B., Lassen, K. B. & van der Aalst, W. (2006). From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record. International Workshop on Coloured Petri Nets.

Gerhardy, P. (2006). Functional interpretation and modified realizability interpretation of the double-negation shift. I A. Beckmann, U. Berger, B. Löwe & J. V. Tucker (red.), Logical Approaches to Computational Barriers: CiE 2006 (Bind CSR 7-2006 in Computer Science Report Series). University of Wales Swansea.

Westergaard, M. (2006). Game Coloured Petri Nets. I K. Jensen (red.), Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (Bind PB-579, s. 281-301). Aarhus Universitetsforlag.

Mailund, T., Schierup, M. H., Pedersen, C. N. S., Madsen, J. N., Hein, J. & Schauser, L. (2006). GeneRecon—A coalescent based tool for fine-scale association mapping. Bioinformatics, 22(18), 2317–2318.

Mailund, T. (2006). Getting Started with Blossoc. http://www.daimi.au.dk/~mailund/Blossoc/download/getting-started-1.1.pdf

Mailund, T. (2006). Getting Started with HapCluster: An introduction to the HapCluster association mapping tool.

Ballegaard, S. A. & Fangel, A. B. (2006). Getting the Job Done: The impact of conception of work on work-life balance. Afhandling præsenteret på 24th Annual International Labour Process Conference, Storbritannien.

van Hoeve, W.-J. & Katriel, I. (2006). Global Constraints. I F. Rossi, P. van Beek & T. Walsh (red.), Handbook of Constraint Programming: Part I , Foundations Pergamon Press.

Møller-Nielsen, P. & Gejl, J. (2006). Halvanden Meter Max.

Sørensen, T. S. & Mosegaard, J. (2006). Haptic Feedback for the GPU-based Surgical Simulator. I Studies in Health Technology and Informatics (119 udg., Bind 119, s. 523-528)

Bertelsen, O. W., Bødker, S., McEwan, T., Procter, R. & Svanæs, D. (2006). HCI Knowledge - Fit for Transfer, Share or Co-Construction. I The 19th British HCI Group Annual Conference, Napier University. (s. 341-343)

Hansen, K. M. & Wells, L. M. (2006). Heimdall. Softwareprogram

Vesterstrøm, J. S. (2006). Heuristic Algorithms in Bioinformatics.

Houston, B., Nielsen, M. B., Batty, C., Nilsson, O. & Museth, K. (2006). Hierarchical RLE Level Set: A Compact and Versatile Deformable Surface Representation. A C M Transactions on Graphics, 25(1), 151-175.

Støvring, K. (2006). Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form. Nordic Journal of Computing, 13(1-2), 117-126.

Thomsen, J. (2006). Home Appliance Integration by Pervasive Computing.

Brodal, G. S., Arge, L. & Georgiadis, L. (2006). Improved Dynamic Planar Point Location. I Proceedings of the 47th Annual Symposium on Foundations of Computer Science (s. 305-314). IEEE. https://doi.org/10.1109/FOCS.2006.40

Grønbæk, K., Rohde, A., Sundararajah, B. & Bech-Pedersen, S. (2006). InfoGallery: Informative Arts Services for Physical Library Spaces. I G. Marchionini, M. L. Nelson & C. C. Marshall (red.), 6th ACM/IEEE-CS Joint Conference on Digital Libraries 2006: Opening Information Horizons (s. 21-31). Association for Computing Machinery. https://doi.org/10.1145/1141753.1141757

Schaffner, C., Crépeau, C., Savvides, G. & Wullschleger, J. (2006). Information-Theoretic Conditions for Two-Party Secure Function Evaluation. I S. Vaudenay (red.), Advances in Cryptology - EUROCRYPT 2006: 5th Annual International Conference on the Theory and Applications of Cryptographic Techniques (s. 538-554) https://doi.org/10.1007/11761679_32

Blunck, H. & Vahrenhold, J. (2006). In-Place Algorithms for Computing (Layers of) Maxima. I L. Arge & R. Freidvalds (red.), Algorithm Theory – SWAT 2006: 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006. Proceedings (s. 363-374). Springer. https://doi.org/10.1007/11785293_34

Blunck, H. & Vahrenhold, J. (2006). In-Place Algorithms for Computing (Layers of) Maxima. I Abstracts. Twenty-second European Workshop on Computational Geometry (s. 181-184)

Blunck, H. & Vahrenhold, J. (2006). In-Place Randomized Slope Selection. I T. Calamoneri, I. Finocchi & G. F. Italiano (red.), Algorithms and Complexity: 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings (s. 30-41). Springer. https://doi.org/10.1007/11758471_6

Blunck, H. & Vahrenhold, J. (2006). In-Place Randomized Slope Selection. I Abstracts. Twenty-second European Workshop on Computational Geometry (s. 177-180)

Eichberg, M., Mezini, M., Kloppenburg, S., Ostermann, K. & Rank, B. (2006). Integrating and scheduling an open set of static analyses. I S. Honiden, S. Uchitel & S. Easterbrook (red.), Automated Software Engineering, 2006. ASE'06. 21st IEEE/AMC International Conference on: Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE) (Bind DOI:10.1109/ASE.2006.43, s. 113-122). IEEE.

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

Arge, L., Danner, A., Haverkort, H. & Zeh, N. (2006). I/O-Efficient Hierarchical Watershed Decomposition of Grid Terrain Models. I Proceedings of International Symposium on Spatial Data Handling

Dittrich, Y. (red.), Strand, D. L. (red.), Nørbjerg, J. (red.), Bertelsen, O. W. (red.) & Bleek, W.-G. (2006). IRIS 29 Paradigms Politics Paradoxes: Proceedings of 29th Information Systems Research Seminar in Scandinavia, Elsinore, Denmark, August 12-15, 2006 CD ROM. AIS.

Grønbæk, K. (2006, sep. 5). It og læring i bevægelse. EMU - Danmarks Læringsportal.

Støttrup, N., Kristiansen, S. B., Løfgren, B., Hansen, B., Kimose, H.-H., Bøtker, H. E. & Nielsen, T. T. (2006). L-glutamate and glutamine improve haemodynamic function and restore myocardial glycogen content during postischaemic reperfusion: A radioactive tracer study in the rat isolated heart. Clin Exp Pharmacol Physiol., 33(11), 1099-103.

Christensen, B. G. (2006). LightPeers - A Framework Supporting Nomadic Learning in Mixed Environments with Mobile Ad Hoc Networking. Abstract fra The 3rd MiNEMA Workshop on Middleware for Mobile Environments, Leuven, Belgien.

Damgård, I. B. & Thorbek, R. (2006). Linear Integer Secret Sharing and Distributed Exponentiation. I M. Yung, Y. Dodis, A. Kiayias & T. Malkin (red.), Public Key Cryptography - PKC 2006: 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedings (s. 75-90). Springer. https://doi.org/10.1007/11745853_6

Hansen, K. A. (2006). Lower Bounds for Circuits with Few Modular Gates using Exponential Sums. Electronic Colloquium on Computational Complexity, 13(79). http://eccc.hpi-web.de/eccc-reports/2006/TR06-079/index.html

Kristensen, M. & Kyng, M. (2006). Media Spaces, Places and Palpable Technologies. I Ikke angivet Association for Computing Machinery.

Iversen, O. S. & Hansen, F. A. (2006). Med it på lommen – mobilteknologi til nomadisk læring. http://design.emu.dk/artikler/0619-mobiltek.html

Hansen, F. A. & Iversen, O. S. (2006, maj). Med IT på lommen – mobilteknologi til nomadisk læring. EMU - Danmarks Læringsportal.

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2006). Method for gesture based modeling. (Patentnummer 7096454).

Brønsted, J. (2006). Middleware til Pervasive Communication. (1 udg.) Komialt - Vidennetværk for Pervasive Communication.

Clemensen, J., Larsen, S. B. & Ejskjær, N. (2006). Mobil Diabetes Sårpleje i Århus Amt. Behandlerbladet, (22), 18-22.

Brynskov, M. & Ludvigsen, M. (2006). Mock Games: A New Genre of Pervasive Play. I Proceedings of the 6th ACM Conference on Designing Interactive Systems (s. 169-178). Association for Computing Machinery.

Tjell, S. (2006). Model-Based Analysis of a Windmill Communication System. I From Model-Driven Design to Resource Management for Distributed Embedded Systems (Bind 225/2006, s. 245-255). Springer.

Kristensen, L. M., Mechlenborg, P., Zhang, L., Mitchell, B. & Gallasch, G. (2006). Model based Development of a Course of Action Scheduling Tool. I Proc. of Seventh Workshop and Tutorial on Practical Use of Coloured Petri Netds and the CPN Tools (Bind 579, s. 1-16). Department of Computer Science, University of Aarhus.

Tjell, S. (2006). Model-Based Testing of a Reactive System with Coloured Petri Nets. I Proceedings of GI Jahrestagung (2) (Bind 94, s. 274-281). Gesellschaft für Informatik e.V..

Blunck, H., Hinrichs, K., Sondern, J. & Vahrenhold, J. (2006). Modeling and Engineering Algorithms for Mobile Data. I A. Riedl, W. Kainz & G. A. Elmes (red.), Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling (s. 61-77). Springer. https://doi.org/10.1007/3-540-35589-8_5

Blunck, H. (2006). Modelle und Algorithmen für mobile Datenobjekte und Umgebungen.

Hansen, T. R., Bardram, J. & Søgaard, M. (2006). Moving out of the Laboratory: Deploying Pervasive Technologies in a Hospital. I E E E Pervasive Computing, 5(3), 24-31.

Khaled, E. & Katriel, I. (2006). Multiconsistency and Robustness with Global Constraints. Constraints, 11(4), 335-352.

Viser resultater 4201 til 4250 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series