Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which oenothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of aEUROoecomputableaEURO moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of aEUROoecomputableaEURO . When they all turned out to be equivalent, there was a collective realization that this was indeed the oeright notion. Kleene played a key role in this process. One could say that he was oethere at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.

" High-Security Mechanical Locks " comprehensively surveys and explains the highly technical area of high security locks in a way that is accessible to a wide audience. Well over 100 different locks are presented, organized into 6 basic types. Each chapter introduces the necessary concepts in a historical perspective and further categorizes the locks. This is followed by detailed 'how it works' descriptions with many pictures, diagrams and references. The descriptions are based on actual dissections of the real locks.
The scope is limited to key operated mechanical locks, thus keyless combination locks and digital locks are not covered. The book does not deal with routine locksmithing topics such as installation and servicing of locks. The sensitive area of picking and bypassing of locks is dealt with only at a high level without giving detailed information that would be unacceptable in the wrong hands.
* Comprehensive coverage of over 100 different types of 19th and 20th century key-operated locks, unified in a simple classification scheme
* Detailed operating principles - clear 'how it works' descriptions
* Manipulation resistance rating for each lock on a scale of 1 to 5

Here it is--a collection of Forrest Mims's classic work from the original Popular Electronics magazine Using commonly available components and remarkable ingenuity, Forrest shows you how to build and experiment with circuits like these:
analog computers
color organs
digital phase-locked loops
frequency-to-voltage and voltage-to-frequency converters
interval timers
LED oscilloscopes
light wave communicators
magnetic field sensors
optoelectronics
pseudorandom number generators
tone sequencers
and much, much, more

Nutritional Biochemistry takes a scientific approach to nutrition. It covers not just "whats"--nutritional requirements--but why they are required for human health, by describing their function at the cellular and molecular level. Each case study either leads to a subsequent discovery or enables an understanding of the physiological mechanisms of action of various nutrition-related processes. The text is "picture-oriented" and the commentary is directed towards explaining graphs, figures, and tables.
Nutritional Biochemistry includes a discussion of relevant aspects of physiology, food chemistry, toxicology, pediatrics, and public health. Experimental techniques for nutritional science are emphasized, and primary data is included to help give students a feel for the nutrition literature. This "real-world" approach provides students with a realistic view of the basis for much of our understanding of nutritional biochemistry.
* Integrates biochemistry and nutrition in a case-oriented method
* Emphasizes a hands-on approach to learning - case histories and clinical and research data illustrate all major points
* Places emphasis on metabolism - metabolic pathways, enzymology, nutrient requirements (including RDA values)
* Reveals the benefits of the Mediterranean diet, the biochemistry of exercise, the cell signaling pathways, how nutrition can influence the development of cancer, and the anthropometry and genetics of obesity.

This encyclopedia contains more than 5000 integer sequences, over half of which have never before been catalogued. Because the sequences are presented in the most natural form, and arranged for easy reference, this book is easier to use than the authors earlier classic "A Handbook of Integer Sequences. The Encyclopedia gives the name, mathematical description, and citations to literature for each sequence. Following sequences of particular interest, thereare essays on their origins, uses, and connections to related sequences (all cross-referenced). A valuable new feature to this text is the inclusion of a number of interesting diagrams and illustrations related to selected sequences.
The initial chapters are both amusing and enlightening. They serve as a delightful introduction to the subject and a short course on how to identify and work with integer sequences. This encyclopedia brings Sloanes ground-breaking "Handbook up to date, more than doubling its size, and linking both the old and the new material to an extensive bibliography (over 25 pages long), of current and classic references. An index to all the sequences in the book is also available separately on disk in Macintosh and IBM formats.
Key Features
* Contains more than 5000 integer sequences
* Gives the name and mathematical description of each sequence
* Provides citations to literature for each sequence
* Extensively cross-referenced
* Lists a bibliography of more than 25 pages

In the 11 articles in this first of two parts, top scholars summarize and analyze recent scholarship incorporate finance. Covering subjects from corporate taxes to behavioral corporate finance and econometric issues, their articlesreveal how specializations resonate with each other and indicate likely directions for future research. By includingboth established and emerging topics, Volume 2 will have the same long shelf life and high citations that characterize Volume 1 (2003).
Presents coherent summaries of major finance fields, marking important advances and revisionsDescribes the best corporate finance research created about the 2008 financial crisesExposes readers to a wide range of subjects described and analyzed by the best scholars"

An expanded, up-to-date resource for students and researchers, "The Dictionary of Cell & Molecular Biology, Fifth Edition," provides clear and concise definitions needed for laboratory study. With over 12,000 entries and a breadth of terms across bioscience, including plant molecular biology, microbiology and biotechnology, this revision reflects the changes in the research over the past few years. The latest edition of "The Dictionary of Cell and Molecular Biology" maintains its outstanding reputation as an authoritative, clear, and accessible reference with short, cross-referenced definitions of important technical terminology.
Thoroughly revised and expanded by over 20% with over 12,000 entries in cellular and molecular biologyIncludes expanded coverage of terms, including plant molecular biology, microbiology and biotechnology areasConsistently provides the most complete short definitions of technical terminology for anyone working in life sciences todayFeatures extensive cross-references Provides multiple definitions, notes on word origins, and other useful features

"Advances in Imaging and Electron Physics "features cutting-edge articles on the physics of electron devices (especially semiconductor devices), particle optics at high and low energies, microlithography, image science and digital image processing, electromagnetic wave propagation, electron microscopy, and the computing methods used in all these domains.
Key features:

* Contributions from leading authorities * Informs and updates on all the latest developments in the field

This Expert Guide gives you the techniques and technologies in embedded multicore to optimally design and implement your embedded system. Written by experts with a solutions focus, this encyclopedic reference gives you an indispensable aid to tackling the day-to-day problems when building and managing multicore embedded systems.

Following an embedded system design path from start to finish, our team of experts takes you from architecture, through hardware implementation to software programming and debug.

With this book you will learn:

What motivates multicore

The architectural options and tradeoffs; when to use what

How to deal with the unique hardware challenges that multicore presents

How to manage the software infrastructure in a multicore environment

How to write effective multicore programs

How to port legacy code into a multicore system and partition legacy software

How to optimize both the system and software

The particular challenges of debugging multicore hardware and software

Examples demonstrating timeless implementation details
Proven and practical techniques reflecting the authors expertise built from years of experience and key advice on tackling critical issues"

"Pharmacogenomics: Challenges and Opportunities in Therapeutic Implementation" includes discussions and viewpoints from the academic, regulatory, pharmaceutical, clinical, socio-ethical and economic perspectives. Each chapter presents an overview of the potential or opportunity within the areas discussed and also outlines foreseeable challenges and limitations in moving pharmacogenomics into drug development and direct therapeutic applications. This edited book contains review questions for a more in-depth analysis of the implications of pharmacogenomics and discussion points to generate ideas on best to move the field forward. Clinical pearls and case studies are used to illustrate real-life experiences and both successful and unsuccessful applications. Tables, figures, and annotations are included throughout the book to facilitate understanding and further reference.
Multi-contributed book and chapters are written by contributors who are experts in their fieldProvides perspectives from those involved in all aspects of pharmacogenomics-including academic, regulatory, economic, industry and medical-to illustrate how all of the pieces fit together and where the challenges may beIncludes case studies of both successful and unsuccessful applications so readers can consider the potential and challenges in moving the science into drug development and direct therapeutic applicationsChapters contain discussion questions and clinical pearls and enable readers to reflect on how to move pharmacogenomics forward and apply these observations and useful tips to their own work and research

A companion website offers an elaboration on key points and discussion questions and provides patient case scenarios that illustrate how pharmacogenomics may be applied to a clinical setting

This book provides a careful explanation of the basic areas of electronics and computer architecture, along with lots of examples, to demonstrate the interface, sensor design, programming and microcontroller peripheral setup necessary for embedded systems development. With no need for mechanical knowledge of robots, the book starts by demonstrating how to modify a simple radio-controlled car to create a basic robot. The fundamental electronics of the MSP430 are described, along with programming details in both C and assembly language, and full explanations of ports, timing, and data acquisition. Further chapters cover inexpensive ways to perform circuit simulation and prototyping.

Key features include:

Thorough treatment of the MSP430 s architecture and functionality along with detailed application-specific guidance Programming and the use of sensor technology to build an embedded system A learn-by-doing experience

With this book you will learn:

The basic theory for electronics design

- Analog circuits

- Digital logic

- Computer arithmetic

- Microcontroller programming

How to design and build a working robotAssembly language and C programming How to develop your own high-performance embedded systems application using an on-going robotics application

Teaches how to develop your own high-performance embedded systems application using an on-going robotics application

Thorough treatment of the MSP430 s architecture and functionality along with detailed application-specific guidance.

Focuses on electronics, programming and the use of sensor technology to build an embedded system

Covers assembly language and C programming "

"Biological Research on Addiction" examines the neurobiological mechanisms of drug use and drug addiction, describing how the brain responds to addictive substances as well as how it is affected by drugs of abuse. The book's four main sections examine behavioral and molecular biology; neuroscience; genetics; and neuroimaging and neuropharmacology as they relate to the addictive process.

This volume is especially effective in presenting current knowledge on the key neurobiological and genetic elements in an individual s susceptibility to drug dependence, as well as the processes by which some individuals proceed from casual drug use to drug dependence.

"Biological Research on Addiction" is one of three volumes comprising the 2,500-page series, "Comprehensive Addictive Behaviors and Disorders." This series provides the most complete collection of current knowledge on addictive behaviors and disorders to date. In short, it is the definitive reference work on addictions.
Each article provides glossary, full references, suggested readings, and a list of web resourcesEdited and authored by the leaders in the field around the globe - the broadest, most expert coverage availableDiscusses the genetic basis of addictionCovers basic science research from a variety of animal studies"

"Principles of Addiction "provides a solid understanding of the definitional and diagnostic differences between use, abuse, and disorder. It describes in great detail the characteristics of these syndromes and various etiological models.

The book's three main sections examine the nature of addiction, including epidemiology, symptoms, and course; alcohol and drug use among adolescents and college students; and detailed descriptions of a wide variety of addictive behaviors and disorders, encompassing not only drugs and alcohol, but caffeine, food, gambling, exercise, sex, work, social networking, and many other areas.

This volume is especially important in providing a basic introduction to the field as well as an in-depth review of our current understanding of the nature and process of addictive behaviors.

"Principles of Addiction" is one of three volumes comprising the 2,500-page series, "Comprehensive Addictive Behaviors and Disorders." This series provides the most complete collection of current knowledge on addictive behaviors and disorders to date. In short, it is the definitive reference work on addictions.
Each article provides glossary, full references, suggested readings, and a list of web resourcesEdited and authored by the leaders in the field around the globe - the broadest, most expert coverage availableEncompasses types of addiction, as well as personality and environmental influences on addiction

Plasma engineering applies the unique properties of plasmas (ionized gases) to improve processes and performance over many fields, such as materials processing, spacecraft propulsion, and nanofabrication. "Plasma Engineering" considers this rapidly expanding discipline from a unified standpoint, addressing fundamentals of physics and modeling as well as new real-word applications in aerospace, nanotechnology, and bioengineering.

The book starts by reviewing plasma particle collisions, waves, and instabilities, and proceeds to diagnostic tools, such as planar, spherical, and emissive probes, and the electrostatic analyzer, interferometric technique, and plasma spectroscopy. The physics of different types of electrical discharges are considered, including the classical Townsend mechanism of gas electrical breakdown and the Paschen law. Basic approaches and theoretical methodologies for plasma modeling are described, based on the fluid description of plasma solving numerically magnetohydrodynamic (MHD) equations and the kinetic model particle techniques that take into account kinetic interactions among particles and electromagnetic fields.

Readers are then introduced to the widest variety of applications in any text on the market. Space propulsion applications such as the Hall thruster, pulsed plasma thrusters, and microthruster are explained. Application of low-temperature plasmas in nanoscience and nanotechnology, another frontier in plasma physics, is covered, including plasma-based techniques for carbon-based nanoparticle synthesis (e.g., fundamental building blocks like single-walled carbon nanotubes and graphene). Plasma medicine, an emerging field studying plasmas for therapeutic applications, is examined as well. The latest original results on cold atmospheric plasma (CAP) applications in medicine are presented, with a focus on the therapeutic potential of CAP with a in selective tumor cell eradication and signaling pathway deregulation.
The first textbook that addresses plasma engineering in the aerospace, nanotechnology, and bioengineering fields from a unified standpointIncludes a large number of worked examples, end of chapter exercises, and historical perspectivesAccompanying plasma simulation software covering the Particle in Cell (PIC) approach, available at http: //www.particleincell.com/blog/2011/particle-in-cell-example/

Established in 1960, "Advances in Heterocyclic Chemistry" is the definitive serial in the area one of great importance to organic chemists, polymer chemists and many biological scientists. Written by established authorities in the field, the comprehensive reviews combine descriptive chemistry and mechanistic insight and yield an understanding of how the chemistry drives the properties.
Provides up-to-date material on a fast-growing and highly topical subject area
Contains the latest research covering a wide variety of heterocyclic topics
Written by leading authorities and designed as a handbook for students and industry and academic researchers"

Bringing the hard-to-quantify aspects of lived experience to analysis, and emphasizing what might be lost in interventions if cultural insights are absent, this book includes case studies from across the Asia and Pacific regions -Bangladesh, Malaysia, New Guinea, Indonesia, Thailand, South Korea, Australia, New Zealand, Tuvalu and the Cook Islands. When Culture Impacts Health offers conceptual, methodological and practical insights into understanding and successfully mediating cultural influences to address old and new public health issues including safe water delivery, leprosy, Attention Deficit Hyperactivity Disorder and body image. It contains useful methodological tools - how to map cultural consensus, measure wealth capital, conduct a cultural economy audit, for example. It provides approaches for discerning between ethnic and racial constructs and for conducting research among indigenous peoples. The book will be indispensible for culture and health researchers in all regions.
Discusses global application of case descriptionsDemonstrates how a cultural approach to health research enriches and informs our understanding of intractable public health problemsCovers methods and measurements applicable to a variety of cultural research approaches as well as actual research resultsCase studies include medical anthropology, cultural epidemiology, cultural history and social medicine perspectives

"In Situ Molecular Pathology and Co-Expression Analyses" explains, in easy-to-understand language, simplified waysof understanding and performing in situ hybridization and immunohistochemistry tests. The book also focuses on straightforward protocols used to simultaneously detect two or more proteins/nucleic acids within intact tissue by doing co-expression analyses.

The fields of in situ hybridization and immunohistochemistry have expanded rapidly due to the use of computer-based analysis. To get the most out of these automated platforms, researchers and diagnostic biomedical investigators must have a solid understanding of the basics of in situ-based tests, protocols, and regimens for troubleshooting.

Practicing molecular pathologists, clinical chemists, and toxicologists, as well as clinicians and researchers in training, will benefit from this book's clear presentation of protocols and theoretical framework.
Includes over 200 easy-to-follow experimental protocolsFeatures chapter-ending summaries of "Key Points to Remember" to bring beginners up to speed with any seasoned veteran in the fieldOffers two chapters written by industry leaders in the fields of in situ hybridization, immunohistochemistry, and computer software for co-expression analyses"

This book identifies and analyzes the genetic basis of bone disorders in humans and demonstrates the utility of mouse models in furthering the knowledge of mechanisms and evaluations of treatments. The book is aimed at all students of bone biology and genetics, and with this in mind, it includes general introductory chapters on genetics and bone biology and more specific disease-orientated chapters, which comprehensively summarize the clinical, genetic, molecular genetic, animal model, functional and molecular pathology, diagnostic, counselling and treatment aspects of each disorder.
Saves academic, medical, and pharma researchers time in quickly accessing the very latest details on a broad range of genetic bone issues, as opposed to searching through thousands of journal articles.

Provides a common language for bone biologists and geneticists to discuss the development of bone cells and genetics and their interactions in the development of disease Researchers in all areas bone biology and genetics will gain insight into how clinical observations and practices can feed back into the research cycle and will, therefore, be able to develop more targeted genomic and proteomic assays

For those clinical researchers who are also MDs, correct diagnosis (and therefore correct treatment) of bone diseases depends on a strong understanding of the molecular basis for the disease.

"Advances in Imaging and Electron Physics "features cutting-edge articles on the physics of electron devices (especially semiconductor devices), particle optics at high and low energies, microlithography, image science and digital image processing, electromagnetic wave propagation, electron microscopy, and the computing methods used in all these domains.
Key features:

* Contributions from leading authorities * Informs and updates on all the latest developments in the field

The need for ion and water homeostasis is common to all life. For fish, ion and water homeostasis is an especially important challenge because they live in direct contact with water and because of the large variation in the salt content of natural waters (varying by over 5 orders of magnitude). Most fish are stenohaline and are unable to move between freshwater and seawater. Remarkably, some fishes are capable of life in both freshwater and seawater. These euryhaline fishes constitute an estimated 3 to 5% of all fish species. Euryhaline fishes represent some of the most iconic and interesting of all fish species, from salmon and sturgeon that make epic migrations to intertidal mudskippers that contend with daily salinity changes. With the advent of global climate change and increasing sea levels, understanding the environmental physiology of euryhaline species is critical for environmental management and any mitigative measures. This volume will provide the first integrative review of euryhalinity in fish. There is no other book that focuses on fish that have the capacity to move between freshwater and seawater. The different challenges of salt and water balance in different habitats have led to different physiological controls and regulation, which heretofore has not been reviewed in a single volume.
Collects and synthesizes the literature covering the state of knowledge of the physiology of euryhaline fish

Provides the foundational information needed for researchers from a variety of fields, including fish physiology, conservation and evolutionary biology, genomics, ecology, ecotoxicology, and comparative physiologyAll authors are the leading researchers and emerging leaders in their fields

Established in 1960, "Advances in Heterocyclic Chemistry" is the definitive serial in the area one of great importance to organic chemists, polymer chemists and many biological scientists. Written by established authorities in the field, the comprehensive reviews combine descriptive chemistry and mechanistic insight and yield an understanding of how the chemistry drives the properties.
Provides up-to-date material on a fast-growing and highly topical subject area
Contains the latest research covering a wide variety of heterocyclic topics
Written by leading authorities and designed as a handbook for students and industry and academic researchers"

"Epigenetic Regulation in the Nervous System" addresses current understanding of the roles of epigenetic processes at the molecular/cellular level, their impact on neural development and behavior, and the potential roles of these mechanisms in neurological and psychiatric disorders. This award-winningvolume spans molecular epigenetics, development, cellular physiology and biochemistry, synaptic and neural plasticity, and behavioral models, and is unique in covering epigenetically based disorders of the central nervous system.

Behavioral epigenetics is the study of how environmental factors alter behavior, addressing the fundamental mechanisms that shape development and individual vulnerability/resilience to adverse behavioral outcomes. By understanding the molecular mechanisms involved in epigenetic modulation, researchers may be able to develop targeted therapies for those individuals in whom it malfunctions.

Edited by the most highly regarded leaders in the field, this book offers a comprehensive review of behavioral epigenetics and a balanced treatment of the strengths and weaknesses in experimentation in this area. Covering background material as well as topics of current interest, it serves both as a cutting-edge resource and a foundational reference. The book will benefit neuroscience researchers and graduate students with an interest in the links between gene regulation and behavior, as will clinicians dealing with disorders such as addiction, depression, and schizophrenia.
2013 PROSE Award winner for Best in Reference Works and Best Single Volume Reference in Sciencefrom the Association of American PublishersPresents a unified view of epigenetic mechanisms from behavior to genes and everything in betweenDiscusses clinically relevant disorders in the context of epigenetics research, making the volume appealing to clinicians as well as basic scientistsProvides numerous practical examples for the new investigator to facilitate implementation of research in neuroepigenetics"

"Landscape Evolution in the United States "is an accessible text that balances interdisciplinary theory and application within the physical geography, geology, geomorphology, and climatology of the United States. Landscape evolution refers to the changing terrain of any given area of the Earth's crust over time. Common causes of evolution (or geomorphology-land morphing into a different size or shape over time) are glacial erosion and deposition, volcanism, earthquakes, tsunamis, tornadoes, sediment transport into rivers, landslides, climate change, and other surface processes. The book is divided into three main parts covering landscape components and how they are affected by climactic, tectonic and ocean systems; varying structural provinces including the Cascadia Volcanic Arc and California Transpressional System; and the formation and collapse of mountain systems.

The vast diversity of terrain and landscapes across the United States makes this an ideal tool for geoscientists worldwide who are researching the country s geological evolution over the past several billion years.
Presents the complexities of physical geography, geology, geomorphology, and climatology of the United States through an interdisciplinary, highly accessible approachOffers more than 250 full-color figures, maps and photographs that capture the systematic interaction of land, rock, rivers, glaciers, global wind patterns and climateProvides a thorough assessment of the logic, rationale, and tools required to understand how to interpret landscape and the geological history of the EarthFeatures exercisesthat conclude each chapter, aiding in the retention of key concepts"

Biomass has received considerable attention as a sustainable feedstock that can replace diminishing fossil fuels for the production of energy and chemicals. At the present moment in the oil refining, petrochemical and chemical industry, after fractionation of crude oil, various fractions are upgraded either to fuels or functionalized to produce intermediates and specialty chemicals. An analogous concept of biorefining is based on the utilization of biomass as a renewable source of carbon, which could be transformed to valuable chemicals. Although various aspects of biomass transformations are frequently discussed in the literature, chemical engineering aspects of such transformations are commonly not considered. The aim of the present book is to fill this void.

* Updates and informs the reader on the latest research findings using original reviews * Written by leading industry experts and scholars * Reviews and analyzes developments in the field

This is one book of a four-part series, which aims to integrate discussion of modern engineering design principles, advanced design tools, and industrial design practices throughout the design process.Through this series, the reader will:

Understand basic design principles and modern engineering design paradigms.Understand CAD/CAE/CAM tools available for various design related tasks.Understand how to put an integrated system together to conduct product design using the paradigms and tools.Understand industrial practices in employing virtual engineering design and tools for product development.
Provides a comprehensive and thorough coverage on essential elements for product performance evaluation using the virtual engineering paradigms

Covers CAD/CAE in Structural Analysis using FEM, Motion Analysis of Mechanical Systems, Fatigue and Fracture Analysis.

Each chapter includes both analytical methods and computer-aided design methods, reflecting the use of modern computational tools in engineering design and practice

A case study and tutorial example at the end of each chapter provide hands-on practice in implementing off-the-shelf computer design tools

Provides two projects at the end of the book showing the use of Pro/ENGINEER(r) and SolidWorks (r) to implement concepts discussed in the book