الصفحة 24
الصفحة 24
Deep neural networks and data for automated driving : robustness, uncertainty quantification, and insights towards safety
Environment perception for highly automated driving heavily employs deep neural networks, facing many challenges. How much data do we need for training and testing? How to use synthetic data to save labeling costs for training? How do we increase robustness and decrease memory usage? For inevitably poor conditions: How do we know that the network is uncertain about its decisions? Can we understand a bit more about what actually happens inside neural networks? This leads to a very practical problem particularly for DNNs employed in automated driving: What are useful validation techniques and how about safety? This book unites the views from both academia and industry, where computer vision and machine learning meet environment perception for highly automated driving. Naturally, aspects of data, robustness, uncertainty quantification, and, last but not least, safety are at the core of it. This book is unique: In its first part, an extended survey of all the relevant aspects is provided. The second part contains the detailed technical elaboration of the various questions mentioned above.
Deep Learning-Based Face Analytics
Provides an overview of different deep learning-based methods for face recognition and related problems. Specifically, the authors present methods based on autoencoders, restricted Boltzmann machines, and deep convolutional neural networks for face detection, localization, tracking, recognition, etc. The authors also discuss merits and drawbacks of available approaches and identifies promising avenues of research in this rapidly evolving field.
Deep learning for computational problems in hardware security : Modeling attacks on strong physically unclonable function circuits
Discusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware security applications, in particular the techniques of launching potent "modeling attacks" on Physically Unclonable Function (PUF) circuits, which are promising hardware security primitives. The volume is self-contained and includes a comprehensive background on PUF circuits, and the necessary mathematical foundation of traditional and advanced machine learning techniques such as support vector machines, logistic regression, neural networks, and deep learning. This book can be used as a self-learning resource for researchers and practitioners of hardware security, and will also be suitable for graduate-level courses on hardware security and application of machine learning in hardware security.
Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? What is the relationship between mathematical procedures and natural processes? The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge. Some essays deal with the logical skeleton of deduction, others examine the interplay between natural systems and models of computation, yet others use significant results from the natural sciences to illustrate the character of procedures in applied mathematics. Focusing on relevant conceptual and logical issues underlying the overall quest for proving, the volume seeks to cast light on what the effectiveness of proof rests on.
Decrypted Secrets : Methods and Maxims of Cryptology
Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication channels, databases, and software. Beside its role in computerized information systems (public key systems), more and more applications within computer systems and networks are appearing, which also extend to access rights and source file protection. The first part of this book treats secret codes and their uses - cryptography. The second part deals with the process of covertly decrypting a secret code - cryptanaly-sis - where in particular advice on assessing methods is given. The book presupposes only elementary mathematical knowledge.
Decomposition Techniques in Mathematical Programming : Engineering and Science Applications
This textbook for students and practitioners presents a practical approach to decomposition techniques in optimization. It provides an appropriate blend of theoretical background and practical applications in engineering and science, which makes the book interesting for practitioners, as well as engineering, operations research and applied economics graduate and postgraduate students. "Decomposition Techniques in Mathematical Programming" is based on clarifying, illustrative and computational examples and applications from electrical, mechanical, energy and civil engineering as well as applied mathematics and economics. It addresses decomposition in linear programming, mixed-integer linear programming, nonlinear programming, and mixed-integer nonlinear programming, and provides rigorous decomposition algorithms as well as heuristic ones.
Decision Procedures : An Algorithmic Point of View
Concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.
De sphaera of Johannes de Sacrobosco in the Early Modern Period : The Authors of the Commentaries
Explores commentaries on an influential text of pre-Copernican astronomy in Europe. It features essays that take a close look at key intellectuals and how they engaged with the main ideas of this qualitative introduction to geocentric cosmology.
Database theory - ICDT 2005 ; 10th international conference, Edinburgh, UK, January 5-7, 2005, Proceedings
This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during January 5–7, 2005, in Edinburgh, UK. ICDT (http://alpha.luc.ac.be/~lucp1080/icdt/) has now a long tra- tion of international conferences, providing a biennial scienti?c forum for the communication of high-quality and innovative research results on theoretical - pects of all forms of database systems and database technology. The conference usually takes place in Europe, and has been held in Rome (1986), Bruges (1988), Paris (1990), Berlin (1992), Prague (1995), Delphi (1997), Jerusalem (1999), London (2001), and Siena (2003) so far. ICDT has merged with the Sym- sium on Mathematical Fundamentals of Database Systems (MFDBS), initiated in Dresden in 1987, and continued in Visegrad in 1989 and Rostock in 1991. ICDT had a two-stage submission process. First, 103 abstracts were subm- ted, which were followed a week later by 84 paper submissions. From these 84 submissions, the ICDT Program Committee selected 24 papers for presentation at the conference. Most of these papers were “extended abstracts” and preli- nary reports on work in progress. It is anticipated that most of these papers will appear in a more polished form in scienti?c journals.
Data science in theory and practice : Techniques for big data analytics and complex data sets
Delivers a comprehensive treatment of the mathematical and statistical models useful for analyzing data sets arising in various disciplines, like banking, finance, health care, bioinformatics, security, education, and social services. Written in five parts, the book examines some of the most commonly used and fundamental mathematical and statistical concepts that form the basis of data science. The authors go on to analyze various data transformation techniques useful for extracting information from raw data, long memory behavior, and predictive modeling. Readers will also learn from topics like: Analyses of foundational theoretical subjects, including the history of data science, matrix algebra and random vectors, and multivariate analysis A comprehensive examination of time series forecasting, including the different components of time series and transformations to achieve stationarity Introductions to both the R and Python programming languages, including basic data types and sample manipulations for both languages An exploration of algorithms, including how to write one and how to perform an asymptotic analysis A comprehensive discussion of several techniques for analyzing and predicting complex data sets
Data collection in fragile states : Innovations from Africa and beyond
This book addresses an urgent issue on which little organized information exists. It reflects experience in Africa but is highly relevant to other fragile states as well. —Constantine Michalopoulos, John Hopkins University, USA and former Director of Economic Policy and Co-ordination at the World Bank
Data Assimilation : The Ensemble Kalman Filter
Data Assimilation comprehensively covers data assimilation and inverse methods, including both traditional state estimation and parameter estimation. This text and reference focuses on various popular data assimilation methods, such as weak and strong constraint variational methods and ensemble filters and smoothers. It is demonstrated how the different methods can be derived from a common theoretical basis, as well as how they differ and/or are related to each other, and which properties characterize them, using several examples.It presents the mathematical framework and derivations in a way which is common for any discipline where dynamics is merged with measurements. The mathematics level is modest, although it requires knowledge of basic spatial statistics, Bayesian statistics, and calculus of variations. Readers will also appreciate the introduction to the mathematical methods used and detailed derivations, which should be easy to follow, are given throughout the book. The codes used in several of the data assimilation experiments are available on a web page.The focus on ensemble methods, such as the ensemble Kalman filter and smoother, also makes it a solid reference to the derivation, implementation and application of such techniques. Much new material, in particular related to the formulation and solution of combined parameter and state estimation problems and the general properties of the ensemble algorithms, is available here for the first time.
Cutting-edge issues in Business Ethics : Continental Challenges to Tradition and Practice
This volume is one of the very few publications dedicated to the challenges that Continental philosophy poses to the field of Business Ethics. The authors want to draw attention to the work of Continental philosophers who have been relegated to the fringes of Business Ethics scholarship, and present some critical perspectives that have been ignored within Business Ethics practice. As such, this volume provides a critique of many of the assumptions that underpin traditional approaches to Business Ethics, and urges its readership to rethink moral agency and epistemology, as well as Business Ethics pedagogy.
Current Themes in Theoretical Biology : A Dutch Perspective
The present volume originated in 2001 when we, together with our publishing editors at (then) Kluwer Academic Publishers, realized that the th following year the 50 volume of our journal Acta Biotheoretica would see the light. We felt that this milestone should not pass unnoticed and that the appropriate way to mark it would be the publication of a special volume of papers on theoretical biology. While editing this book during 2003 and early 2004, we realized that another milestone was not far off: in 2005 it will be 70 years ago that the journal was founded. We hope that the book lying before you will serve well to mark both events. The papers collected here have been written on invitation by representatives of the theoretical biology community in The Netherlands. They are intended to reflect the entire spectrum of topics on which Acta Biotheoretica publishes, ranging from philosophy of biology on one end to mathematical biology on the other. All chapters (except our own introductory one) have been peer reviewed according to the standards that are maintained with respect to regular submissions to Acta Biotheoretica.
Current and Future Perspectives of Ethnomathematics as a Program
This survey on the modernity of ethnomathematics addresses numerous themes related to both ethnomathematics and mathematics education. It offers a broader view of mathematics, including ideas, procedures, concepts, processes, methods, and practices rooted in distinct cultural environments. In addition, by reflecting on the social and political dimensions of ethnomathematics, another important aspect of this research program is the development of innovative approaches for a dynamic and glocalized society. Ethnomathematics recognizes that members of different cultures develop unique mathematical techniques, methods, and explanations that allow for an alternative understanding and transformation of societal norms. The theoretical basis of ethnomathematics offers a valid alternative to traditional studies of history, philosophy, cognition, and pedagogical aspects of mathematics.
Cryptography, information theory, and error-correction : A handbook for the 21st century ; 2nd ed.
A rich examination of the technologies supporting secure digital information transfers from respected leaders in the field. Is an indispensable resource for anyone interested in the secure exchange of financial information. Identity theft, cybercrime, and other security issues have taken center stage as information becomes easier to access. Three disciplines offer solutions to these digital challenges: cryptography, information theory, and error-correction, all of which are addressed in this book. The book also: Shares vital, new research in the field of information theory / Provides quantum cryptography updates / Includes over 350 worked examples and problems for greater understanding of ideas.
Critique de la valeur fondamentale = Critique of fundamental value
This work takes stock of the different conceptions of fundamental value in finance, the methods of its calculation and the ongoing debates in financial theory as in professional practices. The book reports on the alternatives offered by mathematical modeling.
Creep Mechanics ; 3rd ed.
The third edition of “Creep Mechanics” provides a short survey of recent advances in the mathematical modelling of the mechanical behavior of anisotropic solids under creep conditions, including principles, methods, and applications of tensor functions.
Cours doptique : Simulations et exercices résolus avec Maple, Matlab, Mathematica, Mathcad = Optics course: Simulations and exercises solved with Maple, Matlab, Mathematica, Mathcad
Intended for students at the L and M levels of the university as well as for engineers wishing to study certain subjects in greater depth. It covers all the themes of a traditional optics course, from geometric optics to holography, interference, diffraction, coherence and the use of the Fourier transform for spectroscopy. The presentation is developed from mathematical models deriving from typical situations and fundamental examples which are presented in the form of computer programs ready to be implemented. These programs are also available on the CD accompanying the book, for each of the following scientific programming environments: Matlab, Maple, Mathematica and Mathcad. Thus, the reader will be able to modify the parameters of the examples proposed to adapt them to new situations.
Cosmological crossroads : An advanced course in mathematical, physical and string cosmology
This book has grown out of lectures held at a summer school on cosmology, in response to an ever increasing need for an advanced textbook that addresses the needs of both postgraduate students and nonspecialist researchers from various disciplines ranging from mathematical physics to observational astrophysics. Bridging the gap between standard textbook material in cosmology and the forefront of research, this book also constitutes a modern source of reference for the experienced researcher in classical and quantum cosmology.
