Publikationer

Søg publikationer fra Institut for Datalogi

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

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. 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

Kjærgaard, M. B., Blunck, H., Godsk, T., Toftkjær, T., Christensen, D. L. & Grønbæk, K. (2010). Indoor Positioning Using GPS Revisited. Lecture Notes in Computer Science, 6030, 38-56. https://doi.org/10.1007/978-3-642-12654-3_3

Madsen, A. B. (2010). Initialization and Evaluation of Nested Class Structures. Department of Computer Science, Aarhus University.

Blunck, H. & Vahrenhold, J. (2010). In-Place Algorithms for Computing (Layers of) Maxima. Algorithmica, 57(1), 1-21. https://doi.org/10.1007/s00453-008-9193-z

Aarhus, R., Grönvall, E. & Larsen, S. B. (2010). Interactive Healthcare Systems in the Home: Vestibular Rehabilitation. I G. R. Hayes & D. S. Tan (red.), Wish: the First International Workshop on Interactive Systems for Healthcare (s. 1-4). Dealer Analysis Group. http://www.chi2010.org/wish/resources/WISH2010Proceedings.pdf

Danvy, O. & Johannsen, J. (2010). Inter-deriving Semantic Artifacts for Object-Oriented Programming. Journal of Computer and System Sciences, 76(5), 302-323. https://doi.org/10.1016/j.jcss.2009.10.004

Jensen, S. H., Møller, A. & Thiemann, P. (2010). Interprocedural Analysis with Lazy Propagation. Lecture Notes in Computer Science, 6337, 320-339. https://doi.org/10.1007/978-3-642-15769-1_20

Agarwal, P. K., Arge, L. A. & Yi, K. (2010). I/O-Efficient Batched Union-Find and Its Applications to Terrain Analysis. A C M Transactions on Algorithms, 7(1), Article 11. https://doi.org/10.1145/1868237.1868249

Arge, L. A., Revsbæk, M. & Zeh, N. (2010). I/O-Efficient Computation of Water Flow Across a Terrain. I D. Kirkpatrick & J. Mitchell (red.), Proceedings of the 2010 annual symposium on Computational Geometry (s. 403-412). Association for Computing Machinery. https://doi.org/10.1145/1810959.1811026

Arge, L. A. & Revsbæk, M. (2010). I/O-efficient Contour Tree Simplification. Abstract fra Workshop on Massive Data Algorithms, Snowbird, USA.

Afshani, P., Arge, L. A. & Larsen, K. D. (2010). I/O-efficient Orthogonal Range Reporting in Three and Higher Dimensions. Abstract fra Workshop on Massive Data Algorithms, Snowbird, USA.

Brandt, M. S., Larsen, S. B., Grönvall, E., Læssøe, U. & Damsgaard, E. M. S. (2010). IT-support in home rehabilitation of geriatric patients with vestibular dysfunction. Abstract fra EUGMS, Dublin, Irland.

Wang, H., Schwefel, H.-P., Chu, X. & Toftegaard, T. S. (2010). Joint NWC-ARQ and AMC for QoS-Guaranteed Mobile Multicast. EURASIP Journal on Wireless Communications and Networking, 2010(Article ID 807691). https://doi.org/10.1155/2010/807691

Christensen, H. B., Hansen, K. M. & Lindstrøm, B. (2010). Lightweight and Continuous Architectural Software Quality Assurance using the aSQA Technique. Lecture Notes in Computer Science, 6285, 118-132. https://doi.org/10.1007/978-3-642-15114-9_11

Reistad, T. & Toft, T. (2010). Linear, Constant-rounds Bit-decomposition. Lecture Notes in Computer Science, 5984, 245-257. https://doi.org/10.1007/978-3-642-14423-3_17

Hansen, T. D. & Zwick, U. (2010). Lower Bounds for Howard's Algorithm for Finding Minimum Mean-Cost Cycles. Lecture Notes in Computer Science, 6506, 415-426. https://doi.org/10.1007/978-3-642-17517-6_37

Justesen, P. & Ursem, R. K. (2010). Many-Objective Distinct Candidates Optimization using Differential Evolution. I Proceedings of the 2010 Congress on Evolutionary Computation (CEC 2010) (s. 1-8). IEEE Press. https://doi.org/10.1109/CEC.2010.5586039

Olsen, J. W. (2010). Material Dispositions - a hybrid and interwoven design perspective on maiking computing palpable. Department of Computer Science, Aarhus University.

Andersen, J. (2010). Medical Sensor Network Infrastructures. Department of Computer Science. Aarhus University.

Cao, X., Cong, G. & Jensen, C. S. (2010). Mining significant semantic locations from GPS data. Proceedings of the VLDB Endowment, 3(1-2), 1009-1020. http://portal.acm.org/citation.cfm?id=1920841.1920968&coll=DL&dl=GUIDE&CFID=7605094&CFTOKEN=94044110

Buscher, M., Coulton, P., Hemmet, D. & Mogensen, P. H. (2010). Mobile, experimental, public. I M. Buscher, J. Urry & K. Witchger (red.), Mobile Methos (s. 119-137). Routledge.

Hansen, F. A., Kortbek, K. J. & Grønbæk, K. (2010). Mobile Urban Drama for Multimedia-Based Out-of-School Learning. I M. Angelides & L. Lambrinos (red.), Proceedings of the 9th International Conference on Mobile and Ubiquitous Multimedia. MUM '10 (s. Article no. 17). Association for Computing Machinery. https://doi.org/10.1145/1899475.1899492

Hansen, F. A., Kortbek, K. J. & Grønbæk, K. (2010). Mobilt audio drama til udeskolen - engagement, oplevelse og læring i naturen. http://design.emu.dk/artikler/1022-mobiltdrama.html

Schougaard, K. R. & Langdal, J. (2010). Model-based Translucency in Middleware: Supporting Seamful Development. I S. Terzis & L. Veiga (red.), Proceedings of the 2nd International Workshop on Middleware for Pervasive Mobile and Embedded Computing : M-MPAC'10 (s. Article No. 6 ). Association for Computing Machinery. https://doi.org/10.1145/1890791.1890797

Hansen, K. M. & Ingstrup, M. (2010). Modeling and analyzing architectural change with alloy. I Proceedings of the 2010 ACM Symposium on Applied Computing (s. 2257-2264). Association for Computing Machinery. https://doi.org/10.1145/1774088.1774560

Hofer, C. & Ostermann, K. (2010). Modular Domain-Specific Language Components in Scala. I Proceedings of the ninth International Conference on Generative Programming and Component Engineering (s. 83-92). Association for Computing Machinery. https://doi.org/10.1145/1868294.1868307

Klose, K. & Ostermann, K. (2010). Modular Logic Metaprogramming. I W. R. Cook & S. Clarke (red.), Proceedings of the ACM international conference on Object oriented programming systems languages and applications. OOPSLA '10 (s. 484-503). Association for Computing Machinery. https://doi.org/10.1145/1869459.1869499

Castric, V., Bechsgaard, J. S., Grenier, S., Noureddine, R., Schierup, M. H. & Vekemans, X. (2010). Molecular evolution within and between self-incompatibility specificities. Molecular Biology and Evolution, 27(1), 11-20. https://doi.org/10.1093/molbev/msp224

Roune, B. H. (2010). Monomial Ideal Algorithms: Connections to Numerical Semigroups and Scarf's Theory of Bodies. Department of Computer Science, Aarhus University.

Viser resultater 3301 til 3350 ud af 6083

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series