Publikationer

Søg publikationer fra Institut for Datalogi

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

Zhang, W. & Hansen, K. M. (2011). Using Context Awareness for Self Management in Pervasive Service Middleware. I F. Mastrogiovanni & N.-Y. Chong (red.), Handbook of Research on Ambient Intelligence and Smart Environments Trends and Perspectives (s. 248-271). Idea Group Publishing. http://www.igi-global.com/book/handbook-research-ambient-intelligence-smart/41775#table-of-contents

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2011). Using Inverted Indices for Accelerating LINGO Calculations. Journal of Chemical Information and Modeling, 51(3), 597-600. https://doi.org/10.1021/ci100437e

Sandel, B. S., Corbin, J. & Krupa, M. (2011). Using plant functional traits to guide restoration: A case study in California coastal grassland. Ecosphere (Washington, D.C.), 2(2), 1-16.

Petersen, M. G. & Rasmussen, M. K. (2011). Value representations: a value based dialogue tool. I making Design Matter! : Proceedings Nordes '11 : the Nordic 4th Nordic Design Research Conference (s. 284-287). School of Art & Design, Aalto University . http://ocs.sfu.ca/nordes/index.php/nordes/2011/paper/view/445

Kristensen, T. G. (2011). Virtual screening algorithms. Department of Computer Science, Aarhus University.

Lex, A., Schulz, H.-J., Streit, M., Partl, C. & Schmalstieg, D. (2011). VisBricks: Multiform Visualization of Large, Inhomogeneous Data. IEEE Transactions on Visualization and Computer Graphics, 17(12), 2291-2300. https://doi.org/10.1109/TVCG.2011.250

Schulz, H.-J., Uhrmacher, A. M. & Schumann, H. (2011). Visual Analytics for Stochastic Simulation in Cell Biology. I S. Lindstaedt & M. Granitzer (red.), Proceedings of the Special Track on Theory and Applications of Visual Analytics (TAVA) of the i-Know'11 Conference Artikel 48 Association for Computing Machinery. https://doi.org/10.1145/2024288.2024345

Moad, S., Hansen, M. T., Jurdak, R., Kusy, B. & Bouabdallah, N. (2011). WETX: A Weighted Expected Transmission Routing Metric for Diversity in Wireless Sensor Networks. I Wireless Days (WD), 2011 IFIP (s. 1-7). IEEE. https://doi.org/10.1109/WD.2011.6098162

Mathiasen, N. R., Bødker, S. & Petersen, M. G. (2011). While working around security. Afhandling præsenteret på 3rd International Conference on Human Computer Interaction. HCI 2011, Bangalore, Indien.

Møller, A. & Schwartzbach, M. I. (2011). XML Graphs in Program Analysis. Science of Computer Programming, 76(6), 492-515. https://doi.org/10.1016/j.scico.2009.11.007

Borchorst, N. G. & Bødker, S. (2011). “You probably shouldn’t give them too much information” – Supporting Citizen-Government Collaboration. I S. Bødker, N. O. Bouvin, W. Lutters, V. Wulf & L. Ciolfi (red.), ECSCW 2011: Proceedings of the 12th European Conference on Computer Supported Cooperative Work (s. 173-192). Springer. https://doi.org/10.1007/978-0-85729-913-0_10

Brodal, G. S., Kejlberg-Rasmussen, C. & Truelsen, J. (2010). A Cache-Oblivious Implicit Dictionary with the Working Set Property. Lecture Notes in Computer Science, 6507, 37-48. https://doi.org/10.1007/978-3-642-17514-5_4

Sørensen, T. S., Noe, K. Ø., Christoffersen, C. P. V., Kristiansen, M., Mouridsen, K., Østerby, O. & Brix, L. (2010). Active Contours in Optical Flow Fields for Image Sequence Segmentation. International Symposium on Biomedical Imaging. Proceedings, 916 - 919. https://doi.org/10.1109/ISBI.2010.5490136

Engholm, R. (2010). Adaptive picture enhancement. Department of Computer Science, Aarhus University.

Afshani, P., Hamilton, C. & Zeh, N. (2010). A general approach for cache-oblivious range reporting and approximate range counting. Computational Geometry, 43(8), 700-712. https://doi.org/10.1016/j.comgeo.2010.04.003

Damgård, I. B., Jurik, M. J. & Nielsen, J. B. (2010). A generalization of Paillier's public-key system with applications to electronic voting. International Journal of Information Security, 9(6), 371-385. https://doi.org/10.1007/s10207-010-0119-9

Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B. (2010). Algorithmic strategies for adapting to environmental changes in 802.11 location fingerprinting. I 2010 International Conference on Indoor Positioning and Indoor Navigation (IPIN) (s. 1-10). IEEE Computer Society Press. https://doi.org/10.1109/IPIN.2010.5648270

Brabrand, C., Giegerich, R. & Møller, A. (2010). Analyzing Ambiguity of Context-Free Grammars. Science of Computer Programming, 75(3), 176-191. https://doi.org/10.1016/j.scico.2009.11.002

Christensen, H. B. & Hansen, K. M. (2010). An Empirical Investigation of Architectural Prototyping. Journal of Systems and Software, 83(1), 133-142. https://doi.org/10.1016/j.jss.2009.07.049

Achenbach, M. (2010). An Engineering Approach to Dynamic Program Analysis by Layering Language Abstractions. Department of Computer Science, Aarhus University.

Hansen, K. A. & Koucký, M. (2010). A New Characterization of ACC⁰ and Probabilistic CC⁰. Computational Complexity, 19(2), 211-234. https://doi.org/10.1007/s00037-010-0287-z

Christensen, H. B. (2010). Another Example of Test-Driven Development: The Hotel Safe: "Flexible, Reliable Software" / Supplementary Material. http://www.baerbak.com

Emiris, I. Z., Malamatos, T. & Tsigaridas, E. (2010). Approximate Nearest Neighbor Queries among Parallel Segments. I J. Vahrenhold (red.), 26th European Workshop on Computational Geometry. : Workshop Proceedings (s. 141-144). Technische Universität, Dortmund. http://2010.eurocg.org/

Andersen, M. S. (2010). Architectural mismatch issues in identity management deployment. I C. E. Cuesta (red.), Proceedings of the 4th European Conference on Software Architecture. ECSA '10 (s. 31-33). Association for Computing Machinery. https://doi.org/10.1145/1842752.1842761

Madsen, J. K., Karstoft, H., Hansen, F. O. & Toftegaard, T. S. (2010). ASE-BAN, a Wireless Body Area Network Testbed. I EMERGING 2010 : The Second International Conference on Emerging Network Intelligence. Proceedings (s. 120-124). Xpert Publishing Service. http://www.thinkmind.org/index.php?view=article&articleid=emerging_2010_5_40_40059

Bødker, S. & Pekkola, S. (2010). A short review to the past and present of participatory design – introduction to debate section. Scandinavian Journal of Information Systems, 22(1). http://aisel.aisnet.org/sjis/vol22/iss1/4

Roune, B. H. (2010). A Slice Algorithm for Corners and Hilbert-Poincaré Series of Monomial Ideals. International Symposium on Symbolic and Algebraic Computation, 115-122. https://doi.org/10.1145/1837934.1837961

Christensen, H. B., Hansen, K. M. & Lindstrøm, B. (2010). aSQA: Architectural Software Quality Assurance: Software Architecture at Work - Technical Report # 5: . Department of Computer Science, Aarhus University.

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

Viser resultater 3201 til 3250 ud af 6061

Forrige