Publikationer

Søg publikationer fra Institut for Datalogi

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

Klokmose, C. N. & Beaudouin-Lafon, M. (2008). From Applications to Ubiquitous Instrumental Interaction. I CHI '00: Proceedings of the SIGCHI conference on Human factors in computing systems (s. 446-453). Association for Computing Machinery.

Jørgensen, J. B., Lassen, K. B. & van der Aalst, W. M. P. (2008). From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record. International Journal on Software Tools for Technology Transfer, 10(1), 15-26.

Arge, L. A., Goodrich, M. T., Nelson, M. & Sitchinava, N. (2008). Fundamental Parallel Algorithms for Private-Cache Chip Multiprocessors. I F. Meyer auf der Heide & N. Shavit (red.), ACM Symposium on Parallelism in Algorithms and Architectures: Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures. (s. 197-206). Association for Computing Machinery. https://doi.org/10.1145/1378533.1378573

Bucur, D. & Kjærgaard, M. B. (2008). GammaSense: Infrastructureless Positioning using Background Radioactivity. Lecture Notes in Computer Science, 69-82. https://doi.org/10.1007/978-3-540-88793-5_6

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2008). Geometric culprits of papillary muscle displacement in functional ischemic mitral regurgitation assessed by 3D magnetic resonance imaging. Abstract fra The 57th Annual Meeting of the Scandinavian Society of Thoracic Surgery and the 28th Annual Meeting of Scandinavian Society of Extra Corporeal Technology, København, Danmark.

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2008). Geometric Culprits of Papillary Muscle Displacement in Functional Ischemic Mitral Regurgitation assessed by 3D Magnetic Resonance Imaging. Heart Surgery Forum, 11(Suppl. 1), 358.

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2008). Geometric Culprits of Papillary Muscle Displacement in Functional Ischemic Mitral Regurgitation assessed by 3D Magnetic Resonance Imaging. Poster-session præsenteret på 18th World Congress - World Society of Cardio-Thoracic Surgeon, Kos, Grækenland.

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2008). Geometric Culprits of Papillary Muscle Displacement in Functional Ischemic Mitral Regurgitation Assessed by 3D Magnetic Resonance Imaging. Poster-session præsenteret på PhD Day, Aarhus Universitet, Århus, Danmark.

Brodersen, A., Museth, K., Porumbescu, S. & Budge, B. (2008). Geometric texturing using level sets. I E E E Transactions on Visualization and Computer Graphics, 14(2), 277-88. https://doi.org/10.1109/TVCG.2007.70408

Mogensen, M., Frey, D., Guerraoui, R., Kermarrec, A.-M., Monod, M. & Quema, V. (2008). Gossiping Capabilities. École Polytechnique Fédérale de Lausanne.

Noe, K. Ø., Tanderup, K., Lindegaard, J. C., Grau, C. & Sørensen, T. S. (2008). GPU accelerated viscous-fluid deformable registration for radiotherapy. I Medicine Meets Virtual Reality 16 (s. 327-32). IOS Press.

Meskens, J., Vermeulen, J., Luyten, K. & Coninx, K. (2008). Gummy for Multi-platform User Interface Designs: Shape Me, Multiply Me, Fix Me, Use Me. Unspecified journal, 233-240. https://doi.org/10.1145/1385569.1385607

Brønsted, J. R. & Hansen, K. M. (2008). Handling membership dynamicity in service composition for ubiquitous computing. I J. L. Mauri, N. Cardona, K.-C. Chen, M. Popescu & A. Doci (red.), The Second International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies: UBICOMM 2008 (s. 159-164). IEEE Computer Society Press. https://doi.org/10.1109/UBICOMM.2008.33

Ballegaard, S. A., Hansen, T. R. & Kyng, M. (2008). Healthcare in Everyday Life - Designing Healthcare Services for Daily Life. I Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems (s. 1807-1816). Association for Computing Machinery. https://doi.org/10.1145/1357054.1357336

Danvy, O. & Mason, I. (2008). Higher-Order and Symbolic Computation: Editorial. Higher-Order and Symbolic Computation, 21(4), 359.

Danvy, O., Dybvig, R. K., Lawall, J. & Thiemann, P. (2008). Higher-Order and Symbolic Computation. LISP and Symbolic Computationditorial. Editorial. Higher-Order and Symbolic Computation, 21(3), 237-238.

Wang, H., Schwefel, H.-P. & Toftegaard, T. S. (2008). History-based Adaptive Modulation for a Downlink Multicast Channel in OFDMA systems. I IEEE Wireless Communications and Networking Conference, WCNC '08. Conference proceedings (s. 1588 - 1592). IEEE Communications Society. https://doi.org/10.1109/WCNC.2008.284

Petersen, M. G., Hansen, A. B., Nielsen, K. R. & Gude, R. (2008). HOMEinTOUCH Designing two-way Ambient Communication. Lecture Notes in Computer Science, 44-57.

Damgård, I. B., Geisler, M. & Krøigaard, M. (2008). Homomorphic encryption and secure comparison. International Journal of Applied Cryptography, 1(1), 22-31. https://doi.org/10.1504/IJACT.2008.017047

Achenbach, M. (2008). Hybrid Program Analysis for Error Detection. Poster-session præsenteret på Programming Language Design and Implementation (PLDI), Tucson, USA.

Kjærgaard, M. B. & Munk, C. V. (2008). Hyperbolic Location Fingerprinting: A Calibration-Free Solution for Handling Differences in Signal Strength. I L. Ni & J. Cao (red.), Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (Percom 2008) (s. 110-116). IEEE. https://doi.org/10.1109/PERCOM.2008.75

Kjærgaard, M. B. (2008). Indoor Positioning with Radio Location Fingerprinting. Aarhus Universitetsforlag.

Kortbek, K. J. (2008). Interaction Design for Public Spaces. I A. EL. Saddik & S. Vuong (red.), Proceedings of the 16th ACM International Conference on Multimedia (s. 1031-1034). Association for Computing Machinery. https://doi.org/10.1145/1459359.1459566

Hansen, M. S., Atkinson, D. & Sørensen, T. S. (2008). Interactive Adjustment of Regularization in SENSE and k-t SENSE Using Commodity Graphics Hardware. I Proceedings of the 16th Meeting and Exhibition of the International Society for Magnetic Resonance in Medicine: Traditional Posters (s. 1491). ISMRM.

Kortbek, K. J. & Grønbæk, K. (2008). Interactive spatial multimedia for communication of art in the physical museum space. I R. Wakkary (red.), Proceeding of the 16th ACM international conference on Multimedia (s. 609-618). Association for Computing Machinery. https://doi.org/10.1145/1459359.1459441

Danvy, O. & Johannsen, J. (2008). Inter-deriving Semantic Artifacts for Object-Oriented Programming. Lecture Notes in Computer Science, 1-16.

Stenderup, K., Rosada, C., Worsaae, A., Dagnaes-Hansen, F., Steiniche, T., Hasselager, E., Iversen, L., Zahn, S., Wöldike, H., Holmberg, H. L., Rømer, J., Kragballe, K., Clausen, J. T. & Dam, T. N. (2008). Interleukin-20 plays a critical role in maintenance and development of psoriasis in the human xenograft transplantation model. British Journal of Dermatology, 160(2), 284-96. https://doi.org/10.1111/j.1365-2133.2008.08890.x

Caspersen, M. E. (2008). Introducing Object-Oriented Programming. Lecture Notes in Computer Science, 4821, 77-79. https://doi.org/10.1007/978-3-540-77934-6

Petersen, M. G., Hallnäs, L. & Jacob, R. J. K. (red.) (2008). Introduction to special issue on the aesthetics of interaction. ACM Transactions on Computer-Human Interaction, 15(4), 1-5. https://doi.org/10.1145/1460355.1460356

Mathiasen, N. R. (2008). Investigating how everyday people experience security. Poster-session præsenteret på Symposium On Usable Privacy and Security, Pittsburgh, USA.

de Groot, S., Mailund, T., Lunter, G. & Hein, J. (2008). Investigating Selection on Viruses: A Statistical Alignment Approach. BMC Bioinformatics, 9(308).

Agarwal, P. K., Arge, L., Sadri, B. & Mølhave, T. (2008). I/O-Efficient Algorithms for Computing Contour Lines on a Terrain. I M. Teilaud (red.), Proceedings of the twenty-fourth annual symposium on Computational geometry (s. 129-138). Association for Computing Machinery. https://doi.org/10.1145/1377676.1377698

Damgård, I. B., Nielsen, J. B. & Wichs, D. (2008). Isolated Proofs of Knowledge and Isolated Zero Knowledge. Lecture Notes in Computer Science, 4965, 509-526. https://doi.org/10.1007/978-3-540-78967-3_29

Veerasawmy, R., Ludvigsen, M. & Fogtmann, M. H. (2008). iSport: Varieties of physical interactions in social contexts. I J. Sturm, T. Bekker & E. Barakova (red.), Proceedings of the 1st workshop on Design for Social Interaction through Physical Play (s. 51-56).

Westergaard, M. & Kristensen, L. M. (2008). JoSEL: A Job Specification and Execution Language for Model Checking. I Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 7-26). Department of Computer Science.

Petersen, M. G. (2008). Keynote abstract: Future Homes and why we want to live in them. I Proceedings of the 5th Nordic conference on Human-computer interaction: building bridges (Bind 358, s. 24-24). ACM Conference on Computer-Human Interaction.

Fogtmann, M. H., Fritsch, J. & Kortbek, K. J. (2008). Kinesthetic Interaction: Revealing the Bodily Potential in Interaction Design. I Proceedings of the ACM OZCHI Conference (s. 89-96). Association for Computing Machinery. https://doi.org/10.1145/1517744.1517770

Bouvin, N. O. (2008). Kommunikation gennem tiderne. I E. Hansen, D. Kreutzfeldt & I. Sylvestersen (red.), Digitale Mellemværender (s. 10-21). Forlaget Philosophia.

Hansen, K. M. & Zhang, W. (2008). Limbo: an Ontology based Web Service Compiler for Networked Embedded Devices: Tool demostration. Afhandling præsenteret på International Conference on Software Reuse (ICSR 2008), Beijing, Kina. https://doi.org/10.1007/978-3-540-68073-4

Besenbacher, S., Mailund, T. & Schierup, M. H. (2008). Local Phylogeny Mapping of Quantitative Traits: Higher Accuracy and Better Ranking Than Single Marker Association in Genomewide Scans. Genetics. https://doi.org/10.1534/genetics.108.092643

Büscher, M., Kristensen, M. & Mogensen, P. H. (2008). Making the future palpable: Notes from a major incident Future Laboratory. International Journal of Emergency Medicine, 5(1/2), 145-163. https://doi.org/10.1504/IJEM.2008.019911

Bødker, S. & Bohøj, M. (2008). Meeting (in) the wild. I Proceedings of the 5th Nordic Conference on Human-Computer Interaction 2008 (Bind 358). ACM Conference on Computer-Human Interaction.

Luyten, K., Meskens, J., Vermeulen, J. & Coninx, K. (2008). Meta-gui-builders: Generating Domain-specific Interface Builders for Multi-device User Interface Creation. Unspecified journal, 3189-3194. https://doi.org/10.1145/1358628.1358829

Christensen, B. G. (2008). Mobile P2P in Ad Hoc Networks: Framework and Applications. Aarhus Universitetsforlag.

Hansen, F. A., Kortbek, K. J. & Grønbæk, K. (2008). Mobile Urban Drama - Setting the Stage with Location Based Technologies. I N. Szilas & U. Spierling (red.), Interactive Storytelling (s. 20-31). Springer. https://doi.org/10.1007/978-3-540-89454-4_4

Hansen, T. R. (2008). Mobile Web for Pervasive environments - design webexperiences for multiple mobile devices. (s. 1).

Bertelsen, O. W., Grönvall, E. & Rizzo, A. (2008). Mockup'ing as a creative dialog with and through material. I Proceedings of ISCAR 2008

Kristensen, L. M., Mechlenborg, P., Zhang, L., Mitchell, B. & Gallasch, G. E. (2008). Model-based development of a course of action scheduling tool. International Journal on Software Tools for Technology Transfer, 10(1), 5-14. https://doi.org/10.1007/s10009-007-0053-y

Tjell, S. & Lassen, K. B. (2008). Model-Based Requirements Analysis for Reactive Systems with UML Sequence Diagrams and Coloured Petri Nets. Innovations in Systems and Software Engineering, 4(3), 233-240.

Caspersen, M. E. & Bennedsen, J. (2008). Model-Driven Programming. Lecture Notes in Computer Science, 4821, 116-129. https://doi.org/10.1007/978-3-540-77934-6

Viser resultater 3751 til 3800 ud af 6089

Forrige