Methods for Constructing Exact Solutions of Partial Differential Equations: Mathematical and Analytical Techniques with Applications to Engineering
The book is primarily designed to present both fundamental theoretical and algorithmic aspects of these methods. The description of algorithms contains illustrative examples which are typically taken from continuum mechanics. Some sections of the book introduce new applications and extensions of these methods.
Metaheuristics for Hard Optimization : Methods and Case Studies
Metaheuristics for Hard Optimization comprises of three parts. The first part is devoted to the detailed presentation of the four most widely known metaheuristics: the simulated annealing method, tabu search, the evolutionary algorithms, and ant colony algorithms. Each one of these metaheuristics is actually a family of methods, of which the essential elements are discussed. In the second part, the book presents some other less widespread metaheuristics, then, extensions of metaheuristics and some ways of research are described . The problem of the choice of a metaheuristic is posed and solution methods are discussed. The last part concentrates on three case studies from telecommunications, air traffic control, and vehicle routing.
Metaheuristic Optimization via Memory and Evolution : Tabu Search and Scatter Search
Tabu Search (TS) and, more recently, Scatter Search (SS) have proved highly effective in solving a wide range of optimization problems, and have had a variety of applications in industry, science, and government. The goal of METAHEURISTIC OPTIMIZATION VIA MEMORY AND EVOLUTION: Tabu Search and Scatter Search is to report original research on algorithms and applications of tabu search, scatter search or both, as well as variations and extensions having "adaptive memory programming" as a primary focus. Individual chapters identify useful new implementations or new ways to integrate and apply the principles of TS and SS, or that prove new theoretical results, or describe the successful application of these methods to real world problems.The chapters of this book provide a series of landmarks along the way as we investigate and seek to better understand the elements of tabu search and scatter search that account for their successes in an astonishingly varied range of applications.
Metagraphs and Their Applications
The graph is a critical and useful concept in designing many information processing systems. Systems such as transaction processing systems, decision support systems, and workflow systems are all helped immensely by a graphical structure. Simple graphs and digraphs allow for the construction of a variety of system design tools that provide a convenient and appealing format for illustrating information infrastructures, while allowing any subsequent analyses to be performed by the user. However, the metagraph, a new graphical structure that is developed in this book, goes beyond the representational and provides Information Systems with a robust, analytical modeling graphic tool.
Mechatronics : Dynamics of Electromechanical and Piezoelectric Systems
Deals with Lagrange equations for electromechanical systems, including piezoelectric transducers and selected applications. Intended for the research community and graduate students at the MSc and PhD level, this book is an extension to piezoelectric systems of the work, ""Dynamics of Mechanical and Electromechanical Systems"", published in 1968.
Mean Oscillations and Equimeasurable Rearrangements of Functions
Various applications of equimeasurable function rearrangements to the ''best constant"-type problems are considered in this volume. Several classical theorems are presented along with some very recent results. In particular, the text includes a product-space extension of the Rising Sun lemma, a product-space version of the John-Nirenberg inequality for bounded mean oscillation (BMO) functions with sharp exponent, a refinement of the Gurov-Reshetnyak lemma, sharp embedding theorems for Muckenhoupt, Gurov-Reshetnyak, reverse Hölder, and Gehring classes, etc. This volume is interesting for graduate students and mathematicians involved with these topics.
Introduction to Complex Analysis in Several Variables
This book gives a comprehensive introduction to complex analysis in several variables. It clearly focusses on special topics in complex analysis rather than trying to encompass as much material as possible. Many cross-references to other parts of mathematics, such as functional analysis or algebras, are pointed out in order to broaden the view and the understanding of the chosen topics. A major focus is extension phenomena alien to the one-dimensional theory, which are expressed in the famous Hartog's Kugelsatz, the theorem of Cartan-Thullen, and Bochner's theorem.
Interpolation, Schur Functions and Moment Problems
In signal processing, they are often named reflection coefficients. Under the word "Schur analysis" one encounters a variety of problems related to Schur functions, such as interpolation problems, moment problems, the study of the relationships between the Schur coefficients and the properties of the function, or the study of underlying operators. Such questions are also considered for some generalizations of Schur functions. Furthermore, there is an extension of the notion of a Schur function for functions that are analytic and have a positive real part in the open upper half-plane; these functions are called Carathéodory functions. This volume is almost entirely dedicated to the analysis of Schur and Carathéodory functions and to the solutions of problems for these classes.
Interfacial Transport Phenomena
This is an extensively revised second edition of Interfacial Transport Phenomena, a unique presentation of transport phenomena or continuum mechanics focused on momentum, energy, and mass transfer at interfaces. In addition to tightening the focus of the book there are two important additions: an extended discussion of transport phenomena at common lines or three-phase lines of contact, as well as a new theory for the extension of continuum mechanics to the nanoscale region immediately adjacent to the interface. Applications and supporting experimental data are provided and discussed in detail. This book is written for the advanced student of transport phenomena. The emphasis is upon achieving an in-depth understanding based upon first principles. It is designed to prepare the reader for active research. It includes exercises and answers, and can serve as a graduate level textbook.
Intelligent Systems and Signal Processing in Power Engineering
Power engineering has become a multidisciplinary field ranging from linear algebra, electronics, signal processing to artificial intelligence including recent trends like bio-inspired computation, lateral computing and so on. In this book, Ukil builds the bridge between these inter-disciplinary power engineering practices. The book looks into two major fields used in modern power systems: intelligent systems and the signal processing. The intelligent systems section comprises of fuzzy logic, neural network and support vector machine. The author looks at relevant theories on the topics without assuming much particular background. Following the theoretical basics, he studies their applications in various problems in power engineering, like, load forecasting, phase balancing, or disturbance analysis.
Integrated formal methods ; 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.
Information security and privacy ; 6th Australasian Conference, ACISP 2001, Sydney, Australia, July 11-13, 2001. Proceedings
A Few Thoughts on E-Commerce.- New CBC-MAC Forgery Attacks.- Cryptanalysis of a Public Key Cryptosystem Proposed at ACISP 2000.- Improved Cryptanalysis of the Self-Shrinking Generator.- Attacks Based on Small Factors in Various Group Structures.- On Classifying Conference Key Distribution Protocols.- Pseudorandomness of MISTY-Type Transformations and the Block Cipher KASUMI.- New Public-Key Cryptosystem Using Divisor Class Groups.- First Implementation of Cryptographic Protocols Based on Algebraic Number Fields.- Practical Key Recovery Schemes.- Non-deterministic Processors.- Personal Secure Booting.- Evaluation of Tamper-Resistant Software Deviating from Structured Programming Rules.- A Strategy for MLS Workflow.- Condition-Driven Integration of Security Services.- SKETHIC: Secure Kernel Extension against Trojan Horses with Informat ion-Carrying Codes.- Secure and Private Distribution of Online Video and Some Related Cryptographic Issues.- Private Information Retrieval Based on the Subgroup Membership Problem.
Information retrieval technology ; Vol. 3411 ; Asia information retrieval symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers
TheAsiaInformationRetrievalSymposium(AIRS)wasestablishedbytheAsian information retrieval community after the successful series of Information - trieval with Asian Languages (IRAL) workshops held in six di?erent locations in Asia, starting from 1996. While the IRAL workshops had their focus on inf- mation retrieval problems involving Asian languages, AIRS covers a wider scope of applications, systems, technologies and theory aspects of information retrieval in text, audio, image, video and multimedia data. This extension of the scope re?ects and fosters increasing research activities in information retrieval in this region and the growing need for collaborations across subdisciplines. We are very pleased to report that we saw a sharp increase in the number of submissions and their quality, compared to the IRAL workshops. We received 106papersfromninecountriesinAsiaandNorthAmerica,fromwhich28papers (26%) were presented in oral sessions and 38 papers in poster sessions (36%). It was a great challenge for the Program Committee to select the best among the excellent papers. The low acceptance rates witness the success of this year’s conference. After a long discussion between the AIRS 2004 Steering Committee and Springer, the publisher agreed to publish our proceedings in the Lecture Notes in Computer Science (LNCS) series, which is SCI-indexed. We feel that this strongly attests to the excellent quality of the papers.
Information criteria and statistical modeling
One of the main objectives of this book is to provide comprehensive explanations of the concepts and derivations of the AIC and related criteria, including Schwarz’s Bayesian information criterion (BIC), together with a wide range of practical examples of model selection and evaluation criteria. A secondary objective is to provide a theoretical basis for the analysis and extension of information criteria via a statistical functional approach. A generalized information criterion (GIC) and a bootstrap information criterion are presented, which provide unified tools for modeling and model evaluation for a diverse range of models, including various types of nonlinear models and model estimation procedures such as robust estimation, the maximum penalized likelihood method and a Bayesian approach.
Information and self-organization : A macroscopic approach to complex systems
This book presents the concepts needed to deal with self-organizing complex systems from a unifying point of view that uses macroscopic data. The various meanings of the concept "information" are discussed and a general formulation of the maximum information (entropy) principle is used. With the aid of results from synergetics, adequate objective constraints for a large class of self-organizing systems are formulated and examples are given from physics, life and computer science. The relationship to chaos theory is examined and it is further shown that, based on possibly scarce and noisy data, unbiased guesses about processes of complex systems can be made and the underlying deterministic and random forces determined. This allows for probabilistic predictions of processes, with applications to numerous fields in science, technology, medicine and economics. The extensions of the third edition are essentially devoted to an introduction to the meaning of information in the quantum context. Indeed, quantum information science and technology is presently one of the most active fields of research at the interface of physics, technology and information sciences and has already established itself as one of the major future technologies for processing and communicating information on any scale.
Inference in Hidden Markov Models
This book is a comprehensive treatment of inference for hidden Markov models, including both algorithms and statistical theory. Topics range from filtering and smoothing of the hidden Markov chain to parameter estimation, Bayesian methods and estimation of the number of states.In a unified way the book covers both models with finite state spaces, which allow for exact algorithms for filtering, estimation etc. and models with continuous state spaces (also called state-space models) requiring approximate simulation-based algorithms that are also described in detail. Simulation in hidden Markov models is addressed in five different chapters that cover both Markov chain Monte Carlo and sequential Monte Carlo approaches. Many examples illustrate the algorithms and theory. The book also carefully treats Gaussian linear state-space models and their extensions and it contains a chapter on general Markov chain theory and probabilistic aspects of hidden Markov models.
Imaging of Kidney Cancer
This is one of the first books to deal specifically with diagnostic imaging of the entire spectrum of kidney cancers. Both new and conventional imaging modalities are fully considered. In an introductory chapter, the histopathological classification of kidney cancers is presented and discussed. The following five chapters describe in great detail the abilities, advantages, and disadvantages of the various imaging modalities used in the diagnosis of kidney cancers and the assessment of disease extension. Subsequent chapters offer an exhaustive description of the radiological features of the different histological subtypes of kidney cancer, with radiological and histological illustrations and tables.
How Long Do We Live? : Demographic Models and Reflections on Tempo Effects
The book reviews the debate on how best to measure period longevity. In the various chapters, leading experts in demography critically examine the existence of the tempo effect in mortality, present extensions and applications, and compare period and cohort longevity measures. The book provides a deeper understanding of and new insights into the fundamental question "How long do we live"?
Homo Oeconomicus : The Economic Model of Behaviour and Its Applications in Economics and Other Social Sciences
The economic model of behaviour is fundamental not only in economic theory, but also in modern approaches of other social sciences, above all in political science and law. This book provides a comprehensive treatise of the general model, its philosophical and methodological foundations and its applications in different fields. In addition to the basic model, extensions to its assumptions are examined to account for complex applications like low-cost situations with moral behaviour. Finally, the book takes a broader perspective by evaluating the impact of the model on economic policy and on the development of the field of social science as a whole, such as the competition between individualistic and collectivist approaches.
Handbook of Number Theory I
This handbook covers a wealth of topics from number theory, special attention being given to estimates and inequalities. As a rule, the most important results are presented, together with their refinements, extensions or generalisations. These may be applied to other aspects of number theory, or to a wide range of mathematical disciplines. Cross-references provide new insight into fundamental research.



















