تحسين النتائح
ترتيب حسب
من
الى
الصفحة 15
الصفحة 15
Matematica generale con il calcolatore
By introducing mathematical objects, it teaches students how to use a computer to perform numerical and symbolic calculations, define a function and calculate its values, plot and explore graphs, and execute simple algorithms. The course is rich in examples, applications, and models, drawn from economics, physics, biology, statistics, and mathematics itself. The analysis of these models constitutes, in a certain sense, the true purpose of the mathematical theory covered. Automatic calculation tools (mathematics software, spreadsheets) are used extensively to explore and illustrate concepts and properties. Mathcad® software, in particular, was used, both as a calculation tool and as a simple yet powerful programming language. Considerable space is devoted to approximation, emphasizing the distinction between numerical and symbolic calculation; to algorithms as a synthesis of the syntactic and semantic aspects of mathematical objects; and to computer simulation, interpreted as a "physical" experiment and a source of conjecture. The ability to use a calculator marks a sort of "democratization" of mathematics: even complex results, which have always required a broad background of knowledge and laborious calculations, are now quickly accessible to anyone who understands the meaning of mathematical objects and knows how to use the syntax.
Logica Universalis : Towards a General Theory of Logic
Signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons.Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity.
Location Based Services and TeleCartography
Provides for the first time a general overview of research activities related to location and map-based services. These activities have emerged over the last years, especially around issues of positioning, spatial modelling, cartographic communication as well as in the fields of ubiquitious cartography, geo-pervasive services, user-centered modelling and geo-wiki activities. Topics cover an enormous range with heterogenous relationships to the main book issues. Whilst contemporary cartography aims at looking at new and efficient ways for communicating spatial information the development and availability of technologies like mobile networking, mobile devices or short-range sensors lead to interesting new possibilities for achieving this aim.
Knowledge acquisition in practice: A step-by-step guide
Recent years have seen an upsurge of interest in knowledge. Leading organisations now recognise the importance of identifying what they know, sharing what they know and using what they know for maximum benefit. Many organisations employ knowledge engineers to capture knowledge from experts using the principles and techniques of knowledge engineering. The emphasis is on a structured approach built on a sound understanding of the psychology of expertise and making use of knowledge modelling methods and the latest web technologies. Knowledge Acquisition in Practice is the first book to provide a detailed step-by-step guide to the methods and practical aspects of acquiring, modelling, storing and sharing knowledge. The reader is led through 47 steps from the inception of a project to its successful conclusion. Each step is described in terms of the reasons for the step, the required resources, the activities to be undertaken, and the solutions to common problems.
Knot Theory and Its Applications
The book contains most of the fundamental classical facts about the theory, such as knot diagrams, braid representations, Seifert surfaces, tangles, and Alexander polynomials; also included are key newer developments and special topics such as chord diagrams and covering spaces. The work introduces the fascinating study of knots and provides insight into applications to such studies as DNA research and graph theory. In addition, each chapter includes a supplement that consists of interesting historical as well as mathematical comments.
Biosensing for the 21st Century
Covers trends in modern biotechnology All aspects of this interdisciplinary technology, where knowledge, methods and expertise are required from chemistry, biochemistry, microbiology, genetics, chemical engineering and computer science, are treated
Bayesian core : A practical approach to computational Bayesian statistics
This Bayesian modeling book provides an operational methodology for conducting Bayesian inference, rather than focusing on its theoretical justifications. Special attention is paid to the derivation of prior distributions in each case and specific reference solutions are given for each of the models.
Barriers and Biases in Computer-Mediated Knowledge Communication : And How They May Be Overcome
This books deals with computer-mediated cooperation and communication scenarios in teaching and learning situations, leisure activities (e.g. laypersons looking for expert information on the internet), and net-based communication at work. Such scenarios will become increasingly important. But the successful use of such computer-mediated settings is not trivial. Cooperative learning and work itself requires special skills and strategies. And the technical settings with sometimes restricted, sometimes new possibilities for communication add problems on top of the cooperation itself. What are the barriers in computer-mediated communication for cooperative learning and work? Which are the most relevant biases in computer-mediated information processing? Based on empirical research the contributors from psychology, education and computer sciences offer different perspectives on the nature and causes of such barriers.
Automated nanohandling by microrobots
Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. Different aspects of this research field regarding the hardware and software implementation of the system components, including the sensory feedback for automated nanohandling, are discussed in detail. Extensive applications of the microrobot station for nanohandling, nano-characterization and nanostructuring are provided, together with the experimental results.
Aritmetica : Un approccio computazionale = Arithmetic : A computational approach
Intended to be a contribution to the algorithmic re-reading of some classic topics of elementary number theory and an invitation to more demanding reading, according to the indications provided by the bibliography annexed to it.
Applied Statistics Using SPSS, STATISTICA, MATLAB and R
The book provides a comprehensive coverage of the main statistical analysis topics important for practical applications such as data description, statistical inference, classification and regression, factor analysis, survival data and directional statistics.
Analytics of Protein-DNA Interactions
This book covers trends in modern biotechnology. All aspects of this interdisciplinary technology, where knowledge, methods and expertise are required from chemistry, biochemistry, microbiology, genetics, chemical engineering and computer science, are treated. More information as well as the electronic version is available at springer.com.
Analisi matematica II : Teoria ed esercizi con complementi in rete = Mathematical analysis 2 : Theory and exercises with online complements
Intends to support a second teaching of Mathematical Analysis according to the principles of the new Didactic Regulations. It is especially designed for those study courses (such as Engineering, Computer Science, Physics) in which the mathematical tool is a significant part of the training. The fundamental concepts and methods of the differential and integral calculus of several variables, the series of functions and the ordinary differential equations are presented with the primary objective of training the student in their operational but critical use. The didactic setting of the text follows the one used for ANALYSIS I. The method of presentation of the arguments allows a flexible and modular use of the text, in order to respond to the various possible didactic choices in the organization of a Mathematical Analysis course.
Analisi matematica I : Teoria ed esercizi con complementi in rete = Mathematical analysis I : Theory and exercises with online complements
Intends to support a first teaching of Mathematical Analysis according to the principles of the new Didactic Regulations. It is especially designed for Engineering, Computer Science, Physics. The text has three different levels of reading. An essential level allows the student to grasp the essential concepts of the subject and to familiarize himself with the related calculation techniques. An intermediate level provides justifications for the main findings and enriches the presentation with useful observations and complements. A third level of reading, based on numerous references to a virtual text available online, allows the more motivated and interested student to deepen his or her preparation on the subject. Numerous examples and exercises with solutions complete the text. The captivating 2-color graphics make this text a fundamental point of reference for the study of the discipline.
An Introduction to Sequential Dynamical Systems
This text is the first to provide a comprehensive introduction to SDS. Driven by numerous examples and thought-provoking problems, the presentation offers good foundational material on finite discrete dynamical systems which leads systematically to an introduction of SDS. Techniques from combinatorics, algebra and graph theory are used to study a broad range of topics, including reversibility, the structure of fixed points and periodic orbits, equivalence, morphisms and reduction. Unlike other books that concentrate on determining the structure of various networks, this book investigates the dynamics over these networks by focusing on how the underlying graph structure influences the properties of the associated dynamical system.
An Introduction to Queueing Theory : Modeling and Analysis in Applications
This introductory textbook is designed for a one-semester course on queueing theory that does not require a course in stochastic processes as a prerequisite. By integrating the necessary background on stochastic processes with the analysis of models, the work provides a sound foundational introduction to the modeling and analysis of queueing systems for a broad interdisciplinary audience of students in mathematics, statistics, and applied disciplines such as computer science, operations research, and engineering.
All of Nonparametric Statistics
The goal of this text is to provide the reader with a single book where they can find a brief account of many, modern topics in nonparametric inference. The book is aimed at Master's level or Ph.D. level students in statistics, computer science, and engineering. It is also suitable for researchers who want to get up to speed quickly on modern nonparametric methods.This text covers a wide range of topics including: the bootstrap, the nonparametric delta method, nonparametric regression, density estimation, orthogonal function methods, minimax estimation, nonparametric confidence sets, and wavelets. The book has a mixture of methods and theory.
Algoritmi : Lo spirito dell’informatica = Algorithms : The spirit of information technology
Algorithms are the heart of computer science and mathematics, since without them the use of computers would not be possible. In this book, which in its English edition has been a longtime bestseller, Harel and Feldmann answer all questions relating to this topic. They talk about the evaluation, correctness and effectiveness of algorithms, but also clarify some doubts about programming techniques and also refer to the very current discussion on quantum computing. The book is useful both as a basic text for an introductory university course in computer science, and as a general introduction to natural sciences, mathematics or engineering.
Algorithmic Foundations of Robotics VI
Robot algorithms are abstractions of computational processes that control or reason about motion and perception in the physical world. Because actions in the physical world are subject to physical laws and geometric constraints, the design and analysis of robot algorithms raises a unique combination of questions in control theory, computational and differential geometry, and computer science. Algorithms serve as a unifying theme in the multi-disciplinary field of robotics. This volume consists of selected contributions to the sixth Workshop on the Algorithmic Foundations of Robotics. This is a highly competitive meeting of experts in the field of algorithmic issues related to robotics and automation.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
