الصفحة 35
الصفحة 35
Applied Proof Theory : Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
Applied mathematics and machine learning
The simultaneous availability of large datasets and high-performance computing capability in recent years has enabled the rapid development of powerful machine learning algorithms. On the one hand, state-of-the-art machine learning techniques have transformed many areas of science and engineering; on the other hand, theoretical discoveries in mathematical algorithms, differential equations, and statistical inferences, to name a few, have provided the foundation for the exploration of new multidisciplinary models for solving practical problems. This Special Issue endeavors to continue the journey that started in our previous Special Issue (Applied Mathematics and Computational Physics) by providing a platform for researchers from both academia and industry, as well as government, to present their new computational methods that have engineering and physics applications.
Applied Informatics; Third International Conference, ICAI 2020, Ota, Nigeria, October 29–31, 2020, Proceedings
This book constitutes the thoroughly refereed papers of the Second International Conference on Applied Informatics, ICAI 2020, held in Ota, Nigeria, in October 2020. The 35 full papers were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections on artificial intelligence; business process management; cloud computing; data analysis; decision systems; health care information systems; human-computer interaction; image processing; learning management systems; software design engineering.
Applied Deep Learning with TensorFlow 2 : Learn to Implement Advanced Deep Learning Techniques with Python
Focuses on the fundamental concepts and at the same time on practical aspects of implementing neural networks and deep learning for your research projects. This book is designed so that you can focus on the parts you are interested in. You will explore topics as regularization, optimizers, optimization, metric analysis, and hyper-parameter tuning. In addition, you will learn the fundamentals ideas behind autoencoders and generative adversarial networks. All the code presented in the book will be available in the form of Jupyter notebooks which would allow you to try out all examples and extend them in interesting ways. A companion online book is available with the complete code for all examples discussed in the book and additional material more related to TensorFlow and Keras. All the code will be available in Jupyter notebook format and can be opened directly in Google Colab (no need to install anything locally) or downloaded on your own machine and tested locally. You will: Understand the fundamental concepts of how neural networks work / Learn the fundamental ideas behind autoencoders and generative adversarial networks / Be able to try all the examples with complete code examples that you can expand for your own projects / Have available a complete online companion book with examples and tutorials.
Applied and computational mathematics for digital environments
Contains the 11 papers that were accepted and published in the Special Issue “Applied and Computational Mathematics for Digital Environments” of the MDPI Mathematics journal. The topics of interest include, among others, scientific research, applied tasks, and problems in the following areas: The construction of mathematical and information models of intelligent computer systems for monitoring and controlling the parameters of digital environments; The development of intelligent optimization algorithms that search for optimal parameter values of mathematical and information models in digital environments; Software and mathematical technologies in the implementation of intelligent monitoring and computer control of the parameters of digital environments; The development and application of mathematical and information models, machine learning methods, and artificial intelligence for the analysis and processing of big data in digital environments.
Applications of Fuzzy Sets Theory ; 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings
The book is organized in topical sections on fuzzy set theory, fuzzy information access and retrieval, fuzzy machine learning, fuzzy architectures and systems; and special sessions on intuitionistic fuzzy sets and soft computing in image processing.
Applications of evolutionary computing ; Vol. 3449 ; Evoworkshops : EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC
Evolutionary computation (EC) techniques are e?cient nature-inspired pl- ning and optimization methods based on the principles of natural evolution and genetics. Due to their e?ciency and the simple underlying principles, these methods can be used for a large number of problems in the context of problem solving,optimization,andmachinelearning. Alargeandcontinuouslyincreasing number of researchers and practitioners make use of EC techniques in many - plication domains. The book at hand presents a careful selection of relevant EC applications combined with thorough examinations of techniques for a successful application of EC. The presented papers illustrate the current state of the art in the application of EC and should help and inspire researchers and practitioners to develop e?cient EC methods for design and problem solving.
Applications of computational intelligence in data-driven trading
The main purpose of this book is pedagogical in nature, and it is specifically aimed at defining an adequate level of engineering and scientific clarity when it comes to the usage of the term “Artificial Intelligence,” especially as it relates to the financial industry.
Applications of artificial intelligence, big data and internet of things in sustainable development
Focuses on different algorithms and models related to AI, big data and IoT used for various domains. It enables the reader to have a broader and deeper understanding of several perspectives regarding the dynamics, challenges, and opportunities for sustainable development using artificial intelligence, big data and IoT. Applications of Artificial Intelligence, Big Data and Internet of Things (IoT) in Sustainable Development focuses on IT-based advancements in multidisciplinary fields such as healthcare, finance, bioinformatics, industrial automation, and environmental science.
Applications and Innovations in Intelligent Systems XIII ; Proceedings of AI-2005, the Twenty-fifth SGAI International Conference on Innovative Techniques and Applications of Artifical Intelligence
The papers in this volume present new and innovative developments in the field, divided into sections on Applied AI in Information Processing, Techniques for Applied AI, Industrial Applications and Medical Applications.This is the thirteenth volume in the Applications and Innovations series. The series serves as a key reference as to how AI technology has enabled organisations to solve complex problems and gain significant business benefit.
Application and theory of multimedia signal processing using machine learning or advanced methods
Consists of a collection of peer-reviewed published papers on various advanced technology researches related to signal processing applications and theories for multimedia systems using machine learning or advanced methods. Multimedia signals include image, video, audio, character recognition, and communication channel optimization for networks. The specific contents included in this book are data hiding, encryption, object detection, image classification, and character recognition.
Anomaly Detection : Techniques and Applications
When information in the data warehouse is processed, it follows a definite pattern. An unexpected deviation in the data pattern from the usual behavior is called an anomaly. The anomaly in the data is also referred to as noise, outlier, spammer, deviations, novelties and exceptions. Identification of the rare items, events, observations, patterns which raise suspension by differing significantly from the majority of data is called anomaly detection. With progress in the technologies and the widespread use of data for the purpose for business the increase in the spams faced by the individuals and the companies are increasing day by day. This noisy data has boomed as a major problem in various areas such as Internet of Things, web service, Machine Learning, Artificial Intelligence, Deep learning, Image Processing, Cloud Computing, Audio processing, Video Processing, VoIP, Data Science, Wireless Sensor etc. Identifying the anomaly data and filtering them before processing is a major challenge for the data analyst. This anomaly is unavoidable in all areas of research. This book covers the techniques and algorithms for detecting the deviated data.
Annals of scientific society for assembly, handling and industrial robotics 2021
This proceedings presents a good overview of the current research landscape of assembly, handling and industrial robotics. The objective of MHI Colloquium is the successful networking at both academic and management level. Thereby, the colloquium focuses an academic exchange at a high level in order to distribute the obtained research results, to determine synergy effects and trends, to connect the actors in person and in conclusion, to strengthen the research field as well as the MHI community. In addition, there is the possibility to become acquatined with the organizing institute. Primary audience is formed by members of the scientific society for assembly, handling and industrial robotics (WGMHI).
Annals of scientific society for assembly, handling and industrial robotics
This proceedings presents a good overview of the current research landscape of industrial robots. The objective of MHI Colloquium is the successful networking at both academic and management level. Thereby, the colloquium focuses an academic exchange at a high level in order to distribute the obtained research results, to determine synergy effects and trends, to connect the actors in person and in conclusion, to strengthen the research field as well as the MHI community. In addition, there is the possibility to become acquatined with the organizing institute. Primary audience is formed by members of the scientific society for assembly, handling and industrial robotics (WGMHI).
ANEMONA : A Mulit-agent Methodology for Holonic Manufacturing Systems
ANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS requirements. The development process of ANEMONA provides clear and HMS-specific modeling guidelines for HMS designers, and complete development phases for the HMS life cycle.
Android smart health monitoring system
Recent years have witnessed an increasing interest in the application of machine learning to clinical informatics and healthcare system never forgetting that the data also states that half of the world's population uses mobile devices. Despite of the existence of tons of applications, algorithms, and systems, the achievement of prescribing proper food that is suitable for patient health case based on face health status, height, weight, daily calories etc.., wasn’t achieved yet because of the lack of knowledge in food therapy process. Our system provides the service of food suggestion based on the input that is inserted by the user in sign-up form which are (height, weight, age, etc….).
Anaphora and Type Logical Grammar
This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while avoiding these consequences. To this end, the grammar logic is enriched with a connective that specifically deals with anaphora.After giving a self-contained introduction into Type Logical Grammar in general, the book discusses the formal properties of this connective. In the sequel, Jäger applies this machinery to numerous linguistic phenomena pertaining to the interaction of pronominal anaphora, VP ellipsis and quantification. In the final chapter, the framework is extended to indefiniteness, specificity and sluicing.
An Intuitive Exploration of Artificial Intelligence : Theory and Applications of Deep Learning
This book develops a conceptual understanding of Artificial Intelligence (AI), Deep Learning and Machine Learning in the truest sense of the word. It is an earnest endeavor to unravel what is happening at the algorithmic level, to grasp how applications are being built and to show the long adventurous road in the future.
An Introduction to Optical Wireless Mobile Communications
Discusses existing conventional radio frequency (RF)-based wireless access technology and presents the challenges that can impact the requirements of the future wave of new wireless services in the context of artificial intelligence (AI) driven autonomous systems and machine-type communications. The relationship between visible light communications (VLC) and light fidelity (LiFi), is explored, and the major advantages of VLC and LiFi such as security and data density, and discuss existing research challenges are also introduced. Channel modeling techniques are provided for mobile multiuser scenarios, and will introduce key building blocks to achieve LiFi cellular networks achieving orders of magnitude improvements of area spectral efficiency compared to state-of-the-art. Challenges that arise from moving from a static point-to-point visible light link to a LiFi network that is capable of serving hundreds of mobile and fixed nodes are discussed. An overview of recent standardization activities and the commercialization challenges of this disruptive technology is also provided.
An Introduction to Formal Languages and Automata
Designed for an introductory course on formal languages, automata, compatibility, and related matters forming what is known as the theory of computation
