الصفحة 87
الصفحة 87
Challenges in Ad Hoc Networking ; 4th Annual Mediterranean Ad Hoc Networking Workshop, June 21-24, 2005, Île de Porquerolles, France
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Certification and security in inter-organizational E-services ; IFIP 18th World Computer Congress, August 22-27, 2004, Toulouse, France
This collection of papers offers real-life application experiences, research results and methodological proposals of direct interest to systems experts and users in governmental, industrial and academic communities. This book also documents several important developments. The uptake of distributed computational infrastructure oriented to service provision, like Web-Services and Grid, is making C&S even more important. E-services based on legacy systems managed by autonomous and independent organizations, a common situation in the public administration sector, increase overall complexity. The increased presence and use of e-service IT-infrastructures depends on the critical ability required for all security issues, from the basic (availability, authentication, integrity, confidentiality) to the more complex (e.g. authorization, non-repudiation).
Central European Functional Programming School : 2nd Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
This volume presents texts from selected lectures given by leading researchers at the Second Central European Functional Programming School, CEFP 2007, held in Cluj-Napoca, Romania, in June 2007.
Cellular Automata and Discrete Complex Systems ; 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings
This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2020, held in Stockholm, Sweden, in August 2020. The workshop was held virtually. The 11 full papers presented in this book were carefully reviewed and selected from a total of 21 submissions. The topics of the conference include dynamical, topological, ergodic and algebraic aspects of CA and DCS, algorithmic and complexity issues, emergent properties, formal languages, symbolic dynamics, tilings, models of parallelism and distributed systems, timing schemes, synchronous versus asynchronous models, phenomenological descriptions, scientific modeling, and practical applications.
Cellular automata ; 7th International conference on cellular automata for research and industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006. The book presents 53 revised full papers and 19 revised poster papers together with 6 invited lectures. Topical sections include CA theory and implementation, computational theory, population dynamics, physical modeling, urban, environmental and social modeling, traffic and boolean networks, multi-agents and robotics, as well as crowds and cellular automata, and more.
Cells and Robots : Modeling and Control of Large-Size Agent Populations
Cells and Robots is an outcome of the multidisciplinary research extending over Biology, Robotics and Hybrid Systems Theory. It is inspired by modeling reactive behavior of the immune system cell population, where each cell is considered as an independent agent. In our modeling approach, there is no difference if the cells are naturally or artificially created agents, such as robots. This appears even more evident when we introduce a case study concerning a large-size robotic population scenario. Under this scenario, we also formulate the optimal control of maximizing the probability of robotic presence in a given region and discuss the application of the Minimum Principle for partial differential equations to this problem. Simultaneous consideration of cell and robotic populations is of mutual benefit for Biology and Robotics, as well as for the general understanding of multi-agent system dynamics.The text of this monograph is based on the PhD thesis of the first author. The work was a runner-up for the fifth edition of the Georges Giralt Award for the best European PhD thesis in Robotics, annually awarded by the European Robotics Research Network (EURON).
Cell-Cell Channels
The biological sciences are dominated by the idea that cells are the functionally autonomous, physically separated, discrete units of life. This concept was propounded in the 19th century by discoveries of the cellular structuring of both plants and animals. Moreover, the ap parent autonomy of unicellular eukaryotes, as well as the cellular basis of the mammalian brain (an organ whose anatomy for a long while defied attempts to validate the idea of the cellular nature of its neurons), seemed to provide the final conclusive evidence for the completeness of *cell theory', a theory which has persisted in an almost dogmatic form up to the present day. However, it is very obvious that there are numerous observations which indicate that it is not the cells which serve as the basic units of biological life but that this property falls to some other, subcellular assemblage. To deal with this intricate problem concerning the fundamental unit of living matter, we proposed the so-called Cell Body concept which, in fact, devel ops an exceedingly original idea proposed by Julius Sachs at the end of the 19th century. In the case of eukaryotic cells, DNA-enriched nuclei are intimately associated with a microtubular cytoskeleton. In this configuration—as a Cell Body—these two items comprise the fundamental functional and struc tural unit of eukaryotic living matter. The Cell Body seems to be inherent to all cells in all organisms.
Cell Surface Receptors : A Short Course on Theory and Methods
Cell Surface Receptors: A Short Course on Theory and Methods, 3rd Edition, links theoretical insights into drug-receptor interactions described in mathematical models with the experimental strategies to characterize the biological receptor of interest.
Categories for software engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity – a language for the architectural design of interactive systems. "For computer scientists, this unique book presents Category Theory in a manner tailored to their interests and with examples to which they can relate." Ira Forman, IBM "This book applies little-known yet quite powerful formal tools from category theory to software structures: designs, architectures, patterns, and styles. Rather than focus on issues at the level of computational models and semantics, it instead applies these tools to some of the problems facing the sophisticated software architect.
Categories and Sheaves
This book covers categories, homological algebra and sheaves in a systematic and exhaustive manner starting from scratch, and continues with full proofs to an exposition of the most recent results in the literature, and sometimes beyond.The authors present the general theory of categories and functors, emphasising inductive and projective limits, tensor categories, representable functors, ind-objects and localization. Then they study homological algebra including additive, abelian, triangulated categories and also unbounded derived categories using transfinite induction and accessible objects. Finally, sheaf theory as well as twisted sheaves and stacks appear in the framework of Grothendieck topologies.
Care-Related Quality of Life in Old Age : Concepts, Models and Empirical Findings
Care-Related Quality of Life in Old Age explains the theory behind Care Keys, its methodology, empirical findings, and practical considerations in promoting effective, efficient elder care aimed at social and emotional well-being and including disabled and cognitively impaired patients.
Care in Healthcare : Reflections on Theory and Practice
This book examines the concept of care and care practices in healthcare from the interdisciplinary perspectives of continental philosophy, care ethics, the social sciences, and anthropology. Areas addressed include dementia care, midwifery, diabetes care, psychiatry, and reproductive medicine. Special attention is paid to ambivalences and tensions within both the concept of care and care practices. Contributions in the first section of the book explore phenomenological and hermeneutic approaches to care and reveal historical precursors to care ethics. Empirical case studies and reflections on care in institutionalised and standardised settings form the second section of the book.
Capacity options for revenue management : Theory and applications in the air cargo industry
Hellermann addresses in his dissertation one of the most interesting - pects of this evolution for OR/MS, the parallel development of long-term and short-term markets for capacity and output, accompanied by a range of option and ?xed-commitment (i. e. , forward) contracts as the basic mec- nisms supporting transactions. This has been a fascinating topic for OR/MS research because it builds on the powerful framework of real options, while connecting directly to key operations decisions (capacity planning, network design, staf?ng, routing, maintenance, and so forth) of the equipment and technologies whose output is the focus of contracts.
Canonical Perturbation Theories, Degenerate Systems, and Resonance
Canonical Perturbation Theories, Degenerate Systems and Resonance presents the foundations of Hamiltonian Perturbation Theories used in Celestial Mechanics, emphasizing the Lie Series Theory and its application to degenerate systems and resonance. This book is the complete text on the subject including advanced topics in Hamiltonian Mechanics, Hori’s Theory, and the classical theories of Poincaré, von Zeipel-Brouwer, and Delaunay.
Cambridge and Vienna : Frank P. Ramsey and the Vienna Circle
The Institute Vienna Circle held a conference in 2003, Cambridge and Vienna: Frank P. Ramsey and the Vienna Circle, to commemorate the philosophical and scientific work of Frank Plumpton Ramsey (1903-1930). This Ramsey conference provided historical and biographical perspectives on one of the most gifted thinkers of the Twentieth Century.
Calculus of variations and nonlinear partial differential equations : With a historical overview by Elvira Mascolo : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 27 - July 2, 2005
This volume provides the texts of lectures given by L. Ambrosio, L. Caffarelli, M. Crandall, L.C. Evans, N. Fusco at the Summer course held in Cetraro (Italy) in 2005. These are introductory reports on current research by world leaders in the fields of calculus of variations and partial differential equations. The topics discussed are transport equations for nonsmooth vector fields, homogenization, viscosity methods for the infinite Laplacian, weak KAM theory and geometrical aspects of symmetrization. A historical overview of all CIME courses on the calculus of variations and partial differential equations is contributed by Elvira Mascolo.
Calculus : One and several variables
Provides clear calculus content to help them master these concepts and understand its relevance to the real world. Throughout the pages, it offers a perfect balance of theory and applications to elevate their mathematical insights. Readers will also find that the book emphasizes both problem-solving skills and real-world applications.
Calcolo stocastico per la finanza = Stochastic Calculation for Finance
Offers an introduction to the mathematical, probabilistic and numerical methods that are the basis of the models for the valuation of derivative instruments, such as options and futures, dealt with in modern financial markets. The book is aimed at readers with scientific training, wishing to develop skills in the field of stochastic calculus applied to finance.
C*-algebras and Elliptic Theory II
This book consists of a collection of original, refereed research and expository articles on elliptic aspects of geometric analysis on manifolds, including singular, foliated and non-commutative spaces. There are contributions from leading specialists, and the book maintains a reasonable balance between research, expository and mixed papers.
C*-algebras and Elliptic Theory
This volume contains the proceedings of the conference on "C*-algebras and Elliptic Theory" held in Bedlewo, Poland, in February 2004. It consists of original research papers and expository articles focussing on index theory and topology of manifolds.The collection offers a cross-section of significant recent advances in several fields, the main subject being K-theory (of C*-algebras, equivariant K-theory). A number of papers is related to the index theory of pseudodifferential operators on singular manifolds (with boundaries, corners) or open manifolds. Further topics are Hopf cyclic cohomology, geometry of foliations, residue theory, Fredholm pairs and others.
