Publikationer

Søg publikationer fra Institut for Datalogi

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

Grønbæk, L. J., Schwefel, H.-P., Kjærgaard, J. K. & Toftegaard, T. S. (2010). Assessing the Impact of Imperfect Diagnosis on Service Reliability: A Parsimonious Model Approach. I Proceedings of the 8th European Dependable Computing Conference (s. 165-174). IEEE. https://doi.org/10.1109/EDCC.2010.28

Church, K., Hoggan, E. & Oliver, N. (2010). A study of mobile mood awareness and communication through MobiMood. I Proceedings of the 6th Nordic Conference on Human-Computer Interaction: Extending Boundaries (s. 128-137)

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2010). A tree-based method for the rapid screening of chemical fingerprints. Algorithms for Molecular Biology, 5(9). https://doi.org/10.1186/1748-7188-5-9

Madsen, O. L. & Møller-Pedersen, B. (2010). A Unified Approach to Modeling and Programming. Lecture Notes in Computer Science, 6394, 1-15. https://doi.org/10.1007/978-3-642-16145-2_1

Kristensen, L. M. & Westergaard, M. (2010). Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. Lecture Notes in Computer Science, 6371, 215-230. https://doi.org/10.1007/978-3-642-15898-8_14

Ajwani, D. & Friedrich, T. (2010). Average-case analysis of incremental topological ordering. Discrete Applied Mathematics, 158(4), 240-250. https://doi.org/10.1016/j.dam.2009.07.006

Bødker, S. & Petersen, A. B. (2010). Between casual commitment and cross-media articulation – the faith of the Napkin. I D. Randall & P. Salembier (red.), From CSCW to Web 2.0: European Developments in Collaborative Design : Selected Papers from COOP08 (s. 115-129). Springer. https://doi.org/10.1007/978-1-84882-965-7_6

Kyng, M. (2010). Bridging the Gap Between Politics and Techniques. Scandinavian Journal of Information Systems, 22(1), 49-68. http://iris.cs.aau.dk/tl_files/volumes/Volume22/no1/Kyng1.pdf

Hansen, M. T. & Biagioni, E. S. (2010). BTP: a Block Transfer Protocol for Delay Tolerant Wireless Sensor Networks. Conference on Local Computer Networks. Proceedings, 913-920.

Simonsen, M., Mailund, T. & Pedersen, C. N. S. (2010). Building Very Large Neighbour-Joining Trees. I A. Fred, J. Filipe & H. Gamboa (red.), BIOINFORMATICS 2010: Proceedings of the First International Conference on Bioinformatics (part of the 3rd International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2010) (s. 26). Institute for Systems and Technologies of Information, Control and Communication.

Brodal, G. S., Demaine, E. D., Fineman, J. T., Iacono, J., Langerman, S. & Munro, J. I. (2010). Cache-Oblivious Dynamic Dictionaries with Optimal Update/Query Tradeoff. Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings, 1448-1456. http://www.siam.org/proceedings/soda/2010/SODA10_117_brodalg.pdf

Jørgensen, A. G., Greve, M., Larsen, K. D. & Truelsen, J. (2010). Cell Probe Lower Bounds and Approximations for Range Mode. Lecture Notes in Computer Science, 6198, 605-616. https://doi.org/10.1007/978-3-642-14165-2_51

Larsen, P. G., Rovsing, P. E. & Toftegaard, T. S. (2010). Challenges in Gaining Large Scale Carbon Reductions through Wireless Home Automation Systems. I M. S. Alencar & V. C. da Rocha Jr. (red.), Proceedings of the WPMC 2010 Internation Symposium on Wireless Personal Multimedia Communications.

Aarhus, R., Grönvall, E. & Kyng, M. (2010). Challenges in participation: Users and their roles in the development of home-based Pervasive Healthcare applications. I 2010 4th International Conference on Pervasive Computing Technologies for Healthcare IEEE Computer Society Press. https://doi.org/10.4108/ICST.PERVASIVEHEALTH2010.8794

Asboe, M., Fernandes, J. & Grönvall, E. (2010). C-HUB: a communication and network platform targeting the Generation Plus and their social and care networks. Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter, 132, 7-10. http://magenta.ruc.dk/upload/application/pdf/37210413/rr132.pdf

Arge, L. A., Larsen, K. G., Mølhave, T. & Walderveen, F. V. (2010). Cleaning Massive Sonar Point Clouds. I Proceedings of the 18th SIGSPATIAL International Conference on Advances in Geographic Information Systems. GIS '10 (s. 152-161). Association for Computing Machinery. https://doi.org/10.1145/1869790.1869815

Petersen, M. G., Krogh, P., Mortensen, M. B., Møller-Lassen, T. & Mortensen, D. H. (2010). Collective interaction by design collective controllers for social navigation on digital photos. I Proceedings of the 6th Nordic Conference on Human-Computer Interaction: Extending Boundaries (s. 353-362). Association for Computing Machinery. https://doi.org/10.1145/1868914.1868956

Roune, B. H. & Sáenz-de-Cabezón, E. (2010). Combinatorial commutative algebra algorithms for the Euler characteristic of abstract simplicial complexes. I J. L. Freire Nistal & M. L. Gonzalez (red.), EACA 2010 Libro de resúmenes: XII Encuentro de Álgebra Computacional y Aplicaciones (s. 189-193). Universidade de Santiago de Compostela.

Eichberg, M., Klose, K., Mitschke, R. & Mezini, M. (2010). Component Composition Using Feature Models. Lecture Notes in Computer Science, 6092, 200-215. https://doi.org/10.1007/978-3-642-13238-4_12

Hazay, C. & Toft, T. (2010). Computationally Secure Pattern Matching in the Presence of Malicious Adversaries. Lecture Notes in Computer Science, 6477, 195-212. https://doi.org/10.1007/978-3-642-17373-8_12

Miltersen, P. B. & Sørensen, T. B. (2010). Computing a quasi-perfect equilibrium of a two-player game. Economic Theory, 42(1), 175-192. https://doi.org/10.1007/s00199-009-0440-6

Gammelgaard, C. H., Skyum, S., Dalsgaard, S. P. & Jørgensen, A. B. (2010). Controlled Computer Environment. (Patentnummer WO 2010/097090).

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

Viser resultater 3251 til 3300 ud af 6083

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series