Springer berlin heidelberg okt 2002 (111 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph contributes to the existence theory of difference sets, cyclic irreducible codes and similar objects. The new method of field descent for cyclotomic integers of presribed absolute value is developed. Applications include the first substantial progress towards the Circulant Hadamard Matrix Conjecture and Ryser`s conjecture since decades. It is shown that there is no Barker sequence of length l with 13<1<4x10^(12). Finally, a conjecturally complete classification of all irreducible cyclic two-weight codes is obtained. 116 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This self-contained monograph is the first to feature the intersection of the structure theory of noncommutative associative algebras and the algorithmic aspect of Groebner basis theory. A double filtered-graded transfer of data in using noncommutative Groebner bases leads to effective exploitation of the solutions to several structural-computational problems, e.g., an algorithmic recognition of quadric solvable polynomial algebras, computation of GK-dimension and multiplicity for modules, and elimination of variables in noncommutative setting. All topics included deal with algebras of (q-)differential operators as well as some other operator algebras, enveloping algebras of Lie algebras, typical quantum algebras, and many of their deformations. 216 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Welcome to the proceedings of the 6th IEEE International Conference on Mobile Agents. MA 2002 took place in Barcelona, Spain and was co-located with the 4th International Workshop on Mobile Agents for Telecommunications Applications. Both events were held at the Universitat Pompeu Fabra, October 22-25, 2002. Mobile agents may be de ned as programs that, with varying degree of - tonomy, can move between hosts across a network. Mobile agents combine the notions of mobile code, mobile computation, and mobile state. Capabilities of mobile agents include: - Supporting unrealiable networks and disconnected operation - Counteracting low-bandwidth, high-latency communication links - Deploying newbehaviour (through mobile code) and recon guring systems on-the- y - Distributing processing load across systems - Improving survivability in the face of network and system failure. Given the above capabilities, mobile agents (while they may not be referred to as such) are nowbecoming accepted as a fundamental architectural construct for the design and development of complex adaptive systems that need to operate in highly dynamic environments. Mobile agents also support applications in several domains such as ubiquitous computing, grid computing, remote sensing, data mining, system management, and agile computing. 220 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Geometric Mechanics here means mechanics on a pseudo-riemannian manifold and the main goal is the study of some mechanical models and concepts, with emphasis on the intrinsic and geometric aspects arising in classical problems. The first seven chapters are written in the spirit of Newtonian Mechanics while the last two ones as well as two of the four appendices describe the foundations and some aspects of Special and General Relativity. All the material has a coordinate free presentation but, for the sake of motivation, many examples and exercises are included in order to exhibit the desirable flavor of physical applications. 288 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Peer-to-peer has emerged as a promising new paradigm for large-scale distributed computing. The International Workshop on Peer-to-Peer Systems (IPTPS) aimed to provide a forum for researchers active in peer-to-peer computing to discuss the state of the art and to identify key research challenges. The goal of the workshop was to examine peer-to-peer technologies, appli- tions, and systems, and also to identify key research issues and challenges that lie ahead. In the context of this workshop, peer-to-peer systems were characterized as being decentralized, self-organizing distributed systems, in which all or most communication is symmetric. The program of the workshop was a combination of invited talks, pres- tations of position papers, and discussions covering novel peer-to-peer appli- tions and systems, peer-to-peer infrastructure, security in peer-to-peer systems, anonymity and anti-censorship, performance of peer-to-peer systems, and wo- load characterization for peer-to-peer systems. To ensure a productive workshop environment, attendance was limited to 55 participants. Each potential participant was asked to submit a position paper of 5 pages that exposed a new problem, advocated a speci c solution, or reported on actual experience. We received 99 submissions and were able to accept 31. Participants were invited based on the originality, technical merit, and topical relevance of their submissions, as well as the likelihood that the ideas expressed in their submissions would lead to insightful technical discussions at the workshop. 356 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume of the Lecture Notes in Computer Science series contains the set of papers accepted for publication at the colocated QofIS/ICQT 2002 workshops, i.e. the 3rd COST Action 263 International Workshop on Quality of future Internet Services (QofIS) and the 2nd International Workshop on Internet Charging and QoS Technology (ICQT), both of which took place at the ETH Zric h, Switzerland, hosted by the Computer Engineering and Networking Laboratory, TIK. QofIS 2002 was the third in a series of highly successful technical workshops and meetings on Internet services within the framework of the COST Action 263 Q uality of future Internet Services , following previous events in Berlin, Germany in 2000 and in Coimbra, Portugal in 2001. ICQT 2002 was the follow-up to a vivid and extremely well-attended workshop on Internet economics and charging technology that took place within the framework of the Annual Meeting of the German Society for Computer Science (GI) and the Austrian Computer Society in 2001 in Vienna, Austria. 368 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumeoftheLectureNotesinComputerScienceseriescontainsallthe papersacceptedforpresentationatthe13thIFIP/IEEEInternationalWorkshop onDistributedSystems:OperationsandManagement(DSOM2002),whichwas heldattheUniversityofMontreal,Canada,from21to23October2002. DSOM2002wasthethirteenthworkshopinaseriesofannualworkshopsand itfollowsinthefootstepsofhighlysuccessfulpreviousmeetings,themostrecent ofwhichwereheldinNancy,France(DSOM01),Austin,USA(DSOM00),- rich,Switzerland(DSOM99),Delaware,USA(DSOM98),andSydney,Aust- lia(DSOM97). ThegoaloftheDSOMworkshopsistobringtogetherresearchers intheareasofnetwork,systems,andservicesmanagement,frombothindustry andacademia,todiscussrecentadvancesandfosterfuturegrowthinthis eld. Incontrasttothelargermanagementsymposia,suchasIM(IntegratedMa- gement)andNOMS(NetworkOperationsandManagementSymposium),the DSOMworkshopsareorganizedassingle-trackprogramsinordertostimulate interactionamongparticipants. ThefocusofDSOM2002is Makinge-commerceande-businessapplications successfulthroughmanagement. Ase-commerceande-businessapplications growtobeaprominentpartofday-to-daybusiness,managementtechnologies thatsupportthemgaininimportance. Thepaperspresentedattheworkshop addresstheunderlyingtechnologiesthatarekeytothesuccessofe-commerce ande-businessapplications,assuringqualityofservice,securityandtrust,e- to-endservicemanagement,andubiquity. Thisyearwewerefortunatetoreceive40high-qualitypapersfrom15co- tries,ofwhich16wereselectedforthe5technicalsessions. Thetechnicalsessions coveredthetopics ManagingQualityofService, MeasuringQualityofS- vice, ServiceArchictures, PolicyandProcess, and FaultAnalysis. This yearwealsoincludedintheprogramapanelsessiontitled EnforcingQuality: MythorReality , toprovideaforumforopendiscussionofthestate-of-the-art andrequirementsforquality-of-servicecon guration,monitoring,andenfor- ment. Thisworkshopowesitssuccesstoallthemembersofthetechnicalprogram committee,whodidanexcellentjobofencouragingtheircolleaguesinthe eld tosubmithigh-qualitypapers,andwhodevotedalotoftheirtimetohelpcreate anoutstandingtechnicalprogram. Wethankthemsincerely. Wearealsovery gratefultothevolunteerreviewerswhogavegenerouslyoftheirtimetomake thereviewprocesse ective. October2002 GilbertBabin MetinFeridun PeterKropf Organization The13thIFIP/IEEEInternationalWorkshoponDistributedSystems:Opera- onsandManagement(DSOM2002)wassponsoredbyIFIP(TC6,Communi- tionSystems;WG6. 6,ManagementofNetworksandDistributedSystems),the IEEECommunicationsSociety,theMinist`eredelaRecherche,delaScienceetde laTechnologieduQu ebec,IBM,CIRANO(CenterforInteruniversityResearch andAnalysisonOrganizations),CRT(CenterofResearchonTransportation), andBombardier. ConferenceChairs MetinFeridun,IBMResearch,Switzerland PeterKropf,UniversityofMontreal,Canada LocalArrangementsChair GilbertBabin,HEC,Montreal,Canada TechnicalProgramCommittee SebastianAbeck,UniversityofKarlsruhe,Germany NikosAnerousis,Voicemate,USA GilbertBabin,HECMontreal,Canada RaoufBoutaba,UniversityofWaterloo,Canada TorstenBraun,UniversityofBern,Switzerland MarcusBrunner,NECEurope,Germany MarkBurgess,UniversityCollegeOslo,Norway OmarCherkaoui,UniversityofQuebecinMontreal,Canada AlexanderClemm,CiscoSystems,USA TheodorCrainic,UniversityofMontreal,Canada MarkusDebusmann,FHWiesbaden,Germany GabiDreo-Rodosek,LRZMunich,Germany OlivierFestor,LORIA/INRIA,France KurtGeihs,TechnicalUniversityBerlin,Germany Heinz-GerdHegering,UniversityofMunich,Germany JosephHellerstein,IBMResearch,USA GabrielJakobson,GabrielJakobsonAssociates,USA BrigitteJaumard,UniversityofMontreal,Canada AlexanderKeller,IBMResearch,USA YoshiakiKiriha,NEC,Japan LundyLewis,AprismaManagementTechnologies,USA VIII Organization AntonioLiotta,UniversityofSurrey,UK EmilLupu,ImperialCollege,UK HananLut yya,UniversityofWesternOntario,Canada Jean-PhilippeMartin-Flatin,CERN,Switzerland GeorgePavlou,UniversityofSurrey,UK AikoPras,UniversityofTwente,TheNetherlands DannyRaz,Technion,I.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th Catalonian Conference on Artificial Intelligence, CCIA 2002, held in Castellón, Spain in October 2002.The 37 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on reasoning models, constraint satisfation, machine learning and classification, multi-agent systems, and computer vision and robotics. 448 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11-14. This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of speci cation, testing, and veri cation of distributed systems and communication protocols. The main topics are: - FDT-based system and protocol engineering. - Semantical foundations. - Extensions of FDTs. - Formal approaches to concurrent/distributed object-oriented systems. - Real-time and probability aspects. - Performance modeling and analysis. - Quality of service modeling and analysis. - Veri cation and validation. - Relations between informal and formal speci cation. - FDT-based protocol implementation. - Software tools and support environments. - FDT application to distributed systems. - Protocol testing, including conformance testing, interoperability testing, and performance testing. - Test generation, selection, and coverage. - Practical experience and case studies. - Corporate strategic and nancial consequences of using formal methods. A total of 61 papers were submitted to FORTE 2002, and reviewed by m- bers of the program committee and additional reviewers. The program committee selected 22 regular papers, two tool papers, and two posters for presentation at the conference. The program also included three tutorials and ve invited talks. 388 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Seven months following LTX quality of live has increased markedly in the hereby presented patient. A prolonged life expectance can be anticipated due to improved liver function and decreased bleedingtendency as a result of elevated leukocyte and thrombocyte counts. A positive surprise is the patients comment of less joint pain in spite of unchanged hemophilic arthropathy. If this is also true for other haemo philia patients following LTX this may develop as a new objective towards gene therapy as well. From a clinical perspective bleeding risk ismarkedlyreduced due to nearlynor mal factor VIII and thrombocyte levels as well as a presumable reduction of blood pressure in esophageal varacies. CD4-Helper cells increased significantly after LTX. However,at the same time a decrease of CD4/CD8 ratio was measured. CD4 count alone may therefore not be appropriate for HIV staging or subsequent decision whether or not immunfunction is sufficient for later LTX. Due to a CD4 count of above 700following livertransplantations the risk of opportunistic infections islow at this time. According to these preliminary results LTX should be considered in a subgroup of haemophilia patients with advanced liver cirrhosis in spite of HIV infection. Dysfibrinogenemia following after Snake Bite M. KRAUSE, J. BOJUNGA, D. MEBS, and I. SCHARRER Introduction A 35 year old snake breeder was bitten on the left foot by a middle American pit viper Crotalus durissus dryinas which had escaped. 352 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Research in the telecommunications eld suggests that future network infrastructures will be composed of sensors, wireless devices, personal digital assistants, networked appliances and numerous types of services. This brings up key issues such as unfamiliar users and service interfaces, discovering services that match user's needs, nding and tracking people and resources, establishing useful contacts and appropriate associations between resources and users, and managing a large number of dynamic network entities all of which must be performed in an automated and proactive manner with a certain degree of autonomy and mobility. These are the main characteristics exhibited by mobile software agent behavior, making the technology more suitable for future telecommu- cation applications and services. It also reveals the tremendous potential for the mobile agent paradigm. The potential complexity of mobile agent operation requires that mechanisms exist on several levels to coordinate its activities. For this purpose research and development on various forms of mobile agents continues to grow in a staggering fashion. Age- based applications and services such as network management, e-commerce, information gathering on the Internet, mobile communications, active networking, and most recently ad hoc communications are becoming increasingly popular and continue to contribute to the development and to the success of mobile agent technology. In addition it is well established that mobile agents is an ideal sister technology for mobile ad hoc networks where users, applications, services, devices and networks are mobile and dynamically con gurable. 336 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The biennial Brazilian Symposium on Arti cial Intelligence (SBIA 2002) - of which this is the 16th event - is a meeting and discussion forum for arti cial intelligence researchers and practitioners worldwide. SBIA is the leading c- ference in Brazil for the presentation of research and applications in arti cial intelligence. The rst SBIA was held in 1984, and since 1995 it has been an international conference, with papers written in English and an international program committee, which this year was composed of 45 researchers from 13 countries. SBIA 2002 was held in conjunction with the VII Brazilian Symposium on Neural Networks (SBRN 2002). SBRN 2002 focuses on neural networks and on other models of computational intelligence. SBIA 2002, supported by the Brazilian Computer Society (SBC), was held in Porto de Galinhas/Recife, Brazil, 11-14 November 2002. The call for papers was very successful, resulting in 146 papers submitted from 18 countries. A total of 39 papers were accepted for publication in the proceedings. We would like to thank the SBIA 2002 sponsoring organizations, CNPq, Capes, and CESAR, and also all the authors who submitted papers. In particular, we would like to thank the program committee members and the additional referees for the di cult task of reviewing and commenting on the submitted papers. 436 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 10th International Symposium on Graph Drawing (GD 2002) was held on August 26 28,2002,at Irvine,California. The conference attracted 74 parti- pants from academic and industrial institutions in 14 countries. As in previous years,the review process was competitive: 24 out of 48 regular submissions were accepted. In addition,9 short papers and 8 system demonst- tions (1 withdrawn) were also accepted. Each submission was refereed by at least 4 members of the program committee,and detailed comments were returned to the authors. GD 2002 invited two speakers: Frank Ruskey,from the University of Victoria, gave a talk on drawing Venn diagrams; James Arvo,from the California Institute of Technology,gave a talk on techniques for interactive graph drawing. As usual,the Graph Drawing contest was held during the conference. The report on the contest is included in the proceedings. We would like to thank all the people who helped organize and run the conference. We would like to thank our sponsors: ILOG,MERL (Mitsubishi Electric Research Laboratories),sd&m (Software Design & Management),Tom Sawyer Software,and the University of California,Irvine. We would also like to thank all the contributors and participants who made GD 2002 a success. The 11th International Symposium of Graph Drawing (GD 2003) will be held on September 21 24,2003 at Perugia,Italy,with Giuseppe Liotta as the conference chair. 412 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the Second International Conference on Advances in Information Systems (ADVIS) held in Izmir, Turkey, 23-25 October 2002. This conference was dedicated to the memory of Prof. Esen Ozkarahan. He was a great researcher who made an essential contribution to the development of information systems. Prof. Ozkarahan was one of the pioneers of database machine research and database systems in Turkey. This conference was organized by the Computer Engineering department of Dokuz Eylul University in Izmir. This department was established in 1994 by Prof. Ozkarahan and he worked there for the last ve years of his life. The main goal of the conference was to bring together researchers from all around the world working in di erent areas of information systems, to share new ideas and present their latest results. This time we received 94 submissions from 27 countries. The program committee selected 40 papers for presentation at the conference. During the conference a workshop was organized on the topic 'New Information Technologies in Education'. The invited and accepted cont- butions cover a large variety of topics: general aspects of information systems, databases and data warehouses, information retrieval, multiagent systems and technologies, distributed and parallel computing, evolutionary algorithms and system programming, and new information technologies in education. The success of the conference was dependent upon the hard work of a large number of people. We gratefully acknowledge the members of the Program C- mittee who helped to coordinate the process of refereeing all submitted papers. 452 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainsthepaperspresentedattheNinthInternationalC- ferenceonLogicforProgramming,Arti cialIntelligence,andReasoning(LPAR 2002),heldonOctober14 18,2002,attheUniversityofTbilisi(Georgia),- getherwiththeThirdInternationalWorkshoponImplementationofLogics. Therewere68submissions,ofwhicheightbelongedtothespecialsubmission categoryofexperimentalpapers,intendedtodescribeimplementationsorc- parisonsofsystems,orexperimentswithsystems. Eachsubmissionwasreviewed byatleastthreeprogramcommitteemembersandanelectronicprogramc- mitteemeetingwasheldviatheInternet. Thenumberofsubmissionsandshort reviewingperiodcausedalargeamountofwork,andweareverygratefultothe other22PCmembersfortheire ciencyandforthequalityoftheirreviewsand discussions. Finally,thecommitteedecidedtoaccept30papers. Theprogramme alsoincludesthreeinvitedlecturesandapostersession. Apartfromtheprogrammecomittee,wewouldalsoliketothanktheother people who made LPAR 2002 possible: the additional referees, and the local arrangementschairsKhimuriRhukia,KotePhakadze,GelaChankvetadze,and JemalAntidze. TheInternet-basedsubmissionsoftwareandtheprogramcommitteedisc- sionsoftwarewereprovidedbythesecondco-chair. August2002 MatthiasBaaz AndreiVoronkov ConferenceOrganization ProgramChairs MatthiasBaaz(TechnischeUniversit atWien) AndreiVoronkov(UniversityofManchester) ProgramCommittee ElviraAlbert(UniversidadPolitecnicadeValencia) FranzBaader(TechnischeUniversit atDresden) MauriceBruynooghe(KatholiekeUniversiteitLeuven) PatrickCousot(ENSParis) MaartendeRijke(UniversityofAmsterdam) HaraldGanzinger(Max-PlanckInstitut,Saarbruc ken) JeanGoubault-Larrecq(ENSdeCachan) MikiHermann(EcolePolytechnique) MatejaJamnik(UniversityofCambridge) NeilJones(KøbenhavnsUniversitet) DeepakKapur(UniversityofNewMexico) MaurizioLenzerini(Universit`adiRoma LaSapienza ) GiorgioLevi(Universit`adiPisa) LeonidLibkin(UniversityofToronto) RobertNieuwenhuis(TechnicalUniversityofCatalonia) LeszekPacholski(WroclawskiUniwersytet) MichelParigot(Universit eParis7) PavelPudlak(MathematicalInstitute,Prague) CarstenSchuermann(YaleUniversity) J orgSiekmann(DFKISaarbruc ken) WolfgangThomas(RWTHAachen) MichaelZakharyaschev(King sCollege) LocalOrganization KhimuriRhukia KotePhakadze GelaChankvetadze JemalAntidze VIII ConferenceOrganization ListofReferees GianlucaAmato CarlosAreces M. Arenas OferArieli RobertoBarbuti ChristophBenzmueller MartaBilkova BrunoBlanchet AlexandreBoisseau AhmedBouajjani DmitriChubarov PabloCordero VeroniqueCortier AgostinoDovier RachidEchahed MorenoFalaschi C`esarFerri OlivierGasquet BernhardGramlich Jos eManuelG omez PhilippedeGroote RainerHaehnle JiriHanika JuanHeguiabehere JoseHernandez-Orallo ThomasHillenbrand JoeHurd EmilJerabek ValentinJijkoun KonstantinKorovin G. Lakemeyer DominiqueLarchey-Wendling OlivierLaurent StefanLeue LuigiLiquori ChristofLoeding CarstenLutz ChristopherLynch PatrickMaier PaoloMancarella FlorenceMaraninchi MaartenMarx Jesus Medina EricaMelis AntoineMin e RalfM oller PaulinDeNaurois HansdeNivelle MichaelNorrish ManuelOjeda-Aciego NikolayPelov GuyPerrier ReinhardPichler ChristopherPollett Germ anPuebla Jean-PierreRessayre ChristianRetor e AlexandreRiazanov MichalRossler PaulRozi`ere NikitaSakhanenko UlrikeSattler StefanSchlobach ManfredSchmidt-Schauß KonradSlind Anni-YasminTurhan ChristianUrban WimVanhoof YdeVenema So eVerbaeten UweWaldmann KlausWeich ClausPeterWirth StefanWoehrle ConferenceOrganization IX ConferencesprecedingLPAR2001 RCLP 90,Irkutsk,SovietUnion RCLP 91,Leningrad,SovietUnion,aboardtheship MichailLomonosov LPAR 92,St. Petersburg,Russia,aboardtheship MichailLomonosov LPAR 93,St. Petersburg,Russia LPAR 94,Kiev,Ukraine,aboardtheship MarshalKoshevoi LPAR 99,Tbilisi,RepublicofGeorgia LPAR2000,ReunionIsland,France LPAR2001,Havana,Cuba TableofContents ImprovingOn-DemandStrategyAnnotations . . . . . . . . . . . . . . . . . . . . . . . . . 1 M. Alpuente,S. Escobar,B. Gramlich,S. Lucas First-OrderLogicasaCo. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The International Symposium on Medical Data Analysis is an important - riodical opportunity to exchange ideas and rst-hand experiences with groups interested in the medical applications of innovative hardware and software tools. The massive information available through continuous improvements in the various modeling approaches to Medical Data Analysis is re ected in the - sults, dealing with quite di erent topics, presented during the Third Edition of the Symposium (ISMDA 2002). They have been grouped into the following four categories: (1) Data Mining and Decision Support Systems; (2) Medical Informatics and Modeling; (3) Time-Series Analysis; and (4) Medical Imaging. In setting up the symposium program we tried to avoid, even with the sho- age of time, parallel sessions. Thus, all participants had the chance to catch all the oral presentations, and we hope that this third proceedings volume will extend this chance also to non-participants. As for the previous volumes, it c- tains extensive up-to-date chapters on Medical Data Analysis, packed with ideas, suggestions, and solutions to many problems typical of this eld. 240 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware - 344 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the rst time in France. The fourth issue of EDCC carried on the traditions established bythe previous conferences in this series: EDCC-1 was held in Berlin (Germany) in October 1994, EDCC-2 in Taormina (Italy) in October 1996, and EDCC-3 in Prague (Czech Republic) in September 1999. EDCC evolved from a merger of tow other conference series at the moment when the Iron Curtain fell. One of these, known as the 'International Conf- ence on Fault-Tolerant Computing Systems', was organized during the period 1982-1991, bythe German Technical Interest Group 'Fault-Tolerant Computing Systems'. The other series, known as the 'International Conference on Fault- Tolerant Systems and Diagnostics', was organized during the period 1975-1990 in the former Czechoslovakia, Poland, Bulgaria, and the former GDR. The c- position of the EDCC steering committee and the organizing committees of the successive issues of the conference have mirrored the East-West uni cation ch- acter of the conference series. The EDCC conference is becoming a unique meeting point for researchers and practitioners from all over the world in the eld of Dependable Systems. It is organized bythe SEE Working Group 'Dependable Computing' in France, the GI/ITG/GMA Technical Committee on Dependabilityand Fault Tolerance in Germany, and the AICA Working Group 'Dependability of Computer Systems' in Italy. Furthermore, committees of several global professional organizations, such as IEEE and IFIP, support the conference. 304 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Many partial differential equations arising in practice are parameter-dependent problems that are of singularly perturbed type. Prominent examples include plate and shell models for small thickness in solid mechanics, convection-diffusion problems in fluid mechanics, and equations arising in semi-conductor device modelling. Common features of these problems are layers and, in the case of non-smooth geometries, corner singularities. Mesh design principles for the efficient approximation of both features by the hp-version of the finite element method (hp-FEM) are proposed in this volume. For a class of singularly perturbed problems on polygonal domains, robust exponential convergence of the hp-FEM based on these mesh design principles is established rigorously. 340 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri cation has become one of the principal costs in a modern computer design e ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2. 420 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Im Zentrum des Buches steht das Prinzip 'Leistung gegen Entgelt': Betriebswirtschaftliches Planen, Entscheiden und Handeln wird beschrieben als das Erstellen von Leistungen und ihre Verwendung gegen Entgelt mit dem Zweck der Gewinnerzielung. Schwerpunkt ist damit zum einen die betriebswirtschaftliche Leistungslehre für Sach- und Dienstleistungen. Zum anderen kann die Teilnahme am Markt nur unter Berücksichtigung der gegenseitigen Verträge erklärt werden. Im Mittelpunkt des Anbietermarketings steht daher die Vertragsangebotspolitik; die absatzpolitischen Instrumente werden darauf bezogen geordnet. Das besondere Konzept des Buches besteht darin, dem Leser Grundlinien und Zusammenhänge des wirtschaftenden Handelns aufzuzeigen. Dazu gehört selbstverständlich, dass die Verbindungen zum Rechnungswesen und zum Recht mit in das Ordnungsgefüge einbezogen werden. 408 pp. Deutsch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The International Symposium on DIStributed Computing (DISC) 2002 was held in Toulouse, France, on October 28 30, 2002. The realization of distributed s- tems on numerous fronts and the proliferation of the Internet continue to make the symposium highly important and relevant. There were 76 regular submissions to DISC this year, which were read and evaluated by program committee members assisted by external reviewers. Twen- four papers were selected by the program committee to be included in these proceedings. The quality of submissions was high, and the committee had to decline some papers worthy of publication. The best student paper award was selected from among regular submissions that were not co-authored by any program committee member, and was given to Yongqiang Huang for his contribution Assignment-Based Partitioning in a Condition Monitoring System , co-authored with Hector Garcia-Molina. October 2002 Dahlia Malkhi Organizing Committee Mamoun Filali Philippe Mauran G`erard Padiou (Chair) Philippe Qu`einnec Anne-Marie Zerr (Secretary) Steering Committee Andr`e Schiper, Chair (EPFL, Switzerland) Michel Raynal, Vice-chair (Irisa, France) Maurice Herlihy (Brown University, USA) Dahlia Malkhi, Program Chair (Hebrew University of Jerusalem, Israel) Jennifer Welch (Texas A&M University, USA) Alex Shvartsman (University of Connecticut, USA) Shay Kutten (Technion, Israel) Program Committee Gustavo Alonso (ETH Zurich, Switzerland) Roberto Baldoni (University of Rome, Italy) Dave Bakken (Washington State University, USA) Paul Ezhilchelvan (University of Newcastle, UK) Christof Fetzer (AT&T Labs-Research, USA) Faith Fich (University of Toronto, Canada) Roy Friedman (Technion, Israel) Juan A. 388 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Our purpose in writing this book is to show how physics has been applied to developing our current understanding of the phase structure, physical condi tions, chemical makeup and, evolution of the (thermal) interstellar medium. We hope it provides an up-to-date overview which postgraduates, advanced undergraduates, and professionals in astrophysics can use as a 'reference of first resort' before going on to read the more specialist monographs or research literature. We have covered the exciting observational results, but without consideration of the experimental techniques or instruments required. An elementary understanding of mathematical physics and of quantum me chanics has been assumed, and a knowledge of basic astrophysics would be helpful. Older textbooks on interstellar physics have tended to develop the subject matter in an order which reflects the historical development of the field. Here a more pedagological approach has been adopted, based on our lecture course experience. We cover successively more complex physical systems found in the diffuse universe. Detailed mathematical rigour is eschewed in favour of provid ing the reader with a basic physical insight into these systems. Astrophysical problems are treated as practical applications of the physics. In practice, the material is generally ranked in order of decreasing entropy, since the hottest and most diffuse phases tend to be physically less complex. 460 pp. Englisch. …

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Richard Hauser Irene Becker Johann Wolfgang Goethe-University, FrankfurtlMain This volume marks the end of a research project of the editors titled 'The Devel opment of the Personal Distribution of Income in Germany' that was financed by the Hans Bockler Foundation from 1994 to 2001. This research concentrated on a national perspective, studying many aspects of income inequality and poverty in West Germany between 1969 and 1998 and extending the analyses to inequality in East Germany after the German reunification. Now at the end point of our empiri cal analyses, we want to expand the perspective to other research in this field, to challenges for future research, and to the European dimension, rather than to summarise all our results, which is done in another bookl. In 2001, the German goverrunent published its first Poverty and Wealth Re 2 port , which also draws on results from our research project. Thus, the intention of this volume is threefold: presenting and advancing Gernlan reporting on poverty in other coun and wealth, examining experience with advanced reporting schemes tries, and discussing comparative concepts for social monitoring in the European Union. 208 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ongoing advances in science and engineering enable mankind to design and operate increasingly sophisticated systems. Both their design and operation require the understanding of the system and its interaction with the envir- ment. This necessitates the formalisation of the knowledge about the system by models. A major issue is what kind of model is best suited for a given task. This book is about the supervision of continuous dynamical systems. Such systems are typically described by di erential equations. However, this does notautomaticallymeanthatdi erentialequationsarepropermodelsforso- ing supervision tasks. Instead, this book and recent approaches in literature show that supervision tasks do in general not require the use of such precise modelsasdi erentialequations.Thisisofinterestbecauseuncertainties,t- ically occurring in supervision, make the use of precise models very di cult. Alternative approaches therefore use less precise models such as discrete- event descriptions to solve supervision tasks on a higher level of abstraction. Discrete-event descriptions in form of automata are one of the key elements of this book. To reach this higher level of abstraction, uncertainties by qu- tisation are introduced on purpose, taking into account a loss of precision. This is one of the main di erence to other approaches. When using nume- calmodelsliketransferfunctionsordi erentialequations,uncertaintiesmake the analysis more di cult. Not so here, where the system is described on a qualitative level on which uncertainties are naturally incorporated. The book presents a new way to describe systems for supervision. Preparing this book I learned that the key to solve supervision problems is simplicity. 364 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recently, molecular electronics, especially that utilizing single molecules, has been attracting much attention. This is mainly because the theoretical limit is approaching in the present silicon-based technology, and the development of an alternative process is strongly desired. Single-molecule electronics is aimed at a breakthrough toward the next generation of computing systems. By designing and synthesizing highly functionalized molecules of nanometer size and incorporating these molecules into electrical circuits, we shall obtain much dense and high-speed processors. The concept of single-molecule electronics was first introduced by Aviram and Ratnar in 1978. In the early 1980s, many groups all over the world had started research on molecular electronics. At that time, single-molecule manipulation techniques had not been born, and the research was mainly carried out on molecular films formed by the Langmuir~Blodgett technique, a wet process, and by molecular-beam epitaxy, a dry process. A number of prototypes of switching devices and logic gates were, however, reported in the 1980s. In the early 1990s, scanning probe microscopes became popular and researchers obtained a single-molecule manipulation and evaluation tech nique. It became possible to fabricate practical devices using single molecules or small numbers of molecules. Finally, at the end of the last century, an explosion in the research field of single-molecule electronics was witnessed. In addition, studies of 'biocomputing' started in the early 1980s and significant progress was achieved in the last century. 216 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book will play a central role in ensuring safe and reliable behaviour of intelligent and autonomous systems. It collects some of the most recent results in fault diagnosis and fault tolerant systems, with particular emphasis on mechatronic systems. 212 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai,China,from 21 to 25 October 2002. Formal methods for software development have been extensively researched and their use in industry is increasing. Recent applications to the development of safety-critical,security-critical,and mission-critical systems have signi cantly increased trustworthiness,without increasing overall development costs. ICFEM encourages the exchange of ideas on recent advances in formal methods and software engineering. The conference received 108 papers submitted from 24 di erent countries and regions. A total of 43 regular and 16 short papers were accepted. All papers were reviewed by three or four members of the program committee or other reviewers. The conference would not have been possible without their voluntary and dedicated work. The conference had a number of excellent keynote speakers: Prof. Ralph- Johan Back of Abo Akademi University,Finland,Dr. Mark A. Hale of Inter woven Inc.,USA,Dr. Richard J ullig of CommerceNet Consortium,USA,Prof. Shaoying Liu of Hosei University,Japan,and Prof. Jim Woodcock of the University of Kent,UK. They provided a balanced view of advanced formal methods and software engineering from their research programs and experience. 648 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Polymers are substances made of macromolecules formed by thousands of atoms organized in one (homopolymers) or more (copolymers) groups that repeat themselves to form linear or branched chains, or lattice structures. The concept of polymer traces back to the years 1920's and is one of the most significant ideas of last century. It has given great impulse to indus try but also to fundamental research, including life sciences. Macromolecules are made of sm all molecules known as monomers. The process that brings monomers into polymers is known as polymerization. A fundamental contri bution to the industrial production of polymers, particularly polypropylene and polyethylene, is due to the Nobel prize winners Giulio Natta and Karl Ziegler. The ideas of Ziegler and Natta date back to 1954, and the process has been improved continuously over the years, particularly concerning the design and shaping of the catalysts. Chapter 1 (due to A. Fasano ) is devoted to a review of some results concerning the modelling of the Ziegler- Natta polymerization. The specific ex am pie is the production of polypropilene. The process is extremely complex and all studies with relevant mathematical contents are fairly recent, and several problems are still open. 336 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a consolidated survey of the vibrant field of research known as the theory of semi-feasible algorithms. This research stream perfectly showcases the richness of, and contrasts between, the central notions of complexity: running time, nonuniform complexity, lowness, and NP-hardness. Research into semi-feasible computation has already developed a rich set of tools, yet is young enough to have an abundance of fresh, open issues.Being essentially self-contained, the book requires neither great mathematical maturity nor an extensive background in computational complexity theory or in computer science in general. Newcomers are introduced to the field systematically and guided to the frontiers of current research. Researchers already active in the field will appreciate the book as a valuable source of reference. 164 pp. Englisch.…