الصفحة 15
الصفحة 15
SAT 2005 ; Satisfiability Research in the Year 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. The core of many reasoning problems in automated deduction are propositional. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. In 1957, Allen Newell and Herb Simon introduced the Logic Theory Machine to prove propositional theorems from Whitehead and Russel's "Principia mathematica".
Sarcomas of bone and soft tissues in children and adolescents
This book is a comprehensive and up-to-date compendium on all aspects of sarcomas of bone and soft tissues in childhood and adolescence. After introductory chapters on the history, epidemiology, and biology of pediatric sarcomas, treatment considerations are extensively reviewed, with emphasis on the use of risk-adjusted treatment approaches. The pathology and biology of this diverse group of tumors are extensively reviewed. Promising new treatment approaches are discussed, and strategies for the development of new agents are appraised. The major common pediatric sarcomas, including osteosarcoma, Ewing sarcoma, rhabdomyosarcoma and non-rhabdomyosarcoma soft tissue sarcoma, are covered in detail. The authors are internationally recognized experts who offer a largely evidence-based consensus on etiology, biology, and treatment.
Russian Planetary Exploration : History, Development, Legacy, Prospects
This book will assess the scientific haul of data from the Venus and Mars missions and look at the engineering approaches. The USSR developed several generations of planetary probes: from MV and Zond to the Phobos type.
Russian Models from the Mechanisms Collection of Bauman University
The subject material of this book is largely unknown, but of great interest to engineers and scientists, mechanics, and historians of technology. The book also contains information about the history of Bauman university, the TMM department and the Russian specialists who created the collection to give a complete overview of this unique collection and the history of its creation.
Ruggiero Boscovich’s Theory of Natural Philosophy : Points, Distances, Determinations
Drawing on published works, correspondence and manuscripts, this book offers the most comprehensive reconstruction of Boscovich’s theory within its historical context. It explains the genesis and theoretical as well as epistemological underpinnings in light of the Jesuit tradition to which Boscovich belonged, and contrasts his ideas with those of Newton, Leibniz, and their legacy. Finally, it debates crucial issues in early-modern physical science such as the concept of force, the particle-like structure of matter, the idea of material points and the notion of continuity, and shares novel insights on Boscovich’s alleged influence on later developments in physics.
Root resorption : Pathophysiology & Management
Root resorption is a clinical condition whereby the mineralized tissues of the root are lost, mainly as an immunological response due to various factors. Root resorption has been a perplexing clinical condition for dental practitioners as it has a broad range of clinical manifestation with varied severity and also due to the associated diagnostic dilemma. Early detection is essential for successful management and outcome of root resorption. Root resorptions have several local and systemic predisposing factors. Hence, patients with a history of one or more predisposing factors should be monitored closely for initial signs of root resorption.
Roman architecture
Arranged logically in six historical sections interspersed with material on Roman architects and their techniques, the building types found in Roman cities and the different buildings found in the Roman provinces, this volume now contains the latest insights into Roman architecture and takes account of the past 20 years of scholarship. This seminal work covers the architecture of the Republic, the Age of Augustus, the imperial period, Pompeii and Ostia, the eastern and western empire, and the Late Antique period, exploring subjects such as patronage, building techniques and materials, Roman engineering, town planning and imperial propaganda in a concise and readable way.
Rocket and Spacecraft Propulsion : Principles, Practice and New Developments
The revised edition of this practical, hands-on book discusses the range of launch vehicles in use today throughout the world, and includes the very latest details of some of the advanced propulsion systems currently being developed. The author covers the fundamentals of the subject, from the basic principles of rocket propulsion and vehicle dynamics through the theory and practice of liquid and solid propellant motors, to new and future developments.
Robotic Exploration of the Solar System ; Part I : The Golden Age 1957-1982
Paolo Ulivi and David Harland provide in Robotic Exploration of the Solar System a detailed history of unmanned missions of exploration of our Solar System. The book will be comprehensive, covering missions and results from the 1950s until the present day, and some of the latest missions and their results will appear in a popular science book for the first time. The authors will also cover many unflown missions, providing an indication of the ideas that proved to be unfulfilled at the time but which may still be proven and useful in the future. The project will deliver three volumes totaling over 1000 pages, providing comprehensive coverage of the topic.
RNA, the epicenter of genetic information : a new understanding of molecular biology
Chronicles the muddled history of molecular biology. The complexity of animal and plant genomes and early conceptual triumphs further complicate this record. Key personalities, their hubris and prescient predictions are illustrated with quotes, archival material, photographs and diagrams to bring people, ideas and discoveries to life
Risk Prevention in Ophthalmology
TOPICS COVERED: Causes of litigation. Poor communication. Cataract surgery. Retinal detachment. Prescribing and drugs. Glaucoma. Trauma and Intraocular foreign bodies. Medical retina. Retinopathy of prematurity. Anesthesia. Oculoplastic. Strabismus. Tumors. Neuro-ophthalmology. Why patients sue. The four most effective risk prevention techniques. Identifying and managing the litigious patient. Natural history of a medical malpractice claim. Hiring your own attorney. Selection of an expert witness. Discovery. Interrogatories. Examination before trial (deposition). Consideration of settlement. Trial testimony and courtroom behavior. Damages w Appeal.
Risk assessment : Theory, methods, and applications
The book begins with an introduction of risk analysis, assessment, and management, and includes a new section on the history of risk analysis. It covers hazards and threats, how to measure and evaluate risk, and risk management. It also adds new sections on risk governance and risk-informed decision making; combining accident theories and criteria for evaluating data sources; and subjective probabilities. The risk assessment process is covered, as are how to establish context; planning and preparing; and identification, analysis, and evaluation of risk. Risk Assessment also offers new coverage of safe job analysis and semi-quantitative methods, and it discusses barrier management and HRA methods for offshore application. Finally, it looks at dynamic risk analysis, security and life-cycle use of risk.
Rise of the Self-Replicators : Early Visions of Machines, AI and Robots That Can Reproduce and Evolve
Provides a chronological survey and comprehensive archive of the early history of thought about machine self-reproduction and evolution. They discuss contributions from philosophy, science fiction, science and engineering, and uncover many examples that have never been discussed in the Artificial Intelligence and Artificial Life literature before now. In the final chapter they provide a synthesis of the concepts discussed, offer their views on the field’s future directions, and call for a broad community discussion about the significant implications of intelligent evolving machines.
Rheology Essentials of Cosmetic and Food Emulsions
Beginning with a brief history of rheology and some fundamental principles, the manual describes in detail the use of modern viscometers and rheometers, including concise explanations of the different available instruments. But the focus remains on practical everyday lab procedures: how to characterize cosmetic and food emulsions with different rheological tests such as temperature, time, stress and strain, both static and dynamic. Also the critical topic of how the results correlate with other important product characteristics, for instance, skin sensation, pumping performance, stability etc. is carefully explored. Many pictures, illustrations, graphs and tables help readers new to the measurement of cosmetic emulsions in their daily work as well as to the more experienced who seek additional special tips and tricks.
Revisiting Migrant Networks : Migrants and their Descendants in Labour Markets
This book provides new conceptualisations on the networks of migrants and their descendants in accessing the labour market. Although references to social networks are common in discussions of migration, simplified ideas of co-ethnic networks often obscure the reality, for example confounding ties with co-ethnics and ‘strong ties’. This book addresses key questions about the role of networks in migration contexts, particularly in relation to how migrants and their descendants, access the labour market and develop their employment trajectories over time. Rather than adopting a narrow essentializing ethnic lens, the research presented in this book explores intersectional identities of class, generation and gender.
Revisiting Discovery and Justification : Historical and philosophical perspectives on the context distinction
The contributions to this volume provide close readings and detailed analyses of the original textual sources for the context distinction. They revise those accounts of ‘forerunners’ of the distinction that have been written through the lens of Logical Empiricism. They map, clarify, and analyse the derivations and mutations of the context distinctions as we encounter them in current history and philosophy of science. The re-evaluation of the distinction helps us deal with the philosophical challenges that the New Experimentalism and historically, socio-politically and economically oriented science studies have placed before us. This volume thus clears the ground for the productive and fruitful integration of these new developments into philosophy of science.
Revaluing modern architecture : Changing conservation culture
Presenting a clear line of sight through these complex questions, this book explores the conservation, regeneration and adaptive re-use of Modern architecture. It provides a general grounding in the field, its recent history and current development, including chapters on authenticity, charters, listing and protection. Case studies drawing on the author’s extensive practical experience offer valuable lessons learnt in the conservation of Modern heritage buildings.
Rethinking Scientific Change and Theory Comparison : Stabilities, Ruptures, Incommensurabilities?
The volume is a collection of essays devoted to the analysis of scientific change and stability. It explores the balance and tension that exists between commensurability and continuity on the one hand, and incommensurability and discontinuity on the other. And it discusses some central epistemological consequences regarding the nature of scientific progress, rationality and realism. In relation to these topics, it investigates a number of new avenues and revisits some familiar issues, with a focus on the history and philosophy of physics, and an emphasis on developments in cognitive sciences as well as on the claims of "new experimentalists".
Resilient urban futures
This book addresses the way in which urban and urbanizing regions profoundly impact and are impacted by climate change. The editors and authors show why cities must wage simultaneous battles to curb global climate change trends while adapting and transforming to address local climate impacts. This book addresses how cities develop anticipatory and long-range planning capacities for more resilient futures, earnest collaboration across disciplines, and radical reconfigurations of the power regimes that have institutionalized the disenfranchisement of minority groups.
Research on teaching and learning probability
This book summarizes the vast amount of research related to teaching and learning probability that has been conducted for more than 50 years in a variety of disciplines. It begins with a synthesis of the most important probability interpretations throughout history: intuitive, classical, frequentist, subjective, logical propensity and axiomatic views. It discusses their possible applications, philosophical problems, as well as their potential and the level of interest they enjoy at different educational levels. Next, the book describes the main features of probabilistic thinking and reasoning, including the contrast to classical logic, probability language features, the role of intuitions, as well as paradoxes and the relevance of modeling. It presents an analysis of the differences between conditioning and causation, the variability expression in data as a sum of random and causal variations, as well as those of probabilistic versus statistical thinking.
