Publikationer

Søg publikationer fra Institut for Datalogi

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

Hoggan, E. & Brewster, S. A. (2010). Crosstrainer: testing the use of multimodal interfaces in situ. I Proceedings of the SIGCHI conference on human factors in computing systems (s. 333-342)

Geisler, M. J. B. (2010). Cryptographic Protocols: Theory and Implementation. Department of Computer Science, Aarhus University.

Lunemann, C. (2010). Cryptographic Protocols under Quantum Attacks. Department of Computer Science, Aarhus University.

Kristensen, T. G. & Pedersen, C. N. S. (2010). Data Structures for Accelerating Tanimoto Queries on Real Valued Vectors. I V. Moulton & M. Singh (red.), Algorithms in Bioinformatics: 10th International Workshop (WABI 2010) (Bind 6293, s. 28-39). Springer.

Jørgensen, A. G. (2010). Data Structures: Sequence Problems, Range Queries, and Fault Tolerance. Department of Computer Science, Aarhus University.

Comon, P., Sørensen, M. & Tsigaridas, E. (2010). Decomposing tensors with structured matrix factors reduces to rank-1 approximations. I E E E International Conference on Acoustics, Speech and Signal Processing. Proceedings, 3858-3861. https://doi.org/10.1109/ICASSP.2010.5495816

Danvy, O., Millikin, K., Munk, J. & Zerny, I. (2010). Defunctionalized Interpreters for Call-by-Need Evaluation. Lecture Notes in Computer Science, 6009, 240-256. https://doi.org/10.1007/978-3-642-12251-4_18

Kjærgaard, M. B., Jensen, J. L., Godsk, T. & Toftkjær, T. (2010). Demonstrating EnTracked a System for Energy-Efficient Position Tracking for Mobile Devices. Poster-session præsenteret på 12th ACM International Conference on Ubiquitous Computing, Copenhagen, Danmark. https://doi.org/10.1145/1864431.1864439

Kjærgaard, M. B., Blunck, H., Godsk, T., Toftkjær, T., Christensen, D. L. & Grønbæk, K. (2010). Demonstrating Tools and Results of a Measurement Campaign for Indoor GPS Positioning. Poster-session præsenteret på The Eight International Conference on Pervasive Computing, Helsinki, Finland.

Bødker, S., Schroll, J. & Groth, K. (2010). Design for Collaboration in Health Care: Experiences from Highly Specialized Surgical Care in Sweden. Afhandling præsenteret på CSCW Research in Healthcare: Past, Present, and Future, workshop at CSCW 2010, Savannah, USA. http://docs.google.com/viewer?a=v&pid=sites&srcid=ZGVmYXVsdGRvbWFpbnxjc2N3aW5oY3xneDo2NjMwMjllMDU5ZWJiMzdl

Petersen, M. G. & Krogh, P. (2010). Designing for Collective Interaction: Toward Desirable Spaces in Homes and Libraries. I D. Randall & P. Salembier (red.), From CSCW to Web 2.0: European Developments in Collaborative Design (s. 97-113). Springer. https://doi.org/10.1007/978-1-84882-965-7_5

Church, K., Hoggan, E. & Oliver, N. (2010). Designing social mobile interfaces: experiences with MobiMood, a mobile mood sharing application. I Workshop on Visual Interfaces to the Social and Semantic Web

Veerasawmy, R. & Ludvigsen, M. (2010). Designing Technology for Active Spectator Experiences at Sporting Events. Afhandling præsenteret på OzCHI 2010, Brisbane, Australien.

Thestrup, K. & Caprani, O. (2010). Det eksperimenterende fællesskab: børn og voksnes leg med medier og teknolog. Læring og Medier, Årgang 3(5), 1-39. Artikel 11.

Caprani, O. & Thestrup, K. (2010). Det Eksperimenterende Fællesskab: Børn og voksnes leg med medier og teknologi. Læring og Medier, (5). http://www.forskningsnettet.dk/sites/default/files/file/LOM/lom5.2010/12_OC_KT_Det_pdf.pdf

Brodal, G. S., Sioutas, S., Tsichlas, K. & Zaroliagis, C. (2010). D²-tree: A new overlay with deterministic bounds. I O. Cheong , K.-Y. Chwa & K. Park (red.), Algorithms and Computation: 21st International Symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010, Proceedings, Part II (s. 1-12). Springer VS. https://doi.org/10.1007/978-3-642-17514-5_1

Danvy, O. & Talcott, C. (2010). Editorial. Higher-Order and Symbolic Computation, 22(3), 197. https://doi.org/10.1007/s10990-010-9051-y

Danvy, O. & Talcott, C. (2010). Editorial. Higher-Order and Symbolic Computation, 22(4), 293. https://doi.org/10.1007/s10990-010-9052-x

Christensen, B. B. (2010). Efficient Algorithms for Controllable Fluid Simulations and High-Resolution Level Set Deformaties. Department of Computer Science, Aarhus University.

Wichterich, M., Kranen, P., Assent, I. & Seidl, T. (2010). Efficient EMD-based Similarity Search in Medical Image Databases. I C. Plant & C. Böhm (red.), Database Technology for Life Sciences and Medicine (s. 175-202). World Scientific.

Kaporis, A., Papadopoulos, A., Sioutas, S., Tsakalidis, K. & Tsichlas, K. (2010). Efficient processing of 3-sided range queries with probabilistic guarantees. I Proceedings of the 13th International Conference on Database Theory (s. 34-43). Association for Computing Machinery. https://doi.org/10.1145/1804669.1804676

Damgård, I. B. & Mikkelsen, G. L. (2010). Efficient, Robust and Constant-Round Distributed RSA Key Generation. Lecture Notes in Computer Science, 5978, 183-200. https://doi.org/10.1007/978-3-642-11799-2_12

Rasmusson, A. & Ziegler, G. (2010). Efficient Volume Segmentation on the GPU. Billeder, Video- og Lydoptagelser (digital), Nvidia Corporation. http://www.nvidia.com/object/gtc2010-presentation-archive.html

Jensen, C. S. (2010). Elements of a Spatial Web. Lecture Notes in Computer Science, 6488, 21-21. https://doi.org/10.1007/978-3-642-17616-6_3

Kristensen, M. D. (2010). Empowering Mobile Devices Through Cyber Foraging: The Development of Scavenger, an Open, Mobile Cyber Foraging System. Department of Computer Science, Aarhus University.

Zhang, W., Hansen, K. M. & Kunz, T. (2010). Enhancing Intelligence of a Product Line Enabled Pervasive Middleware. Pervasive and Mobile Computing, 6(2), 198-217. https://doi.org/10.1016/j.pmcj.2009.07.002

De Fraine, B., Ernst, E. & Südholt, M. (2010). Essential AOP: The A Calculus. Lecture Notes in Computer Science, 6183, 101-125. https://doi.org/10.1007/978-3-642-14107-2_6

Hansen, K. A. & Podolskii, V. V. (2010). Exact Threshold Circuits. I 2010 IEEE 25th Annual Conference on Computational Complexity (s. 270-279) https://doi.org/10.1109/CCC.2010.33

Santillan, R. (2010). Existence and Computation of Equilibria in Auction Games. Department of Computer Science, Aarhus University.

Schulz, H.-J. (2010). Explorative Graph Visualization. https://doi.org/10.18453/rosdok_id00000674

Langdal, J., Kjærgaard, M. B., Toftkjær, T. & Schougaard, K. R. (2010). Exposing Position Uncertainty in Middleware. I S. Terzis & L. Veiga (red.), Proceedings of the Second International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2010) (s. Article no. 1). Association for Computing Machinery. https://doi.org/10.1145/1890791.1890792

Arge, L. & Zeh, N. (2010). External-Memory Algorithms and Data Structures: General concepts and techniques. I M. J. Atallah & M. Blanton (red.), Algorithms and Theory of Computation Handbook (second edition) CRC Press.

Christensen, H. B. (2010). Flexible, Reliable Software: Using Patterns and Agile Development. CRC Press. Chapman & Hall/CRC textbooks in computing http://www.baerbak.com/description.html

Christensen, H. B. (2010). Flexible, Reliable Software: Using Patterns and Agile Development. http://www.baerbak.com

Brix, L., Ringgaard, S., Stausbøl-Grøn, B., Berber, Y., Ries, M. & Sørensen, T. S. (2010). Fourfold Increase in Temporal Resolution in Cardiac MR Imaging Compared to Standard Vendor Protocols. Poster-session præsenteret på 28. Danske medicotekniske landsmøde, Brædstrup, Danmark.

Damgård, I. B., Geisler, M. & Nielsen, J. B. (2010). From Passive to Covert Security at Low Cost. Lecture Notes in Computer Science, 5978, 128-145. https://doi.org/10.1007/978-3-642-11799-2_9

Korn, M. & Zander, P.-O. (2010). From Workshops to Walkshops: Evaluating Mobile Locastion-Based Applications in Realistic Settings. I Proceedings of the 1st International Workshop on Observing the Mobile User Experience (s. 29-32). University of Trento e-books. http://mkorn.binaervarianz.de/pub/nordichi2010-ws.pdf

Dang, X.-H. & Bailey, J. (2010). Generation of Alternative Clusterings Using the CAMI Approach. I S. Parthasarathy (red.), Proceedings of the Tenth SIAM International Conference on Data Mining (s. 118-129). Society for Industrial and Applied Mathematics. http://www.siam.org/proceedings/datamining/2010/dm10_011_dangx.pdf

Ajwani, D., Sitchinava, N. & Zeh, N. (2010). Geometric Algorithms for Private-Cache Chip Multiprocessors. Lecture Notes in Computer Science, 6347, 75-86. https://doi.org/10.1007/978-3-642-15781-3_7

Sørensen, T. S., Prieto, C., Atkinson, D., Hansen, M. S. & Schaeffter, T. (2010). GPU accelerated iterative SENSE reconstruction of radial phase encoded whole-heart MRI. I Proceedings of the 18th ISMRM Scientific Meeting and Exhibition: International Society for Magnetic Resonance in Medicine ISMRM/SMRT Central Office, Berkeley, CA.

Engeström, Y., Sannino, A., Fischer, G., Mørch, A. I. & Bertelsen, O. W. (2010). Grand challenges for future HCI research: Cultures of participation, interfaces supporting learning, and expansive learning. I NordiCHI 2010: Extending Boundaries - Proceedings of the 6th Nordic Conference on Human-Computer Interaction (s. 863-866) https://doi.org/10.1145/1868914.1869049

Achenbach, M. & Ostermann, K. (2010). Growing a Dynamic Aspect Language in Ruby. Afhandling præsenteret på 9th International Conference on Aspect-Oriented Software Development, Rennes and Saint Malo, Frankrig.

ElSalamouny, E., Nielsen, M. & Sassone, V. (2010). HMM-based Trust Model. Lecture Notes in Computer Science, 5983, 21-35. https://doi.org/10.1007/978-3-642-12459-4_3

Sand, A., Brask, A. T., Pedersen, C. N. S., Mailund, T. & Brask, A. T. (2010). HMMlib: A C++ Library for General Hidden Markov Models Exploiting Modern CPUs. I 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification and Second International Workshop on High Performance Computational Systems Biology (s. 126 - 134 ). IEEE.

Lynggaard, A. B., Petersen, M. G., Gude, R. & Mortensen, M. B. (2010). Home awareness - connecting people sensuously to places. I O. W. Bertelsen, P. Krogh, K. Halskov & M. G. Petersen (red.), Proceedings of the 8th ACM Conference on Designing Interactive Systems, DIS '10 (s. 416-418). Association for Computing Machinery. https://doi.org/10.1145/1858171.1858251

Arge, L. A., Bøcher, P. K. & Heckrath, G. J. (2010). Hvor løber vandet hen? Terrænanalyse på store højdemodeller. Abstract fra Workshop om Telemåling i Arealforvaltningen, Aarhus Universitet, Danmark.

Lucas, C., Raub, D. & Maurer, U. (2010). Hybrid-secure MPC : trading information-theoretic robustness for computational privacy. I Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing. PODC '10 (s. 219-228). Association for Computing Machinery. https://doi.org/10.1145/1835698.1835747

Andersen, M. S. & Christensen, H. B. (2010). Identity Management Mismatch Challenges in the Danish Municipality Administration System. Lecture Notes in Computer Science, 6285, 476-479. https://doi.org/10.1007/978-3-642-15114-9_44

Nielsen, M. B. & Christensen, B. B. (2010). Improved Variational Guiding of Smoke Animations. Computer Graphics Forum, 29(2), 705-712. https://doi.org/10.1111/j.1467-8659.2009.01640.x

Vermeulen, J. (2010). Improving Intelligibility and Control in Ubicomp. Unspecified journal, 485-488. https://doi.org/10.1145/1864431.1864493

Viser resultater 3251 til 3300 ud af 6061

Forrige