springer berlin heidelberg feb 2010 (602 risultati)

Taschenbuch. Condizione: Neu. Neuware -Shape interrogation is the process of extraction of information from a geometric model. It is a fundamental component of Computer Aided Design and Manufacturing (CAD/CAM) systems. The authors focus on shape interrogation of geometric models bounded by free-form surfaces. Free-form surfaces, also called sculptured surfaces, are widely used in the bodies of ships, automobiles and aircraft, which have both functionality and attractive shape requirements. Many electronic devices as well as consumer products are designed with aesthetic shapes, which involve free-form surfaces. This book provides the mathematical fundamentals as well as algorithms for various shape interrogation methods including nonlinear polynomial solvers, intersection problems, differential geometry of intersection curves, distance functions, curve and surface interrogation, umbilics and lines of curvature, geodesics, and offset curves and surfaces. This book will be of interest both to graduate students and professionals. 424 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches.Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references.These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides. 756 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Weyl groups are particular cases of complex reflection groups, i.e. finite subgroups of GLr(C) generated by (pseudo)reflections. These are groups whose polynomial ring of invariants is a polynomial algebra.It has recently been discovered that complex reflection groups play a key role in the theory of finite reductive groups, giving rise as they do to braid groups and generalized Hecke algebras which govern the representation theory of finite reductive groups. It is now also broadly agreed upon that many of the known properties of Weyl groups can be generalized to complex reflection groups. The purpose of this work is to present a fairly extensive treatment of many basic properties of complex reflection groups (characterization, Steinberg theorem, Gutkin-Opdam matrices, Solomon theorem and applications, etc.) including the basic findings of Springer theory on eigenspaces. In doing so, we also introduce basic definitions and properties of the associated braid groups, as well as a quick introduction to Bessis' lifting of Springer theory to braid groups. 144 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is a charming collection of essays on life and science, by one of the leading mathematicians of our day. Vladimir Igorevich Arnold is renowned for his achievements in mathematics, and nearly as famous for his informal teaching style, and for the clarity and accessibility of his writing. The chapter headings convey Arnold's humor and restless imagination. A few examples: My first recollections; The combinatorics of Plutarch; The topology of surfaces according to Alexander of Macedon; Catching a pike in Cambridge. Yesterday and Long Ago offers a rare opportunity to appreciate the life and work of one of the world's outstanding living mathematicians. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Political and economic institutions are typically governed by committees that face the challenge to reconcile the preferences of their members. How should decision rules be designed to generate fair and sustainable agreements, for example if committee members represent groups of different sizes This book uses game-theoretic concepts and models to address the issue of political decision-making processes. In addition to providing a survey on basic game-theoretic tools in the analysis of political decisions, the author looks at specific issues such as two-tiered voting systems or the influence of lobbyists on legislative committees, and shows how the models can be applied to real-world contexts such as the EU decision-making institutions. 126 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Rapid application of new technologies and highly leveraged innovation processes are key for the success of companies and organizations in dynamic markets. Based on the experiences of one of the industry's most modern innovation centers this book provides an insight into the tools and methods used to align customer requirements, competitive challenges and technological development. Both, scientists and practitioners, will benefit from the lessons learned and presented in this volume. 228 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of 19th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2009, featuring Integrated Circuit and System Design, held in Delft, The Netherlands during September 9-11, 2009. The 26 revised full papers and 10 revised poster papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on variability & statistical timing, circuit level techniques, power management, low power circuits & technology, system level techniques, power & timing optimization techniques, self-timed circuits, low power circuit analysis & optimization, and low power design studies. 384 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -At a time when managers often provide fodder for unseemly headlines, and some are even compared unflatteringly with locusts, today's business leaders are called upon as never before to demonstrate the moral justification for their activities, and to ensure that it is understood by all the key stakeholders of a company. What is required is nothing less than a management renaissance, based on a thoroughgoing concept of corporate leadership; there is no less a need for decision makers who hold themselves to the highest standards, with a positive perception of their fu- tion as agents of dissemination, and who are committed to the good not only of 'their' firm, but also of society in general. Particularly in today's environment of significant movements of goods, the hi- est priority is accorded to the social and labor policy elements of company m- agement. For its part, the State must create advantageous framework conditions and promote the willingness to accept risk that is fundamental to the entrepren- rial spirit. A social, constitutional state with a liberal social structure has always been and remains the prime concern of democratically spirited forces everywhere. When managers live up to the expectations with which they are entrusted, they lend the social market economy - often misunderstood and sometimes even m- used - a new luster. This in turn fulfils the hopes and expectations of those Eu- peans for whom the development of pan-European structures stands for the rec- ery from post-communist stagnation. 264 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This bookis the resultof merging two workshopsseries,namely, oneon comp- erized guidelines and protocols and the other one on knowledge management for healthcareprocedures. Themergeresultedinthe KR4HCworkshop:Knowledge Representationfor HealthCare:Data,Processes,andGuidelines. This workshop was held in conjunction with the 12th Conference on Arti cial Intelligence in Medicine (AIME 2009), in Verona, Italy. The book included, in addition to the full-length workshop papers, invited peer-reviewed advanced papers on lessons learned in these elds. The KR4HC workshop continued a line of successful guideline workshops held in 2000, 2004, 2006, 2007, and 2008. Following the success of the rst - ropean Workshop on Computerized Guidelines and Protocols held in Leipzig, Germany, in 2000, the Symposium on Computerized Guidelines and Protocols (CGP 2004) was organized in Prague, Czech Republic in 2004 to identify use cases for guideline-based applications in health care, computerized methods for supportingtheguidelinedevelopmentprocess,andpressingissuesandpromising approachesfordevelopingusableandmaintainablevehiclesforguideli nedelivery. In 2006 an ECAI 2006 workshop at Riva del Garda, Italy, entitled AI Te- niques in Health Care:Evidence-BasedGuidelinesand Protocols wasorganized to bring together researchers from di erent branches of arti cial intelligence to examine cutting-edge approaches to guideline modeling and development and to consider how di erent communities can cooperate to address the challenges of computer-based guideline development. 195 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A framework for financial market modeling, the benchmark approach extends beyond standard risk neutral pricing theory. It permits a unified treatment of portfolio optimization, derivative pricing, integrated risk management and insurance risk modeling. This book presents the necessary mathematical tools, followed by a thorough introduction to financial modeling under the benchmark approach, explaining various quantitative methods for the fair pricing and hedging of derivatives. 716 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The challenges in development often seem insurmountable. They overwhelm - tions and the builders of their most basic institutions. I am often asked how dev- opment finance agencies can work together to meet this challenge. In reply I invite you to read a story about cooperation in re-building one of the most basic insti- tions of any society -- the banking system. KfW Bankengruppe places great emphasis on financial sector development. Our experience in our own country, and beyond our borders, shows that one of the first steps is building a banking system that fuels growth through investment in enterprises. Micro, small and medium enterprises are the backbone of many economies; they are also the wealth of the people and generate their hope in the future. We believe that the depth of the financial sector is related to economic growth; the growth and safety of deposits, the facility of payments, and the in- vation to develop new products and services that strengthen markets and promote investment. A strong banking system supports economic growth by attracting unproductive capital and injecting it into the economy, increasing the productivity of the country's capital base and leveraging it by attracting outside capital. 280 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book was born from curiosity. To begin with, it was the curiosity of an economist who studied in the 60's in an environment which has subsequently developed from national into global economics. Who has to recognize that politicians, scholars and large segments of society oblivious to supranational authorities and e- nomic globalization forces continue to labour under the notion that they are still fully autonomous and sovereign when shaping national economic policy. And pretend as though their own national state were still the 'm- ter in its own house' that despite unbridled market economics could c- tinue to dictate to the economy and companies how to live and in which 'rooms'. All that has become fiction. The laws of globalization diminish the - noeuvring space for shaping national economic policy. Even if many folks today don't want to hear it: The issue is no longer achieving what is soc- politically desirable for the own society but rather the optimal adaptation of society and social benefits to the politically practicable. 276 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Europe enlarged its boundaries in 2004 with the accession of ten new member states to the European Union. The creation of an effective information society is seen as critical to the global competitiveness of Europe.Based upon detailed data collection and rigorous analysis, the book presents a benchmarking study of the 10 new member states and 3 candidate countries of the European Union as compared to the 15 incumbent countries with respect to the development of their information societies. Using a framework based on the Europe 2005 benchmarking framework, the 28 EU members and candidate countries are ranked according to their level of information society development, and then classified into 4 categories. The results presented in this book are of importance to all managers and companies doing business in the IT sector in the European Union. 300 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents a high-level scholarly discussion on whether the concept of solidarity functions as a structural principle of international law and to what extent it has become a full-fledged legal principle. Each contributor addresses these questions by examining normative operations of the principle of solidarity in different branches of international law - including international disaster law, international humanitarian law, the law of development cooperation and international environmental law - as well as the relationship between the principle of solidarity and other legal principles such as the responsibility to protect and intergenerational equity. 256 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Successful negotiation requires a close understanding of their partner's culture, their feelings, habits and values. When planning to do business with suppliers and other partners in Asia, a thorough preparation is essential to avoid misunderstandings, confrontations and disappointments, and to ensure the mutually desired success.This book presents a complete communication and negotiation skills program with special focus on negotiation partners from the different regions of the Asian continent. Readers learn to negotiate the Chinese, the Indian or the Japanese way, and they learn to understand the ways Asians negotiate. Written by a cross-border author, both academician and practitioner, with plenty of experience from Eastern and Western cultures, this book is a valuable resource for anyone relying on business success with Asian partners. 204 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides the essentials to write a successful business plan. The represented methods and best practices have been approved over many years in practice with many management consulting engagements. The book is beautifully structured, it has a pragmatic emphasis and an autodidactic approach. The reader gets acquainted with the skills and competencies as well as tools, required for the planning and development of the business plan project. 196 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Image analysis is a computational feat which humans show excellence in, in comp- ison with computers. Yet the list of applications that rely on automatic processing of images has been growing at a fast pace. Biometric authentication by face, ngerprint, and iris, online character recognition in cell phones as well as drug design tools are but a few of its benefactors appearing on the headlines. This is, of course, facilitated by the valuable output of the resarch community in the past 30 years. The pattern recognition and computer vision communities that study image analysis have large conferences, which regularly draw 1000 parti- pants. In a way this is not surprising, because much of the human-speci c activities critically rely on intelligent use of vision. If routine parts of these activities can be automated, much is to be gained in comfort and sustainable development. The - search eld could equally be called visualintelligence because it concerns nearly all activities of awake humans. Humans use or rely on pictures or pictorial languages to represent, analyze, and develop abstract metaphors related to nearly every aspect of thinking and behaving, be it science, mathematics, philosopy, religion, music, or emotions. The present volume is an introductory textbook on signal analysis of visual c- putation for senior-level undergraduates or for graduate students in science and - gineering. My modest goal has been to present the frequently used techniques to analyze images in a common framework-directional image processing. 412 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheARCSseriesofconferenceshasover30yearsoftraditionreportingtop-notch results in computer architecture and operating systems research. It is organized by the special interest group on Computer and System Architecture of the GI (Gesellschaft fur Informatik e.V.) and ITG (Informationstechnische Gesellschaft imVDE InformationTechnologySociety).In2010,ARCSwashostedbyLeibniz University Hannover. This year s special focus was on heterogeneous systems. The conference s topics comprised design aspects of multi-cores and memory systems, adaptive system architectures such as recon gurable systems in hardware and software, customization and application-speci c accelerators in heterogeneous archit- tures, organic and autonomic computing, energy-awareness, system aspects of ubiquitous and pervasive computing, and embedded systems. Thecallforpapersattractedabout55submissionsfromallaroundthewo rld. Each submission was assigned to at least three members of the Program C- mittee for review. The Program Committee decided to accept 20 papers, which were arranged in seven sessions. The accepted papers are from Belgium, China, France, Germany, Italy, Spain, Turkey, and the UK. Two keynotes on hetero- neous systems complemented the strong technical program. 264 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Some ferromagnetic materials with localized magnetic moments have become a hot topic of modern solid state physics because of their potential applications, e.g. in spintronic devices. The magnetic systems of interest comprise diluted magnetic semiconductors and half-metallic ferromagnets. Like conventional concentrated local-moment systems, they are characterized by an exchange interaction between localized magnetic moments and quasi-free charge carriers. The current research on local-moment ferromagnetism is reviewed in a tutorial style by leading experts in this field. Experimentalists present the latest approaches to characterize the unique material properties and theoreticians share decisive ideas to describe the observed phenomena theoretically. Students and researchers alike will benefit from this status report. 344 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Reviews and extends the theory of Lie groups, develops differential geometry, proposing compact definitions of torsion and of curvature, and adapts the usual notion of linear tangent application to the intrinsic point of view proposed for physics. Uses a unifying illustration: two simple theories are studied with some detail, the theory of heat conduction and the theory of linear elastic media. Shows that the resulting equations derived in this manner differ quantitatively and qualitatively from those usually presented. 280 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Lasers and Nuclei describes the generation of high-energy-particle radiation with high-intensity lasers andits application to nuclear science. A basicintroductionto laser--matter interaction at high fields is complemented by detailed presentations of state of the art laser particle acceleration and elementary laser nuclear experiments. The text also discusses future applications of lasers in nuclear science, for examplein nuclear astrophysics, isotope generation, nuclear fuel physicsand proton and neutron imaging. 272 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nucleation is the initial step of every first-order phase transition, and most phase transitions encountered both in everyday life and industrial processes are of the first-order. Using an elegant classical theory based on thermodynamics and kinetics, this book provides a fully detailed picture of multi-component nucleation. As many of the issues concerning multi-component nucleation theory have been solved during the last 10-15 years, it also thoroughly integrates both fundamental theory with recent advances presented in the literature.Classical Nucleation Theory in Multicomponent Systems serves as a textbook for advanced thermodynamics courses, as well as an important reference for researchers in the field. The main topics covered are: the basic relevant thermodynamics and statistical physics; modelling a molecular cluster as a spherical liquid droplet; predicting the size and composition of the nucleating critical clusters; kinetic models for cluster growth and decay; calculating nucleation rates; and a full derivation and application of nucleation theorems that can be used to extract microscopic cluster properties from nucleation rate measurements. The assumptions and approximations needed to build the classical theory are described in detail, and the reasons why the theory fails in certain cases are explained. Relevant problems are presented at the end of each chapter. 196 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This textbook presents mathematical models in bioinformatics and describes biological problems that inspire the computer science tools used to manage the enormous data sets involved. The first part of the book covers mathematical and computational methods, with practical applications presented in the second part. The mathematical presentation avoids unnecessary formalism, while remaining clear and precise. The book closes with a thorough bibliography, reaching from classic research results to very recent findings. This volume is suited for a senior undergraduate or graduate course on bioinformatics, with a strong focus on mathematical and computer science background. 396 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges. 216 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods.The 7thissue of the Transactions on Computational Science journal is devoted to core computational science techniques, such as grid computing, advanced numerical methods, and stochastic systems. It has been divided into two parts. The five papers in Part Ifocus on computations of stochastic systems and the four papers in Part II focus on computational methods for complex systems. 184 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Complete course on Intelligent Agent or AI with focus on contemporary and latest AI technologies and developmentCompanion technical reference for agent developers/researchers who would like to adopt the iJADK toolkit to develop their own agent-based applications and projectsThe advanced section on modern ontology and ontological agents serves as research literature for AI researchers who would like to explore the advanced AI/agent topics that involve the contemporary research on ontological agents and applied ontology 396 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Models should be as simple as possible, but no simpler. For the physics of polymeric liquids, whose relevant lengths and time scales are out of reach for first principles calculations, this means that we have to choose a minimum set of sufficiently detailed descriptors such as architecture (linear, ring, branched), connectivity, semiflexibility, stretchability, excluded volume, and hydrodynamic interaction. These 'universal' fluids allow the prediction of material properties under external flow- or electrodynamic fields, the results being expressed in terms of reference units, specific for any particular chosen material. This book provides an introduction to the kinetic theory and computer simulation methods needed to handle these models and to interpret the results. Also included are a number of sample applications and computer codes. 248 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Contains case studies from engineering and operations researchIncludes commented literature for each chapter 384 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches.This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages.This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text. 804 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are pleased to present this set of peer-reviewed papers from the rst MICCAI Workshop on Medical Content-Based Retrieval for Clinical Decision Support. The MICCAI conference has been the agship conference for the m- ical imaging community re ecting the state of the art in techniques of segm- tation, registration, and robotic surgery. Yet, the transfer of these techniques to clinical practice is rarely discussed in the MICCAI conference. To address this gap, we proposed to hold this workshop with MICCAI in London in September 2009. The goal of the workshop was to show the application of content-based retrieval in clinical decision support. With advances in electronic patient record systems, a large number of pre-diagnosed patient data sets are now bec- ing available. These data sets are often multimodal consisting of images (x-ray, CT, MRI), videos and other time series, and textual data (free text reports and structuredclinicaldata). Analyzing thesemultimodalsourcesfordisease-speci c information across patients can reveal important similarities between patients and hence their underlying diseases and potential treatments. Researchers are now beginning to use techniques of content-based retrieval to search for disea- speci c information in modalities to nd supporting evidence for a disease or to automatically learn associations of symptoms and diseases. Benchmarking frameworks such as ImageCLEF (Image retrieval track in the Cross-Language Evaluation Forum) have expanded over the past ve years to include large m- ical image collections for testing various algorithms for medical image retrieval and classi cation. 136 pp. Englisch.