Download or read book Ottimizzazione dei tempi di ricerca in alberi bilanciati written by Marco Gottardo and published by Lulu.com. This book was released on with total page 108 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Fondamenti di informatica Linguaggi e tecniche di programmazione written by Carlo Savy and published by . This book was released on 1993 with total page 360 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Bollettino della Unione matematica italiana written by Unione matematica italiana and published by . This book was released on 1973 with total page 930 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Numerical Mathematics written by Alfio Quarteroni and published by Springer. This book was released on 2017-01-26 with total page 669 pages. Available in PDF, EPUB and Kindle. Book excerpt: The purpose of this book is to provide the mathematical foundations of numerical methods, to analyze their basic theoretical properties and to demonstrate their performances on examples and counterexamples. Within any specific class of problems, the most appropriate scientific computing algorithms are reviewed, their theoretical analyses are carried out and the expected results are verified using the MATLAB software environment. Each chapter contains examples, exercises and applications of the theory discussed to the solution of real-life problems. While addressed to senior undergraduates and graduates in engineering, mathematics, physics and computer sciences, this text is also valuable for researchers and users of scientific computing in a large variety of professional fields.
Download or read book Understanding Formal Methods written by Jean-Francois Monin and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 288 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed to explore the field of formal methods in more detail. It offers: a guide to the mathematics required; comprehensive but easy-to-understand introductions to various methods; a run-down of how formal methods can help to develop high-quality systems that come in on time, within budget, and according to requirements.
Download or read book Computer Science Handbook written by Allen B. Tucker and published by CRC Press. This book was released on 2004-06-28 with total page 2742 pages. Available in PDF, EPUB and Kindle. Book excerpt: When you think about how far and fast computer science has progressed in recent years, it's not hard to conclude that a seven-year old handbook may fall a little short of the kind of reference today's computer scientists, software engineers, and IT professionals need. With a broadened scope, more emphasis on applied computing, and more than 70 chap
Download or read book Introduction to Bisimulation and Coinduction written by Davide Sangiorgi and published by Cambridge University Press. This book was released on 2011-10-13 with total page 261 pages. Available in PDF, EPUB and Kindle. Book excerpt: Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis.
Download or read book Data and Information Quality written by Carlo Batini and published by Springer. This book was released on 2016-03-23 with total page 520 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a systematic and comparative description of the vast number of research issues related to the quality of data and information. It does so by delivering a sound, integrated and comprehensive overview of the state of the art and future development of data and information quality in databases and information systems. To this end, it presents an extensive description of the techniques that constitute the core of data and information quality research, including record linkage (also called object identification), data integration, error localization and correction, and examines the related techniques in a comprehensive and original methodological framework. Quality dimension definitions and adopted models are also analyzed in detail, and differences between the proposed solutions are highlighted and discussed. Furthermore, while systematically describing data and information quality as an autonomous research area, paradigms and influences deriving from other areas, such as probability theory, statistical data analysis, data mining, knowledge representation, and machine learning are also included. Last not least, the book also highlights very practical solutions, such as methodologies, benchmarks for the most effective techniques, case studies, and examples. The book has been written primarily for researchers in the fields of databases and information management or in natural sciences who are interested in investigating properties of data and information that have an impact on the quality of experiments, processes and on real life. The material presented is also sufficiently self-contained for masters or PhD-level courses, and it covers all the fundamentals and topics without the need for other textbooks. Data and information system administrators and practitioners, who deal with systems exposed to data-quality issues and as a result need a systematization of the field and practical methods in the area, will also benefit from the combination of concrete practical approaches with sound theoretical formalisms.
Download or read book Data Quality written by Carlo Batini and published by Springer Science & Business Media. This book was released on 2006-09-27 with total page 276 pages. Available in PDF, EPUB and Kindle. Book excerpt: Poor data quality can seriously hinder or damage the efficiency and effectiveness of organizations and businesses. The growing awareness of such repercussions has led to major public initiatives like the "Data Quality Act" in the USA and the "European 2003/98" directive of the European Parliament. Batini and Scannapieco present a comprehensive and systematic introduction to the wide set of issues related to data quality. They start with a detailed description of different data quality dimensions, like accuracy, completeness, and consistency, and their importance in different types of data, like federated data, web data, or time-dependent data, and in different data categories classified according to frequency of change, like stable, long-term, and frequently changing data. The book's extensive description of techniques and methodologies from core data quality research as well as from related fields like data mining, probability theory, statistical data analysis, and machine learning gives an excellent overview of the current state of the art. The presentation is completed by a short description and critical comparison of tools and practical methodologies, which will help readers to resolve their own quality problems. This book is an ideal combination of the soundness of theoretical foundations and the applicability of practical approaches. It is ideally suited for everyone – researchers, students, or professionals – interested in a comprehensive overview of data quality issues. In addition, it will serve as the basis for an introductory course or for self-study on this topic.
Download or read book Research and Professional Practice in Specialised Translation written by Federica Scarpa and published by Springer Nature. This book was released on 2020-09-18 with total page 427 pages. Available in PDF, EPUB and Kindle. Book excerpt: Specialised translation has received very little attention from academic researchers, but in fact accounts for the bulk of professional translation on a global scale and is taught in a growing number of university-level translation programmes. This book aims to provide three things. Firstly, it offers a description of what makes the approach to specialised translation distinctive from wider-ranging approaches to Translation Studies adopted by translation scholars and applied linguists. Secondly, unlike the traditional approach to specialised translation, this book explores a perspective on specialised translation that is much less focused on terminology and more on the function and reception of specialised (translated) texts. Finally, the author outlines a professionally-oriented hands-on approach to the teaching of specialised translation resulting from many years of teaching it to MA students. The book will be of interest to Translation Studies students and scholars, as well as professional translators who are interested in the theory on which their activity is based.
Download or read book Advanced Topics in Bisimulation and Coinduction written by Davide Sangiorgi and published by Cambridge University Press. This book was released on 2011-10-13 with total page 341 pages. Available in PDF, EPUB and Kindle. Book excerpt: Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.
Download or read book The Pi Calculus written by Davide Sangiorgi and published by Cambridge University Press. This book was released on 2003-10-16 with total page 600 pages. Available in PDF, EPUB and Kindle. Book excerpt: Graduate text on the p-calculus, a mathematical model of mobile computing systems.
Download or read book Gehry Draws written by Frank O. Gehry and published by Mit Press. This book was released on 2004 with total page 544 pages. Available in PDF, EPUB and Kindle. Book excerpt: Drawing was Frank Gehry's way of "thinking aloud" as a master architect. Tracing this part of Gehry's creative process through 32 major projects, both built and unbuilt, this volume features more than 900 illustrations.
Download or read book The Novel Cure written by Ella Berthoud and published by Penguin Canada. This book was released on 2013-10-08 with total page 460 pages. Available in PDF, EPUB and Kindle. Book excerpt: A novel is a story, a collection of experiences transmitted from the mind of one to the mind of another. It offers a way to unwind, a way to focus, a way to learn about life—distraction, entertainment, and diversion. But it can also be something much more powerful. When read at the right time in your life, a novel can—quite literally—change it. The Novel Cure is a reminder of that power. To create this apothecary, the authors have trawled through two thousand years of literature for the most brilliant minds and engrossing reads. Structured like a reference book, it allows readers to simply look up their ailment, whether it be agoraphobia, boredom, or midlife crisis, then they are given the name of a novel to read as the antidote.
Download or read book RoboCup 2008 Robot Soccer World Cup XII written by Luca Iocchi and published by Springer. This book was released on 2009-06-24 with total page 675 pages. Available in PDF, EPUB and Kindle. Book excerpt: The 12th annual RoboCup International Symposium was held during July 15–18, 2008 in conjunction with RoboCup 2008 Competitions and Demonstrations. The symposium represents the core meeting for the presentation and discussion of sci- tific contributions in diverse areas related to the main threads within RoboCupSoccer, RoboCupRescue, RoboCup@Home and RoboCupJunior. Its scope encompassed, but was not restricted to, research and education activities within the fields of artificial intelligence and robotics. A fundamental aspect of RoboCup is promoting science and technology among young students and researchers, in addition to providing a forum for discussion and excitement about Robotics with practitioners from all over the world. Since its first edition in 1997 in Nagoya, the RoboCup Competitions and Symposium have attracted an increasing number of researchers and students from all the world and today it is a major event in robotics worldwide. Due to its interdisciplinary nature and the exploration of various and intimate c- nections of theory and practice across a wide spectrum of different fields, the sym- sium offered an excellent opportunity to introduce new techniques to various scientific disciplines. The experimental, interactive and benchmark character of the RoboCup initiative created the opportunity to present, learn and evaluate novel ideas and - proaches with significant potential. If promising, they are then rapidly adopted and field-tested by a large (and still strongly growing) community.
Download or read book The Work of Art written by Gérard Genette and published by Cornell University Press. This book was released on 1997 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt: What art is--its very nature--is the subject of this book by one of the most distinguished continental theorists writing today. Informed by the aesthetics of Nelson Goodman and referring to a wide range of cultures, contexts, and media, The Work of Art seeks to discover, explain, and define how art exists and how it works. To this end, Gérard Genette explores the distinction between a work of art's immanence--its physical presence--and transcendence--the experience it induces. That experience may go far beyond the object itself.Genette situates art within the broad realm of human practices, extending from the fine arts of music, painting, sculpture, and literature to humbler but no less fertile fields such as haute couture and the culinary arts. His discussion touches on a rich array of examples and is bolstered by an extensive knowledge of the technology involved in producing and disseminating a work of art, regardless of whether that dissemination is by performance, reproduction, printing, or recording. Moving beyond examples, Genette proposes schemata for thinking about the different manifestations of a work of art. He also addresses the question of the artwork's duration and mutability.
Download or read book Encyclopedia of Software Engineering Online Print Version written by Philip A Laplante and published by Auerbach Publications. This book was released on with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
