Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642047300 ISBN 13: 9783642047305
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 32,05
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The idea for the Operation Primer series originated in a scienti c study entitled ¿ Mental Training in Surgical Education¿ that formed part of a collaborative project between the surgical department of the University of Cologne, the Institute of Sports and Sports Sciences of the University of Heidelberg and the European Surgical Institute (ESI) in Norderstedt. The aim of the study was to evaluate the effect of mental training, which has been used successfully in top-class sports for decades, on surgical training. However, in order for mental training to be applied to surgery, it rst had to undergo modi cation. In the course of this modi cation, the rst Operation Primer was produced, the layout of which was largely adopted for the nal version presented here. In the last two years ve Operation Primers have been published in this series: Laparo scopic Sigmoidectomy for Cancer, Laparoscopic Sigmoidectomy for Diverticulitis, ® Thyroidectomy with Harmonic FOCUS , Laparoscopic Cholecystectomy and Stapled ® TM Transanal Rectal Resection with Contour Transtar Curved Cutter Stapler Procedure Set. Now you hold the sixth Operation Primer in your hand: Laparoscopic Total Mesorectal Excision for Cancer. The feedback has been overwhelming so far. We have received encouraging and motivating messages from all over the world. Operation Primers have been translated into other languages and we have had requests for specialities other than general and visceral surgery as well.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 100 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642122663 ISBN 13: 9783642122668
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -This book contains extended and revised versions of the best papers that were p- sented during the 16th edition of the IFIP/IEEE WG10.5 International Conference on Very Large Scale Integration, a global System-on-a-Chip Design & CAD conference. The 16th conference was held at the Grand Hotel of Rhodes Island, Greece (October 13¿15, 2008). Previous conferences have taken place in Edinburgh, Trondheim, V- couver, Munich, Grenoble, Tokyo, Gramado, Lisbon, Montpellier, Darmstadt, Perth, Nice and Atlanta. VLSI-SoC 2008 was the 16th in a series of international conferences sponsored by IFIP TC 10 Working Group 10.5 and IEEE CEDA that explores the state of the art and the new developments in the field of VLSI systems and their designs. The purpose of the conference was to provide a forum to exchange ideas and to present industrial and research results in the fields of VLSI/ULSI systems, embedded systems and - croelectronic design and test. 304 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642125182 ISBN 13: 9783642125188
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -book (CRC Press, ISBN-9781420082326, 2008), and a special issue in the Intelligent Data Analysis journal (Volume 13, Number 3, 2009).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642123090 ISBN 13: 9783642123092
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -Search computing, which has evolved from service computing, focuses on building the answers to complex search queries by interacting with a constellation of cooperating search services, using ranking and joining of results as the dominant factors for service composition. The field is multi-disciplinary in nature, and takes advantage of contributions from other research areas such as knowledge representation, human-computer interfaces, psychology, sociology, economics and legal sciences.The book is divided into three parts. The first part includes some visionary contributions on the latest trends in search, which is becoming increasingly task-oriented and is starting to use ontological knowledge in order to manage complex queries. The second part explores background and related technologies, which can be considered as parallel fields of research, useful both for setting the theoretical premises for search computing and for providing a technological framework for building search computing systems and applications. The third part delves into the conceptual and technological problems and issues arising when dealing with search computing as a new search paradigm. It provides a unified view of the results of the Search Computing project as achieved exactly one year after its starting date.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642124615 ISBN 13: 9783642124617
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 8th International Heinz Nixdorf Symposium, IHNS 2010, held in Paderborn, Germany, April 21-22, 2010, under the title 'Changing Paradigms: Advanced Manufacturing and Sustainable Logistics'.The 27 full and two short papers presented in this book were carefully reviewed and selected from a total of 63 submissions. They are grouped in five parts on Supply Chain Management, Production Logistics and Industrial Engineering, Operations Research Techniques, Humanitarian Logistics, and Simulation. The presentation is completed by nine invited keynote papers from renowned international experts in these fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642129625 ISBN 13: 9783642129629
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 9th IFIP-TC6 Networking Conference, Networking 2010. Papers were solicited in three broad topic areas: applications and services, network technologies, and internet design. All papers were considered on their merits by a uni ed Technical ProgramCommittee (TPC); there was no attempt to enforce a quota among topic areas. We believe the resulting program is an excellentrepresentationofthebreadthofrecentadvancesinnetworkingresearch. This year, the conference received 101 full paper submissions from 23 co- trieson vecontinents,re ectingastrongdiversityinthenetworkingcommunity. Similarly, the 92 members of the TPC are from 21 countries and include a mix of academic, industry, and governmental a liations. The TPC members, aided by some 50 external reviewers, provided a total of 470 reviews and follow-up discussions totaling more than 200 messages. The nal selections were made at a TPC meeting hosted by Columbia University in New York City, with both in-person and remote participation. In total, authors of accepted papers have academic and industry a liations in 15 countries. We nally selected 24papers for presentationduring the conference technical sessions. A small number of papers were assigned a shepherd from the TPC to assist in paper revision. These statistics represent an acceptance rate of just under 24%, comparable to that of previous years. The TPC also identi ed several papers that re ect particularly promising early results; these papers were selected for presentation as work-in-progress papers and are identi ed as such in the proceedings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642118186 ISBN 13: 9783642118180
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The present book includes a set of selected papers from the First International Conf- ence on Agents and Artificial Intelligence (ICAART 2009), held in Porto, Portugal, during January 19¿21, 2009. The conference was organized in two simultaneous tracks: ¿Artificial Intelligence and Agents.¿ The book is based on the same structure. ICAART 2009 received 161 paper submissions, from more than 37 different co- tries in all continents. After a blind review process, only 26 where accepted as full papers, of which 21 were selected for inclusion in this book, based on the classifi- tions provided by the Program Committee. The selected papers reflect the interdis- plinary nature of the conference. The diversity of topics is an important feature of this conference, enabling an overall perception of several important scientific and tech- logical trends. These high-quality standards will be maintained and reinforced at ICAART 2010, to be held in Valencia, Spain, and in future editions of this conf- ence. Furthermore, ICAART 2009 included five plenary keynote lectures given by Juan Carlos Augusto (University of Ulster), Marco Dorigo (IRIDIA, Free University of Brussels), Timo Honkela (Helsinki University of Technology), Edward H. Shortliffe (Arizona State University) and Paulo Urbano (University of Lisbon). We would like to express our appreciation to all of them and in particular to those who took the time to contribute with a paper to this book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642128130 ISBN 13: 9783642128134
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -BIS 2010 held on 3¿5 May 2010 in Berlin, Germany was the 13th in a series of international conferences on Business Information Systems. The BIS conference series has been recognised by professionals from its very beginning as a forum for the exchange and dissemination of topical research in the development, - plementation, application and improvement of computer systems for business processes. The theme ofthe conferencewas¿Future InternetBusiness Services.¿ A n- ber of new initiatives are already underway to address the challenges related to explosive development of Internet applications, hence the conference topics: Searchand KnowledgeSharing,Data and InformationSecurity,Web Experience Modelling. Although many people announced that SOA was dead there is - doubtedly a strong need for service-orientation. This was addressed by a topic: Services and Repositories. More and more e ort is put on explaining and und- standing complex processes as could be seen in topics: Business Processes and Rules, Data Mining for Processes, Visualisation in BPM. Finally, the classical business aspects were covered in session: ERP and SCM. Altogether, a set of 25 papers illustrating these trends were selected for the presentation during the main event, grouped in 8 sessions. The Program C- mittee consisted of almost 100 members who carefully evaluated all the subm- ted papers. Each submission was reviewed on the average by 3.1 programme committee members. Only the best quality papers were selected, resulting in an acceptance rate of less than 30%.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642123643 ISBN 13: 9783642123641
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The Second International Workshop on Traffic Monitoring and Analysis (TMA 2010) was an initiative of the COST Action IC0703 'Data Traffic Monitoring and Analysis: Theory, Techniques, Tools and Applications for the Future Networks' ( tma-portal.eu/cost-tma-action). The COST program is an intergovernmental framework for European cooperation in science and technology, promoting the coordination of nationally funded research on a European level. Each COST Action aims at reducing the fragmentation in - search and opening the European research area to cooperation worldwide. Traffic monitoring and analysis (TMA) is nowadays an important research topic within the field of computer networks. It involves many research groups worldwide that are collectively advancing our understanding of the Internet. The importance of TMA research is motivated by the fact that modern packet n- works are highly complex and ever-evolving objects. Understanding, developing and managing such environments is difficult and expensive in practice. Traffic monitoring is a key methodology for understanding telecommunication technology and improving its operation, and the recent advances in this field suggest that evolved TMA-based techniques can play a key role in the operation of real networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642124585 ISBN 13: 9783642124587
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The present volume contains the proceedings of the 6th International workshop on Formal Aspects of Security and Trust (fast 2009), held in Eindhoven, The Netherlands, 5¿6 November 2009, as part of Formal Methods Week 2009. fast is sponsored by IFIP WG 1.7 on Foundations of Security Analysis and Design. The previous ve fast workshop editions have fostered cooperation among researchers in the areas of security and trust, and we aimed to continue this tradition. As computing and networkinfrastructures become increasingly per- sive, and as they carry increasing economic activity, society needs well-matched security and trust mechanisms. These interactions increasingly span several - terprises and involve loosely structured communities of individuals. Participants in these activities must control interactions with their partners based on trust policies and business logic. Trust-based decisions e ectively determine the se- ritygoalsforsharedinformationandfor accessto sensitiveorvaluableresources. fast sought original papers focusing of formal aspects of: security and trust policy models; security protocol design and analysis; formal models of trust and reputation; logics for security and trust; distributed trust management s- tems; trust-based reasoning; digital assets protection; data protection; privacy and id issues; information ow analysis; language-based security; security and trust aspects in ubiquitous computing; validation/analysis tools; Web service security/trust/privacy; grid security; security risk assessment; and case studies. The fast proceedings contain¿in addition to an abstract of the invited talk by Anindya Banerjee¿revisionsoffull papersacceptedforpresentationat fast.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642125654 ISBN 13: 9783642125652
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This volume contains revised and expanded versions of the papers presented at th the 15 Monterey Workshop, held during September 24¿26, 2008 in Budapest, Hungary. The Monterey Workshops series was initiated in 1993 by Dr. David Hislop, a longtime program manager at the U. S. Army Research O ce, with the purpose of exploring the critical problems associated with cost-e ective development of high-qualitysoftwaresystems. During their 15-yearhistory,the MontereyWo- shops have brought together scientists that share a common interest in software development research serving practical advances in next-generation softwa- intensive systems. Each year is dedicated to a particular topic of critical - portance. In recent years, workshop topics were ¿Innovations for Requirement Analysis: From Stakeholders Needs to Formal Designs¿ (2007 in Monterey, C- ifornia), ¿Composition of Embedded Systems, Scienti c and Industrial Issues¿ (2008inParis,France),¿NetworkedSystems:RealizationofReliableSystemson Unreliable NetworkedPlatforms¿ (2005in Laguna Beach,California), ¿Software Engineering Tools: Compatibility and Integration¿(2004 in Vienna, Austria), ¿Engineering for Embedded Systems: From Requirements to Implementation¿ (2003 in Chicago, Illinois), ¿Radical Innovations of Software and Systems En- neering in the Future¿ (2002 in Venice, Italy). The topic of the 2008 workshop was ¿Foundations of Computer Software, Future Trends and Techniques for Development. ¿ Modern computer systems manage very large amounts of information, performing complex computations in a distributed way. At the same time, there is a need to display information in a way that aids human actors in the interpretation of this information and in decision making.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642125093 ISBN 13: 9783642125096
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -you nd the proceedings stimulating.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642123333 ISBN 13: 9783642123337
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The 2010 edition of the Passive and Active Measurement Conference was the 11th of a series of successful events. Since 2000, the Passive and Active M- surement (PAM) conference has provided a forum for presenting and discussing innovative and early work in the area of Internet measurements. PAM has a tradition of being a workshop-like conference with lively discussion and active participation from all attendees. This event focuses on research and practical applications of network measurement and analysis techniques. This year¿s c- ference was held at ETH Zurich, Switzerland. PAM 2010 attracted 79 submissions. Each paper was carefully reviewed by at leastthreemembersoftheTechnicalProgramCommittee.Thereviewingprocess ledtotheacceptanceof23papers.Thepaperswerearrangedinninesessionsc- ering the following areas: routing, transport protocols, mobile devices, topology, measurement infrastructure, characterizing network usage, analysis techniques, tra c analysis, and the Web. We are very grateful to Endace Ltd. (New Zealand), Cisco Systems Inc. (USA), armasuisse (Switzerland) and the COST Action TMA whose sponsoring allowedustokeepregistrationcostslowandto o erseveraltravelgrantsto PhD students. We are also grateful to ETH Zurich for sponsoring PAM as a host.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642122507 ISBN 13: 9783642122507
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010),held in Sendai, Japan, April 19¿21, 2010 at Aoba Memorial Hall, Tohoku University. FLOPS is a forum for research on all issues concerning declarative progr- ming, including functional programming and logic programming, and aims to promotecross-fertilizationand integrationbetween the two paradigms.The p- vious FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise (2008). Since its 1999 edition, FLOPS proceedings have been published by Springer in its Lecture Notes in Computer Science series, as volumes 1722, 2024, 2441, 2998, 3945, and 4989, respectively. In response to the call for papers, 49 papers were submitted. Each paper was reviewed by at least three Program Committee members, with the help of expert external reviewers. The Program Committee meeting was conducted electronically, for a period of two weeks, in December 2009. After careful and thoroughdiscussion,theProgramCommitteeselected21papersforpresentation at the conference. In addition to the 21 contributed papers, the symposium included talks by three invited speakers: Brigitte Pientka (McGill University, Canada), Kostis Sagonas (National Technical University of Athens, Greece), and Naoyuki Tamura (Kobe University, Japan). 368 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642123678 ISBN 13: 9783642123672
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -These proceedings contain the papers selected for presentation at the 4th Wo- shop on Information Security Theory and Practice (WISTP 2010), held during April 12¿14, 2010 in Passau, Germany. In response to the call for papers, 69 papers were submitted to the wo- shop. These papers were evaluated on the basis of their signi cance, novelty, and technicalquality. Eachpaper was reviewedby four members of the Program Committee. Reviewing was double-blind meaning that the Program Committee was not able to see the names and a liations of the authors, and the authors were not told which committee members reviewed which papers. The Program Committee meeting was held electronically, holding intensive discussions over a periodoftwo weeks.Of the papers submitted, 20 full papersand 10shortpapers were selected for presentation at the workshop. This workshop was sponsored by Vodaphone, who also provided a best - per award. We would like to thank this organization for their support, which helped make this workshop possible. Their continued support helps to reduce registration fees and make WISTP a continuing success. WISTP 2010 was also organized in cooperation with the International - sociation for Cryptologic Research (IACR), the IFIP WG 11.2 Pervasive S- tems Security, and ACM SIGSAC. Their support has signi cantly contributed to raising the pro le of WISTP, which is re ected in the number of high-quality submissions that we received.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642123481 ISBN 13: 9783642123481
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The portable device and mobile phone market has witnessed rapid growth in the last few years with the emergence of several revolutionary products such as mobile TV, converging iPhone and digital cameras that combine music, phone and video functionalities into one device. The proliferation of this market has further bene ted from the competition in software and applications for smart phones such as Google¿s Android operating system and Apple¿s iPhone App- Store, stimulating tens of thousands of mobile applications that are made ava- able by individual and enterprise developers. Whereas the mobile device has become ubiquitous in people¿s daily life not only as a cellular phone but also as a media player, a mobile computing device, and a personal assistant, it is p- ticularly important to address challenges timely in applying advanced pattern recognition, signal, information and multimedia processing techniques, and new emerging networking technologies to such mobile systems. The primary objective of this book is to foster interdisciplinary discussions and research in mobile multimedia processing techniques, applications and s- tems, as well as to provide stimulus to researchers on pushing the frontier of emerging new technologies and applications. One attempt on such discussions was the organization of the First Int- national Workshop of Mobile Multimedia Processing (WMMP 2008), held in Tampa, Florida, USA, on December 7, 2008. About 30 papers were submitted from10countriesacrosstheUSA,Asia andEurope.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642119301 ISBN 13: 9783642119309
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -Inductive programming is concerned with the automated construction of decl- ative¿often functional ¿recursiveprogramsfromincompletespeci cationssuch as input/output examples. The inferred program must be correct with respect to the provided examples in a generalizing sense: it should be neither equivalent to it, nor inconsistent. Inductive programming algorithms are guided explicitly or implicitly by a language bias (the class of programs that can be induced) and a search bias (determining which generalized program is constructed rst). Induction strategiesare either generate-and-testor example-driven.In genera- and-test approaches, hypotheses about candidate programs are generated in- pendently from the given speci cations. Program candidates are tested against the given speci cation and one or more of the best evaluated candidates are - veloped further. In analytical approaches, candidate programs are constructed in an example-driven way. While generate-and-test approaches can ¿ in prin- ple ¿ construct any kind of program, analytical approaches have a more limited scope. On the other hand, e ciency of induction is much higher in analytical approaches. Inductive programming is still mainly a topic of basic research, exploring how the intellectual ability of humans to infer generalized recursive procedures from incomplete evidence can be captured in the form of synthesis methods. Intended applications are mainly in the domain of programming assistance ¿ either to relieve professional programmers from routine tasks or to enable n- programmers to some limited form of end-user programming. Furthermore, in future,inductiveprogrammingtechniquesmightbe appliedtofurtherareassuch as support inference of lemmata in theorem proving or learning grammar rules.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642121853 ISBN 13: 9783642121852
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of eight international workshops held in Ulm, Germany, in conjunction with the 7th International Conference on Business Process Management, BPM 2009, in September 2009.The eight workshops were on Empirical Research in Business Process Management (ER-BPM 2009), Reference Modeling (RefMod 2009), Business Process Design (BPD 2009), Business Process Intelligence (BPI 2009), Collaborative Business Processes (CBP 2009), Process-Oriented Information Systems in Healthcare (ProHealth 2009), Business Process Management and Social Software (BPMS2 2009), Event-Driven Business Process Management (edBPM 2009).The 67 revised full papers presented were carefully reviewed and selected from numerous submissions. 728 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642005594 ISBN 13: 9783642005596
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -In the 2009 elections, the European centre-right emerged victorious, thus affirming its political domination in contemporary European politics. The aim of this book is not to provide an analysis of the factors that contributed to the EPP¿s political prevalence. Instead, it is to help this large political family maintain its vigour of political thought and policy prescriptions. The book provides a forum for prominent centre-right thinkers to debate the major European problems of our times, with particular emphasis on the management of the financial crisis and the next institutional steps regarding the European integration project. It assembles the views of politicians, academics and think-tank fellows from different national backgrounds and dissimilar ideological perspectives, who unfold their vision for Europe¿s future. Overall, the book attempts to both highlight and stimulate the centre-right contribution to the discussion of Europe¿s main contemporary challenges.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642116795 ISBN 13: 9783642116797
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -The book provides strong evidence that research on the cognitive processes from arithmetic thought to algebraic thought should take into consideration the socio-cultural context. It is an important contribution to the literature on linguistic structure in comparative studies related to Chinese student mathematics learning.This book not only makes a great contribution to research in mathematics education, the findings of this study also addressed insightful approaches and thoughts of understanding the development of algebraic thinking in cultural contexts for classroom teachers. Using written Chinese language from different theoretical references provided wonderful approaches for understanding student algebra cognitive development in a different way and calls educators for to pay special attention to an epistemological and linguistic view of algebraic development. The findings inform classroom teachers that the cultural context plays an important role in student learning mathematics. A typical analysis of the cognitive dimension involved in some in the historical and cultural contexts is a great resource for classroom teachers.I really enjoyed reading this book and learned a lot from its compelling analysis.Shuhua An, Associate Professor and Director of Graduate Program in Mathematics Education, California State University, Long BeachSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642124380 ISBN 13: 9783642124389
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -Computer Music Modeling and Retrieval 2009 was the sixth event of this - ternational conference series that was initiated in 2003. Since the start, this conference has been co-organized by the University of Aalborg, Esbjerg, D- mark ( aaue. dk) and the Laboratoire de M¿ ecanique et d¿Acoustique inMarseille,France( lma. cnrs-mrs. fr)andhastakenplaceinFrance, ItalyandDenmark. The vepreviouseditionsofCMMRo eredavariedoverview of recent years¿ music information retrieval and sound modeling activities in addition to alternative elds related to human interaction, perception and c- nition, as well as philosophical aspects linked to the eld. We believe that the strength and the originality of this international conference both lie in its mul- disciplinary concept and its ability to permanently evolve and open for new trends and directions within the related elds of interest. This year¿s CMMR took place in Copenhagen, Denmark, May 18¿22, 2009 and was associated with theInternationalConferenceonAuditoryDisplay( icad. org),hereby introducing new topics related to sound design, soni cation and augmented - ality to the computer music modeling and retrieval community.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642111955 ISBN 13: 9783642111952
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -Today is Sunday, June 17, 2007. Father¿s Day. Naturally, the obligatory, carefully selected cards, phone calls, and small gifts arrived from the children and grandchildren. Best wishes for Father¿s Day were also the first words in the morning from Heidel, my wife of 54 years, although for many years I had made the comment: ¿I am not your father. ¿ But, in the frame of my life¿s experiences th th in the 20 century, as I intend to summarize them over the next few years, the 17 of June has much deeper significance. This was the day in 1953 when we finally fled from our life of oppression which had lasted 20 years. Two successive dictatorships, one of Hitler and the other of Stalin, caused the most horrific slaughter of civilians and soldiers, eclipsing all prior history. During these first years of my life, I was plainly lucky to survive. After this day, I had a much better chance to experience the freedom needed to lead a life of creativity, satisfaction, and ultimately prosperity, all directed largely by our own decisions. th The 17 of June 1953 was a Wednesday. I stayed in the apartment of my parents in my hometown of Brandenburg, in the German Democratic Republic (GDR), the former Russian occupied zone of Germany. The summer vacation of the Humboldt University in East Berlin, some 40 mi further east, had just started. But, I was alone with my father, ¿Vati.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642122965 ISBN 13: 9783642122965
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -It givesus greatpleasureto presentthe proceedings of the 9th Asian Conference on Computer Vision (ACCV 2009), held in Xi¿an, China, in September 2009. This was the rst ACCV conference to take place in mainland China. We received a total of 670 full submissions, which is a new record in the ACCV series. Overall, 35 papers were selected for oral presentation and 131 as posters, yielding acceptance rates of 5.2% for oral, 19.6% for poster, and 24.8% in total. In the paper reviewing, we continued the tradition of previous ACCVsbyconductingtheprocessinadouble-blindmanner.Eachofthe33Area Chairs received a pool of about 20 papers and nominated a number of potential reviewers for each paper. Then, Program Committee Chairs allocated at least three reviewers to each paper, taking into consideration any con icts of interest and the balance of loads. Once the reviews were nished, the Area Chairs made summaryreportsforthepapersintheirpools,basedonthereviewers¿comments and on their own assessments of the papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 704 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 364204316X ISBN 13: 9783642043161
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -Nowadays, music-inspired phenomenon-mimicking harmony search algorithm is fast growing with many applications. One of key success factors of the algorithm is the employment of a novel stochastic derivative which can be used even for discrete variables. Instead of traditional calculus-based gradient, the algorithm utilizes musician¿s experience as a derivative in searching for an optimal solution. This can be a new paradigm and main reason in the successes of various applications.The goal of this book is to introduce major advances of the harmony search algorithm in recent years. The book contains 14 chapters with the following subjects: State-of-the-art in the harmony search algorithm structure; robotics (robot terrain and manipulator trajectory); visual tracking; web text data mining; power flow planning; fuzzy control system; hybridization (with Taguchi method or SQP method); groundwater management; irrigation ; logistics; timetabling; and bioinformatics (RNA structure prediction).This book collects the above-mentioned theory and applications, which are dispersed in various technical publications, so that readers can have a good grasp of current status of the harmony search algorithm and foster new breakthroughs in their fields using the algorithm.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642122191 ISBN 13: 9783642122194
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -I want to express my sincere thanks to all authors who submitted research papers to support the Third IFIP International Conference on Computer and Computing Te- nologies in Agriculture and the Third Symposium on Development of Rural Infor- tion (CCTA 2009) held in China, during October 14¿17, 2009. This conference was hosted by the CICTA (EU-China Centre for Information & Communication Technologies, China Agricultural University), China National En- neering Research Center for Information Technology in Agriculture, Asian Conf- ence on Precision Agriculture, International Federation for Information Processing, Chinese Society of Agricultural Engineering, Beijing Society for Information Te- nology in Agriculture, and the Chinese Society for Agricultural Machinery. The pla- num sponsor includes the Ministry of Science and Technology of China, Ministry of Agriculture of China, Ministry of Education of China, among others. The CICTA (EU-China Centre for Information & Communication Technologies, China Agricultural University) focuses on research and development of advanced and practical technologies applied in agriculture and on promoting international communi- tion and cooperation. It has successfully held three International Conferences on C- puter and Computing Technologies in Agriculture, namely CCTA 2007, CCTA 2008 and CCTA 2009. Sustainable agriculture is the focus of the whole world currently, and therefore the application of information technology in agriculture is becoming more and more - portant. ¿Informatized agriculture¿ has been sought by many countries recently in order to scientifically manage agriculture to achieve low costs and high incomes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642121993 ISBN 13: 9783642121999
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The papers contained in this volume were presented at the 9th Latin American TheoreticalInformaticsSymposiumheldattheBenitoJü arezUniversityofO- aca, Oaxaca City, M¿ exico, April 19-23, 2010. The LATIN series of conferences was launched in 1992 to foster the interaction between the Latin American t- oretical computer science community and computer scientists around the world. LATIN 2010wasthe ninth ofa series,after SaoPaulo,Brazil(1992);Valparaiso, Chile (1995); Campinas, Brazil (1998); Punta del Este, Uruguay (2000); C- cun, Mexico (2002); Buenos Aires, Argentina (2004); Valdivia, Chile (2006) and B¿ uzios, Rio de Janeiro, Brazil (2008). From the 155 submissions, the Program Committee selected 56 papers for presentation at the conference. The selectionofpaperswasbasedonoriginality, quality, and relevance to theoretical computer science. It is expected that most of these papers will appear in a more complete and polished form in scienti c journalsinthefuture.Inadditiontothecontributedpapers,thisvolumecontains the abstracts of four invited plenary talks given at the conference by Cristopher Moore, Piotr Indyk, Sergio Rajsbaum, and Leslie Valiant. A special session on the life and work of the late Imre Simon was held. Prof. Simon played a key role in the development of theoretical computer science in Latin American as well as theLATINconference.ThissessionhadcontributionsfromRicardoBaeza-Yates, John Brzozowski, Volker Diekert, and Jacques Sakarovitch.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 728 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642106625 ISBN 13: 9783642106620
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -We are facing an immense growth of digital data and information resources, both in terms of size, complexity, modalities and intrusiveness. Almost every aspect of our existence is being digitally captured. This is exemplified by the omnipresent existence of all kinds of data storage, far beyond those stored in traditional relational databases. The spectrum of data being digitally stored runs from multimedia data repositories to your purchases in most stores. Every tweet that you broadcast is captured for posterity. Needless to say this situation posses new research opportunities, challenges and problems in the ways we store, manipulate, search, and - in general - make use of such data and information. Attempts to cope with these problems have been emerging all over the world with thousands of people devoted to developing tools and techniques to deal with this new area of research. One of the prominent scholars and researchers in this field was the late Professor Ashley Morris who died suddenly and tragically at a young age. Ashley's career begun in industry, where he specialized in databases.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642043100 ISBN 13: 9783642043109
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -This book presents Maple solutions to a wide range of problems relevant to chemical engineers and others. Many of these solutions use Maple¿s symbolic capability to help bridge the gap between analytical and numerical solutions. The readers are strongly encouraged to refer to the references included in the book for a better understanding of the physics involved, and for the mathematical analysis. This book was written for a senior undergraduate or a first year graduate student course in chemical engineering. Most of the examples in this book were done in Maple 10. However, the codes should run in the most recent version of Maple. We strongly encourage the readers to use the classic worksheet (\*. mws) option in Maple as we believe it is more user-friendly and robust. In chapter one you will find an introduction to Maple which includes simple basics as a convenience for the reader such as plotting, solving linear and nonlinear equations, Laplace transformations, matrix operations, ¿do loop,¿ and ¿while loop. ¿ Chapter two presents linear ordinary differential equations in section 1 to include homogeneous and nonhomogeneous ODEs, solving systems of ODEs using the matrix exponential and Laplace transform method. In section two of chapter two, nonlinear ordinary differential equations are presented and include simultaneous series reactions, solving nonlinear ODEs with Maple¿s ¿dsolve¿ command, stop conditions, differential algebraic equations, and steady state solutions. Chapter three addresses boundary value problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 880 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642122132 ISBN 13: 9783642122132
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -It is my pleasure to write the preface for Information Processing and Management. This book aims to bring together innovative results and new research trends in inf- mation processing, computer science and management engineering. If an information processing system is able to perform useful actions for an obj- tive in a given domain, it is because the system knows something about that domain. The more knowledge it has, the more useful it can be to its users. Without that kno- edge, the system itself is useless. In the information systems field, there is conceptual modeling for the activity that elicits and describes the general knowledge a particular information system needs to know. The main objective of conceptual modeling is to obtain that description, which is called a conceptual schema. Conceptual schemas are written in languages called conceptual modeling languages. Conceptual modeling is an important part of requi- ments engineering, the first and most important phase in the development of an inf- mation system. 696 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3540878637 ISBN 13: 9783540878636
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 128,39
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -Due to the rapid expansion of the frontiers of physics and engineering, the demand for higher-level mathematics is increasing yearly. This book is designed to provide accessible knowledge of higher-level mathematics demanded in contemporary physics and engineering. Rigorous mathematical structures of important subjects in these fields are fully covered, which will be helpful for readers to become acquainted with certain abstract mathematical concepts. The selected topics are: Real analysis, Complex analysis, Functional analysis, Lebesgue integration theory, Fourier analysis, Laplace analysis, Wavelet analysis, Differential equations, and Tensor analysis.This book is essentially self-contained, and assumes only standard undergraduate preparation such as elementary calculus and linear algebra. It is thus well suited for graduate students in physics and engineering who are interested in theoretical backgrounds of their own fields. Further, it will also be useful for mathematics students who want to understand how certain abstract concepts in mathematics are applied in a practical situation. The readers will not only acquire basic knowledge toward higher-level mathematics, but also imbibe mathematical skills necessary for contemporary studies of their own fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 712 pp. Englisch.