Publikationer

Søg publikationer fra Institut for Datalogi

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

Hansen, K. A., Koucky, M., Lauritzen, N. & Tsigaridas, E. (2011). Separation bounds for real roots of polynomial systems. Afhandling præsenteret på MEGA 2011: Effective Methods in Algebraic Geometry, Stockholm, Sverige.

Gjerlufsen, T., Klokmose, C. N., Eagan, J., Pillias, C. & Beaudouin-Lafon, M. (2011). Shared Substance: Developing Flexible Multi-Surface Applications. I D. S. Ten, S. Amershi, B. Begole, W. A. Kellogg & M. Tungare (red.), Proceedings of the International Conference on Human Factors in Computing Systems, CHI 2011 (s. 3383-3392). Association for Computing Machinery. https://doi.org/10.1145/1978942.1979446

Chan, S.-H., Lam, T.-W., Lee, L. K., Liu, C.-M. & Ting, H.-F. (2011). Sleep Management on Multiple Machines for Energy and Flow Time. Lecture Notes in Computer Science, 6755, 219-231. https://doi.org/10.1007/978-3-642-22006-7_19

Ibsen-Jensen, R. & Miltersen, P. B. (2011). Solving simple stochastic games with few coin toss positions. http://arxiv.org/abs/1112.5255

Goodrich, M. T., Sitchinava, N. & Zhang, Q. (2011). Sorting, Searching, and Simulation in the MapReduce Framework. Lecture Notes in Computer Science, 7074, 374-383. https://doi.org/10.1007/978-3-642-25591-5_39

Goodrich, M. T., Sitchinava, N. & Zhang, Q. (2011). Sorting, Searching, and Simulation in the MapReduce Framework. http://arxiv.org/pdf/1101.1902.pdf

Lu, H., Yang, B. & Jensen, C. S. (2011). Spatio-temporal joins on symbolic indoor tracking data. Proceedings of the International Conference on Data Engineering, 816-827. https://doi.org/10.1109/ICDE.2011.5767902

Dalsgaard, B., Magård, E., Fjeldså, J., Martín González, A. M., Rahbek, C., Olesen, J. M., Ollerton, J., Alarcón, R., Cardoso Araujo, A., A. Cotton, P., Lara, C., Graco Machado, C., Sazima, I., Sazima, M., Timmermann, A., Watts, S., Sandel, B. S., J. Sutherland, W. & Svenning, J.-C. (2011). Specialization in Plant-Hummingbird Networks Is Associated with Species Richness, Contemporary Precipitation and Quaternary Climate-Change Velocity. P L o S One, 6(10). https://doi.org/10.1371/journal.pone.0025891

Hoggan, E., Trendafilov, D., Ahmaniemi, T. & Raisamo, R. (2011). Squeeze vs. tilt: a comparative study using continuous tactile feedback. I CHI'11 Extended Abstracts on Human Factors in Computing Systems (s. 1309-1314)

Kortbek, K. J. (2011). Staging as a Holistic Perspective on Interaction Design for Public Environments. Department of Computer Science, Aarhus University.

Micenkova, B. & van Beusekom, J. (2011). Stamp Detection in Color Document Images. I 2011 International Conference on Document Analysis and Recognition (ICDAR) (s. 1125-1129). IEEE Computer Society Press. https://doi.org/10.1109/ICDAR.2011.227

Hansen, T. D., Miltersen, P. B. & Zwick, U. (2011). Strategy iteration is strongly polynomial for 2-player turn-based stochastic games with a constant discount factor. I Proceedings of the Second Symposium on Innovations in Computer Science (s. 253-263). Tsinghua University Press, Beijing. http://conference.itcs.tsinghua.edu.cn/ICS2011/content/papers/7.html

Friedmann, O., Hansen, T. D. & Zwick, U. (2011). Subexponential lower bounds for randomized pivoting rules for the simplex algorithm. I Proceedings of the 43rd annual ACM symposium on Theory of computing (s. 283-292). Association for Computing Machinery. https://doi.org/10.1145/1993636.1993675

Damgård, I. B., Funder, J. L., Nielsen, J. B. & Salvail, L. (2011). Superposition Attacks on Cryptographic Protocols. http://arxiv.org/abs/1108.6313v1

Balslev, H., Arge, L. A., Svenning, J.-C., Schierup, M. H. & Jensen, C. S. (red.) (2011). Symposium on Biodiversity in the Silicon Age - Abstracts. The Royal Danish Academy of Sciences and Letters.

Faust, S., Pietrzak, K. & Venturi, D. (2011). Tamper-Proof Circuits : : How to Trade Leakage for Tamper-Resilience. Lecture Notes in Computer Science, 6755, 391-402 . https://doi.org/10.1007/978-3-642-22006-7_33

Petersen, M. G. & Rasmussen, M. K. (2011). The Ambiguity of Shape Changing Interfaces. Afhandling præsenteret på Organic User Interface Workshop, Funchal, Portugal.

Hansen, K. A., Miltersen, P. B. & Ibsen-Jensen, R. (2011). The complexity of solving reachability games using value and strategy iteration. Lecture Notes in Computer Science, 6651, 77-90. https://doi.org/10.1007/978-3-642-20712-9_7

Bender, M. A., Brodal, G. S., Fagerberg, R., Ge, D., He, S., Hu, H., Iacono, J. & López-Ortiz, A. (2011). The Cost of Cache-Oblivious Searching. Algorithmica, 61(2), 463-505. https://doi.org/10.1007/s00453-010-9394-0

Fogtmann, M. H. & Kinch, S. (2011). The design researcher in quandary: the conflicting roles of being both a designer and a design researcher. I Procedings of the Second Conference on Creativity and Innovation in Design (s. 193-196)

Schulz, H.-J., Hadlak, S. & Schumann, H. (2011). The Design Space of Implicit Hierarchy Visualization: A Survey. IEEE Transactions on Visualization and Computer Graphics, 17(4), 393-411. https://doi.org/10.1109/TVCG.2010.79

Kaaresoja, T., Anttila, E. & Hoggan, E. (2011). The effect of tactile feedback latency in touchscreen interaction. I World Haptics Conference (WHC), 2011 IEEE (s. 65-70)

Bødker, S. & Klokmose, C. N. (2011). The Human-Artifact Model: An Activity Theoretical Approach to Artifact Ecologies. Human-Computer Interaction, 26(4), 315-371. https://doi.org/10.1080/07370024.2011.626709

Sandel, B. S., Arge, L. A., Dalsgaard, B., Davies, R., Gaston, K., Sutherland, B. & Svenning, J.-C. (2011). The influence of Late Quaternary climate-change velocity on species endemism. Science, 334, 660-664.

Jensen, C. S., Li, K.-J. & Winter, S. (2011). The other 87%: a report on The Second International Workshop on Indoor Spatial Awareness (San Jose, California - November 2, 2010). SIGSPATIAL Special, 3(1), 10-12. https://doi.org/10.1145/1966478.1966483

Corry, A. V. & Søndergaard, B. D. (2011). The Teaching Portfolio. Developing Good Teachers and Scientists, 1.

Sidlauskas, D., Ross, K. A., Jensen, C. S. & Saltenis, S. (2011). Thread-Level Parallel Indexing of Update Intensive Moving-Object Workloads. Lecture Notes in Computer Science, 6849, 186-204. https://doi.org/10.1007/978-3-642-22922-0_12

Danvy, O. & Zerny, I. (2011). Three Syntactic Theories for Combinatory Graph Reduction. Lecture Notes in Computer Science, 6564, 1-20. https://doi.org/10.1007/978-3-642-20551-4_1

Woodruff, D. P. & Zhang, Q. (2011). Tight Bounds for Distributed Functional Monitoring. http://arxiv.org/abs/1112.5153

Gál, A., Hansen, K. A., Koucký, M., Pudlák, P. & Viola, E. (2011). Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates. Electronic Colloquium on Computational Complexity, 18(150). http://eccc.hpi-web.de/report/2011/150/

Hansen, M. T. (2011). TinyDebug: Multi-Purpose Passive Debugging Framework for Embedded Wireless Systems. D A I M I P B, (595).

Hansen, M. T. & Kusy, B. (2011). TinyInventor: A Holistic Approach to Sensor Network Application Development. Afhandling præsenteret på Extending the Internet to Low power and Lossy Networks. IP+SN 2011 , Chicago, IL, USA.

Asharov, G., Canetti, R. & Hazay, C. (2011). Towards a Game Theoretic View of Secure Computation. Lecture Notes in Computer Science, 426-445. https://doi.org/10.1007/978-3-642-20465-4_24

Hansen, K. M., Ingstrup, M., Kyng, M. & Olsen, J. W. (2011). Towards a Software Ecosystem of Healthcare Services. I Proceedings of the 3rd International Workshop on Infrastructures for Healthcare: Global Healthcare (s. 27-30) http://www.itu.dk/people/lrc/ProcInfraHealth2011.PDF

Brodal, G. S., Gfeller, B., Jørgensen, A. G. & Sanders, P. (2011). Towards optimal range medians. Theoretical Computer Science, 412(24), 2588-2601. https://doi.org/10.1016/j.tcs.2010.05.003

Jeung, H., Yiu, M. L. & Jensen, C. S. (2011). Trajectory Pattern Mining. I Y. Zheng & X. Zhou (red.), Computing with Spatial Trajectories (s. 143-177). Springer. https://doi.org/10.1007/978-1-4614-1629-6

Schulz, H.-J. (2011). Treevis.net: A Tree Visualization Reference. IEEE Computer Graphics and Applications, 31(6), 11-15. https://doi.org/10.1109/MCG.2011.103

Hansen, M. T., Jurdak, R. & Kusy, B. (2011). Unified broadcast in sensor networks. I 10th International Conference on Information Processing in Sensor Networks (IPSN), 2011 (s. 306-317). IEEE Computer Society Press. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5779047

Strzebonski, A. & Tsigaridas, E. (2011). Univariate real root isolation in an extension field. I Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation (s. 321-328). Association for Computing Machinery. https://doi.org/10.1145/1993886.1993934

Kjærgaard, M. B. & Blunck, H. (2011). Unsupervised Power Profiling for Mobile Devices. Afhandling præsenteret på The 8th Annual International Conference on Mobile and Ubiquitous Systems:Computing, Networking and Services, København, Danmark.

Bødker, S. (2011). Use is everywhere and changing: Analysis and design with the Human-Artifact Model. I Proceedings of the 29th Annual European Conference on Cognitive Ergonomics (s. 3-10). Association for Computing Machinery. https://doi.org/10.1145/2074712.2074714

Sandel, B. S., Corbin, J. & Krupa, M. (2011). Using plant functional traits to guide restoration: A case study in California coastal grassland. Ecosphere, 2(2), 1-16.

Petersen, M. G. & Rasmussen, M. K. (2011). Value representations: a value based dialogue tool. I making Design Matter! : Proceedings Nordes '11 : the Nordic 4th Nordic Design Research Conference (s. 284-287). School of Art & Design, Aalto University . http://ocs.sfu.ca/nordes/index.php/nordes/2011/paper/view/445

Kristensen, T. G. (2011). Virtual screening algorithms. Department of Computer Science, Aarhus University.

Lex, A., Schulz, H.-J., Streit, M., Partl, C. & Schmalstieg, D. (2011). VisBricks: Multiform Visualization of Large, Inhomogeneous Data. IEEE Transactions on Visualization and Computer Graphics, 17(12), 2291-2300. https://doi.org/10.1109/TVCG.2011.250

Schulz, H.-J., Uhrmacher, A. M. & Schumann, H. (2011). Visual Analytics for Stochastic Simulation in Cell Biology. I S. Lindstaedt & M. Granitzer (red.), Proceedings of the Special Track on Theory and Applications of Visual Analytics (TAVA) of the i-Know'11 Conference Artikel 48 Association for Computing Machinery. https://doi.org/10.1145/2024288.2024345

Moad, S., Hansen, M. T., Jurdak, R., Kusy, B. & Bouabdallah, N. (2011). WETX: A Weighted Expected Transmission Routing Metric for Diversity in Wireless Sensor Networks. I Wireless Days (WD), 2011 IFIP (s. 1-7). IEEE. https://doi.org/10.1109/WD.2011.6098162

Borchorst, N. G. & Bødker, S. (2011). “You probably shouldn’t give them too much information” – Supporting Citizen-Government Collaboration. I S. Bødker, N. O. Bouvin, W. Lutters, V. Wulf & L. Ciolfi (red.), ECSCW 2011: Proceedings of the 12th European Conference on Computer Supported Cooperative Work (s. 173-192). Springer. https://doi.org/10.1007/978-0-85729-913-0_10

Church, K., Hoggan, E. & Oliver, N. (2010). A study of mobile mood awareness and communication through MobiMood. I Proceedings of the 6th Nordic Conference on Human-Computer Interaction: Extending Boundaries (s. 128-137)

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2010). A tree-based method for the rapid screening of chemical fingerprints. Algorithms for Molecular Biology, 5(9). https://doi.org/10.1186/1748-7188-5-9

Viser resultater 2851 til 2900 ud af 3004

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series