50 Years of Artificial Intelligence : Essays Dedicated to the 50th Anniversary of Artificial Intelligence
This Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed papers written by leading researchers in the field of Artificial Intelligence. The papers were carefully selected from the invited lectures given at the 50th Anniversary Summit of AI, held at the Centro Stefano Franscini, Monte Verità, Ascona, Switzerland, July 9-14, 2006. The summit provided a venue for discussions on a broad range of topics.
3-D Shape Estimation and Image Restoration : Exploiting Defocus and Motion-Blur
Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, images can be used to infer three-dimensional information. This useful volume concentrates on motion blur and defocus, which can be exploited to infer the 3-D structure of a scene—as well as its radiance properties—and which in turn can be used to generate novel images with better quality. 3-D Shape Estimation and Image Restoration presents a coherent framework for the analysis and design of algorithms to estimate 3-D shape from defocused and motion blurred images, and to eliminate defocus and motion blur to yield "restored" images. It provides a collection of algorithms that are optimal with respect to the chosen model and estimation criterion.
3D Imaging, Analysis and Applications
This textbook is designed for postgraduate studies in the field of 3D Computer Vision. It also provides a useful reference for industrial practitioners; for example, in the areas of 3D data capture, computer-aided geometric modelling and industrial quality assurance. This second edition is a significant upgrade of existing topics with novel findings. Additionally, it has new material covering consumer-grade RGB-D cameras, 3D morphable models, deep learning on 3D datasets, as well as new applications in the 3D digitization of cultural heritage and the 3D phenotyping of crops.
3D Imaging for Safety and Security
This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention was given to advanced 3D imaging technologies in the context of safety and security applications. Comparative evaluation studies showing advantages of 3D imaging over traditional 2D imaging for a given computer vision or pattern recognition task were emphasized. Moreover, additional experts in the field of 3D imaging for safety and security were invited by the editors for a contribution to this book.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
Artificial intelligence in mechatronics and civil engineering : Bridging the gap
Recent studies highlight the application of artificial intelligence, machine learning, and simulation techniques in engineering. This book covers the successful implementation of different intelligent techniques in various areas of engineering focusing on common areas between mechatronics and civil engineering. The power of artificial intelligence and machine learning techniques in solving some examples of real-life problems in engineering is highlighted in this book. The implementation process to design the optimum intelligent models is discussed in this book.
Market engineering : Insights from two decades of research on markets and information
This book provides a broad range of insights on market engineering and information management. It covers topics like auctions, stock markets, electricity markets, the sharing economy, information and emotions in markets, smart decision-making in cities and other systems, and methodological approaches to conceptual modeling and taxonomy development.
Management and Information Technology after Digital Transformation
With the widespread transformation of information into digital form throughout society – firms and organisations are embracing this development to adopt multiple types of IT to increase internal efficiency and to achieve external visibility and effectiveness – we have now reached a position where there is data in abundance and the challenge is to manage and make use of it fully. This book addresses this new managerial situation, the post-digitalisation era, and offers novel perspectives on managing the digital landscape.
Large-scale group decision-making : State-to-the-art clustering and consensus paths
The proposed consensus models focus on the treatment of non-cooperative behaviors in the consensus-reaching process and explores the influence of trust loss on the consensus-reaching process.The logic behind is as follows: firstly, a clustering algorithm is adopted to reduce the dimension of decision-makers, and then, based on the clusters’ opinions obtained, a consensus-reaching process is carried out to obtain a decision result acceptable to the majority of decision-makers.
Complexity and Artificial Markets
In recent years, agent-based simulation has become a widely accepted tool when dealing with complexity in economics and other social sciences. The contributions presented in this book apply agent-based methods to derive results from complex models related to market mechanisms, evolution, decision making, and information economics. In addition, the applicability of agent-based methods to complex problems in economics is discussed from a methodological perspective. The papers presented in this collection combine approaches from economics, finance, computer science, natural sciences, philosophy, and cognitive sciences.
Big Data Science in Finance
Explains the mathematics, theory, and methods of Big Data as applied to finance and investing Examines the mathematics, theory, and practical use of the revolutionary techniques that are transforming the industry. Designed for mathematically-advanced students and discerning financial practitioners alike, this energizing book presents new, cutting-edge content based on world-class research taught in the leading Financial Mathematics and Engineering programs in the world. Marco Avellaneda, a leader in quantitative finance, and quantitative methodology author Irene Aldridge help readers harness the power of Big Data. Provides a complete account of Big Data that includes proofs, step-by-step applications, and code samples Explains the difference between Principal Component Analysis (PCA) and Singular Value Decomposition (SVD) Covers vital topics in the field in a clear, straightforward manner Compares, contrasts, and discusses Big Data and Small Data Includes Cornell University-tested educational materials such as lesson plans, end-of-chapter questions, and downloadable lecture slides
Artificial markets modeling : Methods and applications
Agent-based computational modeling with its intrinsic multidisciplinary approach is gaining increasing recognition in the social sciences, particularly in economics, business and finance. This volume is devoted to recent contributions to the field from both the social sciences and computer sciences.
Artificial intelligence for marketing management
Artificial intelligence (AI) has driven businesses to adopt new business practices rapidly, enhance product development and services, has helped to power AI-based market intelligence and customer insights, and improve customer relationship management. This timely book addresses the use of AI in marketing.
An annotated timeline of operations research: An informal history
An Annotated Timeline of Operations Research: An Informal History recounts the evolution of Operations Research (OR) as a new science - the science of decision making. Arising from the urgent operational issues of World War II, the philosophy and methodology of OR has permeated the resolution of decision problems in business, industry, and government. The Timeline chronicles the history of OR in the form of self-contained, expository entries. Each entry presents a concise explanation of the events and people under discussion, and provides key sources where further relevant information can be obtained. In addition, books and papers that have influenced the development of OR or helped to educate the first generations of OR academics and practitioners are cited throughout the book.
Advanced Trends in ICT for Innovative Business Management
Contains a collection of scientific chapters addressing the emerging trends in IT and telecommunications, as well as the issues that accompany them in business. It addresses issues in cyber applications, ICT solutions and innovative cyber know-how, and demonstrates how high-tech IT communications resources can be used to improve business production, sales and service strategies, supply chains and logistics.
Acquiring card payments
Covers: Payment cards and protocols / EMV contact chip and contactless transactions / Disputes, arbitration, and compliance / Data security standards in the payment card industry / Validation algorithms / Code tables / Basic cryptography / Pin block formats and algorithms
Making with data : Physical design and craft in a data-driven world
Making with Data: Physical Design and Craft in a Data-Driven World provides a snapshot of the diverse practices contemporary creators are using to produce objects, spaces, and experiences imbued with data. Across 25+ beautifully-illustrated chapters, international artists, designers, and scientists each explain the process of creating a specific data-driven piece—illustrating their practice with candid sketches, photos, and design artifacts from their own studios. Featuring influential voices in computer science, data science, graphic design, art, craft, and architecture, Making with Data is accessible and inspiring for enthusiasts and experts alike.
Mathematical Methods in Time Series Analysis and Digital Image Processing
The aim of this volume is to bring together research directions in theoretical signal and imaging processing developed rather independently in electrical engineering, theoretical physics, mathematics and the computer sciences. In particular, mathematically justified algorithms and methods, the mathematical analysis of these algorithms, and methods as well as the investigation of connections between methods from time series analysis and image processing are reviewed. An interdisciplinary comparison of these methods, drawing upon common sets of test problems from medicine and geophysical/enviromental sciences, is also addressed.
Mathematical methods and modelling in hydrocarbon exploration and production
Hydrocarbon exploration and production incorporate great technology challenges for the oil and gas industry. In order to meet the world's future demand for oil and gas, further technological advance is needed, which in turn requires research across multiple disciplines, including mathematics, geophysics, geology, petroleum engineering, signal processing, and computer science. This book addresses important aspects and fundamental concepts in hydrocarbon exploration and production. Moreover, new developments and recent advances in the relevant research areas are discussed, whereby special emphasis is placed on mathematical methods and modelling. The book reflects the multi-disciplinary character of the hydrocarbon production workflow, ranging from seismic data imaging, seismic analysis and interpretation and geological model building, to numerical reservoir simulation. Various challenges concerning the production workflow are discussed in detail.
Mathematical Analysis I
The purpose of the volume is to provide a support for a first course in Mathematical Analysis, along the lines of the recent Programme Specifications for mathematical teaching in European universities. The contents are organised to appeal especially to Engineering, Physics and Computer Science students, all areas in which mathematical tools play a crucial role. Basic notions and methods of differential and integral calculus for functions of one real variable are presented in a manner that elicits critical reading and prompts a hands-on approach to concrete applications. The layout has a specifically-designed modular nature, allowing the instructor to make flexible didactical choices when planning an introductory lecture course. The book may in fact be employed at three levels of depth. At the elementary level the student is supposed to grasp the very essential ideas and familiarise with the corresponding key techniques.



















