springer us springer us apr 2009 (36 resultados)

Buch. Condición: Neu. Neuware - Paul Williams, a leading authority on modeling in integer programming, has written a concise, readable introduction to the science and art of using modeling in logic for integer programming. Written for graduate and postgraduate students, as well as academics and practitioners, the book is divided into four chapters that all avoid the typical format of definitions, theorems and proofs and instead introduce concepts and results within the text through examples. References are given at the end of each chapter to the more mathematical papers and texts on the subject, and exercises are included to reinforce and expand on the material in the chapter. Methods of solving with both logic and IP are given and their connections are described. Applications in diverse fields are discussed, and Williams shows how IP models can be expressed as satisfiability problems and solved as such.

Taschenbuch. Condición: Neu. Neuware -Can regional mechanisms better institutionalize the increasing complexity of economic and security ties among the countries in Northeast Asia As the international state system undergoes dramatic changes in both security and economic relations in the wake of the end of the Cold War, the Asian financial crisis, and the attack of 9/11, this question is now at the forefront of the minds of both academics and policymakers. Still, little research has been done to integrate the analysis of security and economic analysis of changes in the region within a broader context that will give us theoretically-informed policy insights. Against this backdrop, this book investigates the origins and evolution of Northeast Asia's new institutional architecture in trade, finance, and security from both a theoretical and empirical perspective.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Buch. Condición: Neu. Neuware -Ian Maxwell applies decades of research and application to present a novel approach to innovation, with an emphasis on sustainable and renewable practices that benefit many, and not just a handful of executives and shareholders. Featuring examples from a wide range of innovators around the world, from Google to Genentech to the Masdar ¿clean¿ city initiative in Abu Dhabi, Maxwell argues that organizations that embrace structured innovation management systems and drive a ¿top down¿ innovation culture will achieve sustainable high growth and strong shareholder returns. Countries that provide the right physical, financial and human resource infrastructure to support a highly innovative macro-economic environment will experience both strong GPD growth and high living standards. Those companies and countries that fail to support innovation will struggle to compete and raise living standards, respectively. Maxwell considers the cases of China and India, whose low-cost innovation strategies are posing a serious competitive threat to established multinationals in the developed world, and considers the impact of innovation on such timely issues as climate change, environmental pollution, fossil fuel shortages, third world poverty, rising healthcare costs and ageing populations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Numerical Optimization presents a comprehensive and up-to-date description of the most effective methods in continuous optimization. It responds to the growing interest in optimization in engineering, science, and business by focusing on the methods that are best suited to practical problems.For this new edition the book has been thoroughly updated throughout. There are new chapters on nonlinear interior methods and derivative-free methods for optimization, both of which are used widely in practice and the focus of much current research. Because of the emphasis on practical methods, as well as the extensive illustrations and exercises, the book is accessible to a wide audience. It can be used as a graduate text in engineering, operations research, mathematics, computer science, and business. It also serves as a handbook for researchers and practitioners in the field. The authors have strived to produce a text that is pleasant to read, informative, and rigorous - one that reveals both the beautiful nature of the discipline and its practical side.There is a selected solutions manual for instructors for the new edition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 688 pp. Englisch.

Buch. Condición: Neu. Neuware - Research on Internet security over the past few decades has focused mainly on information assurance, issues of data confidentiality and integrity as explored through cryptograph algorithms, digital signature, authentication code, etc. Unlike other books on network information security, Network Infrastructure Security addresses the emerging concern with better detecting and preventing routers and other network devices from being attacked or compromised.Network Infrastructure Security bridges the gap between the study of the traffic flow of networks and the study of the actual network configuration. This book makes effective use of examples and figures to illustrate network infrastructure attacks from a theoretical point of view. The book includes conceptual examples that show how network attacks can be run, along with appropriate countermeasures and solutions.

Buch. Condición: Neu. Neuware -Integer programming (IP) is a fascinating topic. Indeed, while linear programming (LP), its c- tinuous analogue, is well understood and extremely ef cient LP software packages exist, solving an integer program can remain a formidable challenge, even for some small size problems. For instance, the following small (5-variable) IP problem (called the unbounded knapsack problem) min{213x 1928x 11111x 2345x +9123x} 1 2 3 4 5 s.t. 12223x +12224x +36674x +61119x +85569x = 89643482, 1 2 3 4 5 x ,x ,x ,x ,x N, 1 2 3 4 5 taken from a list of dif cult knapsack problems in Aardal and Lenstra [2], is not solved even by hours of computing, using for instance the last version of the ef cient software package CPLEX. However,thisisnotabookonintegerprogramming,asverygoodonesonth istopicalreadyexist. For standard references on the theory and practice of integer programming, the interested reader is referred to, e.g., Nemhauser and Wolsey [113], Schrijver [121], Wolsey [136], and the more recent Bertsimas and Weismantel [21]. On the other hand, this book could provide a complement to the above books as it develops a rather unusual viewpoint.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Buch. Condición: Neu. Neuware -The database industry is a multi-billion, world-wide, all-encompassing part of the software world. Quantifiers in Action: Generalized Quantification in Query, Logical and Natural Languages introduces a query language called GQs¿Generalized Quantification in Query. Most query languages are simply versions of First Order Logic (FOL). GQs are an extension of the idea of quantifier in FOL. GQs are a perfect example of a practical theory within databases.This book provides a brief background in logic and introduces the concept of GQs, and then develops a query language based on GQs. Using Query Language with Generalized Quantifiers, the reader explores the efficient implementation of the concept, always a primary consideration in databases. This professional book also includes several extensions for use with documents employing question and answer techniques.Designed for practitioners and researchers within the database management field; also suitable for advanced-level students in computer science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Buch. Condición: Neu. Neuware -This is a book for engineers concerned with jitter: the e ects of noise visible in the time domain. The material presented will be helpful for work at both the system level and the circuit level: At the system level, the challenge is to describe, specify, and measure time domain uncertainty and when necessary, relate jitter to phase noise speci cations in the frequency domain. At the circuit level, the challenge is to design low noise circuitry within power, area, and process constraints so that ultimate performance meets system level requirements. Throughout the book concepts are presented in the context of an - gineering application requiring low jitter performance: the voltage controlled oscillator (VCO) used in a phase-locked loop (PLL). Techniques are presented for circuit-level design of low jitter delay elements for use in ring oscillators, as well as relating the circuit-level characteristics to system-level performance. Although the emphasis is on time-domain (jitter) measures of oscillator p- formance, a simple method of translating performance to frequency domain (phase noise) measures is presented as well. Structure of this Book This book is divided into nine chapters. The diagram on the following page shows the relationship between material in each chapter as well as placement in the system-level vs. circuit-level design hierarchy. Wherever possible, - perimental veri cation is presented in the same chapter as the corresponding theoretical development, rather than being isolated in a separate chapter.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Buch. Condición: Neu. Neuware -Access to Mobile Services focuses on methods for accessing broadcast based M-services from multiple wireless channels. This book presents a novel infrastructure that provides a multi-channel broadcast framework for mobile users to effectively discover and access composite M-services. Multi-channel algorithms are proposed for efficiently accessing composite services.Access to Mobile Services provides an in-depth survey of wireless data access and motivates the need to treat mobile services differently. A wireless adaptation of Service Oriented Architecture (SOA) is also covered.Designed for researchers and practitioners who work in the general area of mobile services, this book is also suitable for advanced-level students in computer science.Forewords by:Michael P. Papazoglou, Tilburg University, The NetherlandsFabio Casati, University of Trento, ItalySpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Buch. Condición: Neu. Neuware -The 2nd edition emphasizes two areas not emphasized in the 1st edition: 1) high-temperature superconductor (HTS) magnets; 2) NMR (nuclear magnetic resonance) and MRI (magnetic resonance imaging) magnets.Despite nearly 40 years of R and D on superconducting magnet technology, most areas, notably fusion and electric power applications, are still in the R and D stage. One exception is in the area of NMR and MRI. NMR magnets are very popular among chemists, biologists, genome scientists, and most of all, by drug manufacturers for drug discovery and development. MRI and NMR magnets have become the most successful application of superconducting magnet technology and this trend should continue.The 2nd edition will have new materials never treated formally in any other book of this kind. As with the 1st, most subjects will be presented through problem format to educate and train the designer.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 720 pp. Englisch.

Buch. Condición: Neu. Neuware.

Buch. Condición: Neu. Neuware - This book contains extended and revised versions of the best papers that were presented during the fifteenth edition of the IFIP/IEEE WG10.5 International Conference on Very Large Scale Integration, a global System-on-a-Chip Design & CAD conference. The 15th conference was held at the Georgia Institute of Technology, Atlanta, USA (October 15-17, 2007). Previous conferences have taken place in Edinburgh, Trondheim, Vancouver, Munich, Grenoble, Tokyo, Gramado, Lisbon, Montpellier, Darmstadt, Perth and Nice. The purpose of this conference, sponsored by IFIP TC 10 Working Group 10.5 and by the IEEE Council on Electronic Design Automation (CEDA), is to provide a forum to exchange ideas and show industrial and academic research results in the field of microelectronics design. The current trend toward increasing chip integration and technology process advancements brings about stimulating new challenges both at the physical and system-design levels, as well in the test of these systems. VLSI-SoC conferences aim to address these exciting new issues.

Buch. Condición: Neu. Neuware - A model-based approach to the design and implementation of Computational Sensor Networks (CSNs) is proposed. This high-level paradigm for the development and application of sensor device networks provides a strong scientific computing foundation, as well as the basis for robust software engineering practice. The three major components of this approach include (1) models of phenomena to be monitored, (2) models of sensors and actuators, and (3) models of the sensor network computation. We propose guiding principles to identify the state or structure of the phenomenon being sensed, or of the sensor network itself. This is called computational modeling. These methods are then incorporated into the operational system of the sensor network and adapted to system performance requirements to produce a mapping of the computation onto the system architecture. This is called real-time computational mapping and allows modification of system parameters according to real-time performance measures. This book deals with the development of a mathematical and modular software development framework to achieve computational sensor networks.

Buch. Condición: Neu. Neuware - As telecommunications products and services have become an essential part of - eryday life, consumers have at the same time grown intimately familiar with the concept of tiered pricing that is associated with such services. With tiered service structures, users may select from a small set of tiers that offer progressively higher levels of service with a correspondingincrease in price. Tiered structures have been applied in several forms to wireless services (e. g. , characterized by the amount of voice minutes, number of text messages, or the size of one's circle of friends to whom voice calls are free), Internet broadband access (e. g. , the access speed or volume of monthly transferred data), and digital TV offerings (e. g. , the number of channels included), among others. Service tiering is a form of market segmentation which, if applied appropriately, bene ts both providers and consumers by making available services and associated price points that re ect the diversity in consumers' needs and ability to pay. The purpose of this book is to develop a theoretical framework for reasoning about and pricing Internet tiered services, as well as a practical algorithmic toolset fornetworkproviderstodevelopcustomizedmenusofserviceofferings. We provide a comprehensive study of the design, sizing, and pricing of tiered structures for - ternet services, and we illustrate their potential in simplifying the operation of c- plex components such as packet schedulers.

Taschenbuch. Condición: Neu. Neuware -This edition contains a large number of additions and corrections scattered throughout the text, including the incorporation of a new chapter on state-space models. The companion diskette for the IBM PC has expanded into the software package ITSM: An Interactive Time Series Modelling Package for the PC, which includes a manual and can be ordered from Springer-Verlag. \* We are indebted to many readers who have used the book and programs and made suggestions for improvements. Unfortunately there is not enough space to acknowledge all who have contributed in this way; however, special mention must be made of our prize-winning fault-finders, Sid Resnick and F. Pukelsheim. Special mention should also be made of Anthony Brockwell, whose advice and support on computing matters was invaluable in the preparation of the new diskettes. We have been fortunate to work on the new edition in the excellent environments provided by the University of Melbourne and Colorado State University. We thank Duane Boes particularly for his support and encouragement throughout, and the Australian Research Council and National Science Foundation for their support of research related to the new material. We are also indebted to Springer-Verlag for their constant support and assistance in preparing the second edition. Fort Collins, Colorado P. J. BROCKWELL November, 1990 R. A. DAVIS \* /TSM: An Interactive Time Series Modelling Package for the PC by P. J. Brockwell and R. A. Davis. ISBN: 0-387-97482-2; 1991.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 600 pp. Englisch.

Buch. Condición: Neu. Neuware -The concept for the Water Environment of Cities arose from a workshop ¿Green 1 Cities, Blue Waters¿ workshop held in 2006. The workshop assembled experts from engineering, planning, economics, law, hydrology, aquatic ecology, geom- phology, and other disciplines to present research ndings and identify key new ideas on the urban water environment. At a lunch discussion near the end of the workshop, several of us came to the recognition that despite having considerable expertise in a narrow discipline, none of us had a vision of the ¿urban water en- ronment¿ as a whole. We were, as in the parable, blind men at opposite ends of the elephant, knowinga great deal about the parts, but notunderstandingthe whole. We quickly recognized the need to develop a book that would integrate this knowledge to create this vision. The goal was to develop a book that could be used to teach a complete, multidisciplinary course, ¿The Urban Water Environment¿, but could also be used as a supplemental text for courses on urban ecosystems, urban design, landscapearchitecture,water policy,waterqualitymanagement andwatershed m- agement. The book is also valuable as a reference source for water professionals stepping outside their arena of disciplinary expertise. The Water Environment of Cities is the rst book to use a holistic, interdis- plinary approach to examine the urban water environment. We have attempted to portrayaholisticvisionbuiltaround theconcept of water as a coreelement ofcities. Water has multipleroles:municipalwatersupply,aquatichabitat,landscapeaesth- ics, and recreation. Increasingly, urban water is reused, serving multiple purposes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Buch. Condición: Neu. Neuware - Many networked computer systems are far too vulnerable to cyber attacks that can inhibit their functioning, corrupt important data, or expose private information. Not surprisingly, the field of cyber-based systems is a fertile ground where many tasks can be formulated as learning problems and approached in terms of machine learning algorithms.This book contains original materials by leading researchers in the area and covers applications of different machine learning methods in the reliability, security, performance, and privacy issues of cyber space. It enables readers to discover what types of learning methods are at their disposal, summarizing the state-of-the-practice in this significant area, and giving a classification of existing work.Those working in the field of cyber-based systems, including industrial managers, researchers, engineers, and graduate and senior undergraduate students will find this an indispensable guide in creating systems resistant to and tolerant of cyber attacks.

Buch. Condición: Neu. Neuware -This book contains all the topics of importance to the low power designer. It first lays the foundation and then goes on to detail the design process. The book also discusses such special topics as power management and modal design, ultra low power, and low power design methodology and flows. In addition, coverage includes projections of the future and case studies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Buch. Condición: Neu. Neuware -By the second half of the twentieth century, a new branch of materials science had come into being ¿ crystalline materials research. Its appearance is linked to the emergence of advanced technologies primarily based on single crystals (bulk crystals and films). At the turn of the last century, the impending onset of the ¿ceramic erä was forecasted. It was believed that ceramics would play a role comparable to that of the Stone or Bronze Ages in the history of civilization. Naturally, such an assumption was hypothetical, but it showed that ceramic materials had evoked keen interest among researchers. Although sapphire traditionally has been considered a gem, it has developed into a material typical of the ¿ceramic era.¿ Widening the field of sapphire application necessitated essential improvement of its homogeneity and working characteristics and extension of the range of sapphire products, especially those with stipulated properties including a preset structural defect distribution. In the early 1980s, successful attainment of crystals with predetermined char- teristics was attributed to proper choice of the growth method. At present, in view of the fact that the requirements for crystalline products have become more str- gent, such an approach tends to be insufficient. It is clear that one must take into account the physical¿chemical processes that take place during the formation of the real crystal structure, i.e., the growth mechanisms and the nature and causes of crystal imperfections.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.

Buch. Condición: Neu. Neuware -The European Computing Conference offers a unique forum for establishing new collaborations within present or upcoming research projects, exchanging useful ideas, presenting recent research results, participating in discussions and establishing new academic collaborations, linking university with the industry. Engineers and Scientists working on various areas of Systems Theory, Applied Mathematics, Simulation, Numerical and Computational Methods and Parallel Computing present the latest findings, advances, and current trends on a wide range of topics. This proceedings volume will be of interest to students, researchers, and practicing engineers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 836 pp. Englisch.

Buch. Condición: Neu. Neuware - Flexible-electronics is rapidly finding many main-stream applications where low-cost, ruggedness, light weight, unconventional form factors and ease of manufacturability are just some of the important advantages over their conventional rigid-substrate counterparts. Flexible Electronics: Materials and Applications surveys the materials systems and processes that are used to fabricate devices that can be employed in a wide variety of applications, including flexible flat-panel displays, medical image sensors, photovoltaics, and electronic paper. Materials discussed range from polymeric semiconductors to nanotube transparent conductors, highlighting the important characteristics of each system and their target applications. An overview of the performance benchmarks for the different materials is given in order to allow a direct comparison of these different technologies. Furthermore, the devices and processes most suitable for given applications in flexible electronics are identified. Topics covered include:An overview and history of flexible electronicsNovel materials for solution-processable thin-film electronic devices and their propertiesLow-temperature processing of conventional materials and devices on plastic foils Novel techniques, such as printing and roll-to-roll processing, for large-area flexible electronics manufacturingMaterials and device physics relevant to flexible electronicsDevice integration on flexible substratesMechanical and electronic characteristics for thin-film transistors and nano-scale transparent conductors on flexible platformsApplications towards flexible displays, sensors, actuators, solar energy, radio-frequency identification, and micro-electro-mechanical systemsWritten by leading researchers in the field, Flexible Electronics: Materials and Applications serves as a reference for researchers, engineers, and students interested in the characteristics, capabilities, and limitations of these exciting materials and emerging applications.

Buch. Condición: Neu. Neuware - Magnetic materials can support propagating waves of magnetization; since these are oscillations in the magnetostatic properties of the material, they are called magnetostatic waves (sometimes 'magnons' or 'magnetic polarons'). Under the proper circumstances these waves can exhibit, either dispersive or nondispersive, isotropic or anisotropic propagation, nonreciprocity, frequency-selective nonlinearities, soliton propagation, and chaotic behavior. This rich variety of behavior has led to a number of proposed applications in microwave and optical signal processing. This book begins by introducing magnetism and discusses magnetic properties of materials, magnetic moments of atoms and ions, and the elements important to magnetism. It then goes on to cover magnetic susceptibilities, electromagnetic waves in anisotropic dispersive media, magnetostatic modes, and propagation characteristics and excitation of magnetostatic waves among other topics. There are problems at the end ofeach chapter, many of which serve to expand or explain the material in the text. The bibliographies for each chapter give an entry to the research literature. Spin Waves: Theory and Applications serves not only as an introduction to an active area of research, but also as a reference for workers in the field.

Buch. Condición: Neu. Neuware - iming, timing, timing! That is the main concern of a digital designer charged with designing a semiconductor chip. What is it, how is it T described, and how does one verify it The design team of a large digital design may spend months architecting and iterating the design to achieve the required timing target. Besides functional verification, the t- ing closure is the major milestone which dictates when a chip can be - leased to the semiconductor foundry for fabrication. This book addresses the timing verification using static timing analysis for nanometer designs. The book has originated from many years of our working in the area of timing verification for complex nanometer designs. We have come across many design engineers trying to learn the background and various aspects of static timing analysis. Unfortunately, there is no book currently ava- able that can be used by a working engineer to get acquainted with the - tails of static timing analysis. The chip designers lack a central reference for information on timing, that covers the basics to the advanced timing veri- cation procedures and techniques.

Buch. Condición: Neu. Neuware -The International Handbook of Research on Teachers and Teaching provides a fresh look at the ever changing nature of the teaching profession throughout the world. This collection of over 70 original articles addresses a wide range of issues that are relevant for understanding the present educational climate in which the accountability of teachers and the standardized testing of students have become dominant.The international collection of authors brings to the handbook a breadth of knowledge and experience about the teaching profession and a wealth of material across a number of comparative dimensions, such as between developed and developing countries and between Eastern and Western cultures. In addition, many articles address the emerging challenges to education and to the lives of teachers which are brought about by the globalization trends of the 21st Century.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1248 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The ever expanding abundance of information and computing power enables - searchers and users to tackle highly interesting issues, such as applications prov- ing personalized access and interactivity to multimodal information based on user preferences and semantic concepts or human-machine interface systems utilizing information on the affective state of the user. The general focus of the AIAI conf- ence is to provide insights on how AI can be implemented in real world applications. This volume contains papers selected for presentation at the 5th IFIP Conf- ence on Artificial Intelligence Applications & Innovations (AIAI 2009) being held from 23rd till 25th of April, in Thessaloniki, Greece. The IFIP AIAI 2009 conf- ence is co-organized by the Aristotle University of Thessaloniki, by the University of Macedonia Thessaloniki and by the Democritus University of Thrace. AIAI 2009 is the official conference of the WG12.5 'Artificial Intelligence Appli- tions' working group of IFIP TC12 the International Federation for Information Processing Technical Committee on Artificial Intelligence (AI). It is a conference growing and maintaining high standards of quality. The p- pose of the 5th IFIP AIAI Conference is to bring together researchers, engineers and practitioners interested in the technical advances and business / industrial - plications of intelligent systems. AIAI 2009 is not only focused in providing - sights on how AI can be implemented in real world applications, but it also covers innovative methods, tools and ideas of AI on architectural and algorithmic level. 535 pp. Englisch.