Springer berlin heidelberg jun 1999 (64 risultati)
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 42,75
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 inver…se 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,45
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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, el…liptic 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 particular…ly 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.
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Jun 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 rs…t 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 r…eviewed 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 fro…m 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 cro…ss-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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Jun 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheFastSoftwareEncryptionWorkshop1999isthesixthinaseriesofworkshops startinginCambridgeinDecember1993. TheworkshopwasorganizedbyGeneralChairWilliamWolfowicz,Fon- zioneU. Bordoni,andProgrammeChairLarsKnudsen,UniversityofBergen, Norw…ay,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. . . . . . . . . . . . . . . . . . .
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer, Springer Berlin Heidelberg Jun 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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- r…ently 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Uncertaintyisanincreasinglyimportantresearchtopicinmanyareasofc- puterscience. Manyformalismsarebeingdeveloped,withmuchinterestatthe theoryleveldirectedatdevelopingabetterunderstandingoftheformalismsand identifyingrelationshipsbetw…eenformalisms,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. . . . . . . . . . . . . . . . . . . . . . . .
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Jun 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 pres…ented 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 applica…tion 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -My tailor is Object-Oriented'. Most software systems that have been built - cently are claimed to be Object-Oriented. Even older software systems that are still in commercial use have been upgraded with some OO avors. The range of…areas where OO can be viewed as a must-have' feature seems to be as large as the number of elds in computer science. If we stick to one of the original views of OO, that is, to create cost-e ective software solutions through modeling ph- ical abstractions, the application of OO to any eld of computer science does indeed make sense. There are OO programming languages, OO operating s- tems, OO databases, OO speci cations, OO methodologies, etc. So what does a conference on Object-Oriented Programming really mean I honestly don't know. What I do know is that, since its creation in 1987, ECOOP has been attracting a large number of contributions, and ECOOP conferences have ended up with high-quality technical programs, featuring interesting mixtures of theory and practice. Among the 183 initial submissions to ECOOP'99, 20 papers were selected for inclusion in the technical program of the conference. Every paper was reviewed by three to ve referees. The selection of papers was carried out during a t- day program committee meeting at the Swiss Federal Institute of Technology in Lausanne. Papers were judged according to their originality, presentation qu- ity, and relevance to the conference topics. 552 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumecontains3invitedand24submittedpaperspresentedattheNinth InternationalWorkshoponInductiveLogicProgramming,ILP-99. The24acc- tedpaperswereselectedbytheprogramcommitteefromthe40paperssubmitted toILP-99. Eachpaperwasreviewedb…ythreereferees,applyinghighreviewing standards. ILP-99washeldinBled,Slovenia,24{27June1999. Itwascollocatedwith theSixteenthInternationalConferenceonMachineLearning,ICML-99,held27{ 30June1999. On27June,ILP-99andICML-99weregivenajointinvitedtalk byJ. RossQuinlanandajointpostersessionwhereallthepapersacceptedat ILP-99andICML-99werepresented. TheproceedingsofICML-99(editedby IvanBratkoandSa soD zeroski)arepublishedbyMorganKaufmann. WewishtothankalltheauthorswhosubmittedtheirpaperstoILP-99,the programcommitteemembersandotherreviewersfortheirhelpinselectinga high-qualityprogram,andtheinvitedspeakers:DaphneKoller,HeikkiMannila, andJ. RossQuinlan. ThanksareduetoTanjaUrban ci candherteamandMajda Zidanskiandherteamfortheorganizationalsupportprovided. Wewishtothank AlfredHofmannandAnnaKramerofSpringer-Verlagfortheircooperationin publishing these proceedings. Finally, we gratefully acknowledge the nancial supportprovidedbythesponsorsofILP-99. April1999 Sa soD zeroski PeterFlach ILP-99ProgramCommittee FrancescoBergadano(UniversityofTorino) HenrikBostr om(UniversityofStockholm) IvanBratko(UniversityofLjubljana) WilliamCohen(AT&TResearchLabs) JamesCussens(UniversityofYork) LucDeRaedt(UniversityofLeuven) Sa soD zeroski(Jo zefStefanInstitute,co-chair) PeterFlach(UniversityofBristol,co-chair) AlanFrisch(UniversityofYork) KoichiFurukawa(KeioUniversity) RoniKhardon(UniversityofEdinburgh) NadaLavra c(Jo zefStefanInstitute) JohnLloyd(AustralianNationalUniversity) StanMatwin(UniversityofOttawa) RaymondMooney(UniversityofTexas) StephenMuggleton(UniversityofYork) Shan-HweiNienhuys-Cheng(UniversityofRotterdam) DavidPage(UniversityofLouisville) BernhardPfahringer(AustrianResearchInstituteforAI) CelineRouveirol(UniversityofParis) ClaudeSammut(UniversityofNewSouthWales) MicheleSebag(EcolePolytechnique) AshwinSrinivasan(UniversityofOxford) PrasadTadepalli(OregonStateUniversity) StefanWrobel(GMDResearchCenterforInformationTechnology) OrganizationalSupport TheAlbatrossCongressTouristAgency,Bled Center for Knowledge Transfer in Information Technologies, Jo zef Stefan Institute,Ljubljana SponsorsofILP-99 ILPnet2,NetworkofExcellenceinInductiveLogicProgramming COMPULOGNet,EuropeanNetworkofExcellenceinComputationalLogic Jo zefStefanInstitute,Ljubljana LPASoftware,Inc. UniversityofBristol TableofContents I InvitedPapers ProbabilisticRelationalModels D. Koller . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 InductiveDatabases(Abstract) H. Mannila. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 SomeElementsofMachineLearning(ExtendedAbstract) J. R. Quinlan. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 II ContributedPapers Re nementOperatorsCanBe(Weakly)Perfect L. Badea,M. Stanciu. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 CombiningDivide-and-ConquerandSeparate-and-ConquerforE cientand E ectiveRuleInduction H. Bostr om,L. Asker. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 Re ningCompleteHypothesesinILP I. Bratko. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 AcquiringGraphicDesignKnowledge withNonmonotonicInductiveLearning K. Chiba,H. Ohwada,F. Mizoguchi. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 MorphosyntacticTaggingofSloveneUsingProgol J. Cussens,S. D zeroski,T. Erjavec . . . . . .
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Next Generation Information Technologies and Systems (NGITS) wo- shop series is a biannual event held in Israel since 1993. Like its predecessors, NGITS'99 brings together active members of the international research com- nity…interested in information technology and knowledge based systems. Many of the base technologies in the traditional areas of database management systems, information retrieval, and resource optimization, are being deployed nowadays in novel systems and applications that ourish with the astonishing increase in computational power, storage capacity, communication, and - of course - the advent of the world-wide web. These new fronts, in turn, present an ever gr- ing set of challenges to the technologies, such as data availability, information integrity, and knowledge extraction, fuelling an exciting set of activities. Our workshop clearly re ects this trend, o ering a rich sample of the state of the art at the close of the millennium and a glimpse of what is to come in the next one. In response to the call for papers, we received 34 high quality submissions, 22 of which were carefully selected by the Program Committee for presentation at the workshop and inclusion in these proceedings. These include 17 full length papers as well as 5 short papers (that will be accompanied by demonstrations during the workshop). In addition, it is our pleasure to feature two invited talks, given by Professor J. Ullman of Stanford University and IBM Fellow C. Mohan. 344 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Jun 1999, 1999
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The Eighth EPSRC Numerical Analysis Summer School was held at the Uni versity of Leicester from the 5th to the 17th of July, 1998. This was the third Numerical Analysis Summer School to be held in Leicester. The previous meetings, in 1992 and… 1994, had been carefully structured to ensure that each week had a coherent 'theme'. For the 1998 meeting, in order to widen the audience, we decided to relax this constraint. Speakers were chosen to cover what may appear, at first sight, to be quite diverse areas of numeri cal analysis. However, we were pleased with the extent to which the ideas cohered, and particularly enjoyed the discussions which arose from differing interpretations of those ideas. We would like to thank all six of our main speakers for the care which they took in the preparation and delivery of their lectures. In this volume we present their lecture notes in alphabetical rather than chronological order. Nick Higham, Alastair Spence and Nick Trefethen were the speakers in week 1, while Bernardo Cockburn, Stig Larsson and Bob Skeel were the speakers in week 2. Another new feature of this meeting compared to its predecessors was that we had 'invited seminars'. A numer of established academics based in the UK were asked to participate in the afternoon seminar program. 268 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 96,29
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The European Societies for Arti cial Intelligence in Medicine (AIME) and M- ical Decision Making (ESMDM) were both established in 1986.A major activity of both these societies has been a series of international conferences, held bi…- nially over the last 13 years. In the year 1999 the two societies organized a joint conference for the r st time. It took place from June 20{24th, 1999 in Aalborg, Denmark. This Joint European Conference on Arti cial Intelligence in Medicine and Medical Decision Making (AIMDM 99)' was the seventh conference for each of thetwosocieties.ThisconferencefollowstheAIMEconferencesheldinMarseilles (1987), London (1989), Maastricht (1991), Munich (1993), Pavia (1995), and Grenoble(1997).PreviousESMDMconferenceshavebeenheldinLeiden(1986), Copenhagen (1988), Glasgow (1990), Marburg (1992), Lille (1994), and Torino (1996). The AIMDM conference is the major forum for the presentation and d- cussion of new ideas in the areas of Arti cial Intelligence and Medical Decision Making in Medicine. This ful lls the aims of both societies. The aims of AIME are to foster fundamental and applied researchin the applicationof Arti cial - telligence (AI) techniques to medicalcareandmedicalresearch,andto providea forum for reporting signi cant results achieved. ESMDM s aims are to promote research and training in medical decision-making, and to provide a forum for circulating ideas and programs of related interest. In the AIMDM 99 conference announcement, authors were encouraged to submit original contributions to the development of theory, techniques, and - plications of both AI in medicine (AIM) and medical decision making (MDM). 476 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 96,29
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -CAiSE 99 is the 11th in the series of International Conferences on Advanced Information Systems Engineering. The aim of the CAiSE series is to give - searchers and professionals from universities, research, industry, and public - m…inistrationthe opportunityto meetannuallytodiscussevolvingresearchissues and applications in the el d of information systems engineering; also to assist young researchersand doctoralstudents in establishing relationships with senior scientists in their areas of interest. StartingfromaScandinavianorigininthelate1980 s,CAiSEhasevolvedinto atrulyinternationalconferencewithaworldwideauthorandattendancelist.The CAiSE 99 programlisted contributions from 19 countries, from four continents! These contributions, 27 full papers, 12 short research papers, six workshops, and four tutorials, were carefully selected from a total of 168 submissions by the international program committee. A special theme of CAiSE 99 was Component-based information systems engineering . Component-based approaches mark the maturity of any engine- ing discipline. However,transferingthis idea to the complex anddiverse worldof information systems has proven more di cult than expected. Despite numerous proposals from object-oriented programming, design patterns and frameworks, customizable reference models and standard software, requirements engine- ing and business re-engineering, web-based systems, data reduction strategies, knowledge management, and modularized education, the question of how to make component-oriented approaches actually work in information systems - mains wide open. 500 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 96,29
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A survey of architectural mechanisms and implementation techniques for exploiting fine- and coarse-grained parallelism within microprocessors. Beginning with a review of past techniques, the monograph provides a comprehensive accou…nt of state-of-the-art techniques used in microprocessors, covering both the concepts involved and implementations in sample processors. The whole is rounded off with a thorough review of the research techniques that will lead to future microprocessors. XXXXXXX Neuer Text This monograph surveys architectural mechanisms and implementation techniques for exploiting fine-grained and coarse-grained parallelism within microprocessors. It presents a comprehensive account of state-of-the-art techniques used in microprocessors that covers both the concepts involved and possible implementations. The authors also provide application-oriented methods and a thorough review of the research techniques that will lead to the development of future processors. 416 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ICALP { the International Colloquium on Automata, Languages, and Progr- ming { is a series of annual conferences of the European Association for Th- retical Computer Science (EATCS). ICALP 99 was organized by the Institute of Compu…ter Science of the Academy of Sciences of the Czech Republic in - operation with the Action M Agency. Stimulated by the positive experience from previous meetings, the guiding idea of the ICALP 99 organization was to keep and to enhance the idea of a parallel two{track conference with invited plenary talks. Similarly to the two parts of the journal Theoretical Computer Science, Track A of the meeting is devoted to Algorithms, Automata, Complexity, and Games, and Track B to Logic, Semantics, and Theory of Programming. The Program Committee was structured along these same lines. As a further inno- tion, ICALP 99 was coordinated with the European Symposium on Algorithms (ESA 99) in such a way that both conferences took place in the same location with the former immediately followed by the latter. ICALP 99 was the 26th in the series of ICALP colloquia. Previous colloquia were held in Paris (1972), Saarbruc ken (1974), Edinburgh (1976), Turku (1977), Udine (1978), Graz (1979), Amsterdam (1980), Haifa (1981), Aarhus (1982), Barcelona (1983), Antwerp (1984), Nafplion (1985), Rennes (1986), Karlsruhe (1987), Tampere (1988), Stresa (1989), Warwick (1990), Madrid (1991), Vienna (1992), Lund (1993), Jerusalem (1994), Szeged (1995), Paderborn (1996), Bo- gna (1997), and Aalborg (1998). In the year 2000 ICALP will be held in Geneva. 740 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 112,34
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This proceedings volume consists of papers presented at the Seventh International Workshop on Computer-Aided Scheduling of Pllblic Transport, which was held at th th the Massachusetts Institute of Technology from August 5 to 8 , 19…97. In the tradition of alternating Workshops between North American and Europe - Chicago (1975), Leeds (1980), Montreal (1983), Hamburg (1986), Montreal (1990), and Lisbon (1993), Cambridge (Massachusetts, USA) was selected for the Workshop in 1997. As in earlier workshops, the central theme dealt with vehicle and crew scheduling problems and the development of software systems incorporating operations research techniques for operational planning in public transport. However, following the trend that started in Hamburg in 1987, the scope of this Workshop was broadened to include topics in related fields. Two trends underlie this. First, the recognition that the core scheduling issues in public transport have important common elements with other application areas in which extensive work is also underway, and that it is vital to learn from these other initiatives. Second, while scheduling is indeed a core problem in public transport planning, and has shown the first and greatest benefits from computer application, it is intimately related to the preceding tasks in the planning hierarchy, such as service design, and the following tasks such as operations control and public information. 484 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 117,69
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book treats modern aspects of open systems, measurement, and decoherence in relativistic quantum theory. It starts with a comprehensive introduction to the problems related to measuring local and nonlocal observables and the constrai…nts imposed by the causality principle. In the articles that follow, the emphasis lies on new theoretical models. Quantum dynamical semigroups and stochastic processes in Hilbert space are introduced, as are dynamical reduction models. Further topics include relativistic generalizations of the continuous spontaneous localization model and of the quantum state diffusion model and decoherence and the dynamical selection of preferred basis sets in the framework of continuous measurement theory and of the decoherent histories approach. Mathematical aspects of quantum measurement theory and dynamical entropies are also studied from the viewpoint of the operational approach to quantum mechanics. 252 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 128,39
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book stands as the visible mark of VECPAR 98 3rd International Meeting on Vector and Parallel Processing, which was held in Porto (Portugal) from 21 to 23 June 1998. VECPAR 98 was the third of the VECPAR series of conferences…initiatedin1993and organisedby FEUP, the FacultyofEngineering of the University of Porto. The conference programme comprised a total of 6 invited talks, 66 c- tributedpapers and18posters. Thecontributed papers andposters were selected from 120 extended abstracts originating from 27 countries. Outline of the book The book, with 7 chapters, contains 41 contributed papers and 6 invited talks. The 41 papers included in these proceedings result from the reviewing of all papers presented at the conference. Each of the rst 6 chapters includes 1 of the 6 invited talks of the conference, and related papers. Chapters 1, 2, 4, 5 and 7 are initiated by an introductory text providing the reader with a guide to the chapter contents. Chapter 1 is on numerical algebra.It begins with an introductory text by - cente Hern andez, followedby the invited talk by Gene Golub, entitled Some - usual Eigenvalue Problems.The remaining11contributed articles in thischapter deal either with large scale eigenvalue problems or with linear system problems. Computational uiddynamicsandcrashandstructural analysiswere brought under the same chapter and that is Chapter 2, which contains the invited talk byTimothyBarth, entitledParallel Domain Decomposition Pre-conditioning for Computational Fluid Dynamics, plus 8 contributed papers. Timothy Barth also authors the introductory text to the chapter. 728 pp. Englisch.
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 139,09
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Banking privatisation represents one of the major forces which are significantly changing the banking sector in Europe. Studying the process of banking privatisation thus helps to understand the dynamics of the sector. This book analyses…- from the perspective of both commercial banking and investment banking - the various processes of banking privatisation in Europe and their effects on the strategies and structures of banks. In its theoretical part, the book considers technical and financial aspects of banking privatisation from Spain, France, Italy, Norway, Germany, and Russia. An indispensable reading for investment bankers, regulators as well as policy-makers responsible for the existence of efficient and stable banking systems. 340 pp. Englisch.
