تحسين النتائح
ترتيب حسب
من
الى
الصفحة 36
الصفحة 36
Adaptive and Personalized Semantic Web
Web Personalization can be defined as any set of actions that can tailor the Web experience to a particular user or set of users. To achieve effective personalization, organizations must rely on all available data, including the usage and click-stream data (reflecting user behaviour), the site content, the site structure, domain knowledge, as well as user demographics and profiles. In addition, efficient and intelligent techniques are needed to mine this data for actionable knowledge, and to effectively use the discovered knowledge to enhance the users' Web experience.
Active Sensor Planning for Multiview Vision Tasks
The book describes some effective strategies to generate a sequence of viewing poses and sensor settings for optimally completing a perception task. Several methods are proposed to solve the problems in both model-based and nonmodel-based vision tasks. For model-based applications, the method involves determination of the optimal sensor placements and a shortest path through these viewpoints for automatic generation of a perception plan.
Accreditation and Evaluation in the European Higher Education Area
This volume presents a rich account of the development of accreditation and evaluation in 20 European countries. The authors are leaders in the field and they have cooperated in this effort by writing richly different, often deep and insightful analyses of the situation in their country. The two editors have added a synopsis detailing the main trends, and sketching commonalities as well as contrasts in the developments across Europe. The book shows how accreditation is becoming a main mechanism in the steering of higher education all over Europe. The book is unique in its analysis of forces driving towards the spread of different models of accreditation in the emerging European Higher Education area. Readers will obtain an up-to-date picture of the state of affairs of accreditation in the framework of evaluation activities in Europe.
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the main challenge in abstraction refinement, i.e., the ability to efficiently reach or come close to the optimum abstraction (the smallest abstract model that proves or refutes the given property). A suite of fully automatic abstraction techniques are proposed to improve the overall computation efficiency. The suite of algorithms presented in this book has demonstrated significant improvement over the prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
A Space of Their Own : The Archaeology of Nineteenth Century Lunatic Asylums in Britain, South Australia and Tasmania
The history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as places of horror where the patients are restrained and left to listen to the cries of their fellow inmates in despair. But what was the world of nineteenth century lunatic asylums really like? Are these images true? This book will explore this world using the techniques of historical archaeology and history.
A rose armed with thorns : Spinoza’s Philosophy under a novel lens
presents a systemic analysis of Spinoza’s philosophy and challenges the traditional views. It deals with Spinoza’s concepts of substance, truth conditions, attributes, and the first, second, and supreme grades of knowledge. Based upon an analysis of the relevant details in all of Spinoza’s philosophical works, reveals many important points, including the following: Spinoza’s system is not, nor is meant to be, a foundational-deductive system but was meant to be a coherent system of a network model. Spinoza’s reality is not made in the image of a mathematical model. Imaginatio, the first grade of knowledge, and ratio, the second grade, are parts or properties of the supreme grade of knowledge, scientia intuitiva, which is their essence.
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. This book is also of interest to students of temporal logic. The formal semantics of PSL are included as an appendix, and bibliographical notes include pointers to some of the main theoretical works.
A Posteriori Error Analysis Via Duality Theory : With Applications in Modeling and Numerical Approximations
This volume provides a posteriori error analysis for mathematical idealizations in modeling boundary value problems, especially those arising in mechanical applications, and for numerical approximations of numerous nonlinear variational problems. The author avoids giving the results in the most general, abstract form so that it is easier for the reader to understand more clearly the essential ideas involved. Many examples are included to show the usefulness of the derived error estimates.
A Portrait of State-of-the-Art Research at the Technical University of Lisbon
This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book brings together in a review manner a comprehensive summary of high quality research contri- tions across basic and applied sciences. The contributing papers are organized around the following major areas: – Emergent areas (Nanosciences, Quantic Computations and Infor- tion, Risk and Volatility in Financial Markets); – Basic Sciences (Mathematics, Physics, Chemistry and Materials); – Social Sciences, Economics and Management Sciences; – Life Sciences and Biotechnology; – Engineering and Technologies – Nature, Environment and Sustainability; – Public Health, Food Quality and Safety; – Health and Sport Sciences; – Urbanism, Transports, Architecture, Arts and Design.
A Pan-Chromatic View of Clusters of Galaxies and the Large-Scale Structure
The reviews presented in this volume cover a wide-range of cluster of galaxies topics like the physics of the ICM gas, the internal cluster dynamics, the detection of clusters using different observational techniques, the great advances in analytical or numerical modeling of clusters, weak and strong lensing effects, the large scale structure as traced by clusters, the cosmological significance of clusters as well as the formation and evolution of clusters within the new cosmological paradigm.
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is extremely popular in various fields of application, including engineering, agriculture, medicine and life sciences. Factorial experiments are often used in case studies in quality management and Design for Six Sigma (DFSS).Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is extremely popular in various fields of application, including engineering, agriculture, medicine and life sciences. Factorial experiments are often used in case studies in quality management and Design for Six Sigma (DFSS).
A Modern Introduction to Probability and Statistics : Understanding Why and How
A Modern Introduction to Probability and Statistics has numerous quick exercises to give direct feedback to the students. In addition the book contains over 350 exercises, half of which have answers, of which half have full solutions. A website at www.springeronline.com/1-85233-896-2 gives access to the data files used in the text, and, for instructors, the remaining solutions. The only pre-requisite for the book is a first course in calculus; the text covers standard statistics and probability material, and develops beyond traditional parametric models to the Poisson process, and on to useful modern methods such as the bootstrap.
A life cycle for clusters? : The dynamics of agglomeration, change, and adaption
The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated in economic theory and policy. The euphoria about successful clusters however neglects that historically, many thriving clusters did deteriorate into old industrial areas. This book studies the determinants of cluster survival by analyzing their adaptability to change in the economic environment. Linking theoretic knowledge with empirical observations, a simulation model (based in the N/K method) is developed, which explains when and why the cluster's architecture assists or hampers adaptability. It is found that architectures with intermediate degrees of division of labour and more collective governance forms foster adaptability. Cluster development is thus path dependent as architectures having evolved over time impact on the likelihood of future survival.
A First Course in Differential Equations
This text is designed for the standard post-calculus course in elementary differential equations. It is a brief, one-semester treatment of the basic ideas, models, and solution methods. The book, which serves as an alternative to existing texts for instructors who want more concise coverage, emphasizes graphical, analytical, and numerical approaches, and is written with clear language in a user-friendly format. It provides students with the tools to continue on to the next level in applying differential equations to problems in engineering, science, and applied mathematics.
A Distributed Coordination Approach to Reconfigurable Process Control
A Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, via developing a new distributed framework that will enable the building of a process control system that is capable of reconfigurability.
A Course in Derivative Securities : Introduction to Theory and Computation
This book aims at a middle ground between the introductory books on derivative securities and those that provide advanced mathematical treatments. It is written for mathematically capable students who have not necessarily had prior exposure to probability theory, stochastic calculus, or computer programming. It provides derivations of pricing and hedging formulas (using the probabilistic change of numeraire technique) for standard options, exchange options, options on forwards and futures, quanto options, exotic options, caps, floors and swaptions, as well as VBA code implementing the formulas. It also contains an introduction to Monte Carlo, binomial models, and finite-difference methods.
A Course in Credibility Theory and its Applications
It covers the subject of Credibility Theory extensively and includes most aspects of this topic from the simplest case to the most general dynamic model. The first four chapters contain plenty of material The book therefore treats explicitly the tasks which the actuary encounters in his daily work such as estimation of loss ratios, claim frequencies and claim sizes. The models are worked out in detail (including the estimation of structural parameters) so that they can immediately be applied in practice. Most exercises are based on real insurance data and real situations from practice and many of them have the characteristics of a case study. The extension to practical problems arising from the general area of finance is often quite straightforward. This book deserves a place on the bookshelf of every actuary and mathematician who works, teaches or does research in the area of insurance and finance.for a first course on Credibility.
A Concise Introduction to Mathematical Logic
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows the lecturer to select the material for a one-semester course on a topic more easily. These initial chapters cover just the material for an introductory course on mathematical logic combined with the necessary material from set theory. Chapter 3 is partly of a descriptive nature, providing a view towards decision problems, automated theorem proving, non-standard models and related subjects. The other chapters contain material on logic programming for computer scientists, model theory, recursion theory, Gödel's Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed where appropriate.
A Concise Course on Stochastic Partial Differential Equations
Concentrate on (nonlinear) stochastic partial differential equations (SPDE) of evolutionary type. All kinds of dynamics with stochastic influence in nature or man-made complex systems can be modelled by such equations.
A Buddhist Approach to International Relations : Radical Interdependence
This book. Many scholars have wondered if a non-Western theory of international politics founded on different premises, be it from Asia or from the “Global South,” could release international relations from the grip of a Western, “Westphalian” model.
