الصفحة 27
الصفحة 27
Reliable Software Technologies - Ada-Europe 2008 ; 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.
Reliable Implementation of Real Number Algorithms; Theory and Practice ; International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable implementation of real number algorithms. Topics included formal proofs, software libraries, systems and platforms, as well as computational geometry and solid modelling.
Reliable distributed systems : Technologies, web services, and applications
An understanding of the techniques used to make distributed computing systems and networks reliable, fault-tolerant and secure will be crucial to those who design and deploy the next generation of mission-critical applications and Web Services.
Relaxin and Related Peptides
Relaxin and Related Peptides discusses the established paradigms, the contradictions, and the most recent findings and future directions in the field of relaxin research. The array of diverse topics are highlighted, ranging from evolution of relaxin family peptides and receptors to their cell signaling, from the role of relaxin in reproduction to the newly discovered functions in cancer progression and in the nervous system. The four major ongoing areas of research described in this book will likely attract investigators for years to come, since many basic scientific questions remain unanswered at this time. The availability of structural databases, new experimental techniques, and high quality hormone preparations, antibodies and other reagents enable rigorous investigation. Relaxin and Related Peptides offers a fresh perspective along with different points of view, opinions and disagreements.
Reinforced polymer composites processing, characterization and post life cycle assessment
Presents the advancement in the field of reinforced polymer composites with emphasis on manufacturing techniques, including processing of different reinforced polymer composites, secondary processing of green composites, and post life cycle processing. It discusses the advantages and limitations of each processing method and the effect of processing parameters on the overall performance of the composites.
Reinforced concrete with worked examples
Describes the design of reinforced and prestressed concrete structures according to the latest advances both in the field of materials, concrete and steel, and in the field of structural analysis. A large part of the book is concerned with the most innovative EC2 parts, like nonlinear structural analyses, second-order effects, punching and strut-and-tie models.
Rehabilitation of concrete structures with fiber-reinforced polymer
Rehabilitation of Concrete Structures with Fiber Reinforced Polymer is a complete guide to the use of FRP in flexural, shear and axial strengthening of concrete structures. Through worked design examples, the authors guide readers through the details of usage, including anchorage systems, different materials and methods of repairing concrete structures using these techniques. Topics include the usage of FRP in concrete structure repair, concrete structural deterioration and rehabilitation, methods of structural rehabilitation and strengthening, a review of the design basis for FRP systems, including strengthening limits, fire endurance, and environmental considerations.
Regulatory Genomics ; RECOMB 2004 International Workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, Revised Selected Papers
Research in the field of gene regulation is evolving rapidly in an ever-changing scientific environment. Microarray techniques and comparative genomics have enabled more comprehensive studies of regulatory genomics and are proving to be powerful tools of discovery. The application of chromatin immunoprecipitation and microarrays (chIP-on-chip) to directly study the genomic binding locations of transcription factors has enabled more comprehensive modeling of regulatory networks. In addition, complete genome sequences and the comparison of numerous related species has demonstrated that conservation in non-coding DNA sequences often provides evidence for cis-regulatory binding sites. That said, much is still to be learned about the regulatory networks of these sequenced genomes.
Regulation of Gene Expression : Molecular Mechanisms
This volume provides a clear, concise overview of the protocols and techniques used to examine chemically or disease-mediated alterations in gene expression in mammalian systems.
Regularized system identification: learning dynamic models from data
Provides a comprehensive treatment of recent developments in kernel-based identification that are of interest to anyone engaged in learning dynamic systems from data. The reader is led step by step into understanding of a novel paradigm that leverages the power of machine learning without losing sight of the system-theoretical principles of black-box identification. The authors’ reformulation of the identification problem in the light of regularization theory not only offers new insight on classical questions, but paves the way to new and powerful algorithms for a variety of linear and nonlinear problems. Regression methods such as regularization networks and support vector machines are the basis of techniques that extend the function-estimation problem to the estimation of dynamic models. Many examples, also from real-world applications, illustrate the comparative advantages of the new nonparametric approach with respect to classic parametric prediction error methods.
Regionalization of Watersheds : An Approach Based on Cluster Analysis
Clustering techniques are used to identify group(s) of watersheds which have similar flood characteristics. This book is a comprehensive reference on how to use these techniques for RFFA and is the first of its kind. It provides a detailed account of several recently developed clustering techniques, including those based on fuzzy set theory and artificial neural networks. It also documents research findings on application of clustering techniques to RFFA that remain scattered in various hydrology and water resources journals.
Regenerative Medicine: Emerging Techniques to Translation Approaches
Focuses on the recent innovations and therapeutic potentials of regenerative medicine and discusses the applications of stem cells, biomaterials, and tissue engineering in regenerative medicine. The book covers essential aspects of regenerative medicine. It also reviews the applications of biosensing technologies in regenerative medicine. It focuses on the regenerative medicine approaches for diseases of the central nervous system. It also provides the therapeutic potential of regenerative medicine to improve soft tissue and wound healing, cardiovascular, neural, bone, and orofacial regeneration.
Refractive Lens Surgery
Refractive Lens Surgery : - Represents a compilation of the best cutting edge practices for achieving success with refractive lens exchange / - Provides the essential information you need to succeed during the current renaissance of intraocular lens technology / - Serves as both a textbook and a reference guide to this exciting and rapidly growing segment of ophthalmology / From mastering biometry and lens power calculations in eyes that have had prior keratorefractive surgery to learning the latest micro-incision lens extraction techniques, this book is an invaluable resource that makes sense of the myriad of new developments in this field.
Refinement Techniques in Software Engineering ; 1st Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004). The main theme in 2004 was re?nement (or rei?cation). Re?nement describes the veri?able relationship between a speci?cation and its implementation; it also describes the process of discoveringappropriateimplementations,givena speci?cation.Thus,in oneway or another, re?nement is at the heart of the programming process, and so is the major daily activity of everyprofessionalsoftwareengineer.
Redox Systems Under Nano-Space Control
The generation of novel redox systems under nano-space control is one of the most exciting fields in present organic, inorganic, and supramolecular chemistry. The authors have drawn together the newest information on the construction of such novel redox systems using nano-space control of complexation or molecular chain-induced spaces and metal- or self-assembled spaces through combining techniques in coordination, supramolecular, and bio-inspired chemistry. Such design on the nano level produces hybrid conjugated systems composed of transition and synthetic metals, metallohosts, redox-active self-assembled monolayers of helical peptides, DNA-directed metal arrays, photoactive antibody systems, chiral rotaxanes, and redox-active imprinted polymers. In the future, these systems will be the basis for novel selective electron-transfer reactions as well as new functional materials and catalysts.
Recurrent Hernia : Prevention and Treatment
Technical nuances of the various operations have been discussed to pursue consensus concerning the best techniques. Methods were explored to improve surgeons' education and look into the multifactorial etiologies to understand the biology of hernia recurrence better.
Recovery, Analysis, and Identification of Commingled Human Remains
Mass fatality events can result in the intermixing, or commingling, of human remains. Commingling of human remains presents an added challenge to all phases of the forensic process. As the number of individuals increases, so does the complexity of the forensic investigation and the skills needed for case resolution. In Recovery, Analysis, and Identification of Commingled Human Remains, top professionals illustrate successful techniques for sorting and determining the number of individuals, the role of DNA, ethical considerations and data management. Instrumental to the forensic community, Recovery, Analysis, and Identification of Commingled Human Remains provides case examples and an in depth review of experiences, methods, and research related to commingling.
Reconstruction de lavant-pied = Forefoot reconstruction
Since 1991 in France, Louis Samuel Barouk and his team, including Pierre Barouk, have contributed to the development of techniques that have significantly improved the postoperative period and outcomes. These include scarf osteotomy, big toe osteotomy, Weil osteotomies of the lateral metatarsals, and the development of the proximal release system for the gastrocnemius muscles. In parallel, the authors have developed implants and instrumentation specific to this forefoot surgery. The authors seek to share their passion for forefoot surgery and its continuous improvement, as the mission of this orthopedic specialty is as much about correcting deformities and improving footwear as it is about aesthetics.
Receptor Binding Techniques
Expands upon the methods and techniques used for studying receptors in silico, in vitro and in vivo. Comprehensive chapters describe how to use online resources for experimental research such as prediction of receptor-ligand interactions and mine the IUPHAR receptor database. Classical techniques of radioligand binding, quantitative autoradiography and their analyses are complemented by the use of immunocytochemistry for the cellular localization of receptor protein and hybridization to detect receptor mRNA. Protocols using fluorescent labeled ligands are described to visualise receptors in living cells, their interaction with beta-arrestin to measure ligand-induced internalisation and green fluorescent protein to study trafficking. Non-radioactive, chemiluminescent cAMP and arrestin assays facilitate the identification of novel ‘biased agonists’. Detailed methods are provided for in vivo imaging of receptors using positron emission tomography (PET).
Receptor binding techniques
Coveres mining from curated databases, identifying novel receptors by high throughput screening, molecular methods to identify mRNA encoding receptors, radioligand binding assays and their analysis, quantitative autoradiography, and imaging receptors by positron emission tomography (PET). Highlights include phenotypic characterization of receptors in knockout mice, imaging receptors using green fluorescent protein and fluorescent resonance energy transfer, and quantitative analysis of receptor mRNA by TaqMan PCR. These book equips the researcher with techniques for exploring the unprecedented number of new receptor systems now emerging and the so-called "orphan" receptors whose activating ligand has not been identified.
