springer berlin heidelberg jun 1999 (53 résultats)

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch bietet eine kompakte Einführung in die Grundlagen und Techniken des Übersetzerbaus. Übersetzer transformieren Texte einer Quellsprache, deren Struktur durch eine formale Grammatik beschrieben ist, in eine Zielsprache. Die Übersetzung imperativer Programmiersprachen in Maschinensprache ist dabei nur ein Spezialfall. Dieses Lehrbuch betont die vielseitige Verwendbarkeit von Übersetzerbau-Techniken. Insbesondere kann man mit Methoden der Syntaxanalyse Strukturen in Texten, Dateien oder Byte-Strömen identifizieren. Ein weiterer Schwerpunkt liegt in der Verbindung von Theorie und Praxis und der Einübung der Benutzung von Werkzeugen wie Lex und Yacc. So wird u.a. die vollständige Implementierung eines Übersetzers einer einfachen Dokument-Beschreibungssprache nach LaTeX vorgeführt. Angemessen berücksichtigt wird auch die Implementierung imperativer und funktionaler Sprachen. Das didaktisch ansprechende Buch enthält Übungsaufgaben mit Lösungen und ist auch zum Selbststudium geeignet. 384 pp. Deutsch.

Taschenbuch. Etat : 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. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Anwendungsprogramme des Office-Pakets stellen heute in der Wirtschaftspraxis ein wichtiges Arbeitsmittel dar. Auch die Nutzung des Internet als Informationsquelle und Kommunikationsmittel ist weiterhin in der täglichen Arbeit unverzichtbar geworden. Das vorliegende Lehrbuch bietet Studenten und Praktikern eine kompakte Einführung in die Office-Programme Word, Excel, Access und Powerpoint und die Möglichkeiten der Internet-Nutzung. Das Buch zeichnet sich durch klare Darstellung und Beschränkung auf das Wesentliche aus. Die Verwendung eines durchgängigen Fallbeispiels macht es besonders anschaulich. 446 pp. Deutsch.

Taschenbuch. Etat : 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.

Taschenbuch. Etat : 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.

Buch. Etat : 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. Etat : 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. Etat : 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.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Digitale Kommunikation dringt in immer mehr Bereiche privater und unternehmerischer Anwendungsfelder ein. Seit 1997 sind die gesetzlichen Rahmenbedingungen in Deutschland für rechtlich gesicherte Vorgänge im Internet geschaffen. Zentraler Bestandteil ist die digitale Signatur. Die Autoren erklären anschaulich und detailliert deren Konzept und Einsatzmöglichkeiten. Die Funktionen von Signatur, Trustcenter, Chipkarte und asymmetrischem Schlüsselverfahren werden dargestellt und durch zahlreiche Diagramme verdeutlicht. Die Informationen dienen als Entscheidungsgrundlage für den Einsatz der digitalen Signatur in Firmen, Institutionen und Behörden. Die Anwendungsbeispiele beziehen sich auf Business-to-Business- und Business-to-Customer-Beziehungen in Intranet und Internet. Das Werk wendet sich vor allem an Produzenten digitaler Medien sowie Entscheider in Wirtschaft und Verwaltung. 212 pp. Deutsch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Internet wird heute nicht mehr nur für die Verbreitung von Online-Informationen genutzt, sondern auch als Medium zur Abwicklung von Geschäftsprozessen. Die Unterstützung derartiger Handelstransaktionen in ihren unterschiedlichsten Facetten wird heute unter dem Begriff 'Electronic Commerce' zusammengefaßt.Dieses Buch ist insbesondere der Fragestellung gewidmet, wie eine Softwareplattform gestaltet sein sollte, die Anforderungen von Nachfragern und Anbietern z.B. kommerzieller Softwarekomponenten effizient unterstützt. Hierbei leitet sich der Softwareentwurf unmittelbar aus der mikroökonomischen Marktdefinition ab. Insbesondere Fragen der Transaktionskostenreduktion und der Innovationsfähigkeit der Marktsoftware führen zum Modell eines Elektronischen Dienstemarktes.Bestehende Realisierungsverfahren zur Kooperation in verteilten Systemen werden hinsichtlich ihrer Vereinbarkeit mit diesem Dienstemarkt evaluiert. Dort, wo sie der Idee des Dienstemarktes nur bedingt gerecht werden, entwickelt der Autor neue Verfahren, deren Integration bei der anschließenden softwaretechnischen Realisierung aufgezeigt wird.Die in diesem Buch diskutierten Unterstützungsmechanismen für Geschäftstransaktionen im Internet fließen aktuell in europäische Forschungsprojekte und darüber hinaus in die internationale CORBA-Standardisierung (Common Object Request Broker Architecture) ein. 416 pp. Deutsch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die vorliegende Arbeit entstand wahrend meiner wissenschaftlichen Tatigkeit im Forschungslabor Elektronikarchitektur und -integration der DairnlerChrysler Akti engesellschaft und am Institut fUr Arbeitswissenschaft und Technologiemanage ment (IAT) in Stuttgart. Herrn Prof. Dr.-Ing. habil. Prof. e. h. Dr. h. c. H.-I. Bullinger, geschaftsfUhrender Direktor des Instituts fUr Arbeitswissenschaft und Technologiemanagement (IAT) der Universitat Stuttgart und Leiter des Fraunhofer-Instituts fUr Arbeitswirtschaft und Organisation (IAO), danke ich sehr fUr die wissenschaftliche Unterstiitzung und wohlwollende Forderung der Arbeit. Herrn Prof. Dr.-Ing. Dr. h. c. E. Westkamper, Leiter des lnstituts fUr Industrielle Fertigung und Fabrikbetrieb (IFF) der Universitat Stuttgart und Leiter des Fraun hofer-Instituts fUr Produktionstechnik und Automatisierung (IPA), danke ich fUr die Ubernahme des Mitberichtes, seine eingehende Durchsicht der Arbeit und die sich daraus ergebenden konstruktiven Hinweise. Mein besonderer Dank gilt Herrn Dipl.-Ing. M. Richter, Leiter des Competence Centers Produktionsmanagement am Fraunhofer-Institut fUr Arbeitswirtschaft und Organisation, fUr die fruchtbare Zusammenarbeit, die vielen kritischen und sehr wertvollen Diskussionen sowie das in mich gesetzte Vertrauen. 176 pp. Deutsch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die vorliegende Arbeit entstand wahrend meiner Tii.tigkeit als Gastwissenschaftler am Fraunhofer-Institut fUr Produktionstechnik und Automatisierung (IPA), Stuttgart. Mein besonderer Dank gilt Herrn Prof. Dr.-Ing. Dr. h.c. mull. H.-J. Warnecke, Prasident der Fraunhofer Gesellschaft, fUr seine groBzugige UnterstUtzung und Forderung, die zur erfolgreichen DurchfUhrung dieser Arbeit beigetragen haben. Herrn Prof. Dr.-Ing. A. Storr danke ich fUr die Obernahme des Mitberichts und die eingehende Durchsicht der Arbeil. Bedanken mochte ich mich bei Herrn Dr.-Ing. Chun-Sik Lee, Institutsleiter der KIST Europe Forschungsgesellschaft mbH, fur groBe Unterstutzung und Forderung. Herrn Dr.-Ing. Jong-Oh Park danke ich fUr die UnterstUtzung und Beratung wah rend der gesamten Promotionszeil. Bedanken mochte ich mich bei Herrn Prof. Dr.-Ing. R.-D. Sch raft , Herrn Dr.-Ing. M. Schweizer, Herrn Dr.-Ing. T. Weisener und Herrn Dr.-Ing. G. Vogele, die mich am Institut unterStUtzt haben. Meiner Familie, Jae-Young, Jae-Won und meiner Frau Moung-Hyo, danke ich fur das Verstandnis, mit dem sie das Entstehen dieser Arbeit begleitet haben. Besonderer Dank gilt meiner Mutter und me in em Vater in Korea, denen ich diese Arbeit wid me. 104 pp. Deutsch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Reihe MEDialog wurde zur effizienten Vorbereitung auf die mündliche Prüfung im Physikum konzipiert. Etwa 180 Fragen decken sämtliche Inhalte des Gegenstandskatalogs im Fach Biochemie ab. Jeder Antwort ist eine Seite gewidmet. Wo immer möglich, wird dabei auf die klinische Relevanz des betreffenden Sachverhalts eingegangen. In den Antworttext integrierte Abbildungen erleichtern das Verständnis komplexer Aspekte. Diese Form der Darstellung garantiert, daß man die Fakten und Zusammenhänge im Fach Biochemie auch kurz vor der mündlichen Prüfung noch einmal rekapitulieren kann. MEDialog eignet sich nicht nur zum 'Solo-Lernen', sondern auch für die Lerngruppe. Denn gerade im Dialog mit anderen kann die mündliche Prüfungssituation effektiv. 208 pp. Deutsch.

Taschenbuch. Etat : 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. Etat : 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. Etat : 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,aswellas hash 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)ofthework shop. 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. . . . . . . . . . . . . . . . . . . . 231 M. BellareandP. Rogaway AnalysisofBlockCiphersII SlideAttac 332 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumecontains3invitedand24submittedpaperspresentedattheNinth InternationalWorkshoponInductiveLogicProgramming,ILP-99. The24acc- tedpaperswereselectedbytheprogramcommitteefromthe40paperssubmitted toILP-99. Eachpaperwasreviewedbythreereferees,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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 320 pp. Englisch.

Taschenbuch. Etat : 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.

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Softwaretechnik löst ihr Versprechen ein: Componentware, Frameworks und Design Patterns erfüllen die zentralen Anforderungen der Objektorientierung: Wiederverwendbarkeit und Wartbarkeit.Dieses Buch ergründet die aktuellen Schlagworte, gibt handfeste Beispiele (auf CD-ROM) und bewertet die Tendenzen. Soll Software wartbar und wiederverwendbar entworfen und dokumentiert werden (Literate Designing), kommen Entwurfsmuster ins Spiel. Entwickler nutzen sie in allen Bedeutungen: als Vorlage für neue Entwürfe, als Vorbild zum Dokumentieren ihrer Entscheidungen und als Orientierung in fremden Programmen.Das Buch bietet Dozenten und Methoden-Trainern einen Gestaltungsfundus für Seminare und Lehrveranstaltungen, IT-Entscheidern einen kompakten Überblick über das Potential der Entwurfsmuster in der Software-Produktion. 212 pp. Deutsch.

Taschenbuch. Etat : 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. Etat : 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. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -- Die wissenschaftlich gesicherten Standards der modernen Akutversorgung und Frührehabilitation- Neueste wissenschaftliche Erkenntnisse und Erfahrungen der Autoren- Klar und prägnant, mit zahlreichen Praxis-Tips, konkreten Beispielen und anschaulichen FotosEin Praxis-Kompendium, das Sie bei der Organisation des Reha-Units, bei der Behandlungsplanung und in der Team-Arbeit täglich effizient unterstützt!'Aus jeder Seite spricht große praktische Erfahrung. Ein solches praxisorientiertes Werk entspricht einem echten Bedürfnis. Es wird jeden interessieren, der in der Akutphase, in der Rehabilitation oder späteren Betreuung dieser Patienten engagiert ist.' (Therapeutische Umschau) 320 pp. Deutsch.

Taschenbuch. Etat : 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. Etat : 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 DepartmentofComputerScienceatUniversityCollegeLondonforadmin ist- 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. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 Avoidingnon-groundvariables StefanBr 416 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the Sixteenth International Conference on Automated Deduction (CADE-16), held in Trento, Italy, July 7{10, 1999, and hosted by Istituto Trentino di Cultura { Centro per la ricerca scientic a e tecnologica (ITC-IRST). The year 1999 marks the 25th anniv- sary of CADE. Since their inception in 1974 at Argonne National Laboratory, the CADE conferences have matured into the major forum for presentation of research in all aspects of automated deduction. CADE-16 was one of the conferences participating in the 1999 Federated LogicConference (FLoC). FLoC 99was the second Federated LogicConference; the r st took place in 1996 and was hosted by DIMACS at Rutgers University, NewBrunswick, NJ.TheintentionoftheFederatedLogicConferences istobring together as a synergetic group several conferences that apply logic to computer science. Theother participatingconferences in FLoC 99were theEleventh Int- national Conference on Computer-Aided Veri cation (CAV 99), the Fourteenth IEEE Symposium on Logic inComputer Science (LICS 99), and the Tenth C- ference on Rewriting Techniques and Applications (RTA-99). Eighty-three papers were submitted to CADE-16: 67 regular papers and 16 system descriptions. Each of the submissions was reviewed by at least four programcommitteemembers, andanelectronicprogramcommitteemeeting was held through the Internet. Of the 83 papers, 21 regular papers and 15 system descriptions were accepted. In addition, this volume contains full papers by two of the four invited speakers, Erich Gr adel and Robert Nieuwenhuis, along with an abstract of Tobias Nipkow s invited lecture. Zohar Manna gave an invited talk in a plenary session with CAV. 452 pp. Englisch.

Taschenbuch. Etat : 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 account 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.

Taschenbuch. Etat : 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. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This work presents a new original approach to diagnosis and rehabilitative treatment of vertigo and dizziness based on an innovative model of the vestibular system. It includes a detailed introduction to the MCS method, and a treatment program that involves mechanic, cybernetic, and synergetic aspects. Additionally, it provides a brief outline of the modern neurophysiological concepts behind the methodology. This diagnosis and management guide opens up a new frontier both for medical specialists and physical therapists dealing with vertigo sufferers. It presents a new original approach to diagnosis and rehabilitative treatment of vertigo and dizziness based on an innovative model of the vestibular system. It includes a detailed introduction to the MCS method, and a treatment program that involves mechanical, cybernetic, and synergetic aspects. Additionally, it provides a brief outline of the modern neurophysiological concepts behind the methodology. 256 pp. Englisch.

Taschenbuch. Etat : 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 - ministrationthe 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.

Taschenbuch. Etat : 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.