الصفحة 20
الصفحة 20
Continuous Semigroups of Holomorphic Self-maps of the Unit Disc
The book faces the interplay among dynamical properties of semigroups, analytical properties of infinitesimal generators and geometrical properties of Koenigs functions. The book includes precise descriptions of the behavior of trajectories, backward orbits, petals and boundary behavior in general, aiming to give a rather complete picture of all interesting phenomena that occur. In order to fulfill this task, we choose to introduce a new point of view, which is mainly based on the intrinsic dynamical aspects of semigroups in relation with the hyperbolic distance and a deep use of Carathéodory prime ends topology and Gromov hyperbolicity theory.
Continental Philosophy of Technoscience
This text draws upon continental authors such as Hegel, Engels, Heidegger, Bachelard and Lacan (and their fields of dialectics, phenomenology and psychoanalysis) in developing a coherent message around the technicity of science or rather, “technoscience”. Within technoscience, the focus will be on recent developments in life sciences research, such as genomics, post-genomics, synthetic biology and global ecology. This book uniquely presents continental perspectives that tend to be underrepresented in mainstream philosophy of science, yet entail crucial insights for coming to terms with technoscience as it is evolving on a global scale today.
Contact Problems : The legacy of L.A. Galin
L.A. Galin's book on contact problems is a remarkable work. Actually there are two books: the first, published in 1953 deals with contact problems in the classical theory of elasticity; this is the one that was translated into English in 1961. The second book, published in 1980, included the first, and then had new sections on contact problems for viscoelastic materials, and rough contact problems; this section has not previously been translated into English.
Consequences of Unawareness in Usage of Some Medicines and Diet Routine
In the short term, imbalanced nutrition can contribute to stress, tiredness and our capacity to work, and over time, it can contribute to the risk of developing some illnesses and other health problems such as: being overweight or obese, tooth decay, high blood pressure. Such habits cause considerable damage to human existence such as loss of potential and motivation, premature aging of the human body and the acquisition of diseases of various kinds. Such habits include the consumption of the following substances and medications which we will focus on in our research project in order to contribute to the public health awareness and to provide people with the best way to eat, on the other hand as an effect, pharmacologist we will also include the possible therapy of such diseases. However, with their side and some other commune drugs we are used to take on daily terms or very often but it may have a toxic side effect.
Concrete structures deteriorated by delayed ettringite formation and alkali-silica reactions
Discusses the behaviour of isolated concrete bottle-shaped struts affected by internal expansion reactions (ISR). For that purpose, the numerical modelling of damaged concrete was performed using the Concrete Damaged Plasticity Model (CDPM) implemented in ABAQUS and validated the model through Sankovich's tests.
Concrete Structures : Design and Residual Capacity Assessment
Based primarily on Eurocode 2, this book offers a comprehensive exploration of theory alongside a substantial collection of solved examples. Intended for students and professionals specializing in structural engineering, the content delves into the fundamental aspects of designing and evaluating concrete structures. Discover a unique focus on both theoretical and practical aspects, empowering engineers to unearth solutions that minimize steel usage.
Conceptual density functional theory : Towards a new chemical reactivity theory
This two-volume reference book shows how conceptual density functional theory can reconcile empirical observations within silico calculations using density functional theory, molecular orbital theory, and valence bond theory. The ability to predict properties like electronegativity, acidity/basicity, strong covalent and weak intermolecular interactions as well as chemical reactivity makes DFT directly applicable to almost all problems in applied chemistry, from synthetic chemistry to catalyst design and materials characterization.
Conceptions of the Desirable : What Cities Ought to Know about the Future
Right in the heart of Graz, the second largest city in Austria, an entire city district had simply fallen into oblivion. The owners have taken up the search for answers: How, in future, do we wish to work and live? This title presents the results of a research by structuring its content into: Life, Work, Urbanity and Education.
Computer simulations in condensed matter : From materials to chemical biology ; Vol.2
This extensive and comprehensive collection of lectures by world-leading experts in the field introduces and reviews all relevant computer simulation methods and their applications in condensed matter systems. Volume 1, published as LNP 703 (ISBN 3-540-35270-8) is an in-depth introduction to a vast spectrum of computational techniques for statistical mechanical systems of condensed matter. It will enable the graduate student and both the specialist and nonspecialist researcher to get acquainted with the tools necessary to carry out numerical simulations at an advanced level. The present volume is a state-of-the-art survey on numerical experiments carried out for a great number of systems, ranging from materials sciences to chemical biology, such as supercooled liquids, spin glasses, colloids, polymers, liquid crystals, biological membranes and folding proteins.
Computer Aided Verification; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems.
Computational studies of RNA and DNA
Computational Studies of RNA and DNA includes, in an integrated way, modern computational studies of nucleic acids, ranging from advanced electronic structure quantum chemical calculations through explicit solvent molecular dynamics (MD) simulations up to mesoscopic modelling, with the main focus given to the MD field. It gives an equal emphasis to the leading methods and applications while successes as well as pitfalls of the computational techniques are discussed.The systems and problems studied include: Accurate calculations of base pairing energies / Electronic properties of nucleic acids and electron transfer, through various types of nucleic acid / Calculating DNA elasticity
Computational Plasticity
The different chapters of this book present recent progress and future research directions in the field of computational plasticity. A common line of many contributions is that a stronger interaction between the phenomenological and micromechanical modelling of plasticity behaviour is apparent and the use of inverse identification techniques is also more prominent. The development of adaptive strategies for plasticity problems continues to be a challenging goal, while it is interesting to note the permanence of element modelling as a research issue. Industrial forming processes, geomechanics, steel and concrete structures form the core of the applications of the different numerical methods presented in the book.
Computational linguistics and intelligent text processing ; Vol. 3878 ; 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings
CICLing 2006 (www.CICLing.org) was the 7th Annual Conference on Intelligent Text Processing and Computational Linguistics. The CICLing conferences are intended to provide a wide-scope forum for discussion of the internal art and craft of natural language processing research and the best practices in its applications.
Computational linguistics and intelligent text processing ; 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, Proceedings
This book cover all current issues in computational linguistics research and present intelligent text processing applications. The papers are organized in topical sections on: lexical resources, corpus-based knowledge acquisition, morphology and part-of-speech tagging, named entity recognition, temporal expression treatment, word segmentation, sentence splitting, chunking, grammar formalisms and syntax, word sense disambiguation and discrimination and semantics.
Computational linguistics and intelligent text processing ; Vol. 3406 ; 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2005, held in Mexico City, Mexico in February 2005. An approach that involves natural language analysis techniques for the treatment of software system functional requirements is described in this book. This approach is used as the basis for a process developed to generate sequence diagrams automatically from the textual specification of use cases. This facility has been integrated in the Requirements Engineering Phase of OO-Method, an automatic production environment of software. For this purpose, a translator that is based on natural language parser is used. The translator provides grammatical information to each use case sentence and it identifies the corresponding interaction. The automatic transformation is conceived and specified following an orientation that is based on models and patterns. The results of the validation of the transformation patterns are presented.
Computational earthquake physics ; Part II
Exciting developments in earthquake science have benefited from new observations, improved computational technologies, and improved modeling capabilities. Designing realistic supercomputer simulation models for the complete earthquake generation process is a grand scientific challenge due to the complexity of phenomena and range of scales involved from microscopic to global. The present volume - Part II - incorporates computational environment and algorithms, data assimilation and understanding, model applications and iSERVO. Topics covered range from iSERVO and QuakeSim: implementing the international solid earth research virtual observatory by integrating computational grid and geographical information web services; LURR (Load-Unload Response Ratio) described in six papers involving this promising earthquake forecasting model; pattern informatics and phase dynamics and their applications, which was also a highlight in the Workshop; computational algorithms, including continuum damage models and visualization and analysis of geophysical datasets; evolution of mantle material; the state vector approach; and assimilation of data such as geodetic data, GPS data, and seismicity and laboratory experimental data.
Commercial and apartment building
Residential Commercial Building Project. Built in Morata City, Damascus, Syria. This Project consists of a building made up of: One Basement, One Parking Lot, Five Commercial Floors, Seven Apartments, A Hall Made for Sports.
Coming to Terms with Superdiversity: The Case of Rotterdam
This book discusses Rotterdam as clear example of a superdiverse city that is only reluctantly coming to terms with this new reality. Rotterdam, as is true for many post-industrial cities, has seen a considerable backlash against migration and diversity: the populist party Leefbaar Rotterdam of the late Pim Fortuyn is already for many years the largest party in the city. At the same time Rotterdam has become a majority minority city where the people of Dutch descent have become a numerical minority themselves. The book explores how Rotterdam is coming to terms with superdiversity, by an analysis of its migration history of the city, the composition of the migrant population and the Dutch working class population, local politics and by a comparison with Amsterdam and other cities. As such it contributes to a better understanding not just of how and why super-diverse cities emerge but also how and why the reaction to a super-diverse reality can be so different.
Cognitive Development in Chimpanzees
From an evolutionary perspective, understanding chimpanzees offers a way of understanding the basis of human nature. This book on cognitive development in chimpanzees is the first of its kind to focus on infants reared by their own mothers within a natural setting, illustrating various aspects of chimpanzee cognition and the developmental changes that accompany them. The subjects of this book are chimpanzees of three generations inhabiting an enriched environment as well as a wild community in West Africa; and phenomena such as face recognition, concept formation, object manipulation, tool manufacture and use, decision making, learning, communication, self-awareness, intentionality, understanding others’ minds, cooperation, deception, altruism, and reciprocity observed within these groups are reported herein. Unique approaches both in the field and in the laboratory go hand in hand to illustrate the cognitive world of our closest living evolutionary relatives.
