Springer Springer Aug 2003 (277 results)

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The monograph is devoted to a systematic study of means of Hilbert space operators by a unified method based on the theory of double integral transformations and Peller's characterization of Schur multipliers. General properties on means of operators such as comparison results, norm estimates and convergence criteria are established. Aftersome general theory, special investigations are focused on three one-parameter families of A-L-G (arithmetic-logarithmic-geometric) interpolation means, Heinz-type means and binomial means. In particular, norm continuity in the parameter is examined for such means. Some necessary technical resultsare collected as appendices. 164 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Explaining Growth attempts to compile the most comprehensive assessment of growth in developing and transition countries. The first phase has sought to review and discover broad similarities and comparable experiences in six regions spanning the developing world. In each region, studies were undertaken on sources of growth, markets and growth, microeconomic determinants of growth, and the political economy of growth. These reviews provide the framework for the in-depth country case studies in Phase II. This volume summarizes the main results of the regional analyses and sets the stage for the country studies. 263 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In many ways, our immune systems are as complex as our brains. They learn, predict, remember and adapt, protecting us from the maelstrom of pathogens that infect us daily. Computer Science frequently takes inspiration from the seemingly endless capabilities of natural systems. It should therefore be no s- prise that, like the eld of Arti cial Neural Networks inspired from brains, we now have a vigorous eld of research known as Arti cial Immune Systems (AIS), inspired by our own immune systems. Although still relatively new, the previous 10 years has seen the paradigm of AIS rapidly establish itself as an important biological metaphor. Researchers all over the world fruitfully exploit 'immunological ideas' in many di erent ways to provide mechanisms for tackling a wide variety of applications. In this volume we present the proceedings of ICARIS 2003, the 2nd Int- national Conference on Arti cial Immune Systems. This was the second int- national conference entirely dedicated to the eld, and followed the extremely successful rst conference held in Canterbury, UK in 2002. The number and - versityofpapersinthisyear'sconferenceisatributetotheever-growingnumber ofresearchersinthearea,andrepresentativeofthesolidfoundationofworkthat now exists in this area. The range of topics considered is wide. For example, at one end of the spectrum we see a selection of papers providing a necessary t- oretical grounding for the eld. At the other end, we have an exciting range of applications to real-world problems, covering, for example, job-shop scheduling and fault detection in refrigeration systems. 316 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 14th International Conference on ConcurrencyTheory(CONCUR2003)heldinMarseille,France,September3 5, 2003. The conference was hosted by the Universit edeProvenceandtheLa- ratoire d Informatique Fondamentale de Marseille (LIF). The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti c relevance of their fundations. The scope of the conference covers all areas of semantics, logics, and veri cation techniques for concurrent systems. Topics include concurrency-related aspects of: models of computation and semantic domains, process algebras, Petri nets, event struc- res, real-time systems, hybrid systems, decidability, model-checking, veri cation and re nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, types systems and algorithms, case studies, and tools and environments for programming and - ri cation. Of the 107 papers submitted this year, 29 were accepted for presentation. Four invited talks were given at the conference: on Distributed Monitoring of Concurrent and Asynchronous Systems by Albert Beneveniste, on Quantitative Veri cation via the MU-Calculus by Luca De Alfaro, on Input-Output Au- mata: Basic, Timed, Hybrid, Probabilistic, Dynamic, . . by Nancy Lynch, and on Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus by Andre Scedrov. 544 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri cation. TPHOLs 2003 was co-located with TABLEAUX, the International Con- rence on Automated Reasoning with Analytic Tableaux and Related Methods, and with Calculemus, the Symposium on the Integration of Symbolic Compu- tion and Mechanized Reasoning. There were 50 papers submitted to TPHOLs in the full research category, each of which was refereed by at least 3 reviewers, selected by the program c- mittee.Ofthesesubmissions,21wereacceptedforpresentationattheconference and publication in this volume. In keeping with tradition, TPHOLs 2003 also o ered a venue for the presentation of work in progress, where researchers - vite discussion by means of a brief preliminary talk and then discuss their work at a poster session. A supplementary proceedings containing associated papers for work in progress was published by the computer science department at the Universit at Freiburg. The organizers are grateful to Jean-Raymond Abrial, Patrick Lincoln, and Dale Miller for agreeing to give invited talks at TPHOLs 2003. The TPHOLs conference traditionally changes continent each year in order to maximize the chances that researchers from around the world can attend. 384 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Offering new and theatrically informed readings of plays by a broad range of Renaissance dramatists - including Marlowe, Jonson, Marston, Webster, Middleton and Ford - this new book addresses the question of pleasure: both erotic pleasure as represented on stage and aesthetic pleasure as experienced by readers and spectators. Some of the issues raised (the distribution of pleasure by gender, the notion of consent) intersect with feminist reinterpretations of Renaissance culture. 218 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This collection focuses on contemporary remakings of Shakespeare in a variety of contexts and textual forms. Located at the intersection of Shakespeare studies, performance studies, post-colonial criticism and cultural studies, the essays address the question of how Shakespeare's plays affect and are affected by their environments as they are transposed into a variety of media, cultures, geographical locations, genres and historical moments. The volume includes articles on Shakespeare in American sign language, theatre, film, screenplay, music, documentary and soap opera. 214 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 4th International Conference onE-Commerce 2003, held in Prague, Czech Republic in September 2003.The 42 revised full papers presented together with an invited paper and a position paper were carefully reviewed and selected from 108 submissions. The papers are organized in topical sections on auctions, security, agents and search, ebXML, modeling and technology, XML, design and performance, business processes, and brokering and recommender systems. 472 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book reveals how the Japanese national ministries can exploit their Special Status Corporations (public corporations, supported primarily with public funding from a state-run banking agency) in order to intensify their administrative power over industries and local governments and to perpetuate the interests of elite civil servants by facilitating the migration to post-retirement positions in the private sector. The book explains why the existence of these organizations inhibits the Prime Ministers efforts to implement structural reforms. 144 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Focuseson the analysis, optimization and controllability of time-discrete dynamical systems and games under the aspect of stability, controllability and (for games) cooperative and non-cooperative treatment. The investigation of stability is based on Lyapunov's method which is generalized to non-autonomous systems. Optimization and controllability of dynamical systems is treated, among others, with the aid of mapping theorems such as implicit function theorem and inverse mapping theorem. Dynamical games are treated as cooperative and non-cooperative games and are used in order to deal with the problem of carbon dioxide reduction under economic aspects. The theoretical results are demonstrated by various applications. 204 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Martin Elvins' book is the first to trace the evolution of anti-drugs policies at European Union level from the late 1960s to the present. Phases of drug policy development, key policy actors and institutions are described with particular reference to the influence of transnational networks of expertise. Policy development is placed in the context of both European integration and a broad harmonization of international policies against drug trafficking. Concerns are also raised about secretive and anti-democratic features on intergovernmental EU decision-making. 227 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Driven by rapidly changing business environments and increasingly demanding consumers, many organizations are searching for new ways to achieve and retain a competitive advantage via customer intimacy and CRM. This book presents a new strategic framework that has been tested successfully with various global companies. New management concepts such as Collaborative Forecasting and Replenishment, CRM, Category Management, and Mass Customization are integrated into one holistic approach. Experts from companies like McKinsey and Procter&Gamble, as well as authors from renowned academic institutions, offer valuable insights on how to redesign organizations for the future. 292 pp. Englisch. …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In his Ph. D. thesis, Rudiger Wapler analyses the causes of the persistently high unemployment rates especially in continental Europe. Particular emphasis is placed on imperfect labour and product markets on the one hand, and on the numerous links between unemployment, innovations and growth on the other. Hence, Rudiger Wapler provides an important contribution towards a better understanding of both the development of labour markets as well as the dynamics of growth. To aid readers with only little prior knowledge of labour markets, the book presents the most common theories of unemployment: (1) trade-union models in which union bargaining power leads to wages above their market-clearing level, (2) efficiency-wage models in which employers voluntarily pay higher wages in order to motivate or discipline their workers or to reduce the job turnover rate, as well as (3) matching models in which unemployment is caused by the continuous turnover of jobs and workers. In addition, emphasis is placed on the fact that labour needs to be treated as heterogeneous, a fact often neg lected in the literature. Subsequently, these labour-market foundations are integrated with modern theories of innovations and growth, making the ap proach much more relevant and plausible. Without doubt, the generalisations of the models performed by Rudiger Wapler show that there are limits to such formal analysis. Due to the increasing number of interdependencies, it is doubtful whether even more complex models provide additional (usable) insights. 240 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nowadays, societies crucially depend on high-quality software for a large part of their functionalities and activities. Therefore, software professionals, researchers, managers, and practitioners alikehave to competently decide what software technologies and products to choose for which purpose.For various reasons, systematic empirical studies employing strictly scientific methods are hardly practiced in software engineering. Thus there is an unquestioned need for developing improved and better-qualified empirical methods, for their application in practice and for dissemination of the results.This book describes different kinds of empirical studies and methods for performing such studies, e.g., for planning, performing, analyzing, and reporting such studies. Actual studies are presented in detail in various chapters dealing with inspections, testing, object-oriented techniques, and component-based software engineering. 292 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Networks can provide a useful model and graphic image useful for the description ofawide variety of web-like structures in the physical and man-made realms,e.g.protein networks, food websand the Internet. The contributions gathered in the present volume provide both an introduction to, and an overview of, the multifaceted phenomenology of complex networks.Statistical Mechanics of Complex Networksalso providesa state-of-the-art picture of current theoretical methods and approaches. 224 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The increasing complexity of manufacturing systems as well as the overall demands for flexible and fault-tolerant control of production processes stimulates (among many others) two key emerging technologies that are already making an important breakthrough in the field of intelligent manufacturing, control, and diagnostics. These two paradigms are: - the holonic approach based on the event-driven control strategy, usually aimed at modular control systems that are directly physically linked with the manufacturing hardware equipment, and - the multi-agent approach developed in the area of distributed information processing. The research communities working in both these fields are approaching the problem of intelligent manufacturing from different viewpoints and, until recently, to a certain extent, in an independent way. We can however observe quite a clear convergence of these fields in the last few years: the communities have started to cooperate, joining efforts to solve the painful problems involved in achieving effective industrial practice. We can see convergence in the terminology, standards and methods being applied. 340 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The PaCT-2003 (Parallel Computing Technologies) conference was a four-day conference held in Nizhni Novgorod on September 15-19, 2003. This was the 7th international conference of the PaCT series, organized in Russia every odd year. The rst conference, PaCT-91, was held in Novosibirsk (Academgorodok), September 7-11, 1991. The next PaCT conferences were held in: Obninsk (near Moscow),30August-4September,1993;St.Petersburg,September12-15,1995; Yaroslavl, September 9-12, 1997; Pushkin (near St. Petersburg) September 6- 10, 1999; and Akademgorodok (Novosibirsk), September 3-7, 2001. The PaCT proceedings are published by Springer-Verlag in the LNCS series. PaCT-2003 was jointly organized by the Institute of Computational - thematics and Mathematical Geophysics of the Russian Academy of Sciences (Novosibirsk) and the State University of Nizhni Novgorod. The purpose of the conference was to bring together scientists working with theory, architectures, software, hardware and solutions of large-scale problems in order to provide integrated discussions on Parallel Computing Technologies. Theconferenceattractedabout100participantsfromaroundtheworld.Authors from 23 countries submitted 78 papers. Of those submitted, 38 papers were selected for the conference as regular ones; there were also 4 invited papers. In addition,anumberofposterswerepresented.Allthepaperswereinternationally reviewed by at least three referees. As usual a demo session was organized for the participants. Many thanks to our sponsors: the Russian Academy of Sciences, the Russian Fund for Basic Research, the Russian State Committee of Higher Education, IBM and Intel (Intel laboratory in Nizhni Novgorod) for their nancial support. The organizers highly appreciate the help of the Association Antenne-Provence (France). 588 pp. Englisch. …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumecontainsaselectionofpapersfromthe4thInternationalConference on the Practice and Theory of Automated Timetabling (PATAT 2002) held in Gent, August 21-23, 2002. Since the rst conference in Edinburgh in 1995, the range of timetabling applications at the conferences has become broader and more diverse. In the s- ected papers volume from the 1995 conference, there were just two contributions (out of 22) which did not speci cally address school and university timetabling. In the selected papers volume from the 1997 conference in Toronto, the number of papers which tackled non-educational problems increased. Two of the papers addressed more than one timetabling application. In both of these papers, educational applications were considered in addition to other applications. A further three papers were concerned with non-educational applications. The conference steering and programme committees have worked hard to attract a wide range of timetabling applications. In the conference held in Konstanz in 2000, the diversi cation of timetabling problems increased signi cantly. Of the 21 selected papers in the postconference volume, just 13 were speci cally concerned with educational timetabling. In the previous volumes, the papers had been sectioned according to solution technique. In the Konstanz volume the papers were classi ed according to application domains. One section of the volume was entitled 'Employee Timetabling,' while sports timetabling, air eet scheduling, and general software architectures for timetabling were also represented. In the present volume, more than one-third of the 21 papers discuss problems in application areas other than academic and educational ones. Sports timetabling and hospital timetabling are particularly well represented. 380 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisintroduction and textbook familiarizesengineerswith the use of mathematical and computational modeling and simulation in a way that develops their understanding of the solution characteristics of a broad class of real-world problems. The relevant basic and advanced methodologies are explained in detail, with special emphasis on ill-defined problems. Some fifteen simulation systems are presented on the language and the logical level. Moreover, the reader also can accumulate an experiential overview by studying the wide variety of case studies spanning much of science and engineering. The latter are briefly described within the book but their full versions as well as some simulation software demos are available on the Web. The book can be used for courses on various levels as well as for self-study. Advanced sections are identified and can be skipped in a first reading or in undergraduate courses. 444 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In very short time, peer-to-peer computing has evolved from an attractive new paradigm into an exciting and vibrant research field bringing together researchers from systems, networking, and theory.This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Peer-to-Peer Systems, IPTPS 2003, held in Berkeley, CA, USA in February 2003.The 27 revised papers presented together with an introductory summary of the discussions at the workshop were carefully selected during two rounds of reviewing and revision from initially 166 submissions. The papers are organized in topical sections on experience with P2P; theory and algorithms, P2P in a broader perspective; incentive and fairness; new DHT designs; naming, indexing, and searching; file sharing; and networking and applications. 332 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the international Joint Modular Languages Conference, JMLC 2003, held in Klagenfurt, Austria in August 2003.The 17 revised full papers and 10 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from 47 submissions. The papers are organized in topical sections on architectural concepts and education, component architectures, language concepts, frameworks and design principles, compilers and tools, and formal aspects and reflective programming. 292 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During the last two decades we have seen tremendous developments within software engineeringresearchandpractice.Theeverincreasingcomplexityofsoftwaresystems andtherevolutionarydevelopmentintheInternethaveledtomanyinterestingchallenges andopportunitiesfornewdevelopmentsinSoftwareProcessTechnology. Started in 1990, the primary goal of the European Workshops on Software P- cessTechnology is to achieve better understanding of the state-of-the-art on all issues related to software process technology, including (but not limited to): process mo- linglanguages,computer-supportedprocessdescription,analysis,reuse,re nementand enactment,processmonitoring,measurement,management,improvementandevolution, process enactment engines, tools, and environments. Besides the technical viewpoint, the workshops have also taken into account human and social dimensions in software processenactment. The9thEuropeanWorkshoponSoftwareProcessTechnology(EWSPT-9)provided aninternationalforumforresearchersandpractitionersfromacademiaandindustryto discussawiderangeoftopicsintheareaofsoftwareprocesstechnology,andtojointly formulateanagendaforfutureresearchinthis eld. TheProgramCommitteemetinPortland,Oregon,USAduringICSE2003,toselect thepapersforinclusionintheproceedings.Twelvepapers(elevenresearchpapersand onepositionpaper)wereselectedoutof25submissionsfrom12countries(Australia, Austria,Brazil,China,Finland,France,Germany,Mexico,Norway,Spain,UK,USA). All submissions were reviewed by three members of the Program Committee. Papers wereselectedbasedonoriginality,quality,soundnessandrelevancetotheworkshop.In addition,theprogramincludedaninvitedtalkbyVolkerGruhn(UniversityofLeipzig, Germany).Creditforthequalityoftheproceedingsgoestoallauthorsofthepapers. I would like to thank the members of the Program Committee (Jean-Claude D- niame, Jacky Estublier, Carlo Ghezzi, Carlo Montangero, Leon Osterweil, Dewayne Perry, and Brian Warboys) for providing timely and signi cant reviews, and for their substantialeffortinmakingEWSPT-9asuccessfulworkshop. This year the workshop was held in conjunction with the joint European Software EngineeringConferenceandACMSIGSOFTSymposiumontheFoundationsofSo- ware Engineering. I would like to acknowledge the General Chair, Jukka Paakki, and themembersoftheOrganizingCommitteefortheirassistanceduringtheorganization ofEWSPT-9asaco-locatedworkshop. IwouldalsoliketoacknowledgethepromptandprofessionalsupportfromSpringer- Verlag, who published these proceedings in printed and electronic volumes as part of theLectureNotesinComputerScienceseries. 188 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The conference on Object Oriented Information Systems (OOIS) is now an es- blished international conference where innovative ideas, research, applications, and experiences in the design, development, and use of object oriented infor- tionsystems,fromboththeacademicandindustrialenvironments,arepresented. The ninth OOIS conference was held at the University of Geneva, September 2-5, 2003. The main theme was the Evolution of Object Oriented Information Systems. The papers presented ideas and issues related to the evolution, ad- tability, restructuring, and exibility of OOIS. In the context of the conference, ve workshops and four tutorials were organized providing a discussion forum for new ideas and including in depth presentations on important 'hot' subjects. The three invited speakers of the ninth OOIS conference provided an - ternative view on OOIS and their evolution. Prof. John Mylopoulos (Univ- sity of Toronto and VLDB president) gave the opening presentation entitled 'Agent Oriented IS Development' , Dr. Richard Soley (OMG President and CEO) gave the closing presentation entitled 'Model Driven Architecture: The Evolution of Object-Oriented Systems ' and Prof. Lina Al-Jadir (American U- versity of Beirut) gave the theme presentation entitled 'Once Upon a Time a DTD Evolved into Another DTD.'. 444 pp. Englisch. …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Human influences create both environmental problems and barriers to effective policy aimed at addressing those problems. In effect, environmental managers manage people as much as they manage the environment. Therefore, they must gain an understanding of the psychological and sociopolitical dimensions of environmental problems that they are attempting to resolve. In Environmental Problem Solving , Alan Miller reappraises conventional analyses of environmental problems using lessons from the psychosocial disciplines. He combines the disciplines of ecology, political sociology and psychology to produce a more adaptive approach to problem-solving that is specifically geared toward the environmetal field. Numerous case studies demonstrate the practical application of theory in a way that is useful to technical and scientific professionals as well as to policy makers and planners. Alan Miller is Professor of Psychology at the University of New Brunswick. 256 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These are the proceedings of the 7th International Workshop on Cooperative Information Agents (CIA 2003), held at the Sonera Conference Center in H- sinki, Finland, August 27-29, 2003. It was co-located with the 4th Agentcities Information Days. One key challenge of developing advanced agent-based information systems is to balance the autonomy of networked data and knowledge sources with the pot- tial payo of leveraging them by the appropriate use of intelligent information agents on the Internet. An information agent is a computational software entity thathasaccesstooneormultiple,heterogeneous,anddistributeddataandinf- mation sources; proactively searches for and maintains relevant information on behalfofitshumanusersorotheragents,preferablyjust-in-time. Inotherwords, it is managing and overcoming the di culties associated with information ov- load in the open and exponentially growing Internet and Web. Depending on the application and tasks at hand information agents may collaborate in open, n- worked data and information environments to provide added value to a variety of applications in di erent domains. Thus, research and development of inf- mation agents is inherently interdisciplinary: It requires expertise in information retrieval, arti cial intelligence, database systems, human-computer interaction, and Internet and Web technology. Initiated in 1997, the purpose of the annual international workshop series on cooperativeinformationagents(CIA)istoprovideaninterdisciplinaryforumfor researchers, software developers, and managers to get informed about, present, anddiscussthelatesthigh-qualityresultsinadvancementsoftheoryandpractice in information agent technology for the Internet and Web. Each event of this renowned series attempts to capture the intrinsic interdisciplinary nature of this research area by calling for contributions from di erent research communities, and by promoting open and informative discussions on all related topics. 364 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2003, held in Prague, Czech Republic in September 2003.The 41 revised full papers presented were carefully reviewed and selected from more than 130 submissions. The papers are organized in topical sections on data cubes and queries, multidimensional data models, Web warehousing, change detection, Web mining and association rules, association rules and decision trees, clustering, association rule mining, data analysis and discovery, ontologies and improving data quality, queries and data patterns, improving database query engines, and sampling and vector classification. 452 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is concerned with the rich and fruitful interplay between the fields of computational logic and machine learning. The intended audience is senior undergraduates, graduate students, and researchers in either of those fields. For those in computational logic, no previous knowledge of machine learning is assumed, and for those in machine learning no previous knowledge of computational logic is assumed.The logic used throughout the book is a higher-order one, since higher-order functions can have other functions as arguments and this capability can be exploited to provide abstractions for knowledge representation, methods for constructing predicates, and a foundation for logic-based computation.The book should be of interest to researchers in machine learning, especially those who study learning methods for structured data. Throughout, great emphasis is placed on learning comprehensible theories. The book serves as an introduction for computational logicians to machine learning, a particularly interesting and important application area of logic, and also provides a foundation for functional logic programming languages. 272 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic program synthesis has attracted the attention of researchers and professionals since the 1970s.This book focusses on inductive program synthesis, andespecially on the induction of recursive functions; it is organized into three parts on planning, inductive program synthesis, and analogical problem solving and learning. Besides methodological issues in inductive program synthesis, emphasis is placed on its applications to control rule learning for planning. Furthermore, relations to problem solving and learning in cognitive psychology are discussed. 424 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As software systems become more and more ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be planned at the beginning of the design process, it is appropriate that these issues be addressed at the architectural level.This book is inspired by the ICSE 2002 Workshop on Architecting Dependable Systems; it is devoted to current topics relevant for improving the state of the art for architecting dependability. Some of the 13 peer-reviewed papers presented were initially presented at the workshop, others were invited in order to achieve competent and complete coverage of all relevant aspects. The papers are organized in topical sections on- architectures for dependability- fault tolerance in software architectures- dependability analysis in software architectures- industrial experience. 328 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Human performance in visual perception by far exceeds the performance of contemporary computer vision systems. While humans are able to perceive their environment almost instantly and reliably under a wide range of conditions, computer vision systems work well only under controlled conditions in limited domains.This booksets out to reproduce the robustness and speed of human perception by proposing a hierarchical neural network architecture for iterative image interpretation. The proposed architecture can be trained using unsupervised and supervised learning techniques. Applications of the proposed architecture are illustrated using small networks. Furthermore, several larger networks were trained to perform various nontrivial computer vision tasks. 240 pp. Englisch.…