Publikationer

Søg publikationer fra Institut for Datalogi

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

Faust, S., Mukherjee, P., Venturi, D. & Wichs, D. (2014). Efficient Non-malleable Codes and Key-Derivation for Poly-size Tampering Circuits. I P. Q. Nguyen & E. Oswald (red.), Advances in Cryptology – EUROCRYPT 2014: 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, May 11-15, 2014. Proceedings (s. 111-128 ). Springer. https://doi.org/10.1007/978-3-642-55220-5_7

Qu, Q., Liu, S., Yang, B. & Jensen, C. S. (2014). Efficient Top-k Locality Search for Co-located Spatial Web Objects. I M. Gaber & R. Zhang (red.), 15th IEEE International Conference on Mobile Data Management (MDM): Proceedings (s. 269-278 (vol.1)). IEEE Computer Society Press. https://doi.org/10.1109/MDM.2014.39

Breinbjerg, M., Fritsch, J. & Bertelsen, O. W. (2014). Ekkomaten: Critical Engagement through Auditory Participation. Afhandling præsenteret på Urban Soundscapes & Critical Citizenship, Limerick, Irland.

Kaul, M. (2014). Enabling Advanced Path-Finding on Terrains and in Spatial Networks. Department of Computer Science, Aarhus University.

Radaelli, L. (2014). Enabling Indoor Location-Based Services. Department of Computer Science, Aarhus University.

Ma, M., Yang, B. & Jensen, C. S. (2014). Enabling Time-Dependent Uncertain Eco-Weights For Road Networks. I M. A. Nascimento & M. Renz (red.), Proceedings of the 1st International ACM Workshop on Managing and Mining Enriched Geo-spatial Data: GeoRich 2014 Artikel 1 Association for Computing Machinery. https://doi.org/10.1145/2619112.2619113

Kinch, S., Grönvall, E., Petersen, M. G. & Rasmussen, M. K. (2014). Encounters on a Shape-changing Bench: Exploring atmospheres and social behaviour in situ. I A. Butz & S. Greenberg (red.), Proceedings of the 8th International Conference on Tangible, Embedded and Embodied Interaction, TEI '14 (s. 233-240 ). Association for Computing Machinery. https://doi.org/10.1145/2540930.2540947

Sand, A. (2014). Engineering of Algorithms for Hidden Markov models and Tree Distances. Department of Computer Science, Aarhus University.

Wei, Z. & Yi, K. (2014). Equivalence between priority queues and sorting in external memory. I A. S. Schulz & D. Wagner (red.), Algorithms - ESA 2014: 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings (Bind 8737 , s. 830-841). Springer. https://doi.org/10.1007/978-3-662-44777-2_68

Prentow, T. S., Blunck, H., Grønbæk, K. & Kjærgaard, M. B. (2014). Estimating Common Pedestrian Routes through Indoor Path Networks using Position Traces. I M. Gaber & R. Zhang (red.), 15th IEEE International Conference on Mobile Data Management: Proceedings (s. 43-48 (vol.1)). IEEE Press. https://doi.org/10.1109/MDM.2014.11

Thor, M., Andersen, E. S., Petersen, J. B. B., Sørensen, T. S., Noe, K. Ø., Tanderup, K., Bentzen, L., Elstrøm, U. V., Høyer, M. & Muren, L. P. (2014). Evaluation of an application for intensity-based deformable image registration and dose accumulation in radiotherapy. Acta Oncologica, 53(10), 1329-36. https://doi.org/10.3109/0284186X.2014.928742

Belazzougui, D., Brodal, G. S. & Nielsen, J. A. S. (2014). Expected linear time sorting for word size Ω(log² n log log n). I R. Ravi & I. L. Gørtz (red.), Algorithm Theory – SWAT 2014: 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings (s. 26-37). Springer VS. https://doi.org/10.1007/978-3-319-08404-6_3

Afshani, P. (2014). Fast Computation of Output-Sensitive Maxima in a Word RAM. I C. Chekuri (red.), Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms: SODA 2014; Portland, OR; United States; 5 January 2014 through 7 January 2014 (s. 1414-1423). Association for Computing Machinery. http://www.scopus.com/inward/record.url?scp=84902105500&partnerID=8YFLogxK

Frederiksen, T. K., Jakobsen, T. P. & Nielsen, J. B. (2014). Faster Maliciously Secure Two-Party Computation Using the GPU. I M. Abdalla & R. D. Prisco (red.), Security and Cryptography for Networks: 9th International Conference, SCN 2014, Amalfi, Italy, September 3-5, 2014. Proceedings (s. 358-379 ). Springer. https://doi.org/10.1007/978-3-319-10879-7_21

Brix, L., Sørensen, T. S., Berber, Y., Ries, M., Stausbøl-Grøn, B. & Ringgaard, S. (2014). Feasibility of interactive magnetic resonance imaging of moving anatomy for clinical practice. Clinical Physiology and Functional Imaging, 34(1), 32-38. https://doi.org/10.1111/cpf.12061

Jakobsen, T. P., Nielsen, J. B. & Orlandi, C. (2014). Framework for Outsourcing of Secure Computation. I G.-J. Ahn , A. Oprea & R. Safavi-Naini (red.), Proceedings of the 6th edition of the ACM Workshop on Cloud Computing Security, CCSW '14 (s. 81-92 ). Association for Computing Machinery. https://doi.org/10.1145/2664168.2664170

Zimek, A., Assent, I. & Vreeken , J. (2014). Frequent Pattern Mining Algorithms for Data Clustering. I C. C. Aggarwal & J. Han (red.), Frequent Pattern Mining (s. 403-423). Springer. https://doi.org/10.1007/978-3-319-07821-2_16

Dawson, J. E., Clouston, R., Goré, R. & Tiu, A. (2014). From display calculi to deep nested sequent calculi: Formalised for full intuitionistic linear logic. I J. Diaz, I. L. Lanese & D. Sangiorgi (red.), Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings (Bind 8705 , s. 250-264). Springer VS. https://doi.org/10.1007/978-3-662-44602-7_20

Danvy, O. & Johannsen, J. (2014). From Outermost Reduction Semantics to Abstract Machine. I G. Gupta & R. Ricardo Peña (red.), 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013: Revised Selected Papers (s. 91-98). Springer VS. https://doi.org/10.1007/978-3-319-14125-1

Mennicken, S., Vermeulen, J. & Huang, E. M. (2014). From Today's Augmented Houses to Tomorrow's Smart Homes: New Directions for Home Automation Research. -, 105-115. https://doi.org/10.1145/2632048.2636076

Sørensen, J. L., Knudsen, M., Hansen, F. T., Olesen, C., Romans Fuertes, P., Lee, T. V., Søndergaard, T. E., Pedersen, C. N. S., Brodersen, D. E. & Giese, H. (2014). Fungal NRPS-dependent siderophores: From function to prediction. I J.-F. Martin, C. Garcia-Estrada & S. Zeilinger (red.), Biosynthesis and Molecular Genetics of Fungal Secondary Metabolites (s. 317-339). Springer. https://doi.org/10.1007/978-1-4939-1191-2_15

Raymaekers, L., Vermeulen, J., Luyten, K. & Coninx, K. (2014). Game of Tones: Learning to Play Songs on a Piano Using Projected Instructions and Games. -, 411-414. https://doi.org/10.1145/2559206.2574799

Dang, X.-H. & Bailey, J. (2014). Generating Multiple Alternative Clusterings Via Globally Optimal Subspaces. Data Mining and Knowledge Discovery, 28(3), 1-24. https://doi.org/10.1007/s10618-013-0314-1

Bjørn, P., Bardram, J., Avram, G., Bannon, L., Boden, A., Redmiles, D., De Souza, C. R. B. & Wulf, V. (2014). Global software development in a CSCW perspective. I Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW (s. 301-304). Association for Computing Machinery. https://doi.org/10.1145/2556420.2558863

Manikas, K., Hansen, K. M. & Kyng, M. (2014). Governance mechanisms for healthcare apps. I U. Zdun (red.), Proceedings of the 2014 European Conference on Software Architecture Workshops, ECSAW '14 Artikel 10 Association for Computing Machinery. https://doi.org/10.1145/2642803.2642813

Silvestri, C., Lettich, F., Orlando, S. & Jensen, C. S. (2014). GPU-based computing of repeated range queries over moving objects. I Proceedings - 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014 (s. 640-647). Artikel 6787342 IEEE Computer Society Press. https://doi.org/10.1109/PDP.2014.27

Stisen, A., Blunck, H., Kjærgaard, M. B. & Grønbæk, K. (2014). Handheld Versus Wearable Interaction Design for Professionals - A Case Study of Hospital Service Work. I T. Leong (red.), Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: the Future of Design , OzCHI '14 (s. 260-269). Association for Computing Machinery. https://doi.org/10.1145/2686612.2686651

Revsbæk, M. (2014). Handling Massive and Dynamic Terrain Data. Department of Computer Science, Aarhus University.

Bøgh, K. S., Chester, S., Sidlauskas, D. & Assent, I. (2014). Hashcube: A Data Structure for Space- and Query-Efficient Skycube Compression. I J. Li & X. S. Wang (red.), Proceedings of The 23rd ACM International Conference on Information and Knowledge Management (CIKM 2014) (s. 1767-1770). Association for Computing Machinery. https://doi.org/10.1145/2661829.2661891

Damgård, I. B., Pedersen, T. B. & Salvail, L. (2014). How to re-use a one-time pad safely and almost optimally even if P = NP. Natural Computing, 13(4), 469-486. https://doi.org/10.1007/s11047-014-9454-5

Michalak, T. P., Szczepański , P. L., Rahwan, T., Chrobak, A., Branzei, S., Wooldridge, M. & Jennings , N. (2014). Implementation and Computation of a Value for Generalized Characteristic Function Games. A C M Transactions on Economics and Computation, 2(4), Artikel 16. https://doi.org/10.1145/2665007

Svendsen, K. & Birkedal, L. (2014). Impredicative concurrent abstract predicates. I Z. Shao (red.), Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (s. 149-168 ). Springer. https://doi.org/10.1007/978-3-642-54833-8_9

Hansen, D. C., Bassler, N., Petersen, J. B. B. & Sørensen, T. S. (2014). Improved proton computed tomography by dual modality image reconstruction. Medical Physics, 41(3), Artikel 031904 . https://doi.org/10.1118/1.4864239

Hansen, T. D., Paterson, M. & Zwick, U. (2014). Improved upper bounds for random-edge and random-jump on abstract cubes. I C. Chekuri (red.), Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms (s. 874-881). Association for Computing Machinery. http://delivery.acm.org/10.1145/2640000/2634137/p847-hansen.pdf?ip=130.225.0.251&id=2634137&acc=ACTIVE%20SERVICE&key=36332CD97FA87885.318148A04E30A4A4.4D4702B0C3E38B35.4D4702B0C3E38B35&CFID=595831098&CFTOKEN=20714772&__acm__=1415354926_7fe907c24139277eb45011338d13404e

Yi, K., Wang, L. & Wei, Z. (2014). Indexing for summary queries: Theory and practice. A C M Transactions on Database Systems, 39(1), Artikel 2. https://doi.org/10.1145/2508702

Skovsgaard, A. (2014). Indexing, Query Processing, and Clustering of Spatio-Temporal Text Objects. Department of Computer Science, Aarhus University.

Branzei, S. & Miltersen, P. B. (2014). Indirect Revelation Mechanisms for Cake Cutting. Abstract fra Economics and Computational Aspects of Game Theory and Social Choice, Warsaw, Polen. http://ecags.mimuw.edu.pl/?m=programme

Brodal, G. S., Greve, M., Pandy, V. & Satti, S. R. (2014). Integer representations towards efficient counting in the bit probe model. Journal of Discrete Algorithms, 26(May), 34–44. https://doi.org/10.1016/j.jda.2013.11.001

Qu, Q., Liu, S., Yang, B. & Jensen, C. S. (2014). Integrating Non-Spatial Preferences into Spatial Location Queries. I C. S. Jensen, H. Lu, T. B. Pedersen , C. Thomsen & K. T. Torp (red.), SSDBM '14 Proceedings of the 26th International Conference on Scientific and Statistical Database Management Artikel 8 Association for Computing Machinery. https://doi.org/10.1145/2618243.2618247

Jensen, M. M., Grønbæk, K., Thomassen, N., Andersen, J. & Nielsen, J. (2014). Interactive Football-Training Based on Rebounders with Hit Position Sensing and Audio-Visual Feedback. International Journal of Computer Science in Sport, 13(1, part 2), 57-68. http://iacss.org/fileadmin/user_upload/IJCSS_FullPaper/Vol13_2014_Ed1/IJCSS-Volume13_2014_Edition1_Jensen.pdf

Qu, Q., Liu, S., Jensen, C. S., Zhu, F. & Faloutsos, C. (2014). Interestingness-Driven Diffusion Process Summarization in Dynamic Networks. I T. Calders, F. Esposito, E. Hüllermeier & R. Meo (red.), Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part II (s. 597-613). Springer VS. https://doi.org/10.1007/978-3-662-44851-9_38

Breinbjerg, M., Fritsch, J. & Bertelsen, O. W. (2014). In through the Archive: Echoes from a local community. Afhandling præsenteret på International Conference of the European Sound Studies Association, Copenhagen, Danmark. http://essa2014.ku.dk/programme/ESSA2_program_book.pdf

Afshani, P. & Sitchinava, N. (2014). I/O-efficient range minima queries. I R. Ravi & I. L. Gørtz (red.), Algorithm Theory – SWAT 2014: 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings (s. 1-12). Springer VS. https://doi.org/10.1007/978-3-319-08404-6_1

Christensen, H. B., Blunck, H., Bouvin, N. O., Brewer, R. S. & Wüstenberg, M. (2014). Karibu: A Flexible, Highly-Available, and Scalable Architecture for Urban Data Collection. I F. Kawsar, U. Blanke & A. Mashhadi (red.), Proceedings of the First International Conference on IoT in Urban Space, URB-IOT '14 (s. 96-98 ). Association for Computing Machinery. https://doi.org/10.4108/icst.urb-iot.2014.257253

Christensen, H. B. (2014). Karibu-Core. Softwareprogram, GitHub repository. https://github.com/ecosense-au-dk/karibu-core

Christensen, H. B. (2014). Karibu Tutorials. GitHub repository. https://github.com/ecosense-au-dk/Karibu-tutorial

Pedersen, B. P., Ifrim, G., Liboriussen, P., Axelsen, K. B., Palmgren, M. G., Nissen, P., Wiuf, C. H. & Pedersen, C. N. S. (2014). Large Scale Identification and Categorization of Protein Sequences Using Structured Logistic Regression. P L o S One, 9(1), Artikel e85139. https://doi.org/10.1371/journal.pone.0085139

Lambertini, M., Magnani, M., Marzolla, M., Montesi, D. & Paolino, C. (2014). Large-Scale Social Network Analysis. I A. Gkoulalas-Divanis & A. Labbi (red.), Large scale data analytics (s. 155-187). Springer. https://doi.org/10.1007/978-1-4614-9242-9

Nielsen, J. B., Venturi, D. & Zottarel, A. (2014). Leakage-resilient signatures with graceful degradation. I H. Krawczyk (red.), Public-Key Cryptography – PKC 2014: 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014. Proceedings (s. 362-379). Springer. https://doi.org/10.1007/978-3-642-54631-0_21

Micenková, B., McWilliams, B. & Assent, I. (2014). Learning Outlier Ensembles: The Best of Both Worlds–Supervised and Unsupervised. Afhandling præsenteret på ACM SIGKDD 2014 Workshop ODD2 , New York, USA. http://outlier-analytics.org/odd14kdd/odd-2014-proceedings.pdf

Viser resultater 1951 til 2000 ud af 2860

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series