• PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2022

    Poster: Uncertain FlexOffers, a scalable, uncertainty-Aware model for energy flexibility

    Lilliu, F., Pedersen, T. B., Šikšnys, L. & Neupane, B., 28 jun. 2022, e-Energy 2022 - Proceedings of the 2022 13th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 448-449 2 s. (e-Energy 2022 - Proceedings of the 2022 13th ACM International Conference on Future Energy Systems).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    19 Downloads (Pure)
  • Postphenomenological Dimensions of Digitally Mediated Domestic Heating

    Svangren, M. K., Raptis, D., Ananjeva, A., Persson, J. S. & Nielsen, P. A., 8 okt. 2022, Proceedings of the 12th Nordic Conference on Human-Computer Interaction, NordiCHI 2022: Participative Computing for Sustainable Futures. Association for Computing Machinery, 13 s. 3546692. (ACM International Conference Proceeding Series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    17 Downloads (Pure)
  • Power to the Electric Car People: The Infrastructuring of Charging

    Svangren, M. K., Persson, J. S., Nielsen, P. A. & Skov, M. B., 8 okt. 2022, NordiCHI'22 - Proceedings of the 12th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, s. 1-12 15

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    26 Downloads (Pure)
  • Quantifying Synthesis and Fusion and their Impact on Machine Translation

    Oncevay, A., Ataman, D., van Berkel, N., Haddow, B., Birch, A. & Bjerva, J., 2022, NAACL 2022 - 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference. Association for Computational Linguistics, s. 1308-1321 14 s. (NAACL 2022 - 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    2 Citationer (Scopus)
  • QuoGNN: Quotient Graph Neural Network for Urban Flow Forecasting

    Gou, X., Han, P. & Zhang, X., 20 dec. 2022, 2022 IEEE International Conference on Big Data (Big Data). IEEE, s. 727-733 7 s. 10020795

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
  • REGROW: Reimagining Global Crowdsourcing for Beter Human-AI Collaboration

    Alorwu, A., Savage, S., van Berkel, N., Ustalov, D., Drutsa, A., Oppenlaender, J., Bates, O., Hettiachchi, D., Gadiraju, U., Goncalves, J. & Hosio, S., apr. 2022, CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 1-7 88. (Conference on Human Factors in Computing Systems - Proceedings).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • Resilience-Focused Monitoring Framework for Edge Systems.

    Klitgaard, A. S., Sønderby, A. A., Jørgensen, H. S., Petersen, K. W., Dongo, J. & Albano, M., 2022, 2022 IEEE International Conference on Edge Computing and Communications (EDGE). IEEE, s. 153-158 6 s. (IEEE International Conference on Edge Computing and Communications (EDGE)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • RetroGraph: Retrosynthetic Planning with Graph Search

    Xie, S., Yan, R., Han, P., Xia, Y., Wu, L., Guo, C., Yang, B. & Qin, T., 14 aug. 2022, KDD 2022 - Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, s. 2120-2129 10 s. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    11 Citationer (Scopus)
  • R-MPLS: Recursive Protection for Highly Dependable MPLS Networks

    Schmid, S., Schou, M. K., Srba, J. & Vanerio, J., 30 nov. 2022, CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, s. 276-292 17 s. (CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    13 Downloads (Pure)
  • Roadmapping in the Digital Transformation Literature

    Zada, A. M., Persson, J. S. & Nielsen, P. A., 2022, Software Business 13th International Conference. Carroll, N., Nguyen-Duc, A., Wang, X. & Stray, V. (red.). Springer, Bind 463. s. 35-50 16 s. (Lecture Notes in Business Information Processing).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    126 Downloads (Pure)
  • Robust and Explainable Autoencoders for Unsupervised Time Series Outlier Detection

    Kieu, T., Yang, B., Guo, C., Jensen, C. S., Zhao, Y., Huang, F. & Zheng, K., 2022, Proceeding of the 38th IEEE International Conference on Data Engineering, ICDE 2022. IEEE, s. 3038-3050 13 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    17 Citationer (Scopus)
  • Robust Computation Tree Logic

    Nayak, S. P., Neider, D., Roy, R. & Zimmermann, M., 2022, NASA Formal Methods, NFM 2022: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (red.). Springer, s. 538-556 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13260 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    7 Downloads (Pure)
  • Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

    Nayak, S. P., Neider, D. & Zimmermann, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 149-173 25 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13701 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    23 Downloads (Pure)
  • Runtime Verification as Documentation

    Dams, D., Havelund, K. & Kauffman, S., okt. 2022, Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022. Margaria, T. & Steffen, B. (red.). Springer, s. 157-173 17 s. (Lecture Notes in Computer Science, Bind 13702).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • Scene Re-ranking for Recommendation

    Han, P. & Shang, S., 2022, 2022 IEEE 24th International Workshop on Multimedia Signal Processing, MMSP 2022. IEEE, (2022 IEEE 24th International Workshop on Multimedia Signal Processing, MMSP 2022).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)
  • Scheduling Energy Flexible Devices Under Constrained Peak Load Consumption in Smart Grid

    Chakraborty, N., Chakraborty, R. & Kalaimannan, E., 2022, Proceedings - 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022. IEEE Signal Processing Society, s. 316-317 2 s. (Proceedings - 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Semantic Segmentation of AIS Trajectories for Detecting Complete Fishing Activities

    Wu, S., Zimanyi, E., Sakr, M. & Torp, K., 25 aug. 2022, Proceedings - 2022 23rd IEEE International Conference on Mobile Data Management, MDM 2022. IEEE, s. 419-424 6 s. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2022-June).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • Setting Goals in a Digital Transformation of Environmental Assessment: A Case Study

    Zada, A. M., Nielsen, P. A. & Persson, J. S., 2022, Co-Creating for Context in Prospective Transfer & Diffusion of IT: Proceedings of IFIP WG 8.6 Conference. Elbanna, A., McLoughlin, S., Dwivedi, Y. K., Donnellan, B. & Wastell, D. (red.). Springer, s. 145-162 18 s. (Lecture Notes in Business Information Processing).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    54 Downloads (Pure)
  • SHACL and ShEx in the Wild: A Community Survey on Validating Shapes Generation and Adoption

    Rabbani, K., Lissandrini, M. & Hose, K., 25 apr. 2022, WWW 2022 - Companion Proceedings of the Web Conference 2022. Association for Computing Machinery, s. 260-263 4 s. (WWW 2022 - Companion Proceedings of the Web Conference 2022).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    6 Citationer (Scopus)
  • ShaderNet: Graph-based Shader Code Analysis to Accelerate GPU's Performance Improvement

    Zhao, L., Khan, A. & Luo, R., 12 jun. 2022, Proceedings of the 5th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems (GRADES) and Network Data Analytics (NDA), GRADES-NDA 2022. Kalavri, V. & Salihoglu, S. (red.). GRADES-NDA '22: Proceedings of the 5th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA), Philadelphia, Pennsylvania, USA, 12 June 2022: Association for Computing Machinery, 3

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Shaping Romance: Mediating Intimacy for Co-located Couples

    Christensen, A. E., Magnussen, M. H., Seindal, T. S. & Raptis, D., 15 sep. 2022, Proceedings of the 33rd Australian Conference on Human-Computer Interaction, OzCHI 2021. Buchanan, G., Davis, H., Al Mahmud, A., Sarsenbayeva, Z., Soro, A., Munoz, D., Potter, L. E., Taylor, J. L. & Tsimeris, J. (red.). Association for Computing Machinery, s. 86-98 13 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
    94 Downloads (Pure)
  • Solving String Theories Involving Regular Membership Predicates Using SAT

    Kulczynski, M., Lotz, K., Nowotka, D. & Poulsen, D. B., 23 aug. 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (red.). 1 udg. Springer, Bind 13255. s. 134-151 18 s. (Lecture Notes in Computer Science, Bind 13255).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • Spatial Data Quality in the IoT Era: Management and Exploitation

    Li, H., Tang, B., Lu, H., Cheema, M. A. & Jensen, C. S., 2022, SIGMOD 2022 - Proceedings of the 2022 International Conference on Management of Data. Association for Computing Machinery, s. 2474-2482 9 s. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    4 Citationer (Scopus)
    17 Downloads (Pure)
  • Spatial Queries for Indoor Location-based Services

    Liu, T., 2022, Proceedings - 2022 23rd IEEE International Conference on Mobile Data Management, MDM 2022. IEEE, s. 322-324 3 s. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2022-June).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Spatio-temporal graph convolutional network for stochastic traffic speed imputation

    Cuza, C. E. M., Ho, N., Zacharatou, E. T., Pedersen, T. B. & Yang, B., 1 nov. 2022, 30th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, ACM SIGSPATIAL GIS 2022. Renz, M., Sarwat, M., Nascimento, M. A., Shekhar, S. & Xie, X. (red.). Association for Computing Machinery, s. 1-12 14. (GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    39 Downloads (Pure)
  • Spatio-Temporal Trajectory Similarity Learning in Road Networks

    Fang, Z., Du, Y., Zhu, X., Hu, D., Chen, L., Gao, Y. & Jensen, C. S., 2022, Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. s. 347-356 10 s. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    8 Citationer (Scopus)
  • SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

    Bauer-Marquart, F., Boetius, D., Leue, S. & Schilling, C., 2022, Model Checking Software: 28th International Symposium, SPIN 2022. Legunsen, O. & Rosu, G. (red.). Springer, s. 79-96 18 s. (Lecture Notes in Computer Science, Bind 13255).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    1 Citationer (Scopus)
  • Speed and energy consumption for electrical vehicles

    David, R. S., Zimányi, E., Torp, K. & Sakr, M., 1 nov. 2022, Proceedings of the 15th ACM SIGSPATIAL International Workshop on Computational Transportation Science, IWCTS 2022. Berres, A., Kurte, K. & Xu, H. (red.). Association for Computing Machinery, s. 80-89 10 s. (Proceedings of the 15th ACM SIGSPATIAL International Workshop on Computational Transportation Science, IWCTS 2022).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)
  • Spicing It Up: From Ubiquitous Devices to Tangible Things Through Provocation

    Jensen, R. H., Encinas, E. & Raptis, D., 13 feb. 2022, TEI 2022 - Proceedings of the 16th International Conference on Tangible, Embedded, and Embodied Interaction: TEI '22. Association for Computing Machinery, s. 1-15 33

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    7 Citationer (Scopus)
    120 Downloads (Pure)
  • Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

    Arora, S., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., 23 aug. 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (red.). Springer, s. 61-78 18 s. (Lecture Notes in Computer Science, Bind 13255).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Statistical Performance Verification of the FS-MPC Algorithm Applied to the Matrix Converter

    Novak, M., Grobelna, I., Nyman, U., Szcześniak, P. & Blaabjerg, F., 1 jul. 2022, 2022 International Power Electronics Conference (IPEC-Himeji 2022- ECCE Asia). IEEE Press, s. 76-82 7 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    98 Downloads (Pure)
  • STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego

    Goorden, M., Jensen, P. G., Larsen, K. G., Samusev, M., Srba, J. & Zhao, G., 2022, International Symposium on Automated Technology for Verification and Analysis: Automated Technology for Verification and Analysis . Bouajjani, A., Holík, L. & Wu, Z. (red.). Springer, s. 327-333 7 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    97 Downloads (Pure)
  • Sustainable Foodtures: Exploring Roles of Future Technology in Sustainable Food Shopping

    Lindrup, M., Cheon, E., Skov, M. B., Raptis, D. & Comber, R., 8 okt. 2022, Participative Computing for Sustainable Futures - Proceedings of the 12th Nordic Conference on Human-Computer Interaction, NordiCHI 2022. Association for Computing Machinery, 3546641

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)
  • Synthesis of Parametric Hybrid Automata from Time Series

    García Soto, M., Henzinger, T. A. & Schilling, C., 2022, Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (red.). Springer, s. 337-353 17 s. (Lecture Notes in Computer Science, Bind 13505).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    1 Citationer (Scopus)
  • Tangible Self-Report Devices: Accuracy and Resolution of Participant Input

    van Berkel, N., Merritt, T., Bruun, A. & Skov, M. B., 13 feb. 2022, TEI 2022 - Proceedings of the 16th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, 3501309. (ACM International Conference Proceeding Series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    3 Citationer (Scopus)
  • Task Assignment with Federated Preference Learning in Spatial Crowdsourcing

    Liu, J., Deng, L., Miao, H., Zhao, Y. & Zheng, K., 2022, CIKM '22: Proceedings of the 31st ACM International Conference on Information & Knowledge Management. Association for Computing Machinery, s. 1279-1288

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    7 Citationer (Scopus)
  • Task Publication Time Recommendation in Spatial Crowdsourcing

    Chen, X., Zhao, Y. & Zheng, K., 2022, CIKM '22: Proceedings of the 31st ACM International Conference on Information & Knowledge Management. Association for Computing Machinery, s. 232–241

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)
  • The Complexity of Evaluating Nfer

    Kauffman, S. & Zimmermann, M., jul. 2022, Theoretical Aspects of Software Engineering, TASE 2022: 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (red.). Springer, s. 388-405 18 s. (Lecture Notes in Computer Science, Bind 13299).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    12 Downloads (Pure)
  • The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures

    Cuijpers, P. J. L., Schmid, S., Schnepf, N. & Srba, J., 2022, 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'22). IEEE, s. 239-250

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)
  • The HERD Project: Human-Multi-Robot Interaction in Search & Rescue and in Farming

    Christensen, A. L., Grøntved, K. A. R., Oanh Hoang, M-T., van Berkel, N., Skov, M., Scovill, A., Edwards, G., Geipel, K. R., Dalgaard, L., Lundquist, U. P. S., Constantiou, I., Lehrer, C. & Merritt, T., 2022, Adjunct Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems. s. 1-4 4 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
  • The Troubling Cups: Making Trouble at Work about Inequalities in Pay

    Als, N. K. K., Corlin Mikkelsen, J. & Raptis, D., 8 okt. 2022, Participative Computing for Sustainable Futures, NordiCHI 2022: Proceedings of the 12th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, s. 1-12 45

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
    100 Downloads (Pure)
  • Timed Automata Learning via SMT Solving

    Tappler, M., Aichernig, B. K. & Lorber, F., 2022, NASA Formal Methods: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (red.). Springer, s. 489-507 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13260 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)
  • Transforming RDF-star to Property Graphs: A Preliminary Analysis of Transformation Approaches

    Abuoda, G., Dell'Aglio, D., Keen, A. & Hose, K., nov. 2022, QuWeDa 2022: 6th Workshop on Storing, Querying and Benchmarking Knowledge Graphs. CEUR Workshop Proceedings, Bind 3279. s. 17-32 16 s. (CEUR Workshop Proceedings).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    64 Downloads (Pure)
  • Transportation and Technology in Rural Denmark: Communities of Mobility

    Kjærup, M. & Skov, M. B., 15 sep. 2022, Proceedings of the 33rd Australian Conference on Human-Computer Interaction. Association for Computing Machinery, s. 119-129

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)
  • 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 proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    3 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 proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    25 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 proceedingKonferenceartikel i proceedingForskningpeer 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 proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    16 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 proceedingKonferenceartikel i proceedingForskningpeer 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 proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)