الصفحة 5
الصفحة 5
img

Conjoint measurement : Methods and applications

Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: normative models that maximize return, extension of choice-based conjoint simulations, latent class, hierarchical Bayes modelling, choice simulators, and normative models for representing competitive actions and reactions.

img

Concepts and Semantics of Programming Languages 2 : Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes.

img

Management of free distal extension by partial prosthesis

The study highlights that removable partial dentures remain a fundamental treatment option for managing partial edentulism, especially when implants or fixed prostheses are not feasible. Successful outcomes depend on accurate diagnosis, thorough oral preparation, sound prosthesis design, continuous patient education, and regular follow-up.

img

Machine learning for risk calculations : A practitioner's view

Fundamental Approximation Methods. Machine Learning -- Deep Neural Nets -- Chebyshev Tensors -- The toolkit - plugging in approximation methods. Introduction: why is a toolkit needed -- Composition techniques -- Tensors in TT format and Tensor Extension Algorithms -- Sliding Technique -- The Jacobian projection technique -- Hybrid solutions - approximation methods and the toolkit.

img

Logistics Systems Analysis

It has two new sections, a new appendix, and more than half a dozen new figures. A few references have also been added, Much of the new material is based on work , The financial support of the National Science Foundation and the Volvo Foundations Center of Excellence for the Future of Urban Transportation at U. C. Berkeley is also acknowledged. The new appendix presents the logic behind the traveling salesman and vehicle routing results used in Sec. 4. 2 to describe the transportation ope- tion; Chapter 4 is more self-contained as a result. New section 5. 6 int- duces and evaluates a general method that automatically translates the c- tinuum approximation recipes of Chapters 4 and 5 into discrete system designs. This closes a gap in previous editions. Other additions include an explanation of how to develop system designs that can efficiently acc- modate real-time control strategies to manage uncertainty (new section 4. 6. 3), and extensions of the many-to-many design ideas of Chap. 6

img

Logic Programming and Nonmonotonic Reasoning ; 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings

Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, KY, USA(1995), Dagstuhl, Germany(1997), ElPaso, TX, USA(1999), Vienna, A- tria (2001) and Ft. Lauderdale, FL, USA (2004), the eighth conference was held in Diamante, Italy, from 5th to 8th of September 2005. TheaimoftheLPNMRconferencesistobringtogetherandfacilitateinter- tions between active researchers interested in all aspects concerning declarative logic programming, nonmonotonic reasoning, knowledge representation, and the design of logic-based systems and database systems. LPNMR strives to enc- pass theoretical and experimental studies that lead to the implementation of practi...

img

Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), as well as 26 poster presentations and the abstracts of 11 doctoral consortium articles were carefully reviewed and selected from 177 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on applications, algorithms, systems, and implementations, semantics and foundations, analysis and transformations, CHRs and extensions, implementations and systems, answer set programming and extensions, as well as constraints and optimizations.

img

Logic Based Program Synthesis and Transformation ; Vol. 3901 ; 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

img

LMI Approach to Analysis and Control of Takagi-Sugeno Fuzzy Systems with Time Delay

A fuzzy system is, in a very broad sense, any fuzzy logic-based system where fuzzy logic can be used either asthebasisfor the representation of different forms of system knowledge or the model for the interactions and relationships among the system variables. Fuzzy systems have proven to be an important tool for modeling complex systems for which, due to complexity or imprecision, classical tools are unsuccessful. There have been diverse fields of applications of fuzzy technology from medicine to management, from engineering to behavioral science, from vehicle control to computational linguistics, and so on. Fuzzy modeling is a conjunction to understand the s- tem’s behavior and build useful mathematical models. Different types of fuzzy models have been proposed in the literature, among which the Takagi-Sugeno (T-S) fuzzy model is a rule-based one suitable for the accurate approximation and identi?cation of a wide class of nonlinear systems.

img

Linear Programming : Foundations and Extensions

Linear Programming: Foundations and Extensions is an introduction to the field of optimization. The book emphasizes constrained optimization, beginning with a substantial treatment of linear programming, and proceeding to convex analysis, network flows, integer programming, quadratic programming, and convex optimization. The book is carefully written. Specific examples and concrete algorithms precede more abstract topics. Topics are clearly developed with a large number of numerical examples worked out in detail.

img

Light scattering by systems of particles : Null-field method with discrete sources : Theory and programs

Light Scattering by Systems of Particles comprehensively develops the theory of the null-field method, while covering almost all aspects and current applications. The "Null-field Method with Discrete Sources" is an extension of the Null-field Method (also called T-Matrix Method) to compute light scattering by arbitrarily shaped dielectric particles. This book incorporates FORTRAN programs and exemplary simulation results that demonstrate all aspects of the latest developments of the method. Worked examples of the application of the FORTRAN programs show readers how to adapt or modify the programs for their specific application.

img

Leveraging Mobile Media : Cross-Media Strategy and Innovation Policy for Mobile Media Communication

Mobile communications and next generation wireless networks emerge as new distribution channels for the media. This development offers exciting new opportunities for media companies: the mobile communication system creates new usage contexts for media content and services; the social use of mobile communications suggests that identity representation in social networks, impulsive access to trusted media brands, and micro-coordination emerge as new sources of value creation in the media industries. In the light of this background, this book takes two different viewpoints on the development of mobile media: from a competitive strategy point of view it analyzes the extension of cross-media strategies and the emergence of cross-network strategies; from a public policy point of view it develops demands and requirements for an innovation policy that fosters innovation in mobile media markets.

img

Large-Scale Knowledge Resources. Construction and Application ; 3rd International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008. Proceedings

At the start of the 21st century,we are now well on the way to wards aknowled- intensive society, in which knowledge plays ever more important roles. Thus, research interest should inevitably shift from information to knowledge, with the problems of building, organizing, maintaining and utilizing knowledge - coming centralissues in a wide varietyof felds. The 21stCentury COE program “Framework for Systematization and Application of Large-scale Knowledge - sources (COE-LKR)” conducted by the Tokyo Institute of Technology is one of several early attempts worldwide to address these important issues. Inspired by this project, LKR2008 aimed at bringing together diverse contributions in cognitive science, computer science, education and linguistics to explore design, construction, extension, maintenance, validation and application of knowledge.

img

Jubilee Line Extension : From concept to completion

Details the story of London Underground's award winning Jubilee Line Extension (JLE), how it came to being, how it was planned, how it was designed, built and commissioned, and how the millennium deadline imposed by the Dome was met. Always in the public eye and the political spotlight, the JLE has played a significant role in the success of the Canary Wharf development, improved public transport immeasurably in the areas of southeast and east London, and set new standards for London Underground and public transport.

img

Classification and Clustering for Knowledge Discovery

This book covers recent advances in unsupervised and supervised data analysis methods in Computational Intelligence for knowledge discovery. In its first part the book provides a collection of recent research on distributed clustering, self organizing maps and their recent extensions. If labeled data or data with known associations are available, we may be able to use supervised data analysis methods, such as classifying neural networks, fuzzy rule-based classifiers, and decision trees. Therefore this book presents a collection of important methods of supervised data analysis. "Classification and Clustering for Knowledge Discovery" also includes variety of applications of knowledge discovery in health, safety, commerce, mechatronics, sensor networks, and telecommunications.

img

Cellular Genetic Algorithms

CELLULAR GENETIC ALGORITHMS defines a new class of optimization algorithms based on the concepts of structured populations and Genetic Algorithms (GAs). The authors explain and demonstrate the validity of these cellular genetic algorithms throughout the book. This class of genetic algorithms is shown to produce impressive results on a whole range of domains, including complex problems that are epistatic, multi-modal, deceptive, discrete, continuous, multi-objective, and random in nature. The focus of this book is twofold. On the one hand, the authors present new algorithmic models and extensions to the basic class of Cellular GAs in order to tackle complex problems more efficiently. On the other hand, practical real world tasks are successfully faced by applying Cellular GA methodologies to produce workable solutions of real-world applications.

img

C++ /CLI : The Visual C++ Language for .NET

C++/CLI: The Visual C++ Language for .NET introduces Microsoft's extensions to the C++ syntax that allow you to target the common language runtime the key to the heart of the .NET 3.0 platform. In 12 no-fluff chapters, Microsoft insider Gordon Hogenson takes you into the core of the C++/CLI language and explains both how the language elements work and how Microsoft intends them to be used.

img

Business process management Workshops ; Vol. 4103 : BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings

BPM 2006 was the fourth in a conference series that provides a forum for - searchers and practitioners in all areas of business process management. In c- junction with BPM 2006, a series of workshops were held. They were meant to facilitate the exchange of ideas and experiences between active researchers, and to stimulate discussions on new and emerging topics in line with the conference topics. We see the workshops as a necessary extension to the main conference. BPM has established itself rapidly as a high quality conference with a highly competitive selection process.

img

Bayesian Networks and Decision Graphs

Probabilistic graphical models and decision graphs are powerful modeling tools for reasoning and decision making under uncertainty. As modeling languages they allow a natural specification of problem domains with inherent uncertainty, and from a computational perspective they support efficient algorithms for automatic construction and query answering. This includes belief updating, finding the most probable explanation for the observed evidence, detecting conflicts in the evidence entered into the network, determining optimal strategies, analyzing for relevance, and performing sensitivity analysis. The book introduces probabilistic graphical models and decision graphs, including Bayesian networks and influence diagrams.It contians two parts. The first part focuses on probabilistic graphical models. Compared with the previous book, the new edition also includes a thorough description of recent extensions to the Bayesian network modeling language, advances in exact and approximate belief updating algorithms, and methods for learning both the structure and the parameters of a Bayesian network. The second part deals with decision graphs, and in addition to the frameworks described in the previous edition, it also introduces Markov decision processes and partially ordered decision problems.

img

Bandwidth Extension of Speech Signals

Bandwidth Extension of Speech Signals provides discussion on different approaches for efficient and robust bandwidth extension of speech signals while acknowledging the influence of noise corrupted real-world signals. The book describes the theory and methods for quality enhancement of clean speech signals and distorted speech signals.

عدد النتائج بكل صفحة