Publikationer

Søg publikationer fra Institut for Datalogi

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

Brynskov, M., Bermúdez, J. C. C., Fernández, M., Korsgaard, H., Mulder, I., Piskorek, K., Rekow, L. & de Waal, M. (2014). Urban Interaction Design: Towards City Making. Urban IxD Booksprint. http://static1.squarespace.com/static/50f5c859e4b083caad2ed6a0/t/5395d6a5e4b0fc0456d8d5a3/1402328741769/UrbanIxD_towardsCityMaking.pdf

Radaelli, L., Moses, Y. & Jensen, C. S. (2014). Using cameras to improve Wi-Fi based indoor positioning. I D. Pfoser & K.-J. Li (red.), Web and Wireless Geographical Information Systems: 13th International Symposium, W2GIS 2014, Seoul, South Korea, May 29-30, 2014. Proceedings (s. 166-183). Springer VS. https://doi.org/10.1007/978-3-642-55334-9-11

Yang, B., Kaul, M. & Jensen, C. S. (2014). Using Incomplete Information for Complete Weight Annotation of Road Networks. I E E E Transactions on Knowledge & Data Engineering, 26(5), 1267-1279. https://doi.org/10.1109/TKDE.2013.89

Winge, K., Haugaard, R. & Merritt, T. R. (2014). VAL: Visually Augmented Laser cutting to enhance and support creativity. I IEEE International Symposium on Mixed and Augmented Reality - Media, Arts, Social Science, Humanities and Design, ISMAR 2014, Proceedings (s. 31-34). Artikel 6935435 IEEE. https://doi.org/10.1109/ISMAR-AMH.2014.6935435

Sørensen, T. S., Mosegaard, J., Kislinskiy, S. & Greil, G. (2014). Virtual Surgery in Congenital Heart Disease. I F. Saremi (red.), Cardiac CT and MR for Adult Congenital Heart Disease (s. 515-523). Springer. https://doi.org/10.1007/978-1-4614-8875-0_23

Stenfeldt, L. & Grønbæk, K. (2014). Visions of an interactive Utzon Archive: Tangible, visual and interactive experiences of Utzon works . I Utzon Symposium What would Utzon do Now?: What would Utzon do Now? http://www.be.unsw.edu.au/sites/default/files/36.%20Liselott%20Stenfeldt%20and%20Kaj%20Grønbæk%20-%20Visions%20of%20an%20interactive%20Utzon%20Archive.pdf

Klokmose, C. N., Korn, M. & Blunck, H. (2014). WiFi proximity detection in mobile web applications. I EICS 2014 - Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (s. 123-128). Association for Computing Machinery. https://doi.org/10.1145/2607023.2610281

Kejlberg-Rasmussen, C., Kopelowitz, T., Pettie, S. & Porat, E. (2014). Word-packing Algorithms for Dynamic Connectivity and Dynamic Sets. (1407.6755v1 udg.) arxiv.org. http://arxiv.org/abs/1407.6755v1

Dalgaard, L. G., Grönvall, E. & Verdezoto, N. (2013). Accounting for Medication Particularities: Designing for Everyday Medication Management. I V. Osman, A. Campbell & P. Lukowicz (red.), The 7th International Conference on Pervasive Computing Technologies for Healthcare (s. 137-144). IEEE. https://doi.org/10.4108/pervasivehealth.2013.252058

Dupont-Dupuis, F., Fawzi, O. & Wehner, S. (2013). Achieving the Limits of the Noisy-Storage Model Using Entanglement Sampling. I R. Canetti & J. A. Garay (red.), Advances in Cryptology – CRYPTO 2013: 33rd Annual Conference. Proceedings, Part II (s. 326-343 ). Springer VS. https://doi.org/10.1007/978-3-642-40084-1_19

Houben, S., Bardram, J. E., Vermeulen, J., Luyten, K. & Coninx, K. (2013). Activity-centric Support for Ad Hoc Knowledge Work: A Case Study of Co-activity Manager. Unspecified journal, 2263-2272. https://doi.org/10.1145/2470654.2481312

Chan, T. M. & Wilkinson, B. T. (2013). Adaptive and Approximate Orthogonal Range Counting. I S. Khanna (red.), Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2013 (s. 241-251). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973105.18

Kalkofen, D., Veas, E., Zollmann, S., Steinberger, M. & Schmalstieg, D. (2013). Adaptive ghosted views for Augmented Reality. I 2013 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2013 (s. 1-9). Artikel 6671758 https://doi.org/10.1109/ISMAR.2013.6671758

Schulz, H.-J., Nocke, T., Heitzler, M. & Schumann, H. (2013). A Design Space of Visualization Tasks. IEEE Transactions on Visualization and Computer Graphics, 19(12), 2366-2375. https://doi.org/10.1109/TVCG.2013.120

Zhu, F., Zhang, Z. & Qu, Q. (2013). A direct mining approach to efficient constrained graph pattern discovery. Association for Computing Machinery. Special Interest Group on Management of Data. International Conference Proceedings, 821-832. https://doi.org/10.1145/2463676.2463723

Hansen, T. D., Ibsen-Jensen, R. & Miltersen, P. B. (2013). A Faster Algorithm for Solving One-Clock Priced Timed Games. I P. R. D*Argenio & H. Melgratti (red.), CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings (s. 531-545). Springer VS. https://doi.org/10.1007/978-3-642-40184-8_37

Schulz, H.-J., Akbar, Z. & Maurer, F. (2013). A generative layout approach for rooted tree drawings. I S. Carpendale, W. Chen & S. Hong (red.), Proceedings of the IEEE Pacific Visualization Symposium PacificVis (s. 225-232). IEEE. https://doi.org/10.1109/PacificVis.2013.6596149

Tshagharyan, G. & Schulz, H.-J. (2013). A Graph-based Overview Visualization for Data Landscapes. Computer Science and Information Technology, 1(3), 225-232. http://www.hrpub.org/journals/article_info.php?aid=672

Alexander, C., Moeslund, J. E., Bøcher, P. K., Arge, L. & Svenning, J.-C. (2013). Airborne laser scanner (LiDAR) proxies for understory light conditions. Remote Sensing of Environment, 134, 152-161. https://doi.org/10.1016/j.rse.2013.02.028

Arge, L. & Tsirogiannis, C. (2013). Algorithms for Computing Prominence on Grid Terrains. I C. Knoblock, M. Schneider, P. Peer Kröger , J. Krumm & P. Widmayer (red.), Proceedings of the 21st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM SIGSPATIAL GIS 2013) (s. 254-263 ). Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2525314.2594229&coll=DL&dl=ACM&CFID=448731544&CFTOKEN=20995598

Sand, A., Holt, M. K., Johansen, J., Fagerberg, R., Pedersen, C. N. S., Brodal, G. S. & Mailund, T. (2013). Algorithms for Computing the Triplet and Quartet Distances for Binary and General Trees. Biology, 2(4), 1189-1209. https://doi.org/10.3390/biology2041189

Tataru, P., Sand, A., Hobolth, A., Mailund, T. & Pedersen, C. N. S. (2013). Algorithms for Hidden Markov Models Restricted to Occurrences of Regular Expressions. Biology, 2(4), 1282-1295. https://doi.org/10.3390/biology2041282

Olsen, M. & Revsbæk, M. (2013). Alliances and Bisection Width for Planar Graphs. I S. K. Ghosh & T. Tokuyama (red.), WALCOM: Algorithms and Computation: 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings (s. 206-216). Springer VS. https://doi.org/10.1007/978-3-642-36065-7_20

Simmons , R. J. & Zerny, I. (2013). A logical correspondence between natural semantics and abstract machines. I R. Peña & T. Schrijvers (red.), Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP '13 (s. 109-119 ). Association for Computing Machinery. https://doi.org/10.1145/2505879.2505899

Gutin, G., Jones, M., Scheder, D. & Yeo, A. (2013). A new bound for 3-satisfiable MaxSat and its algorithmic application. Information and Computation, 231(October), 117-124. https://doi.org/10.1016/j.ic.2013.08.008

Kohlweiss , M., Maurer , U., Onete , C., Tackmann , B. & Venturi, D. (2013). Anonymity-Preserving Public-Key Encryption: A Constructive Approach. I E. De Cristofaro & M. Wright (red.), Privacy Enhancing Technologies: 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings (s. 19-39). Springer VS. https://doi.org/10.1007/978-3-642-39077-7_2

Arge, L., Brodal, G. S., Truelsen, J. & Tsirogiannis, C. (2013). An optimal and practical cache-oblivious algorithm for computing multiresolution rasters. I Algorithms – ESA 2013: 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings (s. 61-72). Springer VS. https://doi.org/10.1007/978-3-642-40450-4_6

Afshani, P., Agarwal, P. K., Arge, L., Larsen, K. G. & Phillips, J. (2013). (Approximate) Uncertain Skylines. Theory of Computing Systems, 52(3), 342-366. https://doi.org/10.1007/s00224-012-9382-7

Frederiksen, S. K. S. & Miltersen, P. B. (2013). Approximating the Value of a Concurrent Reachability Game in the Polynomial Time Hierarchy. I L. Cai, S.-W. Cheng & T.-W. Lam (red.), Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (s. 457-467 ). Springer VS. https://doi.org/10.1007/978-3-642-45030-3_43

Sand, A., Pedersen, C. N. S., Mailund, T., Brodal, G. S. & Fagerberg, R. (2013). A practical O(n log² n) time algorithm for computing the triplet distance on binary trees. B M C Bioinformatics, 14(Suppl 2), S18. https://doi.org/10.1186/1471-2105-14-S2-S18

Mottin, D., Marascu, A., Basu Roy, S., Das, G., Palpanas, T. & Velegrakis, Y. (2013). A Probabilistic Optimization Framework for the Empty-Answer Problem. PVLDB, 6(14).

Christensen, H. B. & Hansen, K. M. (2013). Architectural Slicing: Towards Automatic Harvesting of Architectural Prototypes. I K. Drira (red.), Software Architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings (s. 316-319 ). Springer VS. https://doi.org/10.1007/978-3-642-39031-9_28

Toft, T. (2013). A Secure Priority Queue; or: On Secure Datastructures from Multiparty Computation.. Afhandling præsenteret på International Conference on Information Security and Cryptology, Seoul, Sydkorea. http://www.wikicfp.com/cfp/program?id=1397&s=ICISC&f=International%20Conference%20on%20Information%20Security%20and%20Cryptology

Grönvall, E. (2013). Aspects of family-managed care at home. Afhandling præsenteret på Workshop at CSCW at the Boundary of Work and Life , Paphos, Cypern. http://cscwworkandlife.wordpress.com/

Brodal, G. S. (2013). A Survey on Priority Queues. I A. Brodnik, A. López-Ortiz, V. Raman & A. Viola (red.), Space-Efficient Data Structures, Streams, and Algorithms: Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday (s. 150-163 ). Springer VS. https://doi.org/10.1007/978-3-642-40273-9_11

Zerny, I. & Danvy, O. (2013). A synthetic operational account of call-by-need evaluation. I R. Peña & T. Schrijvers (red.), Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP '13 (s. 97-108). Association for Computing Machinery. https://doi.org/10.1145/2505879.2505898

Nielsen, M. B. & Østerby, O. (2013). A Two-Continua Approach to Eulerian Simulation of Water Spray. A C M Transactions on Graphics, 32(4), Artikel Article No. 67 . https://doi.org/10.1145/2461912.2461918

Jensen, C. S., Prasad, M. R. & Møller, A. (2013). Automated Testing with Targeted Event Sequence Generation. I M. Pezzè & M. Harman (red.), International Symposium on Software Testing and Analysis (ISSTA), 2013: Proceedings (s. 67-77). Association for Computing Machinery. https://doi.org/10.1145/2483760.2483777

Schulz, H.-J., Hadlak, S. & Schumann, H. (2013). A Visualization Approach for Cross-level Exploration of Spatiotemporal Data. I S. Lindstaedt & M. Granitzer (red.), Proceedings of the International Conference on Knowledge Management and Knowledge Technologies (i-Know'13) Artikel 2 Association for Computing Machinery. https://doi.org/10.1145/2494188.2494199

Madsen, O. L. (2013). Back to the future: SIMULA style concurrent objects. I AGERE! 2013 - Proceedings of the 2013 ACM Workshop on Programming Based on Actors, Agents, and Decentralized Control (s. 145-146). Association for Computing Machinery, Inc.. https://doi.org/10.1145/10.1145/2541329.2541347

Grönvall, E. & Verdezoto, N. (2013). Beyond Self-Monitoring: Understanding Non-functional Aspects of Home-based Healthcare Technology. I F. Mattern & S. Santini (red.), Proceedings of the 2013 ACM Conference on Pervasive and Ubiquitous Computing, UbiComp '13 (s. 587-596 ). Association for Computing Machinery. https://doi.org/10.1145/2493432.2493495

Dalsgaard, P., Halskov, K. & Klokmose, C. N. (2013). Blended Interaction Spaces for Collaborative Design. Afhandling præsenteret på CHI Workshop , Paris, Frankrig. http://hci.uni-konstanz.de/downloads/blend13_dalsgaard.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

Bødker, S. (2013). Boundaries, work and the rest. Afhandling præsenteret på Workshop at CSCW at the Boundary of Work and Life , Paphos, Cypern. http://cscwworkandlife.wordpress.com/

Damgård, I. B., Faust, S., Mukherjee, P. & Venturi, D. (2013). Bounded Tamper Resilience: How to Go beyond the Algebraic Barrier. I K. Sako & P. Sarkar (red.), Advances in Cryptology - ASIACRYPT 2013: 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II (s. 140-160 ). Springer VS. https://doi.org/10.1007/978-3-642-42045-0_8

Kaul, M., Yang, B. & Jensen, C. S. (2013). Building Accurate 3D Spatial Networks to Enable Next Generation Intelligent Transportation Systems. I IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1 ) (s. 137 - 146 ). IEEE. https://doi.org/10.1109/MDM.2013.24

Bødker, S. & Grönvall, E. (2013). Calendars: Time coordination and overview in families and beyond. I O. W. Bertelsen, L. Ciolfi, M. A. Grasso & G. A. Papadopoulos (red.), ECSCW 2013 : Proceedings of the 13th European Conference on Computer Supported Cooperative Work, 2013 (s. 63-81). Springer VS. https://doi.org/10.1007/978-1-4471-5346-7_4

Bossen, C., Christensen, L. R., Grönvall, E. & Vestergaard, L. S. (2013). CareCoor: Augmenting the Coordination of Cooperative Home Care Work. International Journal of Medical Informatics, 82(5), e189-e199. https://doi.org/10.1016/j.ijmedinf.2012.10.005

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

Sükösd, Z., Knudsen, B., Anderson, J. WJ., Novák, A., Kjems, J. & Pedersen, C. N. S. (2013). Characterising RNA secondary structure space using information entropy. B M C Bioinformatics, 14 (Suppl 2), 1-9. Artikel S22. https://doi.org/10.1186/1471-2105-14-S2-S22

Viser resultater 2201 til 2250 ud af 2970

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series