الصفحة 20
الصفحة 20
Damage and Cracking of Concrete Structures : From Theory to Practice
Understanding and managing damage and cracking in concrete is essential to ensuring the integrity and durability of civil engineering structures. This book also addresses many situations, such as monotonic or cyclic behavior, seismic responses, a description of fast dynamic situations and effects due to the maturation of concrete at an early age in massive structures. Numerous detailed exercises are provided to help students to understand modeling and calculation techniques.
Current Trends in High Performance Computing and Its Applications ; Proceedings of the International Conference on High Performance Computing and Applications, August 8-10, 2004, Shanghai, P.R. China
This book contains variety of subjects in modern high performance computing and its applications, such as numerical and software algorithm design and analysis, grid computing advance, adaptive and par- lel algorithm development, distributing debugging tools, computational grid and network environment design, computer simulation and visualization, and computational language study and their applications to science, engineering, and medicine.
Critique de la valeur fondamentale = Critique of fundamental value
This work takes stock of the different conceptions of fundamental value in finance, the methods of its calculation and the ongoing debates in financial theory as in professional practices. The book reports on the alternatives offered by mathematical modeling.
Critical point theory and its applications
The book include extrema, even valued functionals, weak and double linking, sign changing solutions, Morse inequalities, and cohomology groups. The applications described include Hamiltonian systems, Schrödinger equations and systems, jumping nonlinearities, elliptic equations and systems, superlinear problems and beam equations. Many minimax theorems are established without the use of the (PS) compactness condition.
Critical Infrastructures at Risk : Securing the European Electric Power System
This book explores the potential risks and vulnerabilities of the European electricity infrastructure, other infrastructures and our society as whole increasingly depend on. The work was initiated by the need to verify the potential effects of the ongoing market and technical transformation of the infrastructure, which is fundamentally changing its operation and performance. The final aim is to set the basis for an appropriate industrial and political European-wide response to the risk challenges.
Costs of air pollution control : Analyses of emission control options for ozone abatement strategies
This work derives strategies for developing useful EU policies aimed at the control of air pollutants in Europe, especially ground-level ozone. The author starts with the air-pollution status quo in the late 1990s, placing further impacts of photooxidant concentrations into perspective. Emission sources are then analysed in detail, and a likely scenario for a business-as-usual development in emissions is proposed. From the cost-benefit perspective, it is shown that a holistic, integrated evaluation of all air pollutants and their effects results in a full accounting that reflects synergies and hidden benefits. The modelling scheme identifies emission targets needed to achieve compliance with EU thresholds, and calculations reveal the need to review established ozone thresholds and emission limits, even after discounting the positive effects of including central and eastern European nations.
Coordination models and languages ; Vol.3454 : 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, COORDINATION 2005, held in Namur, Belgium in April 2005. The 19 revised full papers presented were carefully reviewed and selected from 88 submissions. Among the topics addressed are Web services, safe ambients, process calculus, abstract verification, role-based software, delegation modeling, distributed information flow, adaptive Web content provision, global computing, mobile agents, mobile computing, multithreaded code generation, shared data space coordination languages, automata specifications, time aware coordination, and service discovery.
Cooperative Design, Visualization, and Engineering ; Vol. 4101 ; 3rd International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006, Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2006, held in Mallorca, Spain in September 2006.
Convexity and Well-Posed Problems
This book deals mainly with the study of convex functions and their behavior from the point of view of stability with respect to perturbations. We shall consider convex functions from the most modern point of view: a function is de?ned to be convex whenever its epigraph, the set of the points lying above the graph, is a convex set. Thus many of its properties can be seen also as properties of a certain convex set related to it. Moreover, we shall consider extended real valued functions.
Convex Functions and their Applications : A Contemporary Approach ; 1st ed.
Convex functions play an important role in many branches of mathematics, as well as other areas of science and engineering. The present text is aimed to a thorough introduction to contemporary convex function theory, which entails a powerful and elegant interaction between analysis and geometry. A large variety of subjects are covered, from one real variable case (with all its mathematical gems) to some of the most advanced topics such as the convex calculus, Alexandrov’s Hessian, the variational approach of partial differential equations, the Prékopa-Leindler type inequalities and Choquet's theory.
Convex Functional Analysis
This volume is dedicated to the fundamentals of convex functional analysis. It presents those aspects of functional analysis that are extensively used in various applications to mechanics and control theory. The purpose of the text is essentially two-fold. On the one hand, a bare minimum of the theory required to understand the principles of functional, convex and set-valued analysis is presented. Numerous examples and diagrams provide as intuitive an explanation of the principles as possible. On the other hand, the volume is largely self-contained. Those with a background in graduate mathematics will find a concise summary of all main definitions and theorems.
Contributions to Ubiquitous Computing
This book puts the larger vision of ubiquitous computing in the context of today’s mobile and distributed computing systems and presents innovative solutions at all system layers ranging from hardware over vertical and horizontal infrastructure services and novel middleware techniques to various types of application software. Some chapters address core properties of ubiquitous applications including mobility, self-healing and self-organisation of both technical and social-technical systems. Other contributions deal with common facilities like secure e-payment or semantic web techniques and business solutions like wireless asset management or e- maintenance. Distributed systems management with self-monitoring capabilities, Internet congestion control, and novel security solutions coping with denial of service attacks against mobile agent systems and software- and hardware-based data encryption methods are further topics addressed.
Contributions to Nonlinear Analysis : A Tribute to D.G. de Figueiredo on the Occasion of his 70th Birthday
This volume represents a broad survey of current research in the fields of nonlinear analysis and nonlinear differential equations.It is concerned with the existence and uniform decay rates of solutions of the waveequation with a sourceterm and subject to nonlinear boundary damping.
Continuum Thermomechanics
The general goal of this book is to deduce rigorously, from the first principles, the partial differential equations governing the thermodynamic processes undergone by continuum media under forces and heat. Solids and fluids are considered in a unified framework. Reacting mixtures of fluids are also included for which general notions of thermodynamics are recalled, such as the Gibbs equilibrium theory.Linear approximate models are mathematically obtained by calculating the derivatives of the constitutive response functions. They include the classical models for linear vibrations of thermoelastic solids and also for wave propagation in fluids (dissipative and non-dissipative acoustics and internal gravity waves).
Continuum Mechanics using Mathematica® : Fundamentals, Applications and Scientific Computing
This book's methodological approach familiarizes readers with the mathematical tools required to correctly define and solve problems in continuum mechanics. The book covers essential principles and fundamental applications, and provides a solid basis for a deeper study of more challenging and specialized problems related to elasticity, fluid mechanics, plasticity, materials with memory, piezoelectricity, ferroelectricity, magneto-fluid mechanics, and state changes.
Constrained optimization and image space analysis ; Vol.1 : Separation of sets and optimality conditions
Constrained Optimization and Image Space Analysis unites his results and presents optimization theory and variational inequalities in their light.It presents a new approach to the theory of constrained extremum problems, including Mathematical Programming, Calculus of Variations and Optimal Control Problems. Such an approach unifies the several branches: Optimality Conditions, Duality, Penalizations, Vector Problems, Variational Inequalities and Complementarity Problems. The applications benefit from a unified theory.
Conjoint measurement : Methods and applications
Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: normative models that maximize return, extension of choice-based conjoint simulations, latent class, hierarchical Bayes modelling, choice simulators, and normative models for representing competitive actions and reactions.
Conics and Cubics : A Concrete Introduction to Algebraic Curves
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from high school algebra and two key ideas: homogenous coordinates and intersection multiplicities. By classifying irreducible cubics over the real numbers and proving that their points form Abelian groups, the book gives readers easy access to the study of elliptic curves. It includes a simple proof of Bezout's Theorem on the number of intersections of two curves.The book is a text for a one-semester course on algebraic curves for junior-senior mathematics majors. The only prerequisite is first-year calculus.
Conflicts Between Generalization, Rigor, and Intuition : Number Concepts Underlying the Development of Analysis in 17th-19th Century France and Germany
Conflicts Between Generalization, Rigor, and Intuition undertakes a historical analysis of the development of two mathematical concepts -negative numbers and infinitely small quantities, mainly in France and Germany, but also in Britain, and the different paths taken there.This book not only discusses the history of the two concepts, but it also introduces a wealth of new knowledge and insights regarding their interrelation as necessary foundations for the emergence of the 19th century concept of analysis. The historical investigation unravels several processes underlying and motivating conceptual change: generalization (in particular, algebraization as an agent for generalizing) and a continued effort of intuitive accessibility which often conflicted with likewise desired rigor. The study focuses on the 18th and the 19th centuries.The book provides a productive unity to a large number of historical sources.
Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.
