Publikationer pr. år
Publikationer pr. år
Publikationer
- 1 - 50 ud af 5.475 resultater
Søgeresultater
-
2025
Robust probabilistic temporal logics
Zimmermann, M., feb. 2025, I: Information Processing Letters. 188, 106522.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
The Complexity of Data-Free Nfer
Kauffman, S., Guldstrand Larsen, K. & Zimmermann, M., 2025, Runtime Verification - 24th International Conference, RV 2024, Proceedings. Ábrahám, E. & Abbas, H. (red.). Springer Science+Business Media, s. 174-191 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15191 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
The Reachability Problem for Neural-Network Control Systems
Schilling, C. & Zimmermann, M., 2025, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Selected Papers. Steffen, B. (red.). Springer Science+Business Media, s. 455-469 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14129 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang -
2024
60-YEAR Remote Sensing Observations Revealed Cross-Cycle Evolution of the Brunt Ice Shelf in the Context of Global Warming
Cheng, Y., Xue, J., Yu, H. & Hai, G., 8 mar. 2024, I: ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences. s. 99-105 7 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgangFil3 Downloads (Pure) -
A BIT OF NONDETERMINISM MAKES PUSHDOWN AUTOMATA EXPRESSIVE AND SUCCINCT
Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., jan. 2024, I: Logical Methods in Computer Science. 20, 1, s. 3:1–3:39 39 s., 39.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)2 Downloads (Pure) -
A Call for Consistency in Reporting Typological Diversity
Poelman, W., Ploeger, E., de Lhoneux, M. & Bjerva, J., 17 mar. 2024, Proceedings of the 6th Workshop on Research in Computational Linguistic Typology and Multilingual NLP. Association for Computational LinguisticsPublikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
A Crystal Knowledge-Enhanced Pre-training Framework for Crystal Property Estimation
Yu, H., Song, Y., Hu, J., Guo, C., Yang, B. & Jensen, C. S., 2024, Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track - European Conference, ECML PKDD 2024, Proceedings. Bifet, A., Krilavičius, T., Miliou, I. & Nowaczyk, S. (red.). Berlin, Heidelberg: Springer, s. 231-246 16 s. (Joint European Conference on Machine Learning and Knowledge Discovery in Databases).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning
Åben adgang -
ACSmt: A plugin for eclipse papyrus to model systems of systems
Remond Harbo, S. K., Palmelund Voldby, E., Madsen, J. & Albano, M., jan. 2024, I: Science of Computer Programming. 231, 103008.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang1 Citationer (Scopus) -
ActiveAnno3D - An Active Learning Framework for Multi-Modal 3D Object Detection
Ghita, A., Antoniussen, B., Zimmer, W., Greer, R., Creß, C., Møgelmose, A., Trivedi, M. & Knoll, A. C., 2 jun. 2024, (Accepteret/In press) 35th IEEE Intelligent Vehicles Symposium (IV) 2024.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Adaptive Command Filtered Control for a Class of Random Nonlinear Systems Under Model-Based Event-Triggered Control Design
Xi, R., Zhang, H., Huang, H. & Li, Y., 1 aug. 2024, I: IEEE Transactions on Systems, Man, and Cybernetics: Systems. 54, 8, s. 5074-5084 11 s., 10528360.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
1 Citationer (Scopus) -
Adaptive Robust Tracking Control with Active Learning for Linear Systems with Ellipsoidal Bounded Uncertainties
Ma, X., Zhang, S., Li, Y., Qian, F., Sun, Z. & Huang, T., 2024, I: IEEE Transactions on Automatic Control. 69, 11, s. 8096 - 8103 8 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Advanced Control Strategies for Enhancing Energy Efficiency in Domestic Heating Systems
Riaz, I., 2024, Aalborg University Open Publishing.Publikation: Ph.d.-afhandling
Åben adgangFil147 Downloads (Pure) -
A formal understanding of computational empathy in interactive agents
Brännström, A., Wester, J. & Nieves, J. C., jun. 2024, I: Cognitive Systems Research. 85, 21 s., 101203.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil4 Downloads (Pure) -
A Framework for Microservice Organizational Structure Optimization
Li, X. & Albano, M., 2024, Proceedings - 2024 IEEE/ACM International Workshop New Trends in Software Architecture, SATrends 2024. IEEE (Institute of Electrical and Electronics Engineers), s. 18-21 4 s. (Proceedings - 2024 IEEE/ACM International Workshop New Trends in Software Architecture, SATrends 2024).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 Downloads (Pure) -
Against All Odds: Overcoming Typology, Script, and Language Confusion in Multilingual Embedding Inversion Attacks
Chen, Y., Biswas, R., Lent, H. C. & Bjerva, J., 21 aug. 2024, (Afsendt) 11 s.Publikation: Working paper/Preprint › Preprint
-
A generic type system for higher-order Ψ-calculi
Hüttel, H., Lybech, S., Bendixen, A. R. & Bojesen, B. B., okt. 2024, I: Information and Computation. 300, 26 s., 105190.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil1 Downloads (Pure) -
AIDE: Antithetical, Intent-based, and Diverse Example-Based Explanations.
Nematov, I., Sacharidis, D., Sagi, T. & Hose, K., 16 okt. 2024, Proceedings of the Seventh AAAI/ACM Conference on AI, Ethics, and Society (AIES-24) . AAAI Press Association for the Advancement of Artificial Intelligence, Bind 7. 12 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil -
A Large Scale Test Corpus for Semantic Table Search
Bidragets oversatte titel :En Stor-Skala Test Samling for Semantic Tabelsøgning Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil -
An Information Theory-Based Locational Marginal Pricing Solution for Low-Carbon Power Systems
Liu, Z., Huang, B., Du, P., Sun, Q., Maharjan, S., Gao, D. W. & Li, Y., 9 sep. 2024, I: IEEE Transactions on Industrial Informatics. PP, 99, s. 1-12 12 s., 10669845.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Application of Statistical Model Checking for Robustness Comparison of Power Electronics Controllers
Novak, M., Grobelna, I., Nyman, U. & Blaabjerg, F., 23 jun. 2024, 2024 IEEE 15th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2024. IEEE (Institute of Electrical and Electronics Engineers), 6 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil30 Downloads (Pure) -
A Principled Framework for Evaluating on Typologically Diverse Languages
Ploeger, E., Poelman, W., Høeg-Petersen, A. H., Schlichtkrull, A., de Lhoneux, M. & Bjerva, J., jul. 2024, (Afsendt).Publikation: Working paper/Preprint › Preprint
-
A Privacy-Preserving Distributed Economic Dispatch Method for Integrated Port Microgrid and Computing Power Network.
Teng, F., Ban, Z., Li, T., Sun, Q. & Li, Y., maj 2024, I: IEEE Trans. Ind. Informatics. 20, 8, s. 10103-10112 10 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
17 Citationer (Scopus) -
Are You a Real Software Engineer? Best Practices in Online Recruitment for Software Engineering Studies
Alami, A., Zahedi, M. & Ernst, N. A., 16 apr. 2024, Proceedings - 2024 IEEE/ACM International Workshop on Methodological Issues with Empirical Studies in Software Engineering, WSESE 2024. Association for Computing Machinery (ACM), s. 52-57 6 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
A study on the risk stratification for patients within 24 hours of admission for risk of hospital-acquired urinary tract infection using Bayesian network models
Jakobsen, R. S., Nielsen, T. D., Leutscher, P. & Koch, K., 1 mar. 2024, I: Health Informatics Journal. 30, 1, 18 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)15 Downloads (Pure) -
A type system for data flow and alias analysis in ReScript
Lund, N. A. & Hüttel, H., sep. 2024, I: Electronic Proceedings in Theoretical Computer Science. 410, s. 1-53 53 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
A Unified Replay-Based Continuous Learning Framework for Spatio-Temporal Prediction on Streaming Data
Miao, H., Zhao, Y., Guo, C., Yang, B., Zheng, K., Huang, F., Xie, J. & Jensen, C. S., 2024, Proceedings - 2024 IEEE 40th International Conference on Data Engineering, ICDE 2024. IEEE Computer Society Press, s. 1050-1062 13 s. (Proceedings - International Conference on Data Engineering).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
16 Citationer (Scopus) -
AutoCTS++: Zero-shot Joint Neural Architecture and Hyperparameter Search for Correlated Time Series Forecasting
Wu, X., Yang, B., Guo, C., Hu, J. & Jensen, C. S., sep. 2024, I: The VLDB Journal. 33, 5, s. 1743-1770 28 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil262 Downloads (Pure) -
Aya Dataset: An Open-Access Collection for Multilingual Instruction Tuning
Singh, S., Vargus, F., D'souza, D., Karlsson, B. F., Mahendiran, A., Ko, W.-Y., Shandilya, H., Patel, J., Mataciunas, D., O'Mahony, L., Zhang, M., Hettiarachchi, R., Wilson, J., Machado, M., Souza Moura, L., Krzemiński, D., Fadaei, H., Ergün, I., Okoh, I. & Alaagib, A. & 13 flere, , 2024, The 62nd Annual Meeting of the Association for Computational Linguistics . Ku, L.-W., Martins, A. F. T. & Srikumar, V. (red.). Association for Computational Linguistics, s. 11521-11567 47 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus) -
Best Practices for Resource Provisioning Declaration Within the Cognitive Cloud Continuum
Moreschini, S., Albano, M. & Hastbacka, D., 28 aug. 2024, Proceedings of 27th Euromicro Conference Series on Software Engineering and Advanced Applications.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Body-Based Augmented Reality Feedback During Conversations
Pohl, H., sep. 2024, I: Proceedings of the ACM on Human-Computer Interaction. 8, MHCI, s. 1-22 246.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgangFil97 Downloads (Pure) -
Boosting optimal symbolic planning: Operator-potential heuristics
Fišer, D., Torralba, Á. & Hoffmann, J., sep. 2024, I: Artificial Intelligence. 334, s. 1-31 31 s., 104174.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Can Gas Consumption Data Improve the Performance of Electricity Theft Detection?
Liao, W., Zhu, R., Ishizaki, T., Li, Y., Jia, Y. & Yang, Z., 1 jun. 2024, I: IEEE Transactions on Industrial Informatics. 20, 6, s. 8453-8465 13 s., 10472721.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
1 Citationer (Scopus) -
Can Humans Identify Domains?
Barrett, M., Müller-Eberstein, M., Bassignana, E., Pauli, A. B., Zhang, M. & van der Goot, R., maj 2024, The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation. European Language Resources Association (ELRA), s. 2745–2765 21 s. (Proceedings of International Conference on Computational Linguistics (COLING)).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil -
Class-incremental Learning with Causal Relational Replay
Nguyen, T., Kieu, D., Duong, B., Kieu, T., Do, K., Nguyen, T. & Le, B., 15 sep. 2024, I: Expert Systems with Applications. 250, 123901.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
3 Citationer (Scopus) -
Clinical needs and preferences for AI-based explanations in clinical simulation training
Kollerup, N. K., Johansen, S. S., Tolsgaard, M. G., Friis, M. L., Skov, M. B. & van Berkel, N., 3 apr. 2024, (E-pub ahead of print) I: Behaviour and Information Technology. 21 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Coalition-based task assignment with priority-aware fairness in spatial crowdsourcing
Zhao, Y., Zheng, K., Wang, Z., Deng, L., Yang, B., Pedersen, T. B., Jensen, C. S. & Zhou, X., jan. 2024, I: VLDB Journal. 33, 1, s. 163-184 22 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)35 Downloads (Pure) -
Coarse-graining Complex Networks for Control Equivalence
Toller, D., Tribastone, M., Tschaikowski, M. & Vandin, A., 2024, (E-pub ahead of print) I: IEEE Transactions on Automatic Control. s. 1-8 8 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Collaborating with Bots and Automation on OpenStreetMap
van Berkel, N. & Pohl, H., 30 aug. 2024, I: ACM Transactions on Computer-Human Interaction. 31, 3, s. 1-30 30 s., 38.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil1 Downloads (Pure) -
Comfort-aware Lane Change Planning with Exit Strategy for Autonomous Vehicle
Liu, S., Chen, X., Zhao, Y., Su, H., Xia, X. & Zheng, K., 2024, I: I E E E Transactions on Knowledge & Data Engineering. 36, 7, s. 2927 - 2941Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink
Naeem, M., Albano, M., Larsen, K. G. & Nielsen, B., 2024, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Proceedings. Kofroň, J., Margaria, T. & Seceleanu, C. (red.). Springer Science+Business Media, s. 153-169 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14390 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus) -
Comparative Evaluation of Converter Control Impact on Torsional Dynamics of Type-IV Grid-Forming Wind Turbines
Liu, S., Cirstea, R. G., Wu, H., Bosma, T. & Wang, X., 2024, I: IEEE Transactions on Sustainable Energy. 15, 4, s. 2803-2814 12 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Compositional Control Synthesis for Water Management System
Kim, E. H., Larsen, K. G., Goorden, M. & Nielsen, T. D., 28 feb. 2024, 2024 European Control Conference, ECC 2024. s. 3130-3137 8 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Computing Planning Centroids and Minimum Covering States Using Symbolic Bidirectional Search
Pozanco, A., Torralba, Á. & Borrajo, D., 30 maj 2024, Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024. Bernardini, S. & Muise, C. (red.). AAAI Press, s. 455-463 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 34).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang -
Contraction heuristics for tensor decision diagrams
Larsen, C. B., Olsen, S. B., Larsen, K. G. & Schilling, C., 2024, I: Entropy. 26, 12, 19 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Controlling Stormwater Detention Ponds under Partial Observability
Kim, E. H., Goorden, M., Larsen, K. G. & Nielsen, T. D., okt. 2024, I: Journal of Logical and Algebraic Methods in Programming. 141, s. 1-19 19 s., 100979.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil1 Downloads (Pure) -
Creating and Querying Data Cubes in Python using pyCube
Vang, S., Thomsen, C. & Pedersen, T. B., 2024, Big Data Analytics and Knowledge Discovery. 15 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
CreoleVal: Multilingual Multitask Benchmarks for Creoles
Lent, H., Tatariya, K., Dabre, R., Chen, Y., Fekete, M., Ploeger, E., Zhou, L., Armstrong, R.-A., Eijansantos, A., Malau, C., Heje, H. E., Lavrinovics, E., Kanojia, D., Belony, P., Bollmann, M., Grobol, L., de Lhoneux, M., Hershcovich, D., DeGraff, M. & Søgaard, A. & 1 flere, , 4 sep. 2024, I: Transactions of the Association for Computational Linguistics (TACL). 12, s. 950-978 29 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil4 Downloads (Pure) -
Cybersecurity Training: Improving Platforms Through Usability Studies
Saddiqa, M., Broholm, R. & Pedersen, J. M., 2024, Proceedings of the International Conference on Cybersecurity, Situational Awareness and Social Media - Cyber Science 2023. Onwubiko, C., Rosati, P., Rege, A., Erola, A., Bellekens, X., Hindy, H. & Jaatun, M. G. (red.). Springer, s. 131-152 22 s. (Springer Proceedings in Complexity).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Cyber Security Training: Improving Platforms Through Usability Studies
Saddiqa, M., Broholm, R. & Pedersen, J. M., 2024, (Accepteret/In press) Cyber Science 2023 conference: Proceedings in Complexity book series by Springer.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Data-Driven Bayesian Optimization Framework for Rapidly Developing Novel Wideband, Low-Profile Dipole Antenna with 3D Printed Technology
Sun, Y., Zhang, J., Tibo, A., Aghabeyki, P., Wei, Z., Luo, S. & Zhang, S., okt. 2024, (Accepteret/In press) I: I E E E Transactions on Antennas and Propagation. 13 s., 10747834.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil67 Downloads (Pure)