Download or read book SOFSEM 2021 Theory and Practice of Computer Science written by Tomáš Bureš and published by Springer Nature. This book was released on 2021-01-20 with total page 628 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains the invited and contributed papers selected for presentation at SOFSEM 2021, the 47th International Conference on Current Trends in Theory and Practice of Computer Science, which was held online during January 25–28, 2021, hosted by the Free University of Bozen-Bolzano, Italy. The 33 full and 7 short papers included in the volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections on: foundations of computer science; foundations of software engineering; foundations of data science and engineering; and foundations of algorithmic computational biology. The book also contains 5 invited papers.
Download or read book SOFSEM 2023 Theory and Practice of Computer Science written by Leszek Gąsieniec and published by Springer Nature. This book was released on 2022-12-19 with total page 401 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the conference proceedings of the 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, held in Nový Smokovec, Slovakia, during January 15–18, 2023. The 22 full papers presented together with 2 best papers and 2 best students papers in this book were carefully reviewed and selected from 43 submissions. This workshop focuses on graphs problems and optimization; graph drawing and visualization; NP-hardness and fixed parameter tractability; communication and temporal graphs; complexity and learning; and robots and strings.
Download or read book SOFSEM 2024 written by Henning Fernau and published by Springer Nature. This book was released on 2024 with total page 514 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.
Download or read book SOFSEM 2021 Theory and Practice of Computer Science written by Tomáš Bureš and published by Springer. This book was released on 2021-01-21 with total page 624 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains the invited and contributed papers selected for presentation at SOFSEM 2021, the 47th International Conference on Current Trends in Theory and Practice of Computer Science, which was held online during January 25–28, 2021, hosted by the Free University of Bozen-Bolzano, Italy. The 33 full and 7 short papers included in the volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections on: foundations of computer science; foundations of software engineering; foundations of data science and engineering; and foundations of algorithmic computational biology. The book also contains 5 invited papers.
Download or read book SOFSEM 2021 Theory and Practice of Computer Science written by Tomas Bures and published by . This book was released on 2021 with total page 624 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains the invited and contributed papers selected for presentation at SOFSEM 2021, the 47th International Conference on Current Trends in Theory and Practice of Computer Science, which was held online during January 25-28, 2021, hosted by the Free University of Bozen-Bolzano, Italy. The 33 full and 7 short papers included in the volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections on: foundations of computer science; foundations of software engineering; foundations of data science and engineering; and foundations of algorithmic computational biology. The book also contains 5 invited papers.
Download or read book Philosophy and Theory of Artificial Intelligence 2021 written by Vincent C. Müller and published by Springer Nature. This book was released on 2022-11-14 with total page 244 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers contributions from the fourth edition of the Conference on "Philosophy and Theory of Artificial Intelligence" (PT-AI), held on 27-28th of September 2021 at Chalmers University of Technology, in Gothenburg, Sweden. It covers topics at the interface between philosophy, cognitive science, ethics and computing. It discusses advanced theories fostering the understanding of human cognition, human autonomy, dignity and morality, and the development of corresponding artificial cognitive structures, analyzing important aspects of the relationship between humans and AI systems, including the ethics of AI. This book offers a thought-provoking snapshot of what is currently going on, and what are the main challenges, in the multidisciplinary field of the philosophy of artificial intelligence.
Download or read book Human Aspects of Information Security and Assurance written by Steven Furnell and published by Springer Nature. This book was released on 2023-07-25 with total page 488 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 17th IFIP WG 11.12 International Symposium on Human Aspects of Information Security and Assurance, HAISA 2023, held in Kent, United Kingdom, in July 2023. The 37 full papers presented in this volume were carefully reviewed and selected from 54 submissions. They are organized in the following topical sections: education and training; management, policy and skills; evolving threats and attacks; social-technical factors; and research methods.
Download or read book Artificial Intelligence in Sports Movement and Health written by Carlo Dindorf and published by Springer Nature. This book was released on with total page 266 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book LATIN 2024 Theoretical Informatics written by José A. Soto and published by Springer Nature. This book was released on with total page 363 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Combinatorial Algorithms written by Cristina Bazgan and published by Springer Nature. This book was released on 2022-05-29 with total page 538 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 33rd International Workshop on Combinatorial Algorithms, IWOCA 2022, which took place as a hybrid event in Trier, Germany, during June 7-9, 2022.The 35 papers presented in these proceedings were carefully reviewed and selected from 86 submissions. They deal with diverse topics related to combinatorial algorithms, such as algorithms and data structures; algorithmic and combinatorical aspects of cryptography and information security; algorithmic game theory and complexity of games; approximation algorithms; complexity theory; combinatorics and graph theory; combinatorial generation, enumeration and counting; combinatorial optimization; combinatorics of words; computational biology; computational geometry; decompositions and combinatorial designs; distributed and network algorithms; experimental combinatorics; fine-grained complexity; graph algorithms and modelling with graphs; graph drawing and graph labelling; network theory and temporal graphs; quantum computing and algorithms for quantum computers; online algorithms; parameterized and exact algorithms; probabilistic andrandomized algorithms; and streaming algorithms.
Download or read book Industry 4 0 written by Aydin Azizi and published by Springer Nature. This book was released on 2022-12-07 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents Industry 4.0 enabler technologies and tools. It also highlights some of the existing empirical applications in the context of manufacturing. The book elucidates innovative thematic concepts of Industry 4.0 and its perspectives. It establishes routes to empirically utilize Industry 4.0 standards for manufacturing companies. The book can be used as a reference for professionals/engineers, researchers, and students.
Download or read book SOFSEM 2010 Theory and Practice of Computer Science written by Jan van Leeuwen and published by Springer. This book was released on 2009-12-07 with total page 795 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 53 revised full papers, presented together with 11 invited contributions, were carefully reviewed and selected from 134 submissions. SOFSEM 2010 was organized around the following four tracks: Foundations of computer science, principles of software construction, Data, knowledge, and intelligent systems and Web science.
Download or read book Intelligent and Fuzzy Systems written by Cengiz Kahraman and published by Springer Nature. This book was released on with total page 788 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book New Trends in Intelligent Software Methodologies Tools and Techniques written by H. Fujita and published by IOS Press. This book was released on 2021-09-28 with total page 728 pages. Available in PDF, EPUB and Kindle. Book excerpt: The integration of AI with software is an essential enabler for science and the new economy, creating new markets and opportunities for a more reliable, flexible and robust society. Current software methodologies, tools and techniques often fall short of expectations, however, and much software remains insufficiently robust and reliable for a constantly changing and evolving market. This book presents 54 papers delivered at the 20th edition of the International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques (SoMeT_21), held in Cancun, Mexico, from 21–23 September 2021. The aim of the conference was to capture the essence of a new state-of-the-art in software science and its supporting technology and to identify the challenges that such a technology will need to master, and this book explores the new trends and theories illuminating the direction of development in this field as it heads towards a transformation in the role of software and science integration in tomorrow’s global information society. The 54 revised papers were selected for publication by means of a rigorous review process involving 3 or 4 reviewers for each paper, followed by selection by the SoMeT_21 international reviewing committee. The book is divided into 9 chapters, classified by paper topic and relevance to the chapter theme. Covering topics ranging from research practices, techniques and methodologies to proposing and reporting on the solutions required by global business, the book offers an opportunity for the software science community to consider where they are today and where they are headed in the future.
Download or read book Automatic Complexity written by Bjørn Kjos-Hanssen and published by Walter de Gruyter GmbH & Co KG. This book was released on 2024-02-19 with total page 156 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Advanced Information Networking and Applications written by Leonard Barolli and published by Springer Nature. This book was released on with total page 526 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Foundations of Software Science and Computation Structures written by Orna Kupferman and published by Springer Nature. This book was released on 2023-04-20 with total page 575 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
