Publikationer

Søg publikationer fra Institut for Datalogi

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

Christensen, L. R. & Grönvall, E. (2010). Patient 2.0 Revisited: Towards Empowering Networked Care. Abstract fra EASST2010, The shaping of patient 2.0 - Exploring agencies, technologies and discourses in new healthcare practices, Trento, Italien.

Damgård, I. B., Ishai, Y. & Krøigaard, M. (2010). Perfectly Secure Multiparty Computation and the Computational Overhead of Cryptography. Lecture Notes in Computer Science, 6110, 445-465. https://doi.org/10.1007/978-3-642-13190-5_23

Blunck, H., Godsk, T., Grønbæk, K., Kjærgaard, M. B., Jensen, J. L., Scharling, T., Schougaard, K. R. & Toftkjær, T. (2010). PerPos: A Platform Providing Cloud Services for Pervasive Positioning. I L. Liao (red.), Proceedings of the 1st International Conference on Computing for Geospatial Research and Application. COM.Geo '10 (s. Article no.: 11). Association for Computing Machinery. https://doi.org/10.1145/1823854.1823869

Jensen, J. L., Schougaard, K. R., Kjærgaard, M. B. & Toftkjær, T. (2010). PerPos: a Translucent Positioning Middleware Supporting Adaptation of Internal Positioning Processes. Lecture Notes in Computer Science, 6452, 232-251. https://doi.org/10.1007/978-3-642-16955-7_12

Vermeulen, J., Vanderhulst, G., Luyten, K. & Coninx, K. (2010). PervasiveCrystal: Asking and Answering Why and Why Not Questions About Pervasive Computing Applications. Unspecified journal, 271-276. https://doi.org/10.1109/IE.2010.56

Grönvall, E., Aarhus, R. & Larsen, S. B. (red.) (2010). Pervasive healthcare in the home Supporting patient motivation and engagement: Supporting patient motivation and engagement. Workshop. I 2010 4th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth) IEEE Computer Society Press. http://www.ph-home.org/PH-HOME2010_CFP.pdf

Kannabiran, G. & Petersen, M. G. (2010). Politics at the interface: a Foucauldian power analysis. I E. T. Hvannberg & M. K. Lárusdóttir (red.), Proceedings of the 6th Nordic Conference on Human-Computer Interaction. NordiCHI '10: Extending Boundaries (s. 695-698). Association for Computing Machinery. https://doi.org/10.1145/1868914.1869007

Kannabiran, G. & Petersen, M. G. (2010). Politics at the interface: A Foucauldian power analysis. 695-698. https://doi.org/10.1145/1868914.1869007

Kjærgaard, M. B. & Weckemann, K. (2010). PosQ: Unsupervised Fingerprinting and Visualization of GPS Positioning Quality. Afhandling præsenteret på The Second International Conference on Mobile Computing, Applications, and Services.

Justesen, P. & Ursem, R. K. (2010). Preference-Based Multi-Objective Distinct Candidates Optimization. I B. Filipic & J. Silc (red.), Proceedings of the 4th International Conference on Bioinspired Optimization Methods and their Applications (BIOMA 2010) (s. 117-130). Ljublana: Jozef Stefan Institute.

Freni, D., Vicente, C. R., Mascetti, S., Bettini, C. & Jensen, C. S. (2010). Preserving location and absence privacy in geo-social networks. I J. Huang (red.), Proceedings of the 19th ACM international conference on Information and knowledge management. CIKM '10 (s. 309-318). Association for Computing Machinery. https://doi.org/10.1145/1871437.1871480

Paschos, V. T., Telelis, O. & Zissimopoulos, V. (2010). Probabilistic models for the Steiner Tree problem. Networks (New York), 56(1), 39-49. https://doi.org/10.1002/net.20346

Winter, S., Jensen, C. S. & Li, K.-J. (red.) (2010). Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness. Association for Computing Machinery. http://portal.acm.org/citation.cfm?id=1865885&coll=DL&dl=GUIDE&CFID=7605094&CFTOKEN=94044110

Bertelsen, O. W., Krogh, P. G., Halskov, K. & Petersen, M. G. (red.) (2010). Proceedings of the 8th ACM Conference on Designing Interactive Systems. Association for Computing Machinery.

Bertelsen, O. W. (red.), Fitzpatrick, G. (red.), Höök, K. H., Balaam, M. (red.) & Grönvall, E. (red.) (2010). Proceedings of Therapeutic Strategies: A Challenge for User Involvement in Design Workshop in conjunction with NORDICHI 2010 17. October 2010, Reykjavik, Iceland. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) Nr. 593 http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7183/6129

Emiris, I. Z., Galligo, A. & Tsigaridas, E. (2010). Random polynomials and expected complexity of bisection methods for real solving. International Symposium on Symbolic and Algebraic Computation, 235-242. https://doi.org/10.1145/1837934.1837980

Sørensen, T. S. & Hansen, M. S. (2010). Real-time Non-Cartesian Magnetic Resonance Imaging. Abstract fra Dansk Selskab for Medicinsk Fysik - årsmøde symposium, Odense, Danmark.

Britz, D., Østerby, O. & Strutwolf, J. (2010). Reference values of the chronoamperometric response at cylindrical and capped cylindrical electrodes. Electrochimica Acta, 55(20), 5629-5635.

Klokmose, C. N. & Zander, P.-O. (2010). Rethinking Laboratory Notebooks. I M. Lewkowicz , P. Hassanaly, M. Rohde & V. Wulf (red.), Proceedings of COOP 2010 : Proceedings of the 9th Internationale Conference on Designing Cooperative Systems (s. 119-140). Springer. http://coop.wineme.fb5.uni-siegen.de/proceedings2010/8_cKlokmose_et_al_119_140.pdf

Cao, X., Cong, G. & Jensen, C. S. (2010). Retrieving top-k prestige-based relevant spatial web objects. Proceedings of the VLDB Endowment, 3(1), 373-384. http://portal.acm.org/citation.cfm?id=1920891&CFID=7605094&CFTOKEN=94044110

Madsen, A. B. & Ernst, E. (2010). Revisiting Parametric Types and Virtual Classes. Lecture Notes in Computer Science, 6141, 233-252. https://doi.org/10.1007/978-3-642-13953-6_13

Henriksen, M., Egund, N., Christensen, F. B., Bünger, C. & Senholt, T. (2010). Sagittal Spinal Balance After Lumbar Spinal Fusion: The Impact of Anterior Column Support: Results From a Randomized Clinical Trial With an Eight- to Thirteen-Year Radiographic Follow-up. Spine. https://doi.org/10.1097/BRS.0b013e3181cd9ee5

Mølhave, T., Agarwal, P. K., Arge, L. A. & Revsbæk, M. (2010). Scalable Algorithms for Large High-Resolution Terrain Data. I L. Liao (red.), Proceedings of the 1st International Conference and Exhibition on Computing for Geospatial Research & Application. COM.Geo '10 (s. Article No.: 20). Association for Computing Machinery. https://doi.org/10.1145/1823854.1823878

Kristensen, M. D. (2010). Scavenger: Transparent Development of Efficient Cyber Foraging Applications. I IEEE International Conference on Pervasive Computing and Communications (PerCom 2010). Proceedings (s. 217-226). IEEE. https://doi.org/10.1109/PERCOM.2010.5466972

Kristensen, M. D. & Bouvin, N. O. (2010). Scheduling and development support in the Scavenger cyber foraging system. Pervasive and Mobile Computing, 6(6), 677-692. https://doi.org/10.1016/j.pmcj.2010.07.004

Evangelista, S. & Kristensen, L. M. (2010). Search-Order Independent State Caching. Lecture Notes in Computer Science, 6550, 21-41. https://doi.org/10.1007/978-3-642-18222-8_2

Ernst, E. (2010). Secret Valley. Lecture Notes in Computer Science, 6183, 379. https://doi.org/10.1007/978-3-642-14107-2_18

Damgård, I. B. & Keller, M. (2010). Secure Multiparty AES. Lecture Notes in Computer Science, 6052, 367-374. https://doi.org/10.1007/978-3-642-14577-3_31

Dupuis, F., Nielsen, J. B. & Salvail, L. (2010). Secure Two-Party Quantum Evaluation of Unitaries against Specious Adversaries. Lecture Notes in Computer Science, 6223, 685-706. https://doi.org/10.1007/978-3-642-14623-7_37

Brønsted, J. R., Hansen, K. M. & Ingstrup, M. (2010). Service Composition issues in Pervasive Computing. I E E E Pervasive Computing, 9(1), 62-70. https://doi.org/10.1109/MPRV.2010.11

Tzoumas, K., Deshpande, A. & Jensen, C. S. (2010). Sharing-aware horizontal partitioning for exploiting correlations during query processing. Proceedings of the VLDB Endowment, 3(1-2), 542-553. http://portal.acm.org/citation.cfm?id=1920911&CFID=7605094&CFTOKEN=94044110

Noe, K. Ø. & Sørensen, T. S. (2010). Solid Mesh Registration for Radiotherapy Treatment Planning. Lecture Notes in Computer Science, 5958, 59-70. https://doi.org/10.1007/978-3-642-11615-5_7

Christensen, H. B. (2010). Source code: Examples, exercises and projects for "Flexible, Reliable Software: Using Patterns and Agile Development". Softwareprogram, http://www.baerbak.com. http://www.baerbak.com

Abam, M., de Berg, M., Hachenberger, P. & Zarei, A. (2010). Streaming Algorithms for Line Simplification. Discrete & Computational Geometry, 43(3), 497-515. https://doi.org/10.1007/s00454-008-9132-4

Korn, M., Kawash, R. & Andersen, L. M. (2010). Surprise Trips: A System to Augment the Natural Experience of Exploration. Poster-session præsenteret på ACM international conference on Ubiquitous computing, København, Danmark. https://doi.org/10.1145/1864431.1864463

Korn, M., Kawash, R. & Andersen, L. M. (2010). Surprise Trips : A System to Augment the Natural Experience of Exploration. I J. E. Bardram & M. Langheinrich (red.), Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing (s. 413-414). Association for Computing Machinery. https://doi.org/10.1145/1864431.1864463

Cai, L., Cheng, Y., Verbin, E. & Zhou, Y. (2010). Surviving Rates of Graphs with Bounded Treewidth for the Firefighter Problem. S I A M Journal on Discrete Mathematics, 24(4), 1322-1335. https://doi.org/10.1137/100791130

Brachat, J., Comon, P., Mourrain, B. & Tsigaridas, E. (2010). Symmetric Tensor Decomposition. Linear Algebra and Its Applications, 433(11-12), 1851-1872. https://doi.org/10.1016/j.laa.2010.06.046

Andersen, J. & Brabrand, C. (2010). Syntactic Language Extension via an Algebra of Languages and Transformations. Electronic Notes in Theoretical Computer Science, 253(7), 19-35. https://doi.org/10.1016/j.entcs.2010.08.029

Petersen, M. G., Lynggard, A. B., Krogh, P. G. & Winther, I. W. (2010). Tactics for homing in mobile life: a fieldwalk study of extremely mobile people. I Proceedings of the 12th International Conference on Human Computer Interaction with Mobile Devices and Services: Proceedings of the 12th international conference on Human computer interaction with mobile devices and services (s. 265-274). Association for Computing Machinery. https://doi.org/10.1145/1851600.1851646

Ludvigsen, M., Fogtmann, M. H. & Grønbæk, K. (2010). TacTowers: An Interactive Training Equipment for Elite. I O. W. Bertelsen, P. G. Krogh, K. Halskov & M. G. Petersen (red.), Proceedings of the 8th ACM Conference on Designing Interactive Systems (s. 412-415). Association for Computing Machinery. https://doi.org/10.1145/1858171.1858250

Aarhus, R., Gjerlufsen, T., Hohn, T. & Vesterby, M. (2010). Telemedicine for Healthy Patients. I Infrastructure for Health Care: Connecting practices across institutional and professional boundaries (s. 5-6). University of Copenhagen. http://www.sundhedsit.net/fileadmin/sundhedsitnet/Downloads/Abstracts_Infrastructures09.pdf

Achenbach, M. & Ostermann, K. (2010). Testing Object-Oriented Programs using Dynamic Aspects and Non-Determinism. I Proceedings of the 1st Workshop on Testing Object-Oriented Systems. Etoos '10 (s. Article No. 3 ). Association for Computing Machinery. https://doi.org/10.1145/1890692.1890695

Hansen, M. T., Arroyo-Valles, R. & Cid-Sueiro, J. (2010). Testing Selective Transmission with Low Power Listening. Lecture Notes in Computer Science, 6511, 146-153. https://doi.org/10.1007/978-3-642-17520-6_14

Ernst, E. (2010). The Case for Simple Object-Orientation in VDM++. Datalogisk Institut, Aarhus Universitet. http://wiki.overturetool.org/images/5/5d/2010ernst.pdf

Brody, J. & Verbin, E. (2010). The Coin Problem and Pseudorandomness for Branching Programs. I 51st Annual IEEE Symposium on Foundations of Computer Science. FOCS 2010 (s. 30-39). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2010.10

Hansen, K. A., Miltersen, P. B. & Sørensen, T. B. (2010). The computational complexity of trembling hand perfection and other equilibrium refinements. Lecture Notes in Computer Science, 6386, 198-209. https://doi.org/10.1007/978-3-642-16170-4_18

Emiris, I. Z., Mourrain, B. & Tsigaridas, E. (2010). The DMM Bound: Multivariate (Aggregrate) Separation Bounds. International Symposium on Symbolic and Algebraic Computation, 243-250. https://doi.org/10.1145/1837934.1837981

Brønsted, J. R., Skou, A. J., Madsen, P. P. & Torbensen, R. S. (2010). The HomePort System. I 7th IEEE Consumer Communications and Networking Conference (CCNC 2010). Proceedings (s. 1-5). IEEE. https://doi.org/10.1109/CCNC.2010.5421606

Grönvall, E., Conci, M., Giusti, L. & Leonardi, C. (2010). The intrinsic fragility of elderly care networks: five challenges in Participatory Design practices. Daimi Report Series (DAIMI PB), (593), 20-24.

Viser resultater 3351 til 3400 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series