الصفحة 1
الصفحة 1
omputer science : Theory and applications ; 3rd International computer science symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008.
Object-Oriented Technology ; ECOOP 2001 Workshops, Panel, and Posters, Budapest, Hungary, June 18-22, 2001. Proceedings
For the ?fth time in its history, in cooperation with Springer-Verlag, the European C- ference on Object-Oriented Programming (ECOOP) conference series is glad to offer the object-oriented research community the ECOOP 2001 Workshop Reader, a c- pendium of workshop reports, panel transcripts, and poster abstracts pertaining to the ECOOP 2001 conference, held in Budapest from 18 to 22 June, 2001. ECOOP 2001 hosted 19 high-quality workshops covering a large spectrum of - search topics. The workshops attracted 460 participants on the ?rst two days of the conference. Originally 22 workshops were chosen from 26 proposals by a workshop selection committee, following a peer review process. Due to the overlaps in the areas of interest and the suggestions made by the committee six of the groups decided to merge their topicsintothreeworkshops.
Number theory in science and communication : With applications in cryptography, physics, digital information, computing, and self-similarity
"Number Theory in Science and Communication" is a well-known introduction for non-mathematicians to this fascinating and useful branch of applied mathematics . It stresses intuitive understanding rather than abstract theory and highlights important concepts such as continued fractions, the golden ratio, quadratic residues and Chinese remainders, trapdoor functions, pseudoprimes and primitive elements. Their applications to problems in the real world are one of the main themes of the book. This revised fourth edition is augmented by recent advances in primes in progressions, twin primes, prime triplets, prime quadruplets and quintruplets, factoring with elliptic curves, quantum factoring, Golomb rulers and "baroque" integers.
Nonlinear Partial Differential Equations with Applications
This book primarily concerns quasilinear and semilinear elliptic and parabolic partial differential equations, inequalities, and systems. It balances the abstract functional-analysis approach based on nonlinear monotone, pseudomonotone, weakly continuous, or accretive mappings with concrete partial differential equations in their weak (or more general) formulation. Methods of Galerkin or of Rothe are exposed in a large generality. Other methods include various direct methods, regularization, or fixed points. The exposition leads general theory as fast as possible towards the analysis of concrete equations, which have specific applications in continuum (thermo-) mechanics of solids and fluids, electrically (semi-) conductive media, modelling of biological systems, or in mechanical engineering. Selected parts are rather an introduction into the subject while some others form an advanced textbook. The intended audience is graduate and PhD students and researchers in the theory of partial differential equations or in mathematical modelling of distributed parameter systems.
New Frontiers in Applied Artificial Intelligence ; 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings
The 75 revised full papers presented were carefully reviewed and selected from 302 submissions. The papers are organized in topical sections on computer vision, fuzzy system applications, robot and manufacturing, data mining and KDS, neural networks, machine learning, natural language processing, internet application and education, heuristic search, application systems, agent-based system, evolutionary and genetic algorithms, knowledge management, and other applications. The book concludes with 15 contributions from the following special sessions: knowledge driven manufacturing systems, joint session on adaptive networked systems and fuzzy knowledge bases, and software agents and multi-agent systems.
Neural Information Processing ; 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II
The 228 revised full papers presented were carefully reviewed and selected from numerous ordinary paper submissions and 15 special organized sessions. The 116 papers of the first volume are organized in topical sections on computational neuroscience, learning and memory, neural network models ,supervised /unsupervised/reinforcement learning, statistical learning algorithms, optimization algorithms, novel algorithms, as well as motor control and vision. The second volume contains 112 contributions related to statistical and pattern recognition algorithms, neuromorphic hardware and implementations, robotics, data mining and knowledge discovery, real world applications, cognitive and hybrid intelligent systems, bioinformatics, neuroinformatics, brain-conputer interfaces, and novel approaches.
Neural Information Processing ; 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I
The 228 revised full papers presented were carefully reviewed and selected from numerous ordinary paper submissions and 15 special organized sessions. The 116 papers of the first volume are organized in topical sections on computational neuroscience, learning and memory, neural network models, supervised/unsupervised/reinforcement learning, statistical learning algorithms, optimization algorithms, novel algorithms, as well as motor control and vision. The second volume contains 112 contributions related to statistical and pattern recognition algorithms, neuromorphic hardware and implementations, robotics, data mining and knowledge discovery, real world applications, cognitive and hybrid intelligent systems, bioinformatics, neuroinformatics, brain-conputer interfaces, and novel approaches.
Network Analysis : Methodological Foundations
‘Network’ is a heavily overloaded term, so that ‘network analysis’ means different things to different people. Specific forms of network analysis are used in the study of diverse structures such as the Internet, interlocking directorates, transportation systems, epidemic spreading, metabolic pathways, the Web graph, electrical circuits, project plans, and so on. There is, however, a broad methodological foundation which is quickly becoming a prerequisite for researchers and practitioners working with network models. From a computer science perspective, network analysis is applied graph theory. Unlike standard graph theory books, the content of this book is organized according to methods for specific levels of analysis (element, group, network) rather than abstract concepts like paths, matchings, or spanning subgraphs. Its topics therefore range from vertex centrality to graph clustering and the evolution of scale-free networks. In 15 coherent chapters, this monograph-like tutorial book introduces and surveys the concepts and methods that drive network analysis, and is thus the first book to do so from a methodological perspective independent of specific application areas.
Multiple Abstraction Hierachies for Mobile Robot Operation in Large Environments
This book focuses on the efficient performance of mobile robots through the use of multi-hierarchical symbolic representations of the environment. A mobile robot intended to perform deliberative actions must possess some symbolic representation of its workspace, but such representations of real environments usually become so large that should be conveniently arranged in order to facilitate and, in some cases, make possible their use. This book addresses all these issues considering symbolic multi-hierarchical structures. Such structures, based on the concept of abstraction, allow a robot to speed up its operation in large environments. Practical solutions tested on real robots (for instance, a robotic wheelchair for elder people) are provided.
Multiobjective Optimization : Interactive and Evolutionary Approaches
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such problems can arise in practically every field of science, engineering and business, and the need for efficient and reliable solution methods is increasing. The task is challenging due to the fact that, instead of a single optimal solution, multiobjective optimization results in a number of solutions with different trade-offs among criteria, also known as Pareto optimal or efficient solutions. Hence, a decision maker is needed to provide additional preference information and to identify the most satisfactory solution. Depending on the paradigm used, such information may be introduced before, during, or after the optimization process. Clearly, research and application in multiobjective optimization involve expertise in optimization as well as in decision support.
Multibody Dynamics : Computational Methods and Applications
This book contains the revised and extended versions of selected conference communications, representing the state-of-the-art in the advances on computational multibody models, from the most abstract mathematical developments to practical engineering applications. This book will be highly valuable for experienced researchers that want to keep updated on the details of the latest driving ideas in this field. It will also be of interest to researchers approaching the field for the first time, since it provides a useful overview of the most active areas and the efforts devoted by many prominent research groups worldwide.
Modelling, State Observation and Diagnosis of Quantised Systems
The book concerns quantised systems which emerge from continuous-variable systems by quantising the values of all signals. It is shown how this leads to an abstract system description by means of a stochastic automaton. Based on stochastic automata, new methods for the solution to state observation and fault diagnostic problems are derived. The methods are extended to networks of stochastic automata, allowing component-oriented modelling and, thus, to deal with complex systems. The practical applicability and usefulness of the approach is shown at several examples.
Modeling Decisions for Artificial Intelligence ; 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2008, held in Sabadell, Spain, in October 2008.The 19 revised full papers presented together with 2 invited lectures were thoroughly reviewed and selected from 43 submissions; they are devoted to theory and tools for modeling decisions, as well as applications that encompass decision making processes and information fusion techniques. The papers are organized in topical sections on aggregation operators, decision making, clustering and similarity, computational intelligence and optimization, as well as data privacy.
Model-Driven Software Development
Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the core of model-driven development. Models can be refined and finally be transformed into a technical implementation, i.e., a software system. The aim of this book is to give an overview of the state of the art in model-driven software development. Achievements are considered from a conceptual point of view in the first part, while the second part describes technical advances and infrastructures. Finally, the third part summarizes experiences gained in actual projects employing model-driven development. Beydeda, Book and Gruhn put together the results from leading researchers in this area, both from industry and academia. The result is a collection of papers which gives both researchers and graduate students a comprehensive overview of current research issues and industrial forefront practice, as promoted by OMG’s MDA initiative.
Model-Driven Development of Reliable Automotive Services ; 2nd Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006.The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
Model-Driven Design Using Business Patterns
This book takes exactly this step: it shows you how to apply the pattern ideas in business applications and presents more than 20 structural and behavioral business patterns that use the REA (resources, events, agents) pattern as a common backbone. If you are a developer working on business frameworks, you can use the patterns presented to derive the right abstractions (e.g., business objects) and to design and ensure that the meta-rules (e.g., process patterns) are followed by the developers of the actual applications. And if you are an application developer, you can use these patterns to design your business application, to ensure that it does not violate the domain rules, and to adapt the application to changing requirements without the need to change the overall architecture. As with patterns in general, this approach allows for both more flexible and more solid software architectures and hence better software quality.
Model Driven Engineering Languages and Systems ; Vol. 3713 : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2005, held in Montego Bay, Jamaica, in October 2005. This book includes 52 papers and 2 keynote abstracts. It covers such topics as process modelling, product families, state/behavioral modeling, design strategies and more.
Model Checking Software ; Vol. 3925 ; 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an annual forum for practitioners and researchersinterested in state space-based techniques for the validation and analysis of software and hardware systems, including communication protocols. It focuses on techniques based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, and techniques based on a combination of explicit representations with other representations. The SPIN model checker has proven to be particularly suited for the analysis of concurrent asynchronous systems. The workshop aims to encourage interaction and exchange of ideas with all related areas in software engineering.
Model Checking Software ; Vol. 3639 : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more.
Model Based Inference in the Life Sciences : A Primer on Evidence
The abstract concept of "information" can be quantified and this has led to many important advances in the analysis of data in the empirical sciences. This text focuses on a science philosophy based on "multiple working hypotheses" and statistical models to represent them. The fundamental science question relates to the empirical evidence for hypotheses in this set—a formal strength of evidence. Kullback-Leibler information is the information lost when a model is used to approximate full reality. Hirotugu Akaike found a link between K-L information (a cornerstone of information theory) and the maximized log-likelihood (a cornerstone of mathematical statistics). This combination has become the basis for a new paradigm in model based inference. The text advocates formal inference from all the hypotheses/models in the a priori set—multimodel inference.
