الصفحة 2
الصفحة 2
img

Adaptation to Life at High Salt Concentrations in Archaea, Bacteria, and Eukarya

This book complements “Halophilic Microorganisms”, edited by A. Ventosa and published by Springer-Verlag (2004), “Halophilic Microorganism and their Environments” by A. Oren (2002), published by Kluwer Academic Publishers as volume 5 of “Cellular Origins, Life in Extreme Habitats and Astrobiology” (COLE), and “Microbiology and Biogeochemistry of Hypersaline Environments” edited by A. Oren, and published by CRC Press, Boca Raton (1999).

img

Acute Promyelocytic Leukemia : Molecular Genetics, Mouse Models and Targeted Therapy

Over the past 10 years, work on acute promyelocytic leukemia (APL) has become the paradigm of translational research that began with the discovery of a recurrent chromosomal translocation, followed by the identification of the genes and proteins involved, finding their molecular functions in transcriptional control, establishing mouse models and culminating in the development of targeted therapy.

img

Acetylsalicylic Acid

Contains the latest results of clinical and pharmacological research on Acetylsalicylic acid, addressing the multiple pharmacological properties of this famous drug with a balanced view on their translation into clinical practice, including prevention and treatment of cardiovascular diseases, thromboinflammation and colorectal cancer. Understandable for clinicians, pharmacists, biomedical researchers and pharmacologists alike.

img

Compilers : Principles, techniques & tools

This introduction to compilers is the direct descendant of the well-known book by Aho and Ullman, Principles of Compiler Design. The authors present updated coverage of compilers based on research and techniques that have been developed in the field over the past few years. The book provides a thorough introduction to compiler design and covers topics such as context-free grammars, fine state machines, and syntax-directed translation.

img

Anatomy ontologies for bioinformatics : Principles and practice

This book provides a timely and first-of-its-kind collection of contributed chapters on anatomy ontologies. It is interdisciplinary in its approach, bringing together relevant expertise from computing and biomedical studies, and covering both theoretical and applied aspects, with an emphasis on newer work relevant to the emerging Semantic Web.

img

Advertising culture and translation : From colonial to global

A first comprehensive study combining and integrating advertising, culture and translation within the framework of colonial, Commonwealth, and postcolonial studies, and globalization. It addresses a number of controversial issues evident in two relatively young disciplines, as a result of decades of research and teaching in university courses. A cross-cultural approach to translational issues and the translatability of advertising cohesively is adopted here, exploring the dynamics of the conflict between the 'centre' and the 'periphery'. It introduces the concept of advertising English as lingua franca (AELF), marking new trends in the domain of varieties of English around the world (VEAW). The data examined here show the ambivalent polarity conditioning advertising and translation: both have been mutually exclusive, and both have been subject to bans, censorship and ideological control, racism, propaganda, and stereotyping. In their fundamental principles and concepts of theories and applications, however, neither discipline cannot exist outside a free market and total freedom of expression and trust

img

Jacopo da Firenze’s Tractatus Algorismi and Early Italian Abbacus Culture

In the city republics of Renaissance Italy, it was a common practice among the merchant class to send sons for a two-year course of study at an "abbacus school", where they learned practical, mostly commercial mathematics, known as abbaco. From this school institution, several hundred manuscripts survive, all in Italian, often containing not only what the masters needed in their teaching but also algebra or other advanced mathematical material. A signal feature of the book by Jens Høyrup is the first translation of one of these abbacus manuscripts into English.

img

Classical Methods of Statistics : With Applications in Fusion-Oriented Plasma Physics

Classical Methods of Statistics is a blend of theory and practical statistical methods written for graduate students and researchers interested in applications to plasma physics and its experimental aspects. It can also fruitfully be used by students majoring in probability theory and statistics. In the first part, the mathematical framework and some of the history of the subject are described. Many exercises help readers to understand the underlying concepts. In the second part, two case studies are presented exemplifying discriminant analysis and multivariate profile analysis. The introductions of these case studies outline contextual magnetic plasma fusion research. In the third part, an overview of statistical software is given and, in particular, SAS and S-PLUS are discussed. In the last chapter, several datasets with guided exercises, predominantly from the ASDEX Upgrade tokamak, are included and their physical background is concisely described. The book concludes with a list of essential keyword translations.

img

Classical geometries in modern contexts : Geometry of real inner product spaces

This book is based on real inner product spaces X of arbitrary (finite or infinite) dimension greater than or equal to 2. With natural properties of (general) translations and general distances of X, euclidean and hyperbolic geometries are characterized. For these spaces X also the sphere geometries of Möbius and Lie are studied (besides euclidean and hyperbolic geometry), as well as geometries where Lorentz transformations play the key role. The geometrical notions of this book are based on general spaces X as described. This implies that also mathematicians who have not so far been especially interested in geometry may study and understand great ideas of classical geometries in modern and general contexts.

img

Classical geometries in modern contexts : Geometry of real inner product spaces

This book is based on real inner product spaces X of arbitrary (finite or infinite) dimension greater than or equal to 2. With natural properties of (general) translations and general distances of X, euclidean and hyperbolic geometries are characterized.

img

Cell Culture Engineering

Many patients suffering with life-threatening diseases or chronic dysfunctions, which were medically untreatable not long ago, can attest to the wonder these drugs have achieved. Although the first generation of p- tein therapeutics was produced in recombinant Escherichia coli, most recent products use mammalian cells as production hosts. Not long after the first p- duction of recombinant proteins in E. coli, it was realized that the complex tasks of most post-translational modifications on proteins could only be efficiently carried out in mammalian cells.

img

Arabic Computational Morphology : Knowledge-based and Empirical Methods

The morphology of Arabic poses special challenges to computational natural language processing systems. The exceptional degree of ambiguity in the writing system, the rich morphology, and the highly complex word formation process of roots and patterns all contribute to making computational approaches to Arabic very challenging. Indeed many computational linguists across the world have taken up this challenge over time, and many of the researchers with a track record in this research area have contributed to this book.

img

Advances in verification of time Petri Nets and timed automata : A temporal logic approach

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.

عدد النتائج بكل صفحة