الصفحة 1
الصفحة 1
img

Online Storage Systems and Transportation Problems with Applications : Optimization Models and Mathematical Solutions

This books covers the analysis and development of online algorithms involving exact optimization and heuristic techniques, and their application to solve two real life problems. The first problem is concerned with a complex technical system: a special carousel based high-speed storage system - Rotastore. It is shown that this logistic problem leads to an NP-hard Batch PreSorting problem which is not easy to solve optimally in offline situations. The second problem originates in the health sector and leads to a vehicle routing problem. Reasonable solutions for the offline case covering a whole day with a few hundred orders are constructed with a heuristic approach, as well as by simulated annealing. Optimal solutions for typical online instances are computed by an efficient column enumeration approach leading to a set partitioning problem and a set of routing-scheduling subproblems. The latter are solved exactly with a branch-and-bound method which prunes nodes if they are value-dominated by previous found solutions or if they are infeasible with respect to the capacity or temporal constraints.

img

On the move to meaningful internet systemss 2005 : CoopIS, DOA, and ODBASE ; Vol. 3760 : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings Part I

such as the modeling of (legal) regulatory systems and the ubiquitous nature of their usage. Weweregladto seethatin 2005undertheinspiredleadershipofDr. Pilar Herrero, several of earlier successful workshops re-emerged with a second or even third edition (notably WOSE, MIOS-INTEROP and GADA), and that 5 new workshops could be hosted and successfully organized by their respective proposers: AWeSOMe, SWWS, CAMS, ORM and SeBGIS. .

img

Ocean Wave Energy : Current Status and Future Prespectives

The authors of this reference provide an updated and global view on ocean wave energy conversion for wave energy developers as well as for students and professors. The book is orientated to the practical solutions that this new industry has found so far and the problems that any device needs to face. It describes the actual principles applied to machines that convert wave power in electricity. Additionally, an historical review, state of the art of modern systems, a full scale prototype experience, and future perspectives are given.

img

Numerical solution of Variational Inequalities by Adaptive Finite Elements

Franz-Theo Suttmeier describes a general approach to a posteriori error estimation and adaptive mesh design for finite element models where the solution is subjected to inequality constraints. This is an extension to variational inequalities of the so-called Dual-Weighted-Residual method (DWR method) which is based on a variational formulation of the problem and uses global duality arguments for deriving weighted a posteriori error estimates with respect to arbitrary functionals of the error. In these estimates local residuals of the computed solution are multiplied by sensitivity factors which are obtained from a numerically computed dual solution. The resulting local error indicators are used in a feed-back process for generating economical meshes which are tailored according to the particular goal of the computation.

img

Numerical Methods for General and Structured Eigenvalue Problems

The purpose of this book is to describe recent developments in solving eig- value problems, in particular with respect to the QR and QZ algorithms as well as structured matrices. Outline Mathematically speaking, the eigenvalues of a square matrix A are the roots of its characteristic polynomial det(A??I). An invariant subspace is a linear subspace that stays invariant under the action of A. In realistic applications, it usually takes a long process of simpli?cations, linearizations and discreti- tions before one comes up with the problem of computing the eigenvalues of a matrix. In some cases, the eigenvalues have an intrinsic meaning, e.g., for the expected long-time behavior of a dynamical system; in others they are just meaningless intermediate values of a computational method. The same applies to invariant subspaces, which for example can describe sets of initial states for which a dynamical system produces exponentially decaying states. Computing eigenvalues has a long history, dating back to at least 1846 when Jacobi [172] wrote his famous paper on solving symmetric eigenvalue problems. Detailed historical accounts of this subject can be found in two papers by Golub and van der Vorst [140, 327].

img

Notions of Convexity

The first two chapters of this book are devoted to convexity in the classical sense, for functions of one and several real variables respectively. This gives a background for the study in the following chapters of related notions which occur in the theory of linear partial differential equations and complex analysis such as (pluri-)subharmonic functions, pseudoconvex sets, and sets which are convex for supports or singular supports with respect to a differential operator. In addition, the convexity conditions which are relevant for local or global existence of holomorphic differential equations are discussed, leading up to Trépreau’s theorem on sufficiency of condition (capital Greek letter Psi) for microlocal solvability in the analytic category.

img

Nordic Mediation Research

Presents twelve unique studies on mediation from researchers in Denmark, Finland, Norway and Sweden, respectively. Each study highlights important aspects of mediation, including the role of children in family mediation, the evolution and ambivalent application of restorative justice in the Nordic countries, the confusion of roles in court-connected mediation, and the challenges in dispute systems.

img

Nonlinear Observers and Applications

The problem of state reconstruction in dynamical systems, known as observer problem, is undoubtedly crucial for controlling or just monitoring processes. For linear systems, the corresponding theory has been quite well established for several years now, and the purpose of the present book is to propose an overview on possible tools in that respect for nonlinear systems. Basic observability notions and observer structures are first recalled, together with ingredients for advanced designs on this basis. A special attention is then paid to the well-known high gain techniques with a summary of various corresponding recent results. A focus on the celebrated Extended Kalman filter is also given, in the perspectives of both nonlinear filtering and high gain observers, leading to so-called adaptive-gain observers. The more specific immersion approach for observer design is then emphasized, while optimization-based methods are also presented as an alternative to analytic observers.

img

Nonlinear Integer Programming

It is not an exaggeration that much of what people devote in their hfe re­ solves around optimization in one way or another. On one hand, many decision making problems in real applications naturally result in optimization problems in a form of integer programming. On the other hand, integer programming has been one of the great challenges for the optimization research community for many years, due to its computational difficulties: Exponential growth in its computational complexity with respect to the problem dimension. This book addresses the topic of the general nonlinear integer programming (NLIP). The overall goal of the book is to bring the state of the art of the theoretical foundations and solution methods of NLIP to readers who are interested in optimization, operations research and computer science. This book investigates the theory and solution methodologies for the general NLIP and provides the developments

img

Nonlinear Dimensionality Reduction

This book describes existing and advanced methods to reduce the dimensionality of numerical databases. For each method, the description starts from intuitive ideas, develops the necessary mathematical details, and ends by outlining the algorithmic implementation. Methods are compared with each other with the help of different illustrative examples. The purpose of the book is to summarize clear facts and ideas about well-known methods as well as recent developments in the topic of nonlinear dimensionality reduction. With this goal in mind, methods are all described from a unifying point of view, in order to highlight their respective strengths and shortcomings.

img

Nonlinear and Optimal Control Theory : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy June 19–29, 2004

The lectures gathered in this volume present some of the different aspects of Mathematical Control Theory. Adopting the point of view of Geometric Control Theory and of Nonlinear Control Theory, the lectures focus on some aspects of the Optimization and Control of nonlinear, not necessarily smooth, dynamical systems. Specifically, three of the five lectures discuss respectively: logic-based switching control, sliding mode control and the input to the state stability paradigm for the control and stability of nonlinear systems. The remaining two lectures are devoted to Optimal Control: one investigates the connections between Optimal Control Theory, Dynamical Systems and Differential Geometry, while the second presents a very general version, in a non-smooth context, of the Pontryagin Maximum Principle.

img

New Trends in Optimal Filtering and Control for Polynomial and Time-Delay Systems

0. 1 Introduction Although the general optimal solution of the ?ltering problem for nonlinear state and observation equations confused with white Gaussian noises is given by the Kushner equation for the conditional density of an unobserved state with respect to obser- tions (see [48] or [41], Theorem 6. 5, formula (6. 79) or [70], Subsection 5. 10. 5, formula (5. 10. 23)), there are a very few known examples of nonlinear systems where the Ku- ner equation can be reduced to a ?nite-dimensional closed system of ?ltering eq- tions for a certain number of lower conditional moments.

img

New Frontiers in Artificial Intelligence ; JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003, Kanazawa, Japan, May 31-June 4, 2004, Revised Selected Papers

This book constitutes the thoroughly refereed joint post-proceedings of the 17th and 18th annual conferences of the Japanese Society for Artificial Intelligence, JSAI 2003 and JSAI 2004, and co-located international workshops, held in Niigata, Japan in June 2003 and in Kanazawa, Japan in May/June 2004 respectively.

img

New Directions in Intelligent Interactive Multimedia

This book summarizes the works and new research results presented at the First International Symposium on Intelligent Interactive Multimedia Systems and Services (KES-IIMSS 2008), organized by the University of Piraeus and its Department of Informatics in conjunction with KES International (Piraeus, Greece, July 9-11, 2008). The aim of the symposium was to provide an internationally respected forum for scientific research into the technologies and applications of intelligent interactive multimedia systems and services.

img

Neuroprotection : Method and protocols

Contains cutting-edge molecular biology methods on neuroprotective mechanisms and specific preclinical models of the CNS injury, iseases and planning translation. Chapters guide readers through neuropathology, neuroprotection, Alzheimer’s disease, amyotrophic lateral sclerosis, ALS, Huntington’s disease , multiple sclerosis, Parkinson’s disease, spinal cord injury, traumatic brain injury, and ischemic brain injury. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls.

img

Neurobiology : Methods and protocols

Serves as a guide for students in the field of neurobiology, and be a bridge between basic science researchers, doctors, and surgeons in clinical practice. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls.

img

Neural Networks in a Softcomputing Framework

This concise but comprehensive textbook provides a powerful and universal paradigm for information processing. Each chapter provides state-of-the-art descriptions of the important major research results of the respective neural-network methods. A range of relevant computational intelligence topics, such as fuzzy logic and evolutionary algorithms, are introduced. These are powerful tools for neural-network learning. Array signal processing problems are discussed in order to illustrate the applications of each neural-network model.

img

Networking and Mobile Computing ; 3rd International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005, Proceedings

The objective of this conference was to address and capture highly innovative and stateof-the-art research and work in the networks and mobile computing industries. ICCNMC 2005 allowed sharing of the underlying theories and applications, and the establishment of new and long-term collaborative channels aimed at developing innovative concepts and solutions geared to future markets. The highly positive response to ICCNMC 2001 and ICCNMC 2003, held in Beijing and Shanghai, respectively, encouraged us to continue this international event. In its third year, ICCNMC 2005 continued to provide a forum for researchers, professionals, and industrial practitioners from around the world to report on new advances in computer network and mobile computing, as well as to identify issues and directions for research and development in the new era of evolving technologies.

img

Nearest Neighbor Search : A Database Perspective

Modern applications are both data and computationally intensive and require the storage and manipulation of voluminous traditional (alphanumeric) and nontraditional data sets (images, text, geometric objects, time-series). Examples of such emerging application domains are: Geographical Information Systems (GIS), Multimedia Information Systems, CAD/CAM, Time-Series Analysis, Medical Information Sstems, On-Line Analytical Processing (OLAP), and Data Mining. These applications pose diverse requirements with respect to the information and the operations that need to be supported. From the database perspective, new techniques and tools therefore need to be developed towards increased processing efficiency. This monograph explores the way spatial database management systems aim at supporting queries that involve the space characteristics of the underlying data, and discusses query processing techniques for nearest neighbor queries. It provides both basic concepts and state-of-the-art results in spatial databases and parallel processing research, and studies numerous applications of nearest neighbor queries.

img

Nanomaterials in dental medicine

Presents varied clinical applications of nanomaterials in dentistry ranging from diagnostics to therapeutics. it discusses role of nanomaterials in clinical applications and future needs. Contributors are international luminaries in their respective research area. The topics covered in this book are role of nanomaterials in oral and dental diagnosis, dental disease prevention, pain free dentistry, dental implantology. It also discusses the therapeutic applications of nanoparticles in oral cancer therapy. This book will be a valuable reference for researchers, clinicians, students and professionals working in the areas of nanotechnology and health sciences. It will also be of interest to the students and researchers primarily working in the field of materials science, applied chemistry, applied physics, and biotechnology.

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