Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • Konferenceartikel i proceeding

    Lumen: A Case Study of Designing for Sustainable Energy Communities through Ambient Feedback

    Hansen, A. H., Jensen, R. H., Stausgaard Jensen, L., Guldager, E. K., Winkel Sigsgaard, A., Dalgaard Moroder, F., Raptis, D., Siksnys, L., Pedersen, T. B. & Skov, M. B., 3 dec. 2020, Proceedings of the 32nd Australian Conference on Human-Computer-Interaction. Association for Computing Machinery, s. 724-729 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    7 Citationer (Scopus)
    208 Downloads (Pure)

  • Lumpability for Uncertain Continuous-Time Markov Chains

    Cardelli, L., Grosu, R., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings. Springer, s. 391-409 (Lecture Notes in Computer Science, Bind 12846).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • Machine Agency as Perceived Autonomy

    Rose, J. & Truex, D., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (red.). 41 udg. Kluwer Academic Publishers

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Machine Learning Platform for Extreme Scale Computing on Compressed IoT Data

    Tirupathi, S., Salwala, D., Zizzo, G., Rawat, A., Purcell, M., Jensen, S. K., Thomsen, C., Ho, N., Cuza, C. E. M., Brusokas, J., Pedersen, T. B., Alexiou, G., Giannopoulos, G., Gidarakos, P., Kalimeris, A., Maroulis, S., Papastefanatos, G., Psarros, I., Stamatopoulos, V. & Terrovitis, M., 20 dec. 2022, 2022 IEEE International Conference on Big Data (Big Data). Tsumoto, S., Ohsawa, Y., Chen, L., Van den Poel, D., Hu, X., Motomura, Y., Takagi, T., Wu, L., Xie, Y., Abe, A. & Raghavan, V. (red.). IEEE Communications Society, s. 3179-3185 7 s. 10020540

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • MAIME: A Maintenance Manager for ETL Processes

    Butkevicius, D., Freiberger, P. D., Halberg, F. M., Hansen, J. B., Jensen, S., Tarp, M., Huang, H. X. & Thomsen, C., 15 mar. 2017, Proceedings of the Workshops of the EDBT/ICDT 2017 Joint Conference (EDBT/ICDT 2017). CEUR Workshop Proceedings, 10 s. 8. (CEUR Workshop Proceedings, Bind 1810).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    146 Downloads (Pure)

  • Main-Memory Operation Buffering for Efficient R-Tree Update

    Jensen, C. S., Saltenis, S. & Biveinis, L., 2007, Proceedings of the Thirtythird International Conference on Very Large Data Bases. s. 591-602

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    39 Citationer (Scopus)

  • Maintaining Program Understanding - issues, tools, and future directions

    Vestdam, T. & Nørmark, K., 2004, Proceedings of the 11th Nordic Workshop on Programming and Software Development Tools and Techniques: TUCS General Publication. 34 udg. Turku Center for Computer Science, s. 195-208 14 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Maintenance 4.0 world of integrated information

    Jantunen, E., Di Orio, G., Hegedűs, C., Varga, P., Moldován, I., Larrinaga, F., Krawczyk-Becker, M., Albano, M. & Maló, P., 26 apr. 2019, Enterprise Interoperability VIII: Smart Services and Business Impact of Enterprise Interoperability. Springer Publishing Company, s. 67-78 12 s. (Proceedings of the I-ESA Conferences, Bind 9).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Make or Buy: A Taxonomy of Intranet Implementation Strategies

    Karlsbjerg, J. & Damsgaard, J., 2001, Proceedings of the 9th European Conference on Information Systems, "Global Co-Operation in the New Millennium", Bled, Slovenia, June, 2001.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Make or Buy: a Taxonomy of Intranet Implementation Strategies

    Karlsbjerg, J., Olsen, C. & Damsgaard, J., 2000, Proceedings of the 23rd Information Systems Research Seminar in Scandinavia, Uddevalla, Sweden. s. 1573-1588

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Making Conversations Persistent Through Computer Mediation: Coordination in a Safety-Critical Domain

    Kjeldskov, J. & Stage, J., 2006, Proceedings of the 39th Annual Hawaii International Conference on System Sciences, 2006. HICSS '06.. IEEE Computer Society Press, Bind 3. 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    279 Downloads (Pure)

  • Making sense of project management: A case of knowledge management in software development

    Kjærgaard, A., Kautz, K. & Nielsen, P. A., 2007, Proceedings of ECIS 15. European Conference of Information Systems

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Making Sensitivity Analysis Computationally Efficient

    Kjærulff, U. B. & Gaag, L. C. V. D., 2000, Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence : UAI'00. Boutilier, C. : Goldszmidt, M. (eds.) (red.). Academic Press, s. 317-325

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Making SPI Happen: The IDEAL Distribution of Effort

    Börjesson, A. & Mathiassen, L., 2002, Bødker, Keld (ed.) ...[et al.].

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Making SPI Happen - The IDEAL Distribution of Effort

    Börjesson, A. & Mathiassen, L., 2003, 36th Annual Hawaii International Conference on System Sciences (HICSS´03). Electrical Engineering/Electronics, Computer, Communications and Information Technology Association

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    13 Citationer (Scopus)

  • Making SPI Happen - The Roads to Process Implementation

    Börjesson, A. & Mathiassen, L., 2003, The Twenty-sixth Information Systems Research Seminar in Scandinavia 2003.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Making use of social media data in public health

    Denecke, K., Dolog, P. & Smrz, P., 2012, Proceedings of the 21st international conference companion on World Wide Web. Association for Computing Machinery, s. 243-246 4 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    16 Citationer (Scopus)

  • Management of Multiply Represented Geographic Entities

    Friis-Christensen, A., Skogan, D., Jensen, C. S., Skagenstein, G. & Tryfona, N., 2002, Nascimento, Mario A.: Özsu, M. Tamer : Zaïane, Osmar R. (ed.). Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, s. 150-159

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    12 Citationer (Scopus)

  • Managing Again Data in Temporal Databases and Data Warehouses - Vacuuming and Persistent Views

    Skyt, J., 2000, Proceedings of the EDBT 2000 Ph.D. Workshop, March 2000, Konstanz, Germany. s. 39-42

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Managing Aging Data Using Persistent Views (extended abstract)

    Skyt, J. & Jensen, C. S., 2000, Cooperative Information Systems : 7th International Conference, CoopIS 2000 Eilat, Israel, September 6-9, 2000 : Proceedings: Lecture Notes in Computer Science. Etzion, O. : Scheuermann, P. (eds.) (red.). 1901 udg. IEEE Computer Society Press, s. 132-137

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    3 Citationer (Scopus)

  • Managing Big Data Analytics Projects: The Challenges of Realizing Value

    Jensen, M. H., Nielsen, P. A. & Persson, J. S., 2019, Proceedings of the 27th European Conference on Information Systems (ECIS). Association for Informations Systems, AIS, (Proceedings / European Conference on Information Systems (ECIS)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    474 Downloads (Pure)

  • Managing Big Multidimensional Data

    Pedersen, T. B., 31 jan. 2015, Extraction et Gestion des Connaissances: Revue des Nouvelles Technologies de l'Information. Hermann, s. 3-6

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Managing complex multidimensional data

    Pedersen, T. B., 30 jan. 2013, Business Intelligence: Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures. Aufaure, M-A. & Zimányi, E. (red.). Berlin: Springer Publishing Company, s. 1-28 28 s. (Lecture Notes in Business Information Processing, Bind 138).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • Managing ERP systems after going live

    Jensen, P. K. & Koch, C., 2002, Proceedings of the 9th International EurOMA Conference on Operations Management and the New Economy. Christiansen, H. B. J. (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Managing Networked Software Development

    Jeenicke, M., Nielsen, P. A., Vainio, L. & Vogelsang, L., 2003, Proceedings of the 26th IRIS, Helsinki, Finland, August 2003.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Managing Risks in Software Process Improvement

    Iversen, J. H., Mathiassen, L. & Nielsen, P. A., 1999, Proceedings of the 7th European Conference in Information Systems, Copenhagen, Denmark, 23-25 June 1999. Pries-Heje, J. ... (et al.)(eds.) (red.). Copenhagen Business School Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Map Matching for Intelligent Speed Adaptation

    Tradisauskas, N., Juhl, J., Lahrmann, H. & Jensen, C. S., 2007, Proceedings from the 6th European Congress on Intelligent Transport Systems and Services, Time to Intelligent Move, 18 th -20 th June 2007 in Aalborg. Lahrmann, H. (red.). ERTICO, 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1617 Downloads (Pure)

  • Mapping Social Networks in SPI

    Nielsen, P. A. & Tjørnehøj, G., 2005, Proceedings IFIP 8.6 Conference: Business Agility and IT Diffusion. IFIP TC 8.6 International Working Conference. Baskerville, R., Mathiassen, L. & Pries-Heje, J. (red.). Springer

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Mastering operational limitations of LEO satellites - The GOMX3 approach

    Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B., Jongerden, M., Larsen, K. G. & Wognsen, E. R., 2016, 67th International Astronautical Congress, IAC 2016. The International Astronautical Federation, (Proceedings of the International Astronautical Congress, IAC).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • Matching Semantically Described Web Services Using Ontologies

    Bidragets oversatte titel: Matching af semantisk beskrevede web services ved hjælp af ontologierChristensen, K., Thomsen, L. L. & Højgaard Olesen, T., 2006, Information Technology And Control. Kaunas Technologija Universiteta, s. 267-275 9 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Maximal Prime Subgraph Decomposition of Bayesian Networks

    Olesen, K. G. & Madsen, A. L., 2001, Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2001). AAAI Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • mctau: Bridging the Gap between Modest and UPPAAL

    Bogdoll, J., David, A., Harmanns, A. & Hermanns, H., 2012, Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Donaldson, A. & Parker, D. (red.). Berlin: Springer, Bind 7385. s. 227-233 7 s. (Lecture Notes in Computer Science (LNCS), Bind 7385).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)

  • Measuring and Comparing Energy Flexibilities

    Valsomatzis, E., Hose, K., Pedersen, T. B. & Siksnys, L., 2015, Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT). Fischer, P. M., Alonso, G., Arenas, M. & Geerts, F. (red.). CEUR Workshop Proceedings, Bind 1330. s. 78-85 8 s. (CEUR Workshop Proceedings).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    10 Citationer (Scopus)
    226 Downloads (Pure)

  • Mediated intimacy in families: understanding the relation between children and parents

    Dalsggaard, T., Skov, M. B., Stougaard, M. & Thomassen, B., 2006, Proceeding of the 2006 conference on Interaction Design and Children. Association for Computing Machinery, s. 145-152 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    56 Citationer (Scopus)
    2034 Downloads (Pure)

  • Mediating Intimacy: Designing Technologies to Support Strong-Tie Relationships

    Vetere, F., Gibbs, M., Kjeldskov, J., Howard, S., Pedell, S., Mecoles, K. & Mueller, F., 2005, Conference on Human Factors in Computing Systems. Association for Computing Machinery

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    1439 Downloads (Pure)

  • Mediating Intimacy: Digital Kisses and Cut and Paste Hugs

    Howard, S., Vetere, F., Gibbs, M., Kjeldskov, J., Pedell, S., Mecoles, K. & Bunyan, M., 2004, People and computers XVIII: Design for life. Proceedings of HCI 2004. Fincher, S., Markopoulos, P., Moore, D. & Ruddle, R. (red.). BCS-HCI

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    353 Downloads (Pure)

  • Medical Models and Bayesian Networks

    Olesen, K. G., 1999, Prognostic Models in Medicine : Artificial Intelligence and Decision Analytic Approaches. Abu-Hanna, A. & Lucas, P. (red.). <Forlag uden navn>, 5 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Medium for Children’s Creativity: A Case Study of Artifact’s Influence

    Borum, N., Kristensen, K., Petersson, E. & Brooks, A. L., 20 jun. 2014, Universal Access in Human-Computer Interaction. Universal Access to Information and Knowledge Lecture Notes in Computer Science Volume 8514, 2014, pp 233-244: 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II. Stephanidis, C. & Antona, M. (red.). Springer VS, s. 233-244 12 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • Memory Efficient Data Structures for Explicit Verification of Timed Systems

    Taankvist, J. H., Srba, J., Larsen, K. G., Sørensen, M. G. & Jensen, P. G., 2014, NASA Formal Methods. Badger, J. M. & Rozier, K. Y. (red.). Springer Publishing Company, Bind 8430. s. 307-312 6 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)

  • Memory-Efficient Tactics for Randomized LTL Model Checking

    Larsen, K., Peled, D. & Sedwards, S., 2017, Verified Software: Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Revised Selected Papers. Wies, T. & Paskevich, A. (red.). Physica-Verlag, s. 152-169 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10712 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Mental Models of Loudspeaker Directivity

    Nielsen, S., Larsen, L. B., Stec, K. & Simon, A., sep. 2019, Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound, AM 2019. Nottingham, United Kingdom: Association for Computing Machinery, s. 260-263 4 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Merging {DBMs} Efficiently

    David, A., 2005, 17th Nordic Workshop on Programming Theory, NWPT'05. DIKU, University of Copenhagen, s. 54-56 3 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Message from program chairs

    Chakraborty, D., Lu, H. & Venkatasubramanian, N., 2012, Proceedings - 2012 IEEE 13th International Conference on Mobile Data Management, MDM 2012. s. xiii - xiv

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Message from the General Co-chairs

    Jensen, C. S., Xie, X. & Zadorozhny, V. I., 11 sep. 2015, 2015 16th IEEE International Conference on Mobile Data Management . IEEE, Bind 1. s. xi-xii (I E E E International Conference on Mobile Data Management. Proceedings).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Formidling

  • Metadata Modeling in a Global Computing Environment

    Pfoser, D., Pitoura, E. & Tryfona, N., 2002, 19th ACM International Symposium on Advances in Geographical Information Systems, McLean, VA, November 8-9, 2002.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    14 Citationer (Scopus)

  • Metagenomic Binning using Connectivity-constrained Variational Autoencoders

    Lamurias, A., Tibo, A., Hose, K., Nielsen, T. D. & Albertsen, M., 2023, Proceedings of the 40th International Conference on Machine Learning. Krause, A. & Brunskill, E. (red.). s. 18471–18481 762. (The Proceedings of Machine Learning Research, Bind 202).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Downloads (Pure)

  • METAMOC; Modular Execution Time Analysis using Model Checking

    Dalsgaard, A. E., Olesen, M. C., Toft, M., Hansen, R. R. & Larsen, K. G., 2010, Proceedings of the 10th International Workshop on Worst-Case Execution-Time Analysis (WCET2010).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    48 Citationer (Scopus)

  • Metaprobes, Metaphysical Workshops and Sketchy Philosophy

    Encinas, E., C. Durrant, A., Mitchell, R. & Blythe, M., apr. 2020, CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. s. 1-13 13 s. 3376453

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    9 Citationer (Scopus)

  • METAXPath

    Dyreson, C. E., Böhlen, M. H. & Jensen, C. S., 2001, Proceedings of the 2001 International Conference on Dublin Core and Metadata Applications, Tokyo, Japan, October 22-26, 2001. s. 17-23

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • MeteorQuest - Bringing Families Together Through Proxemics Play In A Mobile Social Game

    Rosenqvist, R., Boldsen, J., Papachristou, E. & Merritt, T. R., 2018, CHI PLAY '18 Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play. New York, NY, USA: Association for Computing Machinery, s. 439-450 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)