Product Type
Condition
Binding
Collectible Attributes
Seller Location
Seller Rating
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540200630ISBN 13: 9783540200635
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 484 pp. Deutsch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540203397ISBN 13: 9783540203391
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph develops the Gröbner basis methods needed to perform efficient state-of- the-art calculations in the cohomology of finite groups. Results obtained include the first counterexample to the conjecture that the ideal of essential classes squares to zero. The context is J.F. Carlson's minimal resolutions approach to cohomology computations. 156 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540203931ISBN 13: 9783540203933
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Alles, was Sie für Ihre Arzneimittelauswahl und -therapie wissen müssen - knapp und alltagsnah:- Grundlagen und Wirkstoffe- Indikationen, Risiken, Nebenwirkungen- Patientenbetreuung und Patiententipps 136 pp. Deutsch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540201416ISBN 13: 9783540201410
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Schwerpunktthemen des diesjährigen Workshops sind: verteilte Echzeitsysteme, u.a. Engineering, Diagnose und Wartung, Internet, Funknetze, Datenhaltung und Anwendungen z.B. aus der Robotik, außerdem Exponate und PEARL und Echtzeitprogrammierung in der Ausbildung. Vorträge und Workshops zu diesen Themen über praktischen Einsatz, Methoden, Erfahrungen und Ausblicke bilden den Inhalt dieses Bandes. 128 pp. Deutsch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540059237ISBN 13: 9783540059233
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Functions in R and C, including the theory of Fourier series, Fourier integrals and part of that of holomorphic functions, form the focal topic of these two volumes. Based on a course given by the author to large audiences at Paris VII University for many years, the exposition proceeds somewhat nonlinearly, blending rigorous mathematics skilfully with didactical and historical considerations. It sets out to illustratethe variety of possible approaches to the main results, in order to initiate the reader to methods, the underlying reasoning, and fundamental ideas. It is suitable for both teaching and self-study. In his familiar, personal style, the author emphasizes ideas over calculations and, avoiding the condensed style frequently found in textbooks, explains these ideas without parsimony of words. The French edition in four volumes, published from 1998, has met with resounding success: the first two volumes are now available in English. 460 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540203060ISBN 13: 9783540203063
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is devoted to optimal syntheses in control theory and focuses on minimum time on 2-D manifolds. The text outlines examples of applicability, introduces geometric methods in control theory, and analyzes single input systems on 2-D manifolds including classifications of optimal syntheses and feedbacks, their singularities, extremals projection and minimum time singularities. Various extensions and applications are also illustrated. 280 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540203583ISBN 13: 9783540203582
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Opening new directions in research in both discrete event dynamic systems as well as in stochastic control, this volume focuses on a wide class of control and of optimization problems over sequences of integer numbers. This is a counterpart of convex optimization in the setting of discrete optimization. The theory developed is applied to the control of stochastic discrete-event dynamic systems. Some applications are admission, routing, service allocation and vacation control in queuing networks. Pure and applied mathematicians will enjoy reading the book since it brings together many disciplines in mathematics: combinatorics, stochastic processes, stochastic control and optimization, discrete event dynamic systems, algebra. 332 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540204873ISBN 13: 9783540204879
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Modelling with Words is an emerging modelling methodology closely related to the paradigm of Computing with Words introduced by Lotfi Zadeh.This book is an authoritative collection of key contributions to the new concept of Modelling with Words. A wide range of issues in systems modelling and analysis is presented, extending from conceptual graphs and fuzzy quantifiers to humanist computing and self-organizing maps. Among the core issues investigated are- balancing predictive accuracy and high level transparency in learning- scaling linguistic algorithms to high-dimensional data problems- integrating linguistic expert knowledge with knowledge derived from data- identifying sound and useful inference rules- integrating fuzzy and probabilistic uncertainty in data modelling 248 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540203796ISBN 13: 9783540203797
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recent advances in techniques and understanding in the fields of genetics, embryology and reproductive biology have opened up new ways to treat a wide range of medical problems. They range from new options for infertility treatment and pre-implantation genetic diagnosis to stem-cell-based therapies for debilitating diseases. Since all these approaches involve the manipulation of human gametes, embryos or embryonic cells, and could also permit more contentious uses, they have stimulated a controversial debate as to what aims are desirable and to what extent experiments on human embryos are morally permissible, if permissible at all. The situation is further complicated by the fact that scientific projects are increasingly realized through international co-operation and that patients are increasingly ready to seek morally contentious medical treatment wherever it is available and thus to bypass national legislation. In view of this situation the Europäische Akademie assembled a temporary interdisciplinary project group in which scientists from universities and non-university research organizations in Europe working on the relevant subjects were brought together and charged with establishing a knowledge base and providing suggestions for long-term solutions that would be acceptable for society. Presented here are the results of this project, ranging from a discussion of the theoretical and practical possibilities in human-embryo experimentation and its alternatives in research on adult stem cells, a comparison of the situations and prospects of regulation of embryo research in Europe, a survey of European public attitudes, and a philosophical analysis of the arguments and argumentative strategies used in the debate. 448 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205381ISBN 13: 9783540205388
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume, Petri Net Technology for Communication-Based Systems, is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious well-established and new Petri net notions and techniques can be used for m- elingcommunication-basedsystems,withspecialfocusonwork owmanagement and business processes. In the last 6 years this topic has been studied by the DFG Forschergruppe Petri Net Technology in Berlin in close cooperation with the international c- munity. The main results of this cooperation were presented at the 1st and 2nd InternationalColloquiaonPetriNetTechnologiesforModelingCommunication- Based Systems, held in Berlin in 1999 and 2001,respectively. A careful selection of contributions by members of the DFG Forschergruppe and by international experts in this eld are presented in this volume. Taking into account the fru- ful discussions during the two colloquia and the cross-refereeing process for the accepted papers, a high degree of common understanding was achieved, leading to a highly comprehensive presentation in this volume. The topics of the papers in this volume can be roughly classi ed into the following two areas: Petri net technology and application to communication-based systems. Since most papers comprise aspects of both areas, we chose an alphabetic order. However, in the following we give a rough overview of the contributions in both areas according to the main focus of the corresponding papers. 476 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205292ISBN 13: 9783540205296
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 332 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205896ISBN 13: 9783540205890
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -When we set about organizing EPIA 2003 in Porto during the APPIA meeting at the previous edition of the conference, EPIA 2001, it was decided that it would be organized by Fernando Moura Pires (Faj e) and myself. We chose Beja as the venue to host the conference, as it provided a good support infrastructure and Fernando had a good working relationship with several people at the Beja Polytechnic Institute. Shortly thereafter, Fernando came to know that he was ailing from a disease thatwastotakehislifeinMay2003.Aswithmanyotherprojectsinwhichhegot involved, Fernando clung to the organization of this conference with dedication and perseverance, even while knowing that he might not see the results of his work. EPIA 2003 is a tribute to his work. Taking up on the successful experience gained from EPIA 2001, we decided to structure EPIA 2003 as a set of ve distinct workshops, roughly re ecting the panorama of AI research in Portugal. Special thanks are due to the organizers of each workshop, for the quality and timeliness of the work they carried out. The conference was all the more interesting because of the eight invited p- sentations and tutorials, by Alexander Bockmayr, Am lcar Cardoso, Dario F- reano,HaroldBoley,PedroDomingos,PieterAdriaans,VeronicaDahlandVitor Santos Costa. There are short one-page abstracts included in these proceedings for some of these presentations. 524 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 354040483XISBN 13: 9783540404835
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ohstu and Kobayashi crafted Optical Near Fields on the basis of their hypothesis that the full potential for utilizing optical near fields can be realized only with novel nanometric processing, functions, and manipulation, i.e., by controlling the intrinsic interaction between nanometer-sized optical near fields and material systems, and further, atoms. The book presents physically intuitive concepts and theories for students, engineers, and scientists engaged in research in nanophotonics and atom photonics. 220 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205373ISBN 13: 9783540205371
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains selected papers from WADT 2002, the 16th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2002 focussed on the algebraic approach to the speci cation and development of systems, an area that was born around the algebraic speci cation of abstract data types and encompasses today the formal design of software systems, new speci cation frameworks and a wide range of application areas. WADT 2002 took place at the convent of Frauenchiemsee, Germany, on September 24 27, 2002, and was organized by Rolf Hennicker, Dirk Pattinson and Martin Wirsing. The workshop also included a special track on Formalism, Logic, Institution Relating, Translating and Structuring (FLIRTS), and three satelliteevents:ameetingoftheIFIP WorkingGroup1.3onFoundationsofS- tem Speci cation, a Workshop on Global Computing organized by the AGILE project, and a Workshop on Multimedia Instruction in Safe and Secure Systems (MMISS). The program consisted of invited talks by Egidio Astesiano (Genoa, Italy), Andrew Gordon (Cambridge, UK), and Jan Rutten (Amsterdam, The Neth- lands), and 44 presentations describing ongoing research on main topics of the workshop: formal methods for system development, speci cation languages and methods, systems and techniques for reasoning about speci cations, speci - tion development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations. 472 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540202463ISBN 13: 9783540202462
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Operator Functions and Localization of Spectra is the first book that presents a systematic exposition of bounds for the spectra of various linear nonself-adjoint operators in a Hilbert space, having discrete and continuous spectra. In particular bounds for the spectra of integral, differential and integro-differential operators, as well as finite and infinite matrices are established. Thevolume also presents a systematic exposition of estimates for norms of operator-valued functions and their applications. 276 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205918ISBN 13: 9783540205913
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The theme of the 4th International Workshop on Learning Software Organizations (LSO 2002) was 'BalancingAgile Processes and Long-Term Learning in Software - ganizations.'The LSOWorkshop series focuses on technical, organizational, and social solutions to problems of learning from past experiences and codifying the resulting best practicessotheycanbesystematicallyusedinsubsequentsoftwaredevelopmentefforts. Through paper presentations, panels, and discussions, the workshop explored the issues of managing knowledge in dynamic domains requiring signi cant differences betweenorganizationsandbetweenprojects.Challengesdiscussedrangedfromrealistic assumptions on the added documentation burden LSO techniques may require to how effectively repositories have been used in the past to the team and social issues involved in applying solutions created by others. Experience-based approaches were discussed extensively and some reports of initial successes were given along with some instances where the experience base was underutilized. Enabling organizational learning involves more than repositories, search engines, and training. At its core, it involves creating new work practices that value current practices while searching for improvements. The issues involved are both technical and behavioral,aseffectivetechnologymayenticeutilization,butexperiencehasshownthat other factors weigh in just as heavily. There are currently no profound or nal answers on these questions, nor are they expected for some time to come, if at all. Hence the need for continued research into these dif cult issues. This workshop, and others to follow hope to begin to shed light on the issues so an effective and fruitful dialog can begin that can lead to signi cant contributions to the software engineering and knowledge management elds, amongst others. 132 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540204636ISBN 13: 9783540204633
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Global Constraints Optimization and Costraint Satisfaction, COCOS 2002, held inValbonne-Sophia Antipolis, France inOctober 2002.The 15 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement. The papers address current issues in global optimization, mathematical programming, and constraint programming; they are grouped in topical sections on optimization, constraint satisfaction, and benchmarking. 260 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205926ISBN 13: 9783540205920
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ASIACRYPT 2003 was held in Taipei, Taiwan, from Nov. 30 to Dec. 4, 2003. The 9th Annual ASIACRYPT conference was sponsored by the International Association for Cryptologic Research (IACR), this year in cooperation with the ChineseCryptologyandInformationSecurityAssociation(CCISA)andNational Cheng Kung University (NCKU) in Taiwan. One hundred and eighty-eight papers from 26 countries were submitted to ASIACRYPT 2003 and 33 (of which one paper was withdrawn by the authors afternoti cation)ofthesewereselectedforpresentation.Theseproceedingsc- tainrevisedversionsoftheacceptedpapers.WehadanIACR2003Distinguished Lecture, by Dr. Don Coppersmith, entitled Solving Low Degree Polynomials. In addition, two invited talks were given at the conference. One was given by Dr. Adi Shamir. The other one was given by Dr. Hong-Sen Yan, entitled The Secret and Beauty of Ancient Chinese Locks. The conference program also included a rump session, chaired by Tzong Chen Wu, which featured short informal talks on recent results. It was a pleasure for me to work with the program committee, which was composed of 27 members from 17 countries; I thank them for working very hard overseveralmonths.Asamatteroffact,thereviewprocesswasachallengingand time-consuming task, and it lasted about 8 weeks, followed by more than half a month for discussions among the program committee members. All submissions were anonymously reviewed by at least 3 members in the relevant areas of the program committee; in some cases, particularly for those papers submitted by a member of the program committee, they were reviewed by at least six members. We are grateful to all the program committee members who put in a lot of e ort andprecioustimegivingtheirexpertanalysisandcommentsonthesubmissions. 564 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540206329ISBN 13: 9783540206323
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains 18 papers that were presented at the Eighth Asian C- puting Science Conference (ASIAN 2003) in Mumbai in December 2003. The theme of the conference this year was programming languages and distributed computation. Papers were invited on all aspects of theory, practice and appli- tions related to this theme. The Program Committee invited Greg Morrisett to give the keynote talk (in a joint session with the International Conference on Logic Programming). Andrew Birrell and Mark S. Miller were also invited to give talks. The Program Committee selected 16 papers out of the 53 submitted. Together, these papers were authored by 48 people from 11 countries. I thank the Program Committee for doing an outstanding job under severe timepressure,andtheExecutiveCommitteeforinvitingmetochairtheProgram Committee. I also thank the sponsoring institutions for this conference: Asian Institute of Technology Institut National de Recherche en Informatique et en Automatique United Nations University/International Institute for Software Technology National University of Singapore Waseda University Tata Institute of Fundamental Research The Pennsylvania State University IBM TJ Watson Research Lab Mountain Lakes, NJ Vijay Saraswat September 2003 Organization ASIAN 2003 was organized under the auspicies of the Executive Committee. 320 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540206078ISBN 13: 9783540206071
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of concepts,judgements, and conclusions. Concepts are mathematized using FormalConcept Analysis (FCA), while an approach to the formalization of judgements andconclusions is conceptual graphs, based on Peirce's existential graphs.Combining FCAand a mathematization of conceptual graphs yields so-called concept graphs, which offer a formal and diagrammatic theory of elementary logic. Expressing negation in contextual logic is a difficult task. Based on the author's dissertation, this book shows how negation on the level ofjudgements can be implemented. To do so, cuts (syntactical devices used to expressnegation) are added to concept graphs. As we can express relations between objects, conjunction and negation in judgements, and existential quantification, the author demonstrates that concept graphs with cuts have the expressive power of first-order predicate logic. While doing so, the authordistinguishes between syntax and semantics, and provides a sound and completecalculus for concept graphs with cuts.The author's treatment ismathematically thorough and consistent, and the book gives the necessarybackground on existential and conceptual graphs. 232 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205357ISBN 13: 9783540205357
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In September 2001, we organized the 1st International Conference on Virtual Sto- telling in Avignon, France. This was the rst international scienti c event entirely - voted to the new discipline that links the ancient human art of storytelling to the latest high technologies of the Virtual Reality era. Since this date, technology has not slowed its course. We all know that personal computers are even more powerful, but there have been huge advances in graphics boards.These arenowprogrammableandcan renderin realtime hugequantitiesof data as well as special effectsthat until recently requireda dedicatedgraphicssuperworks- tion. Applications that were in the research lab have now come to market. 3D Virtual Humans, the heroes of today s video games, are taking their rst steps on e-business Web sites. These will be the stars of tomorrow. New topics are being intensively - searched, especially, mixed and enhanced realities the art of combining synthesized with real worlds. This evolution raises many technical, applicational, artistic and even ethical qu- tions.Theoccasionofthe2ndInternationalConferenceonVirtualStorytell ingprovided an excellentopportunityto onceagaingatherresearchersfromthe scienti c, artistic and industrialcommunitiestodemonstratenewmethodsandtechniques.Thiswasthevenue to show the latest results, and exchange concepts and ideas about the use of Virtual - ality technologiesfor creating, populating,renderingand interactingwith stories, wh- ever their form, be it theatre, movie, cartoon, advertisement, puppet show, multimedia work, video games, etc. 256 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540204911ISBN 13: 9783540204916
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19-21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related elds: - formal methods; - distributed systems; - object-based technology. Such a convergence is representative of recent advances in the eld of distributed systems,andprovideslinksbetweenseveralscienti candtechnologicalcommu- ties, as represented by the conferences FORTE/PSTV, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the p- sentation of research in the above-mentioned elds, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems. For the call for papers, aspects of int- est of the considered systems included, but were not limited to: formal models; formal techniques for speci cation, design or analysis; component-based design; veri cation, testing and validation; semantics of programming, coordination, or modeling languages; type systems for programming, coordination or modelling languages; behavioral typing; multiple viewpoint modelling and consistency - tween di erent models; transformations of models; integration of quality of s- vice requirements into formal models; formal models for security; and appli- tions and experience, carefully described. 308 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205276ISBN 13: 9783540205272
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18 21, 2002. Armando Haeberer, then Chairman of the board of UNU/IIST, conceived the idea of an international meeting in ce- brationoftheinstitute s10thanniversary. HewasworkinginLisbonatthistime andheproposedtoholdthemeetingthere,notleastbecausethePortugueseg- ernment had been one of the major sponsors of the institute, right from the very beginning. The aim of the meeting, organized by the Board of UNU/IIST, was twofold. First, the institute s research work should be re-assessed and diss- inated. Second, the future role of UNU/IIST s research area, formal methods, should be discussed. Role of Formal Methods. Over at least three decades of development, the c- ception of what role formal methods should play in software engineering seems to have changed dramatically, in uenced by both advocates and detractors. - ginning with a fundamentalist view that contested the genuineness of any n- formal practice, dismissing it as an inappropriate contribution to the as yet ill-de ned corpus of so-called software engineering, the conception of what this role should be has apparently evolved to a less naive engineering viewpoint. - day, as these theoretical methods acquire a new maturity and breadth of use, many of their advocates appear to be questioning their direct application by software practitioners, often considering it to be nonmandatory, and sometimes even nonadvisable. It appears that, together with the said maturation of the theoretical results and constructions, the perspective of their role within a far more complex picture of the software development activity has also matured. 476 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205446ISBN 13: 9783540205449
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 5th International Workshop on Learning Classi er Systems (IWLCS2002) was held September 7-8, 2002, in Granada, Spain, during the 7th International Conference on Parallel Problem Solving from Nature (PPSN VII). We have included in this volume revised and extended versions of the papers presented at the workshop. In the rst paper, Browne introduces a new model of learning classi er system, iLCS, and tests it on the Wisconsin Breast Cancer classi cation problem. Dixon et al. present an algorithm for reducing the solutions evolved by the classi er system XCS, so as to produce a small set of readily understandable rules. Enee and Barbaroux take a close look at Pittsburgh-style classi er systems, focusing on the multi-agent problem known as El-farol. Holmes and Bilker investigate the effect that various types of missing data have on the classi cation performance of learning classi er systems. The two papers by Kovacs deal with an important theoretical issue in learning classi er systems: the use of accuracy-based tness as opposed to the more traditional strength-based tness. In the rst paper, Kovacs introduces a strength-based version of XCS, called SB-XCS. The original XCS and the new SB-XCS are compared in the second paper, where - vacs discusses the different classes of solutions that XCS and SB-XCS tend to evolve. 244 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205365ISBN 13: 9783540205364
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan, South Korea, Singapore, and Taiwan, the 1st Asian Symposium on Programming Languages andSystems(APLAS2003)tookplaceinBeijing.Wereceived76papers,among which 24 were selected for the proceedings after serious evaluation, which fully demonstrates the high quality of the collected papers. I hereby, on behalf of the Program Committee and the Organization Committee of the symposium, would like to extend the warmest welcome and hearty thanks to all colleagues who attended the symposium, all scholars who generously contributed their papers, and all those who were actively dedicated to the organization of this symposium. Over the past decade, the Asian economy has undergone rapid development. Keeping pace with this accelerated economic growth, Asia has made great he- way in software, integrated circuits, mobile communication and the Internet. All this has laid a rm material foundation for undertaking theoretical research on computer science and programming languages. Therefore, to meet the incr- sing demands of the IT market, great opportunities and challenges in advanced research in these elds. I strongly believe that in the coming future, with the persistent e orts of our colleagues, the Asian software industry and research on computer science will be important players in the world economy, on an equal footing with their counterparts in the United States and Europe. 448 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205837ISBN 13: 9783540205838
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The goal of the IST/FET proactive initiative on Global Computing is to - tain models, frameworks, methods, algorithms to build systems that are exible, dependable, secure, robust and e cient. The dominant concerns are those of handling the co-ordination and interaction, security, reliability, robustness, fa- uremodes,andcontrolofriskoftheentitiesinthesystemandtheoveralldesign, descriptionandperformanceofthesystemitself.Completelydi erentparadigms of computer science may have to be developed to tackle these issues e ectively. The research should concentrate on systems having the following characteristics: - The systems are composed of autonomous computational entities where - tivity is not centrally controlled, either because global control is impossible or impractical, or because the entities are controlled by di erent owners. - The computational entities are mobile, due to the movement of the physical platforms or movement of the entity from one platform to another. - The con guration varies over time. For instance, the system is open to the introduction of new computational entities and likewise their deletion. The behavior of the entities may vary over time. - The systems operate with incomplete information about the environment. For instance, information becomes rapidly out of date and mobility requires information about the environment to be discovered. Theultimategoaloftheresearchactionistoprovideasolidscienti cfoundation for the design of such systems, and to lay the groundwork for achieving e ective principles for building and analyzing such systems. 280 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540206094ISBN 13: 9783540206095
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheINDOCRYPTconferenceseriesstartedin2000,andINDOCRYPT2003was the fourth one in this series. This series has been accepted by the international research community as a forum for presenting high-quality crypto research, as is evident from the 101 submissions this year, spread over 21 countries and all ve continents. The accepted papers were written by authors from 16 countries, covering four continents. A total of 101 papers were submitted for consideration to the program c- mittee, and after a careful reviewing process 30 were accepted for presentation. One of the conditionally accepted papers was withdrawn by the authors as they found an errorin the paper that could not be repairedin the short time between the noti cation of the reviewand the nalversionsubmission.Thus the nal list contains29acceptedpapers.Wewouldliketo thanktheauthorsofallsubmitted papers, including both those that wereaccepted and those which, unfortunately, could not be accommodated. The reviewing process for INDOCRYPT was very stringent and the schedule was extremely tight. The program committee members did an excellent job in reviewing and selecting the papers for presentation. During the review process, theprogramcommitteememberscommunicatedusingareviewsoftwarepackage developed by Bart Preneel, Wim Moreau and Joris Claessens. We acknowledge them for providing this software. These proceedings include the revised versions of the 29 selected papers. Revisions were not checkedby the programcommittee and the authors bear the full responsibility for the contents of the respective papers. Our thanks go to all the program committee members and the external reviewers(alistofthem isincludedintheproceedings)whoputintheirvaluable time and e ort in providing important feedback to the authors. 448 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540441492ISBN 13: 9783540441496
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For many years, intensive care has focused on avoiding immediate death from acute, life-threatening conditions. However, there are increasing reports of a number of lingering consequences for those who do indeed survive intensive care. Examples include on-going high risk of death, neurocognitive defects, significant caregiver burden, and continued high healthcare costs.Surviving Intensive Care, written by the world's experts in this area, is dedicated to better understanding the consequences of surviving intensive care and is intended to provide a synopsis of the current knowledge and a stimulus for future research and improved care of the critically ill. 364 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540002650ISBN 13: 9783540002659
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The developments in economic theory in the 1950s served to pinpoint important underlying assumptions in the study of market institutions. The conflict between observed institutions - spot markets for commodities, financial markets - and the benchmark interpretation - forward markets for commodities, allowing all trade to take place at a single point in time, became apparent. This led to the introduction of new equilibrium concepts; temporary equilibria, spot-market equilibria and monetary equilibria. The emphasis was on the possibilities to transfer purchasing power over time or over states using spot markets involving assets or money. This book focuses on the developments in the theory of incomplete markets and overlapping generations economies where income transfers over time or across states are restricted either by available assets or by the infeasibility of contracts with unborn generations. It bridges the gap between standard textbooks on microeconomics and more advanced expositions. TOC:Time and Uncertainty in General Equilibrium Theory: Consumers and Economies - A Review.- Economies over Time.- Assets and Income Transfers.- Economies with Uncertainty.- Existence and Determinacy.- Optimality and Incomplete Markets. Overlapping Generations Economies: Overlapping Generations Economies.- Optimality in OG Economies.- Stationary OG Economies.- Global Dynamics.- Fluctuations.- Conclusions and Suggestions for Further Reading.- Appendix: Some Calculus Results; Quadratic Forms and Bordered Matrices; Separation Theorem and Farkas' Lemma; Dynamical Systems. 420 pp. Englisch.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540203273ISBN 13: 9783540203278
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -KfW has been assigned responsibility by the German government and several other donors for projects designed to reconstruct the financial landscapes of Southeast Europe. These activities are recognized as quite successful in building sustainable financial institutions that serve the small end of the market, with special emphasis on microenterprise and small business. The KfW-managed projects have contributed to the overall stability of financial sectors and to economic recovery and growth through employment creation and investment. This book reviews experience gained and analyses the reasons for the successes achieved, options for further improvement, and scope for replicability in other transition and developing economies. A particularly interesting feature is that relatively small amounts of public funds can catalyse financial markets in volatile environments. 268 pp. Englisch.