Springer mär 2004 (208 resultados)

Taschenbuch. Condición: Neu. Neuware -Dieser zweite Band Analysis, der nunmehr in fünfter, korrigierter Auflage vorliegt, behandelt die Differential- und Integralrechnung im Rn sowie Differentialgleichungen und Elemente der Funktionentheorie. Zu seinen Besonderheiten gehören eine neue, einfache Einführung des Lebesgueintegrals und eine Version des Gaußschen Integralsatzes, die Integrationsbereiche in großer Allgemeinheit zugrunde legt. Ein umfangreiches Kapitel ist dem Kalkül der Differentialformen samt Satz von Stokes gewidmet und als Einstieg in die Theorie der differenzierbaren Mannigfaltigkeiten konzipiert. Historische und biographische Anmerkungen bereichern den Text. Zahlreiche Abbildungen und Beispiele unterstützen das Verständnis. Zu jedem Kapitel wird eine Reihe von Aufgaben bereitgestellt. Insgesamt ein Lehrbuch, das sich als Begleittext zu einer Vorlesung wie auch zum Selbststudium hervorragend eignet. 460 pp. Deutsch.…

Taschenbuch. Condición: Neu. Neuware -Dieser zweite Band Analysis, der nunmehr in fünfter, korrigierter Auflage vorliegt, behandelt die Differential- und Integralrechnung im Rn sowie Differentialgleichungen und Elemente der Funktionentheorie. Zu seinen Besonderheiten gehören eine neue, einfache Einführung des Lebesgueintegrals und eine Version des Gaußschen Integralsatzes, die Integrationsbereiche in großer Allgemeinheit zugrunde legt. Ein umfangreiches Kapitel ist dem Kalkül der Differentialformen samt Satz von Stokes gewidmet und als Einstieg in die Theorie der differenzierbaren Mannigfaltigkeiten konzipiert. Historische und biographische Anmerkungen bereichern den Text. Zahlreiche Abbildungen und Beispiele unterstützen das Verständnis. Zu jedem Kapitel wird eine Reihe von Aufgaben bereitgestellt. Insgesamt ein Lehrbuch, das sich als Begleittext zu einer Vorlesung wie auch zum Selbststudium hervorragend eignet. 460 pp. Deutsch.…

Taschenbuch. Condición: Neu. Neuware -Diese Einführung besticht durch zwei ungewöhnliche Aspekte: Sie gibt einen Einblick in die Mathematik als Bestandteil unserer Kultur, und sie vermittelt die Hintergründe der Mathematik vom Schulstoff ausgehend bis zum Niveau von Mathematikvorlesungen im ersten Studienjahr. Die Stoffdarstellung geht vom Aufbau der natürlichen Zahlen aus; der Schwerpunkt liegt aber in den exakten Begründungen der Zahlenbegriffe, der Geometrie der Ebene und der Funktionen einer Veränderlichen. Dabei werden alle Sätze bis hin zum Hauptsatz der Algebra vollständig bewiesen. Der klare Aufbau des Buches mit Stichwortregister wichtiger Begriffe erleichtert das systematische Lernen und Nachschlagen. Die zweite Auflageenthält teilweise ausführliche Darstellungen für die Lösungen der zahlreichen Übungsaufgaben.Da viele Aspekte zur Sprache kommen, die so weder im Unterricht noch im Studium behandelt werden, ergänzt die Einführung ideal den Vorlesungsstoff für Lehramtskandidaten und Diplomstudenten. 405 pp. Deutsch.…

Taschenbuch. Condición: Neu. Neuware - Dieser zweite Band Analysis, der nunmehr in fünfter, korrigierter Auflage vorliegt, behandelt die Differential- und Integralrechnung im Rn sowie Differentialgleichungen und Elemente der Funktionentheorie. Zu seinen Besonderheiten gehören eine neue, einfache Einführung des Lebesgueintegrals und eine Version des Gaußschen Integralsatzes, die Integrationsbereiche in großer Allgemeinheit zugrunde legt. Ein umfangreiches Kapitel ist dem Kalkül der Differentialformen samt Satz von Stokes gewidmet und als Einstieg in die Theorie der differenzierbaren Mannigfaltigkeiten konzipiert. Historische und biographische Anmerkungen bereichern den Text. Zahlreiche Abbildungen und Beispiele unterstützen das Verständnis. Zu jedem Kapitel wird eine Reihe von Aufgaben bereitgestellt. Insgesamt ein Lehrbuch, das sich als Begleittext zu einer Vorlesung wie auch zum Selbststudium hervorragend eignet.…

Taschenbuch. Condición: Neu. Neuware -Diese Einführung besticht durch zwei ungewöhnliche Aspekte: Sie gibt einen Einblick in die Mathematik als Bestandteil unserer Kultur, und sie vermittelt die Hintergründe der Mathematik vom Schulstoff ausgehend bis zum Niveau von Mathematikvorlesungen im ersten Studienjahr. Die Stoffdarstellung geht vom Aufbau der natürlichen Zahlen aus; der Schwerpunkt liegt aber in den exakten Begründungen der Zahlenbegriffe, der Geometrie der Ebene und der Funktionen einer Veränderlichen. Dabei werden alle Sätze bis hin zum Hauptsatz der Algebra vollständig bewiesen. Der klare Aufbau des Buches mit Stichwortregister wichtiger Begriffe erleichtert das systematische Lernen und Nachschlagen. Die zweite Auflage enthält teilweise ausführliche Darstellungen für die Lösungen der zahlreichen Übungsaufgaben.Da viele Aspekte zur Sprache kommen, die so weder im Unterricht noch im Studium behandelt werden, ergänzt die Einführung ideal den Vorlesungsstoff für Lehramtskandidaten und Diplomstudenten.…

Taschenbuch. Condición: Neu. Neuware -Der zweite Band des erfolgreichen Werkes behandelt die Differential- und Integralrechnung im Rn, Mannigfaltigkeiten, Lebesgue-Integral, Fourieranalysis, Kurvenintegrale und vieles mehr. Beispiele, Diagramme und Übungsaufgaben erleichtern das Lernen. 'Diesem klar geschriebenen Lehrbuch ist zu wünschen, dass es in möglichst viele Hände von Mathematik- und Physikstudenten gelangt.'Internationale Mathematische Nachrichten ÖsterreichSpringer Nature Customer Service Center GmbH, Europaplatz 3,69115 Heidelberg, Germany, Heidelberg 460 pp. Deutsch.…

Taschenbuch. Condición: Neu. Neuware -Diese Einführung besticht durch zwei ungewöhnliche Aspekte: Sie gibt einen Einblick in die Mathematik als Bestandteil unserer Kultur, und sie vermittelt die Hintergründe der Mathematik vom Schulstoff ausgehend bis zum Niveau von Mathematikvorlesungen im ersten Studienjahr. Die Stoffdarstellung geht vom Aufbau der natürlichen Zahlen aus; der Schwerpunkt liegt aber in den exakten Begründungen der Zahlenbegriffe, der Geometrie der Ebene und der Funktionen einer Veränderlichen. Dabei werden alle Sätze bis hin zum Hauptsatz der Algebra vollständig bewiesen. Der klare Aufbau des Buches mit Stichwortregister wichtiger Begriffe erleichtert das systematische Lernen und Nachschlagen. Die zweite Auflage enthält teilweise ausführliche Darstellungen für die Lösungen der zahlreichen Übungsaufgaben.Da viele Aspekte zur Sprache kommen, die so weder im Unterricht noch im Studium behandelt werden, ergänzt die Einführung ideal den Vorlesungsstoff für Lehramtskandidaten und Diplomstudenten.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 405 pp. Deutsch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Most people experience some difficulty with writing formal or technical papers. Students, in particular, can experience problems with the requirements of writing papers in psychology. This book is a comprehensive companion to the entire writing process, covering: thinking analytically and critically taking notes organizing information and ideas preparing and planning writing drafts and editingIt emphasizes the principles and logic underlying the thinking and writing process, so that these may be applied to a range of essays, literature reviews and research reports.The book also includes advice and guidance on the reporting of statistics, and on the design, preparation, and use of figures and tables to illustrate research results. It also includes reference material on grammar, punctuation, spelling, abbreviations, and on typing and presentation.For ease of finding relevant material it is organized into parts that relate to various aspects of writing and types of papers, and includes internal cross-references, a checklist of the writing process and examples of good and bad research reports.The Principles of Writing in Psychology is suitable for use at all levels of study and beyond. It is consistent with the 5th edition of the Publication Manual of the American Psychological Association but also covers deviations from this and includes material not included in the manual.T.R. SMYTH held academic appointments at many of Australia's foremost universities, including Charles Sturt University, the University of Adelaide, Flinders University and the University of Canberra. He also authoredThe Psychology Thesis: Research and CourseworkandWriting in Psychology: A Student Guide. 392 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -DILS 2004 (Data Integration in the Life Sciences) is a new bioinformatics wo- shop focusing on topics related to data management and integration. It was motivated by the observation that new advances in life sciences, e. g. , molecular biology, biodiversity, drug discovery and medical research, increasingly depend on bioinformatics methods to manage and analyze vast amounts of highly - verse data. Relevant data is typically distributed across many data sources on the Web and is often structured only to a limited extent. Despite new inter- erability technologies such as XML and web services, integration of data is a highly di cult and still largely manual task, especially due to the high degree of semantic heterogeneity and varying data quality as well as speci c application requirements. The call for papers attracted many submissions on the workshop topics. - ter a carefulreviewing processthe internationalprogramcommittee accepted 13 long and 2 short papers which are included in this volume. They cover a wide spectrum of theoretical and practical issues including scienti c/clinical wo- ows, ontologies, tools/systems, and integration techniques. DILS 2004 also f- tured two keynote presentations, by Dr. Thure Etzold (architect of the leading integration platform SRS, and president of Lion Bioscience, Cambridge, UK) and Prof. Dr. Svante Pa abo (Director, Max Planck Institute for Evolutionary Anthropology, Leipzig). The workshop took place during March 25 26, 2004, in Leipzig, Germany, and was organized by the Interdisciplinary Bioinformatics Center (IZBI) of the Universityof Leipzig. 236 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From the Reviews:'Gihman and Skorohod have done an excellent job of presenting the theory in its present state of rich imperfection.'D.W. Stroock in Bulletin of the American Mathematical Society, 1980'To call this work encyclopedic would not give an accurate picture of its content and style. Some parts read like a textbook, but others are more technical and contain relatively new results. . The exposition is robust and explicit, as one has come to expect of the Russian tradition of mathematical writing. The set when completed will be an invaluable source of information and reference in this ever-expanding field'K.L. Chung in American Scientist, 1977'The dominant impression is of the authors' mastery of their material, and of their confident insight into its underlying structure. .'J.F.C. Kingman in Bulletin of the London Mathematical Society, 1977 456 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Quantum probability and the theory of operator algebras are both concerned with the study of noncommutative dynamics. Focusing on stationary processes with discrete-time parameter, this book presents (without many prerequisites) some basic problems of interest to both fields, on topics including extensions and dilations of completely positive maps, Markov property and adaptedness, endomorphisms of operator algebras and the applications arising from the interplay of these themes. Much of the material is new, but many interesting questions are accessible even to the reader equipped only with basic knowledge of quantum probability and operator algebras.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 180 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Constructible and perverse sheaves are the algebraic counterpart of the decomposition of a singular space into smooth manifolds, a great geometrical idea due to R. Thom and H. Whitney. These sheaves, generalizing the local systems that are so ubiquitous in mathematics, have powerful applications to the topology of such singular spaces (mainly algebraic and analytic complex varieties).This introduction to the subject can be regarded as a textbook on modern algebraic topology, treating the cohomology of spaces with sheaf (as opposed to constant)coefficients.The first 5 chapters introduce derived categories, direct and inverse images of sheaf complexes, Verdier duality, constructible and perverse sheaves, vanishing and characteristic cycles. They also discuss relations to D-modules and intersection cohomology. Later chapters apply this powerful tool to the study of the topology of singularities, polynomial functions and hyperplane arrangements.Some fundamental results, for which excellent sources exist, are not proved but just stated and illustrated by examples and corollaries. In this way, the reader is guided rather quickly from the basic theory to current research questions, supported in this by examples and exercises. 260 pp. Englisch. …

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This text discusses the basic characteristics of multimedia document handling, programming, security, human computer interfaces, and multimedia application services. The overall goal of the book is to provide a broad understanding of multimedia systems and applications in an integrated manner: a multimedia application and its user interface must be developed in an integrated fashion with underlying multimedia middleware, operating systems, networks, security, and multimedia devices.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 264 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Theseproceedingscontaintherefereedfulltechnicalpaperspresentedatthe26th Annual European Conference on Information Retrieval (ECIR 2004). ECIR is theannualconferenceoftheBritishComputerSociety¿sspecialistgroupinInf- mation Retrieval. This year the conference was held at the School of Computing and Technology at the University of Sunderland. ECIR began life as the - nual Colloquium on Information Retrieval Research. The colloquium was held in the UK each year until 1998 when the event was held in Grenoble, France. Since then the conference venue has alternated between the United Kingdom and Continental Europe, and the event was renamed the European Conference on Information Retrieval. In recent years, ECIR has continued to grow and has become the major European forum for the discussion of research in the eld of Information Retrieval. To mark this metamorphosis from a small informal c- loquium to a major event in the IR research calendar, the BCS-IRSG decided to rename the event to the European Conference on Information Retrieval. ECIR2004received88fullpapersubmissions,fromacrossEuropeandfurther a eldincludingNorthAmerica,ChinaandAustralia,atestamenttothegrowing popularity and reputation of the conference. Out of the 88 submitted papers, 28 were accepted for presentation. All papers were reviewed by at least three reviewers. Among the accepted papers 11 have a student as the primary author, illustrating that the traditional student focus of the original colloquium is alive today.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 440 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This is not a science book, nor even a book about science, although most of the contributors are scientists. It is a book of personal stories about Walter Kohn, a theoretical physicist and winner of half of the 1998 Nobel Prize in Chemistry. Walter Kohn originated and/or refined a number of very important theoretical approaches and concepts in solid-state physics. He is known in particular for Density-Functional Theory. This book represents a kind of 'oral history' about him, gathered - in anticipation of his 80th birthday - from former students, collaborators, fellow-scientists, and friends.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 328 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Diagrams in the Mind and in the World: Relations between Internal and External Visualizations.- Can Diagrams Have Epistemic Value The Case of Euclid.- Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations.- On Frege's Logical Diagrams.- Psychological Foundations for Concept Modeling.- On Differences between the Real and Physical Plane.- Query Graphs with Cuts: Mathematical Foundations.- Towards aDefault Reading for Constraint Diagrams.- Drawing Graphs in Euler Diagrams.- Diagrams and Non-monotonicity in Puzzles.- Peirce's Diagrammatic Logic in IF Perspective.- What Can Spider Diagrams Say .- Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets.- On Extending Venn Diagram by Augmenting Names of Individuals.- Reasoning with Projected Contours.- An Architecture for Problem Solving with Diagrams.- Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams.- Automated Model Transformation and Its Validation Using AToM3 and AGG.- Inter-diagrammatic Reasoning and Digital Geometry.- A Prototype Inference Engine for Rule-Based Geometric Reasoning.- Automatic Proofs for Scalecharts.- Diagram Schemas: What, Why, How.- Roles of Diagrammatic Information for the Discovery of Geometrical Theorems.- Interpreting Imprecise Diagrams.- Why Diagrams Are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing.- Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics.- Individual Differences in Graphical Reasoning.- Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction.- Predictors of Success in Diagrammatic Problem Solving.- Speech and Graphical Interaction in Multimodal Communication.- Generating NewResearch Hypotheses from aResult Diagram of Qualitative Research.- Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion .- Learning with Diagrams: Effects on Inferences and the Integration of Information.- Making TRACS: The Diagrammatic Design of a Double-Sided Deck.- A Cognitive Processing Perspective on Student Programmers' 'Graphicacy'.- Using Graphics to Communicate Across Cultures.- The Effect of Knowledge-of-External-Representations upon Performance and Representational Choice in aDatabase Query Task.- User-Controllable Animated Diagrams: The Solution for Learning Dynamic Content .- Processing Animation: Integrating Information from Animated Diagrams.- A Training Program to be Perceptually Sensitive and Conceptually Productive through Meta-cognition: A Case Study.- Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour .- Spatial Transformations in Graph Comprehension.- Constructing Diagrams Representing Group Motions.- Bar-Gain Boxes: An Informative Illustration of the Pairing Problem.- Bayesian Boxes: A Colored Calculator for Picturing Posteriors.- Representing Rosters: Conceptual Integration Counteracts Visual Complexity.- Visualization Techniques for Product Change and Product Modelling in Complex Design.- Geographic Projection of Cluster Composites.- Decision Diagrams in Machine Learning: An Empirical Study on Real-Life Credit-Risk Data.- Feature Diagrams in Phonology.- Using Color Component Overlays for Result Visualization in aClassification by Sketch System.- Teaching Children Brackets by Manipulating Trees: Is Easier Harder .- Cider: AComponent-Based Toolkit for Creating Smart Diagram Environments.- Diagrammatic Spreadsheet: An Overview.- Perceptual Support of Diagram Creation and Editing.-ScanScribe: Perceptually Supported Diagram Image Editing.- An Experimental Comparison of Diagrammatic and Algebraic Logics.- Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition.- Selected Aspects of Customization of Cognitive Dimensions for Evaluation of Visual Mod.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -On the Autocorrelation of Cyclotomic Generators.- The Weierstrass Semigroup of an m-tuple of Collinear Points on a Hermitian Curve.- On Cyclic Top-Associative Generalized Galois Rings.- Linear Recurrences with Polynomial Coefficients and Computation of the Cartier-Manin Operator on Hyperelliptic Curves.- Mutual Irreducibility of Certain Polynomials.- Lattice Profile and Linear Complexity Profile of Pseudorandom Number Sequences.- Symplectic Spreads and Permutation Polynomials.- What Do Random Polynomials over Finite Fields Look Like .- Combinatorics of the Two-Variable Zeta Function.- Constructions of Mutually Unbiased Bases.- A Construction of Matrices with No Singular Square Submatrices.- Everywhere Ramified Towers of Global Function Fields.- On the Construction of Some Towers over Finite Fields.- The Covering Radius of Some Primitive Ternary BCH Codes.- The Gray Map on GR(p 2, n) and Repeated-Root Cyclic Codes.- Primitive Polynomials over Small Fields.- Vectorial Functions and Covering Sequences.- u q -Sharp Subsets of a Finite Field.- Cyclic Decomposition of Permutations of Finite Fields Obtained Using Monomials.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 276 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal - gor in the de nition of data types, the computer arithmetic, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing interval we compute. If the enclosure is narrow, we are certain that the result can be used. Otherwise, we have a clear warning that the uncertainty of input values might be large and the algorithm and the model have to be improved. The use of interval data types and al- rithms with controlled rounding and result veri cation capture uncertainty in modeling and problem formulation, in model parameter estimation, in algorithm truncation, in operation round-o , and in model interpretation. The techniques of validated computing have proven their merits in many scienti c and engineering applications. They are based on solid and interesting theoretical studies in mathematics and computer science. Contributions from elds including real, complex and functional analysis, semigroups, probability, statistics,fuzzyintervalanalysis,fuzzylogic,automaticdi erentiation,computer hardware, operating systems, compiler construction, programming languages, object-oriented modeling, parallel processing, and software engineering are all essential.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 332 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Scientific and Clinical Workflows.- An Ontology-Driven Framework for Data Transformation in Scientific Workflows.- PROVA: Rule-Based Java-Scripting for a Bioinformatics Semantic Web.- Process Based Data Logistics: a Solution for Clinical Integration Problems.- Ontologies and Taxonomies.- Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework.- A Universal Character Model and Ontology of Defined Terms for Taxonomic Description.- On the Application of Formal Principles to Life Science Data: a Case Study in the Gene Ontology.- Indexing and Clustering.- Index-Driven XML Data Integration to Support Functional Genomics.- Heterogeneous Data Integration with the Consensus Clustering Formalism.- Integration Tools and Systems.- LinkSuiteTM: Formally Robust Ontology-Based Data and Information Integration.- BioDataServer: an Applied Molecular Biological Data Integration Service.- Columba: Multidimensional Data Integration of Protein Annotations.- Integration Techniques.- On the Integration of a Large Number of Life Science Web Databases.- Efficient Techniques to Explore and Rank Paths in Life Science Data Sources.- Links and Paths through Life Sciences DataSources.- Pathway and Protein Interaction Data: from XML to FDM Database.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 236 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Advances in networking technology have revitalized the investigation of agent technologyasapromisingparadigmforengineeringcomplexdistributedsoftware systems. Agent technology has been applied to a wide range of application - mains, including e-commerce, human-computer interfaces, telecommunications, and software assistants. Multi-agent systems (MASs) and their underlying t- ories provide a more natural support for ensuring important properties such as autonomy, mobility, environment heterogeneity, organization, openness, and intelligence. As a consequence, agent-based systems are likely to provide new - proaches to dealing with the complexity of developing and maintaining modern software. However, developing robust large-scale agent-based systems will - quire new software engineering approaches. There are currently many methods and techniques for working with individual agents or with systems built using only a few agents. Unfortunately, agent-based software engineering is still in its infancy and existing software engineering approaches are unable to cope with large MASs. The complexity associated with a large MAS is considerable. When a huge number of agents interact over heterogeneous environments, various phenomena occur which are not as easy to capture as when only a few agents are working together. As the multiple software agents are highly collaborative and operate in networked environments, they have to be context-aware and deal with - vironment uncertainty. This makes their coordination and management more di cult and increases the likelihood of exceptional situations, such as security holes, privacy violations, and unexpected global e ects. Moreover, as users and softwareengineersdelegatemoreautonomytotheirMASs,andputmoretrustin their results, new concernsarise in real-life applications.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 296 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues inv- ved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 548 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The CC program committee is pleased to present this volume with the p- ceedings of the 13th International Conference on Compiler Construction (CC 2004). CC continues to provide an exciting forum for researchers, educators, and practitioners to exchange ideas on the latest developments in compiler te- nology, programming language implementation, and language design. The c- ference emphasizes practical and experimental work and invites contributions on methods and tools for all aspects of compiler technology and all language paradigms. This volume serves as the permanent record of the 19 papers accepted for presentation at CC 2004 held in Barcelona, Spain, during April 1¿2, 2004. The 19 papers in this volume were selected from 58 submissions. Each paper was assigned to three committee members for review. The program committee met for one day in December 2003 to discuss the papers and the reviews. By the end of the meeting, a consensus emerged to accept the 19 papers presented in this volume. However, there were many other quality submissions that could not be accommodated in the program; hopefully they will be published elsewhere. ThecontinuedsuccessoftheCCconferenceserieswouldnotbepossiblewi- out the help of the CC community. I would like to gratefully acknowledge and thank all of the authors who submitted papers and the many external reviewers who wrote reviews.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 328 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Where is system architecture heading The special interest group on Computer and Systems Architecture (Fachausschuss Rechner- und Systemarchitektur) of the German computer and information technology associations GI and ITG a- ed this question and discussed it during two Future Workshops in 2002. The result in a nutshell: Everything will change but everything else will remain. Future systems technologies will build on a mature basis of silicon and IC technology,onwell-understoodprogramminglanguagesandsoftwareengineering techniques, and on well-established operating systems and middleware concepts. Newer and still exotic but exciting technologies like quantum computing and DNA processing are to be watched closely but they will not be mainstream in the next decade. Although there will be considerable progress in these basic technologies, is there any major trend which uni es these diverse developments There is a common denominator ¿ according to the result of the two - ture Workshops ¿ which marks a new quality. The challenge for future systems technologies lies in the mastering of complexity. Rigid and in exible systems, built under a strict top-down regime, have reached the limits of manageable complexity, as has become obvious by the recent failure of several large-scale projects. Nature is the most complex system we know, and she has solved the problem somehow. We just haven¿t understood exactly how nature does it. But it is clear that systems designed by nature, like an anthill or a beehive or a swarm of birds or a city, are di erent from today¿s technical systems that have beendesignedbyengineersandcomputerscientists.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 356 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the post-proceedings of the DIMACS/RECOMB Satellite Workshop on Computational Methods for SNPs and Haplotype Inference held in Piscataway, NJ, USA, in November 2002.The book presents ten revised full papers as well as abstracts of the remaining workshop papers. All relevant current issues in computational methods for SNP and haplotype analysis and their applications to disease associations are addressed.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 168 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume of the LNCS series contains the proceedings of the 5th Internat- nal Working Conference on Active Networks (IWAN 2003) held in the ancient cultural city of Kyoto, Japan. This year we received 73 submissions. The increasing number indicates that Active Networks continues to be an attractive eld of research. Through - reful reviewing and discussion, our program committee decided to fully accept 21 papers. Three papers were conditionally accepted, and were included after shepherding by members of the technical program committee. This volume thus includes these 24 papers which were presented at IWAN 2003. Additional papers were presented in a poster session at the conference. The best paper award went to Kenneth L. Calvert, James N. Gri oen, - jati Imam, and Jiangbo Li (University of Kentucky) for ¿Challenges in Imp- menting an ESP Service,¿ which begins these proceedings and which began the papers in the High Performance & Network Processors session. Papers in these proceedings are organized into seven sessions: High-Level Active Network - plications, Low-Level Active Network Applications, Self-Organization of Active Services, Management in Active Networks, Experiences with Service Engin- ring for Active Networks, and Selected Topics in Active Networks, ranging from risk management to context-aware handover and peer-to-peer communications.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 328 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -EvoCOP Contributions.- Mutation Multiplicity in a Panmictic Two-Strategy Genetic Algorithm.- Solving the Vehicle Routing Problem by Using Cellular Genetic Algorithms.- Landscape Regularity and Random Walks for the Job-Shop Scheduling Problem.- A Comparison of Adaptive Operator Scheduling Methods on the Traveling Salesman Problem.- AntPacking - An Ant Colony Optimization Approach for the One-Dimensional Bin Packing Problem.- Scatter Search and Memetic Approaches to the Error Correcting Code Problem.- A Hybrid Evolutionary Algorithm for Solving the Register Allocation Problem.- Parallel Ant Systems for the Capacitated Vehicle Routing Problem.- A Hierarchical Social Metaheuristic for the Max-Cut Problem.- On the Structure of Sequential Search: Beyond 'No Free Lunch'.- Dealing with Solution Diversity in an EA for Multiple Objective Decision Support - A Case Study.- A Study into Ant Colony Optimisation, Evolutionary Computation and Constraint Programming on Binary Constraint Satisfaction Problems.- Binary Merge Model Representation of the Graph Colouring Problem.- Hardness Prediction for the University Course Timetabling Problem.- Hybrid Estimation of Distribution Algorithm for Multiobjective Knapsack Problem.- On the Use of Path Relinking for the - Hub Median Problem.- Solving a Real-World Glass Cutting Problem.- Designing Reliable Communication Networks with a Genetic Algorithm Using a Repair Heuristic.- Improving Vehicle Routing Using a Customer Waiting Time Colony.- New Benchmark Instances for the QAP and the Experimental Analysis of Algorithms.- Improving Edge Recombination through Alternate Inheritance and Greedy Manner.- Clustering Nominal and Numerical Data: A New DistanceConceptforaHybridGeneticAlgorithm.- On Search Space Symmetry inPartitioning Problems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 256 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Big Queues aims to give a simple and elegant account of how large deviations theory can be applied to queueing problems. Large deviations theory is a collection of powerful results and general techniques for studying rare events, and has been applied to queueing problems in a variety of ways. The strengths of large deviations theory are these: it is powerful enough that one can answer many questions which are hard to answer otherwise, and it is general enough that one can draw broad conclusions without relying on special case calculations.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 272 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -On behalf of the PROFES organizing committee we are proud to present to you the proceedings of the 5th International Conference on Product Focused Software Process Improvement (PROFES 2004), held in Kansai Science City, Japan. Since 1999, PROFES has established itself as one of the recognized international process improvement conferences. In 2004 the conference left Europe for the first time and moved to Japan. Japan and its neighboring countries are intensifying their efforts to improve software engineering excellence, so it was a logical step to select Japan as the venue for PROFES 2004. The purpose of the conference is to bring to light the most recent findings and results in the area and to stimulate discussion between researchers, experienced professionals, and technology providers. The large number of participants coming from industry confirms that the conference provides a variety of up-to-date topics and tackles industry problems. The main theme of PROFES is professional software process improvement (SPI) motivated by product and service quality needs. SPI is facilitated by software process assessment, software measurement, process modeling, and technology transfer. It has become a practical tool for quality software engineering and management. The conference addresses both the solutions found in practice and the relevant research results from academia. This is reflected in the 41 full papers, which are a balanced mix of academic papers as well as industrial experience reports.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 600 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Papers.- A Brief Survey of Quantum Programming Languages.- Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.- Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework.- Refereed Papers Logic and Functional-Logic Programming.- Online Justification for Tabled Logic Programs.- Constructive Intensional Negation.- Analysing Definitional Trees: Looking for Determinism.- Applications.- : a Declarative Debugging Tool for Functional-Logic Languages.- LIX: an Effective Self-applicable Partial Evaluator for Prolog.- Program Analysis.- Multivariant Non-failure Analysis via Standard Abstract Interpretation.- Set-Sharing Is Not Always Redundant for Pair-Sharing.- Backward Pair Sharing Analysis.- Rewriting.- Implementing Natural Rewriting and Narrowing Efficiently.- Complete Axiomatization of an Algebraic Construction of Graphs.- Sub-Birkhoff.- Types and Modules.- Relaxing the Value Restriction.- Rigid Mixin Modules.- Logic and Semantics.- Semantics of Linear Continuation-Passing in Call-by-Name.- A Direct Proof of Strong Normalization for an Extended Herbelin's Calculus.- Functional Programming.- Normalization by Evaluation for 2.- Basic Pattern Matching Calculi: a Fresh View on Matching Failure.- Derivation of Deterministic Inverse Programs Based on LR Parsing.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 324 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Keynote Addresses.- Addressing the Data Problem: The Legal Framework Governing Forensics in an Online Environment.- KAoS: A Policy and Domain Services Framework for Grid Computing and Semantic Web Services.- W5: The Five W's of the World Wide Web.- Full Papers.- A Case for Evidence-Aware Distributed Reputation Systems.- Enhanced Reputation Mechanism for Mobile Ad Hoc Networks.- Pinocchio: Incentives for Honest Participation in Distributed Trust Management.- History-Based Signature or How to Trust Anonymous Documents.- Trading Privacy for Trust.- Supporting Privacy in Decentralized Additive Reputation Systems.- Engineering Trust Based Collaborations in a Global Computing Environment.- Analysing the Relationship between Risk and Trust.- Using Risk Analysis to Assess User Trust.- E-notebook Middleware for Accountability and Reputation Based Trust in Distributed Data Sharing Communities.- Requirements Engineering Meets Trust Management.- Towards Dynamic Security Perimeters for Virtual Collaborative Networks.- Human Experiments in Trust Dynamics.- Using Trust in Recommender Systems: An Experimental Analysis.- Modeling Controls for Dynamic Value Exchanges in Virtual Organizations.- Analyzing Correlation between Trust and User Similarity in Online Communities.- Trust Development and Management in Virtual Communities.- Managing Internet-Mediated Community Trust Relations.- Reasoning About Trust: A Formal Logical Framework.- Trust Mediation in Knowledge Management and Sharing.- Enhanced Accountability for Electronic Processes.- Short Papers and Experience Reports.- The Use of Formal Methods in the Analysis of Trust (Position Paper).- Computing Recommendations to Trust.- Picking Battles: The Impact of Trust Assumptions on the Elaboration of Security Requirements.- Towards TrustRelationship Planning for Virtual Organizations.- Trust, Security, and Contract Management Challenges for Grid-Based Application Service Provision.- Deploying Trust Policies on the Semantic Web.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 396 pp. Englisch.…