Springer berlin atlantis press (3 risultati)

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Templates are used to generate all kinds of text, including computer code. The last decade, the use of templates gained a lot of popularity due to the increase of dynamic web applications. Templates are a tool for programmers, and implementations of template engines are most times based on practical experience rather than based on a theoretical background. This book reveals the mathematical background of templates and shows interesting findings for improving the practical use of templates. First, a framework to determine the necessary computational power for the template metalanguage is presented. The template metalanguage does not need to be Turing-complete to be useful. A non-Turing-complete metalanguage enforces separation of concerns between the view and model. Second, syntactical correctness of all languages of the templates and generated code is ensured. This includes the syntactical correctness of the template metalanguage and the output language. Third, case studies show that the achieved goals are applicable in practice. It is even shown that syntactical correctness helps to prevent cross-site scripting attacks in web applications. The target audience of this book is twofold. The first group exists of researcher interested in the mathematical background of templates. The second group exists of users of templates. This includes designers of template engines on one side and programmers and web designers using templates on the other side.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - For more than a century, the study of various types of inequalities has been the focus of great attention by many researchers, interested both in the theory and its applications. In particular, there exists a very rich literature related to the well known Cebysev, Gruss, Trapezoid, Ostrowski, Hadamard and Jensen type inequalities. The present monograph is an attempt to organize recent progress related to the above inequalities, which we hope will widen the scope of their applications. The field to be covered is extremely wide and it is impossible to treat all of these here. The material included in the monograph is recent and hard to find in other books. It is accessible to any reader with a reasonable background in real analysis and an acquaintance with its related areas. All results are presented in an elementary way and the book could also serve as a textbook for an advanced graduate course. The book deserves a warm welcome to those who wish to learn the subject and it will also be most valuable as a source of reference in the field. It will be invaluable reading for mathematicians and engineers and also for graduate students, scientists and scholars wishing to keep abreast of this important area of research.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a collection of writings by active researchers in the field of Artificial General Intelligence, on topics of central importance in the field. Each chapter focuses on one theoretical problem, proposes a novel solution, and is written in sufficiently non-technical language to be understandable by advanced undergraduates or scientists in allied fields.This book is the very first collection in the field of Artificial General Intelligence (AGI) focusing on theoretical, conceptual, and philosophical issues in the creation of thinking machines. All the authors are researchers actively developing AGI projects, thus distinguishing the book from much of the theoretical cognitive science and AI literature, which is generally quite divorced from practical AGI system building issues. And the discussions are presented in a way that makes the problems and proposed solutions understandable to a wide readership of non-specialists, providing a distinction from the journal and conference-proceedings literature. The book will benefit AGI researchers and students by giving them a solid orientation in the conceptual foundations of the field (which is not currently available anywhere); and it would benefit researchers in allied fields by giving them a high-level view of the current state of thinking in the AGI field. Furthermore, by addressing key topics in the field in a coherent way, the collection as a whole may play an important role in guiding future research in both theoretical and practical AGI, and in linking AGI research with work in allied disciplines.…