Download or read book Theoretical Aspects of Computing ICTAC 2021 written by Antonio Cerone and published by Springer Nature. This book was released on 2021-08-19 with total page 405 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan. The event was supposed to take place in Nur-Sultan, Kazakhstan, but due to COVID-19 pandemic is was held virtually. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. The 20 full papers presented in this volume were carefully reviewed and selected from 55 submissions. The papers cover a wide variety of topics, including: getting the best price for selling your personal data; attacking Bitcoin; optimizing various forms of model checking; synthesizing and learning algorithms; formalizing and verifying contracts, languages, and compilers; analyzing the correctness and complexity of programs and distributed systems; and finding connections from proofs in propositional logic to quantum programming languages.
Download or read book Theoretical Aspects of Computing ICTAC 2022 written by Helmut Seidl and published by Springer Nature. This book was released on 2022-10-02 with total page 494 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022. The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Download or read book Theoretical Aspects of Computing ICTAC 2023 written by Erika Ábrahám and published by Springer Nature. This book was released on 2023-12-24 with total page 451 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023. The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions. They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas.
Download or read book Theoretical Aspects of Computing ICTAC 2005 written by Dang Van Hung and published by Springer Science & Business Media. This book was released on 2005-10-04 with total page 628 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Second International Colloquium on Theoretical Aspects of Computing, ICTAC 2005 held in Hanoi, Vietnam, in October 2005. The 35 revised full papers presented together with 5 invited talks and a summary of 5 tutorials were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on formal languages, computer science logics, program construction, real-time systems, concurrency and refinement, software security, quantitative logics, object-orientation and component systems, model-checking and algorithms, and applied logics and computing theory.
Download or read book Theoretical Aspects of Computing ICTAC 2020 written by Violet Ka I Pun and published by Springer Nature. This book was released on 2020-11-24 with total page 327 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Download or read book Formal Methods for an Informal World written by Antonio Cerone and published by Springer Nature. This book was released on 2023-11-04 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic. The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understanding and formal and informal analysis. The target audience consists of graduate students, young researchers and industrial practitioners, from both computer science and other fields that make use of computational methods.
Download or read book Perspectives on Deduction Contemporary Studies in the Philosophy History and Formal Theories of Deduction written by Antonio Piccolomini d'Aragona and published by Springer Nature. This book was released on with total page 421 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Advances in Information and Computer Security written by Kazuhiko Minematsu and published by Springer Nature. This book was released on with total page 310 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Internet of Production written by Christian Brecher and published by Springer Nature. This book was released on 2024-01-30 with total page 537 pages. Available in PDF, EPUB and Kindle. Book excerpt: This seminal compendium, available through open access, illuminates the forefront of digital collaboration in production. It introduces the visionary concept of the Internet of Production (IoP), an ambitious initiative by Germany's esteemed Cluster of Excellence at RWTH Aachen University. This handbook pioneers the integration of data, models, and knowledge across development, production, and user cycles, offering interdisciplinary insights into production technology's horizons with the overall objective to create a worldwide lab. The work is organized into seven key parts, each contributing to a comprehensive understanding of the IoP. Part I lays the foundation with interdisciplinary visions and concepts. Part II delves into IoP's infrastructure, encompassing digital shadows and actionable artificial intelligence. Part III examines materials within the digitalized production landscape. Part IV confronts the challenges and potentials of production processes under novel digitalization methods. Part V focuses on production management with data-driven decision support, while Part VI explores agile development processes. Finally, Part VII delves into the interplay between internal and external perspectives in the IoP, human-centered work design, and platform-based ecosystems. Supported by the German Research Foundation (DFG), this compendium redefines manufacturing through the transformative IoP lens. Embrace this scholarly endeavor to embrace technological advancement. This is an open access book.
Download or read book PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN FMCAD 2021 written by Michael W. Whalen and published by TU Wien Academic Press. This book was released on 2021-10-14 with total page 297 pages. Available in PDF, EPUB and Kindle. Book excerpt: Our life is dominated by hardware: a USB stick, the processor in our laptops or the SIM card in our smart phone. But who or what makes sure that these systems work stably, safely and securely from the word go? The computer - with a little help from humans. The overall name for this is CAD (computer-aided design), and it’s become hard to imagine our modern industrial world without it. So how can we be sure that the hardware and computer systems we use are reliable? By using formal methods: these are techniques and tools to calculate whether a system description is in itself consistent or whether requirements have been developed and implemented correctly. Or to put it another way: they can be used to check the safety and security of hardware and software. Just how this works in real life was also of interest at the annual conference on "Formal Methods in Computer-Aided Design (FMCAD)". Under the direction of Ruzica Piskac and Michael Whalen, the 21st Conference in October 2021 addressed the results of the latest research in the field of formal methods. A volume of conference proceedings with over 30 articles covering a wide range of formal methods has now been published for this online conference: starting from the verification of hardware, parallel and distributed systems as well as neuronal networks, right through to machine learning and decision-making procedures. This volume provides a fascinating insight into revolutionary methods, technologies, theoretical results and tools for formal logic in computer systems and system developments.
Download or read book Leveraging Applications of Formal Methods Verification and Validation Rigorous Engineering of Collective Adaptive Systems written by Tiziana Margaria and published by Springer Nature. This book was released on with total page 381 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Rewriting Logic and Its Applications written by Kazuhiro Ogata and published by Springer Nature. This book was released on with total page 215 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Theoretical Aspects of Software Engineering written by Cristina David and published by Springer Nature. This book was released on 2023-06-26 with total page 375 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023. The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.
Download or read book Theoretical Aspects of Computing ICTAC 2021 written by Antonio Cerone and published by . This book was released on 2021 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan. The event was supposed to take place in Nur-Sultan, Kazakhstan, but due to COVID-19 pandemic is was held virtually. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. The 20 full papers presented in this volume were carefully reviewed and selected from 55 submissions. The papers cover a wide variety of topics, including: getting the best price for selling your personal data; attacking Bitcoin; optimizing various forms of model checking; synthesizing and learning algorithms; formalizing and verifying contracts, languages, and compilers; analyzing the correctness and complexity of programs and distributed systems; and finding connections from proofs in propositional logic to quantum programming languages.
Download or read book Application and Theory of Petri Nets and Concurrency written by Lars Michael Kristensen and published by Springer Nature. This book was released on with total page 449 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book IoT Enabled DC Microgrids written by Imed Ben Dhaou and published by CRC Press. This book was released on 2024-11-22 with total page 281 pages. Available in PDF, EPUB and Kindle. Book excerpt: Smart grid is a new generation of power grids that is expected to enhance its reliability and reduce carbon footprint by integrating distributed resources. Microgrid technology allows the integration of renewable energies, which come in three modes: AC, DC, or hybrid. The increasing number of DC loads, the need to reduce power loss in converting DC power to AC, and the existence of DC storage units have favored the adoption of DC microgrids. The electrification of the transportation sector has further supported the adoption of DC microgrids. A DC microgrid system comprises renewable resources, DC storage elements, DC loads, and intelligent electrical devices. It has gained interest due to its efficiency, scalability, and cost-effectiveness. DC microgrids play a crucial role in powering diverse applications such as data centers, residential areas, base stations, and electric vehicle charging stations. This book covers the design, control, and management of DC microgrids in both islanded and grid-connected modes. It focuses on ICT infrastructure, security, sensors, embedded systems, machine learning algorithms, edge/fog computing, and the socio-economic impact.
Download or read book Introduction to Choreographies written by Fabrizio Montesi and published by Cambridge University Press. This book was released on 2023-04-30 with total page 245 pages. Available in PDF, EPUB and Kindle. Book excerpt: The first rigorous and systematic treatment of choreographies: formal coordination plans for concurrent and distributed systems.
