الصفحة 4
الصفحة 4
M-Solid Varieties of Algebras
It provides a complete and systematic introduction to the fundamentals of the hyperequational theory of universal algebra, offering the newest results on M-solid varieties of semirings and semigroups. The book aims to develop the theory of M-solid varieties as a system of mathematical discourse that is applicable in several concrete situations. It applies the general theory to two classes of algebraic structures, semigroups and semirings. Both these varieties and their subvarieties play an important role in computer science.
Mr Hopkins Men : Cambridge Reform and British Mathematics in the 19th Century
Tells the story of Hopkins and the education and subsequent careers of his top "wranglers", many of whom went on to have illustrious careers as bishops, judges, politicians, scientists or educators. It draws on first-hand accounts of life at Cambridge to give the reader a glimpse inside its colleges, and it charts the evolution of the curriculum and the slow, often reluctant, reforms that led to Cambridge’s dominance of British higher education. It surveys the scientific achievements of the time and considers the disproportionate contributions made by Scottish and Irish alumni in establishing a research community. Gradually, Cambridge was transformed from a near-moribund institution into a world-renowned centre for the mathematical and physical sciences.
Mouse controller using electroencephalography (EEG) device
The growing technologies related to neuroscience has to lead many innovative applications, most importantly Electroencephalography, or EEG for short. This field of study has become recently a trend that many companies around the world have started to enter the race of conquering the brain and controlling everything from a mouse controller to the whole human body. This project aims to help disabled people use a computer with ease and simplicity without needing to use their hands, or anything really, which they can achieve by wearing a headset or get someone to put it on them. The headset is designed to read brain activities and send it to a computer program to understand where the user wants to move the mouse cursor on the computer screen using an Artificial Intelligence model. This project helps further researches in this field which pushes the technology even further from where it is now. The device designed for this project can be repurposed pretty easily to serve many different applications other than controlling a mouse.
Molecular Mechanisms of Parasite Invasion
All of the parasitic organisms highlighted in this new book represent medically important human pathogens that contribute significantly to the global burden of disease. As such there is intense interest in understanding the molecular basis of infection by these pathogens—not only with regard to their clinical relevance but also the fascinating biology they reveal. For most of the parasites discussed here the ability to penetrate biological barriers and/or to establish intracellular residence is critical to survival of the pathogen in the mammalian hosts. For other parasites, a tissue invasive phenotype is a key virulence determinant. In the ensuing 18 chapters, select members of this diverse set of protozoan parasites, as well as some examples of the extremely reduced fungal parasites classified as Microsporidia, are discussed within the context of the fascinating molecular strategies employed by these organisms to migrate across biological barriers and to establish residence within target host cells.
Molecular Materials with Specific Interactions - Modeling and Design
One of the first requirements to initiate the molecular modeling of molecular materials is an accurate and realistic description of the electronic structure, intermolecular interactions and chemical reactions at microscopic and macroscopic scale. Therefore the first four chapters contain an extensive introduction into the latest theories of intermolecular interactions, functional density techniques, microscopic and mezoscopic modeling techniques as well as first-principle molecular dynamics.In the following chapters, techniques bridging microscopic and mezoscopic modeling scales are presented. The authors then illustrate various successful applications of molecular design of new materials, drugs, biocatalysts, etc. before presenting challenging topics in molecular materials design.
Molecular Genetic Pathology
Molecular Genetic Pathology presents up-to-date material containing fundamental information relevant to the clinical practice of molecular genetic pathology.
Molecular Biomethods Handbook
Recent advances in the biosciences have led to a range of powerful new technologies, particularly nucleic acid, protein and cell-based methodologies. The most recent insights have come to affect how scientists investigate and define cellular processes at the molecular level. Molecular Biomethods Handbook, 2nd Edition expands upon the techniques included in the first edition, providing theory, outlines of practical procedures, and applications for a range of techniques. Part A of the book describes nucleic acid methods, such as gene expression profiling, microarray analysis and quantitative PCR. In Part B, protein and cell-based methods are outlined, in subjects ranging from protein engineering to high throughput screening. Written by a well-established panel of research scientists, Molecular Biomethods Handbook, 2nd Edition provides an up-to-date collection of methods used regularly in the authors’ own research programs.
Molecular Biology of the Parathyroid
Caintaining extracellular calcium concentrations within a narrow range is critical for the survival of most vertebrates. PTH, together with vitamin D, responds to hypocalcemia to increase extracellu M lar calcium levels, by acting on bone, kidney and intestine. The recent intro duction of PTH as a major therapeutic agent in osteoporosis has directed renewed interest in this important hormone and in the physiology of the parathyroid gland. The parathyroid is unique in that low serum calcium stimulates PTH secretion. As hypocalcemia persists, there is also an increase in PTH synthesis. Chronic hypocalcemia leads to hypertrophy and hyper plasia of the parathyroid gland together with increased production of the hormone. Phosphate is also a key modulator of PTH secretion, gene expres sion and parathyroid cell proliferation. Understanding the biology of the parathyroid as well as the mecha nisms of associated diseases has taken great strides in recent years. This book summarizes the molecular mechanisms involved in the function of the para thyroid gland. The first chapter reviews the development of the parathyroid gland and the genes involved in this process as identified using genetically manipulated mice. Then the biosynthetic pathway of PTH from gene ex pression to its intracellular processing and the sequences in the gene control ling its transcription as well as those regulating mRNA processing, stability and translation are described.
Molecular Biology of Human Cancers: An Advanced Student's Textbook
Presents many of the molecules and mechanisms generally important in human cancers. Following an overview on the cancer problem, individual chapters deal with cancer genetics and epigenetics, DNA damage and repair, oncogenes, tumor suppressors, regulatory pathways in cancer, apoptosis, cellular senescence, tumor invasion, and metastasis. A consensus is emerging that while these common mechanisms and molecules are all relevant to human cancers, in each cancer type (or even subtype) a selection of them are extremely important. For selected cancers, the route from genetic and epigenetic changes to their biological and clinical behavior can already be traced. Part II of the book presents a broad, but exemplary selection of cancers that serve as paradigms to illustrate this point. In fact, cancer research has now reached a critical stage, in which the accumulated knowledge on molecular mechanisms is gradually translated into improved prevention, diagnosis, and treatment. The state, pitfalls, and potential of these efforts are summarized in Part III. More than ever, cancer research is now an interdisciplinary effort which requires a basic knowledge of commonly used terms, facts, issues, and concepts. The aim of this book is to provide advanced students and practitioners of different disciplines with this basis, bridging the gap between standard textbooks of molecular biology, pathology, and oncology on the one hand and the specialized cancer literature on the other.
Molecular Basis of Thyroid Cancer
Molecular Basis of thyroid Cancer brings together top-flight experts from across the globe to consider present state of the art treatment and techniques and what the future holds. The product of this effort is invaluable to endocrinologists, particularly those with an interest in the thyroid, molecular oncologists, nuclear medicine physicians and those in biotechnology intent on devising innovative therapies for cancer. "Significant advances in our understanding of thyroid cancer have occurred over the previous decade. This text discusses the molecular alterations and pathologic manifestations seen in this disease. Distinguished investigators address both the basic biology and clinical issues pertinent to our understanding and management of patients with thyroid cancer."
Molecular advances in dental pulp tissue engineering
Recent advances in regenerative medicine and tissue engineering aim to restore the dentin–pulp complex using stem cells, growth factors and tailored scaffolds to achieve biological regeneration within the root canal. This Special Issue highlights scientific advances in pulp regeneration, bridging the gap between research and clinical application.
Modern Testing Techniques for Structural Systems : Dynamics and Control
The articles in this book describe new developments in the area of structural testing, particularly those based upon the principle of fusing numerical and experimental methods such as real-time dynamic substructuring and hardware-in-the loop testing. In addition to the hybrid methods, chapters on the latest develoments in more established techniques, such as shaking table testing, provide a completely up-to-date survey of structural testing methods.
Modern Sliding Mode Control Theory : New Perspectives and Applications
This book is a collection of invited chapters covering several areas of modern sliding mode control theory. The authors identify key contributions defining the theoretical and applicative state of the art of the sliding mode control theory and the most promising trends of the ongoing research activities. The contributions is divided in four main parts: Part I: Basic Theory. Part II: Design Methods. Part III: Observers and Fault Detection. Part IV: Applications.
Modern Meteor Science : An Interdisciplinary View
"During the past half century meteor research has evolved into a comprehensive multidisciplinary science … . New findings are flowing from the ever-broadening range of investigative techniques that are being employed to great effect by the contributors to this book. This comprehensive overview of leading edge research by well over one hundred authors is an essential resource volume for scientists and engineers conducting studies and exploration of the solar system. It demands a place in the libraries supporting their activities.
Modelling and Analysis of Hybrid Supervisory Systems : A Petri Net Approach
Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential equation systems and object-oriented methods; a formalism that is adequate for modelling complex and large-scale systems. To guide the designer and conduct hybrid modelling, the book describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The method is mainly based on Unified Modelling Language diagrams, well-known tools in both academia and industry. In order to ensure that the supervisory system will behave as expected under any operational circumstances, a validation procedure that allows verification of the formal properties of the hybrid model is presented.
Modeling Solid Oxide Fuel Cells : Methods, Procedures and Techniques
The volume is structured in two parts. Part one presents the basic theory, and the general equations describing SOFC operation phenomena. Part two deals with the application of the theory to practical examples, where different SOFC geometries, configurations (from single cells to hybrid systems), operating conditions (steady-state and dynamic), and different phenomena (e.g. performance, temperature and chemical species, and mechanical stress distribution) are analyzed in detail.
Modeling and simulation of complex communication networks
Covers important topics and approaches related to the modeling and simulation of complex communication networks from a complex adaptive systems perspective. The authors present different modeling paradigms and approaches as well as surveys and case studies. Modern network systems such as Internet of Things, Smart Grid, VoIP traffic, Peer-to-Peer protocol, and social networks, are inherently complex. They require powerful and realistic models and tools not only for analysis and simulation but also for prediction. With contributions from an international panel of experts, this book is essential reading for networking, computing, and communications professionals, researchers and engineers in the field of next generation networks and complex information and communication systems, and academics and advanced students working in these fields.
Model-Based Testing of Reactive Systems : Advanced Lectures
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
Model tests and numerical simulations of liquefaction and lateral spreading ; LEAP-UCD-2017
This book presents work collected through the Liquefaction Experiments and Analysis Projects (LEAP) in 2017. It addresses the repeatability, variability, and sensitivity of lateral spreading observed in twenty-four centrifuge model tests on mildly sloping liquefiable sand.
Model Driven Engineering Languages and Systems ; Vol. 4199 ; 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MoDELS 2006, held in Genova, Italy, in October 2006. The 51 revised full papers and 2 invited papers presented were carefully reviewed and selected from 178 initial submissions. The papers are organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, analyzing dynamic models, specifying transformations, MOF, bridging models, risk, trust and dependability, tool environments, OCL, roundtrip engineering, real time and embedded systems, as well as workshops, tutorials and panels.
