Publikationer

Søg publikationer fra Institut for Datalogi

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

Jensen, C. S., Pedersen, T. B. & Thomsen, C. (2010). Multidimensional Databases and Data Warehousing. Morgan & Claypool Publishers. Synthesis Lectures on Data Management Bind 1 Nr. 9 https://doi.org/10.2200/S00299ED1V01Y201009DTM009

Damgård, I. B. & Orlandi, C. (2010). Multiparty Computation for Dishonest Majority: From Passive to Active Security at Low Cost. Lecture Notes in Computer Science, 6223, 558-576. https://doi.org/10.1007/978-3-642-14623-7_30

Aarhus, R. & Ballegaard, S. A. (2010). Negotiating boundaries: managing disease at home. I E. Mynatt (red.), Proceedings of the 28th international conference on human factors in computing systems. CHI '10 (s. 1223-1232). Association for Computing Machinery. https://doi.org/10.1145/1753326.1753509

Toftegaard, T. S. (2010). Next Generation Intelligent Wireless Infrastructure. Wireless Personal Communications, 53(3), 465-479. https://doi.org/10.1007/s11277-010-9958-y

Andersson, K. O. D., Hansen, T. D. & Gurvich, V. (2010). On acyclicity of games with cycles. Discrete Applied Mathematics, 158(10), 1049-1063. https://doi.org/10.1016/j.dam.2010.02.006

Zerny, I. (2010). On Graph Rewriting, Reduction and Evaluation. I Z. Horváth, V. Zsók, P. Achten & P. Koopman (red.), Trends in Functional Programming 10: Selected Papers from the Tenth Symposium on Trends in Functional Programming, TFP 2009, Komárno, Slovakia, 2-4 June 2009 (s. 1-16). Intellect Books. http://www.zerny.dk/zerny-tfp09.pdf

Thang, N. K. (2010). On (Group) Strategy-Proof Mechanisms without Payment for Facility Location Games. Lecture Notes in Computer Science, 6484, 531-538. https://doi.org/10.1007/978-3-642-17572-5_47

Kjærgaard, M. B. (2010). On Improving the Energy Efficiency and Robustness of Position Tracking for Mobile Devices. Afhandling præsenteret på The 7th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2010), Sydney, Australien.

Davoodi, P., Brodal, G. S. & Rao, S. S. (2010). On Space Efficient Two Dimensional Range Minimum Data Structures. Lecture Notes in Computer Science, 6347, Part 2 , 171-182. https://doi.org/10.1007/978-3-642-15781-3_15

Krøigaard, M. (2010). On the Computational Overhead of Secure Multiparty computation. Department of Computer Science, Aarhus University.

Klose, K. (2010). On the Expressiveness of Declarative Meta-Languages. Department of Computer Science, Aarhus University.

Kyng, M. (2010). On the Multifaceted Future of Participatory Design. Scandinavian Journal of Information Systems, 22(1), 93-102. http://iris.cs.aau.dk/tl_files/volumes/Volume22/no1/Kyng2.pdf

Damgård, I. B., Nielsen, J. B. & Orlandi, C. (2010). On the Necessary and Sufficient Assumptions for UC Computation. Lecture Notes in Computer Science, 5978, 109-127. https://doi.org/10.1007/978-3-642-11799-2_8

Beerliová-Trubíniová, Z., Hirt, M. & Nielsen, J. B. (2010). On the theoretical gap between synchronous and asynchronous MPC protocols. I A. Richa & R. Guerraoui (red.), Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing. PODC '10 (s. 211-218). Association for Computing Machinery. https://doi.org/10.1145/1835698.1835746

Cheng, J., Lazard, S., Peñaranda, L., Pouget, M., Roullier, F. & Tsigaridas, E. (2010). On the topology of real algebraic plane curves. Mathematics in Computer Science, 4(1), 113-137. https://doi.org/10.1007/s11786-010-0044-3

Bender, M. A., Brodal, G. S., Fagerberg, R., Jacob, R. & Vicari, E. (2010). Optimal Sparse Matrix Dense Vector Multiplication in the I/O-Model. Theory of Computing Systems, 47(4), 934-962. https://doi.org/10.1007/s00224-010-9285-4

Wolff, S., Rohde, J., Toftegaard, T. S., Larsen, P. G., Lausdahl, K. G., Ribeiro, A. & Stender, M. H. (2010). Optimizing Energy Usage in Private Households. I R. Prasad, S. Ohmori & D. Šimunić (red.), Towards Green ICT (s. 185-210). River Pulishers.

Afshani, P., Arge, L. A. & Larsen, K. D. (2010). Orthogonal Range Reporting: Query Lower Bounds, Optimal Structures in 3-d, and Higher Dimensional Improvements. Annual A C M Symposium on Computational Geometry. Proceedings, 240-246. https://doi.org/10.1145/1810959.1811001

Arge, L. A., Goodrich, M. T. & Sitchinava, N. (2010). Parallel External Memory Graph Algorithms. I P D P S Proceedings, 1-11. https://doi.org/10.1109/IPDPS.2010.5470440

Kramp, G., Nielsen, P. & Møller, A. S. (2010). Particapatory Interaction in Therapeutical Strategies. Daimi Report Series (DAIMI PB), (593), 34-37.

Bertelsen, O. W., Kramp, G., Thielsen, S. R., Dobers, R. & Høybye, U. (2010). Participatory Design of IT-support for Anxiety Therapy. Daimi Report Series (DAIMI PB), (593), 5-8.

Madsen, A. B. & Ernst, E. (2010). Pass-by-Subclass Parameters. I Proceedings of the 4th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance.MASPEGHI '10 (s. Article No.: 6). Association for Computing Machinery. https://doi.org/10.1145/1929999.1930005

Christensen, L. R. & Grönvall, E. (2010). Patient 2.0 Revisited: Towards Empowering Networked Care. Abstract fra EASST2010, The shaping of patient 2.0 - Exploring agencies, technologies and discourses in new healthcare practices, Trento, Italien.

Damgård, I. B., Ishai, Y. & Krøigaard, M. (2010). Perfectly Secure Multiparty Computation and the Computational Overhead of Cryptography. Lecture Notes in Computer Science, 6110, 445-465. https://doi.org/10.1007/978-3-642-13190-5_23

Blunck, H., Godsk, T., Grønbæk, K., Kjærgaard, M. B., Jensen, J. L., Scharling, T., Schougaard, K. R. & Toftkjær, T. (2010). PerPos: A Platform Providing Cloud Services for Pervasive Positioning. I L. Liao (red.), Proceedings of the 1st International Conference on Computing for Geospatial Research and Application. COM.Geo '10 (s. Article no.: 11). Association for Computing Machinery. https://doi.org/10.1145/1823854.1823869

Jensen, J. L., Schougaard, K. R., Kjærgaard, M. B. & Toftkjær, T. (2010). PerPos: a Translucent Positioning Middleware Supporting Adaptation of Internal Positioning Processes. Lecture Notes in Computer Science, 6452, 232-251. https://doi.org/10.1007/978-3-642-16955-7_12

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

Grönvall, E., Aarhus, R. & Larsen, S. B. (red.) (2010). Pervasive healthcare in the home Supporting patient motivation and engagement: Supporting patient motivation and engagement. Workshop. I 2010 4th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth) IEEE Computer Society Press. http://www.ph-home.org/PH-HOME2010_CFP.pdf

Kannabiran, G. & Petersen, M. G. (2010). Politics at the interface: a Foucauldian power analysis. I E. T. Hvannberg & M. K. Lárusdóttir (red.), Proceedings of the 6th Nordic Conference on Human-Computer Interaction. NordiCHI '10: Extending Boundaries (s. 695-698). Association for Computing Machinery. https://doi.org/10.1145/1868914.1869007

Kannabiran, G. & Petersen, M. G. (2010). Politics at the interface: A Foucauldian power analysis. 695-698. https://doi.org/10.1145/1868914.1869007

Kjærgaard, M. B. & Weckemann, K. (2010). PosQ: Unsupervised Fingerprinting and Visualization of GPS Positioning Quality. Afhandling præsenteret på The Second International Conference on Mobile Computing, Applications, and Services.

Justesen, P. & Ursem, R. K. (2010). Preference-Based Multi-Objective Distinct Candidates Optimization. I B. Filipic & J. Silc (red.), Proceedings of the 4th International Conference on Bioinspired Optimization Methods and their Applications (BIOMA 2010) (s. 117-130). Ljublana: Jozef Stefan Institute.

Freni, D., Vicente, C. R., Mascetti, S., Bettini, C. & Jensen, C. S. (2010). Preserving location and absence privacy in geo-social networks. I J. Huang (red.), Proceedings of the 19th ACM international conference on Information and knowledge management. CIKM '10 (s. 309-318). Association for Computing Machinery. https://doi.org/10.1145/1871437.1871480

Paschos, V. T., Telelis, O. & Zissimopoulos, V. (2010). Probabilistic models for the Steiner Tree problem. Networks (New York), 56(1), 39-49. https://doi.org/10.1002/net.20346

Winter, S., Jensen, C. S. & Li, K.-J. (red.) (2010). Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness. Association for Computing Machinery. http://portal.acm.org/citation.cfm?id=1865885&coll=DL&dl=GUIDE&CFID=7605094&CFTOKEN=94044110

Bertelsen, O. W., Krogh, P. G., Halskov, K. & Petersen, M. G. (red.) (2010). Proceedings of the 8th ACM Conference on Designing Interactive Systems. Association for Computing Machinery.

Bertelsen, O. W. (red.), Fitzpatrick, G. (red.), Höök, K. H., Balaam, M. (red.) & Grönvall, E. (red.) (2010). Proceedings of Therapeutic Strategies: A Challenge for User Involvement in Design Workshop in conjunction with NORDICHI 2010 17. October 2010, Reykjavik, Iceland. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) Nr. 593 http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7183/6129

Emiris, I. Z., Galligo, A. & Tsigaridas, E. (2010). Random polynomials and expected complexity of bisection methods for real solving. International Symposium on Symbolic and Algebraic Computation, 235-242. https://doi.org/10.1145/1837934.1837980

Sørensen, T. S. & Hansen, M. S. (2010). Real-time Non-Cartesian Magnetic Resonance Imaging. Abstract fra Dansk Selskab for Medicinsk Fysik - årsmøde symposium, Odense, Danmark.

Britz, D., Østerby, O. & Strutwolf, J. (2010). Reference values of the chronoamperometric response at cylindrical and capped cylindrical electrodes. Electrochimica Acta, 55(20), 5629-5635.

Klokmose, C. N. & Zander, P.-O. (2010). Rethinking Laboratory Notebooks. I M. Lewkowicz , P. Hassanaly, M. Rohde & V. Wulf (red.), Proceedings of COOP 2010 : Proceedings of the 9th Internationale Conference on Designing Cooperative Systems (s. 119-140). Springer. http://coop.wineme.fb5.uni-siegen.de/proceedings2010/8_cKlokmose_et_al_119_140.pdf

Cao, X., Cong, G. & Jensen, C. S. (2010). Retrieving top-k prestige-based relevant spatial web objects. Proceedings of the VLDB Endowment, 3(1), 373-384. http://portal.acm.org/citation.cfm?id=1920891&CFID=7605094&CFTOKEN=94044110

Madsen, A. B. & Ernst, E. (2010). Revisiting Parametric Types and Virtual Classes. Lecture Notes in Computer Science, 6141, 233-252. https://doi.org/10.1007/978-3-642-13953-6_13

Henriksen, M., Egund, N., Christensen, F. B., Bünger, C. & Senholt, T. (2010). Sagittal Spinal Balance After Lumbar Spinal Fusion: The Impact of Anterior Column Support: Results From a Randomized Clinical Trial With an Eight- to Thirteen-Year Radiographic Follow-up. Spine. https://doi.org/10.1097/BRS.0b013e3181cd9ee5

Mølhave, T., Agarwal, P. K., Arge, L. A. & Revsbæk, M. (2010). Scalable Algorithms for Large High-Resolution Terrain Data. I L. Liao (red.), Proceedings of the 1st International Conference and Exhibition on Computing for Geospatial Research & Application. COM.Geo '10 (s. Article No.: 20). Association for Computing Machinery. https://doi.org/10.1145/1823854.1823878

Kristensen, M. D. (2010). Scavenger: Transparent Development of Efficient Cyber Foraging Applications. I IEEE International Conference on Pervasive Computing and Communications (PerCom 2010). Proceedings (s. 217-226). IEEE. https://doi.org/10.1109/PERCOM.2010.5466972

Kristensen, M. D. & Bouvin, N. O. (2010). Scheduling and development support in the Scavenger cyber foraging system. Pervasive and Mobile Computing, 6(6), 677-692. https://doi.org/10.1016/j.pmcj.2010.07.004

Evangelista, S. & Kristensen, L. M. (2010). Search-Order Independent State Caching. Lecture Notes in Computer Science, 6550, 21-41. https://doi.org/10.1007/978-3-642-18222-8_2

Ernst, E. (2010). Secret Valley. Lecture Notes in Computer Science, 6183, 379. https://doi.org/10.1007/978-3-642-14107-2_18

Damgård, I. B. & Keller, M. (2010). Secure Multiparty AES. Lecture Notes in Computer Science, 6052, 367-374. https://doi.org/10.1007/978-3-642-14577-3_31

Viser resultater 3351 til 3400 ud af 6083

Forrige