Page 1
Page 1
Multiaccess, Reservations & Queues
Reservation procedures constitute the core of many popular data transmission protocols. They consist of two steps: A request phase in which a station reserves the communication channel and a transmission phase in which the actual data transmission takes place. Such procedures are often applied in communication networks that are characterised by a shared communication channel with large round-trip times.In this book, we propose queuing models for situations that require a reservation procedure and validate their applicability in the context of cable networks.
Morphological Models of Random Structures
This book covers methods of Mathematical Morphology to model and simulate random sets and functions (scalar and multivariate). The introduced models concern many physical situations in heterogeneous media, where a probabilistic approach is required, like fracture statistics of materials, scaling up of permeability in porous media, electron microscopy images (including multispectral images), rough surfaces, multi-component composites, biological tissues, textures for image coding and synthesis. The common feature of these random structures is their domain of definition in n dimensions, requiring more general models than standard Stochastic Processes.The main topics of the book cover an introduction to the theory of random sets, random space tessellations, Boolean random sets and functions, space-time random sets and functions (Dead Leaves, Sequential Alternate models, Reaction-Diffusion), prediction of effective properties of random media, and probabilistic fracture theories.
Modellistica numerica per problemi differenziali = Numerical modeling for differential problems
This text introduces the basic concepts for the numerical modeling of partial differential problems. We consider the classic elliptic, parabolic and hyperbolic linear equations, but also other equations, such as those of diffusion and transport, of Navier-Stokes, and the conservation laws, and we provide numerous physical examples underlying these equations. Then we analyze numerical resolution methods based on finite elements, finite differences, finite volumes, spectral methods and domain decomposition methods. In particular, the algorithmic and computer implementation aspects are discussed and various easy-to-use programs are provided.
Modeling Excitable Tissue : The EMI Framework
This volume presents a novel computational framework for understanding how collections of excitable cells work. The key approach in the text is to model excitable tissue by representing the individual cells constituting the tissue. This is in stark contrast to the common approach where homogenization is used to develop models where the cells are not explicitly present. The approach allows for very detailed analysis of small collections of excitable cells, but computational challenges limit the applicability in the presence of large collections of cells.
Mathematics and Technology
Mathematics and Technology presents technological applications of mathematics making use of elegant mathematical concepts. The selected subjects consist of: public key cryptography, error correcting codes, the global positioning system (GPS) and cartography, image compression using fractals and the JPEG format, digital recording, robot movement, DNA computing, Google's PageRank algorithm, savings and loans, gamma ray surgery and random number generators. The authors highlight how mathematical modeling, together with the power of mathematical tools, have been crucial for innovation in technology. The exposition is clear, straightforward, motivated by excellent examples, and user-friendly. Numerous exercises at the end of every chapter reinforce the material. An engaging quality is the various historical notes accompanying the mathematical development.
Intelligent Distributed Computing, Systems and Applications ; Proceedings of the 2nd International Symposium on Intelligent Distributed Computing – IDC 2008, Catania, Italy, 2008
Addresses many topics related to intelligent and distributed computing, systems and applications, including: adaptivity and learning; agents and multi-agent systems; argumentation; auctions; case-based reasoning; collaborative systems; data structures; distributed algorithms; formal modeling and verification; genetic and immune algorithms; grid computing; information extraction, annotation and integration; network and security protocols; mobile and ubiquitous computing; ontologies and metadata; P2P computing; planning; recommender systems; rules; semantic Web; services and processes; trust and social computing; virtual organizations; wireless networks; XML technologies.
Intelligence and security informatics ; IEEE ISI 2008 International Workshops : PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings
This book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, held as satellite events of the IEEE International Conference on Intelligence and Security Informatics, ISI 2008, in Taipei, Taiwan, in June 2008.The 55 revised full papers presented were carefully reviewed and selected from the presentations at the workshops. The 21 papers of the Pacific Asia Workshop on Intelligence and Security Informatics (PAISI 2008) cover topics such as information retrieval and event detection, internet security and cybercrime, currency and data protection, cryptography, image and video analysis, privacy issues, social networks, modeling and visualization, and network intrusion detection.
Heavy-Tailed Time Series
This book aims to present a comprehensive, self-contained, and concise overview of extreme value theory for time series, incorporating the latest research trends alongside classical methodology.Additionally, the book incorporates complete proofs and exercises with solutions as well as substantive reference lists and appendices, featuring a novel commentary on the theory of vague convergence.
Heat Conduction : Mathematical Models and Analytical Solutions
Many phenomena in social, natural and engineering fields are governed by wave, potential, parabolic heat-conduction, hyperbolic heat-conduction and dual-phase-lagging heat-conduction equations. The focus of the present monograph is on these equations: their solution structures, methods of finding their solutions under various supplementary conditions, as well as the physical implication and applications of their solutions.
Geometric Data Analysis : From Correspondence Analysis to Structured Data Analysis
Geometric Data Analysis (GDA) is the name suggested by Stanford University to designate the approach to Multivariate Statistics initiated.as Correspondence Analysis, an approach that has become more and more used and appreciated over the years. This book presents the full formalization of GDA in terms of linear algebra - the most original and far-reaching consequential feature of the approach - and shows also how to integrate the standard statistical tools such as Analysis of Variance, including Bayesian methods. Chapter 9, Research Case Studies, is nearly a book in itself; it presents the methodology in action on three extensive applications, one for medicine, one from political science, and one from education (data borrowed from the Stanford computer-based Educational Program for Gifted Youth ). Thus the readership of the book concerns both mathematicians interested in the applications of mathematics, and researchers willing to master an exceptionally powerful approach of statistical data analysis.
Fractional-in-time semilinear parabolic equations and applications
This book provides a unified analysis and scheme for the existence and uniqueness of strong and mild solutions to certain fractional kinetic equations. This class of equations is characterized by the presence of a nonlinear time-dependent source, generally of arbitrary growth in the unknown function, a time derivative in the sense of Caputo and the presence of a large class of diffusion operators. The global regularity problem is then treated separately and the analysis is extended to some systems of fractional kinetic equations, including prey-predator models of Volterra–Lotka type and chemical reactions models, all of them possibly containing some fractional kinetics.
Evolutionary Swarm Robotics : Evolving Self-Organising Behaviours in Groups of Autonomous Robots
In this book the use of ER techniques for the design of self-organising group behaviours, for both simulated and real robots is introduced. This research has a twofold value. From an engineering perspective, an automatic methodology for synthesising complex behaviours in a robotic system is described.
Dynamics in Logistics : Twenty-Five Years of Interdisciplinary Logistics Research in Bremen, Germany
Highlights the interdisciplinary aspects of logistics research. Featuring empirical, methodological, and practice-oriented articles, it addresses the modelling, planning, optimization and control of processes. Chiefly focusing on supply chains, logistics networks, production systems, and systems and facilities for material flows, the respective contributions combine research on classical supply chain management, digitalized business processes, production engineering, electrical engineering, computer science and mathematical optimization.
Dissipative Solitons : From Optics to Biology and Medicine
The dissipative soliton concept is a fundamental extension of the concept of solitons in conservative and integrable systems. It includes ideas from three major sources, namely standard soliton theory developed since the 1960s, nonlinear dynamics theory, and Prigogine's ideas of systems far from equilibrium. These three sources also correspond to the three component parts of this novel paradigm. This book explains the above principles in detail and gives the reader various examples from optics, biology and medicine. These include laser systems, optical transmission lines, cortical networks, models of muscle contraction, localized vegetation structures and waves in brain tissues.
Discrete Thoughts : Essays on Mathematics, Science, and Philosophy
This is a volume of essays and reviews that delightfully explore mathematics in all its moods — from the light and the witty, and humorous to serious, rational, and cerebral. Topics include: logic, combinatorics, statistics, economics, artificial intelligence, computer science, and applications of mathematics broadly. You will also find history and philosophy covered, including discussion of the work of Ulam, Kant, Heidegger among others. these papers reflect on mathematics and its influence on human society. They can help the specialist to notice what is going on around him, and they may lead educated people from other domains to a better understanding of mathematics.
Computer algebra and geometric algebra with applications ; 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age.
Computational intelligence : Methods and techniques
This book focuses on various techniques of computational intelligence, both single ones and those which form hybrid methods. Those techniques are today commonly applied issues of artificial intelligence, e.g. to process speech and natural language, build expert systems and robots.
Mathematical Methods for Mechanics : A Handbook with MATLAB Experiments
The interaction between mathematics and mechanics is a never ending source of new developments. Today, challenging problems like space flight, gyroscope motions and tidal currents, can be studied on a laptop, feats that people still in the 1950’s dreamed of accomplishing. The present textbook addresses such problems and moreover, a wide-ranging spectrum of topics from bifurcation theory, optimization and control to rigid-body motion and continuum mechanics of elastic bodies and fluids. It fully encompasses the provision of mathematical tools up to their technical application. Because verifiability is a main element of science and numerical mathematics remain lackluster without demonstrations, a portion of the book is dedicated purely to computations.
Matematica e cultura 2008 = mathematics and culture 2008
In this new book, the tenth of the series that began in Venice with the meetings "Mathematics and culture" that many have tried to imitate, we talk about all this and among others Simon Singh (author of the best seller "The last theorem di Fermat "), in her third presence in Venice, and Siobhan Roberts (author of" The king of infinite space. History of the man who saved geometry "). Venice bridge between mathematics and culture.
Matematica e cultura 2007 = Mathematics and culture 2007
We talk about theater even if the page cannot tell about Bustric's unforgettable show. And about art, and applied arts, such as geometric structure and spiritual meaning of the Zen garden of Ryoanji in Kyoto, and of soap bubbles, which are almost never lacking in Venetian encounters, Four-dimensional bubbles and gigantic bubbles that serve as a model for the Olympic swimming pool in Bejing
