The 2nd Annual 2016 International Conference on Mechanical Engineering and Control System (MECS2016) was successfully held in Wuhan, China in 2016.The MECS2016 is one of the leading international conferences for presenting novel and fundamental advances in the fields of Mechanical Engineering and Control System attended by more than 80 participants from China, South Korea, Taiwan, Japan, Malaysia, and Saudi Arabia. The MECS2016 program includes 4 keynote speeches, 98 oral and poster presentations, covering a wide spectrum of topics from mechanics engineering, control engineering and technology, to automation and mechatronics. However, after reviewed and careful consideration, only 70 articles are included in this proceedings.

This book features a collection of high-quality, peer-reviewed research papers presented at first ‘World Conference on Intelligent and 3-D Technologies’ (WCI3DT 2022), held in China during May 24–26, 2022. The book provides an opportunity for the researchers and academia as well as practitioners from industry to publish their ideas and recent research development work on all aspects of 3D imaging technologies and artificial intelligence, their applications, and other related areas. The book presents ideas and the works of scientists, engineers, educators, and students from all over the world from institutions and industries.

The present book is based on the research papers presented in the International Conference on Soft Computing for Problem Solving (SocProS 2012), held at JK Lakshmipat University, Jaipur, India. This book provides the latest developments in the area of soft computing and covers a variety of topics, including mathematical modeling, image processing, optimization, swarm intelligence, evolutionary algorithms, fuzzy logic, neural networks, forecasting, data mining, etc. The objective of the book is to familiarize the reader with the latest scientific developments that are taking place in various fields and the latest sophisticated problem solving tools that are being developed to deal with the complex and intricate problems that are otherwise difficult to solve by the usual and traditional methods. The book is directed to the researchers and scientists engaged in various fields of Science and Technology.

Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Search is performed by sophisticated software systems called answer set solvers. Combinatorial search problems often arise in science and technology, and ASP has found applications in diverse areas—in historical linguistic, in bioinformatics, in robotics, in space exploration, in oil and gas industry, and many others. The importance of this programming method was recognized by the Association for the Advancement of Artificial Intelligence in 2016, when AI Magazine published a special issue on answer set programming. The book introduces the reader to the theory and practice of ASP. It describes the input language of the answer set solver CLINGO, which was designed at the University of Potsdam in Germany and is used today by ASP programmers in many countries. It includes numerous examples of ASP programs and present the mathematical theory that ASP is based on. There are many exercises with complete solutions.

These proceedings gather outstanding research papers presented at the Second International Conference on Data Engineering 2015 (DaEng-2015) and offer a consolidated overview of the latest developments in databases, information retrieval, data mining and knowledge management. The conference brought together researchers and practitioners from academia and industry to address key challenges in these fields, discuss advanced data engineering concepts and form new collaborations. The topics covered include but are not limited to: • Data engineering • Big data • Data and knowledge visualization • Data management • Data mining and warehousing • Data privacy & security • Database theory • Heterogeneous databases • Knowledge discovery in databases • Mobile, grid and cloud computing • Knowledge management • Parallel and distributed data • Temporal data • Web data, services and information engineering • Decision support systems • E-Business engineering and management • E-commerce and e-learning • Geographical information systems • Information management • Information quality and strategy • Information retrieval, integration and visualization • Information security • Information systems and technologies

This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec tions with philosophy and computer science. Namely, the creation and study of "formal systems for constructive mathematics". The general organization of the book is described in the" User's Manual" which follows this introduction, and the contents of the book are described in more detail in the introductions to Part One, Part Two, Part Three, and Part Four. This introduction has a different purpose; it is intended to provide the reader with a general view of the subject. This requires, to begin with, an elucidation of both the concepts mentioned in the phrase, "formal systems for constructive mathematics". "Con structive mathematics" refers to mathematics in which, when you prove that l a thing exists (having certain desired properties) you show how to find it. Proof by contradiction is the most common way of proving something exists without showing how to find it - one assumes that nothing exists with the desired properties, and derives a contradiction. It was only in the last two decades of the nineteenth century that mathematicians began to exploit this method of proof in ways that nobody had previously done; that was partly made possible by the creation and development of set theory by Georg Cantor and Richard Dedekind.

This book discusses the implications of new technologies for a secured society. As such, it reflects the main focus of the International Conference on Ethical Hacking, eHaCon 2018, which is essentially in evaluating the security of computer systems using penetration testing techniques. Showcasing the most outstanding research papers presented at the conference, the book shares new findings on computer network attacks and defenses, commercial security solutions, and hands-on, real-world security experience. The respective sections include network security, ethical hacking, cryptography, digital forensics, cloud security, information security, mobile communications security, and cyber security.

Information engineering and applications is the field of study concerned with constructing information computing, intelligent systems, mathematical models, numerical solution techniques, and using computers and other electronic devices to analyze and solve natural scientific, social scientific and engineering problems. Information engineering is an important underpinning for techniques used in information and computational science and there are many unresolved problems worth studying. The Proceedings of the 2nd International Conference on Information Engineering and Applications (IEA 2012), which was held in Chongqing, China, from October 26-28, 2012, discusses the most innovative research and developments including technical challenges and social, legal, political, and economic issues. A forum for engineers and scientists in academia, industry, and government, the Proceedings of the 2nd International Conference on Information Engineering and Applications presents ideas, results, works in progress, and experience in all aspects of information engineering and applications.

This Proceedings volume contains articles presented at the CIRP-Sponsored Inter- tional Conference on Digital Enterprise Technology (DET2009) that takes place December 14–16, 2009 in Hong Kong. This is the 6th DET conference in the series and the first to be held in Asia. Professor Paul Maropoulos initiated, hosted and chaired the 1st International DET Conference held in 2002 at the University of D- ham. Since this inaugural first DET conference, DET conference series has been s- cessfully held in 2004 at Seattle, Washington USA, in 2006 at Setubal Portugal, in 2007 at Bath England, and in 2008 at Nantes France. The DET2009 conference continues to bring together International expertise from the academic and industrial fields, pushing forward the boundaries of research kno- edge and best practice in digital enterprise technology for design and manufacturing, and logistics and supply chain management. Over 120 papers from over 10 countries have been accepted for presentation at DET2009 and inclusion in this Proceedings volume after stringent refereeing process. On behalf of the organizing and program committees, the Editors are grateful to the many people who have made DET2009 possible: to the authors and presenters, es- cially the keynote speakers, to those who have diligently reviewed submissions, to members of International Scientific Committee, Organizing Committee and Advisory Committes, and to colleagues for their hard work in sorting out all the arrangements. We would also like to extend our gratitude to DET2009 sponsors, co-organizers, and supporting organizations.

This open access proceedings includes original, unpublished, peer-reviewed research papers from the International Conference on Wireless Communications, Networking and Applications (WCNA2021), held in Berlin, Germany on December 17-19th, 2021. The topics covered include but are not limited to wireless communications, networking and applications.The papers showcased here share the latest findings on methodologies, algorithms and applications in communication and network, making the book a valuable asset for professors, researchers, engineers, and university students alike. This is an open access book.