Page 107
Page 107
Generating hardware assertion checkers : For hardware verification, emulation, post-fabrication debugging and on-line monitoring
This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides a unique and consistent perspective on employing assertions in major areas, such as: specification, verification, debugging, on-line monitoring and design quality improvement.
Generalized Plasticity
The book is divided into five major parts: 1. Yield function and choice; 2. Constitutive relation; 3. Slip-line Field Theory for plane strain problems, Characteristics Field Theory for plane stress problems and Characteristics Field Theory for spatial axisymmetrical problems; 4. Plastic zone analysis at crack tip and fracture criterion for mixed mode crack; 5. Limit loads and shakedown loads for pressure vessel. Examples of applications and problems are given for most chapters.
Generalized Convexity, Generalized Monotonicity and Applications ; Proceedings of the 7th International Symposium on Generalized Convexity and Generalized Monotonicity
This volume contains a collection of refereed articles on generalized convexity and generalized monotonicity. The first part of the book contains invited papers with applications of (generalized) convexity to such diverse fields as algebraic dynamics of the Gamma function values, discrete optimization, Lipschitzian stability of parametric constraint systems, and monotonicity of functions. The second part contains contributions presenting the latest developments in generalized convexity and generalized monotonicity: its connections with discrete and with continuous optimization, multiobjective optimization, fractional programming, nonsmooth Aanalysis, variational inequalities, and its applications to concrete problems such as finding equilibrium prices in mathematical economics, or hydrothermal scheduling.
Generalized collocations methods : Solutions to nonlinear problems
This book examines various mathematical tools—based on generalized collocation methods—to solve nonlinear problems related to partial differential and integro-differential equations. Covered are specific problems and models related to vehicular traffic flow, population dynamics, wave phenomena, heat convection and diffusion, transport phenomena, and pollution. Based on a unified approach combining modeling, mathematical methods, and scientific computation, each chapter begins with several examples and problems solved by computational methods; full details of the solution techniques used are given. The last section of each chapter provides problems and exercises giving readers the opportunity to practice using the mathematical tools already presented.
Generalized Bounds for Convex Multistage Stochastic Programs
The auther was involved in several industry projects in the field of power management, on the occasion of which I was repeatedly c- fronted with complex decision problems under uncertainty. Although usually hard to solve, I quickly learned to appreciate the benefit of stochastic progr- ming models and developed a strong interest in their theoretical properties. Motivated both by practical questions and theoretical concerns, I became p- ticularly interested in the art of finding tight bounds on the optimal value of a given model. The present work attempts to make a contribution to this important branch of stochastic optimization theory. In particular, it aims at extending some classical bounding methods to broader problem classes of practical relevance.
General ultrasound in the critically ill
General ultrasound in the critically ill describes a bedside tool destined for use by the intensivist and any physician involved in emergencies. It specifically deals with findings of immediate clinical relevance throughout the body. New emergency applications of ultrasound in the abdomen, the vessels, the head and the heart are considered. The major topic, the lung, is extensively discussed. Interventional ultrasound forms part of nearly every chapter. Flow charts simplify daily concerns: acute dyspnea, shock, unexplained fever, etc. The strong points and pitfalls of ultrasound are reviewed. Technical notes are mingled with general considerations. Benefiting from the extensive experience of an intensivist intimately familiar with ultrasound, this book accurately answers most daily problems arising in the critically ill. it offers not only an exhaustive atlas but also a permanent aid to the therapeutic decision. All in all, General ultrasound in the critically ill provides a key for practicing a kind of visual medicine. Since 1990 Daniel Lichtenstein has been an intensivist in a medical ICU which already occupied a pioneering place in echocardiography. He has from the beginning devoted his efforts to the development of general ultrasound. He regularly publishes studies on lung ultrasound, his main topic, in the international literature.
General Relativity
this book is a short and concise exposition of the central ideas of general relativity. Although the original audience was made up of mathematics students, the focus is on the chain of reasoning that leads to the relativistic theory from the analysis of distance and time measurements in the presence of gravity, rather than on the underlying mathematical structure. The geometric ideas - which are central to the understanding of the nature of gravity - are introduced in parallel with the development of the theory, the emphasis being on laying bare how one is led to pseudo-Riemannian geometry through a natural process of reconciliation of special relativity with the equivalence principle.
General Relativity
This book offers an alternative to other textbooks on the subject, providing a more specific discussion of numerous general relativistic effects for readers who have knowledge of classical mechanics and electrodynamics, including special relativity. Coverage includes gravitational lensing, signal retardation in the gravitational field of the Sun, the Reissner-Nordström solution, selected spin effects, the resonance transformation of an electromagnetic wave into a gravitational one, and the entropy and temperature of black holes. The book includes numerous problems at various levels of difficulty, making it ideal also for independent study by a broad readership of advanced students and researchers.
General principles of law : the role of the judiciary
Examines the role played by domestic and international judges in the “flexibilization” of legal systems through general principles. It features revised papers that were presented at the Annual Conference of the European-American Consortium for Legal Education, held at the University of Parma.The second section contains studies on the role of general principles in selected legal systems, including International Law, European Union Law as well as Common Law systems.
General Equilibrium and Welfare Economics : An Introduction
A good basic understanding of general equilibrium theory is a fundamental and indispensable background for advanced work in virtually any sub-field of economics; and a thorough understanding of the methods of welfare economics, particularly in a general equilibrium context, is indispensable for investigators undertaking applied policy analysis. This book addresses these needs and requirements by emphasizing the basic underpinnings of general equilibrium and welfare economics. In particular, the theory of choice, which is fundamental to both areas, is developed in a very comprehensive and rigorous fashion. Moreover, extensive use is made of examples, both of the simple type intended to bolster the student’s understanding of the basic concepts, and those illustrating the application of the material to field areas in economics.
Gene Therapy for Cancer
The possibility of treating cancer, a disease defined by genetic defects, by introducing genes targeting these very alterations has led to an immense interest in gene therapy for cancer. Although incremental successes have been realized, enthusiasm for gene therapy has declined due to an increasing number of obstacles. These obstacles include vector systems that do not reach systemic metastases, therapeutic genes with redundant mec- nisms allowing for cellular resistance, and toxicities in clinical trials leading to premature closure of these studies. Different tactics to overcome or circumvent these obstacles have catalyzed the development of a wide range of gene therapy approaches. Thus far, almost two-thirds of gene therapy trials have focused on cancer. This reflects the concept that gene therapy approaches for the treatment of cancer do not necessarily require long-term expression of the gene as is necessary for the treatment of primary genetic defects like hemophilia or juvenile diabetes.
Gene Therapy and Gene Delivery Systems
Advances in Biochemical Engineering/Biotechnology reviews actual trends in modern biotechnology. Its aim is to cover all aspects of this interdisciplinary technology where knowledge, methods and expertise are required for chemistry, biochemistry, micro-biology, genetics, chemical engineering and computer science
Gene Expression Programming : Mathematical Modeling by an Artificial Intelligence
This monograph provides all the implementation details of GEP so that anyone with elementary programming skills will be able to implement it themselves. The book also includes a self-contained introduction to this new exciting field of computational intelligence, including several new algorithms for decision tree induction, data mining, classifier systems, function finding, polynomial induction, times series prediction, evolution of linking functions, automatically defined functions, parameter optimization, logic synthesis, combinatorial optimization, and complete neural network induction. The book also discusses some important and controversial evolutionary topics that might be refreshing to both evolutionary computer scientists and biologists.
Gene Expression and Regulation
This book offers a comprehensive look into the science of gene expression and regulation. Focusing on topics such as actions of nuclear receptors, RNA processing, and DNA methylation and imprinting, Gene Expression and Regulation is edited by a leading biologist and includes contributions by experts in the field. Presented in the following five sections, this book covers a full spectrum of topics: The History; The Machinery; The Regulators; The Genome; and Special Topics. The Machinery section covers the transcriptional apparatus and general transcription factors. The Regulators section examines selected gene-specific transcription factors important to regulating gene expression. The Genome section covers issues relevant to the behavior of the genome in relation to gene regulation. The Special Topics section discusses several selected topics ranging from bacterial and plant gene expression to DNA topology and interference RNA. The book’s focus is on scientific concepts and issues, rather than specific organisms or experimental approaches.
Gene drives at tipping points : Precautionary technology assessment and governance of new approaches to genetically modify animal and plant populations
This book reports on a pilot project aiming at collecting information on the socio-ecological risks that could arise in the event of an uncontrolled spread of genetically engineered organisms into the environment. The researchers will, for instance, be taking a closer look at genetically engineered oilseed rape, genetically engineered olive flies as well as plants and animals with so-called gene drives. The book mainly adresses researchers.
Gene delivery systems development and applications
Covers the development of gene therapy today, the technology involved, clinical applications of siRNA, non-viral vector-based mRNA delivery using nanotechnology, and RNA based vaccines for treating the infectious diseases. It also presents the current application of the CRISPR/Cas9 gene-editing technique which has revolutionized genome editing and which was awarded the 2020 Nobel Prize in Chemistry. Several new drug delivery systems are explored for the applications of gene therapy. These are found to be useful in treating chronic illnesses, including cancer and infectious diseases.
Gene delivery systems : nano delivery technologies
Gene therapy involves altering the genes in the body's cells in an effort to treat or stop disease, instead of using drugs or surgery. This book discusses the development of gene therapy today, from the technology involved to gene correction and the advances in genome editing.
Gender Innovation and Migration in Switzerland
This book analyses migration and its relation to socio-political transformation in Switzerland. It addresses how migration has made new forms of life possible and shows how this process generated gender innovation in different fields: the changing division of work, the establishment of a nursery infrastructure, access to higher education for women, and the struggle for female suffrage. Seeing society through the lens of migration alters the perspective from which our past and thus our present is told—and our future imagined.
Gender Equality Programmers in Higher Education : International Perspectives
For the last twenty years gender equality has been on the agenda of national higher education policies both within Europe and beyond it.the authors of this book analyse under which circumstances equality programmes are successful. In order to develop a deeper understanding of the mechanisms of and barriers to gender equality in higher education this book presents comparative studies and research focusing on the development of gender equality policies in different countries, as well as studies on the conditions for implementing policies, changes in strategies and the evaluation of gender equality programmes.
Gender Differences in Computer and Information Literacy : An In-depth Analysis of Data from ICILS
When computer technology was first introduced in schools, there was a prevailing belief that information and communication technologies were ‘boys’ toys’; boys were assumed to have more positive attitudes toward using computer technologies. As computer technologies have become more established throughout societies, gender gaps in students’ computer and information literacy appear to be closing, although studies into gender differences remain sparse.
