Publikationer

Søg publikationer fra Institut for Datalogi

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

Dicke, C. & Müller, J. (2015). Evaluating Mid-air List Interaction for Spatial Audio Interfaces. I Proceedings of the 3rd ACM Symposium on Spatial User Interaction, SUI '15 (s. 24-33). Association for Computing Machinery. https://doi.org/10.1145/2788940.2788945

Chester, S. & Assent, I. (2015). Explanations for Skyline Query Results. I International Conference on Extending Database Technology (EDBT 2015) (s. 349-360). openproceedings.org. https://doi.org/10.5441/002/edbt.2015.31

Verdezoto, N. (2015). Exploring Challenges and Opportunities for Eco-Feedback Technology. Afhandling præsenteret på Workshop on Expanding the Boundaries: A SIGCHI HCI & Sustainability , Seoul, Sydkorea. http://wp.lancs.ac.uk/chi15sust/files/2015/04/pp_verdezoto.pdf

Li, S., Crouser, R. J., Griffin, G., Gramazio, C., Schulz, H.-J., Childs, H. & Chang, R. (2015). Exploring hierarchical visualization designs using phylogenetic trees. I D. L. Kao, M. C. Hao, M. A. Livingston & T. Wischgoll (red.), Proceedings of the Conference on Visualization and Data Analysis VDA 2015 SPIE - International Society for Optical Engineering. https://doi.org/10.1117/12.2078857

Pinder, C., Vermeulen, J., Beale, R. & Hendley, R. (2015). Exploring Nonconscious Behaviour Change Interventions on Mobile Devices. MobileHCI '15 Adjunct, 1010-1017. https://doi.org/10.1145/2786567.2794319

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

Zhang, Y., Chong, M. K., Müller, J., Bulling, A. & Gellersen, H. (2015). Eye tracking for public displays in the wild. Personal and Ubiquitous Computing, 19(5-6), 967-981. https://doi.org/10.1007/s00779-015-0866-8

Sedmidubsky, J., Mic, V. & Zezula, P. (2015). Face image retrieval revisited. I R. Connor, G. Amato, F. Falchi & C. Gennaro (red.), Similarity Search and Applications - 8th International Conference, SISAP 2015, Proceedings (s. 204-216). Springer Verlag. https://doi.org/10.1007/978-3-319-25087-8_19

Filos-Ratsikas, A., Li, M., Zhang, J. & Zhang, Q. (2015). Facility Location with Double-peaked Preferences. I Proceedings of the 29th International AAAI Conference on Artificial Intelligence, and the 27th Innovative Applications of Artificial Intelligence Conference, vol. 2 (s. 893-899). AAAI Press. http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9379/9385

de Berg, M., Tsirogiannis, C. & Wilkinson, B. T. (2015). Fast computation of categorical richness on raster data sets and related problems. I GIS '15: Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems Artikel 18 https://doi.org/10.1145/2820783.2820825

de Berg, M., Tsirogiannis, C. & Wilkinson, B. (2015). Fast Computation of Categorical Richness on Raster Data Sets and Related Problems. I Proceedings. Workshop on Massive Data Algorithmics (MASSIVE) (s. 86-107)

Zakarias, R. W. & Damgård, I. B. (2015). Fast Oblivious AES A Dedicated application of the MiniMac protocol. https://eprint.iacr.org/2015/989.pdf

Skovsgaard, A. & Jensen, C. S. (2015). Finding Top-k Relevant Groups of Spatial Web Objects. V L D B Journal, 24(4), 537-555. https://doi.org/10.1007/s00778-015-0388-z

Bertelsen, O. W., Halskov, K., Bardzell, S. (red.), Bødker, S. (red.), Iversen, O. S. (red.), Klokmose, C. N. (red.) & Korsgaard, H. (red.) (2015). Foreword. I Critical Alternatives: Proceedings of The Fifth Decennial Aarhus Conference 17- 21 August 2015, Aarhus, Denmark (s. ii). Department of Computer Science, Aarhus University. http://cs.au.dk/~hko/Aarhus2015ProceedingsVolumeI.pdf

Petersen, M. G., Rasmussen, M. K. & Jakobsen, K. (2015). Framing open-ended and constructive play with emerging interactive materials. I Proceedings of the 14th International Conference on Interaction Design and Children , IDC '15 (s. 150-159 ). Association for Computing Machinery. https://doi.org/10.1145/2771839.2771855

Jakobsen, K., Petersen, M. G. & Rasmussen, M. K. (2015). Framing Open-Ended and Constructive Play with Emerging Interactive Materials. 150-159. Afhandling præsenteret på Interaction Design and Children 2015, Boston, Massachusetts, USA.

Danvy, O. & Johannsen, J. (2015). From Outermost Reduction Semantics to Abstract Machine. Department of Computer Science, University of Aarhus. https://doi.org/10.7146/aul.3.2

Durkota, K., Lisy, V., Kiekintveld, C. & Bosansky, B. (2015). Game-Theoretic Algorithms for Optimal Nework Security Hardening Using Attack Graphs. Abstract fra International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Tyrkiet. http://www.aamas2015.com/en/AAMAS_2015_USB/aamas/p1773.pdf

Miruchna , V., Walter , R., Lindlbauer , D., Lehmann , M., Klitzing, R. V. & Müller, J. (2015). GelTouch: Localized Tactile Feedback Through Thin, Programmable Gel. I UIST '15 Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology (s. 3-10 ). Association for Computing Machinery. https://doi.org/10.1145/2807442.2807487

David, B. M., Nishimaki, R., Ranellucci, S. & Tapp, A. (2015). Generalizing Efficient Multiparty Computation. I A. Lehmann & S. Wolf (red.), Information Theoretic Security: 8th International Conference, ICITS 2015, Lugano, Switzerland, May 2-5, 2015. Proceedings (s. 15-32 ). Springer VS. https://doi.org/10.1007/978-3-319-17470-9_2

Döttling, N., Kraschewski, D., Müller-Quade, J. & Nilges, T. (2015). General statistically secure computation with bounded-resettable hardware tokens. I Y. Dodis & J. Buus Nielsen (red.), Theory of Cryptography: 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I (s. 319-344). Springer VS. https://doi.org/10.1007/978-3-662-46494-6_14

Son, W., Bae, S. W. & Ahn, H. K. (2015). Group nearest neighbor queries in the L1 plane. Theoretical Computer Science, 592, 39–48. https://doi.org/10.1016/j.tcs.2015.05.011

Bizjak, A., Grathwohl, H. B., Clouston, R., Birkedal, L. & Møgelberg, R. E. (2015). Guarded dependent type theory with coinductive types. I Foundations of Software Science and Computation Structures Springer. https://doi.org/10.1007/978-3-662-49630-5_2

Burra, S. S., Larraia, E., Nielsen, J. B., Nordholt, P. S., Orlandi, C., Orsini, E., Scholl, P. & Smart, N. P. (2015). High Performance Multi-Party Computation for Binary Circuits Based on Oblivious Transfer. http://eprint.iacr.org/2015/472

Hansen, T. D., Kaplan, H., Tarjan, R. E. & Zwick, U. (2015). Hollow Heaps. I M. M. Halldórsson, K. Iwama, N. Kobayashi & B. Speckmann (red.), Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I (Bind Part 1, s. 689-700). Springer VS. https://doi.org/10.1007/978-3-662-47672-7_56

Jakobsen, S. K. & Orlandi, C. (2015). How to Bootstrap Anonymous Communication. http://arxiv.org/pdf/1502.05273v1

Jakobsen, S. K. & Orlandi, C. (2015). How to Bootstrap Anonymous Communication. http://eprint.iacr.org/2015/130

Bardzell, J. & Bardzell, S. (2015). Humanistic HCI. Synthesis Lectures on Human-Centered Informatics https://doi.org/10.2200/S00664ED1V01Y201508HCI031

Askarov, A., Chong, S. & Mantel, H. A. (2015). Hybrid Monitors for Concurrent Noninterference. I L. Viganò (red.), 28th IEEE Computer Security Foundations Symposium CSF 2015 : Proceedings (s. 137 - 151). IEEE Computer Society Press. https://doi.org/10.1109/CSF.2015.17

Thomas, V., Brueggemann, M. J., Feldman, D. & C02K31YADRVG (2015). I am more than the sum of my parts: an e-waste design fiction. Afhandling præsenteret på Joint Conference on 29th International Conference on Informatics for Environmental Protection / 3rd International Conference on ICT for Sustainability (EnviroInfo and ICT4S), Copenhagen, Danmark.

Merritt, T. R., Nørgaard, M., Laursen, C., Rasmussen, M. K. & Petersen, M. G. (2015). Imagined Physics: Exploring Examples of Shape-changing Interfaces. I H. Samani (red.), Cognitive Robotics (s. 89-111). CRC Press.

Nielsen, J. A. S. (2015). Implicit Data Structures, Sorting, and Text Indexing. Department of Computer Science, Aarhus University.

Hansen, T. D. & Zwick, U. (2015). Improved Version of the Random-Facet Pivoting Rule for the Simplex Algorithm. I Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC '15 (s. 209-218 ). Association for Computing Machinery. https://doi.org/10.1145/2746539.2746557

Livshits, B., Sridharan, M., Smaragdakis, Y., Lhoták, O., Amaral, J. N., Chang, B.-Y. E., Guyer, S. Z., Khedker, U. P., Møller, A. & Vardoulakis, D. (2015). In Defense of Soundiness: A Manifesto. Communications of the A C M, 58(2). https://doi.org/10.1145/2644805

Tataru, P. (2015). Inference of population history and patterns from molecular data. Department of Computer Science, Aarhus University.

Bataillon, T., Duan, J., Hvilsom, C., Jin, X., Li, Y., Skov, L., Glemin, S., Munch, K., Jiang, T., Qian, Y., Hobolth, A., Wang, J., Mailund, T., Siegismund, H. R. & Schierup, M. H. (2015). Inference of purifying and positive selection in three subspecies of chimpanzees (Pan troglodytes) from exome sequencing. Genome Biology and Evolution, 7(4), 1122-32. https://doi.org/10.1093/gbe/evv058

Tataru, P., Bataillon, T. & Hobolth, A. (2015). Inference Under a Wright-Fisher Model Using an Accurate Beta Approximation. Genetics, 201(3), 1133-1141.

Eichner, C., Nocke, T., Schulz, H.-J. & Schumann, H. (2015). Interactive Presentation of Geo-Spatial Climate Data in Multi-Display Environments. ISPRS International Journal of Geo-information, 4(2), 493-514. https://doi.org/10.3390/ijgi4020493

Jung, R., Swasey, D., Sieczkowski, F., Svendsen, K., Turon, A., Birkedal, L. & Dreyer, D. (2015). Iris: Monoids and invariants as an orthogonal basis for concurrent reasoning. I S. Rajamani (red.), Conference Record of the Annual ACM Symposium on Principles of Programming Languages (s. 637-650). Association for Computing Machinery. https://doi.org/10.1145/2676726.2676980

Jensen, M. M., Rasmussen, M. K., Mueller, F. F. & Grønbæk, K. (2015). Keepin' it Real: Challenges when Designing Sports-Training Games. I B. Begole & J. Kim (red.), Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems: CHI '15 (s. 2003-2012). Association for Computing Machinery. https://doi.org/10.1145/2702123.2702243

Cramer, R., Damgård, I. B., Döttling, N. M., Fehr, S. & Spini, G. (2015). Linear secret sharing schemes from error correcting codes and universal hash functions. I E. Oswald & M. F. Fischlin (red.), Advances in Cryptology - EUROCRYPT 2015: 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II (s. 313-336). Springer VS. https://doi.org/10.1007/978-3-662-46803-6_11

Chan, T. M., Durocher, S., Skala, M. & Wilkinson, B. T. (2015). Linear-Space Data Structures for Range Minority Query in Arrays. Algorithmica, 72(4), 901-913. https://doi.org/10.1007/s00453-014-9881-9

Döttling, N. M. (2015). Low noise LPN: KDM secure public key encryption and sample amplification. I J. Katz (red.), Public-Key Cryptography -- PKC 2015: 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings (Bind 9020, s. 604-626). Springer VS. https://doi.org/10.1007/978-3-662-46447-2_27

Agarwal, P. K., Mølhave, T., Revsbæk, M., Safa, I., Wang, Y. & Yang, J. (2015). Maintaining Contour Trees of Dynamic Terrains. I L. Arge & J. Pach (red.), 31st International Symposium on Computational Geometry (SoCG 2015) (s. 796-811) https://doi.org/10.4230/LIPIcs.SOCG.2015.796

Prentow, T. S., Thom, A., Blunck, H. & Vahrenhold, J. (2015). Making Sense of Trajectory Data in Indoor Spaces. I Proceedings of the 16th IEEE International Conference on Mobile Data Management, vol.1 (s. 116-121). IEEE. https://doi.org/10.1109/MDM.2015.44

Light, A., Bardzell, J., Bardzell, S., Cox, G., Fritsch, J. & Koefoed Hansen, L. (2015). Making “World Machines”: Discourse, Design and Global Technologies for Greater-than-self Issues. Aarhus Series on Human Centered Computing, 1(1). http://ojs.statsbiblioteket.dk/index.php/ashcc/article/view/21326/18796

Caprani, O. (2015). Mangfoldige læringsaktiviteter: ét robotbyggesæt. Læring og Medier, 8(14), 1-22. http://ojs.statsbiblioteket.dk/index.php/lom/article/view/22074/20129

Bødker, S., Bertelsen, O. W., Bannon, L. J., De Souza, C., Barbosa, S. & Prates, R. (2015). Mediation and Meaning in HCI. I Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV (s. 667-668). Springer. https://doi.org/10.1007/978-3-319-22723-8_93

Petersen, O. B., Rasch, S. M., Bach, K., Holst, L. & Kyng, M. (2015). Meningsfuld telemedicinsk hjemmemonitorering for både klinikere og patienter skabes gennem forhandling og involvering. Abstract fra E-Sundhedsobservatoriets årskonference 2015, Nyborg, Danmark. http://2015.e-sundhedsobservatoriet.dk/forslag/evaluering-af-e-sundhedsprojekter/meningsfuld-telemedicinsk-hjemmemonitorering-b-de

Koester, T., Jakobsen, J., Brøsted, J. E., Bach, K., Petersen, O. B., Kyng, M. & Rasch, S. M. (2015). Mental Models and Deliberate Manipulation of Data. I Proceedings of the International Symposium on Human Factors and Ergonomics in Health Care 2015 (1 udg., Bind 4, s. 62-69) https://doi.org/10.1177/2327857915041021

Viser resultater 1701 til 1750 ud af 2825

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series