Matematisk databehandlingsteori

This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994.In total, 29 refereed …

This book constitutes the refereed proceedings of the 4thInternational Conference on Theory and Practice of Natural Computing, TPNC2015, held in Mieres, Spain, in December 2015.The …

?This book constitutes the refereed proceedings of the 5th IEEE Colombian Conference on Applications of Computational Intelligence, ColCACI 2022, held in Cali, Colombia during July …

This book is an intellectually stimulating excursion into mathematical machines and structures capable for a universal computation. World top experts in computer science and …

This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor.The general pattern of this …

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 …

Get started with MATLAB for deep learning and AI with this in-depth primer. In this book, you start with machine learning fundamentals, then move on to neural networks, deep …

This book provides theories on non-parametric shape optimization problems, systematically keeping in mind readers with an engineering background. Non-parametric shape optimization …

This volume presents a variety of papers bearing on the relation between deontic logics, logics of action, and normative systems, i.e. systems of or about interacting agents …

This volume constitutes the papers of the 4th International Workshop on Active Inference, IWAI 2023, held in Ghent, Belgium on September 2023.The 17 full papers included in this …