Theoretical Aspects of Computing – ICTAC 2017

Theoretical Aspects of Computing – ICTAC 2017
Author :
Publisher : Springer
Total Pages : 317
Release :
ISBN-10 : 9783319677293
ISBN-13 : 3319677292
Rating : 4/5 (93 Downloads)

Synopsis Theoretical Aspects of Computing – ICTAC 2017 by : Dang Van Hung

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.

Theoretical Aspects of Computing – ICTAC 2019

Theoretical Aspects of Computing – ICTAC 2019
Author :
Publisher : Springer Nature
Total Pages : 413
Release :
ISBN-10 : 9783030325053
ISBN-13 : 3030325059
Rating : 4/5 (53 Downloads)

Synopsis Theoretical Aspects of Computing – ICTAC 2019 by : Robert Mark Hierons

This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019. The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions. The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages.

Theoretical Aspects of Computing – ICTAC 2021

Theoretical Aspects of Computing – ICTAC 2021
Author :
Publisher : Springer Nature
Total Pages : 405
Release :
ISBN-10 : 9783030853150
ISBN-13 : 3030853152
Rating : 4/5 (50 Downloads)

Synopsis Theoretical Aspects of Computing – ICTAC 2021 by : Antonio Cerone

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.

Theoretical Aspects of Computing – ICTAC 2020

Theoretical Aspects of Computing – ICTAC 2020
Author :
Publisher : Springer Nature
Total Pages : 327
Release :
ISBN-10 : 9783030642761
ISBN-13 : 3030642763
Rating : 4/5 (61 Downloads)

Synopsis Theoretical Aspects of Computing – ICTAC 2020 by : Violet Ka I Pun

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.

Theoretical Aspects of Computing – ICTAC 2018

Theoretical Aspects of Computing – ICTAC 2018
Author :
Publisher : Springer
Total Pages : 546
Release :
ISBN-10 : 9783030025083
ISBN-13 : 303002508X
Rating : 4/5 (83 Downloads)

Synopsis Theoretical Aspects of Computing – ICTAC 2018 by : Bernd Fischer

This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018. The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions. The ICTAC conference aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also specifically aims to promote research cooperation between developing and industrial countries.

Theoretical Aspects of Computing – ICTAC 2023

Theoretical Aspects of Computing – ICTAC 2023
Author :
Publisher : Springer Nature
Total Pages : 451
Release :
ISBN-10 : 9783031479632
ISBN-13 : 3031479637
Rating : 4/5 (32 Downloads)

Synopsis Theoretical Aspects of Computing – ICTAC 2023 by : Erika Ábrahám

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.

Theoretical Aspects of Computing – ICTAC 2022

Theoretical Aspects of Computing – ICTAC 2022
Author :
Publisher : Springer Nature
Total Pages : 494
Release :
ISBN-10 : 9783031177156
ISBN-13 : 3031177150
Rating : 4/5 (56 Downloads)

Synopsis Theoretical Aspects of Computing – ICTAC 2022 by : Helmut Seidl

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.

Theoretical Aspects of Computing - ICTAC 2009

Theoretical Aspects of Computing - ICTAC 2009
Author :
Publisher : Springer
Total Pages : 366
Release :
ISBN-10 : 9783642034664
ISBN-13 : 3642034667
Rating : 4/5 (64 Downloads)

Synopsis Theoretical Aspects of Computing - ICTAC 2009 by : Martin Leucker

ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18–20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti Kebangsaan Malaysia. The ICTAC series was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). It brings together practitionersandresearchersfromacademia,industryandgovernmenttopresent results and to exchange ideas and experience addressing challenges in both t- oretical aspects of computing and in the exploitation of theory through me- ods and tools for system development. The series also promotes cooperation in research and education between participants and their institutions, from dev- oping and industrial countries, in accordance with the mandate of the United Nations University. The previous ICTAC colloquia were held in Guiyang, China (2004, LNCS 3407), Hanoi, Vietnam (2005, LNCS 3722), Tunis, Tunisia (2006, LNCS 4281), Macao SAR, China (2007, LNCS 4711), and Istanbul, Turkey (2008, LNCS 5160). This year, 81 submissions were received, distributed over 70 full research papers and 11 tool papers. Each submission was reviewed by at least three P- gram Committee members. We thank the members of the Program Committee and the other specialist referees for the e?ort and skill that they invested in the review and selection process, which was managed using EasyChair. The C- mittee decided to accept 20 papers: 17 full research papers and 3 tool papers.

Model-Based Engineering of Collaborative Embedded Systems

Model-Based Engineering of Collaborative Embedded Systems
Author :
Publisher : Springer Nature
Total Pages : 404
Release :
ISBN-10 : 9783030621360
ISBN-13 : 3030621367
Rating : 4/5 (60 Downloads)

Synopsis Model-Based Engineering of Collaborative Embedded Systems by : Wolfgang Böhm

This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.

Advances in AI for Biomedical Instrumentation, Electronics and Computing

Advances in AI for Biomedical Instrumentation, Electronics and Computing
Author :
Publisher : CRC Press
Total Pages : 633
Release :
ISBN-10 : 9781040118597
ISBN-13 : 1040118593
Rating : 4/5 (97 Downloads)

Synopsis Advances in AI for Biomedical Instrumentation, Electronics and Computing by : Vibhav Sachan

This book contains the proceedings of 5th International Conference on Advances in AI for Biomedical Instrumentation, Electronics and Computing (ICABEC - 2023), which provided an international forum for the exchange of ideas among researchers, students, academicians, and practitioners. It presents original research papers on subjects of AI, Biomedical, Communications & Computing Systems. Some interesting topics it covers are enhancing air quality prediction using machine learning, optimization of leakage power consumption using hybrid techniques, multi-robot path planning in complex industrial dynamic environment, enhancing prediction accuracy of earthquake using machine learning algorithms and advanced machine learning models for accurate cancer diagnostics. Containing work presented by a diverse range of researchers, this book will be of interest to students and researchers in the fields of Electronics and Communication Engineering, Computer Science Engineering, Information Technology, Electrical Engineering, Electronics and Instrumentation Engineering, Computer applications and all interdisciplinary streams of Engineering Sciences.