Narrow your search
Listing 1 - 10 of 11 << page
of 2
>>
Sort by

Book
Demographic forecasting.
Authors: ---
ISBN: 9780691130941 9780691130958 0691130957 0691130949 Year: 2008 Publisher: Princeton Princeton university

Loading...
Export citation

Choose an application

Bookmark

Abstract

How to think about algorithms
Author:
ISBN: 9780521614108 9780521849319 9780511808241 9780511412783 0511412789 9780511413704 051141370X 9780511410451 051141045X 9780511649882 0511649886 0511808240 9781139637268 1139637266 0521849314 0521614104 1107175844 9781107175846 0511645791 9780511645792 9786612390289 661239028X 1282390287 9781282390287 0511568002 9780511568008 Year: 2008 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This textbook, for second- or third-year students of computer science, presents insights, notations, and analogies to help them describe and think about algorithms like an expert, without grinding through lots of formal proof. Solutions to many problems are provided to let students check their progress, while class-tested PowerPoint slides are on the web for anyone running the course. By looking at both the big picture and easy step-by-step methods for developing algorithms, the author guides students around the common pitfalls. He stresses paradigms such as loop invariants and recursion to unify a huge range of algorithms into a few meta-algorithms. The book fosters a deeper understanding of how and why each algorithm works. These insights are presented in a careful and clear way, helping students to think abstractly and preparing them for creating their own innovative ways to solve problems.


Book
Fight pictures : a history of boxing and early cinema
Author:
ISBN: 1282360213 9786612360213 052094058X 9780520940581 Year: 2008 Publisher: Berkeley : University of California Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The first filmed prizefight, Veriscope's Corbett-Fitzsimmons Fight (1897) became one of cinema's first major attractions, ushering in an era in which hugely successful boxing films helped transform a stigmatized sport into legitimate entertainment. Exploring a significant and fascinating period in the development of modern sports and media, Fight Pictures is the first work to chronicle the mostly forgotten story of how legitimate bouts, fake fights, comic sparring matches, and more came to silent-era screens and became part of American popular culture.


Book
Molecular Electronics Materials, Devices and Applications
Authors: --- ---
ISBN: 1281674818 9786611674816 140208594X 1402085931 9048179262 Year: 2008 Publisher: Dordrecht : Springer Netherlands : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

How to develop innovative architectures based on emerging molecular devices? The simple yet ambitious objective of Molecular Electronics Materials, Devices and Applications is to give the reader the necessary information to understand the challenges and opportunities of this recent field of research. In order to provide a good overview and understanding, the main molecular devices are first presented. A complete set of presentation and discussion of the actual molecular architectures follows. Nevertheless, another goal of Molecular Electronics Materials, Devices and Applications is also to promote a practical approach. As a starting point for future developments, a pragmatic methodology for VHDL-AMS device modelling and circuit design based on experimental data is then proposed. It includes an original fault tolerant memory architecture based on molecular electronics. Academics, researchers, students, and “random” people looking for an exhaustive state of the art in nanotechnologies will find in Molecular Electronics Materials, Devices and Applications, accessible to most readers interested in sciences, the more complete reference on molecular electronics covering technologies, devices and architectures.

Bioinspired chemistry for energy : a workshop summary to the Chemical Sciences Roundtable
Authors: --- --- ---
ISBN: 030911487X 9786611300340 1281300349 0309114888 0309088623 0309511488 9780309511483 9781315065700 1315065703 9781134031665 1134031661 9781134031801 1134031807 9781134031733 1134031734 9781844070916 1844070913 9781844070909 1844070905 9780309088626 0309178630 0309168058 Year: 2008 Publisher: Washington, D.C. : National Academies Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Renewable energy sources --- Biomass energy --- Energy development --- Biomimicry --- Biochemical Processes --- Biomass --- Biotechnology --- Crops, Agricultural --- Energy-Generating Resources --- Biological Science Disciplines --- Food --- Plants, Edible --- Ecosystem --- Technology --- Environment --- Biochemical Phenomena --- Natural Science Disciplines --- Chemical Phenomena --- Plants --- Environment and Public Health --- Technology, Industry, and Agriculture --- Food and Beverages --- Technology, Industry, Agriculture --- Phenomena and Processes --- Disciplines and Occupations --- Eukaryota --- Ecological and Environmental Phenomena --- Health Care --- Organisms --- Biological Phenomena --- Mechanical Engineering - General --- Mechanical Engineering --- Engineering & Applied Sciences --- Research --- #SBIB:314H120 --- 314.8 --- 911.3:314 --- 911.3:314 Bevolkingsgeografie. Demogeografie --- Bevolkingsgeografie. Demogeografie --- 314.8 Bevolkingsbeweging. Bevolkingsoptimum. Bevolkingsgroei. Demografische verand eringen. Loop der bevolking --- Bevolkingsbeweging. Bevolkingsoptimum. Bevolkingsgroei. Demografische verand eringen. Loop der bevolking --- Regionale bevolkingsstudies: algemeen --- Cities and towns -- Developing countries -- Growth. --- Demographic transition -- Developing countries. --- Developing countries -- Population. --- Growth. --- Cities and towns --- Demographic transition --- Global cities --- Municipalities --- Towns --- Urban areas --- Urban systems --- Human settlements --- Sociology, Urban --- Transition, Demographic --- Vital revolution (Demography) --- Demography --- Population --- Vital statistics --- Developing countries --- Population. --- City dwellers --- Population forecasting --- Quality of life --- Twenty-first century --- Urbanization --- Urban policy --- #SBIB:327.4H60 --- Life, Quality of --- Economic history --- Human ecology --- Life --- Social history --- Basic needs --- Human comfort --- Social accounting --- Work-life balance --- Forecasting, Population --- Population projection --- Population projections --- Projection, Population --- Projections, Population --- Social prediction --- City population --- City residents --- Dwellers, City --- Residents of cities --- Urban dwellers --- Urban people --- Urban population --- Urban residents --- Urbanites --- Persons --- Growth --- Forecasts --- Derde wereld: ontwikkeling, sociale verandering: algemeen --- Forecasting --- Social geography --- Sociology of environment --- Population - Developing countries --- Cities and towns - Developing countries - Growth


Book
CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies : Process-Aware SRAM Design and Test
Authors: ---
ISBN: 128149223X 9786611492236 1402083637 1402083629 Year: 2008 Volume: 40 Publisher: Dordrecht : Springer Netherlands : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

As technology scales into nano-meter region, design and test of Static Random Access Memories (SRAMs) becomes a highly complex task. Process disturbances and various defect mechanisms contribute to the increasing number of unstable SRAM cells with parametric sensitivity. Growing sizes of SRAM arrays increase the likelihood of cells with marginal stability and pose strict constraints on transistor parameters distributions. Standard functional tests often fail to detect unstable SRAM cells. Undetected unstable cells deteriorate quality and reliability of the product as such cells may fail to retain the data and cause a system failure. Special design and test measures have to be taken to identify cells with marginal stability. However, it is not sufficient to identify the unstable cells. To ensure reliable system operation, unstable cells have to be repaired. CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies covers a broad range of topics related to SRAM design and test. From SRAM operation basics through cell electrical and physical design to process-aware and economical approach to SRAM testing. The emphasis of the book is on challenges and solutions of stability testing as well as on development of understanding of the link between the process technology and SRAM circuit design in modern nano-scaled technologies.


Book
Memories in Wireless Systems
Authors: --- ---
ISBN: 1281862436 9786611862435 3540790780 3540790772 3642097936 Year: 2008 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

For the technological progress in communication technology it is necessary that the advanced studies in circuit and software design are accompanied with recent results of the technological research and physics in order to exceed its limitations. This book is a guide which treats many components used in mobile communications, and in particular focuses on non-volatile memories. It emerges following the conducting line of the non-volatile memory in the wireless system: On the one hand it develops the foundations of the interdisciplinary issues needed for design analysis and testing of the system. On the other hand it deals with many of the problems appearing when the systems are realized in industrial production. These cover the difficulties from the mobile system to the different types of non-volatile memories. The book explores memory cards, multichip technologies, and algorithms of the software management as well as error handling. It also presents techniques of assurance for the single components and a guide through the Datasheet lectures.

Keywords

Wireless communication systems. --- Computer storage devices. --- Computer memory systems --- Computers --- Electronic digital computers --- Storage devices, Computer --- Computer input-output equipment --- Memory management (Computer science) --- Communication systems, Wireless --- Wireless data communication systems --- Wireless information networks --- Wireless telecommunication systems --- Telecommunication systems --- Memory systems --- Storage devices --- Systems engineering. --- Electronics. --- Telecommunication. --- Optical materials. --- Memory management (Computer scie. --- Circuits and Systems. --- Electronics and Microelectronics, Instrumentation. --- Communications Engineering, Networks. --- Optical and Electronic Materials. --- Memory Structures. --- Optics --- Materials --- Electric communication --- Mass communication --- Telecom --- Telecommunication industry --- Telecommunications --- Communication --- Information theory --- Telecommuting --- Electrical engineering --- Physical sciences --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Management of computer memory --- Computer storage devices --- Loop tiling (Computer science) --- Design and construction --- Electronic circuits. --- Microelectronics. --- Electrical engineering. --- Electronic materials. --- Computer memory systems. --- Electronic materials --- Electric engineering --- Microminiature electronic equipment --- Microminiaturization (Electronics) --- Electronics --- Microtechnology --- Semiconductors --- Miniature electronic equipment --- Electron-tube circuits --- Electric circuits --- Electron tubes


Book
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
Author:
ISBN: 9781848000179 1848000162 9781848000162 1849967024 9786612824081 1848000170 1282824082 Year: 2008 Publisher: London : Springer London : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due to the high cost of software errors - particularly with respect to security vulnerabilities. However, research into new analysis techniques is often hampered by the technical difficulties of analysing accesses through pointers, pointer arithmetic, coercion between types, integer wrap-around and other low-level behaviour. Axel Simon provides a concise, yet formal description of a value-range analysis that soundly approximates the semantics of C programs using systems of linear inequalities (polyhedra). The analysis is formally specified down to the bit-level while providing a precise approximation of all low-level aspects of C using polyhedral operations and, as such, it provides a basis for implementing new analyses that are aimed at verifying higher-level program properties precisely. One example of such an analysis is the tracking of the NUL position in C string buffers, which is shown as an extension to the basic analysis and which thereby demonstrates the modularity of the approach. While the book focuses on a sound analysis of C, it will be useful to any researcher and student with an interest in static analysis of real-world programming languages. In fact, many concepts presented here carry over to other languages such as Java or assembler, to other applications such as taint analysis, array and shape analysis and possibly even to other approaches such as run-time verification and test data generation.

Magnetic Nanostructures in Modern Technology : Spintronics, Magnetic MEMS and Recording
Authors: --- --- --- ---
ISBN: 1281108332 9786611108335 1402063385 1402063369 1402063377 Year: 2008 Publisher: Dordrecht : Springer Netherlands : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

A team of outstanding scientists in the field of modern magnetic nanotechnologies illustrates the state of the art in several areas of advanced magneto-electronic devices, magnetic micro-electromechanical systems and high density information storage technologies. The physics and chemistry of nano-scale systems have made rapid advances and there are real prospects of translating exciting scientific findings into a new generation of processes and high technology products with a potential impact on several industrial sectors. In particular the development of nano-structured magnetic materials plays a leading role in the increasing miniaturization of devices with superior performances. The application areas considered are: i) "magneto-electronics", where the control of electron spins in magnetic hetero-structures offers new and improved functionalities in devices of integrated digital electronics. Magnetic random access memories, MRAM are among the principal applications for new non-volatile RAM with fast dynamics, toward the pico-, femto-second range. ii) "magnetic MEMS" (micro-electro-mechanical systems), which are the integration of mechanical and electro/ferromagnetic elements (micro-actuators and sensors) with conventional electronics MEMS, promise a revolution in several product categories. In fact the proposed integration enables the development of smart products, where sensors can gather information from the environment by measuring thermal, magnetic, electric, mechanical, biological chemical, optical characteristics and the electronic section processes the information and the actuator promotes the action realizing a complete control of the environment. iii) "Magnetic recording" is a leading technology in the information storage domain and the most relevant application in the field of magnetics, showing surprising continuous progress over several decades towards the limit of terabit per square inch of areal density.>.

Keywords

Nanoelectromechanical systems --- Nanostructures. --- Nanoscience --- Physics --- Nano-electro-mechanical systems --- Nanoelectromechanical devices --- Nanomechanical devices --- Nanomechanical machines --- Nanomechanical systems --- Nanometer scale devices --- Nanoscale devices --- Nanoscale electronic devices --- Nanostructured devices --- NEMS (Nanotechnology) --- Nanoelectronics --- Nanostructures --- Engineering. --- Information theory. --- Nanotechnology. --- Magnetism. --- Surfaces (Physics). --- Memory management (Computer scie. --- Nanotechnology and Microengineering. --- Theory of Computation. --- Magnetism, Magnetic Materials. --- Surfaces and Interfaces, Thin Films. --- Memory Structures. --- Memory management (Computer science) --- Surface chemistry --- Surfaces (Technology) --- Mathematical physics --- Electricity --- Magnetics --- Molecular technology --- Nanoscale technology --- High technology --- Communication theory --- Communication --- Cybernetics --- Construction --- Industrial arts --- Technology --- Management of computer memory --- Computer storage devices --- Loop tiling (Computer science) --- Computers. --- Magnetic materials. --- Materials—Surfaces. --- Thin films. --- Computer memory systems. --- Computer memory systems --- Computers --- Electronic digital computers --- Storage devices, Computer --- Computer input-output equipment --- Films, Thin --- Solid film --- Solid state electronics --- Solids --- Coatings --- Thick films --- Materials --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Memory systems --- Storage devices --- Surfaces. --- Surface phenomena --- Friction --- Surfaces (Physics) --- Tribology --- Surfaces


Book
Dynamic Brain - from Neural Spikes to Behaviors : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures
Authors: --- --- ---
ISBN: 3540888535 3540888527 Year: 2008 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book is devoted to graduate students and researchers with different scientific background (including physics, mathematics, biology, neuroscience, etc.) who wish to learn brain science beyond the boundary of their fields. The volume presents 12 thoroughly revised tutorial papers based on lectures given by leading researchers at the 12th International Summer School on Neural Networks in Erice, Italy, in December 2007. The 12 invited and contributed papers presented provide primarily high-level tutorial coverage of the fields related to neuraldynamics, reporting recent experimental and theoretical results investigating the role of collective dynamics in hippocampal and parahippocampal regions and in the mammalian olfactory system. The book is divided into topical sections on hippocampus and neural oscillations, dynamics in olfactory system and behaviour, correlation structure of spiking trains, and neural network theories on associative memory.

Keywords

Computational neuroscience --- Cerebral cortex --- Neural networks (Neurobiology) --- Nervous system --- Mathematical models --- Organs (Anatomy) --- Neurosciences --- Computational neurosciences --- Computational biology --- Brain mantle --- Cortex, Cerebral --- Cortex cerebri --- Mantle of brain --- Pallium (Brain) --- Telencephalon --- Artificial intelligence. --- Computer science. --- Information theory. --- Memory management (Computer scie. --- Algebra --- Neurosciences. --- Artificial Intelligence. --- Computation by Abstract Devices. --- Theory of Computation. --- Memory Structures. --- Symbolic and Algebraic Manipulation. --- Data processing. --- Neural sciences --- Neurological sciences --- Neuroscience --- Medical sciences --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computers. --- Computer memory systems. --- Computer science—Mathematics. --- Computer memory systems --- Computers --- Electronic digital computers --- Storage devices, Computer --- Computer input-output equipment --- Memory management (Computer science) --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Memory systems --- Storage devices --- Computer storage devices. --- Memory management (Computer science). --- Computer Memory Structure. --- Neuroscience. --- Management of computer memory --- Computer storage devices --- Loop tiling (Computer science)

Listing 1 - 10 of 11 << page
of 2
>>
Sort by