الصفحة 43
الصفحة 43
Religious offences in common law Asia : Colonial legacies, constitutional rights and contemporary practice
Providing rigorous studies of common law jurisdictions that have adopted similar provisions in their penal code, the contributors provide an original examination and analysis of the use and development of these religious clauses in their respective jurisdictions. They draw upon their insights into the background sociopolitical and constitutional contexts to consider how the inter-relationship of religion and state may determine the rationale and scope of religious offences.
Religion in the public sphere : A comparative analysis of German, Israeli, American and International Law
How closely correlated should church and state be? May a state recognize or dignify the role and meaning of religion at all, and if so can it treat different religious groups differently? This book intends to answer these questions through a portrayal and comparison of various legal orders including those of Germany, Israel, France and the USA.
Reliable Software Technologies - Ada-Europe 2002; 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002. The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.
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.
Reliability-based Structural Design
Reliability-based Structural Design provides readers with an understanding of the fundamentals and applications of structural reliability, stochastic finite element method, reliability analysis via stochastic expansion, and optimization under uncertainty. Probability theory, statistic methods, and reliability analysis methods including Monte Carlo sampling, Latin hypercube sampling, first and second-order reliability methods, stochastic finite element method, and stochastic optimization are discussed. In addition, the use of stochastic expansions, including polynomial chaos expansion and Karhunen-Loeve expansion, for the reliability analysis of practical engineering problems is also examined. Detailed examples of practical engineering applications including an uninhabited joined-wing aircraft and a supercavitating torpedo are presented to illustrate the effectiveness of these methods.
Reliability in Automotive and Mechanical Engineering : Determination of Component and System Reliability
The volume brings together eleven chapters to highlight the importance of the interrelated reliability and maintenance disciplines. They represent the development trends and progress resulting in making this book essential basic material for all research academics, planners maintenance executives, who have the responsibility to implement the findings and maintenance audits into a cohesive reliability policy. Although, the book is centred on automotive engineering nevertheless, the examples and overall treatise can be applied to a wide range of professional practices. The book will be a valuable source of information for those concerned with improved manufacturing performance and the formidable task of optimising reliability.
Reliability Engineering : Theory and Practice
This book shows how to build in, evaluate, and demonstrate reliability & availability of components, equipment, systems. It presents the state-of-the-art of reliability engineering, both in theory and practice, and is based on the author's 30 years experience in this field, half in industry and half as Professor of Reliability Engineering at the ETH, Zurich. The structure of the book allows rapid access to practical results. Besides extensions to cost models and approximate expressions, new in this edition are investigations on common cause failures, phased-mission systems, availability demonstration and estimation, confidence limits at system level, trend tests for early failures or wearout, as well as a review of maintenance strategies, an introduction to Petri nets & dynamic FTA, and a set of problems for home-work. Methods and tools are given in a way that they can be tailored to cover different reliability requirement levels and be used for safety analysis as well.
Reliability and Optimal Maintenance
Postgraduates, researchers, and practitioners in reliability engineering, maintenance engineering, operations research, industrial engineering, mechanical engineering, logistics, management, and statistics will find this book a state-of-the-art survey of reliability and maintenance theory and models.
Relativity and the Nature of Spacetime
The most important question that is addressed in this book is "what is the nature (the ontological status) of spacetime?" or, equivalently, "what is the dimensionality of the world at the macroscopic level?" The answer to this question is developed via a thorough analysis of relativistic effects and explicitly asking whether the objects involved in those effects are three-dimensional or four-dimensional. This analysis clearly shows that if the world and the physical objects were three-dimensional, none of the kinematic relativistic effects and the experimental evidence supporting them would be possible. The implications of this result for physics, philosophy, and our entire world view are discussed.
Relations and Kleene Algebra in Computer Science ; 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation algebra, fixpoint calculi, semiring theory, iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling, the semantics, analysis and development of programs, formal language theory and combinatorial optimization.
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.
Reimagining sustainable cities : strategies for designing greener, healthier, more equitable communities
A cutting-edge, solutions-oriented analysis of how we can reimagine cities around the world to build sustainable futures. In recent years, cities have stepped up efforts to address climate and sustainability crises. But progress has not been fast enough or gone deep enough. If communities are to thrive in the future, we need to quickly imagine and implement an entirely new approach to urban development: one that is centered on equity and rethinks social, political, and economic systems as well as urban designs. With attention to this need for structural change, Reimagining Sustainable Cities advocates for a community-informed model of racially, economically, and socially just cities and regions.
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.
Regulating Agricultural Biotechnology : Economics and Policy
This book presents the first thorough economic analysis of current agricultural biotechnology regulation. The contributors, most of whom are agricultural economists working either in universities or NGOs, address issues such as commercial pesticides, the costs of approving new products, liability, benefits, consumer acceptance, regulation and its impacts, transgenic crops, social welfare implications, and biosafety.
Regulated Bioanalysis : Fundamentals and Practice
Covers the fundamental and practical aspects of regulated bioanalysis. The editors are seeking leading scientists in the field to participate in the development of this book, which we envision as a “one of a kind” contribution to our field. The book is intended for students in the pharmaceutical sciences, chemistry, biology and related scientific disciplines interested in bioanalysis, as well as working scientists new to the field of regulated bioanalysis. It will also serve as a primer for those experienced in the field. The depth of the book will seek to give its audience a solid foundation of knowledge in regulated bioanalysis which can be leveraged further with “hands on” experience. Understanding that bioanalytical global regulations evolve, the book is not intended as a deep-dive into regulatory language nuances but rather to be an educational text on conducting defendable and auditable science to support modern bioanalysis.
Regression Methods in Biostatistics : Linear, Logistic, Survival, and Repeated Measures Models
This new book provides a unified, in-depth, readable introduction to the multipredictor regression methods most widely used in biostatistics: linear models for continuous outcomes, logistic models for binary outcomes, the Cox model for right-censored survival times, repeated-measures models for longitudinal and hierarchical outcomes, and generalized linear models for counts and other outcomes.
Régression : Théorie et applications = Regression : Theory and Applications
This book explains in detail, with supporting examples, one of the most common statistical methods: regression. The first chapters are devoted to simple and multiple linear regression. They explain the fundamentals of the method, both in terms of the choices made as well as the hypotheses and their usefulness. Then the tools are developed to verify the basic assumptions implemented by the regression. A simple presentation of the analysis of covariance and variance models is performed. Finally, the last chapters are devoted to the choice of models as well as to certain extensions of the regression.
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.
Regional Economic Development : Analysis and Planning Strategy
The book is about the analysis of regional economic performance and change, and how analysis integrates with strategies for local and regional economic development policy and planning. First, the book provides the reader with an overview of key theoretical and conceptual contexts within which the economic development process takes place. However, the deliberate emphasis is to provide the reader with an account of quantitative and qualitative approaches to regional economic analysis and of old and new strategic frameworks for formulating regional economic development planning.
Regional Analysis and Policy : The Greek Experience
Regional development is attracting the attention of policy makers and scientists again, as regions, urban centers and rural areas, experience substantial pressures, particularly in Europe, as a consequence of globalization and geopolitical changes which lead to changes in spatial structures and dynamics. This book is based on the contributions of Greek regional science research presented at the 2006 Congress of the European Regional Science Association at Volos, Greece. The contributions selected to be presented in this book address these changes offering a fresh look into regional development. They provide an overview of regional development concerns from Greek regional scientists but the issues discussed pervade Greek particularities and stimulate thinking about regional science, regional development and regional policy in the early twenty-first century.
