springer berlin heidelberg mrz 2008 (77 resultados)

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Jetzt erst Recht - für die ambulante Pflege von A bis Z!Wer haftet bei Sachschäden Was muss der Pflegevertrag regeln Wer zahlt bei Unfällen Immer wieder gibt es gerade in der ambulanten Pflege Situationen, in denen Pflegende mit arbeits-, straf- und haftungsrechtlichen Fragen konfrontiert werden. Dieser Wegweiser speziell für die Fragen der ambulanten Pflege vermittelt die notwendige Sensibilität für die rechtlichen Fallstricke und gibt Sicherheit im Pflegealltag: Schnell und kompakt findet der Leser wichtige Urteile und Fallbeschreibungen von A wie Abmahnung bis Z wie Zwangsvollstreckung.Von 'Fall zu Fall' für die ambulante Pflege - denn Vorbeugen ist besser als haften. 310 pp. Deutsch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Trotz der Konzentration auf das Wesentliche deckt das Lehrbuch ein breites Spektrum mathematischer Konzepte und Methoden ab, die für die Physik heute relevant sind. Das ist möglich, weil die Autoren auf Details verzichten, die sich in über 30 Jahren Lehrerfahrung als nicht wirklich erhellend erwiesen haben. Das Lehrbuch orientiert sich an den Bedürfnissen der Physikstudierenden, indem es weniger mathematischer Systematik als vielmehr dem Ablauf des Physikstudiums folgt. Der Stoff kann anhand zahlreicher Aufgaben und Lösungen vertieft werden. 328 pp. Deutsch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Übungsbuch eignet sich sowohl zur vorlesungsbegleitenden Einübung produktions- und kostentheoretischer Modelle und Methoden als auch zur gezielten Vorbereitung auf die Abschlussprüfung. Es enthält neben einfachen auch anspruchsvollere Aufgaben, die produktions- und kostentheoretische Aspekte nach Möglichkeit miteinander verknüpfen. Die sehr ausführlichen und mit zahlreichen Abbildungen versehenen Lösungen zeigen auch alternative Lösungswege auf. Das Buch kann parallel zu allen bewährten einschlägigen Lehrbüchern verwendet werden. 444 pp. Deutsch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Zweifellos war das 20. Jahrhundert vor allem eine Epoche von Wissenschaft und Technik. Unter Wissenschaft versteht der Autor jene Disziplinen, die gesichertes kognitives Wissen hervorbringen, also in erster Linie die Naturwissenschaften, die Logik und die Mathematik. In seinem Buch zeigt er u. a. wie die Bündelung des Wissens in Form von Theorien erfolgt, nach welchen Kriterien der Stellenwert einer wissenschaftlichen Theorie beurteilt werden kann und warum die Quantentheorie die wichtigste Gedankenschöpfung des 20. Jahrhunderts gewesen ist. 124 pp. Deutsch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -One of the key open questions within arti cial intelligence is how to combine probability and logic with learning. This question is getting an increased - tentioninseveraldisciplinessuchasknowledgerepresentation,reasoningabout uncertainty, data mining, and machine learning simulateously, resulting in the newlyemergingsub eldknownasstatisticalrelationallearningandprobabil- ticinductivelogicprogramming.Amajordriving forceisthe explosivegrowth in the amount of heterogeneous data that is being collected in the business and scienti c world. Example domains include bioinformatics, chemoinform- ics, transportation systems, communication networks, social network analysis, linkanalysis,robotics,amongothers.Thestructuresencounteredcanbeass- pleassequencesandtrees(suchasthosearisinginproteinsecondarystructure predictionandnaturallanguageparsing)orascomplexascitationgraphs,the WorldWideWeb,andrelationaldatabases. This book providesan introduction to this eld with an emphasison those methods based on logic programming principles. The book is also the main resultofthesuccessfulEuropeanISTFETprojectno.FP6-508861onAppli- tionofProbabilisticInductiveLogicProgramming(APRILII,2004-2007).This projectwascoordinatedbytheAlbertLudwigsUniversityofFreiburg(Germany, Luc De Raedt) and the partners were Imperial College London (UK, Stephen MuggletonandMichaelSternberg),theHelsinkiInstituteofInformationTe- nology(Finland,HeikkiMannila),theUniversit` adegliStudidiFlorence(Italy, PaoloFrasconi),andtheInstitutNationaldeRechercheenInformatiqueet- tomatiqueRocquencourt(France,FrancoisFages).Itwasconcernedwiththeory, implementationsandapplicationsofprobabilisticinductivelogicpr ogramming. Thisstructureisalsore ectedinthebook. The book starts with an introductory chapter to Probabilistic Inductive LogicProgramming byDeRaedtandKersting.Inasecondpart,itprovidesa detailedoverviewofthemostimportantprobabilisticlogiclearningformalisms and systems. We are very pleased and proud that the scientists behind the key probabilistic inductive logic programming systems (also those developed outside the APRIL project) have kindly contributed a chapter providing an overviewoftheircontributions.Thisincludes:relationalsequence learningte- niques (Kersting et al.), using kernels with logical representations (Frasconi andPasserini),MarkovLogic(Domingosetal.), the PRISMsystem (Satoand Kameya),CLP(BN)(SantosCostaetal.),BayesianLogicPrograms(Kersting andDeRaedt),andtheIndependentChoiceLogic(Poole).Thethirdpartthen provides a detailed account of some show-caseapplications of probabilistic - ductive logic programming, more speci cally: in protein fold discovery (Chen et al.), haplotyping (Landwehr and Mielik ainen) and systems biology (Fages andSoliman). The nal parttouchesupon sometheoreticalinvestigationsand VI Preface includes chaptersonbehavioralcomparisonof probabilisticlogicprogramming representations(MuggletonandChen)andamodel-theoreticexpressivityan- ysis(Jaeger). 356 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainstheproceedingsoftheInternetofThings(IOT)Conference 2008, the rst international conference of its kind. The conference took place in Zurich,Switzerland, March26-28,2008. The term 'Internet of Things' hascome to describe a number of technologies and researchdisciplines that enable the - ternet to reach out into the real world of physical objects. Technologies such as RFID, short-range wireless communications, real-time localization, and sensor networks are becoming increasingly common, bringing the 'Internet of Things' into industrial, commercial, and domestic use. IOT 2008 brought together le- ing researchersand practitioners, from both academia and industry, to facilitate the sharing of ideas, applications, and research results. IOT 2008 attracted 92 high-quality submissions, from which the technical program committee accepted 23 papers, resulting in a competitive 25% acc- tance rate. In total, there were over 250 individual authors from 23 countries, representing both academic and industrial organizations. Papers were selected solely on the quality of their blind peer reviews. We were fortunate to draw on the combined experience of our 59 program committee members, coming from the most prestigious universities and research labs in Europe, North America, Asia, and Australia. Program committee members were aided by no less than 63 external reviewers in this rigorous process, in which each committee member wrote about 6 reviews. The total of 336 entered reviews resulted in an average of 3. 7 reviews per paper, or slightly more than 1000 words of feedback for each paper submitted. 400 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Metaheuristics have been shown to be e ective for di cult combinatorial - timization problems appearing in various industrial, economical, and scienti c domains. Prominent examples of metaheuristics are evolutionary algorithms, tabu search, simulated annealing, scatter search, memetic algorithms, variable neighborhood search, iterated local search, greedy randomized adaptive search procedures, ant colony optimization and estimation of distribution algorithms. Problems solved successfully include scheduling, timetabling, network design, transportation and distribution, vehicle routing, the travelling salesman pr- lem, packing and cutting, satis ability and general mixed integer programming. EvoCOPbeganin2001andhasbeenheldannuallysincethen.Itwasthe rst event speci cally dedicated to the application of evolutionary computation and related methods to combinatorial optimization problems. Originally held as a workshop,EvoCOPbecameaconferencein2004.Theeventsgaveresearchersan excellent opportunity to present their latest research and to discuss current - velopments and applications. Following the general trend of hybrid metaheur- tics and diminishing boundaries between the di erent classes of metaheuristics, EvoCOP has broadened its scope over the last years and invited submissions on any kind of metaheuristic for combinatorial optimization. 304 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 11th European Conference on Genetic Programming, EuroGP 2008, took place in Naples, Italy from 26 to 28 March in the University of Naples Congress Centre with spectacular views over the Gulf of Naples. This volume contains the papers for the 21 oral presentations and 10 posters that were presented during this time. A diverse array of topics were covered re ecting the current state of research in the eld of Genetic Programming, including the latest work on representations, theory, operators and analysis, evolvable hardware, agents and numerous applications. A rigorous, double-blind peer review process was employed, with each s- mission reviewed by at least three members of the international Program C- mittee. In total 61 papers were submitted this year, making an acceptance rate of 34% for full papers, and an overall acceptance rate of 51% including posters. S- mission of papers and the reviewing process were greatly assisted by the use of the MyReview management software originally developed by Philippe Rigaux, Bertrand Chardon and other colleagues from the Universit e Paris-Sud Orsay, France. We are especially grateful to Marc Schoenauer from INRIA, France for managing this system. Reviewers were asked to nominate keywords specifying their area of expertise, and these keywords were matched to those selected by the authors of the submitted papers with the assistance of the optimal assignment feature of the conference management software. 392 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The4thInformationSecurityPracticeandExperienceConference(ISPEC2008) was held at Crowne Plaza, Darling Harbour, Sydney, Australia, during April 21 23, 2008. The previous three conferences were held in Singapore in 2005, Hangzhou, China in 2006 and Hong Kong, China in 2007. As with the previous three conference proceedings, the proceedings of ISPEC 2008 were published in the LNCS series by Springer. Theconferencereceived95submissions,outofwhichtheProgramCommittee selected 29 papers for presentation at the conference. These papers are included in the proceedings. The accepted papers cover a range of topics in mathem- ics, computer science and security applications, including authentication and digital signatures, privacy, encryption and hash-function algorithms, security analysis, network security, access control, security devices, pairing and elliptic curve-basedsecuritypractice,securitycomputationandso forth.The conference proceedings contain revised versions of the selected papers. Since some of them were not checked again for correctness before publication, the authors (and not the ProgramCommittee)bear full responsibilityfor the contentsoftheir papers. In addition to the contributed papers, the program comprised two invited talks.TheinvitedspeakerswereVijayVaradharajan(MacquarieUniversity ,A- tralia) and Robert Huijie Deng (Singapore Management University, Singapore). Special thanks are due to these speakers. Wewouldliketothankallthepeoplewhohelpedwiththeconferenceprogram and organization. First, we thank the Steering Committee for their guidance on the general format of the conference. We also heartily thank the Program Committee and the sub-reviewers listed on the following pages for their hard e orts and time contributed to the review process, which took seven weeks. Each paper was carefully evaluated by at least two or three people. There was signi cant online discussion about a large number of papers. 440 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Asynchronous JavaScript and XML (Ajax) is a web technique used to transfer data between a browser and server asynchronously without posting the web page to the server. 'Asynchronously' implies that the processing of the web page continues while the Ajax request is sent to the server and a response is received from the server. The web page, or section(s) of the web page,is refreshed with the Ajax response without reposting the web page. Ajax has the following advantages over non-Ajax web applications.- Reduced response time and reduced server load, as the complete web page is not reposted.- Reduced bandwidth of web applications as only data is transferred and the HTML format is applied in the browser. - Separation of data, format and style. The book covers web search and RSS Feed with Ajax as well as form validation with Ajax frameworks for Java, JSP, JSF, and PHP. It discusses using Ajax in Oracle JDeveloper and is IDE based. JDeveloper has the following advantages over Eclipse IDE.- JDeveloper 11g provides an integrated JavaScript Editor for Ajax/Web development. - It also provides a PHP extension. - JDeveloper has a built-in support for JSF and for JDBC. 240 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci c to the satellite events). The ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive. 324 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), held in Ise, Japan, April 14 16, 2008 at the Ise City Plaza. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular it aims to stimulate the cro- fertilization as well as integration of the two paradigms. The previous FLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba(1999),Tokyo(2001),Aizu (2002),Nara(2004),and againFuji-Susono (2006). Since its 1999 edition, FLOPS proceedings have been published by Springer in itsLecture Notes in Computer Science series,as volumes 1722,2024, 2441, 2998 and 3945, respectively. In response to the call for papers, 59 papers were submitted. Each paper was reviewedbyatleastthreeProgramCommittee members,withthe helpofexpert external reviewers. The Program Committee meeting was conducted electro- cally, for a period of two weeks in December 2007. After careful and thorough discussion,the ProgramCommittee selected20 papers(33%)for presentationat theconference.Inadditiontothe20contributedpapers,thesymposiumincluded talks by three invited speakers: Peter Dybjer (Chalmers University of Techn- ogy), Naoki Kobayashi (Tohoku University) and Torsten Schaub (University of Potsdam). 352 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci c to the satellite events). The ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive. 448 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the latest developmentsinthegrowingareaofresearch at the interface of argumentation theory and multiagent systems. This area has grown tremendously with many papers appearing in the recent special issue of the Arti cial Intelligence Journal on Argumentation and the special issue of IEEE Intelligent Systems on Argumentation Technologies. Over the last few years, argumentation has been gaining increasing imp- tance in multiagent systems, mainly as a vehicle for facilitating rational int- action (i. e. , interaction which involves the giving and receiving of reasons). This is because argumentation provides tools for designing, implementing, and a- lyzing sophisticated forms of interaction among rational agents. Argumentation hasmadesolidcontributionstothe practiceofmultiagentdialogues. Application domains include: legal disputes, business negotiation, labor disputes, team f- mation, scienti c inquiry, deliberative democracy, ontology reconciliation, risk analysis, scheduling, and logistics. A single agent may also use argumentation techniquestoperformitsindividualreasoningbecauseitneedstomakedeci sions under complex preferences policies, in a highly dynamic environment. Most papers in this volume appeared in the proceedings of the 4th Int- national Workshop on Argumentation in Multiagent Systems (ArgMAS 2007), which took place in Honolulu, USA, in conjunction with the International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS). This continues the success of the ArgMAS workshop series, which took place in t- dem with AAMAS in New York in 2004,Utrecht in 2005,and Hakodatein 2006. 252 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci c to the satellite events). The ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive. 540 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The World Wide Web has become part of our everyday life and information retrieval and data mining on the Web are now of enormous practical interest. The algorithms supporting these activities combine the view of the Web as a text repository and as a graph, induced in various ways by links among pages, links among hosts, or other similar networks. The aim of the 4th Workshop on Algorithms and Models for the Web-Graph (WAW 2006)wasto further the understanding of these Web-induced graphsand stimulate the developmentofhigh-performancealgorithmsandapplicationsthat use the graph structure of the Web. The workshop was meant both to foster an exchange of ideas among the diverse set of researchers already involved in this topic and to act as an introduction for the larger community to the state of the art in this area. The workshop program included invited keynote talks by Fan Chung-Graham (UCSD), Soumen Chakrabarti (IITB), Walter Willinger (ATT Research) and Filippo Menczer (Indiana). WAW 2006tookplaceonNovember30 andDecember 1 at the Ban Inter- tionalResearchInstitute(BIRS),inBan ,Alberta(Canada).Itwasthefourthin a seriesof verysuccessful workshopson the Web graph.WAW 2002 (Vancouver) and 2004 (Rome) were held in conjunction with the Annual IEEE Symposium on Foundations of Computer Science (FOCS). WAW 2003 (Budapest) was held in conjunction with the 12th International World Wide Web Conference. 184 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the 12th Annual International ConferenceonREsearchin COmputationalMolecularBiology(RECOMB2008) held in Singapore, March 30-April 2, 2008. The RECOMB conference series was founded in 1997 by Sorin Istrail, Pavel Pevzner and Michael Waterman. Its history is summarized in the table herein. The general development of the RECOMB conference series is guided by a Steering Committee. RECOMB 2008 was hosted by the National University of Singapore and held at the University Cultural Centre. The Conference Chair was Limsoon Wong, who was supported by a 16-member-strong Organizing Committee. Out of 193 papers submitted to RECOMB 2008, the Program Committee (PC) selected 34 papers for presentation at the conference. The PC consisted of 46 members, who could further draw on the help of subreviewers. Three PC members with possible help of the external reviewers rst reviewed each paper, subsequently a Web-based discussion led to the nal selection of papers. This year, RECOMB and the journal Genome Research teamed up to - fer authors Genome Research as an alternative forum for publication. Appro- mately 55 of the RECOMB submissions, selected by a subset of the PC headed by Sera m Batzoglou, were forwarded to Genome Research for consideration. 504 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 13th International Conference on Virtual Systems and Multimedia was held in Brisbane, Australia in September 2007. This was the first time that VSMM was sited in Australia. The Australian conference theme reflected the country's cultural heritage, both recent and past - Exchange and Experience in Space and Place. Of the many papers submitted under this theme we were able to identify three core sub-themes: Virtual Heritage, Applied Technologies and Virtual Environments. With a truly international flavor, these sub-themes covered the diverse areas of heritage site and artifact reconstruction and analysis, Australian Aboriginal cultural heritage, training, notions of spirituality, human - computer interaction in virtual environments, 3D modelling, remote collaboration and virtual agents. This made for rich, varied and lively conference session debates. Ninety-seven papers were submitted. Of these, 56 were accepted for inclusion in the general conference proceedings. Of these, 18 were further reviewed and selected for this Springer publication. The authors of these papers were invited to revise their papers following feedback from the conference before inclusion in this volume. Many people contributed to the conference. We first wish to thank the Virtual Systems and Multimedia Society, who provided strong support to the whole process of the preparation of the conference. In particular, we would like to express our thanks to Takeo Ojika, Mario Santana Quintero and Hal Thwaites for their generous support and guidance. 232 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci c to the satellite events). The ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive. 416 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is indeed a great pleasure to welcome you to the proceedings of the 12th International Workshop on Combinatorial Image Analysis (IWCIA 2008) held in Bu alo, NY, April 7 9, 2008. Image analysis is a scienti c discipline providing theoretical foundations and methods for solving problems that appear in various areas of human practice, as diverseas medicine,robotics,defense,andsecurity.As a rule,the processeddata are discrete; thus, the discrete, or combinatorial approachto image analysis appears to be a natural one and therefore its importance is increasing. In fact, combinatorial image analysis often provides various advantages (in terms of - ciency and accuracy) over the more traditional approaches based on continuous models requiring numeric computation. The IWCIA workshop series provides a forum for researchers throughout the world to present cutting-edge results in combinatorial image analysis, to discuss recent advances in this research eld, and to promote interaction with researchersfromothercountries.Infact,IWCIA2008retainedandevenenriched the international spirit of these workshops, that had successful prior meetings in Paris (France) 1991, Ube (Japan) 1992, Washington DC (USA) 1994, Lyon (France) 1995, Hiroshima (Japan) 1997, Madras (India) 1999, Caen (France) 2000, Philadelphia (USA) 2001, Palermo (Italy) 2003, Auckland (New Zealand) 2004, and Berlin (Germany) 2006. The IWCIA 2008 Program Committee was highly international as its members are renowned experts coming from 23 di - entcountries,andsubmissionscamefrom24countriesfromAfrica,Asia,Europe, North and South America. 464 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 232 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ILP 2007, the 17th Conference on Inductive Logic Programming, was held in Corvallis, Oregon, USA, June 19 21, and was collocated with the 24th Inter- tional Conferenceon Machine Learning.The programconsisted of 15 full and 14 short presentations, a poster session, keynote talks by Paolo Frasconi (Learning withKernelsandLogicalRepresentations)andDavidJensen(BeyondPrediction: Directions for Probabilistic and Relational Learning), and several joint sessions with ICML. Thirty-eight submissions were received this year, out of which fteen were accepted for publication in the proceedings as full papers and eleven as short papers.Inclusionin the proceedings was decided bytaking into accountnotonly the relevance and quality of the work described, but also the quality and level of maturityofthetext.Severalmoresubmissionswereacceptedaswork-in-progress presentations. Thus the 2007 edition of ILP continued the tradition of adopting high selectivity for published papers, while at the same time o ering a forum for work in progress. All accepted papers were made available in temporary online proceedings during the conference. Revised versions of the submitted papers, incorporating feedback from discussions at the conference, are included either in the proce- ings of the conference (this volume) or, for a small number of selected papers, in a special issue of theMachine Learning journal (abstracts of these are included in this volume). Papers reporting on work in progress remain available in the online proceedings, atpages.cs.wisc.edu/~shavlik/ilp07wip/. 328 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the post-proceedings of the third edition of the Int- national Symposium on Trustworthy Global Computing (TGC 2007), held in Sophia-Antipolis,France,November 5 6,2007,andtutorialpapersofthe foll- ing Workshop on the Interplay of Programming Languages and Cryptography, held in Sophia Antipolis, November 7, 2007. TheSymposiumonTrustworthyGlobalComputingisaninternationalannual venue dedicated to safe and reliable computation in global computers. It focuses on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices. This volume starts with an invited paper from Martin Hofmann. It then - cludes the revised versions of the 19 contributed papers; these versions take into accountboth the referee s reports andthe discussions that took place during the symposium. The Program Committee selected 19 papers from 48 submissions. Every submission was reviewed by at least three members of the ProgramC- mittee. In addition, the Program Committee sought the opinions of additional referees, selected because of their expertise on particular topics. We are grateful to Andrei Voronkov for his EasyChair system that helped us to manage these discussions. We would like to thank the authors who submitted papers to the conference, the members of the ProgramCommittee, and the additional revi- ers for their excellent work. We would also like to thank the invited speakers to TGC 2007, Andrew D. Gordon, Martin Hofmann, and Je Magee. 420 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For manyyears,the idea of recon gurablehardwaresystems hasrepresentedthe Holy Grail for computer systemdesigners.It has been recognizedfor a long time that the microprocessor provides high exibility but at a very low performance merit in terms of MIPS/W or other such measures. Recon gurable systems are thus attractive as they can be con gured to provide the best match for the computational requirements at that speci c time, giving much better area speed power performance. However, the practicalities of achieving such a recon gurable system are - merous andrequirethe developmentof: suitable recon gurablehardwareto s- portthe dynamicbehavior;programmingtoolsto allowthe dynamicbehavior of the recon gurability to be modelled; programming languages to support rec- guration;andveri cationtechniquesthatcandemonstratethatrecon guration hashappenedcorrectlyateachstage.Whiletheproblemsaremany,theexistence and development of technologies such as the multi-core processor architecture, recon gurable computing architectures, and application-speci c processors s- gest there is a strong desire for recon gurable systems. Moreover, FPGAs also provide the ideal platforms for the development of such platforms. The major motivation behind the International Workshop on Applied - con gurable Computing (ARC) series is to create a forum for presenting and discussing on-going research e orts in applied recon gurable computing. The workshop also focuses on compiler and mapping techniques, and new recon- urablecomputingarchitectures.Theseriesofeditionsstartedin2005inAlgarve, Portugal, followed by the 2006 workshop in Delft, The Netherlands, and last year s workshop in Mangaratiba, Rio de Janeiro, Brazil. As in previous years, selectedpapershavebeenpublished asa SpringerLNCS(LectureNotes in C- puter Science) volume. 360 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 9-11, 2008 in Prato, Italy. TAP was the second conference devoted to the convergence of proofs and tests. It combines ideas from both areasfor the advancement of softwarequality. To provethe correctnessof a programis to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a programis to run it with the expectation of discovering bugs. On the surface, the two techniques seem contradictory: if you have proved your program, it is fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up on anyhope of proving its correctness.Accordingly,proofs and tests have,since the onset of software engineering research, been pursued by distinct communities using rather di erent techniques and tools. And yet the development of both approaches leads to the discovery of c- mon issues and to the realization that each may need the other. The emergence of model checking has been one of the rst signs that contradiction may yield to complementarity, but in the past few years an increasing number of research e orts have encountered the need for combining proofs and tests, dropping e- lier dogmatic views of their incompatibility and taking instead the best of what each of these software engineering domains has to o er. 208 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis and Transformation, that was held in KongensLyngby, Denmark, August 23 24,2007. Previous LOPSTR symposia were held in Venice (2007 and 1999), London (2005 and 2000), Verona (2004), Uppsala (2003), Madrid (2002), Paphos (2001), Manchester (1998, 1992 and 1991), Leuven (1997), Stockholm (1996), Arhhem (1995), Pisa (1994) and Louvain-la-Neuve (1993). The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR thus traditionally solicits papers in the areas of: speci cation, synthesis, veri cation, transformation,analysis,optimization,composition,security,reuse,appl ications andtools,component-basedsoftwaredevelopment,softwarearchitectures,age- based software development and program re nement. Formal proceedings are produced only after the symposium, so that authors can incorporate this fe- back in the published papers. Thirty submissions were received and each - per, in turn, received at least three reviews. The Committee decided to accept seven full papers for presentation and for immediate inclusion in the nal po- conference proceedings. Nine extended abstracts were also selected for pres- tation, of which six papers were accepted for publication in this volume, after revision and another round of reviewing. Michael Codish contributed a paper to the proceedings to accompany his invited talk. I am very grateful to the Program Committee and the reviewers for their - valuable help and expertise. The Steering Committee and, in particular German Puebla,generouslysharedtheirexperience. 232 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Vast amounts of data are collected by service providers and system administ- tors, and are available in public information systems. Data mining technologies provide an ideal framework to assist in analyzing such collections for computer security and surveillance-related endeavors. For instance, system administrators can apply data mining to summarize activity patterns in access logs so that potential malicious incidents can be further investigated. Beyond computer - curity, data mining technology supports intelligence gathering and summari- tion for homeland security. For years, and most recently fueled by events such as September 11, 2001, government agencies have focused on developing and applying data mining technologies to monitor terrorist behaviors in public and private data collections. Theapplicationof data mining to person-speci cdata raisesseriousconcerns regarding data con dentiality and citizens privacy rights. These concerns have led to the adoption of various legislation and policy controls. In 2005, the - ropean Union passed a data-retention directive that requires all telephone and Internetservice providersto store data ontheir consumers for up to two yearsto assist in the prevention of terrorismand organized crime. Similar data-retention regulationproposalsareunderheateddebateintheUnitedStatesCongress. Yet, the debate often focuses on ethical or policy aspects of the problem, such that resolutions have polarized consequences; e. g. , an organization can either share data for data mining purposes or it can not. Fortunately, computer scientists, and data mining researchers in particular, have recognized that technology can beconstructedtosupportlesspolarizedsolutions. Computerscientistsaredev- oping technologies that enable data mining goals without sacri cing the privacy and security of the individuals to whom the data correspond. 192 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, CLA 2006, held in Tunis, Tunisia, October 30-November 1, 2006.The 18 revised full papers together with 3 invited contributions presented were carefully reviewed and selected from 41 submissions. The topics include formal concept analysis, foundations of FCA, mathematical structures related to FCA, relationship of FCA to other methods of data analysis, visualization of data in FCA, and applications of FCA. 304 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The authors of this book clearly explain the potential advantages of using Radio Frequency Identification (RFID) technology in a modern manufacturing and supply chain context. Areas of emphasis include integration of RFID data into legacy IT architectures, RFID-MES-ERP integration, and cost-benefit considerations. The presentation is not restricted to intra-company production planning, but also emphasizes the benefits of inter-company collaboration. Six case studies based on SAP's ERP systems and MPDV's MES solution show how to successfully implement cross-company supply chain integration using RFID technology. 180 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This insightful book presents new and innovative business models that are increasingly becoming a key to business success in a rapidly changing world. It details new and appropriate analytics, frameworks, insights, and forecasts for strategy and execution. At the intersection of disruptive and accelerated change, business leaders around the world are trying to embrace change and incorporate innovative business models in the basics of their businesses. Increasing emphasis is being placed on rethinking how customer value is developed and delivered, rethinking the profit formula and the financial model, and making corresponding changes to the core resources. 344 pp. Englisch.