Publikationer

Søg publikationer fra Institut for Datalogi

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

Jensen, C. S. (2012). Foreword. I The Knowledge Grid : toward Cyber-Physical Society (2. udg., s. 5). World Scientific.

Brodal, G. S., Sioutas, S., Tsakalidis, K. & Tsichlas, K. (2012). Fully Persistent B-trees. The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings, 23, 602-614. http://delivery.acm.org.ez.statsbiblioteket.dk:2048/10.1145/2100000/2095167/p602-brodal.pdf?ip=130.225.27.190&acc=ACTIVE%20SERVICE&CFID=163115493&CFTOKEN=91446070&__acm__=1356816735_08b5a98a0788aa0b0163ee8e9fc7dce3

Hansen, M. S. & Sørensen, T. S. (2012). Gadgetron Users Guide : A Medical Image Reconstruction Framework. (Revision 1.0 udg.) SourceForge. http://sourceforge.net/projects/gadgetron/files/manual/gadgetron_manual_1.0.pdf/download

Magnussen, R., Hansen, S. D., Grønbæk, K., Mølmer, K. & Sherson, J. F. (2012). Game-based Research Collaboration applied to Science Education. Games+Learning+Society Conference Proceedings, 431-436.

Erkin, Z., Veugen, T., Toft, T. & Lagendijk, R. L. (2012). Generating Private Recommendations Efficiently Using Homomorphic Encryption and Data Packing. I E E E Transactions on Information Forensics and Security, 7(3), 1053 - 1066 . https://doi.org/10.1109/TIFS.2012.2190726

Hansen, A. B. & Midtgaard, J. (2012). Handling Overflow in MLton. Abstract fra ACM SIGPLAN Workshop on ML, Copenhagen, Danmark. http://www.lexifi.com/ml2012/full8.pdf

Luboschik, M., Maus, C., Schulz, H.-J., Schumann, H. & Uhrmacher, A. (2012). Heterogeneity-based guidance for exploring multiscale data in systems biology. I J. Roerdink & M. Hibbs (red.), Proceedings of the IEEE Symposium on Biological Data Visualization BioVis (s. 33-40). IEEE. https://doi.org/10.1109/BioVis.2012.6378590

Larsen, K. G. (2012). Higher Cell Probe Lower Bounds for Evaluating Polynomials. I FOCS'12: IEEE 53rd Annual Symposium on Foundations of Computer Science (s. 293 - 301 ). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2012.21

Arge, L., Afshani, P. & Larsen, K. G. (2012). Higher-dimensional Orthogonal Range Reporting and Rectangle Stabbing in the Pointer Machine Model. I Proceedings of the 2012 Symposuim on Computational Geometry (s. 323-338). Association for Computing Machinery. https://doi.org/10.1145/2261250.2261299

Jensen, C. S., Ofek, E. & Tanin, E. (2012). Highlights from ACM SIGSPATIAL GIS 2011: the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: (Chicago, Illinois - November 1 - 4, 2011). SIGSPATIAL Special, 4(1), 2-4. https://doi.org/10.1145/2189403.2189404

Bogdanov, D., Niitsoo, M., Toft, T. & Willemson, J. (2012). High-performance secure multi-party computation for data mining applications. International Journal of Information Security, 11(6), 403-418 . https://doi.org/10.1007/s10207-012-0177-2

Deleuran, L. K. (2012). Homotopic Polygonal Line Simplification. Aarhus Universitet.

Lynggaard, A. B., Petersen, M. G. & Hepworth, S. (2012). "I had a dream and i built it": power and self-staging in ubiquitous high-end homes. I CHI EA '12 : CHI '12 Extended Abstracts on Human Factors in Computing Systems (s. 201-210). Association for Computing Machinery. https://doi.org/10.1145/2212776.2212798

Damgård, I. B., Keller, M., Keller, E., Miles, C. & Smart, N. P. (2012). Implementing AES via an Actively/Covertly Secure Dishonest-Majority MPC Protocol. Lecture Notes in Computer Science, 7485, 241-263. https://doi.org/10.1007/978-3-642-32928-9_14

Afshani, P. (2012). Improved pointer machine and I/O lower bounds for simplex range reporting and related problems. I Proceedings of the 2012 Symposuim on Computational Geometry, SoCG (s. 339-346 ). Association for Computing Machinery. https://doi.org/10.1145/2261250.2261301

Larsen, K. G. & Nguyen, H. L. (2012). Improved Range Searching Lower Bounds. I Proceedings of the 2012 symposuim on Computational Geometry: Chapel Hill, NC, USA — June 17 - 20, 2012 (s. 171-178). Association for Computing Machinery. https://doi.org/10.1145/2261250.2261275

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. (2012). Improving Precision of Types. Department of Computer Science, Aarhus University.

Andreasen, E., Feldthaus, A., Jensen, S. H., Jensen, C. S., Jonsson, P. A., Madsen, M. & Møller, A. (2012). Improving Tools for JavaScript Programmers (Position Paper). Afhandling præsenteret på International Workshop on Scripts to Programs, Beijing, Kina. http://cs.au.dk/~amoeller/papers/stop/

Chen, N., Deng, X., Zhang, H. & Zhang, J. (2012). Incentive Ratios of Fisher Markets. Lecture Notes in Computer Science, 7392, 464-475 . https://doi.org/10.1007/978-3-642-31585-5_42

Schougaard, K. R., Grønbæk, K. & Scharling, T. (2012). Indoor Pedestrian Navigation Based on Hybrid Route Planning and Location Modeling. Lecture Notes in Computer Science, 7319, 289-306. https://doi.org/10.1007/978-3-642-31205-2_18

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

Kaptelinin, V. & Bannon, L. J. (2012). Interaction Design Beyond the Product : Creating Technology-Enhanced Activity Spaces. Human-Computer Interaction, 27(3), 277-309. http://www.tandfonline.com/doi/abs/10.1080/07370024.2011.646930#tabModule

Larsen, K. G. & Pagh, R. (2012). I/O-Efficient Data Structures for Colored Range and Prefix Reporting. The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings, 23, 583-592. http://siam.omnibooksonline.com/2012SODA/index.html

Kejlberg-Rasmussen, C., Tsakalidis, K. & Tsichlas, K. (2012). I/O-Efficient Dynamic Planar Range Skyline Queries. arxiv.org. http://arxiv.org/abs/1207.2341

Kölker, J. (2012). I/O-efficient multiparty computation, formulaic secret sharing and np-complete puzzles. Department of Computer Science, Aarhus University.

Arge, L. & Larsen, K. G. (2012). I/O-Efficient Spatial Data Structures for Range Queries. SIGSPATIAL Special, 4(2), 2-7. http://www.sigspatial.org/sigspatial-special-issues/SIGSPATIALSpecialVol4No2.pdf

Damgård, I. B. & Park, S. (2012). Is Public-Key Encryption Based on LPN Practical? http://eprint.iacr.org/2012/699

Mortensen, D. H., Hepworth, S. J., Berg, K. S. & Petersen, M. G. (2012). "It's in Love with You". Communicating Status and Preference with Simple Product Movements. I CHI EA '12: Extended abstracts on Human Factors in Computing Systems (s. 61-70). Association for Computing Machinery. https://doi.org/10.1145/2212776.2212784

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

Kölker, J. (2012). Kurodoko is NP-Complete. Journal of Information Processing, 20(3), 694-706 . https://doi.org/10.2197/ipsjjip.20.694

Dziembowski, S. & Faust, S. (2012). Leakage-Resilient Circuits without Computational Assumptions. Lecture Notes in Computer Science, 7194, 230-247 . https://doi.org/10.1007/978-3-642-28914-9_13

Damgård, I. B., Hazay, C. & Patra, A. (2012). Leakage Resilient Secure Two-Party Computation. http://eprint.iacr.org/2011/256

Christensen, H. B. & Corry, A. V. (2012). Lectures Abandoned: Active Learning by Active Seminars. I ITiCSE '12 Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education (s. 16-21 ). Association for Computing Machinery. https://doi.org/10.1145/2325296.2325304

Ingesman, M. D. & Ernst, E. (2012). Lifted Java: A Minimal Calculus for Translation Polymorphism. Journal of Object Technology, 11(1), 1-23. https://doi.org/10.5381/jot.2012.11.1.a2

Chan, T. M., Durocher, S., Larsen, K. G., Morrison, J. & Wilkinson, B. T. (2012). Linear-Space Data Structures for Range Mode Query in Arrays. Leibniz International Proceedings in Informatics, 14, 290-301. https://doi.org/10.4230/LIPIcs.STACS.2012.290

Korn, M. & Bødker, S. (2012). Looking ahead – How field trials can work in iterative and exploratory design of ubicomp systems. I UbiComp '12 : Proceedings of the 2012 ACM Conference on Ubiquitous Computing (s. 21-30). Association for Computing Machinery. https://doi.org/10.1145/2370216.2370221

Phillips, J., Verbin, E. & Zhang, Q. (2012). Lower Bounds for Number-in-Hand Multiparty Communication Complexity, Made Easy. The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings, 23, 486-501. http://delivery.acm.org.ez.statsbiblioteket.dk:2048/10.1145/2100000/2095158/p486-phillips.pdf?ip=130.225.27.190&acc=ACTIVE%20SERVICE&CFID=163115493&CFTOKEN=91446070&__acm__=1356809475_fd9644b3144bb0145788980a11fea592

Afshani, P. & Zeh, N. (2012). Lower Bounds for Sorted Geometric Queries in the I/O Model. Lecture Notes in Computer Science, 7501, 48-59 . https://doi.org/10.1007/978-3-642-33090-2_6

Sarno, G., Lagerqvist, B., Fröbert, O., Nilsson, J., Olivecrona, G., Omerovic, E., Saleh, N., Venetzanos, D. & James, S. (2012). Lower risk of stent thrombosis and restenosis with unrestricted use of 'new-generation' drug-eluting stents: A report from the nationwide Swedish Coronary Angiography and Angioplasty Registry (SCAAR). European Heart Journal, 33(5), 606-613. https://doi.org/10.1093/eurheartj/ehr479

Hansen, M. T. (2012). Low-Power Wireless Sensor Network Infrastructures. Department of Computer Science, Aarhus University.

Branzei, S., Michalak, T., Rahwan, T., Larson, K. & Jennings, N. R. (2012). Matching Games with Additive Externalities. http://arxiv.org/abs/1207.3682

Dam, P., Lynge Andersen, J., Dalgaard, L. G., Grönvall, E., Herborg, H., Pedersen, A., Rossing, C. & Vittrup, C. (2012). Medicin bestemmer hverdagen. Tidsskrift for Dansk Sundhedsvaesen, 88(5), 34-41.

Sheng, Q. Z., Wang, G. & Jensen, C. S. (2012). Message from the Program Chairs. I Web Technologies and Applications: 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings (s. VI). Springer. https://doi.org/10.1007/978-3-642-29253-8

Bratteteig, T., Bødker, K., Dittrich, Y., Mogensen, P. H. & Simonsen, J. (2012). Methods: Organizing Principles and General Guidelines for Participatory Design Projects. I J. Simonsen & T. Robertson (red.), Routledge International Handbook of Participatory Design (s. 117-144). Routledge.

Kjærgaard, M. B. (2012). Minimizing the Power Consumption of Location-Based Services on Mobile Phones. I E E E Pervasive Computing, 11(1), 67-73. https://doi.org/10.1109/MPRV.2010.47

Britz, D., Østerby, O. & Strutwolf, J. (2012). Minimum grid digital simulation of chronoamperometry at a disk electrode. Electrochimica Acta, 78, 365-376.

Kjærgaard, M. B., Wirz, M., Roggen, D. & Tröster, G. (2012). Mobile Sensing of Pedestrian Flocks in Indoor Environments using WiFi Signals. I IEEE International Conference on Pervasive Computing and Communications (PerCom) (s. 95 - 102 ). IEEE. https://doi.org/10.1109/PerCom.2012.6199854

Hansen, F. A., Kortbek, K. J. & Grønbæk, K. (2012). Mobile Urban Drama - Interactive Storytelling in Real World Environments. New Review of Hypermedia and Multimedia, 18(1-2), 63-89. https://doi.org/10.1080/13614568.2012.617842

Streit, M., Schulz, H.-J., Lex, A., Schmalstieg, D. & Schumann, H. (2012). Model-Driven Design for the Visual Analysis of Heterogeneous Data. IEEE Transactions on Visualization and Computer Graphics, 18(6), 998-1010. https://doi.org/10.1109/TVCG.2011.108

Viser resultater 2851 til 2900 ud af 6083

Forrige