Author: Shinobu Nagayama
Publisher:
ISBN: 9781728154060
Category :
Languages : en
Pages :
Book Description
2020 IEEE 50th International Symposium on Multiple-Valued Logic
Author: Shinobu Nagayama
Publisher:
ISBN: 9781728154060
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN: 9781728154060
Category :
Languages : en
Pages :
Book Description
Advances in Systems Engineering
Author: Leszek Borzemski
Publisher: Springer Nature
ISBN: 3030926044
Category : Technology & Engineering
Languages : en
Pages : 518
Book Description
This book features high-quality, peer-reviewed papers from the 28th International Conference Systems Engineering (ICSEng 2021), held at Wrcław University of Science and Technology, Wrocław, Poland, on December 14–16, 2021. Presenting the latest developments and technical solutions in systems engineering, it covers a variety of topics, such as analog and digital hardware systems, artificial intelligence and machine learning, distance learning & games, E-business systems, financial technology, general control systems, hyper-automation and Industry 4.0, Internet of things, sensor and biometric systems, medical systems and applications, robotics, computer vision, HCI, and parallel and distributed systems. As such, it helps those in the computer industry and academia to use the advances in next-generation systems engineering technology to shape real-world applications.
Publisher: Springer Nature
ISBN: 3030926044
Category : Technology & Engineering
Languages : en
Pages : 518
Book Description
This book features high-quality, peer-reviewed papers from the 28th International Conference Systems Engineering (ICSEng 2021), held at Wrcław University of Science and Technology, Wrocław, Poland, on December 14–16, 2021. Presenting the latest developments and technical solutions in systems engineering, it covers a variety of topics, such as analog and digital hardware systems, artificial intelligence and machine learning, distance learning & games, E-business systems, financial technology, general control systems, hyper-automation and Industry 4.0, Internet of things, sensor and biometric systems, medical systems and applications, robotics, computer vision, HCI, and parallel and distributed systems. As such, it helps those in the computer industry and academia to use the advances in next-generation systems engineering technology to shape real-world applications.
Reliability Engineering and Computational Intelligence for Complex Systems
Author: Coen van Gulijk
Publisher: Springer Nature
ISBN: 3031409973
Category : Technology & Engineering
Languages : en
Pages : 224
Book Description
This book offers insight into the current issues of the merger between reliability engineering and computational intelligence. The intense development of information technology allows for designing more complex systems as well as creating more detailed models of real-world systems which forces traditional reliability engineering approaches based on Boolean algebra, probability theory, and statistics to embrace the world of data science. The works deal with methodological developments as well as applications in the development of safe and reliable systems in various kinds of distribution networks, in the development of highly reliable healthcare systems, in finding weaknesses in systems with the human factor, or in reliability analysis of large information systems and other software solutions. In this book, experts from various fields of reliability engineering and computational intelligence present their view on the risks, the opportunities and the synergy between reliability engineering and computational intelligence that have been developed separately but in recent years have found a way to each other. The topics addressed include the latest advances in computing technology to improve the real lives of millions of people by increasing safety and reliability of various types of real-life systems by increasing the availability of software services, reducing the accident rate of means of transport, developing high reliable patient-specific health care, or generally, save cost and increase efficiency in the work and living environment. Though this book, the reader has access to professionals and researchers in the fields of reliability engineering and computational intelligence that share their experience in merging the two as well as an insight into the latest methods, concerns and application domains.
Publisher: Springer Nature
ISBN: 3031409973
Category : Technology & Engineering
Languages : en
Pages : 224
Book Description
This book offers insight into the current issues of the merger between reliability engineering and computational intelligence. The intense development of information technology allows for designing more complex systems as well as creating more detailed models of real-world systems which forces traditional reliability engineering approaches based on Boolean algebra, probability theory, and statistics to embrace the world of data science. The works deal with methodological developments as well as applications in the development of safe and reliable systems in various kinds of distribution networks, in the development of highly reliable healthcare systems, in finding weaknesses in systems with the human factor, or in reliability analysis of large information systems and other software solutions. In this book, experts from various fields of reliability engineering and computational intelligence present their view on the risks, the opportunities and the synergy between reliability engineering and computational intelligence that have been developed separately but in recent years have found a way to each other. The topics addressed include the latest advances in computing technology to improve the real lives of millions of people by increasing safety and reliability of various types of real-life systems by increasing the availability of software services, reducing the accident rate of means of transport, developing high reliable patient-specific health care, or generally, save cost and increase efficiency in the work and living environment. Though this book, the reader has access to professionals and researchers in the fields of reliability engineering and computational intelligence that share their experience in merging the two as well as an insight into the latest methods, concerns and application domains.
Advances in Artificial Intelligence and Security
Author: Xingming Sun
Publisher: Springer Nature
ISBN: 3031067673
Category : Computers
Languages : en
Pages : 730
Book Description
The 3-volume set CCIS 1586, CCIS 1587 and CCIS 1588 constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Security, ICAIS 2022, which was held in Qinghai, China, in July 2022. The total of 115 full papers and 53 short papers presented in this 3-volume proceedings was carefully reviewed and selected from 1124 submissions. The papers were organized in topical sections as follows: Part I: artificial intelligence; Part II: artificial intelligence; big data; cloud computing and security; multimedia forensics; Part III: encryption and cybersecurity; information hiding; IoT security.
Publisher: Springer Nature
ISBN: 3031067673
Category : Computers
Languages : en
Pages : 730
Book Description
The 3-volume set CCIS 1586, CCIS 1587 and CCIS 1588 constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Security, ICAIS 2022, which was held in Qinghai, China, in July 2022. The total of 115 full papers and 53 short papers presented in this 3-volume proceedings was carefully reviewed and selected from 1124 submissions. The papers were organized in topical sections as follows: Part I: artificial intelligence; Part II: artificial intelligence; big data; cloud computing and security; multimedia forensics; Part III: encryption and cybersecurity; information hiding; IoT security.
Automated Reasoning with Analytic Tableaux and Related Methods
Author: Revantha Ramanayake
Publisher: Springer Nature
ISBN: 3031435133
Category : Computers
Languages : en
Pages : 487
Book Description
This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.
Publisher: Springer Nature
ISBN: 3031435133
Category : Computers
Languages : en
Pages : 487
Book Description
This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.
Advances in Knowledge Discovery and Data Mining
Author: Hisashi Kashima
Publisher: Springer Nature
ISBN: 3031333748
Category : Computers
Languages : en
Pages : 563
Book Description
The 4-volume set LNAI 13935 - 13938 constitutes the proceedings of the 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, which took place in Osaka, Japan during May 25–28, 2023. The 143 papers presented in these proceedings were carefully reviewed and selected from 813 submissions. They deal with new ideas, original research results, and practical development experiences from all KDD related areas, including data mining, data warehousing, machine learning, artificial intelligence, databases, statistics, knowledge engineering, big data technologies, and foundations.
Publisher: Springer Nature
ISBN: 3031333748
Category : Computers
Languages : en
Pages : 563
Book Description
The 4-volume set LNAI 13935 - 13938 constitutes the proceedings of the 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, which took place in Osaka, Japan during May 25–28, 2023. The 143 papers presented in these proceedings were carefully reviewed and selected from 813 submissions. They deal with new ideas, original research results, and practical development experiences from all KDD related areas, including data mining, data warehousing, machine learning, artificial intelligence, databases, statistics, knowledge engineering, big data technologies, and foundations.
Applied Cryptography and Network Security
Author: Christina Pöpper
Publisher: Springer Nature
ISBN: 3031547764
Category :
Languages : en
Pages : 476
Book Description
Publisher: Springer Nature
ISBN: 3031547764
Category :
Languages : en
Pages : 476
Book Description
Computational Collective Intelligence
Author: Ngoc Thanh Nguyen
Publisher: Springer Nature
ISBN: 3031160142
Category : Computers
Languages : en
Pages : 863
Book Description
This book constitutes the refereed proceedings of the 14th International Conference on Computational Collective Intelligence, ICCCI 2022, held in Hammamet, Tunisia, in September 2022. The 56 full papers and 10 short papers were carefully reviewed and selected from 420 submissions. The papers are grouped in topical sections on collective intelligence and collective decision-making; deep learning techniques; natural language processing; data minning and machine learning; knowledge engineering and semantic web; computer vision techniques; social networks and intelligent systems; cybersecurity and internet of things; cooperative strategies for decision making and optimization; computational intelligence for digital content understanding; applications for industry 4.0.
Publisher: Springer Nature
ISBN: 3031160142
Category : Computers
Languages : en
Pages : 863
Book Description
This book constitutes the refereed proceedings of the 14th International Conference on Computational Collective Intelligence, ICCCI 2022, held in Hammamet, Tunisia, in September 2022. The 56 full papers and 10 short papers were carefully reviewed and selected from 420 submissions. The papers are grouped in topical sections on collective intelligence and collective decision-making; deep learning techniques; natural language processing; data minning and machine learning; knowledge engineering and semantic web; computer vision techniques; social networks and intelligent systems; cybersecurity and internet of things; cooperative strategies for decision making and optimization; computational intelligence for digital content understanding; applications for industry 4.0.
Recent Findings in Boolean Techniques
Author: Rolf Drechsler
Publisher: Springer Nature
ISBN: 3030680711
Category : Technology & Engineering
Languages : en
Pages : 198
Book Description
This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 14th annual International Workshop on Boolean Problems.
Publisher: Springer Nature
ISBN: 3030680711
Category : Technology & Engineering
Languages : en
Pages : 198
Book Description
This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 14th annual International Workshop on Boolean Problems.
Rough Sets
Author: Sheela Ramanna
Publisher: Springer Nature
ISBN: 303087334X
Category : Computers
Languages : en
Pages : 320
Book Description
The volume LNAI 12872 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2021, Bratislava, Slovak Republic, in September 2021. The conference was held as a hybrid event due to the COVID-19 pandemic. The 13 full paper and 7 short papers presented were carefully reviewed and selected from 26 submissions, along with 5 invited papers. The papers are grouped in the following topical sections: core rough set models and methods, related methods and hybridization, and areas of applications.
Publisher: Springer Nature
ISBN: 303087334X
Category : Computers
Languages : en
Pages : 320
Book Description
The volume LNAI 12872 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2021, Bratislava, Slovak Republic, in September 2021. The conference was held as a hybrid event due to the COVID-19 pandemic. The 13 full paper and 7 short papers presented were carefully reviewed and selected from 26 submissions, along with 5 invited papers. The papers are grouped in the following topical sections: core rough set models and methods, related methods and hybridization, and areas of applications.