الصفحة 1
الصفحة 1
Wireless Systems and Mobility in Next Generation Internet ; 4th International Workshop of the EuroNGI/EuroFGI Network of Excellence Barcelona, Spain, January 16-18, 2008 Revised Selected Papers
This book is organized in topical sections on sensor networks, mesh networks, mobile ad-hoc networks, and cellular networks.
Wireless Algorithms, Systems, and Applications ;3rd International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings
Addresses current research and development efforts of various issues in the area of algorithms, systems and applications for current and next generation infrastructure and infrastructureless wireless networks.
Web Intelligence Meets Brain Informatics ; 1st WICI International Workshop, WImBI 2006, Beijing, China, December 15-16, 2006, Revised Selected and Invited Papers
the book include: workshop was the first in the field to focus on the interplay between (a) intelligent technologies, especially in the context of WI and (b) studies on human intelligence as explored in neuroscience, cognitive psychology, and brain science instrumentation.The book, as a volume in the Springer LNCS/LNAI state-of-the-art survey, will be a milestone publication, with research visions and blueprints, for com-puter scientists and practitioners at large in this exciting interdisciplinaryarea.
Wavelet Analysis and Applications
This volume reflects the latest developments in the area of wavelet analysis and its applications. Since the cornerstone lecture of Yves Meyer presented at the ICM 1990 in Kyoto, to some extent, wavelet analysis has often been said to be mainly an applied area. However, a significant percentage of contributions now are connected to theoretical mathematical areas, and the concept of wavelets continuously stretches across various disciplines of mathematics.
Walsh Equiconvergence of Complex Interpolating Polynomials
A collection of the various old and new results, centered around the following simple observation of J L Walsh. This book is particularly useful for researchers in approximation and interpolation theory.
WALCOM: Algorithms and Computation ; 2nd International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings
This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings and graph algorithms, parallel and distributed algorithms, string algorithms, computational geometry, graphs in bioinformatics and computational biology. The book is organized in topical sections on bioinformatics algorithms, computational geometry and graph drawing, graph algorithms, and algorithm engineering.
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due to the high cost of software errors - particularly with respect to security vulnerabilities. However, research into new analysis techniques is often hampered by the technical difficulties of analysing accesses through pointers, pointer arithmetic, coercion between types, integer wrap-around and other low-level behaviour. Axel Simon provides a concise, yet formal description of a value-range analysis that soundly approximates the semantics of C programs using systems of linear inequalities (polyhedra). The analysis is formally specified down to the bit-level while providing a precise approximation of all low-level aspects of C using polyhedral operations and, as such, it provides a basis for implementing new analyses that are aimed at verifying higher-level program properties precisely. One example of such an analysis is the tracking of the NUL position in C string buffers, which is shown as an extension to the basic analysis and which thereby demonstrates the modularity of the approach.
Value Distribution Theory Related to Number Theory
The subject of the book is Diophantine approximation and Nevanlinna theory. Not only does the text provide new results and directions, it also challenges open problems and collects latest research activities on these subjects made by the authors over the past eight years. Some of the significant findings are the proof of the Green-Griffiths conjecture by using meromorphic connections and Jacobian sections, and a generalized abc-conjecture.
Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition
Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, a description of possible actions and a description of the goals to be achieved, the task is to identify a sequence of actions, i.e., a plan that transforms the current situation into one that satisfies the goal description. The book contains an exhaustive analysis of the computational complexity of the benchmark problems that have been used in the past decade, namely the standard benchmark domains of the International Planning Competitions (IPC). At the same time, it contributes to the practice of solving planning tasks by presenting a powerful new approach to heuristic planning. The author also provides an in-depth analysis of so-called routing and transportation problems.
Understanding acoustics : An experimentalist’s view of sound and vibration
Focuses on experiments and on approximation techniques rather than mathematical rigor. The second edition has benefited from comments and corrections provided by many acousticians, in particular those who have used the first edition in undergraduate and graduate courses. For example, phasor notation has been added to clearly distinguish complex variables, and there is a new section on radiation from an unbaffled piston
Unconventional Computation ; Vol. 4135 ; 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings
This book about The 5th International Conference on Unconventional Computation, UC 2006,organized under the auspices of the EATCS by the Centre for Discrete Mathe-matics and Theoretical Computer Science of the University of Auckland, and theDepartment of Computer Science of the University of York, was held in York,UK, September 4–8, 2006.
Unconventional Computation ; 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings
This book constitutes the refereed proceedings of the Sixth International Conference on Unconventional Computation, UC 2007,organized under the auspices of the EATCS by the Centre for Discrete Math.
Triangulations and Applications
This book is entirely about triangulations. With emphasis on computational issues, we present the basic theory necessary to construct and manipulate triangulations. In particular, we make a tour through the theory behind the Delaunay triangulation, including algorithms and software issues. We also discuss various data structures used for the representation of triangulations.
Trends and Applications in Constructive Approximation
This volume contains contributions from international experts in the fields of constructive approximation. This area has reached out to encompass the computational and approximation-theoretical aspects of various interesting fields in applied mathematics.
Transactions on Rough Sets VIII
This volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial intelligence, engineering, logic, mathematics, and science. These advances have signi?cant implications in a number of researchareas.In addition, it is evident from the papers included in this volume that roughset theoryand its application forma veryactiveresearch area worldwide.
Transactions on Rough Sets V
Volume V of the Transactions on Rough Sets (TRS) is dedicated to the monu-mental life and work of Zdzis law Pawlak1. During the past 35 years, This volume continues the traditionbegun with earlier volumes of the TRS series and introduces a number of newadvances in the foundations and application of rough sets. These advances haveprofound implications in a number of research areas such as adaptive learning,approximate reasoning and belief systems, approximation spaces, Boolean rea-soning, classification methods, classifiers, concept analysis, data mining, decisionlogic, decision rule importance measures, digital image processing, recognitionof emotionally-charged gestures in animations, flow graphs, Kansei engineering,movie sound track restoration, multicriteria decision analysis, relational informa-tion systems, rough-fuzzy sets, rough measures, signal processing, variable pre-cision rough set model, and video retrieval.
Topological Fixed Point Theory of Multivalued Mappings
This book is devoted to the topological fixed point theory of multivalued mappings including applications to differential inclusions and mathematical economy. It is the first monograph dealing with the fixed point theory of multivalued mappings in metric ANR spaces. Although the theoretical material was tendentiously selected with respect to applications, the text is self-contained. Current results are presented." "This book will be especially useful for post-graduate students and researchers interested in fixed point theory, and in particular, topological methods in nonlinear analysis, differential equations and dynamical systems.
Topics in Uniform Approximation of Continuous Functions
Presents the evolution of uniform approximations of continuous functions. Starting from the simple case of a real continuous function defined on a closed real interval, i.e., the Weierstrass approximation theorems, it proceeds up to the abstract case of approximation theorems in a locally convex lattice of (M) type.In turn, the book presents the approximation of continuous functions defined on a locally compact space (the functions from a weighted space) and that of continuous differentiable functions defined on ¡n. In closing, it highlights selected approximation theorems in locally convex lattices of (M) type.
Tools for Computational Finance
Only in recent years quantitative analysts have asked for the numerical solution of a free-boundary partial di?erential equation. Fast and accurate numerical algorithms have become essential tools to price ?nancial derivatives and to manage portfolio risks. So far, the emerging ?eld of computational ?nance has hardly been discussed in the mathematical ?nance literature. This book attempts to ?ll the gap. Basic principles of computational ?nance are introduced in a monograph with textbook character.
Theory and Applications of Models of Computation ; 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings
This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, TAMC 2020, held in Changsha, China, in October 2020. The 37 full papers were carefully reviewed and selected from 83 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory and their extensions to machine learning theory and foundations of artificial intelligence.
