Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Smart Applications with Advanced Machine Learning and Human-Centred Problem Design
This book brings together the most recent, quality research papers accepted and presented in the 3rd International Conference on Artificial Intelligence and Applied Mathematics in Engineering (ICAIAME 2021) held in Antalya, Turkey between 1-3 October 2021. Objective of the content is to provide important and innovative research for developments-improvements within different engineering fields, which are highly interested in using artificial intelligence and applied mathematics. As a collection of the outputs from the ICAIAME 2021, the book is specifically considering research outcomes including advanced use of machine learning and careful problem designs on human-centred aspects. In this context, it aims to provide recent applications for real-world improvements making life easier and more sustainable for especially humans. The book targets the researchers, degree students, and practitioners from both academia and the industry.
Cryptology and Network Security
This book constitutes the refereed proceedings of the 21st International Conference on Cryptology and Network Security, CANS 2022, which was held during November 13-16, 2022. The conference was took place in Abu Dhabi, United Arab Emirates. The 18 full and 2 short papers presented in these proceedings were carefully reviewed and selected from 54 submissions. They were organized in topical sections as follows: zero-knowledge and MPC; public-key infrastructure; attacks and countermeasures; cryptanalysis and provable security; cryptographic protocols; blockchain and payment systems; and codes and post-quantum cryptography.
Hardware and Software: Verification and Testing
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007. The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and testing, formal verification for software and software testing
Innovative Security Solutions for Information Technology and Communications
This book constitutes revised selected papers from the thoroughly refereed conference proceedings of the 16th International Conference on Innovative Security Solutions for Information Technology and Communications, SecITC 2023, held in Bucharest, Romania, in November 2023. The 14 full papers included in the book were carefully reviewed and selected from 57 submissions. They focus on all theoretical and practical aspects related to information technology and communications security.
Testing Software and Systems
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.
4th International Conference on Artificial Intelligence and Applied Mathematics in Engineering
As general, this book is a collection of the most recent, quality research papers regarding applications of Artificial Intelligence and Applied Mathematics for engineering problems. The papers included in the book were accepted and presented in the 4th International Conference on Artificial Intelligence and Applied Mathematics in Engineering (ICAIAME 2022), which was held in Baku, Azerbaijan (Azerbaijan Technical University) between May 20 and 22, 2022. Objective of the book content is to inform the international audience about the cutting-edge, effective developments and improvements in different engineering fields. As a collection of the ICAIAME 2022 event, the book gives consideration for the results by especially intelligent system formations and the associated applications. The target audience of the book is international researchers, degree students, practitioners from industry, and experts from different engineering disciplines.
Trends in Data Engineering Methods for Intelligent Systems
This book briefly covers internationally contributed chapters with artificial intelligence and applied mathematics-oriented background-details. Nowadays, the world is under attack of intelligent systems covering all fields to make them practical and meaningful for humans. In this sense, this edited book provides the most recent research on use of engineering capabilities for developing intelligent systems. The chapters are a collection from the works presented at the 2nd International Conference on Artificial Intelligence and Applied Mathematics in Engineering held within 09-10-11 October 2020 at the Antalya, Manavgat (Turkey). The target audience of the book covers scientists, experts, M.Sc. and Ph.D. students, post-docs, and anyone interested in intelligent systems and their usage in different problem domains. The book is suitable to be used as a reference work in the courses associated with artificial intelligence and applied mathematics.
Information Sciences and Systems 2013
Based on a rigorous selection from 58 proposals coming from across the world, this volume will include some of the most recent ideas and technical results in computer systems, computer science, and computer-communication networks. The book will offer the reader with a timely access to innovative research from many different areas of the world where advances in computing and communications are created.
Advances in Computers
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of sugnificant, lasting value in this rapidly expanding field. - In-depth surveys and tutorials on new computer technology - Well-known authors and researchers in the field - Extensive bibliographies with most chapters - Many of the volumes are devoted to single themes or subfields of computer science
Testing Software and Systems
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul, Turkey, in September 2014. The 11 revised full papers presented together with 6 short papers were carefully selected from 36 submissions. The scope of the conference was on following topics: testing methodologies, tools and frameworks, and industrial experiences.
