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

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)

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

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-33. https://doi.org/10.1089/tmj.2013.0032

Wagner, S. R., Bertelsen, O. W. & Toftegaard, T. S. (2015). Applicability of the Reliable Evaluation Infrastructure Toolkit for Facilitating Self-Care Research. Journal of Pervasive Systems Engineering, 4(1). http://pervasivesystems.org/Papers/2015-1/Article%20-%20APPLICABILITY%20OF%20THE%20RELIABLE%20EVALUATION%20INFRASTRUCTURE%20TOOLKIT%20FOR%20FACILITATING%20SELF-CARE%20RESEARCH%20.pdf

Wagner, S., Kamper, C. H., Toftegaard, T. S. & Bertelsen, O. W. (2013). Blood pressure self-measurement in the obstetric waiting room. Telemedicine and e-Health, 19(11), 872-874. https://doi.org/10.1089/tmj.2013.0065

Wagner, U., Lystbæk, M. N., Manakhov, P., Grønbæk, J. E., Pfeuffer, K. & Gellersen, H. (2023). A Fitts’ Law Study of Gaze-Hand Alignment for Selection in 3D User Interfaces. I CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems artikel 252 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581423

Vosough, Z., Hogräfer, M., Royer, L. A., Groh, R. & Schulz, H-J. (2018). Parallel Hierarchies: A Visualization for Cross-tabulating Hierarchical Categories. Computers & Graphics, 76(November), 1-17. https://doi.org/10.1016/j.cag.2018.07.009

Vollrath, F. & Krink, T. (2020). Spider webs inspiring soft robotics. Journal of the Royal Society, Interface, 17(172). https://doi.org/10.1098/rsif.2020.0569

Vitanov, A., Dupont-Dupuis, F., Tomamichel, M. & Renner, R. (2013). Chain rules for smooth min-and max-entropies. I E E E Transactions on Information Theory, 59(5), 2603-2612. https://doi.org/10.1109/TIT.2013.2238656

Vindum, S. F. & Birkedal, L. (2021). Contextual refinement of the Michael-Scott queue (proof pearl). I C. Hriţcu & A. Popescu (red.), CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 76-90). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439930

Vindum, S. F., Frumin, D. & Birkedal, L. (2022). Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library. I A. Popescu & S. Zdancewic (red.), CPP 2022 : Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022 (s. 100-115). Association for Computing Machinery. https://doi.org/10.1145/3497775.3503689

Victor Kobbelgaard, F., Bødker, S. & Kanstrup, A. M. (2020). Designing a game to explore human artefact ecologies for assistive robotics: Basing design games on an activity theoretical framework. I NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: : Shaping Experiences, Shaping Society (s. 1-10). artikel 27 Elsevier. https://doi.org/10.1145/3419249.3420181

Vicente, C. R., Frenti, D., Bettini, C. & Jensen, C. S. (2011). Location-Related Privacy in Geo-Social Networks. I E E E Internet Computing, 15(3), 20-27. https://doi.org/10.1109/MIC.2011.29

Vicente, C. R., Assent, I. & Jensen, C. S. (2011). Effective Privacy-Preserving Online Route Planning. I 2011 12th IEEE International Conference on Mobile Data Management (MDM) (s. 119-128). IEEE Computer Society Press. https://doi.org/10.1109/MDM.2011.20

Vernica, T., Lipman, R., Kramer, T., Kwon, S. & Bernstein, W. Z. (2022). Visualizing Standardized Model-Based Design and Inspection Data in Augmented Reality. Journal of Computing and Information Science in Engineering, 22(4), artikel 041001. https://doi.org/10.1115/1.4053154

Vermeulen, J., Luyten, K., van den Hoven, E. & Coninx, K. (2013). Crossing the Bridge over Norman's Gulf of Execution: Revealing Feedforward's True Identity. CHI '13, 1931-1940. https://doi.org/10.1145/2470654.2466255

Vermeulen, J. (2010). Improving Intelligibility and Control in Ubicomp. UbiComp '10 Adjunct, 485-488. https://doi.org/10.1145/1864431.1864493

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

Vermeulen, J., Slenders, J., Luyten, K. & Coninx, K. (2009). I Bet You Look Good on the Wall: Making the Invisible Computer Visible. AmI '09, 196-205. https://doi.org/10.1007/978-3-642-05408-2_24

Vermeulen, J., Luyten, K., Coninx, K. & Marquardt, N. (2014). The Design of Slow-motion Feedback. DIS '14, 267-270. https://doi.org/10.1145/2598510.2598604

Vermeulen, J., Luyten, K. & Coninx, K. (2012). Understanding Complex Environments with the Feedforward Torch. I Ambient Intelligence - Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings (s. 312-319) https://doi.org/10.1007/978-3-642-34898-3_22

Vermeulen, J., Kawsar, F., Simeone, A. L., Kortuem, G., Luyten, K. & Coninx, K. (2012). Informing the design of situated glyphs for a care facility. I 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012 (s. 89-96) https://doi.org/10.1109/VLHCC.2012.6344490

Vermeulen, J., Vandriessche, Y., Clerckx, T., Luyten, K. & Coninx, K. (2007). Service-Interaction Descriptions: Augmenting Services with User Interface Models. I Engineering Interactive Systems - EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers (s. 447-464) https://doi.org/10.1007/978-3-540-92698-6_27

Vermeulen, J., Luyten, K., Coninx, K., Marquardt, N. & Bird, J. (2015). Proxemic Flow: Dynamic Peripheral Floor Visualizations for Revealing and Mediating Large Surface Interactions. I J. Abascal, S. Barbosa, M. Fetter, T. Gross, P. Palanque & M. Winckler (red.), Human-Computer Interaction -- INTERACT 2015 (s. 264-281). Springer International Publishing Switzerland.

Vermeulen, J., Lim, B. Y., Avdic, M., Wang, D. & Abdul, A. (2019). The Curious Case of Providing Intelligibility for Smart Speakers. Abstract fra The 2019 ACM CHI Conference on Human Factors in Computing Systems (CHI'19), Glasgow, Storbritannien.

Verdezoto, N. & Olsen, J. W. (2012). Personalized Medication Management: Towards a Design of Individualized Support for Elderly Citizens at Home. I Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium (IHI2012) (s. 813-817). Association for Computing Machinery. https://doi.org/10.1145/2110363.2110463

Verdezoto, N., Grönvall, E., Vincentz, S. & Rostgaard Thielsen, S. (2012). Exploring Challenges of Self-Monitoring for Senior Adults. Afhandling præsenteret på Bridging Clinical and Non-clinical Health Practices: Opportunities and Challenges, Austin, Texas, USA. http://www.ics.uci.edu/~yunanc/chi2012health/Downloads/Verdezoto.pdf

Verdezoto, N. & Grönvall, E. (2012). Designing a Tablet Touch-Screen Interface for Older Adults. Afhandling præsenteret på How to Design Touch Interfaces for and with Older Adults: Identification of Challenges and Opportunities, Copenhagen, Danmark. http://workshops.icts.sbg.ac.at/NordiCHI2012/papers/Verdezoto_et_al.pdf

Verdezoto, N. & Grönvall, E. (2012). Opportunities to Support Medication Intake across Boundaries of Care. Afhandling præsenteret på Designing for Self-Care Acknowledging the Home-Clinic Difference, Copenhagen, Danmark. http://users-cs.au.dk/gronvall/nordichi_rehab2012/accepted.html

Verdezoto, N. (2013). Home-based Healthcare Technology: Understanding and Designing to Support the Care Management Work at Home. Abstract fra IEEE International Conference on Healthcare Informatics, Philadelphia, USA.

Verdezoto, N. (2013). Home-based Self-care: Understanding and Designing Pervasive Technology to Support Care Management Work at Home. Department of Computer Science, Aarhus University.

Viser resultater 51 til 100 ud af 2545

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series