Springer Springer Jun 1999 (337 results)

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'Elegant and literate' -THE TIMES OF LONDON'The kind of book that both skeptics and believers would do well to read'- SKEPTICAL INQUIRER'An urbane, original, convincing rebuttal of paranormal and supernatural notions' -NEW SCIENTIST'A lively, entertaining book. Humphrey has set himself a larger task than simply explaining why people believe in parapsychology: the task of explaining why it is irrational to believe in it.'-NATURE 260 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is a tour-de-force on how human consciousness may have evolved. From the 'phantom pain' experienced by people who have lost their limbs to the uncanny faculty of 'blindsight,' Humphrey argues that raw sensations are central to all conscious states and that consciousness must have evolved, just like all other mental faculties, over time from our ancestors' bodily responses to pain and pleasure. ' 240 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book is about differentiability of six operators on functions or pairs of functions: composition (f of g), integration (of f dg), multiplication and convolution of two functions, both varying, and the product integral and inverse operators for one function. The operators are differentiable with respect to p-variation norms with optimal remainder bounds. Thus the functions as arguments of the operators can be nonsmooth, possibly discontinuous, but four of the six operators turn out to be analytic (holomorphic) for some p-variation norms. The reader will need to know basic real analysis, including Riemann and Lebesgue integration. The book is intended for analysts, statisticians and probabilists. Analysts and statisticians have each studied the differentiability of some of the operators from different viewpoints, and this volume seeks to unify and expand their results. 292 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This project is based on the use of graphing calculators by students enrolled in calculus. There is enough material in the book to cover precalculus review, as well as first year single variable calculus topics. Intended for use in workshop-centered calculus courses. Developed as part of the well-known NSF-sponsored project, Workshop Mathematics, the text is intended for use with students in a math laboratory, instead of a traditional lecture course. There are student-oriented activities, experiments and graphing calculator exercises found throughout the text. The authors are well-known teachers and innovative thinkers about ways to improve undergraduate mathematics teaching. 424 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 1999 international conference on Information Processing in Medical Imaging (IPMI '99) was the sixteenth in the series of biennial meetings and followed the successful meeting in Poultney, Vermont, in 1997. This year, for the rst time, the conference was held in central Europe, in the historical Hungarian town of Visegr ad, one of the most beautiful spots not only on the Danube Bend but in all Hungary. The place has many historical connections, both national and international. The castle was once a royal palace of King Matthias. In the middle ages, the Hungarian, Czech, and Polish kings met here. Recently, after the summit meeting of reestablished democracies in the area, it became a symbol for the cooperation between central European countries as they approached the European Union. It was thus also symbolic to bring IPMI, in the year of the 30th anniversary of its foundation, to this place, and organize the meeting with the close cooperation of local and traditional western organizers. It also provided a good opportunity to summarize brie y a history of IPMI for those who were new to the IPMI conference. This year we received 82 full paper submissions from all over the world. Of these, 24 were accepted as oral presentations. These were divided into 6 sessions. In spite of our e orts, it was found to be impossible to make these sessions fully balanced and homogeneous. 532 pp. Englisch. …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph deals with two aspects of the theory of elliptic genus: its topological aspect involving elliptic functions, and its representation theoretic aspect involving vertex operator super-algebras. For the second aspect, elliptic genera are shown to have the structure of modules over certain vertex operator super-algebras. The vertex operators corresponding to parallel tensor fields on closed Riemannian Spin Kähler manifolds such as Riemannian tensors and Kähler forms are shown to give rise to Virasoro algebras and affine Lie algebras. This monograph is chiefly intended for topologists and it includes accounts on topics outside of topology such as vertex operator algebras. 404 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume seeks to explore bureaucratic forms of administration in the Third World and alternatives to them. Experts with wide experience in development are assembled to deal with issues of reform, indigenization, and desirable futures. 330 pp. Englisch. …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Human rights are always a matter of law, but they are increasingly a matter of politics. Much lip-service is paid nowadays to the notion of human rights. At the same time they are being violated all over the world. Peter Baehr presents a succinct introduction to the key theoretical and practical issues that will serve as a useful primer for students and researchers. 178 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Contradictory results in schizophrenia research are generally explained as being due to genetic heterogeneity and multiple factor heredity in relationship to manifold environmental factors. The book reports a short overview of all relevant twin studies on schizophrenic psychoses and provides data and case histories on a systematic twin study based on a polydiagnostic approach carried out by two independently working psychiatrists. In addition to the internationally applied operational diagnostic systems of DSM-III-R and ICD 10 Leonhard s subclassification of schizophrenic psychoses was used. Up to now this sophisticated methodological approach is unique in the world.The data provide strong evidence that the spectrum of psychoses with schizophrenic and schizophrenia-like symptoms is not a continuum of diseases. At least in Leonhard s three major groups of cycloid psychoses, unsystematic schizophrenias and systematic schizophrenias genetic, somatic and psycho-social factors play a completely different etiological role. Cycloid psychoses and systematic schizophrenias are predominantly caused by environmental factors. In unsystematic schizophrenias, however, genetic predisposition is the main etiological factor and environmental factors are subordinate. 164 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction. 524 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -P.A. MURARO, A. LUGARESI, D. GAMBI Many of the pathological aspects of multiple sclerosis (MS) lesions have been known for over a century. It is only recently, however, that different patterns of demyelination have been linked to distinct pathways of immune-mediated tissue destruction. In particular, the inter-individual heterogeneity of MS lesions has suggested that different mechanisms may act in different patients, accounting for the variability observed in clinical course, immunological findings in peripheral blood and cere brospinal fluid (CSF), and response to immunomodulatory treatments. To provide an overview of the basic mechanisms possibly involved in MS lesion initiation and development, an international meeting was organized in the context of the annual Congress of the Italian Neuroimmunology Association (AINI), held at the University of Chieti, in Chieti Italy on 29 October 1998. The high standard of presentations prompted us to report them in extended form, to highlight recent pro gress in the understanding of basic mechanisms sustaining MS immuno pathogenesis. A central role in the possible mechanisms leading to myelin destruc tion has been attributed to T lymphocytes reactive to myelin antigens. Studies on the myelin antigen-specific T cell repertoire have contributed significant advances to our knowledge of autoimmunity (Chapters 1,2). 100 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Over the past decade there has been an increasing demand for suitable material in the area of mathematical modelling as applied to science and engineering. There has been a constant movement in the emphasis from developing proficiency in purely mathematical techniques to an approach which caters for industrial and scientific applications in emerging new technologies. In this textbook we have attempted to present the important fundamental concepts of mathematical modelling and to demonstrate their use in solving certain scientific and engineering problems. This text, which serves as a general introduction to the area of mathematical modelling, is aimed at advanced undergraduate students in mathematics or closely related disciplines, e.g., students who have some prerequisite knowledge such as one-variable calculus, linear algebra and ordinary differential equations. Some prior knowledge of computer programming would be useful but is not considered essential. The text also contains some more challenging material which could prove attractive to graduate students in engineering or science who are involved in mathematical modelling. In preparing the text we have tried to use our experience of teaching mathematical modelling to undergraduate students in a wide range of areas including mathematics and computer science and disciplines in engineering and science. An important aspect of the text is the use made of scientific computer software packages such as MAPLE for symbolic algebraic manipulations and MA TLAB for numerical simulation. 304 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First International Workshop on Active Networks, IWAN'99, held in Berlin, Germany in June/July 1999.The 30 revised full papers presented were carefully reviewed and selected from a total of 80 submissions. The book is divided in sections on networks architectures, platforms, active management and control, and security. All in all, this book provides a unique state-of-the-art account of architectural aspects, technologies, and prototype systems that will impact the way future networked businesses will be created and managed. 368 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the ten years since the first MAAMAW was held in 1989, at King's College, Cambridge, the field of Multi-Agent Systems (MAS) has flourished. It has attracted an increasing amount of theoretical and applied research. During this decade, important efforts have been made to establish the scientific and technical foundations of MAS. MAAMAW publications are testimony to the progress achieved in key areas such as agent modelling and reasoning, multi-agent interaction and communication, and multi-agent organisation and social structure. Research results have covered a wide range of inter-related topics in each area including agent architectures, reasoning models, logics, conflict resolution, negotiation, resource allocation, load balancing, learning; social behaviour and interaction, languages and protocols, interagent and agent-human communication, social models, agent roles, norms and social laws, and static and dynamic organisational structures. The feasibility and the viability of the proposed models and techniques have been demonstrated through MAS applications in heterogeneous domains including electronic commerce, co-operative work, telecommunications, social and biological systems, robotics, office and business automation, public administration, social simulations and banking. As the applicability of the technology became understood, the multi-agent paradigm has been progressively accepted by product managers and system developers, giving rise to a considerable amount of business expectation from industry. These expectations do not rest on the concept or metaphor of agent, but on the development of MAS useful in an industrial setting, with real-time systems presenting the biggest challenge. 252 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java. 420 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Image-based rendering, as an area of overlap between computer graphics and computer vision, uses computer vision techniques to aid in sythesizing new views of scenes. Image-based rendering methods are having a substantial impact on the field of computer graphics, and also play an important role in the related field of multimedia systems, for applications such as teleconferencing, remote instruction and surgery, virtual reality and entertainment.The book develops a novel way of formalizing the view synthesis problem under the full perspective model, yielding a clean, linear warping equation. It shows new techniques for dealing with visibility issues such as partial occlusion and 'holes'. Furthermore, the author thoroughly re-evaluates the requirements that view synthesis places on stereo algorithms and introduces two novel stereo algorithms specifically tailored to the application of view synthesis. 188 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In Chapter 6, we describe the concept of braid equivalence from the topological point of view. This will lead us to a new concept braid homotopy that is discussed fully in the next chapter. As just mentioned, in Chapter 7, we shall discuss the difference between braid equivalence and braid homotopy. Also in this chapter, we define a homotopy braid invariant that turns out to be the so-called Milnor number. Chapter 8 is a quick review of knot theory, including Alexander's theorem. While, Chapters 9 is devoted to Markov's theorem, which allows the application of this theory to other fields. This was one of the motivations Artin had in mind when he began studying braid theory. In Chapter 10, we discuss the primary applications of braid theory to knot theory, including the introduction of the most important invariants of knot theory, the Alexander polynomial and the Jones polynomial. In Chapter 11, motivated by Dirac's string problem, the ordinary braid group is generalized to the braid groups of various surfaces. We discuss these groups from an intuitive and diagrammatic point of view. In the last short chapter 12, we present without proof one theorem, due to Gorin and Lin [GoL] , that is a surprising application of braid theory to the theory of algebraic equations. 292 pp. Englisch. …

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This textbook introduces the mathematical concepts and methods that underlie statistics. The course is unified, in the sense that no prior knowledge of probability theory is assumed, being developed as needed. The book is committed to both a high level of mathematical seriousness and to an intimate connection with application. In its teaching style, the book is \* mathematically complete \* concrete \* constructive \* active. The text is aimed at the upper undergraduate or the beginning Masters program level. It assumes the usual two-year college mathematics sequence, including an introduction to multiple integrals, matrix algebra, and infinite series. 476 pp. Englisch. …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume opens a new frontier for clinical specialists dealing with vertigo sufferers. As our populations are constantly growing older, we have to deal more and more with degenerative neurosensorial disor ders of elderly persons not only from the investigative, but also from the innovative therapeutic point of view. This book's theme of vertigo and dizziness rehabilitation has been chosen in the sense of applied neurootometry and conservative neu roototherapy. The authors describe a new way of utilizing objective and quantitative neurosensorial equilibrium function measurements for special reprogramming and retraining purposes. In the field of diagnosis they place functional investigation of the equilibrium sys tem alongside the other classical techniques which mostly work through inspection and imaging. Consequently, the MCS method of treatment (mechanics, cybernetics, synergetics) has to take into ac count the basic knowledge on information transfer from the inner ear hair cells to the central nervous system in the regulating centers of the brainstem. 256 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -With all of the news about the Internet and the Y2K problem, it is easy to forget that other areas of computer science still exist. Reading the newspaper or watching the television conveys a very warped view of what is happening in computer science. This conference illustrates how a maturing subdiscipline of computer science can continue to grow and integrate within it both old and new approaches despite (or perhaps due to) a lack of public awareness. The conceptual graph community has basically existed since the 1984 publication of John Sowa's book, 'Conceptual Structures: Information Processing In Mind and Machine.' In this book, John Sowa laid the foundations for a knowledge representation model called conceptual graphs based on semantic networks and the existential graphs of C.S. Peirce. Conceptual graphs constitutes a very powerful and expressive knowledge representation scheme, inheriting the benefits of logic and the mathematics of graphs. The expressiveness and formal underpinnings of conceptual graph theory have attracted a large international community of researchers and scholars. The International Conferences on Conceptual Structures, and this is the seventh in the series, is the primary forum for these researchers to report their progress and activities. As in the past, the doors were open to admit alternate representation models and approaches. 536 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheFastSoftwareEncryptionWorkshop1999isthesixthinaseriesofworkshops startinginCambridgeinDecember1993. TheworkshopwasorganizedbyGeneralChairWilliamWolfowicz,Fon- zioneU. Bordoni,andProgrammeChairLarsKnudsen,UniversityofBergen, Norway,incooperationwithSecurteam,asfaraslocalarrangementswerec- cerned. TheworkshopwasheldMarch24-26,1999inRome,Italy. Theworkshopconcentratedonallaspectsoffastsecretkeyciphers,inc- dingthedesignandcryptanalysisofblockandstreamciphers,aswellashash functions. Therewere51submissions,allofthemsubmittedelectronically. Ones- missionwaslaterwithdrawnbytheauthors,and22paperswereselectedfor presentation. Allsubmissionswerecarefullyreviewedbyatleast4committee members. Attheworkshop,preliminaryversionsofall22papersweredistri- tedtoallattendees. Aftertheworkshoptherewasa nalreviewingprocesswith additionalcommentstotheauthors. Ithasbeenachallengeformetochairthecommitteeofthisworkshop,andit isapleasuretothankallthemembersoftheprogrammecommitteefortheirhard work. Thecommitteethisyearconsistedof,inalphabeticorder,RossAnd- son(Cambridge,UK),EliBiham(Technion,Israel),DonCoppersmith(IBM, USA), Cunsheng Ding (Singapore), Dieter Gollmann (Microsoft, UK), James Massey (Denmark), Mitsuru Matsui (Mitsubishi, Japan), Bart Preneel (K. U. Leuven, Belgium), Bruce Schneier (Counterpane, USA), and Serge Vaudenay (ENS,France). ItisagreatpleasuretothankWilliamWolfowiczfororganisingtheworkshop. Also,itisapleasuretothankSecurteamforthelogisticsandTelsyandSunfor supportingtheconference. Finally,abigthankyoutoallsubmittingauthorsfor theircontributions,andtoallattendees(approximately165)oftheworkshop. Finally, I would like to thank Vincent Rijmen for his technical assistance in preparingtheseproceedings. April1999 LarsKnudsen TableofContents AdvancedEncryptionStandard ImprovedAnalysisofSomeSimpli edVariantsofRC6 . . . . . . . . . . . . . . . . . . . . . . . 1 S. Contini,R. L. Rivest,M. J. B. Robshaw,andY. L. Yin LinearCryptanalysisofRC5andRC6. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 J. Borst,B. Preneel,andJ. Vandewalle ARevisedVersionofCRYPTON:CRYPTONV1. 0. . . . . . . . . . . . . . . . . . . . . . . . . 31 C. H. Lim AttackonSixRoundsofCRYPTON. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 C. D Halluin,G. Bijnens,V. Rijmen,andB. Preneel OntheSecurityofthe128-bitBlockCipherDEAL. . . . . . . . . . . . . . . . . . . . . . . . . 60 S. Lucks CryptanalysisofaReducedVersionoftheBlockCipherE2. . . . . . . . . . . . . . . . . 71 M. MatsuiandT. Tokita OntheDecorrelatedFastCipher(DFC)andItsTheory. . . . . . . . . . . . . . . . . . . . 81 L. R. KnudsenandV. Rijmen RemotelyKeyedEncryption ScrambleAll,EncryptSmall. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 M. Jakobsson,J. P. Stern,andM. Yung AcceleratedRemotelyKeyedEncryption. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 S. Lucks AnalysisofBlockCiphersI MissintheMiddleAttacksonIDEAandKhufu. . . . . . . . . . . . . . . . . . . . . . . . . . . 124 E. Biham,A. Biryukov,andA. Shamir ModnCryptanalysis,withApplicationsagainstRC5PandM6. . . . . . . . . . . . 139 J. Kelsey,B. Schneier,andD. Wagner TheBoomerangAttack. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156 D. Wagner Miscellaneous TowardsMakingLuby-Racko CiphersOptimalandPractical . . . . . . . . . . . . . 171 S. Patel,Z. Ramzan,andG. S. Sundaram ANewCharacterizationofAlmostBentFunctions. . . . . . . . . . . . . . . . . . . . . . . . . 186 A. Canteaut,P. Charpin,andH. Dobbertin ImprimitivePermutationGroupsandTrapdoorsinIteratedBlockCiphers. 201 K. G. Paterson VIII TableofContents ModesofOperation OntheSecurityofDoubleand2-KeyTripleModesofOperation. . . . . . . . . . . 215 H. HandschuhandB. Preneel OntheConstructionofVariable-Input-LengthCiphers. . . . . . . . . . . . . . . . . . . …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book comprises a selection of papers that were first presented at the Robustness in Identification and Control Workshop, held in Siena, July 30 - August 2, 1998. These are the latest contributions to the field, from leading researchers worldwide. The common theme underlying all of the contributions is the interplay between information, uncertainty and complexity in dealing with modelling, identification and control of dynamical systems. Papers cover recent developments in research areas such as identification for control and the classical area of robust control. There are a number of real-world case studies where the most advanced robustness analysis and synthesis techniques are applied to resolve previously unsolved problems. The relevance of the topic to the system engineering field, and the excellent scientific level of the contributions combine to make this book an important acquisition for engineers, control theorists and applied mathematicians. 488 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Large-scale open distributed systems provide an infrastructure for assembling global applications on the basis of software and hardware components originating from multiple sources. Open systems rely on publicly available standards to permit heterogeneous components to interact. The Internet is the archetype of a large-scale open distributed system; standards such as HTTP, HTML, and XML, together with the widespread adoption of the Java language, are the cornerstones of many distributed systems. This book surveys security in large-scale open distributed systems by presenting several classic papers and a variety of carefully reviewed contributions giving the results of new research and development. Part I provides background requirements and deals with fundamental issues in trust, programming, and mobile computations in large-scale open distributed systems. Part II contains descriptions of general concepts, and Part III presents papers detailing implementations of security concepts. 520 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains mainly the revised versions of papers presented at the wo- shop '98, 'Beyond the Notation', that took place in Mulhouse, France on June 3-4, 1998. We thank all those that have made this possible, and particularly all the people in Mulhouse that worked hard to make this meeting a success, with such a short delay between the announcement and the realization. We are specially grateful to Nathalie Gaertner, who put in a tremendous amount of effort in the initial preparation of the workshop. We were pleasantly surprised of the quality of the submitted material and of the level of the technical exchanges at the Mulhouse meeting. More than one hundred attendees, from about twenty different countries, representing the main actors in the UML research and development scene, gathered in Mulhouse for two full study days. We would like to express our deepest appreciation to the authors of submitted - pers, the editorial committee for this volume, the program committee for the initial workshop, the external referees, and many others who contributed towards the final contents of this volume. April 1999 Jean Bézivin Pierre-Alain Muller 460 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Symmetric multiprocessors (SMPs) dominate the high-end server market and are currently the primary candidate for constructing large scale multiprocessor systems. Yet, the design of e cient parallel algorithms for this platform c- rently poses several challenges. The reason for this is that the rapid progress in microprocessor speed has left main memory access as the primary limitation to SMP performance. Since memory is the bottleneck, simply increasing the n- ber of processors will not necessarily yield better performance. Indeed, memory bus limitations typically limit the size of SMPs to 16 processors. This has at least twoimplicationsfor the algorithmdesigner. First, since there are relatively few processors availableon an SMP, any parallel algorithm must be competitive with its sequential counterpart with as little as one processor in order to be r- evant. Second, for the parallel algorithm to scale with the number of processors, it must be designed with careful attention to minimizing the number and type of main memory accesses. In this paper, we present a computational model for designing e cient al- rithms for symmetric multiprocessors. We then use this model to create e cient solutions to two widely di erent types of problems - linked list pre x com- tations and generalized sorting. Both problems are memory intensive, but in die rent ways. Whereas generalized sorting algorithms typically require a large numberofmemoryaccesses, they areusuallytocontiguousmemorylocations. By contrast, prex computation algorithms typically require a more modest qu- tity of memory accesses, but they are are usually to non-contiguous memory locations. 364 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Uncertaintyisanincreasinglyimportantresearchtopicinmanyareasofc- puterscience. Manyformalismsarebeingdeveloped,withmuchinterestatthe theoryleveldirectedatdevelopingabetterunderstandingoftheformalismsand identifyingrelationshipsbetweenformalisms,andatthetechnologyleveldirected atdevelopingsoftwaretoolsforformalismsandapplicationsofformalisms. ThemainEuropeanforumforthesubjectistheEuropeanConferenceon SymbolicandQuantitativeApproachestoReasoningandUncertainty(EC- SQARU). FollowingthesuccessofthepreviousECSQARUconferences,heldin Marseilles(1991),Granada(1993),Fribourg(1995),andBonn(1997),the fth conferenceintheserieswasheldatUniversityCollegeLondoninJuly1999. ThisvolumecontainspapersacceptedforpresentationatECSQARU 99. In additiontothemainconference,twoworkshopswereheld. The rstwason DecisionTheoreticandGameTheoreticAgents,chairedbySimonParsonsand MikeWooldridge,andthesecondwasonLogicalandUncertaintyModelsfor InformationSystems,chairedbyFabioCrestaniandMouniaLalmas. Selected papersfromtheworkshopsarealsoincludedintheseproceedings. Weareindebitedtotheprogrammmecommitteefortheire ortinorganising theprogramme,totheinvitedspeakers,andtothepresentersofthetutorials. Furthermore,wegratefullyacknowledgethecontributionofthemanyreferees whowereinvolvedinthereviewingprocess. Finallywewouldliketothankthe DepartmentofComputerScienceatUniversityCollegeLondonforadminist- tivesupport. ProgrammeCommittee TheprogrammecommitteewaschairedbyAnthonyHunter(UniversityCollege London),andcomprisedDovGabbay(King sCollegeLondon),FinnJensen (AalborgUniversity),RudolfKruse(UniversityofMagdeburg),SimonParsons (QueenMary,UniversityofLondon)HenriPrade(IRIT,Toulouse),Torsten Schaub(UniversityofPotsdam),andPhilippeSmets(ULB,Bruxelles). Reviewers Theprogrammecommitteeisverygratefulforallthehardworkcontributed bythereviewers. Hopefully,wehavenotmissedanyonefromthefollowing list:BruceD Ambrosio,FlorenceBannay,SalemBenferhat,PhilippeBesnard, HuguesBersini,ChristianBorgelt,RachelBourne,StefanBrass,LaurenceCholvy, RogerCooke,AdnanDarwiche,YannisDimopoulos,JurgenDix,DidierDubois, UweEgly,LindavanderGaag,JoergGebhardt,SiegfriedGottwald,RolfHaenni, Jean-YvesJa ray,RadimJirousek,RuthKempson,U eKjaerulf,FrankK- wonn,AljoschaKlose,JuergKohlas,PaulKrause,GerhardLakemeyer,Mounia Lalmas,JeromeLang,KimG. Larsen,NorbertLehmann,T. Y. Lin,Thomas Linke,KhalidMellouli,JeromeMengin,J. -J. Ch. Meyer,SanjayModgil,Yves Moinard,Sera nMoral,DetlefNauck,AnnNicholson,PascalNicolas,Dennis VI Preface Nilsson,KristianG. Olesen,RainerPalm,ZdzislawPawlak,VincentRisch,Regis Sabbadin,CamillaSchwind,PrakashP. Shenoy,MilanStudeny,HeikoTimm, HansTompits,MarcoValtorta,andCeesWitteven. April1999 AnthonyHunterandSimonParsons TableofContents Onthedynamicsofdefaultreasoning GrigorisAntoniou. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Non-monotonicandparaconsistentreasoning:Frombasicentailmentsto plausiblerelations OferArieliandArnonAvron . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 AcomparisonofsystematicandlocalsearchalgorithmsforregularCNF formulas Ram onB ejarandFelipMany`a. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Query-answeringinprioritizeddefaultlogic FaridBenhammadi,PascalNicolasandTorstenSchaub. . . . . . . . . . . . . . . . . . . . 32 Updatingdirectedbeliefnetworks BoutheinaBenYaghlaneandKhaledMellouli. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 Inferringcausalexplanations PhilippeBesnardandMarie-OdileCordier. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 Acritiqueofinductivecausation ChristianBorgeltandRudolfKruse. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 Connectinglexicographicwithmaximumentropyentailment RachelA. BourneandSimonParsons. . . . . . . . . . . . . . . . . . . . . . . .…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In Ionic Polymerization and Related Processes, internationally recognised academic and industrial researchers discuss and debate the latest developments in the field. The major focus is on cationic polymerizations, but related anionic and controlled radical processes are also discussed. 412 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains detailed lecture notes on six topics at the forefront of current research in numerical analysis and applied mathematics. Each set of notes presents a self-contained guide to a current research area and has an extensive bibliography. In addition, most of the notes contain detailed proofs of the key results. The notes start from a level suitable for first year graduate students in applied mathematics, mathematical analysis or numerical analysis, and proceed to current research topics. The reader should therefore be able to gain quickly an insight into the important results and techniques in each area withoutrecourse to the large research literature. Current (unsolved) problems are also described and directions for future research are given. This book is also suitable for professional mathematicians who require a succint and accurate account of recent research in areas parallel to their own, and graduates in mathematical sciences. 268 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 1998.The 15 revised full papers presented were carefully selected during two rounds of reviewing. The volume covers a wide range of topics including parallel process organization, parallel profiling, compilation and semantics of parallel systems, programming methodology, interrupt handling, strictness analysis, concurrency and message passing, and inter-language working. 264 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 20th International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for the dissemination of the latest results in the application and theory of Petri nets. Typically there are some 150-200 participants and usually one third of these come from industry, while the rest are from universities and research institutions. The conferences and a number of other activitiesare co- dinatedbyasteering committeeformedby: G.Balbo (Italy),J. Billington(A- tralia), C. Girault (France), K. Jensen (Denmark), S. Kumagai (Japan), G. De Michelis (Italy), T. Murata (U.S.A.), C.A. Petri (Germany; honorary member) W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chair), M. Silva (Spain). The 1999 Petri net conference took place in Williamsburg, Virginia, and was organized by the Department of Computer Science of The College of William and Mary, Williamsburg. This was the second time the conference had been organized in the United States. We received 45 submissions from 15 countries on 5 continents of which 21 accepted for presentation. The submitted papers were evaluated by a program committee with the following members: W. van der Aalst (The Netherlands), P. Azema (France), W. Brauer (Germany), S. Christensen (Denmark), A. Desrochers (U.S.A.), S. Donatelli (Italy; co-chair), C. Girault (France), L. Gomes (Portugal), J. Hillston (United Kingdom), E. 440 pp. Englisch.…