What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...
اقرأ المزيد
                Provides an overview of different deep learning-based methods for face recognition and related problems. Specifically, the ...
اقرأ المزيد
                Presents a comprehensive comparison of the performance of stochastic optimization algorithms Includes an introduction to ...
اقرأ المزيد
                This volume presents recent developments in the theory of defects and the mechanics of material forces. Most of the contributions ...
اقرأ المزيد
                Il libro Demand Planning analizza metodi quantitativi, modelli matematici e processi aziendali per la gestione e la pianificazione ...
اقرأ المزيد
                This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
اقرأ المزيد
                Mechatronic design processes have become shorter and more parallelized, induced by growing time-to-market pressure. Methods ...
اقرأ المزيد
                This book provides a comprehensive introduction to the design and analysis of Learning Classifier Systems (LCS) from the ...
اقرأ المزيد
                This is an advanced expository book on statistical methods for the Design and Analysis of Simulation Experiments (DASE). ...
اقرأ المزيد
                This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT ...
اقرأ المزيد
                One of the main problems in current economic theory is to write contracts which are Pareto optimal, incentive compatible, ...
اقرأ المزيد
                Discrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software ...
اقرأ المزيد
                This book is a valuable source of information for all operations research practitioners who are interested in modern approaches ...
اقرأ المزيد
                The objective of this work is to present recent advances in the theory of neural control for discrete-time nonlinear systems ...
اقرأ المزيد
                is book facilitates an integrative understanding of the development, genetics and evolution of butterfly wing patterns. To ...
اقرأ المزيد
                This textbook provides a mathematical introduction to the theory of large-scale ocean circulation and is accessible for readers ...
اقرأ المزيد
                This volume comprises the proceedings of the NATO Advanced Study Institute on Dynamics of Complex Interconnected Biosensor ...
اقرأ المزيد
                A model for collaboratively solving complex problems Explains the nature of collaboration, explores an easy-to-follow process ...
اقرأ المزيد
                A problem of broad interest – the estimation of the spectral gap for matrices or differential operators (Markov chains ...
اقرأ المزيد
                This book addresses new trends and innovative aspects in electronic commerce research, including B2B (business to business), ...
اقرأ المزيد