Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2022

    Understanding the Challenges of Blocking Unnamed Network Traffic.

    Hageman, K., Kidmose, E., Hansen, R. R. & Pedersen, J. M., 2022, NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium: Network and Service Management in the Era of Cloudification, Softwarization and Artificial Intelligence, NOMS 2022. Varga, P., Granville, L. Z., Galis, A., Godor, I., Limam, N., Chemouil, P., Francois, J. & Pahl, M-O. (red.). IEEE, s. 1-5 9789854. (IEEE/IFIP Network Operations and Management Symposium).

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

    Åben adgang
    Fil
    8 Downloads (Pure)

  • UrbanGen: Generating Combined In- and Outdoor Trajectories

    Sun, Y., Nielsen, N., Xie, X., Pedersen, T. B., Simonsen, U., Lu, H. & Ainciburu, M., 2022, Proceedings - 2022 23rd IEEE International Conference on Mobile Data Management, MDM 2022. IEEE, Bind 2022-June. s. 270-273 4 s. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2022-June).

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

    Åben adgang
    Fil
    31 Downloads (Pure)

  • Using Signals to Support Trust Building in Clinical Human-AI Collaboration

    Kollerup, N. K., Skov, M. B. & van Berkel, N., 2022, Adjunct Proceedings of the EUSSET ECSCW European Conference on Computer-Supported Cooperative Work. 4 s.

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

    Åben adgang

  • Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes

    Schilling, C., Forets, M. & Guadalupe, S., 2022, Proceedings of the AAAI Conference on Artificial Intelligence. Palo Alto: AAAI Press, s. 8169-8177 9 s. (Proceedings of the AAAI Conference on Artificial Intelligence; Nr. 7, Bind 36).

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

    Åben adgang
    17 Citationer (Scopus)

  • Weakly-supervised Temporal Path Representation Learning with Contrastive Curriculum Learning

    Yang, S. B., Guo, C., Hu, J., Yang, B., Tang, J. & Jensen, C. S., 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering, ICDE 2022. 38th International Conference on Data Engineering, s. 2873-2885 13 s.

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

    3 Citationer (Scopus)

  • Workload-Aware Shortest Path Distance Querying in Road Networks

    Wan, J., Gao, Y., Ma, Y., Huang, K., Zhou, X., Jensen, C. S. & Zheng, B., 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering, ICDE 2022. IEEE, s. 2372-2384 13 s. (Proceedings - International Conference on Data Engineering, Bind 2022-May).

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

    1 Citationer (Scopus)
  • 2023

    A Comparison of Different Marginalization Operations in Simple Propagation

    Madsen, A. L. & Butz, C., 2023, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Proceedings. Bouraoui, Z. & Vesic, S. (red.). Springer, Bind 14294. s. 172-182 11 s. (Lecture Notes in Computer Science).

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

  • Adaptation of AI Explanations to Users' Roles

    Delaunay, J., Galárraga, L., Largouët, C. & van Berkel, N., 2023, Adjunct Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems - Workshop on Human-Centered Explainable AI. s. 1-7 7 s.

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

  • A Demonstration of Interpretability Methods for Graph Neural Networks

    B. Mobaraki, E. & Khan, A., 18 jun. 2023, Proceedings of the 6th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems: GRADES-NDA 2023. Hartig, O. & Yoshida, Y. (red.). Association for Computing Machinery, 9

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

    10 Downloads (Pure)

  • Adversarial Autoencoder for Unsupervised Time Series Anomaly Detection and Interpretation

    Chen, X., Deng, L., Zhao, Y. & Zheng, K., 27 feb. 2023, WSDM 2023 - Proceedings of the 16th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, s. 267-275 9 s.

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

    1 Citationer (Scopus)

  • A Longitudinal Analysis of Real-World Self-report Data

    van Berkel, N., Shalawadi, S., Evans, M. R., Visuri, A. & Hosio, S., 2023, Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part III. Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A. & Winckler, M. (red.). Springer, s. 611-632 22 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14144 LNCS).

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

    1 Citationer (Scopus)

  • A Method and Platform for Security Advisory Dissemination Leveraging Web3 Technologies

    Cibin, N., Sommer, J. L., Lund, M. M. & Albano, M., 17 dec. 2023, Proceedings of 6th IEEE International Conference on Blockchain. Haihuadao, China: IEEE, 10411464. (IEEE International Conference on Blockchain).

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

  • A Modeling Concept for Formal Verification of OS-Based Compositional Software

    Ribeiro, L. B., Lorber, F., Nyman, U., Larsen, K. G. & Baunach, M., 2023, 26th International Conference (FASE 2023): Fundamental Approaches to Software Engineering, Proceedings. Lambers, L., Uchitel, S. & Uchitel, S. (red.). Springer, s. 26-46 21 s. (Lecture Notes in Computer Science, Bind 13991 LNCS).

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

    Åben adgang
    Fil

  • An Experience with and Reflections on Live Coding with Active Learning

    Schlichtkrull, A., 9 aug. 2023, 4th International Computer Programming Education Conference (ICPEC 2023). de Queiros, R. A. P. & Pinto, M. P. T. (red.). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 13 s. 14. (Open Access Series in Informatics, Bind 112).

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

    Åben adgang
    Fil

  • An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains

    Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (red.). Springer, s. 82-100 19 s. (Lecture Notes in Computer Science (LNCS), Bind LNCS 14287).

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

  • Approximate Constrained Lumping of Polynomial Differential Equations

    Leguizamon-Robayo, A., Jiménez-Pastor, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, Computational Methods in Systems Biology: 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, Proceedings. Pang, J. & Niehren, J. (red.). Springer, s. 106-123 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14137 LNBI).

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

  • ARCH-COMP23 category report: Continuous and hybrid systems with nonlinear dynamics

    Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Collins, P., Forets, M., Ivanova, E., Li, Y., Mitra, S., Mitsch, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (red.). EasyChair, s. 61-88 28 s. (EPiC Series in Computing, Bind 96).

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

    Åben adgang
    Fil

  • ARCH-COMP23 category report: Continuous and hybrid systems with linear continuous dynamics

    Althoff, M., Forets, M., Li, Y., Mitra, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (red.). EasyChair, s. 34-60 27 s. (EPiC Series in Computing, Bind 96).

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

    Åben adgang
    Fil
    2 Downloads (Pure)

  • ARCH-COMP23 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants

    Lopez, D. M., Althoff, M., Forets, M., Johnson, T. T., Ladner, T. & Schilling, C., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (red.). EasyChair, s. 89-125 37 s. (EPiC Series in Computing, Bind 96).

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

    Åben adgang
    Fil

  • A Re-evaluation of Deep Learning Methods for Attributed Graph Clustering.

    Lai, X., Wu, D., Jensen, C. S. & Lu, K., 21 okt. 2023, CIKM 2023 - Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, s. 1168-1177 10 s.

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

  • A Review on Mood Assessment Using Smartphones

    Sarsenbayeva, Z., Fleming, C., Tag, B., Withana, A., van Berkel, N. & McEwan, A., 2023, Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part II. Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A. & Winckler, M. (red.). Springer, s. 385-413 29 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14143 LNCS).

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

    1 Citationer (Scopus)

  • A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems

    Klößner, T., Torralba, Á., Steinmetz, M. & Sievers, S., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, s. 203-211 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; Nr. 1, Bind 33).

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

    1 Citationer (Scopus)

  • Automated Ontology Evaluation: Evaluating Coverage and Correctness using a Domain Corpus

    Zaitoun, A., Sagi, T. & Hose, K., 30 apr. 2023, ACM Web Conference 2023 - Companion of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, s. 1127-1137 11 s.

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

    Åben adgang
    Fil
    2 Citationer (Scopus)
    38 Downloads (Pure)

  • Automatic Energy-Efficient Job Scheduling in HPC: A Novel SLURM Plugin Approach

    Springborg, A. A., Albano, M. & Xavier-de-Souza, S., 12 nov. 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, s. 1831-1838 8 s.

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

  • Automatic Metamorphic Test Oracles for Action-Policy Testing

    Eisenhut, J., Torralba, Á., Christakis, M. & Hoffmann, J., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, s. 109-117 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; Nr. 1, Bind 33).

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

  • Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots

    Ghorbani, A., Cassee, N., Robinson, D., Alami, A., Ernst, N. A., Serebrenik, A. & Wąsowski, A., 14 maj 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. Melbourne: IEEE, s. 1405-1417 13 s.

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

    2 Citationer (Scopus)
    2 Downloads (Pure)

  • AutoSTL: Automated Spatio-Temporal Multi-Task Learning

    Zhang, Z., Zhao, X., Miao, H., Zhang, C., Zhao, H. & Zhang, J., 16 apr. 2023, The Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI-23). AAAI Press, s. 4902-4910 9 s.

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

    3 Downloads (Pure)

  • Barriers for Domestic Sound Zone Systems: Insights from a Four-Week Field Study

    Jacobsen, R. M., Skov, K. F., Skov, M. B. & Kjeldskov, J., 30 aug. 2023, Proceedings of the 18th International Audio Mostly Conference, AM 2023. Association for Computing Machinery, s. 185-192 8 s. (ACM International Conference Proceeding Series).

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

    1 Citationer (Scopus)

  • Benefits from Big Data Analytics Projects: A Critical System Heuristics Approach to Boundary Judgements

    Jensen, M. H., Nielsen, P. A. & Persson, J. S., 2023, ECIS 2023, Proceedings of the 31st European Conference on Information Systems. AIS Electronic Library, s. 1-15 430

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

    Åben adgang
    Fil
    23 Downloads (Pure)

  • Blockchain-Based Platform for Crowdsourcing Machine Learning Models Design and Training, while Incentivizing Continuous Improvement

    Cibin, N. & Albano, M., 2023, Proceedings - 2023 IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2023. IEEE, s. 31-37 7 s. (IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)).

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

  • "Briefly Entertaining but Pointless": Perceived Benefits & Risks of Social Robots in the Home

    Schneiders, E., Papachristos, E., van Berkel, N. & Jacobsen, R. M., 19 apr. 2023, Proceedings of ACM SIGCHI Conference on Human Factors in Computing Systems - Late Breaking Work. Association for Computing Machinery, s. 1-6 61. (Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems (CHI EA ’23)).

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

    Åben adgang
    1 Citationer (Scopus)

  • Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning

    Pham, F. & Torralba, Á., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (red.). International Joint Conferences on Artificial Intelligence, s. 5420-5428 9 s. (IJCAI International Joint Conference on Artificial Intelligence, Bind 2023-August).

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

  • Carbon Scales: Collective Sense-making of Carbon Emissions from Food Production through Physical Data Representation

    Lindrup, M., Menon, A. R. & Biøren-Hansen, A., 10 jul. 2023, DIS 2023 - Proceedings of the 2023 ACM Designing Interactive Systems Conference. Pittsburgh, PÅ, USA: Association for Computing Machinery, s. 1515-1530 16 s.

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

    Åben adgang
    Fil

  • CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics

    Carlsen, F. B. Ø., Frydenskov, L. B. P., Jensen, N. Ø., Jenner Rasmussen, J., Sørensen, M. M., Geel Weirsøe, A., Jensen, M. C. & Larsen, K. G., 30 sep. 2023, Proceedings af the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). Italien: Open Publishing Association, Bind 390. s. 99-114 16 s. (Electronic Proceedings in Theoretical Computer Science).

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

    Åben adgang
    Fil
    10 Downloads (Pure)

  • Challenges and Requirements in Multi-Drone Interfaces

    Oanh Hoang, M-T., van Berkel, N., Skov, M. B. & Merritt, T., 19 apr. 2023, CHI EA '23: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 1-9 9 s. 65

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

    2 Citationer (Scopus)

  • CityCross: Transferring Attention-based Knowledge for Location-based Advertising Recommendation

    Qiu, D., Wang, Y., Zhao, Y., Deng, L. & Zheng, K., 2023, Proceedings - IEEE International Conference on Mobile Data Management: MDM 2022. IEEE, s. 254-261 8 s.

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

    1 Citationer (Scopus)

  • Colex2Lang: Language Embeddings from Semantic Typology

    Chen, Y., Biswas, R. & Bjerva, J., 22 maj 2023, Proceedings of the 24rd Nordic Conference on Computational Linguistics (NoDaLiDa). Association for Computational Linguistics, s. 673-684

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

    Åben adgang
    Fil
    13 Downloads (Pure)

  • Colexifications for Bootstrapping Cross-lingual Datasets: The Case of Phonology, Concreteness, and Affectiveness

    Chen, Y. & Bjerva, J., jul. 2023, ACL 2023 - 20th SIGMORPHON Workshop on Computational Morphology, Phonology, and Phonetics, CMPP 2023. Nicolai, G., Chodroff, E., Coltekin, C. & Mailhot, F. (red.). Association for Computational Linguistics, s. 98-109 12 s.

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    12 Downloads (Pure)

  • Compressed, Real-Time Voice Activity Detection with Open Source Implementation for Small Devices.

    Andersen, L. R., Jacobsen, L. J. & Campos, D., 21 sep. 2023, iWOAR 2023: 8th International Workshop on Sensor-based Activity Recognition and Artificial Intelligence, Proceedings. Matthies, D. J. C., Grzegorzek, M., Kuijper, A. & Leutheuser, H. (red.). 10 s. 1

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

  • Controllable Structure Planning for Energy Internet

    Li, Y., Li, T., Gui, Y., Gao, D. W. & Zhang, Y., 2023, 2022 1st International Conference on Cyber-Energy Systems and Intelligent Energy, ICCSIE 2022. IEEE Signal Processing Society, 6 s. 10175258

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

    1 Citationer (Scopus)

  • Danish Citizens' Expectations for mHealth Prescription

    Bidragets oversatte titel: Danske Borgeres Forventninger til mHealth-ordineringJensen, V. V., Høg Sørensen, T., Ørsted Kristensen, A. & Eriksen, J., 18 maj 2023, Caring is Sharing – Exploiting the Value in Data for Health and Innovation. Hagglund, M., Blusi, M., Bonacina, S., Nilsson, L., Madsen, I. C., Pelayo, S., Moen, A., Benis, A., Lindskold, L. & Gallos, P. (red.). IOS Press, Bind 302. s. 468-469 2 s. (Studies in Health Technology and Informatics, Bind 32).

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

    Åben adgang
    Fil
    8 Downloads (Pure)

  • Databases and Information Systems: Contributions from ADBIS 2023 Workshops and Doctoral Consortium

    Przybyłek, A., Karpus, A., Hadjali, A., Dignös, A., Hara, C. S., Karidi, D. P., Zumpano, E., Persia, F., Vargas-Solar, G., Papastefanatos, G., Sperlì, G., Giannopoulos, G., Luković, I., Aligon, J., Terrovitis, M., Grzegorowski, M., Bonomo, M., Ferrari, M. H., Labroche, N., Monsarrat, P., & 9 flereChbeir, R., Sellami, S., Tirupathi, S., Rombo, S. E., Kordić, S., Ristić, S., Di Noia, T., Pedersen, T. B. & Moscato, V., 2023, New Trends in Database and Information Systems: ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Proceedings. Abelló, A., Romero, O., Vassiliadis, P., Wrembel, R., Bugiotti, F., Gamper, J., Vargas Solar, G. & Zumpano, E. (red.). Springer, s. 293-311 19 s. (Communications in Computer and Information Science, Bind 1850 CCIS).

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

  • Data-Enabled Sustainability: The Collective Work of Turning Data into Actions for Environmental Care

    Rossitto, C., Lindrup, M., Comber, R., Tholander, J., Jacobsson, M., Cabral, A. & Jensen, R. H., 14 okt. 2023, CSCW 2023 Companion - Conference Companion Publication of the 2023 Computer Supported Cooperative Work and Social Computing. Ames, M., Fussell, S., Gilbert, E., Liao, V., Ma, X., Page, X., Rouncefield, M., Singh, V. & Wisniewski, P. (red.). Association for Computing Machinery, s. 506-511 6 s.

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

  • Data Imputation for Sparse Radio Maps in Indoor Positioning

    Li, X., Li, H., Chan, H. K. H., Lu, H. & Jensen, C. S., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE Computer Society Press, s. 2235-2248 14 s. (Proceedings of the International Conference on Data Engineering).

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

    1 Citationer (Scopus)

  • Demonstrating SurfaceCast: Ubiquitous, Cross-Device Surface Sharing

    Echtler, F., Maierhöfer, V., Hansen, N. B. & Wimmer, R., 5 nov. 2023, ISS 2023 - Proceedings of the 2023 Conference on Interactive Surfaces and Spaces. Biehl, J., Carter, S., Lucero, A., Makela, V. & Alt, F. (red.). New York, NY, USA: Association for Computing Machinery, s. 65–68 4 s.

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

  • Designing for Digital Environmental Stewardship in Waste Management

    Lindrup, M., Tholander, J., Rossitto, C., Comber, R. & Jacobsson, M., 10 jul. 2023, DIS 2023 - Proceedings of the 2023 ACM Designing Interactive Systems Conference. Pittsburgh, PA, USA: Association for Computing Machinery, s. 1581–1594 14 s.

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

    Åben adgang
    Fil
    1 Downloads (Pure)

  • Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise

    Schou, M. K., Poese, I. & Srba, J., 2023, Proceedings - 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing, PRDC 2023. IEEE, s. 64-70 7 s. (IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)).

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

    Åben adgang
    Fil
    28 Downloads (Pure)

  • Do bridges dream of water pollutants? Towards DreamsKG, a knowledge graph to make digital access for sustainable environmental assessment come true

    Garigliotti, D., Bjerva, J., Nielsen, F. Å., Butzbach, A., Lyhne, I., Kørnøv, L. & Hose, K., 30 apr. 2023, ACM Web Conference 2023 - Proceedings of the Comopanion of the : 2023 World Wide Web Conference . Association for Computing Machinery, s. 724-730 7 s.

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

    2 Citationer (Scopus)
    14 Downloads (Pure)

  • Dual Balancing of SoC/SoT in Smart Batteries using Reinforcement Learning in Uppaal Stratego

    Kristjansen, M., Kulkarni, A., Jensen, P. G., Teodorescu, R. & Larsen, K. G., 16 nov. 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 10311828. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

    Åben adgang
    Fil
    20 Downloads (Pure)

  • Dynamic Extrapolation in Extended Timed Automata

    Jensen, N. Ø., Jensen, P. G. & Larsen, K. G., 9 nov. 2023, Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. Li, Y. & Tahar, S. (red.). Springer, s. 83-99 17 s. (Lecture Notes in Computer Science, Bind 14308).

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

    3 Downloads (Pure)