Found 3465 results
DIME Days (ISoLA 2022 Track Introduction). Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering.
.
2022. Diversification and Solvency II: the capital effect of portfolio swaps on non-life insurers . The Geneva Papers on Risk and Insurance-Issues and Practice,. :1-34.
.
2022. Do you really understand me? An analysis of cultural intelligence in global projects Procedia Computer Science. 196:824-831.
.
2022. DSL-based Interoperability and Integration in the Smart Manufacturing Digital Thread. Electronic Communications of the EASST.
.
2022. Dynamic Service Placement in Multi-Access Edge Computing: A Systematic Literature Review. IEEE Access. 10:32639-32688.
.
2022. The effect of computer mouse mass on target acquisition performance among action video gamers. Applied Ergonomics. 99:103637.
.
2022. The Energy Cost of the Visitor Pattern. 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME).
.
2022. Engineering Forensic-Ready Software Systems Using Automated Logging . 28th International Conference on Requirements Engineering: Foundation for Software Quality.
.
2022. Engineering of Digital Twins for Cyber-Physical Systems. Leveraging Applications of Formal Methods, Verification and Validation. Practice.
.
2022. E-Scooter Rider detection and classification in dense urban environments. Results in Engineering. 16:100677.
.
2022. Evolution of the Historian Data Entry Application: Supporting Transcribathons in the Digital Humanities through MDD. 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC).
.
2022. Examining the Adoption of Artificial Intelligence for Digital Transformation. 30th European Conference on Information Systems.
.
2022. Excommunication: Transforming Calculus Specifications to Remove Internal Communication. Formal Methods: Foundations and Applications.
.
2022. Executable Documentation: Test-First in Action. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering.
.
2022. Explainable Artificial Intelligence (XAI) in Insurance. Risks. 10:230.
.
2022. Exploiting optimised communities in directed weighted graphs for link prediction. Online Social Networks and Media. 31:100222.
.
2022. .
2022. Exploring Human Resource Management Practices in University Initial Teacher Education: An Analytical Framework. Journal of Education Human Resources.
.
2022. Exploring new frontiers of education using humanoid robots – a case study of patient centred innovation in digital health education. Irish Educational Studies. 41:107-115.
.
2022. Exploring trans-generational and trans-institutional learning: educational action research possibilities in a virtual environment. Irish Educational Studies. :1-19.
.
2022. A Fast and Effective Graph-Based Resource Allocation and Power Control Scheme in Vehicular Network Slicing. 2022 IEEE International Symposium on Broadband Multimedia Systems and Broadcasting (BMSB).
.
2022. Fast and Efficient Scene Categorization for Autonomous Driving using VAEs . Irish Machine Vision and Image Processing Conference.
.
2022. .
2022. Forensic Readiness of Industrial Control Systems Under Stealthy Attacks. Computers & Security. 125:103010.
.
2022. The Forgotten Margins of AI Ethics. 2022 ACM Conference on Fairness, Accountability, and Transparency.
.
2022.