Publikationer

Søg publikationer fra Institut for Datalogi

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

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. PLoS 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

Chattopadhyay, A., Gavaldà, R., Hansen, K. A. & Thérien, D. (2014). Learning Read-Constant Polynomials of Constant Degree Modulo Composites. Theory of Computing Systems, 55(2), 404-420. https://doi.org/10.1007/s00224-013-9488-6

Miltersen, P. B. (2014). Leibniz International Proceedings in Informatics: Invited talk. Leibniz International Proceedings in Informatics, 25, 11-12. https://doi.org/10.4230/LIPIcs.STACS.2014.11

Chan, T. M., Durocher, S., Larsen, K. G., Morrison, J. & Wilkinson, B. T. (2014). Linear-Space Data Structures for Range Mode Query in Arrays. Theory of Computing Systems, 55(4), 719-741. https://doi.org/10.1007/s00224-013-9455-2

Christensen, H. B. (2014). Localizing the HL7 Personal Health Monitoring Record for Danish Telemedicine. I e-Health – For Continuity of Care : Proceedings of MIE2014 IOS Press. https://doi.org/10.3233/978-1-61499-432-9-251

Søndergaard, D., Knudsen, M. & Pedersen, C. N. S. (2014). Machine learning approaches to functional prediction of P-Type ATPases.

Agarwal, P. K., Arge, L., Mølhave, T., Revsbæk, M. & Yang, J. (2014). Maintaining Contour Trees of Dynamic Terrains. Cornell University. http://arxiv.org/abs/1406.4005

Xu, Y., Johnson, P. M., Lee, G. E., Moore, C. A. & Brewer, R. S. (2014). Makahiki: An open source serious game framework for sustainability education and conservation. I P. Kommers, T. Issa, T. Issa, D.-F. Chang & P. Isaías (red.), International Conference on Sustainability, Technology, and Education, STE 2014: proceedings (s. 131-138). International Association for Development, IADIS. http://www.iadisportal.org/digital-library/makahiki-an-open-source-serious-game-framework-for-sustainability-education-and-conservation

Viser resultater 2351 til 2400 ud af 6080

Forrige