Publikationer

Søg publikationer fra Institut for Datalogi

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

Agarwal, P. K., Arge, L., Kaplan, H., Molad, E., Tarjan, R. E. & Yi, K. (2012). An Optimal Dynamic Data Structure for Stabbing-Semigroup Queries. S I A M Journal on Computing, 41(1), 104–127. https://doi.org/10.1137/10078791X

Assent, I., Kranen, P., Baldauf, C. & Seidl, T. (2012). AnyOut : Anytime Outlier Detection Approach for High-dimensional Data. Lecture Notes in Computer Science, 7238, 228-242. https://doi.org/10.1007/978-3-642-29038-1_18

Magnani, M., Assent, I. & Mortensen, M. L. (2012). Anytime skyline query processing for interactive systems. Afhandling præsenteret på International Workshop on Ranking in Databases, Istanbul, Tyrkiet. http://chenwsdb.fulton.ad.asu.edu/DBRank2012/

Sitchinava, N. & Zeh, N. (2012). A parallel buffer tree. I Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA (s. 214-223). Association for Computing Machinery. https://doi.org/10.1145/2312005.2312046

Hachisuka, T., Pantaleoni, J. & Jensen, H. W. (2012). A Path Space Extension for Robust Light Transport Simulation. A C M Transactions on Graphics, 31(6), Article 191. https://doi.org/10.1145/2366145.2366210

Cao, X., Cong, G., Cui, B., Jensen, C. S. & Yuan, Q. (2012). Approaches to Exploring Category Information for Question Retrieval in Community Question-Answer Archives. A C M Transactions on Information Systems, 30(2), Article No. 7 . https://doi.org/10.1145/2180868.2180869

Eickmeyer, K., Hansen, K. A. & Verbin, E. (2012). Approximating the minmax value of 3-player games within a constant is as hard as detecting planted cliques. Electronic Colloquium on Computational Complexity, (TR12-25). http://eccc.hpi-web.de/report/2012/025/

Eickmeyer, K., Hansen, K. A. & Verbin, E. (2012). Approximating the minmax value of Three-player games within a constant is as hard as detecting planted cliques. Lecture Notes in Computer Science, 7615, 96-107. https://doi.org/10.1007/978-3-642-33996-7_9

Midtgaard, J., Adams, M. D. & Matthew , M. (2012). A Structural Soundness Proof for Shivers's Escape Technique: A Case for Galois Connections . Lecture Notes in Computer Science, 7460, 352-369. https://doi.org/10.1007/978-3-642-33125-1_24

Wagner, S. R., Ahrendt, P., Toftegaard, T. S. & Bertelsen, O. W. (2012). Audio Context Classification for Determining Blood Pressure Self-Measurement Adherence. 105 - 114. Afhandling præsenteret på IADIS International Conference on e-Health , Lisbon, Portugal. http://www.conferencealerts.com/show-event?id=97140

Jurik, B. A. & Nielsen, J. A. S. (2012). Audio Quality Assurance : An Application of Cross Correlation. I Proceedings of the 9th International Conference on Preservation of Digital Objects, iPRES (s. 144-149). Digital Curation Institute, University of Toronto. http://www.scape-project.eu/publication/audio-quality-assurance

Møller, A. & Schwarz, M. (2012). Automated Detection of Client-State Manipulation Vulnerabilities. I M. Glinz, G. Murphy & M. Pezzè (red.), 34th International Conference on Software Engineering (ICSE 2012) : Proceedings (s. 749 - 759 ). IEEE Communications Society. https://doi.org/10.1109/ICSE.2012.6227143

Hansen, M. T., Kusy, B., Jurdak, R. & Langendoen, K. (2012). AutoSync : Automatic duty-cycle control for synchronous low-power listening. I 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON) (s. 139 - 147 ). IEEE Signal Processing Society. https://doi.org/10.1109/SECON.2012.6275770

Johnson, E. & Tschudi, D. (2012). Baseline effects on carbon footprints of biofuels: The case of wood. Environmental Impact Assessment Review. https://doi.org/10.1016/j.eiar.2012.06.005

Andersen, E. S., Muren, L., Sørensen, T. S., Noe, K. Ø., Thor, M., Petersen, J. B. B., Høyer, M., Bentzen, L. N. & Tanderup, K. (2012). Biomechanical deformable registration based dose accumulation vs. dose summation for the bladder. Radiotherapy & Oncology, 103(Supplement 1).

Andersen, E., Muren, L., Sørensen, T. S., Noe, K. Ø., Thor, M., Petersen, J. B. B., Høyer, M., Bentzen, L. N. & Tanderup, K. (2012). Bladder dose accumulation based on a biomechanical deformable image registration algorithm in volumetric modulated arc therapy for prostate cancer. Physics in Medicine and Biology, 57(21), 7089-7100. https://doi.org/10.1088/0031-9155/57/21/7089

Borchorst, N. G., McPhail, B., Smith, K. L., Ferenbok, J. & Clement, A. (2012). Bridging Identity Gaps : Supporting Identity Performance in Citizen Service Encounters. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 21(6), 555-590 . https://doi.org/10.1007/s10606-012-9163-5

Urazimbetova, S. & Kyng, M. (2012). Bridging the Patient Empowerment Gap of National Healthcare Services with Quick Response Code. Global Telemedicine and eHealth Updates : Knowledge Resources, 5, 444-448. http://www.medetel.lu/download/2012/Med-e-Tel_2012_Global_Telemedicine_and_eHealth_Updates_Volume_5_Contents.pdf

Kejlberg-Rasmussen, C. & Brodal, G. S. (2012). Cache-Oblivious Implicit Predecessor Dictionaries with the Working-Set Property. Leibniz International Proceedings in Informatics, 14, 112--123. https://doi.org/10.4230/LIPIcs.STACS.2012.112

Sergey, I., Midtgaard, J. & Clarke, D. (2012). Calculating Graph Algorithms for Dominance and Shortest Path. Lecture Notes in Computer Science, 7342, 132-156. https://doi.org/10.1007/978-3-642-31113-0_8

Asharov, G. & Orlandi, C. (2012). Calling Out Cheaters : Covert Security with Public VerifiabilitySecurity. Lecture Notes in Computer Science, 7658, 681-698 . https://doi.org/10.1007/978-3-642-34961-4_41

Brody, J. E., Chakrabarti, A., McGregor, A. & Kondapally, R. (2012). Certifying Equality With Limited Interaction. Electronic Colloquium on Computational Complexity, (TR12-153 ). http://eccc.hpi-web.de/report/2012/153/

Kjærgaard, M. B. & Nurmi, P. (2012). Challenges for Social Sensing using WiFi Signals. I Proceedings of the 1st ACM workshop on Mobile systems for computational social science, MCSS '12 (s. 17-21 ). Association for Computing Machinery. https://doi.org/10.1145/2307863.2307869

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2012). Challenges in Blood Pressure Self-Measurement. International Journal of Telemedicine and Applications, 2012. https://doi.org/10.1155/2012/437350

Sandel, B. S. & Dangremond, E. (2012). Climate change and the invasion of California by grasses. Global Change Biology, 18(1), 277.

Assent, I. (2012). Clustering high dimensional data. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery, 2(4), 340-350. https://doi.org/10.1002/widm.1062

Houben, S., Vermeulen, J., Luyten, K. & Coninx, K. (2012). Co-activity Manager: Integrating Activity-based Collaboration into the Desktop Interface. Unspecified journal, 398-401. https://doi.org/10.1145/2254556.2254633

Damgård, I. B. & Zakarias, S. N. H. (2012). Constant-Overhead Secure Computation of Boolean Circuits using Preprocessing. Cryptology ePrint Archive. http://eprint.iacr.org/2012/512

Pastro, V. (2012). Construction of rational elliptic surfaces with Mordell-Weil rank four. Commentarii Mathematici Universitatis Sancti Pauli, 61(1), 29-42.

Wagner, S. R., Rasmussen, N. H., Ahrendt, P., Toftegaard, T. S. & Bertelsen, O. W. (2012). Context classification during blood pressure self-measurement using the sensor seat and the audio classification device. I The 6th International Conference on Pervasive Computing Technologies for Healthcare and Workshops (s. 201 - 202 ). ICST, The Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6240390

Chan, H.-L., Lam, T.-W., Lee, L. K. & Ting, H.-F. (2012). Continuous monitoring of distributed data streams over a time-based sliding window. Algorithmica, 62(3-4), 1088-1111 . https://doi.org/10.1007/s00453-011-9506-5

Graham, C., Muthukrishnan, S., Yi, K. & Zhang, Q. (2012). Continuous sampling from distributed streams: Article No.: 10. Journal of the ACM, 59(2). https://doi.org/10.1145/2160158.2160163

Rasmusson, A. (2012). Contributions to computational stereology and parallel programming. Department of Computer Science, Aarhus University.

Midtgaard, J. (2012). Control-flow analysis of functional programs. A C M Computing Surveys, 44(3), 10:1 - 10:33. https://doi.org/10.1145/2187671.2187672

Midtgaard, J. & Jensen, T. P. (2012). Control-flow analysis of function calls and returns by abstract interpretation. Information and Computation, 211, 49-76. https://doi.org/10.1016/j.ic.2011.11.005

Rossi, L. & Magnani, M. (2012). Conversation practices and network structure in Twitter. I Proceedings of the Sixth International Conference on Weblogs and Social Media (s. 563-566). AAAI Press. http://www.aaai.org/ocs/index.php/ICWSM/ICWSM12/paper/view/4634

Magnani, M., Montesi, D. & Rossi, L. (2012). Conversation Retrieval from Microblogging Sites. Information Retrieval, 15(3-4), 354-372. https://doi.org/10.1007/s10791-012-9189-9

Li , X., Karras, P. & Jensen, C. S. (2012). Cooperative Scalable Moving Continuous Query Processing. I Proceedings of the 13th International Conference on Mobile Data Management, MDM (s. 69 - 78 ). IEEE Press. https://doi.org/10.1109/MDM.2012.20

Hoggan, E. (2012). Crossmodal audio and tactile interaction with mobile touchscreens: Thesis Summary. I Social and Organizational Impacts of Emerging Mobile Devices: Evaluating Use (s. 249-264). IGI global.

Funder, J. L. (2012). Cryptography with Quantum Mechanics. Department of Computer Science, Aarhus University.

Cujia, K., Wirz, M., Kjærgaard, M. B., Roggen, D. & Tröster, G. (2012). DactyLoc : A minimally geo-referenced WiFi+GSM-fingerprint-based localization method for positioning in urban spaces. I C. Rizos, A. Dempster, B. Li & T. Gallagher (red.), Proceedings of the 3rd International Conference on Indoor Positioning and Indoor Navigation (IPIN), 2012 (s. 1-9). IEEE. https://doi.org/10.1109/IPIN.2012.6418923

Jensen, C. S. (2012). Data management on the spatial web. Proceedings of the VLDB Endowment, 5(12), 1696-1696 . http://dl.acm.org/citation.cfm?id=2367504

Chen, S., Verbin, E. & Yu, W. (2012). Data Structure Lower Bounds on Random Access to Grammar-Compressed Strings. http://arxiv.org/abs/1203.1080

Cramer, R., Damgård, I. B., Kiltz, E., Zakarias, S. N. H. & Zottarel, A. (2012). DDH-Like Assumptions Based on Extension Rings. Lecture Notes in Computer Science, 7293, 644-661 . https://doi.org/10.1007/978-3-642-30057-8_38

Verdezoto, N. & Grönvall, E. (2012). Designing a Tablet Touch-Screen Interface for Older Adults. Afhandling præsenteret på How to Design Touch Interfaces for and with Older Adults: Identification of Challenges and Opportunities, Copenhagen, Danmark. http://workshops.icts.sbg.ac.at/NordiCHI2012/papers/Verdezoto_et_al.pdf

Bertelsen, O. W. & Kramp, G. (2012, maj 5). Designing for Anxiety Therapy, Bridging Clinical and Non-Clinical. Association for Computing Machinery. http://www.ics.uci.edu/~yunanc/chi2012health/

Grønbæk, K., Kortbek, K. J., Christensen, C. M., Nielsen, J. & Stenfeldt, L. (2012). Designing Playful Interactive Installations for Urban Environments - The SwingScape Experience. Lecture Notes in Computer Science, 7624, 230-245 . https://doi.org/10.1007/978-3-642-34292-9_16

Kjærgaard, M. B., Wirz, M., Roggen, D. & Tröster, G. (2012). Detecting Pedestrian Flocks by Fusion of Multi-Modal Sensors in Mobile Phones. I Proceedings of the 2012 ACM Conference on Ubiquitous Computing (s. 240-249). Association for Computing Machinery. https://doi.org/10.1145/2370216.2370256

Thomsen, P. F., Kielgast, J., Iversen, L. L., Møller, P. R., Rasmussen, M. & Willerslev, E. (2012). Detection of a Diverse Marine Fish Fauna Using Environmental DNA from Seawater Samples. PLoS One, 7(8), Artikel e41732. https://doi.org/10.1371/journal.pone.0041732

Andersson, K. O. D., Hansen, K. A., Miltersen, P. B. & Sørensen, T. B. (2012). Deterministic Graphical Games Revisited. Journal of Logic and Computation, 22(2), 165-178. https://doi.org/10.1093/logcom/exq001

Viser resultater 2751 til 2800 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series