Springer springer mär 2008 (144 risultati)

Buch. Condizione: Neu. Neuware -Computational geometry emerged from the eld of algorithms design and analysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active researchers. The success of the eld as a research discipline can on the one hand be explained from the beauty of the problems studied and the solutions obtained, and, on the other hand, by the many application domains-computer graphics, geographic information systems (GIS), robotics, and others-in which geometric algorithms play a fundamental role. For many geometric problems the early algorithmic solutions were either slow or dif cult to understand and implement. In recent years a number of new algorithmic techniques have been developed that improved and simpli ed many of the previous approaches. In this textbook we have tried to make these modern algorithmic solutions accessible to a large audience. The book has been written as a textbook for a course in computational geometry,but it can also be used for self-study. 386 pp. Englisch.…

Buch. Condizione: Neu. Neuware -Computational geometry emerged from the eld of algorithms design and analysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active researchers. The success of the eld as a research discipline can on the one hand be explained from the beauty of the problems studied and the solutions obtained, and, on the other hand, by the many application domains-computer graphics, geographic information systems (GIS), robotics, and others-in which geometric algorithms play a fundamental role. For many geometric problems the early algorithmic solutions were either slow or dif cult to understand and implement. In recent years a number of new algorithmic techniques have been developed that improved and simpli ed many of the previous approaches. In this textbook we have tried to make these modern algorithmic solutions accessible to a large audience. The book has been written as a textbook for a course in computational geometry,but it can also be used for self-study. 386 pp. Englisch.…

Buch. Condizione: Neu. Neuware -Computational geometry emerged from the eld of algorithms design and analysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active researchers. The success of the eld as a research discipline can on the one hand be explained from the beauty of the problems studied and the solutions obtained, and, on the other hand, by the many application domains-computer graphics, geographic information systems (GIS), robotics, and others-in which geometric algorithms play a fundamental role. For many geometric problems the early algorithmic solutions were either slow or dif cult to understand and implement. In recent years a number of new algorithmic techniques have been developed that improved and simpli ed many of the previous approaches. In this textbook we have tried to make these modern algorithmic solutions accessible to a large audience. The book has been written as a textbook for a course in computational geometry,but it can also be used for self-study.…

Buch. Condizione: Neu. Neuware - Computational geometry emerged from the eld of algorithms design and analysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active researchers. The success of the eld as a research discipline can on the one hand be explained from the beauty of the problems studied and the solutions obtained, and, on the other hand, by the many application domains-computer graphics, geographic information systems (GIS), robotics, and others-in which geometric algorithms play a fundamental role. For many geometric problems the early algorithmic solutions were either slow or dif cult to understand and implement. In recent years a number of new algorithmic techniques have been developed that improved and simpli ed many of the previous approaches. In this textbook we have tried to make these modern algorithmic solutions accessible to a large audience. The book has been written as a textbook for a course in computational geometry,but it can also be used for self-study.…

Buch. Condizione: Neu. Neuware -Computational geometry emerged from the eld of algorithms design and analysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active researchers. The success of the eld as a research discipline can on the one hand be explained from the beauty of the problems studied and the solutions obtained, and, on the other hand, by the many application domains-computer graphics, geographic information systems (GIS), robotics, and others-in which geometric algorithms play a fundamental role. For many geometric problems the early algorithmic solutions were either slow or dif cult to understand and implement. In recent years a number of new algorithmic techniques have been developed that improved and simpli ed many of the previous approaches. In this textbook we have tried to make these modern algorithmic solutions accessible to a large audience. The book has been written as a textbook for a course in computational geometry,but it can also be used for self-study.Springer Nature Customer Service Center GmbH, Europaplatz 3,69115 Heidelberg, Germany, 69115 Heidelberg 386 pp. Englisch.…

Taschenbuch. Condizione: Neu. Neuware - Overturning the common characterization of Seventeenth Century English prose romance as an exhausted, imitative genre with little bearing on the evolution of the novel, this book argues that early modern romance was a central forum for exploring the newly pressing moral-philosophical and political problem of self-interest.…

Buch. Condizione: Neu. Neuware -Computational geometry emerged from the eld of algorithms design and analysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active researchers. The success of the eld as a research discipline can on the one hand be explained from the beauty of the problems studied and the solutions obtained, and, on the other hand, by the many application domains-computer graphics, geographic information systems (GIS), robotics, and others-in which geometric algorithms play a fundamental role. For many geometric problems the early algorithmic solutions were either slow or dif cult to understand and implement. In recent years a number of new algorithmic techniques have been developed that improved and simpli ed many of the previous approaches. In this textbook we have tried to make these modern algorithmic solutions accessible to a large audience. The book has been written as a textbook for a course in computational geometry,but it can also be used for self-study. 386 pp. Englisch.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Eine Projektgruppe des Berufsverbands Kinderkrankenpflege Österreich (BKKÖ) beschäftigte sich sieben Jahre lang mit Pflegediagnosen der NANDA und bearbeitete die bestehenden Diagnosen hinsichtlich relevanter Fragestellungen in der Kinder- und Jugendlichenpflege. Das Ergebnis dieser Projektarbeit wird nun erstmals in Buchform veröffentlicht. Nach einer kurzen Einführung zu den Schwerpunkten in der Kinder- und Jugendlichenpflege werden 36 Pflegediagnosen übersichtlich und gut strukturiert mit Angaben von Definition, bestimmenden Merkmalen, Kennzeichen (Symptome) und möglichen ursächlichen/beeinflussenden Faktoren bzw. Risikofaktoren aufgelistet. Die Erstellung der korrekten Pflegediagnose erleichtert die Beschreibung von realistischen Pflegezielen und notwendigen Pflegemaßnahmen, wobei dieses Buch zahlreiche Vorschläge für die Praxis aufzeigt. Pflegediagnosen, adaptiert für Kinder- und Jugendlichenpflege unterstützen in dieser praktischen und übersichtlichen Form somit die Pflegeplanung und liefern einen wichtigen Beitrag zur Pflegeforschung.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Kelly's pragmatic approach to psychology arose from his clinical practice and has been a strong formative influence on clinical psychology and personality theory. Taking us through the development of Kelly's work and setting it in its historical context, this is a fascinating account of one of the foremost personality theories of the 20th century. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For over fifty years satellites have circled the Earth and spacecraft have been used to explore our solar system. Every day ordinary people around the world use satellites for satellite television, GPS navigation, weather forecasts and other technologies. Many people are curious about how something gets into space - and stays there - and what the terms used in the media actually mean. Also, with the advent of space tourism, some people are starting to wonder if they too could go into space and what it would be like.Here, the author explains the basics of what is involved, from the initial idea to the completion of the mission.The beauty of this text, written by an engineer who is also an accomplished science writer, is that it covers the subject comprehensively, and yet is almost entirely descriptive and non-mathematical.It deals with all aspects of spaceflight, from how to leave the Earth (including the design of the rocket, mission planning, navigation and communication), to life in space and the effects of weightlessness.The book also includes sections describing how an amateur can track satellites and understand their trajectories, and on the future of spaceflight, touching on what is, and what is not, possible given present and expected future technologies. 368 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Numbers have fascinated people for centuries. They are familiar to everyone, forming a central pillar of our understanding of the world, yet the number system was not presented to us ¿gift-wrapped¿ but, rather, was developed over millennia. Peter Higgins distills centuries of work into one delightful narrative that celebrates the mystery of numbers and explains how different kinds of numbers arose and why they are useful. Full of historical snippets and interesting examples, the book ranges from simple number puzzles and magic tricks, to showing how ideas about numbers relate to real-world problems, such as: How are our bank account details kept secure when shopping over the internet What are the chances of winning at Russian roulette; or of being dealt a flush in a poker hand As our understanding of numbers continues to evolve, this book invites us to rediscover the mystery and beauty of numbers and reminds us that the story of numbers is a tale with a long way to run.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Compression is an option naturally selected when faced with problems of high costs or restricted space. This book offers readers a succinct and reader-friendly foundation to the most important topics in the field of data compression. Complete and clear, it is the perfect reference for advanced undergraduates in computer science and requires a minimum of mathematics. An author-maintained website provides readers with errata and auxiliary material. Divided into two parts, Part I presents the basic approaches to data compression and describes a few popular techniques and methods that are commonly used to compress data. The reader will discover essential concepts. Part II concentrates on advanced techniques, such as arithmetic coding, orthogonal transforms, subband transforms and Burrows-Wheeler transform.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 328 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -David Harland opens with a review of the robotic probes, namely the Rangers which returned television before crashing into the Moon, the Surveyors which 'soft landed' in order to investigate the nature of the surface, and the Lunar Orbiters which mapped prospective Apollo landing sites. He then outlines the historic landing by Apollo 11 in terms of what was discovered. He concludes with a review of the robotic spacecraft that made remote-sensing observations of the Moon. The book develops the scientific theme of lunar geology, and therefore will be of use as background reading for undergraduate students of planetary sciences. Highlighted as a 'Commemorative Edition' on the cover, this second edition has a new Foreword by one of the original astronauts and a short extra section at the end previewing the prospect of a renewal of human exploration of the Moon. It includes new extra high quality graphics which are only now available and 32 pages of color illustrations.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -OpenGL Graphics Through Applications is a practical introduction to Computer Graphics with an emphasis on understanding through practice. Throughout the book, theory is followed by implementation using C / C++ and complete programs are provided on the Springer website.A procedural approach has been taken to algorithmic development while taking an object oriented approach when building artefacts from simple objects. The book covers a range of topics including: (1) image processing, (2) artefact construction, (3) introductory animation, (4) texturing, (5) curves surfaces and patterns.Robert Whitrow has taught computing courses from first year undergraduate to postgraduate MSc at a range of different institutions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 348 pp. Englisch. …

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -At the intersection of disruptive and accelerated change in the environment and globalization, business leaders around the world are trying to embrace change and incorporate innovative business models in the basics of their businesses. While innovation in their products and services remain a priority, increasing emphasis is being placed on rethinking how customer value is developed and delivered, rethinking the profit formula and the financial model, and making corresponding changes to the core resources. This book presents new and innovative business models that are increasingly becoming a key to business success in a rapidly changing world. It details new and appropriate analytics, frameworks, insights, and forecasts for strategy and execution.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 344 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The authors of this book clearly explain the potential advantages of using Radio Frequency Identification (RFID) technology in a modern manufacturing and supply chain context. Areas of emphasis include integration of RFID data into legacy IT architectures, RFID-MES-ERP integration, and cost-benefit considerations. The presentation is not restricted to intra-company production planning, but also emphasizes the benefits of inter-company collaboration. Six case studies based on SAP's ERP systems and MPDV's MES solution show how to successfully implement cross-company supply chain integration using RFID technology.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 180 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Intergenerational justice has been achieved if the opportunities of the members of the next generation to fulfill their needs are better than those of the members of the preceding generation. For this, each generation ought to leave for the next generation an amount of resources is at least equal to its own amount.The book deals with the complex relationship between intergenerational justice and demographic change and is characterized by its interdisciplinary approach. The authors come from a multitude of professional backgrounds and from several countries. This illustrates the implications of the demographic shift from many different perspectives. The book deals not only with the aspects of economic policy but also with environmental, societal and philosophical issues. The comprehensive volume is composed of five sections that pinpoint demographic trends, examine the impact of demographic changes on key indicators, investigate the relationship between key indicators and intergenerational justice, scrutinize population policies, and finally propose ways to implement long-term thinking on these issues.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 248 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Requirements and Architectures.- Deriving Non-zeno Behavior Models from Goal Models Using ILP.- What's in a Feature: A Requirements Engineering Perspective.- Formal Approach to Integrating Feature and Architecture Models.- Models, Model Transformations I.- Correctness-Preserving Configuration of Business Process Models.- Consistent Integration of Models Based on Views of Visual Languages.- Translating Model Simulators to Analysis Models.- Conceptual Models, UML.- Orthographic Modeling Environment.- HOL-OCL: A Formal Proof Environment for uml/ocl.- Towards Faithful Model Extraction Based on Contexts.- Leveraging Patterns on Domain Models to Improve UML Profile Definition.- Service Engineering/Adaptable Services.- When Things Go Wrong: Interrupting Conversations.- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services.- Engineering Service Oriented Applications: From StPowla Processes to SRML Models.- Verification and Testing I.- A Logic of Graph Constraints.- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.- Modelling and Verification of Timed Interaction and Migration.- A Model Checking Approach for Verifying COWS Specifications.- Verification and Testing II.- Contextual Integration Testing of Classes.- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms.- Automated Analysis of Permission-Based Security Using UMLsec.- Objects and Components.- Software Quality Improvement Via Pattern Matching.- Object Composition in Scenario-Based Programming.- Regular Inference for State Machines Using Domains with Equality Tests.- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems.-Models, Model Transformations II.- Verification of Architectural Refactorings by Rule Extraction.- Formal Model-Driven Program Refactoring.- An Algebraic Semantics for MOF.- A Formal Framework for Developing Adaptable Service-Based Applications.- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications.- Clint: A Composition Language Interpreter (Tool Paper).Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 448 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Papers.- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming.- On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory.- Substructural Type Systems for Program Analysis.- Refereed Papers.- Integrating Answer Set Reasoning with Constraint Solving Techniques.- Optimizing Compilation of CHR with Rule Priorities.- Constructive Arithmetic.- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base.- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).- Dependent Types.- On-Demand Refinement of Dependent Types.- Proving Properties about Lists Using Containers.- Rewriting.- Termination of Narrowing in Left-Linear Constructor Systems.- Complexity Analysis by Rewriting.- Rewriting and Call-Time Choice: The HO Case.- Program Transformation.- Semantics and Pragmatics of New Shortcut Fusion Rules.- A Generalization of the Folding Rule for the Clark-Kunen Semantics.- Logic and Lambda-Calculus.- Types for Hereditary Head Normalizing Terms.- A New Translation for Semi-classical Theories - Backtracking without CPS.- Types.- Undoing Dynamic Typing (Declarative Pearl).- Typed Dynamic Control Operators for Delimited Continuations.- Strictness Analysis Algorithms Based on an Inequality System for Lazy Types.- Constraints II.- Quantitative Logic Programming Revisited.- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.- Debugging.- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.- EasyCheck - Test Data for Free.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 352 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 324 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 260 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The 11th European Conference on Genetic Programming, EuroGP 2008, took place in Naples, Italy from 26 to 28 March in the University of Naples Congress Centre with spectacular views over the Gulf of Naples. This volume contains the papers for the 21 oral presentations and 10 posters that were presented during this time. A diverse array of topics were covered re ecting the current state of research in the eld of Genetic Programming, including the latest work on representations, theory, operators and analysis, evolvable hardware, agents and numerous applications. A rigorous, double-blind peer review process was employed, with each s- mission reviewed by at least three members of the international Program C- mittee. In total 61 papers were submitted this year, making an acceptance rate of 34% for full papers, and an overall acceptance rate of 51% including posters. S- mission of papers and the reviewing process were greatly assisted by the use of the MyReview management software originally developed by Philippe Rigaux, Bertrand Chardon and other colleagues from the Universit¿e Paris-Sud Orsay, France. We are especially grateful to Marc Schoenauer from INRIA, France for managing this system. Reviewers were asked to nominate keywords specifying their area of expertise, and these keywords were matched to those selected by the authors of the submitted papers with the assistance of the optimal assignment feature of the conference management software.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 392 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Adaptive Tabu Tenure Computation in Local Search.- A Conflict Tabu Search Evolutionary Algorithm for Solving Constraint Satisfaction Problems.- Cooperative Particle Swarm Optimization for the Delay Constrained Least Cost Path Problem.- Effective Neighborhood Structures for the Generalized Traveling Salesman Problem.- Efficient Local Search Limitation Strategies for Vehicle Routing Problems.- Evolutionary Local Search for the Minimum Energy Broadcast Problem.- Exploring Multi-objective PSO and GRASP-PR for Rule Induction.- An Extended Beam-ACO Approach to the Time and Space Constrained Simple Assembly Line Balancing Problem.- Graph Colouring Heuristics Guided by Higher Order Graph Properties.- A Hybrid Column Generation Approach for the Berth Allocation Problem.- Hybrid Metaheuristic for the Prize Collecting Travelling Salesman Problem.- An ILS Based Heuristic for the Vehicle Routing Problem with Simultaneous Pickup and Delivery and Time Limit.- An Immune Genetic Algorithm Based on Bottleneck Jobs for the Job Shop Scheduling Problem.- Improved Construction Heuristics and IteratedLocal Search for the Routing and Wavelength Assignment Problem.- Improving Metaheuristic Performance by Evolving a Variable Fitness Function.- Improving Query Expansion with Stemming Terms: A New Genetic Algorithm Approach.- Inc\*: An Incremental Approach for Improving Local Search Heuristics.- Metaheuristics for the Bi-objective Ring Star Problem.- Multiobjective Prototype Optimization with Evolved Improvement Steps.- Optimising Multiple Kernels for SVM by Genetic Programming.- Optimization of Menu Layouts by Means of Genetic Algorithms.- A Path Relinking Approach with an Adaptive Mechanism to Control Parameters for the Vehicle Routing Problem with Time Windows.- Reactive Stochastic LocalSearch Algorithms for the Genomic Median Problem.- Solving Graph Coloring Problems Using Learning Automata.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 304 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -ThisvolumecontainstheproceedingsoftheInternetofThings(IOT)Conference 2008, the rst international conference of its kind. The conference took place in Zurich,Switzerland, March26¿28,2008. The term ¿Internet of Things¿ hascome to describe a number of technologies and researchdisciplines that enable the - ternet to reach out into the real world of physical objects. Technologies such as RFID, short-range wireless communications, real-time localization, and sensor networks are becoming increasingly common, bringing the ¿Internet of Things¿ into industrial, commercial, and domestic use. IOT 2008 brought together le- ing researchersand practitioners, from both academia and industry, to facilitate the sharing of ideas, applications, and research results. IOT 2008 attracted 92 high-quality submissions, from which the technical program committee accepted 23 papers, resulting in a competitive 25% acc- tance rate. In total, there were over 250 individual authors from 23 countries, representing both academic and industrial organizations. Papers were selected solely on the quality of their blind peer reviews. We were fortunate to draw on the combined experience of our 59 program committee members, coming from the most prestigious universities and research labs in Europe, North America, Asia, and Australia. Program committee members were aided by no less than 63 external reviewers in this rigorous process, in which each committee member wrote about 6 reviews. The total of 336 entered reviews resulted in an average of 3. 7 reviews per paper, or slightly more than 1000 words of feedback for each paper submitted.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 400 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A few years ago, in the Wren Library of Trinity College, Cambridge, I came across a remarkable but then little-known album of pencil and watercolour portraits. The artist of most (perhaps all) was Thomas Charles Wageman. Created during 1829¿1852, these portraits are of pupils of the famous mat- matical tutor William Hopkins. Though I knew much about several of the subjects, the names of others were then unknown to me. I was prompted to discover more about them all, and gradually this interest evolved into the present book. The project has expanded naturally to describe the Cambridge educational milieu of the time, the work of William Hopkins, and the later achievements of his pupils and their contemporaries. As I have taught applied mathematics in a British university for forty years, during a time of rapid change, the struggles to implement and to resist reform in mid-nineteenth-century Cambridge struck a chord of recognition. So, too, did debates about academic standards of honours degrees. And my own experiences, as a graduate of a Scottish university who proceeded to C- bridge for postgraduate work, gave me a particular interest in those Scots and Irish students who did much the same more than a hundred years earlier. As a mathematician, I sometimes felt frustrated at having to suppress virtually all of the ne mathematics associated with this period: but to have included such technical material would have made this a very different book.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 444 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 9¿11, 2008 in Prato, Italy. TAP was the second conference devoted to the convergence of proofs and tests. It combines ideas from both areasfor the advancement of softwarequality. To provethe correctnessof a programis to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a programis to run it with the expectation of discovering bugs. On the surface, the two techniques seem contradictory: if you have proved your program, it is fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up on anyhope of proving its correctness.Accordingly,proofs and tests have,since the onset of software engineering research, been pursued by distinct communities using rather di erent techniques and tools. And yet the development of both approaches leads to the discovery of c- mon issues and to the realization that each may need the other. The emergence of model checking has been one of the rst signs that contradiction may yield to complementarity, but in the past few years an increasing number of research e orts have encountered the need for combining proofs and tests, dropping e- lier dogmatic views of their incompatibility and taking instead the best of what each of these software engineering domains has to o er.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 208 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A Hybrid Random Subspace Classifier Fusion Approach for Protein Mass Spectra Classification.- Using Ant Colony Optimization-Based Selected Features for Predicting Post-synaptic Activity in Proteins.- Generating Linkage Disequilibrium Patterns in Data Simulations Using genomeSIMLA.- DEEPER: A Full Parsing Based Approach to Protein Relation Extraction.- Improving the Performance of Hierarchical Classification with Swarm Intelligence.- Protein Interaction Inference Using Particle Swarm Optimization Algorithm.- Divide, Align and Full-Search for Discovering Conserved Protein Complexes.- Detection of Quantitative Trait Associated Genes Using Cluster Analysis.- Frequent Subsplit Representation of Leaf-Labelled Trees.- Inference on Missing Values in Genetic Networks Using High-Throughput Data.- Mining Gene Expression Patterns for the Discovery of Overlapping Clusters.- Development and Evaluation of an Open-Ended Computational Evolution System for the Genetic Analysis of Susceptibility to Common Human Diseases.- Gene Selection and Cancer Microarray Data Classification Via Mixed-Integer Optimization.- Detection of Protein Complexes in Protein Interaction Networks Using n-Clubs.- Learning Gaussian Graphical Models of Gene Networks with False Discovery Rate Control.- Enhancing Parameter Estimation of Biochemical Networks by Exponentially Scaled Search Steps.- A Wrapper-Based Feature Selection Method for ADMET Prediction Using Evolutionary Computing.- On the Convergence of Protein Structure and Dynamics. Statistical Learning Studies of Pseudo Folding Pathways.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 232 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Probabilistic Inductive Logic Programming.- Formalisms and Systems.- Relational Sequence Learning.- Learning with Kernels and Logical Representations.- Markov Logic.- New Advances in Logic-Based Probabilistic Modeling by PRISM.- CLP( ): Constraint Logic Programming for Probabilistic Knowledge.- Basic Principles of Learning Bayesian Logic Programs.- The Independent Choice Logic and Beyond.- Applications.- Protein Fold Discovery Using Stochastic Logic Programs.- Probabilistic Logic Learning from Haplotype Data.- Model Revision from Temporal Logic Properties in Computational Systems Biology.- Theory.- A Behavioral Comparison of Some Probabilistic Logic Models.- Model-Theoretic Expressivity Analysis.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 356 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Semantics, Parametricity, and Types.- A Sound Semantics for OCaml light .- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices.- Regular Expression Subtyping for XML Query and Update Languages.- Semantics.- A Theory of Hygienic Macros.- A Hybrid Denotational Semantics for Hybrid Systems.- Full Abstraction for Linda.- Practical Programming with Higher-Order Encodings and Dependent Types.- Functional and Logic Programming.- Programming in JoCaml (Tool Demonstration).- Playing with : Constraints and Domain Cooperation.- Typing Safe Deallocation.- Iterative Specialisation of Horn Clauses.- ESOP Invited Talk.- Constructive Mathematics and Functional Programming (Abstract).- Static Analysis.- Ranking Abstractions.- Non-disjunctive Numerical Domain for Array Predicate Abstraction.- Upper Adjoints for Fast Inter-procedural Variable Equalities.- Cover Algorithms and Their Combination.- Security I.- Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract).- Linear Declassification.- Just Forget It - The Semantics and Enforcement of Information Erasure.- Concurrency.- Open Bisimulation for the Concurrent Constraint Pi-Calculus.- The Conversation Calculus: A Model of Service-Oriented Computation.- Inferring Channel Buffer Bounds Via Linear Programming.- ETAPS Invited Talk.- Verification of Higher-Order Computation: A Game-Semantic Approach.- Program Verification.- Verification of Equivalent-Results Methods.- Semi-persistent Data Structures.- A Realizability Model for Impredicative Hoare Type Theory.- Oracle Semantics for Concurrent Separation Logic.- Security II.- CertificateTranslationinAbstractInterpretation.- A Formal Implementation of Value Commitment.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 416 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Keynotes.- Synthesizing FPGA Circuits from Parallel Programs.- From Silicon to Science: The Long Road to Production Reconfigurable Supercomputing.- The von Neumann Syndrome and the CS Education Dilemma.- Programming and Compilation.- Optimal Unroll Factor for Reconfigurable Architectures.- Programming Reconfigurable Decoupled Application Control Accelerator for Mobile Systems.- DNA and String Processing Applications.- DNA Physical Mapping on a Reconfigurable Platform.- Hardware BLAST Algorithms with Multi-seeds Detection and Parallel Extension.- Highly Space Efficient Counters for Perl Compatible Regular Expressions in FPGAs.- Scientific Applications.- A Custom Processor for a TDMA Solver in a CFD Application.- A High Throughput FPGA-Based Floating Point Conjugate Gradient Implementation.- Reconfigurable Computing Hardware and Systems.- Physical Design of FPGA Interconnect to Prevent Information Leakage.- Symmetric Multiprocessor Design for Hybrid CPU/FPGA SoCs.- Run-Time Adaptable Architectures for Heterogeneous Behavior Embedded Systems.- Image Processing.- FPGA-Based Real-Time Super-Resolution on an Adaptive Image Sensor.- A Parallel Hardware Architecture for Image Feature Detection.- Reconfigurable HW/SW Architecture of a Real-Time Driver Assistance System.- Run-Time Behavior.- A New Self-managing Hardware Design Approach for FPGA-Based Reconfigurable Systems.- A Preemption Algorithm for a Multitasking Environment on Dynamically Reconfigurable Processor.- Accelerating Speculative Execution in High-Level Synthesis with Cancel Tokens.- Instruction Set Extension.- ARISE Machines: Extending Processors with Hybrid Accelerators.- The Instruction-Set Extension Problem: A Survey.- Random Number Generation and Financial Computation.- An FPGA Run-Time Parameterisable Log-Normal Random Number Generator.- Multivariate Gaussian Random Number Generator Targeting Specific Resource Utilization in an FPGA.- Exploring Reconfigurable Architectures for Binomial-Tree Pricing Models.- Posters.- Hybrid-Mode Floating-Point FPGA CORDIC Co-processor.- Multiplier-Based Double Precision Floating Point Divider According to the IEEE-754 Standard.- Creating the World's Largest Reconfigurable Supercomputing System Based on the Scalable SGI® Altix® 4700 System Infrastructure and Benchmarking Life-Science Applications.- Highly Efficient Structure of 64-Bit Exponential Function Implemented in FPGAs.- A Framework for the Automatic Generation of Instruction-Set Extensions for Reconfigurable Architectures.- PARO: Synthesis of Hardware Accelerators for Multi-dimensional Dataflow-Intensive Applications.- Stream Transfer Balancing Scheme Utilizing Multi-path Routing in Networks on Chip.- Efficiency of Dynamic Reconfigurable Datapath Extensions - A Case Study.- Online Hardware Task Scheduling and Placement Algorithm on Partially Reconfigurable Devices.- Data Reallocation by Exploiting FPGA Configuration Mechanisms.- A Networked, Lightweight and Partially Reconfigurable Platform.- Neuromolecularware - A Bio-inspired Evolvable Hardware and Its Application to Medical Diagnosis.- An FPGA Configuration Scheme for Bitstream Protection.- Lossless Compression for Space Imagery in a Dynamically Reconfigurable Architecture.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 360 pp. Englisch. …