34 results
Search Results
2. Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers
- Author
-
Alessandro Aldini and Alessandro Aldini
- Subjects
- Software engineering, Computer systems, Computer science, Computer programming
- Abstract
This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6–10, 2023 The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions. SEFM 2023 Collocated Workshops presents the following two workshops: 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023) 11th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023)
- Published
- 2024
3. Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers
- Author
-
Nina Gierasimczuk, Fernando R. Velázquez-Quesada, Nina Gierasimczuk, and Fernando R. Velázquez-Quesada
- Subjects
- Computer science, Mathematical logic, Logic programming, Software engineering, Computer networks
- Abstract
This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.
- Published
- 2024
4. Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers
- Author
-
Andrew Reynolds, Serdar Tasiran, Andrew Reynolds, and Serdar Tasiran
- Subjects
- Computer science, Computers, Software engineering, Computer systems, Computers, Special purpose, Logic programming
- Abstract
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.
- Published
- 2024
5. Preface.
- Author
-
Wu, En-Hua and Sheng, Bin
- Subjects
COMPUTER graphics ,COMPUTATIONAL mathematics ,SOFTWARE engineering ,COMPUTER engineering ,COMPUTER science ,COMPUTER-generated imagery - Abstract
The text is a preface to the Journal of Computer Science & Technology, specifically a special section on the Computer Graphics International (CGI) conference. The CGI conference is a prestigious international academic conference in the field of computer graphics and virtual reality. It aims to foster collaboration between different disciplines and showcase advancements in computer graphics technology. The CGI 2023 conference was held in Shanghai, China, and featured discussions on various topics including computer graphics, virtual reality, geometric design, animation, and healthcare. The special section in the journal includes five selected papers that cover a range of topics and provide an overview of the latest trends in computer graphics and virtual reality. The preface expresses gratitude to the authors and reviewers and encourages readers to explore the special section to stay updated on the developments in these fields. [Extracted from the article]
- Published
- 2024
- Full Text
- View/download PDF
6. Advances into exascale computing.
- Author
-
Wyrzykowski, Roman and Szymanski, Boleslaw K.
- Subjects
PARALLEL algorithms ,COMPUTATIONAL mathematics ,DISTRIBUTED algorithms ,ARTIFICIAL intelligence ,DISTRIBUTED computing ,COMPUTER science ,SOFTWARE engineering - Abstract
This document is a summary of a special issue of the journal Concurrency and Computation: Practice and Experience, which contains eight selected papers from the 14th International Conference on Parallel Processing and Applied Mathematics (PPAM 2022). The conference focused on topics related to high-performance computing (HPC) and included discussions on emerging technologies, algorithms, and software tools. The selected papers cover a range of subjects, including the convergence of iterative methods for solving nonlinear equations, testing interval arithmetic libraries, automatic performance tuning for symmetric eigenvalue problems, GPU computing, simulation of molecular magnetism, load balancing in distributed memory systems, predicting execution time of computational workloads, and resource selection for cloud-based applications. The papers provide valuable insights and advancements in the field of HPC. [Extracted from the article]
- Published
- 2024
- Full Text
- View/download PDF
7. Guest editorial for the special section on SEFM 2020 and 2021.
- Author
-
de Boer, Frank S. and Cerone, Antonio
- Subjects
- *
COMPUTER science , *SOFTWARE compatibility , *SOFTWARE verification , *STOCHASTIC learning models , *SOFTWARE engineering , *SOFTWARE frameworks - Abstract
This document is a guest editorial for the special section on SEFM 2020 and 2021 in the journal Software & Systems Modeling. The International Conference on Software Engineering and Formal Methods (SEFM) aims to bring together practitioners and researchers to advance the state of the art in formal methods and their application in the software industry. This special section includes selected papers from SEFM 2020 and 2021, which were held virtually during the COVID pandemic. Each article in this section has undergone rigorous peer review and has been revised and extended compared to its conference version. The selected papers cover topics such as embedded software portability and verification, nontermination inference, quantitative modeling and analysis of BDI agents, lazy model checking for recursive state machines, P-stable abstractions of hybrid systems, fairness and guarantees for extended bounded response LTL+P synthesis, counterexample classification, analyzing the impact of human errors on interactive service robotic scenarios, and active model learning of stochastic reactive systems. [Extracted from the article]
- Published
- 2024
- Full Text
- View/download PDF
8. Editorial: Applied Computing 2023.
- Author
-
Aldeen, Yousra Abdul Alsahib S., Yusoff, Yusliza, and Kadhim, Samira Naji
- Subjects
INFORMATION technology ,COMPUTER science ,INFORMATION technology security ,SOFTWARE engineering ,CRITICAL thinking ,PROGRAMMING languages - Abstract
Copyright of Baghdad Science Journal is the property of Republic of Iraq Ministry of Higher Education & Scientific Research (MOHESR) and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
- Published
- 2024
- Full Text
- View/download PDF
9. Guest editorial to the special section on SEFM'22.
- Author
-
Schlingloff, Bernd-Holger and Chai, Ming
- Subjects
- *
ARTIFICIAL intelligence , *RECURRENT neural networks , *SOFTWARE engineering , *COMPUTER science , *SOFTWARE verification , *ENGINEERING models - Abstract
This document is a guest editorial for a special section in the journal "Software & Systems Modeling." The special section features revised and extended versions of selected papers from the 20th International Conference on Software Engineering and Formal Methods (SEFM'22), which was held in Berlin, Germany in September 2022. The SEFM conference series aims to advance the state of the art in formal methods and their integration into practical software engineering methods and tools. The special section includes papers on topics such as user-centric analysis, automated generation of finite automata, formal specifications of smart contracts, distributed verification of programs, and abstraction-based verification of neural networks. The authors express their gratitude to the authors and reviewers for their contributions and thank Springer for their support in publishing the special section. [Extracted from the article]
- Published
- 2024
- Full Text
- View/download PDF
10. On IIoT and AI-based optimization.
- Author
-
MIKOŁAJEWSKI, Dariusz, CZERNIAK, Jacek, PIECHOWIAK, Maciej, WĘGRZYN-WOLSKA, Katarzyna, and KACPRZYK, Janusz
- Subjects
ARTIFICIAL intelligence ,SIMULATED annealing ,INFORMATION technology ,MEDICAL sciences ,COMPUTER science ,SOFTWARE engineering - Abstract
The document is an editorial from the Bulletin of the Polish Academy of Sciences: Technical Sciences. It introduces a special section on IIoT (Industrial Internet of Things) and AI-based optimization. The aim of the section is to present the latest developments and applications in these areas, including methods and systems in IIoT, IoT infrastructure, and applications of AI in IoT. The topics covered align with current research trends in computer science, telecommunications, and mechanical engineering. The document also highlights the importance of integrating intelligent machines and systems in industry and the role of AI in solving complex problems. [Extracted from the article]
- Published
- 2024
- Full Text
- View/download PDF
11. Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings
- Author
-
Laura Kovács, Ana Sokolova, Laura Kovács, and Ana Sokolova
- Subjects
- Machine theory, Computer science, Software engineering, Logic programming, Algorithms, Computer science—Mathematics
- Abstract
This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25–27, 2024. The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also contains two invited talks in full paper length. The contributions in these proceedings cover topics from computability and reachability; automata and complexity; linear systems and recurrences; and games and abstractions.
- Published
- 2024
12. Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
- Author
-
Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi, Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, and Matteo Rossi
- Subjects
- Software engineering, Computer science, Computers, Special purpose, Programming languages (Electronic computers), Microprogramming, Natural language processing (Computer science)
- Abstract
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows: Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.
- Published
- 2024
13. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VII
- Author
-
Leonardo Franco, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot, Leonardo Franco, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, and Peter M. A. Sloot
- Subjects
- Computer science, Artificial intelligence, Computer engineering, Computer networks, Software engineering, Computer science—Mathematics
- Abstract
The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science
- Published
- 2024
14. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part III
- Author
-
Leonardo Franco, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot, Leonardo Franco, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, and Peter M. A. Sloot
- Subjects
- Computer science, Artificial intelligence, Computer engineering, Computer networks, Software engineering, Computer science—Mathematics
- Abstract
The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science
- Published
- 2024
15. Symbolic Computation in Software Science : 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings
- Author
-
Stephen M. Watt, Tetsuo Ida, Stephen M. Watt, and Tetsuo Ida
- Subjects
- Artificial intelligence, Software engineering, Computer science
- Abstract
This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024. The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented emphasize formal analysis and proof of theorems invarious applications, foundational work on rewrite systems, and sound handling of branches of inverse functions.
- Published
- 2024
16. Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings
- Author
-
Anne E. Haxthausen, Wendelin Serwe, Anne E. Haxthausen, and Wendelin Serwe
- Subjects
- Compilers (Computer programs), Software engineering, Application software, Artificial intelligence, Computer science, Computer engineering, Computer networks
- Abstract
This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024. The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.
- Published
- 2024
17. Search-Based Software Engineering : 16th International Symposium, SSBSE 2024, Porto De Galinhas, Brazil, July 15, 2024, Proceedings
- Author
-
Gunel Jahangirova, Foutse Khomh, Gunel Jahangirova, and Foutse Khomh
- Subjects
- Software engineering, Operating systems (Computers), Computer networks, Computer science, Artificial intelligence
- Abstract
This book constitutes the refereed proceedings of the 16th International Symposium on Search-Based Software Engineering, SSBSE 2024, held in Porto de Galinhas, Brazil, during July 2024. The 8 papers included in these proceedings were carefully reviewed and selected from 19 submissions. The papers deal with various aspects and applications of search-based software engineering, focusing on engineering challenges and the application of automated approaches and optimization techniques from AI and machine learning research.
- Published
- 2024
18. Formal Techniques for Distributed Objects, Components, and Systems : 44th IFIP WG 6.1 International Conference, FORTE 2024, Held As Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings
- Author
-
Valentina Castiglioni, Adrian Francalanza, Valentina Castiglioni, and Adrian Francalanza
- Subjects
- Software engineering, Operating systems (Computers), Computer networks, Computer science, Artificial intelligence
- Abstract
This book constitutes the refereed proceedings of the 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held in Groningen, The Netherlands, in June 2024, as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024 during June 17–21, 2024. The 11 full papers and 2 short papers included in this book were carefully reviewed and selected from 33 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed systems.
- Published
- 2024
19. NASA Formal Methods : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings
- Author
-
Nathaniel Benz, Divya Gopinath, Nija Shi, Nathaniel Benz, Divya Gopinath, and Nija Shi
- Subjects
- Software engineering, Computer science, Computer engineering, Computer networks, Artificial intelligence, Computer simulation
- Abstract
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions. The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.
- Published
- 2024
20. Identifying knowledge evolution in computer science from the perspective of academic genealogy.
- Author
-
Fu, Zhongmeng, Cao, Yuan, and Zhao, Yong
- Subjects
MENTORING ,COMPUTER science ,ARTIFICIAL intelligence ,SOFTWARE engineering ,COMPUTER graphics ,TRADITIONAL knowledge ,INFORMATION sharing - Abstract
Academic genealogy (AG) provides valuable insights into the transmission of knowledge from mentors to mentees, revealing the evolution of knowledge within the academic community. This study explores the intricate dynamics of knowledge evolution within academic genealogies, utilizing on a dataset comprising 16,852 computer science researchers, 613,277 papers, and 11,988 mentorship relationships. By focusing on small-scale knowledge units, our analysis aims to uncover patterns of knowledge inheritance and mutation across different subfields of computer science and highlights several aspects of knowledge evolution in computer science. Firstly, computer science is characterized by strong mentorship ties, indicating the significance of knowledge transmission within the field. Additionally, there is a mix of foundational and developing areas, suggesting a field that is growing and diversifying rather than declining, as indicated by linear regression outcomes. Secondly, our research reveals a surge in collaborative knowledge exchange in computer science since 2000, with fields such as Computer-Communication Networks and Software Engineering leading in terms of output and impact. Furthermore, areas like Computer Graphics and Artificial Intelligence stand out for their depth and novelty. Thirdly, we categorize researchers into three types: roots, branches, and leaves, reflecting their role in knowledge transmission. Branch researchers tend to innovate, while leaf researchers show a combination of traditional knowledge uptake and new contributions, illustrating the dynamic flow of ideas within the field. Future research endeavors are encouraged to embrace larger datasets and further fortify our understanding of the topic. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
21. Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops : DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings
- Author
-
Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Erwin Schoitsch, Barbara Gallina, Friedemann Bitsch, Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Erwin Schoitsch, Barbara Gallina, and Friedemann Bitsch
- Subjects
- Computer networks, Image processing—Digital techniques, Computer vision, Information technology—Management, Software engineering, Computer science, Data protection
- Abstract
This book constitutes the proceedings of the Workshops held in conjunction with the 43rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2024, which took place in Florence, Italy, during September 2024. The 36 papers included in this book were carefully reviewed and selected from a total of 64 submissions to the following workshops: DECSoS 2024 – 19th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems SASSUR 2024 - 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems TOASTS 2024 – Towards A Safer Systems'Architecture Through Security WAISE 2024 – 7th International Workshop on Artificial Intelligence Safety Engineering
- Published
- 2024
22. Advanced Information Systems Engineering : 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3–7, 2024, Proceedings
- Author
-
Giancarlo Guizzardi, Flavia Santoro, Haralambos Mouratidis, Pnina Soffer, Giancarlo Guizzardi, Flavia Santoro, Haralambos Mouratidis, and Pnina Soffer
- Subjects
- Information technology—Management, Computers, Software engineering, Operating systems (Computers), Database management, Computer science
- Abstract
This book constitutes the proceedings of the 36th International Conference on Advanced Information Systems Engineering, CAiSE 2024, which was held in Limassol, Cyprus, during June 3-7, 2024. The 36 full papers included in these proceedings were carefully reviewed and selected from 180 submissions. They were organized in topical sections as follows: Process alignment, comparison and discovery; process discovery, monitoring and correction; graphs and graph networks; process modelling and management; prediction, monitoring and planning; data preparation, sharing, and architecture; requirements; process and decision mining; event and process discovery; session trust, security and risk; social aspects and LLMs; model-driven engineering and quantum workflows.
- Published
- 2024
23. Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I
- Author
-
Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova, Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, and Vania Dimitrova
- Subjects
- Artificial intelligence, Computer engineering, Computer networks, Application software, Software engineering, Computer science
- Abstract
This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in September-October 2023. The papers in this volume were presented at the following workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI.
- Published
- 2024
24. Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings
- Author
-
Jane Hillston, Sadegh Soudjani, Masaki Waga, Jane Hillston, Sadegh Soudjani, and Masaki Waga
- Subjects
- Computer science, Computer science—Mathematics, Computer engineering, Computer networks, Software engineering, Artificial intelligence
- Abstract
This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. This year the 21th International Conference on Quantitative Evaluation of SysTems (QEST 2024) and the 22nd International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2024) joint forces and took place as part of the CONFEST 2024 umbrella conference. The 19 full papers presented in this book were carefully reviewed and selected from 33 submissions. They deal with up-to-date topics in quantitative evaluation and verification of systems, focusing on fundamental and practical aspects of systems with quantitative nature, such as probability, timing, and cost, and modeling, design and analysis of computational systems.
- Published
- 2024
25. Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
- Author
-
Jeremy Gibbons, Dale Miller, Jeremy Gibbons, and Dale Miller
- Subjects
- Software engineering, Artificial intelligence, Programming languages (Electronic computers), Computer programming, Computer science, Computer systems
- Abstract
This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024. The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.
- Published
- 2024
26. Advances in Computational Intelligence. MICAI 2023 International Workshops : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13–18, 2023, Proceedings
- Author
-
Hiram Calvo, Lourdes Martínez-Villaseñor, Hiram Ponce, Ramón Zatarain Cabada, Martín Montes Rivera, Efrén Mezura-Montes, Hiram Calvo, Lourdes Martínez-Villaseñor, Hiram Ponce, Ramón Zatarain Cabada, Martín Montes Rivera, and Efrén Mezura-Montes
- Subjects
- Artificial intelligence, Software engineering, Computer vision, Computer science, Data mining, Application software
- Abstract
This conference LNAI 14502 volume constitutes the workshop proceedings of 22nd Mexican International Conference on Artificial Intelligence, held in November 2023 in Mérida, Yucatán, México. The total of 34 papers presented in this volume was carefully reviewed and selected from 54 submissions.The proceedings of MICAI 2023 workshops are structured into three sections: – WILE 2023: 16th Workshop on Intelligent Learning Environments – HIS 2023: 16th Workshop of Hybrid Intelligent Systems – CIAPP 2023: 5th Workshop on New Trends in Computational Intelligence and Applications
- Published
- 2024
27. Findings on Software Engineering Discussed by Investigators at Queen's University Belfast (Delivering Computing Module for the Large Part-time Software Development Class From Pre- To Post-pandemic: an Online Learning Experience).
- Subjects
SOFTWARE engineering ,COMPUTER software development ,ONLINE education ,COMPUTER science ,TEACHING methods - Abstract
A report from Queen's University Belfast discusses the experience of delivering an online learning module for part-time software engineering students during the Covid-19 pandemic. The study compares on-campus learning with the shift to online learning and evaluates the impact of this shift on the students' perception and performance. The research concludes that the adaptation to online learning was successful and provides valuable insights into effective teaching practices in software engineering education. The findings aim to improve the preparation of future software professionals in the IT industry. [Extracted from the article]
- Published
- 2024
28. Infrared Small Target Detection : Theory, Methods, and Algorithms.
- Author
-
Hu Zhu, Yushan Pan, Lizhen Deng, Guoxia Xu, Hu Zhu, Yushan Pan, Lizhen Deng, and Guoxia Xu
- Subjects
- Image processing—Digital techniques, Computer vision, Artificial intelligence, Computer science—Mathematics, Computer science, Software engineering, Programming languages (Electronic computers)
- Abstract
Uncover the secrets of cutting-edge research in “Infrared Small Target Detection,” a crucial resource that delves into the dynamic world of infrared imaging and detection algorithms. This comprehensive book is an indispensable gem for the research community, offering a profound introduction to the theory, methods, and algorithms underlying infrared small object detection. As an invaluable guide, this book explores diverse models and categories of infrared small object detection algorithms, providing meticulous descriptions and comparisons of their strengths and limitations. Perfectly tailored for researchers, practitioners, and students with a passion for infrared imaging and detection, this book equips readers with the necessary knowledge to embark on groundbreaking investigations in this field.Readers can particularly be drawn to the book's methods, results, and topics, encompassing diverse categories of infrared small object detection algorithms and their corresponding advantages and disadvantages. The book also imparts foundational knowledge in mathematical morphology, tensor decomposition, and deep learning, enabling readers to grasp the underlying principles of these advanced algorithms. Experience the key benefits of “Infrared Small Target Detection” as readers gain a profound understanding of theory, methods, and algorithms tailored to infrared small object detection. The comprehensive descriptions and comparisons of various algorithm categories empower readers to select the perfect algorithms for their specific applications. Unlock the potential of this groundbreaking resource with a basic understanding of mathematics, statistics, and image processing. Some familiarity with infrared imaging and detection proves advantageous in fully immersing oneself in the wealth of knowledge presented within these pages.
- Published
- 2024
29. Structures of Computing : A Guide to Practice-Oriented Theory
- Author
-
Egon Börger, Vincenzo Gervasi, Egon Börger, and Vincenzo Gervasi
- Subjects
- Computer science, Software engineering
- Abstract
Structures of Computing explains the behavioral meaning of fundamental concepts of computing from a practical viewpoint and in generic terms, unrestricted by specific computing devices or programming languages. To compute is understood as processing structures by a set of cooperating agents each of which executes an algorithm assigned to it and interacts with the other agents. Part I of the book defines the conceptual constituents of interactive processes: (i) data, i.e. structured objects with associated properties, relations and functions the algorithmic processes operate upon, (ii) basic operations that affect the data in single execution steps, and (iii) control mechanisms that determine the combination of single steps in multi-agent computations where the interaction happens via communication or other forms of data sharing. Part II analyses these constituents concerning (i) methods to achieve process correctness (inspection, experimental validation, reasoning), (ii) principal computational paradigms (architectures, programming styles, communication structures, control patterns from sequential and reflective to concurrent, mixed synchronous/asynchronous and data flow control), and (iii) complexity (power and limits of computing structures). The book is mainly addressed to students and professionals who want to understand the conceptual foundation of computing. It does not assume any specific programming experience but only a basic understanding of what are mechanically executable processes and their descriptions. Any unnecessary formalism is thus avoided, and definitions are formulated as much as possible in natural language, using common mathematical notation only where needed to prevent ambiguities. Numerous examples and exercises serve as comprehension checkpoints.
- Published
- 2024
30. Taming Your Dragon : Addressing Your Technical Debt
- Author
-
Dr. Andrew Richard Brown and Dr. Andrew Richard Brown
- Subjects
- Coding theory, Information theory, Data structures (Computer science), Computer programming, Software engineering, Computer science, User interfaces (Computer systems), Human-computer interaction
- Abstract
Technical debt is an often-overlooked problem that the software industry needs to take more seriously. All organizations are impacted by it, most wish that they had less of it, but need help in understanding the nature of the beast. This book aims to clear up any misconceptions and show you how to implement a sound technical debt management program to suit your company's needs. You'll learn the greatest challenge in solving the technical debt dilemma is not to find solutions to it, but rather to find solutions to the human and organizational issues that lead to that debt. For example, convincing senior stakeholders of the importance of addressing technical debt, getting stakeholders to acknowledge how their actions lead to unintentional debt, and enabling teams to prioritize technical debt over short-term goals. Therefore, this book is divided into three parts: defining technical debt, understanding technical debt, and tackling technical debt. It begins by explaining why technical debt should not be considered a technical problem, but rather a problem of how trade-off decisions are made. You'll then examine how making decisions using the affect heuristic, more commonly known as a “gut feeling,” can lead to unnecessary technical debt, followed by some techniques for combating your vulnerability to this trap. Reducing your organization's level of technical debt is not easy. Taming Your Dragon will show you how to implement a technical debt management program. What You Will Learn Review a new paradigm based on technical debt being a combination of trade-off problems and system problems Understand the many ways that technical debt adversely affects an organization's ability to deliver IT change Create an effective process for addressing technical debt See why analogies are important Who This Book Is For Software teams supporting DevOps, managers, and other business stakeholders looking to implement a technical debt management program.
- Published
- 2024
31. Coding Examples From Simple to Complex : Applications in MATLAB®
- Author
-
Paul A. Gagniuc and Paul A. Gagniuc
- Subjects
- Programming languages (Electronic computers), Computer programming, Software engineering, Computer science, Application software
- Abstract
This book provides a comprehensive guide to Matlab, which stands as the cornerstone of modern education and is the main computer language driving development in science and engineering. The author introduces readers to the rich world of Matlab, taking them on a journey from the fundamentals to advanced topics, equipping them with the knowledge and skills needed to become a proficient Matlab developer or scientist. The book provides a treasure trove of practical examples, meticulously crafted to deepen the reader understanding of Matlab. This comprehensive exploration is designed to cater to novice learners as well as mature developers and scientists, equipping them with the requisite knowledge and competencies to harness the Matlab full potential in their respective projects. From the basics of variable naming and program structure to complex matrix operations, recursion, and object-oriented programming, this book covers it all. This book is part of a series of worksdesigned to present both the examples and their explanations in various computer languages, as close to a mirror version as possible.
- Published
- 2024
32. Coding Examples From Simple to Complex : Applications in JavaScript™
- Author
-
Paul A. Gagniuc and Paul A. Gagniuc
- Subjects
- Programming languages (Electronic computers), Computer programming, Software engineering, Computer science, Application software
- Abstract
This book provides a comprehensive guide to JavaScript, which stands as the cornerstone of modern programming and is the main computer language driving the Internet. The author introduces readers to the rich world of JavaScript, taking them on a journey from the fundamentals to advanced topics, equipping them with the knowledge and skills needed to become a proficient science and engineering oriented JavaScript developer. The book provides a treasure trove of practical examples, meticulously crafted to deepen the reader understanding of JavaScript. This comprehensive exploration is designed to cater to novice learners as well as mature developers and scientists, equipping them with the requisite knowledge and competencies to harness the JavaScript full potential in their respective projects. This book is part of a series of works designed to present both the examples and their explanations in various computer languages, as close to a mirror version as possible.
- Published
- 2024
33. Coding Examples From Simple to Complex : Applications in Python™
- Author
-
Paul A. Gagniuc and Paul A. Gagniuc
- Subjects
- Programming languages (Electronic computers), Computer programming, Software engineering, Computer science, Application software
- Abstract
This book provides a comprehensive guide to Python, which stands as the cornerstone of modern programming and is the main computer language driving software prototyping in both industry and research. The author introduces readers to the rich world of Python, taking them on a journey from the fundamentals to advanced topics, equipping them with the knowledge and skills needed to become a proficient Python developer or scientist. The book provides a treasure trove of practical examples, meticulously crafted to deepen the reader understanding of Python. This comprehensive exploration is designed to cater to novice learners as well as mature developers and scientists, equipping them with the requisite knowledge and competencies to harness the Python full potential in their respective projects. From the basics of variable naming and program structure to complex matrix operations, recursion, and object-oriented programming, this book covers it all. This book is part of a seriesof works designed to present both the examples and their explanations in various computer languages, as close to a mirror version as possible.
- Published
- 2024
34. The French School of Programming
- Author
-
Bertrand Meyer and Bertrand Meyer
- Subjects
- Software engineering, Computer science, Programming languages (Electronic computers), Computer programming, Machine theory, Computer programs—Testing
- Abstract
The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors include several of the originators of such widely acclaimed inventions as abstract interpretation, the Caml, OCaml and Eiffel programming languages, the Coq proof assistant, agents and modern testing techniques.The book is divided into four parts: Software Engineering (A), Programming Language Mechanisms and Type Systems (B), Theory (C), and Language Design and Programming Methodology (D). They are preceded by a Foreword by Bertrand Meyer, the editor of the volume, a Preface by Jim Woodcock providing an outsider's appraisal of the French school's contribution, and an overview chapter by Gérard Berry, recalling his own intellectual journey. Chapter 2, by Marie-Claude Gaudel, presents a 30-year perspective on the evolution of testing starting with her own seminal work. In chapter 3, Michel Raynal covers distributed computing with an emphasis on simplicity. Chapter 4, by Jean-Marc Jézéquel, former director of IRISA, presents the evolution of modeling, from CASE tools to SLE and Machine Learning. Chapter 5, by Joëlle Coutaz, is a comprehensive review of the evolution of Human-Computer Interaction. In part B, chapter 6, by Jean-Pierre Briot, describes the sequence of abstractions that led to the concept of agent. Chapter 7, by Pierre-Louis Curien, is a personal account of a journey through fundamental concepts of semantics, syntax and types. In chapter 8, Thierry Coquand presents “some remarks on dependent type theory”. Part C begins with Patrick Cousot's personal historical perspective on his well-known creation, abstract interpretation, in chapter 9. Chapter 10, by Jean-Jacques Lévy, is devoted to tracking redexes in the Lambda Calculus. The final chapter of that part, chapter 11 by Jean-Pierre Jouannaud, presents advances in rewriting systems, specifically the confluence of terminating rewriting computations. Part D contains two longer contributions. Chapter 12 is a review by Giuseppe Castagna of a broad range of programming topics relying on union, intersection and negation types. In the final chapter, Bertrand Meyer covers “ten choices in language design” for object-oriented programming, distinguishing between “right” and “wrong” resolutions of these issues and explaining the rationale behind Eiffel's decisions.This book will be of special interest to anyone with an interest in modern views of programming — on such topics as programming language design, the relationship between programming and type theory, object-oriented principles, distributed systems, testing techniques, rewriting systems, human-computer interaction, software verification… — and in the insights of a brilliant group of innovators in the field.
- Published
- 2024
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.