Bøger i Springer Optimization and Its Applications serien

This book compiles research and surveys devoted to the areas of mathematical analysis, approximation theory, and optimization. Being dedicated to A.-M. Legendre's work, contributions to this volume are devoted to those branches of mathematics and its applications that have been influenced, directly or indirectly, by the mathematician. Additional contributions provide a historical background as it relates to Legendre's work and its association to the foundation of Greece's higher education.Topics covered in this book include the investigation of the Jensen-Steffensen inequality, Ostrowski and trapezoid type inequalities, a Hilbert-Type Inequality, Hardy¿s inequality, dynamic unilateral contact problems, square-free values of a category of integers, a maximum principle for general nonlinear operators, the application of Ergodic Theory to an alternating series expansion for real numbers, bounds for similarity condition numbers of unbounded operators, finite element methods with higher order polynomials, generating functions for the Fubini type polynomials, local asymptotics for orthonormal polynomials, trends in geometric function theory, quasi variational inclusions, Kleene fixed point theorems, ergodic states, spontaneous symmetry breaking and quasi-averages.It is hoped that this book will be of interest to a wide spectrum of readers from several areas of pure and applied sciences, and will be useful to undergraduate students, graduate level students, and researchers who want to be kept up to date on the results and theories in the subjects covered in this volume.

This handbook aims to serve as a one-stop, reliable source of reference, with curations of survey and expository contributions on the state-of-the-art in Blockchain technology. It covers a comprehensive range of topics, providing the technical and non-technical reader with fundamentals, applications, and deep details on a variety of topics. The readership is expected to span broadly from technologically-minded business professionals and entrepreneurs, to students, instructors, novices and seasoned researchers, in computer science, engineering, software engineering, finance, and data science. Though Blockchain technology is relatively young, its evolution as a field and a practice is booming in growth and its importance to society had never been more important than it is today. Blockchain solutions enable a decentralization of a digital society where people can contribute, collaborate, and transact without having to second-guess the trust and transparency factors with many geographical, financial, and political barriers removed. It is the distributed ledger technology behind the success of Bitcoin, Ethereum, and many emerging applications.The resource is divided into 5 parts. Part 1 (Foundation) walks the reader through a comprehensive set of essential concepts, protocols, and algorithms that lay the foundation for Blockchain. Part 2 (Scalability) focuses on the most pressing challenges of today's blockchain networks in how to keep pace with real-world expectations. Part 3 (Trust and Security) provides detailed coverage on the issues of trust, reputation, and security in Blockchain.  Part 4 (Decentralized Finance) is devoted to a high-impact application of Blockchain to finance, the sector that has most benefitted from this technology. Part 5 (Application and Policy) includes several cases where Blockchain applies to the real world.

This text provides the undergraduate chemical engineering student with the necessary tools for problem solving in chemical or bio-engineering processes. In a friendly, simple, and unified framework, the exposition aptly balances theory and practice. It uses minimal mathematical concepts, terms, algorithms, and describes the main aspects of chemical process optimization using MATLAB and GAMS. Numerous examples and case studies are designed for students to understand basic principles of each optimization method and elicit the immediate discovery of practical applications. Problem sets are directly tied to real-world situations most commonly encountered in chemical engineering applications. Chapters are structured with handy learning summaries, terms and concepts, and problem sets, and individually reinforce the basics of particular optimization methods. Additionally, the wide breadth of topics that may be encountered in courses such as Chemical Process Optimization, Chemical Process Engineering, Optimization of Chemical Processes, are covered in this accessible text. The book provides formal introductions to MATLAB, GAMS, and a revisit to pertinent aspects of undergraduate calculus. While created for coursework, this text is also suitable for independent study. A full solutions manual is available to instructors who adopt the text for their course.

This book includes a thorough theoretical and computational analysis of unconstrained and constrained optimization algorithms and combines and integrates the most recent techniques and advanced computational linear algebra methods. Nonlinear optimization methods and techniques have reached their maturity and an abundance of optimization algorithms are available for which both the convergence properties and the numerical performances are known. This clear, friendly, and rigorous exposition discusses the theory behind the nonlinear optimization algorithms for understanding their properties and their convergence, enabling the reader to prove the convergence of his/her own algorithms. It covers cases and computational performances of the most known modern nonlinear optimization algorithms that solve collections of unconstrained and constrained optimization test problems with different structures, complexities, as well as those with large-scale real applications. The book is addressed to all those interested in developing and using new advanced techniques for solving large-scale unconstrained or constrained complex optimization problems. Mathematical programming researchers, theoreticians and practitioners in operations research, practitioners in engineering and industry researchers, as well as graduate students in mathematics, Ph.D. and master in mathematical programming will find plenty of recent information and practical approaches for solving real large-scale optimization problems and applications.

This volume presents extensive research devoted to a broad spectrum of mathematics with emphasis on interdisciplinary aspects of Optimization and Probability. Chapters also emphasize applications to Data Science, a timely field with a high impact in our modern society. The discussion presents modern, state-of-the-art, research results and advances in areas including non-convex optimization, decentralized distributed convex optimization, topics on surrogate-based reduced dimension global optimization in process systems engineering, the projection of a point onto a convex set, optimal sampling for learning sparse approximations in high dimensions, the split feasibility problem, higher order embeddings, codifferentials and quasidifferentials of the expectation of nonsmooth random integrands, adjoint circuit chains associated with a random walk, analysis of the trade-off between sample size and precision in truncated ordinary least squares, spatial deep learning, efficient location-based tracking for IoT devices using compressive sensing and machine learning techniques, and nonsmooth mathematical programs with vanishing constraints in Banach spaces.The book is a valuable source for graduate students as well as researchers working on Optimization, Probability and their various interconnections with a variety of other areas.Chapter 12 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This volume aims to provide a state-of-the-art and the latest advancements in the field of intelligent control and smart energy management.  Techniques, combined with technological advances, have enabled the deployment of new operating systems in many engineering applications, especially in the domain of transport and renewable resources. The control and energy management of transportation and renewable resources are shifting towards autonomous reasoning, learning, planning and operating. As a result, these techniques, also referred to as autonomous control and energy management, will become practically ubiquitous soon. The discussions include methods, based on neural control (and others) as well as distributed and intelligent optimization.  While the theoretical concepts are detailed and explained, the techniques presented are tailored to transport and renewable resources applications, such as smart grids and automated vehicles. The reader will grasp the most important theoretical concepts as well as to fathom the challenges and needs related to timely practical applications. Additional content includes research perspectives and future direction as well as insight into the devising of techniques that will meet tomorrow's scientific needs. This contributed volume is for researchers, graduate students, engineers and practitioners in the domains of control, energy, and transportation.

In recent years, extensive research has been conducted by eminent mathematicians and engineers whose results and proposed problems are presented in this new volume. It is addressed to graduate students, research mathematicians, physicists, and engineers. Individual contributions are devoted to topics of approximation theory, functional equations and inequalities, fixed point theory, numerical analysis, theory of wavelets, convex analysis, topology, operator theory, differential operators, fractional integral operators, integro-differential equations, ternary algebras, super and hyper relators, variational analysis, discrete mathematics, cryptography, and a variety of applications in interdisciplinary topics. Several of these domains have a strong connection with both theories and problems of linear and nonlinear optimization. The combination of results from various domains provides the reader with a solid, state-of-the-art interdisciplinary reference to theory and problems.  Some of the works provide guidelines for further research and proposals for new directions and open problems with relevant discussions.

This volume is the third (III) of four under the main themes of Digitizing Agriculture and Information and Communication Technologies (ICT). The four volumes cover rapidly developing processes including Sensors (I), Data (II), Decision (III), and Actions (IV). Volumes are related to ¿digital transformation¿ within agricultural production and provision systems, and in the context of Smart Farming Technology and Knowledge-based Agriculture. Content spans broadly from data mining and visualization to big data analytics and decision making, alongside with the sustainability aspects stemming from the digital transformation of farming. The four volumes comprise the outcome of the 12th EFITA Congress, also incorporating chapters that originated from select presentations of the Congress. The focus of this book (III) is on the transformation of collected information into valuable decisions and aims to shed light on how best to use digital technologies to reduce cost, inputs,and time, toward becoming more efficient and transparent. Fourteen chapters are grouped into 3 Sections. The first section of is dedicated to decisions in the value chain of agricultural products. The next section, titled Primary Production, elaborates on decision making for the improvement of processes taking place with the farm under the implementation of ICT. The last section is devoted to the development of innovative decision applications that also consider the protection of the environment, recognizing its importance in the preservation and considerate use of resources, as well as the mitigation of adverse impacts that are related to agricultural production.Planning and modeling the assessment of agricultural practices can provide farmers with valuable information prior to the execution of any task. This book provides a valuable reference for them as well as for those directly involved with decision making in planning and assessment of agricultural production.Specific advances covered in the volume: Modelling and Simulation of ICT-based agricultural systemsFarm Management Information Systems (FMIS) Planning for unmanned aerial systems Agri-robotics awareness and planning Smart livestock farming Sustainable strategic planning in agri-production Food business information systems

This book is devoted to the study of the turnpike phenomenon arising in optimal control theory. Special focus is placed on Turnpike results, in sufficient and necessary conditions for the turnpike phenomenon and in its stability under small perturbations of objective functions. The most important feature of this book is that it develops a large, general class of optimal control problems in metric space. Additional value is in the provision of solutions to a number of difficult and interesting problems in optimal control theory in metric spaces. Mathematicians working in optimal control, optimization, and experts in applications of optimal control to economics and engineering, will find this book particularly useful.All main results obtained in the book are new. The monograph contains nine chapters. Chapter 1 is an introduction. Chapter 2 discusses Banach space valued functions, set-valued mappings in infinite dimensional spaces, and related continuous-time dynamical systems. Some convergence results are obtained. In Chapter 3, a discrete-time dynamical system with a Lyapunov function in a metric space induced by a set-valued mapping, is studied. Chapter 4 is devoted to the study of a class of continuous-time dynamical systems, an analog of the class of discrete-time dynamical systems considered in Chapter 3. Chapter 5 develops a turnpike theory for a class of general dynamical systems in a metric space with a Lyapunov function. Chapter 6 contains a study of the turnpike phenomenon for discrete-time nonautonomous problems on subintervals of half-axis in metric spaces, which are not necessarily compact. Chapter 7 contains preliminaries which are needed in order to study turnpike properties of infinite-dimensional optimal control problems. In Chapter 8, sufficient and necessary conditions for the turnpike phenomenon for continuous-time optimal control problems on subintervals of the half-axis in metric spaces, is established. In Chapter 9, the examination continues of the turnpike phenomenon for the continuous-time optimal control problems on subintervals of half-axis in metric spaces discussed in Chapter 8.

This volume is the first (I) of four under the main themes of Digitizing Agriculture and Information and Communication Technologies (ICT). The four volumes cover rapidly developing processes including Sensors (I), Data (II), Decision (III), and Actions (IV). Volumes are related to ¿digital transformation¿ within agricultural production and provision systems, and in the context of Smart Farming Technology and Knowledge-based Agriculture. Content spans broadly from data mining and visualization to big data analytics and decision making, alongside with the sustainability aspects stemming from the digital transformation of farming. The four volumes comprise the outcome of the 12th EFITA Congress, also incorporating chapters that originated from select presentations of the Congress. The focus in this volume is on different aspects of sensors implementation in agricultural production (e.g., types of sensors, parameters monitoring, network types, connectivity, accuracy, reliability, durability, and needs to be covered) and provides variety of information and knowledge in the subject of sensors design, development, and deployment for monitoring agricultural production parameters. The book consists of four (4) Sections. The first section presents an overview on the state-off-the art in sensing technologies applied in agricultural production while the rest of the sections are dedicated to remote sensing, proximal sensing, and wireless sensor networks applications.Topics include: Emerging sensing technologies Soil reflectance spectroscopy LoRa technologies applications in agricultureWireless sensor networks deployment and applications Combined remote and proximal sensing solutions Crop phenology monitoring Sensors for geophysical properties Combined sensing technologies with geoinformation systems

This volume is the second (II) of four under the main themes of Digitizing Agriculture and Information and Communication Technologies (ICT). The four volumes cover rapidly developing processes including Sensors (I), Data (II), Decision (III), and Actions (IV). Volumes are related to 'digital transformation"e; within agricultural production and provision systems, and in the context of Smart Farming Technology and Knowledge-based Agriculture. Content spans broadly from data mining and visualization to big data analytics and decision making, alongside with the sustainability aspects stemming from the digital transformation of farming. The four volumes comprise the outcome of the 12th EFITA Congress, also incorporating chapters that originated from select presentations of the Congress. The first part of this book (II) focuses on data technologies in relation to agriculture and presents three key points in data management, namely, data collection, data fusion, and their uses in machine learning and artificial intelligent technologies. Part 2 is devoted to the integration of these technologies in agricultural production processes by presenting specific applications in the domain. Part 3 examines the added value of data management within agricultural products value chain.The book provides an exceptional reference for those researching and working in or adjacent to agricultural production, including engineers in machine learning and AI, operations management, decision analysis, information analysis, to name just a few. Specific advances covered in the volume: Big data management from heterogenous sources Data mining within large data setsData fusion and visualizationIoT based management systemsData Knowledge Management for converting data into valuable informationMetadata and data standards for expanding knowledge through different data platformsAI - based image processing for agricultural systemsData - based agricultural businessMachine learning application in agricultural products value chain

This volume is the last (IV) of four under the main themes of Digitizing Agriculture and Information and Communication Technologies (ICT). The four volumes cover rapidly developing processes including Sensors (I), Data (II), Decision (III), and Actions (IV). Volumes are related to ¿digital transformation¿ within agricultural production and provision systems, and in the context of Smart Farming Technology and Knowledge-based Agriculture. Content spans broadly from data mining and visualization to big data analytics and decision making, alongside with the sustainability aspects stemming from the digital transformation of farming. The four volumes comprise the outcome of the 12th EFITA Congress, also incorporating chapters that originated from select presentations of the Congress. The focus in this volume is on the directions of Agriculture 4.0 which incorporates the transition to a new era of action in the Agricultural sector, represented by the evolution of digital technologies in 4 aspects: Big Data, Open Data, Internet of Things (IoT), and Cloud Computing. Under the heading of ¿Action,¿ 14 Chapters investigate the implementation of cutting-edge technologies on real world applications. It will become apparent to the reader that the penetration of ICT in agriculture can result in several benefits related to the sustainability of the sector and to yield the maximum benefits, successful management is required. The entire discussion highlights the importance of proper education in the adoption of innovative technologies starting with the adaption of educational systems to the new era and moving to the familiarization of farmers to the new technologies.This book covers topics that relate to the digital transformation of farming. It provides examples and case studies of this transformation from around the world, examines the process of diffusion of digital technologies, and assesses the current and future sustainability aspects of digital agriculture. More specifically, it deals with issues such as: Challenges and opportunities from the transition to Agriculture 4.0Safety and health in agricultural work automationThe role of digital farming on regional-spatial planningThe enrollment of Social Media in IoT-based agricultureThe role of education in digital agricultureReal-life implementation cases of smart agriculture around the world

This text is an enhanced, English version of the Russian edition, published in early 2021 and is appropriate for an introductory course in geometric control theory. The concise presentation provides an accessible treatment of the subject for advanced undergraduate and graduate students in theoretical and applied mathematics, as well as to experts in classic control theory for whom geometric methods may be introduced. Theory is accompanied by characteristic examples such as stopping a train, motion of mobile robot, Euler elasticae, Dido's problem, and rolling of the sphere on the plane. Quick foundations to some recent topics of interest like control on Lie groups and sub-Riemannian geometry are included. Prerequisites include only a basic knowledge of calculus, linear algebra, and ODEs; preliminary knowledge of control theory is not assumed. The applications problems-oriented approach discusses core subjects and encourages the reader to solve related challenges independently. Highly-motivated readers can acquire working knowledge of geometric control techniques and progress to studying control problems and more comprehensive books on their own. Selected sections provide exercises to assist in deeper understanding of the material.Controllability and optimal control problems are considered for nonlinear nonholonomic systems on smooth manifolds, in particular, on Lie groups. For the controllability problem, the following questions are considered: controllability of linear systems, local controllability of nonlinear systems, Nagano-Sussmann Orbit theorem, Rashevskii-Chow theorem, Krener's theorem. For the optimal control problem, Filippov's theorem is stated, invariant formulation of Pontryagin maximum principle on manifolds is given, second-order optimality conditions are discussed, and the sub-Riemannian problem is studied in detail. Pontryagin maximum principle is proved for sub-Riemannian problems, solution to the sub-Riemannian problems on the Heisenberg group, the group of motions of the plane, and the Engel group is described.

Optimization Theory and Methods can be used as a textbook for an optimization course for graduates and senior undergraduates. It is the result of the author's teaching and research over the past decade. It describes optimization theory and several powerful methods. For most methods, the book discusses an idea's motivation, studies the derivation, establishes the global and local convergence, describes algorithmic steps, and discusses the numerical performance.

Software Engineering Techniques Applied to Agricultural Systems presents cutting-edge software engineering techniques for designing and implementing better agricultural software systems based on the object-oriented paradigm and the Unified Modeling Language (UML). The book is divided in two parts: the first part presents concepts of the object-oriented paradigm and the UML notation of these concepts, and the second part provides a number of examples of applications that use the material presented in the first part. The examples presented illustrate the techniques discussed, focusing on how to construct better models using objects and UML diagrams. More advanced concepts such as distributed systems and examples of how to build these systems are presented in the last chapter of the book.The book presents a step-by-step approach for modeling agricultural systems, starting with a conceptual diagram representing elements of the system and their relationships. Furthermore, diagrams such as sequential and collaboration diagrams are used to explain the dynamic and static aspects of the software system.