Publikationer

Søg publikationer fra Institut for Datalogi

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

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

Muller, E., Assent, I., Iglesias, P., Mülle, Y. & Böhm, K. B. (2012). Outlier Ranking via Subspace Analysis in Multiple Views of the Data. I Proceedings of the 12th IEEE International Conference on Data Mining, ICDM (s. 529 - 538 ). IEEE Communications Society. https://doi.org/10.1109/ICDM.2012.112

Christensen, B. B., Nielsen, M. B. & Museth, K. (2012). Out-of-Core Computations of High-Resolution Level Sets by Means of Code Transformation. Journal of Scientific Computing, 50(2), 368-404. https://doi.org/10.1007/s10915-011-9488-0

Yiu, M. L., Assent, I. & Jensen, C. S. (2012). Outsourced Similarity Search on Metric Data Assets. I E E E Transactions on Knowledge & Data Engineering, 24(2), 338-352. https://doi.org/10.1109/TKDE.2010.222

Šidlauskas, D., Šaltenis, S. & Jensen, C. S. (2012). Parallel main-memory indexing for moving-object query and update workloads. I Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data (s. 37-48 ). Association for Computing Machinery. https://doi.org/10.1145/2213836.2213842

Lee, L.-K., Lewenstein, M. & Zhang, Q. (2012). Parikh Matching in the Streaming Model. Lecture Notes in Computer Science, 7608, 336-341. https://doi.org/10.1007/978-3-642-34109-0_35

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

Bødker, S., Christiansen, E. T., Nyvang, T. & Zander, P.-O. (2012). Personas, people and participation–challenges from the trenches of local government. P D C, 2012(1), 91-100. https://doi.org/10.1145/2347635.2347649

Bødker, S. & Christiansen, E. T. (2012). Poetry in motion: appropriation of the world of Apps. I P. Turner & S. Turner (red.), Proceedings of the 30th European Conference on Cognitive Ergonomics, ECCE '12 (s. 78-84). Association for Computing Machinery. https://doi.org/10.1145/2448136.2448152

Kjærgaard, M. B. & Weckemann, K. (2012). PosQ : Unsupervised Fingerprinting and Visualization of GPS Positioning Quality. I M. Gris & G. Yang (red.), Mobile Computing, Applications, and Services: Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers (s. 176-194 ). Springer. https://doi.org/10.1007/978-3-642-29336-8_10

Sükösd, Z., Knudsen, B., Kjems, J. & Pedersen, C. N. S. (2012). PPfold 3.0: fast RNA secondary structure prediction using phylogeny and auxiliary data. Bioinformatics, 28(20), 2691-2692. https://doi.org/10.1093/bioinformatics/bts488

Faust, S., Pietrzak, K. & Schipper, J. (2012). Practical Leakage-Resilient Symmetric Cryptography. Lecture Notes in Computer Science, 7428, 213-232 . https://doi.org/10.1007/978-3-642-33027-8_13

Midtgaard, J. & Might, M. (2012). Preface. Elsevier. https://doi.org/10.1016/j.entcs.2012.09.001

Bødker, S. & Klokmose, C. N. (2012). Preparing Students for (Inter-)Action with Activity Theory. International Journal of Design, 6(3), 99-111. http://www.ijdesign.org/ojs/index.php/IJDesign/article/viewFile/972/532

Nissim, K., Orlandi, C. & Smorodinsky, R. (2012). Privacy-aware mechanism design. I B. Faltings (red.), Proceedings of the ACM Conference on Electronic Commerce, EC '12 (s. 774-789). Association for Computing Machinery. https://doi.org/10.1145/2229012.2229073

Midtgaard, J. & Might, M. (red.) (2012). Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2012. Elsevier. https://doi.org/10.1016/j.entcs.2012.09.001

Blais, E., Brody, J. E. & Matulef, K. (2012). Property Testing Lower Bounds via Communication Complexity. Computational Complexity, 21(2), 311-358 . https://doi.org/10.1007/s00037-012-0040-x

Korn, M. & Klokmose, C. N. (2012). Putting 'Local' Back into Public Wifi Hotspots. I UbiComp '12 : Proceedings of the 2012 ACM Conference on Ubiquitous Computing (s. 800-801). Association for Computing Machinery. https://doi.org/10.1145/2370216.2370399

Verbin, E. & Zhang, Q. (2012). Rademacher-Sketch: A Dimensionality-Reducing Embedding for Sum-Product Norms, with an Application to Earth-Mover Distance. Lecture Notes in Computer Science, 7391, 834-845. https://doi.org/10.1007/978-3-642-31594-7_70

Zengfeng, H., Ke, Y. & Zhang, Q. (2012). Randomized algorithms for tracking distributed count, frequencies, and ranks. I K. Markus , B. Michael & L. Maurizio (red.), PODS '12 Proceedings of the 31st symposium on Principles of Database Systems (s. 295-306 ). Association for Computing Machinery. https://doi.org/10.1145/2213556.2213596

Staal, L. K. & Hachisuka, T. (2012). Randomized Coherent Sampling for Reducing the Perceptual Error of Rendered Images. Poster-session præsenteret på SIGGRAPH 2012. https://doi.org/10.1145/2342896.2343023

Jensen, S. H., Jonsson, P. A. & Møller, A. (2012). Remedying the Eval that Men Do. I M. Heimdahl & Z. Su (red.), 2012 International Symposium on Software Testing and Analysis (ISSTA) : Proceedings (s. 34-44). Association for Computing Machinery. https://doi.org/10.1145/2338965.2336758

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

Christensen, H. B., Christensen, M., Hansen, K. M., Kyng, M., Manikas, K., Surrow, M. & Urazimbetova, S. (2012). Requirements for a Software-Intensive Ecosystem for Telemedicine. Global Telemedicine and eHealth Updates : Knowledge Resources, 5, 423-427. http://www.medetel.lu/download/2012/Med-e-Tel_2012_Global_Telemedicine_and_eHealth_Updates_Volume_5_Contents.pdf

Rossi, L., Magnani, M. & Ladarola , B. (2012). Rescatemineros: Global Media Events in the Microblogging Age. Social Science Electronic Publishing. http://ssrn.com/abstract=1989791

Rasmussen, M. K. & Petersen, M. G. (2012). Re-scripting interactive artefacts with feminine values. I DPPI '11 Proceedings of the 2011 Conference on Designing Pleasurable Products and Interfaces : proceedings Association for Computing Machinery. https://doi.org/10.1145/2347504.2347515

Ackerman, M. & Branzei, S. (2012). Research Quality, Fairness, and Authorship Order. http://arxiv.org/abs/1208.3391

Sandel, B. S., Arge, L., Dalsgaard, B., Davies, R. G., Gaston, K. J., Sutherland, W. J. & Svenning, J.-C. (2012). Response - Global Endemism Needs Spatial Integration Response. Science, 335(6066), 285-286. https://doi.org/10.1126/science.335.6066.285-a

Hansen, M. S., Sørensen, T. S., Arai, A. & Kellman, P. (2012). Retrospective Reconstruction of High Temporal Resolution Cine Images from Real-Time MRI using Iterative Motion Correction. Magnetic Resonance in Medicine, 68(3), 741-750. https://doi.org/10.1002/mrm.23284

Hansen, D. C., Lühr, A., Bassler, N. & Sørensen, T. S. (2012). Robust Combined Proton & Cone Beam X-ray Tomography. Poster-session præsenteret på PTCOG 51, Seoul, Sydkorea.

Schnell, I. B., Thomsen, P. F., Wilkinson, N., Rasmussen, M., Jensen, L. R. D., Willerslev, E., Bertelsen, M. F. & Gilbert, M. T. P. (2012). Screening mammal biodiversity using DNA from leeches. Current Biology, 22(8), R262-R263. https://doi.org/10.1016/j.cub.2012.02.058

Damgård, I. B., Kölker, J. & Miltersen, P. B. (2012). Secret Sharing and Secure Computing from Monotone Formulae. http://eprint.iacr.org/2012/536

Damgård, I. B., Kölker, J. & Toft, T. (2012). Secure Computation, I/O-Efficient Algorithms and Distributed Signatures. Lecture Notes in Computer Science, 7178, 278-295 . https://doi.org/10.1007/978-3-642-27954-6_18

Damgård, I. B., Kölker, J., Faust, S. & Hazay, C. (2012). Secure Two-Party Computation with Low Communication. Lecture Notes in Computer Science, 7194, 54-74 . https://doi.org/10.1007/978-3-642-28914-9_4

Kölker, J. (2012). Selected Slither Link Variants are NP-complete. Journal of Information Processing, 20(3), 709-712 . https://doi.org/10.2197/ipsjjip.20.709

Miltersen, P. B. & Sheffet, O. (2012). Send mixed signals : earn more, work less. I B. Faltings, K. Leyton-Brown & P. Ipeirotis (red.), EC '12 Proceedings of the 13th ACM Conference on Electronic Commerce (s. 234-247). Association for Computing Machinery. https://doi.org/10.1145/2229012.2229033

Rasmussen, M. K., Pedersen, E. W., Petersen, M. G. & Hornbæk, K. (2012). Shape-changing interfaces: a review of the design space and open research questions. https://doi.org/10.1145/2207676.2207781

Rasmussen, M. K., Pedersen, E. W., Petersen, M. G. & Hornbæk, K. A. S. (2012). Shape-changing interfaces: a review of the design space and open research questions. I CHI '12 : Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (s. 735-744 ). Association for Computing Machinery. https://doi.org/10.1145/2212776.2212798

Faust, S., Hazay, C., Nielsen, J. B., Nordholt, P. S. & Zottarel, A. (2012). Signature Schemes Secure against Hard-to-Invert Leakage. Lecture Notes in Computer Science, 7658, 98-115. https://doi.org/10.1007/978-3-642-34961-4_8

Arge, L., Deleuran, L. K., Mølhave, T., Revsbæk, M. & Truelsen, J. (2012). Simplifying Massive Contour Maps. Lecture Notes in Computer Science, 7501, 96-107. https://doi.org/10.1007/978-3-642-33090-2_10

Christensen, H. B. & Hansen, K. M. (2012). Slutrapportering Net4Care.

Ibsen-Jensen, R. & Miltersen, P. B. (2012). Solving Simple Stochastic Games with Few Coin Toss Positions. Lecture Notes in Computer Science, 7501, 636-647. https://doi.org/10.1007/978-3-642-33090-2_55

Brody, J. E., Liang, H. & Sun, X. (2012). Space-Efficient Approximation Scheme for Circular Earth Mover Distance. Lecture Notes in Computer Science, 7256, 97-108. https://doi.org/10.1007/978-3-642-29344-3_9

Cao, X., Chen, L., Cong, G., Jensen, C. S., Qu, Q., Skovsgaard, A., Wu, D. & Yiu, M. L. (2012). Spatial Keyword Querying: Invited Paper. Lecture Notes in Computer Science, 7532, 16-29 . https://doi.org/10.1007/978-3-642-34002-4_2

Micenková, B., van Beusekom, J. & Shafait, F. (2012). Stamp Verification for Automated Document Authentication. Afhandling præsenteret på International Workshop on Computational Forensics , Tsukuba, Japan.

Hachisuka, T., Jarosz, W., Bouchard , G., Christensen, P., Frisvad, J. R., Wenzel, J., Henrik Wann, J., Kaschalk, M., Knaus, C., Selle, A. & Spencer, B. (2012). State of the Art in Photon-Density Estimation: Course notes. I SIGGRAPH '12 ACM SIGGRAPH 2012 Courses Association for Computing Machinery. https://doi.org/10.1145/2343483.2343489

Bhatacharya, H., Nielsen, M. B. & Bridson, R. (2012). Steady State Stokes Flow Interpolation for Fluid Control. Annual Conference of the European Association for Computer Graphics , 33, 57-60. https://doi.org/10.2312/conf/EG2012/short/057-060

Lex, A., Streit, M., Schulz, H.-J., Partl, C., Schmalstieg, D., Park, P. J. & Gehlenborg, N. (2012). StratomeX: Visual Analysis of Large-Scale Heterogeneous Genomics Data for Cancer Subtype Characterization. Computer Graphics Forum, 31(3), 1175-1184. https://doi.org/10.1111/j.1467-8659.2012.03110.x

Brodal, G. S., Lagogiannis, G. & Tarjan, R. E. (2012). Strict fibonacci heaps. I STOC '12 Proceedings of the 44th symposium on Theory of Computing (s. 1177-1184 ). Association for Computing Machinery. https://doi.org/10.1145/2213977.2214082

Davoodi, P., Raman, R. & Satti, S. (2012). Succinct Representations of Binary Trees for Range Minimum Queries. Lecture Notes in Computer Science, 7434, 396-407 . https://doi.org/10.1007/978-3-642-32241-9_34

Viser resultater 2901 til 2950 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series