Publikationer

Søg publikationer fra Institut for Datalogi

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

Sortér efter: Dato | Forfatter | Titel

Xue, H., Inati, S., Sangild, T., Kellman, P. & Hansen, M. (2015). Distributed MRI Reconstruction using Gadgetron based Cloud Computing. Magnetic Resonance in Medicine, 73(3), 1015–1025. https://doi.org/10.1002/mrm.25213

Xu, Y., Johnson, P. M., Moore, C. A., Brewer, R. S. & Takayama, J. (2013). SGSEAM: Assessing serious game frameworks from a stakeholder experience perspective. I Gamification 2013: Proceedings of the First International Conference on Gameful Design, Research, and Applications Enterprice Gamification Consultancy. http://csdl.ics.hawaii.edu/techreports/2013/13-03/13-03.pdf

Xu, Y., Johnson, P. M., Lee, G. E., Moore, C. A. & Brewer, R. S. (2014). Makahiki: An open source serious game framework for sustainability education and conservation. I P. Kommers, T. Issa, T. Issa, D.-F. Chang & P. Isaías (red.), International Conference on Sustainability, Technology, and Education, STE 2014: proceedings (s. 131-138). International Association for Development, IADIS. http://www.iadisportal.org/digital-library/makahiki-an-open-source-serious-game-framework-for-sustainability-education-and-conservation

Wüstenberg, M., Blunck, H., Grønbæk, K. & Kjærgaard, M. B. (2014). Distinguishing Electric Vehicles from Fossil-Fueled Vehicles with Mobile Sensing. I M. Gabor & R. Zhang (red.), 15th IEEE International Conference on Mobile Data Management (MDM): Proceedings (s. 211 - 220 (vol.1)). IEEE. https://doi.org/10.1109/MDM.2014.32

Wu, D., Yiu, M. L., Jensen, C. S. & Cong, G. (2011). Efficient continuously moving top-k spatial keyword query processing. Proceedings of the International Conference on Data Engineering, 541-552. https://doi.org/10.1109/ICDE.2011.5767861

Wu, D., Yiu, M. L., Cong, G. & Jensen, C. S. (2012). Joint Top-K Spatial Keyword Query Processing. I E E E Transactions on Knowledge & Data Engineering, 24(10), 1889 - 1903 . https://doi.org/10.1109/TKDE.2011.172

Wu, D., Cong, G. & Jensen, C. S. (2012). A framework for efficient spatial web object retrieval. V L D B Journal, 21(6), 797-822 . https://doi.org/10.1007/s00778-012-0271-0

Wu, D., Yiu, M. L. & Jensen, C. S. (2013). Moving Spatial Keyword Queries: Formulation, Methods, and Analysis. A C M Transactions on Database Systems, 38(1), Artikel 7. https://doi.org/10.1145/2445583.2445590

Wu, S., Hou U, L. & Karras, P. (2023). k-Best Egalitarian Stable Marriages for Task Assignment. Proceedings of the VLDB Endowment, 16(11), 3240-3252. https://doi.org/10.14778/3611479.3611522

Wriedt Larsen, R., Obel, C., Skovgård Jensen, T. & Grønbæk, K. (2014). Big data giver gladere børn og bedre busruter. Videnskab.dk [online].

Woodruff, D. P. & Zhang, Q. (2011). Tight Bounds for Distributed Functional Monitoring. http://arxiv.org/abs/1112.5153

Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023). State of the Art Report: Verified Computation. https://doi.org/10.48550/arXiv.2308.15191

Wong, E., Esquivel, J. S., Leiva, G., Grønbæk, J. E. & Velloso, E. (2024). Practice-informed Paterns for Organising Large Groups in Distributed Mixed Reality Collaboration. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 1030 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642502

Wong, E., Grønbæk, J. E. & Velloso, E. (2024). The Jamais Vu Efect: Understanding the Fragile Illusion of Co-presence in Mixed Reality. I A. Vallgarda, L. Jonsson, J. Fritsch, S. F. Alaoui & C. A. Le Dantec (red.), DIS '24: Proceedings of the 2024 ACM Designing Interactive Systems Conference (s. 2227-2246). Association for Computing Machinery. https://doi.org/10.1145/3643834.3661574

Wong, E., Genay, A., Grønbæk, J. E. & Velloso, E. (2025). Spatial Heterogeneity in Distributed Mixed Reality Collaboration. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 980 Association for Computing Machinery. https://doi.org/10.1145/3706598.3714033

Wölfel, C. & Merritt, T. (2013). Method card design dimensions: A survey of card-based design tools. I P. Kotzé et al. (red.), Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I (s. 479-486). Springer VS. https://doi.org/10.1007/978-3-642-40483-2_34

Winthereik, B., Grønbæk, K., Glæsel, J. & Larsen, K. G. (2019). Vi må ikke lade skandaler om datamisbrug bremse vores brug af data i samfundets tjeneste. Berlingske Tidende. https://www.berlingske.dk/kronikker/vi-maa-ikke-lade-skandaler-om-datamisbrug-bremse-vores-brug-af-data-i

Winther, J. (2012). Improving Precision of Generated ASTs. Afhandling præsenteret på 12th International Workshop on Language Descriptions, Tools, and Applications, Tallinn, Estland.

Winther, J. (2011). Guarded Type Promotion: Eliminating Redundant Casts in Java. I Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs Association for Computing Machinery. https://doi.org/10.1145/2076674.2076680

Winther, J. & Schwartzbach, M. I. (2011). Related Types. Lecture Notes in Computer Science, 6813, 434-458. https://doi.org/10.1007/978-3-642-22655-7_21

Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance. I CHI EA 2020 - Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems (s. CS16 1-8). Artikel 3375213 Association for Computing Machinery. https://doi.org/10.1145/3334480.3375213

Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance Based on a Use Case at Grundfos. I Proceedings - 2020 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2020 (s. 738-746). Artikel 9089646 IEEE. https://doi.org/10.1109/VR46266.2020.1580939036664

Winther, J. (2012). Improving Precision of Types. Department of Computer Science, Aarhus University.

Winge, K., Haugaard, R. & Merritt, T. R. (2014). VAL: Visually Augmented Laser cutting to enhance and support creativity. I IEEE International Symposium on Mixed and Augmented Reality - Media, Arts, Social Science, Humanities and Design, ISMAR 2014, Proceedings (s. 31-34). Artikel 6935435 IEEE. https://doi.org/10.1109/ISMAR-AMH.2014.6935435

Wimmer, S., Herbreteau, F. & van de Pol, J. (2020). Certifying Emptiness of Timed Büchi Automata. I N. Bertrand & N. Jansen (red.), Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020 (s. 58-75). Springer. https://doi.org/10.1007/978-3-030-57628-8_4

Wilkinson, B. T. (2014). Amortized bounds for dynamic orthogonal range reporting. I A. S. Schulz & D. Wagner (red.), Algorithms - ESA 2014: 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings (s. 842-856). Springer. https://doi.org/10.1007/978-3-662-44777-2_69

Wilkinson, B. T. (2015). Revisiting visibility in the plane. Afhandling præsenteret på International Symposium on Computational Geometry, Eindhoven, Holland. http://www.madalgo.au.dk/~bw/papers/2015W.pdf

Wilkinson, B. T. (2015). Exploring the Problem Space of Orthogonal Range Searching. Department of Computer Science, Aarhus University.

Wijekoon, D., Cecchinato, M. E., Hoggan, E. & Linjama, J. (2012). Electrostatic modulated friction as tactile feedback: intensity perception. I International Conference on Human Haptic Sensing and Touch Enabled Computer Applications (s. 613-624)

Wiil, U. K., Bouvin, N. O., Larsen, D., De Roure, D. C. & Thompson, M. K. (2002). Peer-to-peer hypertext. 69-71. Afhandling præsenteret på Hypertext 2002: Proceedings of the Thirteenth ACM Conference on Hypertext and Hypermedia, College Park, MD, USA. https://doi.org/10.1145/513338.513339

Wei, Z. & Yi, K. (2013). The Space Complexity of 2-Dimensional Approximate Range Counting. I S. Sanjeev Khanna (red.), Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA (s. 252-264). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973105.19

Wei, Z. & Yi, K. (2011). Beyond simple aggregates: Indexing for summary queries. I Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (s. 117-128). Association for Computing Machinery. https://doi.org/10.1145/1989284.1989299

Wei, Z. & Yi, K. (2014). Equivalence between priority queues and sorting in external memory. I A. S. Schulz & D. Wagner (red.), Algorithms - ESA 2014: 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings (Bind 8737 , s. 830-841). Springer. https://doi.org/10.1007/978-3-662-44777-2_68

Wang, Q., Kaul, M., Long, C. & Wong, R. (2014). Terrain-Toolkit: A Multi-Functional Tool for Terrain Data. Proceedings of the VLDB Endowment, 7(13), 1645 - 1648. http://www.vldb.org/pvldb/vol7/p1645-wang.pdf

Wang, Q., Kaul, M., Long, C. & Wong, R. C. W. (2014). Terrain-Toolkit: A multi-functional tool for terrain data. Proceedings of the VLDB Endowment, 7(13), 1645-1648. http://www.scopus.com/inward/record.url?scp=84905856022&partnerID=8YFLogxK

Wang, X., Deng, K., Li, J., Yu, J. X., Jensen, C. S. & Yang, X. (2018). Targeted influence minimization in social networks. I G. I. Webb, D. Phung, M. Ganji, L. Rashidi, V. S. Tseng & B. Ho (red.), Advances in Knowledge Discovery and Data Mining - 22nd Pacific-Asia Conference, PAKDD 2018, Proceedings (s. 689-700). Springer. https://doi.org/10.1007/978-3-319-93040-4_54

Wang, H., Sidenmark, L., Weidner, F., Newn, J. & Gellersen, H. (2025). HeadShift: Head Pointing with Dynamic Control-Display Gain. ACM Transactions on Computer-Human Interaction, 32(1), Artikel 2. https://doi.org/10.1145/3689434

Walter, R., Bulling, A., Lindlbauer, D., Schuessler , M. & Müller, J. (2015). Analyzing visual attention during whole body interaction with public displays. I Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp '15 (s. 1263-1267). Association for Computing Machinery. https://doi.org/10.1145/2750858.2804255

The Baboon Genome Analysis Consortium (2017). Papio baboon species indicative Alu elements. Genome Biology and Evolution, 9(6), 1788-1796. https://doi.org/10.1093/gbe/evx130

Walderveen, F. V. (2012). External Memory Graph Algorithms and Range Searching Data Structures. Department of Computer Science, Aarhus University.

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2011). Increased data quality in home blood pressure monitoring through context awareness. I Pervasive Computing Technologies for Healthcare (PervasiveHealth): 2011 5th International Conference on (s. 234-237).

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2011). Context assessment during blood pressure self-measurement utilizing the sensor chair. I Ambient Intelligence: Second International Joint Conference on AmI 2011, Proceedings (Bind 7040, s. 295-299). Springer. https://doi.org/10.1007/978-3-642-25167-2_40

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2012). Challenges in Blood Pressure Self-Measurement. International Journal of Telemedicine and Applications, 2012. https://doi.org/10.1155/2012/437350

Wagner, S. R., Rasmussen, N. H., Ahrendt, P., Toftegaard, T. S. & Bertelsen, O. W. (2012). Context classification during blood pressure self-measurement using the sensor seat and the audio classification device. I The 6th International Conference on Pervasive Computing Technologies for Healthcare and Workshops (s. 201 - 202 ). ICST, The Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6240390

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2012). Requirements for an evaluation infrastructure for reliable pervasive healthcare research. I The 6th International Conference on Pervasive Computing Technologies for Healthcare and Workshops (s. 260-267). ICST, The Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6240390

Wagner, S. R., Arnfast, A. B., Toftegaard, T. S. & Bertelsen, O. W. (2011). Medication Reminder System using Calm Guidance. Afhandling præsenteret på Danish Human-Computer Interaction Research Symposium, Danmark. http://www.sigchi.dk/sigchi/aktivitet/dhrs/2011/program.html

Wagner, S. R., Ahrendt, P., Toftegaard, T. S. & Bertelsen, O. W. (2012). Audio Context Classification for Determining Blood Pressure Self-Measurement Adherence. 105 - 114. Afhandling præsenteret på IADIS International Conference on e-Health , Lisbon, Portugal. http://www.conferencealerts.com/show-event?id=97140

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2013). Introducing the Adherence Strategy Engineering Framework (ASEF): Support for Developing Technology-based Self-care Solutions. Methods of Information in Medicine, 52(3), 220-230. https://doi.org/10.3414/ME12-01-0027

Wagner, S., Kamper, C. H., Rasmussen, N. H., Ahrendt, P., Toftegaard, T. S. & Bertelsen, O. W. (2014). Reliable blood pressure self-measurement in the obstetric waiting room. Methods of Information in Medicine, 53(3), 225-234. https://doi.org/10.3414/ME13-01-0032

Wagner, S., Buus, N. H., Jespersen, B., Ahrendt, P., Bertelsen, O. W. & Toftegaard, T. S. (2013). Measurement adherence in the blood pressure self-measurement room. Telemedicine and e-Health, 19(11), 826-833. https://doi.org/10.1089/tmj.2013.0032, https://doi.org/10.1089/tmj.2013.0032

Viser resultater 51 til 100 ud af 3070

Forrige

Næste

Revideret 10.10.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series