Page 50
Page 50
Generative and transformational techniques in software engineering ; International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2005. The book comprises 7 tutorial lectures presented together with 8 technology presentations and 6 contributions to the participants workshop.
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 Curvatures
The central object of this book is the measure of geometric quantities describing N a subset of the Euclidean space (E ,), endowed with its standard scalar product. Let us state precisely what we mean by a geometric quantity. Consider a subset N S of points of the N-dimensional Euclidean space E , endowed with its standard N scalar product. LetG be the group of rigid motions of E . We say that a 0 quantity Q(S) associated toS is geometric with respect toG if the corresponding 0 quantity Q[g(S)] associated to g(S) equals Q(S), for all g?G . For instance, the 0 diameter ofS and the area of the convex hull ofS are quantities geometric with respect toG . But the distance from the origin O to the closest point ofS is not, 0 since it is not invariant under translations ofS. It is important to point out that the property of being geometric depends on the chosen group. For instance, ifG is the 1 N group of projective transformations of E , then the property ofS being a circle is geometric forG but not forG , while the property of being a conic or a straight 0 1 line is geometric for bothG andG . This point of view may be generalized to any 0 1 subsetS of any vector space E endowed with a groupG acting on it.
General Methods and Overviews, Lung Carcinoma and Prostate Carcinoma
This is the first book that discusses the subjects of diagnosis, therapy, therapy assessment, and prognosis of lung and prostate cancer in one single volume. This second volume in the series Methods of Cancer Diagnosis, Therapy and Prognosis presents a comprehensive treatise on all aspects of Lung and Prostate cancer, including diagnosis, treatments and prognosis.
General Concepts in Integrated Pest and Disease Management
The first volume of the Integrated Management of Plant Pests and Diseases book series presents general concepts on integrated pest and disease management, organized in three sections. Section one (modeling, management, environment) includes chapters on infection models, resurgence and replacement. The second section (emerging technologies) includes remote sensing and information technology. In the third section (molecular aspects) the management of insect-borne viruses with transmission interference.
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 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.
Gender, Health and Ageing : European Perspectives on Life Course, Health Issues and Social Challenges
The objective of this book is to provide an overview of gender, health and ageing. Important theoretical concepts, such as life course and "Lebenslagen" in old age, or differences in men's health, are introduced. It is increasingly important to build a European basis of knowledge, to conduct discussions on European research findings, and to develop European research frameworks. In this volume, central theoretical debates on gender impacts on life course and old-age health, and vital issues of health research in the context of gender and old age are introduced. Specific aspects, such as the impact of gender and age on cardiovascular health, elder abuse and mental health, or care between gender relations, gender roles and gender constructs, are pointed out.
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 Designs IT : Construction and Deconstruction of Information Society Technology
The book not only offers a gender analysis of information society technologies, it also shows practical examples of how IT can be different. A gender perspective on IT design can serve as an eye-opener for what tends to be overlooked and left out. It yields innovative ideas and high quality software systems that may empower a large diversity of users for an active participation in our information society.
Gas Adsorption Equilibria : Experimental Methods and Adsorptive Isotherms
This book is intended to present for the first time experimental methods to measure equilibria states of pure and mixed gases being adsorbed on the surface of solid materials. It has been written for engineers and scientists from industry and academia who are interested in adsorption-based gas separation processes and/or in using gas adsorption for characterization of the porosity of solid materials.Special emphasis is given to uncertainties of data and pros and cons of all measurement methods are offered.
Gaming, simulations and society : Research scope and perspective
The Japan Association of Simulation & Gaming (JASAG) and the Science Council of Japan (SCJ) hosted ISAGA 2003, the 34th annual conference of the International Simulation and Gaming Association (ISAGA), at Kazusa Akademia Park in Kisarazu, Japan,August 25–29, 2003. About 450 participants and guests attended,with 330 from Japan and 101 from 34 other countries. The number of submitted papers and reports exceeded 210, and in addition, many poster presentations and experiential sessions were held. This book is made up of 30 papers submitted to ISAGA 2003 and provides a good example of the diverse scope and standard of research achieved in simu- tion and gaming today.The theme of ISAGA 2003 was “Social Contributions and Responsibilities of Simulation and Gaming.”
Games Without Frontiers? : Socio-historical Perspectives at the Gaming/Gambling Intersection
This book focuses on how and why digital games and gambling are increasingly intertwined and asks “does this matter?” Looking at how “loot boxes” became the poster child for the convergence of gambling and gaming, Wardle traces how we got here. She argues that the intersection between gambling and gaming cultures has a long lineage, one that can be traced back throughout the 20th century but also incorporates more recent trends like the poker boom of the 1990s, the development of social media gambling products and the development of skin betting markets.
Game Theory and Mutual Misunderstanding : Scientific Dialogues in Five Acts
This book consists of five acts and two interludes, which are all written as dialogues between three main characters and other supporting characters. Each act discusses the epistemological, institutional and methodological foundations of game theory and economics, while using various stories and examples. A featured aspect of those discussions is that many forms of mutual misunderstanding are involved in social situations as well as in those fields themselves. One Japanese traditional comic story called the Konnyaku Mondo is representative and gives hints of how our thought is constrained by incorrect beliefs. Each dialogue critically examines extant theories and common misunderstanding in game theory and economics in order to find possible future developments of those fields.
Game Theory : Decisions, Interaction and Evolution
This introduction to game theory is written from a mathematical perspective. Its primary purpose is to be a first course for undergraduate students of mathematics, but it also contains material which will be of interest to advanced students or researchers in biology and economics.An understanding of basic calculus and probability is assumed but no prior knowledge of game theory is required. Detailed solutions are provided for the numerous exercises.
Gambling Problems in Youth : Theoretical and Applied Perspectives
Howard J. Shaffer, Ph. D. More than 20 years ago, I first noted that young people in North America were growing up in a context of legalized gambling for their entire lifetime. By the 1980s, for young people, gambling had become an average and expectable part of the social landscape. Amid legal opportunities to gamble in all but two of the United States and with illicit opportunities to gamble in every state, gambling is now ubiquitous in America. With few social sa- tions to limit a young person’s interest in gambling—like their adult co- terparts—young people now gamble in larger numbers and for seemingly higher stakes
Gallium Nitride Electronics
Gallium Nitride Electronics covers developments in III-N semiconductor-based electronics with a focus on high-power and high-speed RF applications. Material properties of III-N semiconductors and substrates; the state-of-the-art of devices and circuits, epitaxial growth, device technology, modelling and characterization; and circuit examples are discussed. The book concludes with device reliability aspects and an overview of integration and packaging. This comprehensive monograph and tutorial is based on more than a decade of research on materials, devices, and circuits.
Galaxies and How to Observe Them
Satisfies the need for a modern, comprehensive review in combining the three major aspects: the physical background on the nature and data of galaxies, the relevant instrumentation and viewing techniques, and finally the targets and their individual appearance in telescopes of various apertures. To illustrate the latter, a comprehensive sample of galaxies, including quasars, groups and clusters of galaxies is presented. This combination of theoretical knowledge and practical information guarantees successful observing sessions. The book could become a standard source on galaxy observing for all kinds of amateur observers, from the beginner to the experienced.
Gaithers Dictionary of Scientific Quotations
Finding words of wisdom about science is now easy with Gaither's Dictionary of Scientific Quotations. Organized thematically and indexed alphabetically by author, this work makes readily available an unprecedented collection of approximately 18,000 quotations related to a broad range of scientific topics, including astronomy, biology, chemistry, engineering, and physics. The thematic organization allows you to effortlessly find a pertinent quotation from a variety of sources and perspectives.
