springer berlin heidelberg jun 2001 (154 results)

Taschenbuch. Condition: Neu. Neuware -The papers contained in this volume were presented at the 12th Annual S- posium on Combinatorial Pattern Matching, held July 1{4, 2001 at the Dan Panorama Hotel in Jerusalem, Israel. They were selected from 35 abstracts s- mitted inresponse to the call for papers. In addition,there were invited lectures by Aviezri Fraenkel (Weizmann Institute of Science), Zvi Galil (Columbia), Rao Kosaraju (Johns Hopkins University), and Uzi Vishkin(Technion and U. Ma- land). This year the call for papers invited short (poster) presentations. They also appear in the proceedings. Combinatorial Pattern Matching (CPM) addresses issues of searching and matching strings and more complicated patterns such as trees, regular expr- sions,graphs,pointsets, andarrays,invariousformats.Thegoalistoderiven- trivialcombinatorialproperties ofsuchstructures andtoexploitthese properties in order to achieve superior performance for the corresponding computational problems. On the other hand, an important aim is to analyze and pinpoint the properties and conditions under which searches can not be performed e ciently. Overthepastdecadeasteady owofhighqualityresearch onthissubject has changed a sparse set of isolated results into a full- edged area of algorithmics. This area is continuing to grow even further due to the increasing demand for speed and e ciency that stems from important applications such as the World Wide Web, computational biology, computer vision, and multimedia systems. These involverequirements forinformationretrieval inheterogeneous databases, data compression, and pattern recognition. The objective of the annual CPM gathering is to provide an international forum for the presentation of research results in combinatorial pattern matching and related applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -MAPLE is a computer algebra system which, thanks to an extensive library of sophisticated functions, enables both numerical and formal computations to be performed. Until recently, such systems were only available to professional users with access to mainframe computers, but the rapid improvement in the performance of personal computers (speed, memory) now makes them accessible to the majority of users. The latest versions of MAPLE belong to this new generation of systems, allowing a growing audience of users to become familiar with computer algebra. This work does not set out to describe all the possibilities of MAPLE in an exhaustive manner; there is already a great deal of such documentation, including extensive online help. However, these technical manuals provide a mass of information which is not always of great help to a beginner in computer algebra who is looking for a quick solution to a problem in his own speciality: mathematics, physics, chemistry, etc. This book has been designed so that a scientist who wishes to use MAPLE can find the information he requires quickly. It is divided into chapters which are largely independent, each one being devoted to a separate subject (graphics, differential equations, integration, polynomials, linear algebra, . ), enabling each user to concentrate on the functions he really needs. In each chapter, deliberately simple examples have been given in order to fully illustrate the syntax used.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.

Buch. Condition: Neu. Neuware -A rich variety of real-life physical problems which are still poorly understood are of a nonlinear nature. Examples include turbulence, granular flows, detonations and flame propagation, fracture dynamics, and a wealth of new biological and chemical phenomena which are being discovered. Particularly interesting among the manifestations of nonlinearity are coherent structures. This book contains reviews and contributions reporting on the state of the art regarding the role of coherent structures and patterns in nonlinear science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci cation and Description Language rst standardized by the world telecommunications body, the International Telecommunications Union (ITU), more than 20 years ago in 1976. While the original language and domain of application has evolved signi cantly, the foundations of SDL as a graphical, state-transition and process-communication language for real-time systems have remained. Today SDL has also grown to be one notation in the set of uni ed modelling languages recommended by the ITU (ASN.1, MSC, SDL, ODL, and TTCN) that can be used in methodology taking engineering of systems from requirements capture through to testing and operation. The SDL Forum is held every two years and has become the most imp- tant event in the calendar for anyone involved in SDL and related languages and technology. The SDL Forum Society that runs the Forum is a non-pro t organization whose aim it is to promote and develop these languages.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expressive, yet easy to use, type systems for high-level programming languages. Types provide not only a conceptual framework for language designers, but also a ord positive bene ts to the programmer, principally the ability to express and enforce levels of abstraction within a program. Early compilers for typed languages followed closely the methods used for their untyped counterparts. The role of types was limited to the earliest s- ges of compilation, and they were thereafter ignored during the remainder of the translation process. More recently, however, implementors have come to - cognize the importance of types during compilation and even for object code. Several advantages of types in compilation have been noted to date: { They support self-checking by the compiler. By tracking types during c- pilation it is possible for an internal type checker to detect translation errors at an early stage, greatly facilitating compiler development. { They support certi cation of object code. By extending types to the ge- rated object code, it becomes possible for a code user to ensure the basic integrity of that code by checking its type consistency before execution. { They support optimized data representations and calling conventions, even in the presence of modularity. By passing types at compile-, link-, and even run-time, it is possible to avoid compromises of data representation imposed by untyped compilation techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 8th European Workshop on Software Process Technology, EWSPT 2001, held in Witten, Germany, in June 2001.The 18 revised full papers presented were carefully reviewed and selected from 31 submissions. Among the areas addressed are process evolution, experiences, mobility and distribution, UML process patterns, and process improvement.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -sions, a doctoral consortium, workshops, and system demonstrations. There were a total of 79 technical submissions from 20 countries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The Ninth International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO) took place in Dagstuhl Germany, Sept- ber 18{21, 2000. The topic of this workshop was Database schema Evolution and Meta-Modeling; this FoMLaDO Workshop was hence assigned the acronym DEMM 2000. These post-proceedings contain the revised versions of the accepted papers of the DEMM 2000 workshop. Twelve regular papers were accepted for inclusion in the proceedings. The papers address the following issues: { Consistency of evolving concurrent information systems { Adaptive speci cations of technical information systems { Change propagation in schema evolution of object-based systems { Evolving software of a schema evolution system { Logical characterization of schema evolution { Con ict management in integrated databases { Evolving relation schemas { Conceptual descriptions of adaptive information systems { OQL-extensions for metadata access { Metamodeling of schema evolution { Metricsfor conceptual schema evolution { Incremental datawarehouse construction In addition to the regular papers, there is an invited paper by Can Turk ¿ er on schema evolution in SQL99 and (object-)relational databases. Acknowledgements: We wish to thank the program committee members for their work on reviewing the submitted papers. We also wish to thank all a- hors for submitting papers to this workshop. Moreover, all participants of the workshop are thanked for contributing to lively discussions. Thanks also to Elke Rundensteiner, who delivered an invited talk on the SERF-project concerning exible database transformations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -program,andallthesessionchairsandspeakersfortheirtimeande ort. Special thanks to Yi Mu, Laura Olsen, Rajan Shankaran, and Michael Hitchens for theirhelpwithlocalorganizationdetails. Finally,Iwouldliketothankallthe authorswhosubmittedpapersandalltheparticipantsofACISP2001. Ihope thattheprofessionalcontactsmadeatthisconference,thepresentations,and theproceedingshaveo eredyouinsightsandideasthatyoucanapplytoyour owne ortsinsecurityandprivacy. July2001 VijayVaradharajan AUSTRALASIANCONFERENCEON INFORMATIONSECURITYANDPRIVACY ACISP2001 Sponsoredby MacquarieUniversity AustralianComputerSociety General Chair: VijayVaradharajan MacquarieUniversity,Australia Program Chairs: VijayVaradharajan MacquarieUniversity,Australia YiMu MacquarieUniversity,Australia Program Committee: RossAnderson CambridgeUniversity,UK ColinBoyd QueenslandUniversityofTechnology,Australia EdDawson QueenslandUniversityofTechnology,Australia YvoDesmedt FloridaStateUniversity,USA PaulEngland Microsoft YairFrankel ColumbiaUniversity,USA AjoyGhosh UNISYS,Australia DieterGollman Microsoft JohnGordon ConceptLabs,UK KwangjoKim ICU,Korea ChuchangLiu DSTO,Australia MasahiroMambo TohokuUniversity,Japan WenboMao Hewlett-PackardLab. ,UK ChrisMitchell LondonUniversity,UK EijiOkamoto UniversityofWisconsin,USA JoePato Hewlett-PackardLab. ,USA JosefPieprzyk MacquarieUniversity,Australia BartPreneel KatholiekeUniversity,Belgium SteveRoberts WithamPtyLtd,Australia QingSihan AcademyofScience,China ReiSafavi-Naini UniversityofWollongong,Australia JenniferSeberry UniversityofWollongong,Australia YuliangZheng MonashUniversity,Australia TableofContents AFewThoughtsonE-Commerce. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 YacovYacobi NewCBC-MACForgeryAttacks. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 KarlBrincat,ChrisJ. Mitchell CryptanalysisofaPublicKeyCryptosystemProposedatACISP2000. . . . 15 AmrYoussef,GuangGong ImprovedCryptanalysisoftheSelf-ShrinkingGenerat 540 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001, held in Cascais, Portugal in July 2001. The 31 revised full papers presented together with 30 posters and two invited papers were carefully reviewed and selected from 79 submissions. Among the topics addressed in their context on medical information processing are knowledge management, machine learning, data mining, decision support systems, temporal reasoning, case-based reasoning, planning and scheduling, natural language processing, computer vision, image and signal interpretation, intelligent agents, telemedicine, careflow systems, and cognitive modeling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The Advanced Course on Artificial Intelligence ACAI 2001 with the subtitle M ulti- Agent Systems and Their Applications , held in Prague, Czech Republic, was a joint event of ECCAI (the European Coordinating Committee for Artificial Intelligence) and AgentLink, the European Network of Excellence for Agent-Based Computing. Whereas ECCAI organizes two-week ACAI courses on different topics every second year, AgentLink s European Agent Systems Summer School (EASSS) has been an annual event since 1999. This year, both of these important events were merged together, giving weight to the fact that multi-agent systems currently represent one of the hottest topics in AI research. The name, ACAI 2001 Summer School, is intended to emphasize that this event continues the tradition of regular ECCAI activities (ACAI), as well as the EASSS summer schools of AgentLink. The Prague ACAI Summer School was proposed and initiated by both the Gerstner Laboratory, Czech Technical University, Prague (GL-CTU) and the Czech Society for Cybernetics and Informatics (CSKI), with the support of the Austrian Research Institute for Artificial Intelligence in Vienna (OFAI). Part of our motivation was catalyzed by experience gained in 1992 during the International Summer School Advanced Topics in Artificial Intelligence (see Springer s LNAI vol. 617) which was organized by the same Czech and Austrian bodies. One of the most important stimulating factors behind the organization of ACAI 2001 was the support provided by the European Commission to the Gerstner Laboratory within the frame of the MIRACLE Center of Excellence project (IST No.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like planning, scheduling, coordination, communication, transport, simulation, and module integration technologies and as such constitutes a great challenge to the individual researcher active in the area.The book presents a collection of papers on approaches that will help make deployed and large scale multi-agent systems a reality. The first part focuses on available infrastructure and requirements for constructing research-grade agents and multi-agent systems. The second part deals with support in infrastructure and software development methods for multi-agent systems that can directly support coordination and management of large multi-agent communities; performance analysis and scalability techniques are needed to promote deployment of multi-agent systems to professionals in software engineering and information technology. 320 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -During the past several years, the world has entered the first phase of the Internet Revolution. Investors showed confidence and faith in the prospects of the Internet driven economy. In the US alone, some 30,000 dot com companies have sprung up to support electronic commerce with a wide variety of business models, technologies, and/or items or services to sell or even give away. Traditional businesses, so called brick and mortar, or offline, businesses, have started to respond to challenges by Internet based new competitors by augmenting their own businesses with Internet based, or online, businesses and/or filing lawsuits against them. The initial business to consumer orientation of electronic commerce is giving way to business to business commerce, with large corporations forming electronic exchanges or consortia to conduct commerce among members. Government, industry, and civic groups have started addressing social issues related to the Internet, such as taxation on electronic commerce, privacy, intellectual property rights, security, hacking, cyber crimes, digital divide, etc. Governments have started legitimizing electronic signatures and stepping up efforts to track down perpetrators of cyber crimes. The courts have started to wrestle with issues of privacy, intellectual property rights, crimes, and impediments to Internet driven economy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The main objective of this monograph is the study of a class of stochastic differential systems having unbounded coefficients, both in finite and in infinite dimension. We focus our attention on the regularity properties of the solutions and hence on the smoothing effect of the corresponding transition semigroups in the space of bounded and uniformly continuous functions. As an application of these results, we study the associated Kolmogorov equations, the large-time behaviour of the solutions and some stochastic optimal control problems together with the corresponding Hamilton- Jacobi-Bellman equations. In the literature there exists a large number of works (mostly in finite dimen sion) dealing with these arguments in the case of bounded Lipschitz-continuous coefficients and some of them concern the case of coefficients having linear growth. Few papers concern the case of non-Lipschitz coefficients, but they are mainly re lated to the study of the existence and the uniqueness of solutions for the stochastic system. Actually, the study of any further properties of those systems, such as their regularizing properties or their ergodicity, seems not to be developed widely enough. With these notes we try to cover this gap.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Driven by the requirements of a large number of practical and commercially - portant applications, the last decade has witnessed considerable advances in p- tern recognition. Better understanding of the design issues and new paradigms, such as the Support Vector Machine, have contributed to the development of - proved methods of pattern classi cation. However, while any performance gains are welcome, and often extremely signi cant from the practical point of view, it is increasingly more challenging to reach the point of perfection as de ned by the theoretical optimality of decision making in a given decision framework. The asymptoticity of gains that can be made for a single classi er is a re - tion of the fact that any particular design, regardless of how good it is, simply provides just one estimate of the optimal decision rule. This observation has motivated the recent interest in Multiple Classi er Systems , which aim to make use of several designs jointly to obtain a better estimate of the optimal decision boundary and thus improve the system performance. This volume contains the proceedings of the international workshop on Multiple Classi er Systems held at Robinson College, Cambridge, United Kingdom (July 2{4, 2001), which was organized to provide a forum for researchers in this subject area to exchange views and report their latest results.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Scale-Space and Morphology in Computer Vision, Scale-Space 2001, held in Vancouver, Canada in July 2001.The 18 revised full papers presented together with 23 posters were carefully reviewed and selected from 60 submissions. The book addresses all current aspects of scale-space and morphology in the context of computer vision, in particular, vector distance functions, optic flow, image registration, curve evolution, morphological segmentation, scalar images, vector images, automatic scale selection, geometric diffusion, diffusion filtering, image filtering, inverse problems, active contours, etc.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Recent research has repeatedly led to connections between important rigidity questions and bounded cohomology. However, the latter has remained by and large intractable. This monograph introduces the functorial study of the continuous bounded cohomology for topological groups, with coefficients in Banach modules. The powerful techniques of this more general theory have successfully solved a number of the original problems in bounded cohomology. As applications, one obtains, in particular, rigidity results for actions on the circle, for representations on complex hyperbolic spaces and on Teichmüller spaces. A special effort has been made to provide detailed proofs or references in quite some generality.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Kandulski J. -Y. Marion C. Brun F. Lamarche G. Perrier TableofContents InvitedTalks StructuralEquationsinLanguageLearning . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 MichaelMoortgat OntheDistinctionbetweenModel-TheoreticandGenerative-Enumerative SyntacticFrameworks. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 Geo reyK. Pullum,BarbaraC. Scholz ContributedPapers AFormalDe nitionofBottom-UpEmbeddedPush-DownAutomataand TheirTabulationTechnique. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 MiguelA. Alonso,EricdelaClergerie,ManuelVilares AnAlgebraicApproachtoFrenchSentenceStructure. . . . . . . . . . . . . . . . . . . 62 DanieleBargelli,JoachimLambek DeductiveParsingofVisualLanguages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 PaoloBottoni,BerndMeyer,KimMarriott,FrancescoParisiPresicce LambekGrammarsBasedonPregroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 WojciechBuszkowski AnAlgebraicAnalysisofCliticPronounsinItalian. . . . . . . . . . . . . . . . . . . . . 110 ClaudiaCasadio,JoachimLambek Consistent Identi cation in the Limit of Any of the Classes k-Valued Is NP-hard. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 ChristopheCostaFlor¿encio PolarizedNon-projectiveDependencyGrammars. . . . . . . . . . . . . . . . . . . . . . . 139 AlexanderDikovsky OnMixingDeductionandSubstitutioninLambekCategorialGrammars. . 158 AnnieForet A Framework for the Hyperintensional Semantics of Natural Language withTwoImplementations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175 ChrisFox,ShalomLappin ACharacterizationofMinimalistLanguages. . . . . . . . . . . . . . . . . . . . . . . . . . . 193 HenkHarkema VIII TableofContents PartofSpeechTaggingfromaLogicalPointofView. . . . . . . . . . . . . . . . . . . 212 Torbjorn ¿ Lager,JoakimNivrSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -The 28th International Colloquium on Automata, Languages and Programming (ICALP 2001) was held July 8-12, 2001 in the Aldemar-Knossos Royal Village near Hersonissos on Crete, Greece. This volume contains all contributed papers presented at ICALP 2001, together with the invited lectures by Ahmed Bou- jani (Paris), Martin Gro e-Rhode (Berlin), Mogens Nielsen (Aarhus), and Ingo Wegener (Dortmund) and two of the keynote lectures, by Christos Papadimitriou and Boris Trakhtenbrot. For almost 30 years now, ICALP has been the main annual event of the European Association for Theoretical Computer Science (EATCS). The ICALP program currently consists of track A: Algorithms, Automata, Complexity, and Games and track B: Logic, Semantics, and Theory of Programming. In response to the Call for Papers, the program committee received 208 s- missions: 162 for track A, 46 for track B. The committee met on March 23/24, 2001 in Barcelona and selected 80 papers for inclusion into the scienti c program.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1104 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Yet another book on wavelets. There are many books on wavelets available, written for readers with different backgrounds. But the topic is becoming ever more important in mainstream signal processing, since the new JPEG2000 standard is based on wavelet techniques. Wavelet techniques are also impor tant in the MPEG-4 standard. So we thought that there might be room for yet another book on wavelets. This one is limited in scope, since it only covers the discrete wavelet trans form, which is central in modern digital signal processing. The presentation is based on the lifting technique discovered by W. Sweldens in 1994. Due to a result by I. Daubechies and W. Sweldens from 1996 this approach covers the same class of discrete wavelet transforms as the one based on two channel filter banks with perfect reconstruction. The goal of this book is to enable readers, with modest backgrounds in mathematics, signal analysis, and programming, to understand wavelet based techniques in signal analysis, and perhaps to enable them to apply such methods to real world problems. The book started as a set of lecture notes, written in Danish, for a group of teachers of signal analysis at Danish Engineering Colleges. The material has also been presented to groups of engineers working in industry, and used in mathematics courses at Aalborg University.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Buch. Condition: Neu. Neuware -The field of computational fluid dynamics (CFD) has already had a significant impact on the science and engineering of fluid dynamics, ranging from a role in aircraft design to enhancing our understanding of turbulent flows. It is thus not surprising that there exist several excellent books on the subject. We do not attempt to duplicate material which is thoroughly covered in these books. In particular, our book does not describe the most recent developments in algorithms, nor does it give any instruction with respect to programming. Neither turbulence modelling nor grid generation are covered. This book is intended for a reader who seeks a deep understanding of the fundamental principles which provide the foundation for the algorithms used in CFD. As a result of this focus, the book is suitable for a first course in CFD, presumably at the graduate level. The underlying philosophy is that the theory of linear algebra and the attendant eigenanalysis of linear systems provide a mathematical framework to describe and unify most numerical methods in common use for solving the partial differential equations governing the physics of fluid flow. This approach originated with the first author during his long and distinguished career as Chief of the CFD Branch at the NASA Ames Research Center.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -It is now about 10 years since the first edition of Nerve Cells and Nervous Systems was published. There have been many important advances across the whole field of neuro science since 1990 and it was obvious that the first edition had become much less useful than when it was published. Hence this new edition. I have attempted to keep to the aims of the first edition by presenting the general principles of neuroscience in the context of experimental evidence. As with the first edition, the selection of material to include, or exclude, has been difficult and invariably reflects my personal biases. I hope that not too many readers will be disappointed with the selections. I have unashamedly retained material, and, in particular, illustrations where I think they remain of importance to an understanding of the field and to its historical development. As before, I have attempted as reasonable a coverage as possible within the confines of a book that should be easy to carry around, to handle and, I hope, to read. The book should be useful for anyone studying the nervous system at both undergraduate and immediate postgraduate levels. In particular, under graduates reading neuroscience or any course containing a neuroscience component, such as physiology, pharmacology, biomedical sciences or psychology, as well as medicine and veterinary medicine should find the book helpful.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Buch. Condition: Neu. Neuware -This book presents the fmdings of a comparative study of three European metropolitan regions: Vienna, Barcelona and Stockholm. The heart of the work consists of empirical studies carefully designed and developed in order to identify the main actors and mechanisms supporting technological innovation in each of the metropolitan regions. The authors have also highlighted the similarities and differences across regions and countries, investigating how these came to be, and discussing the possible implications. The introductory as well as the concluding Chapter was written by Manfred M. Fischer who, assisted by Attila Varga, was also responsible for Chapter 2 on the Metropolitan Region of Vienna. Javier Revilla Diez contributed Chapter 3 on the Barcelona Metropolitan Region. Folke Snickars has provided Chapter 4 which examines the Metropolitan Region of Stockholm and. All authors have reviewed and commented on the whole contents so that the volume represents a collective endeavour which has been rendered as homogeneous as possible. A particular effort has been made to ensure that the study is based on a common conceptual framework.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Alan Kirman\* and Jean-Benoit Zimmermann\*\* \*GREQAM -Universite d'Aix-Marseille, Ecole des Hautes Etudes en Sciences Sociales, Marseille \*\*CNRS -GREQAM, Marseille This book continues in a tradition which has developed in the annual Workshops on Economics with Heterogeneous Interacting Agents, (WEHIA). The purpose of that workshop was to analyse situations in which individual agents, who might be different from each other, interact and produce behaviour on the aggregate level which does not correspond to that of the average actor. This rupture with the well established tradition of the 'representative individual' is far from having established a central position in economics. That the relaxation of that assumption and the introduction of heterogeneous individuals might change the relationship between micro behaviour and macro phenomena is clearly spelled out by Forni and Lippi (1997). The modelling of the actual interaction between these individuals has been and remains a challenge. Early analytical attempts to introduce direct and local interaction between agents such as in the pioneering work of Follmer (1974) met with little response and the recent wave of interest associated with the names of Aoki (1996), Durlauf (1997) and Blume (1993) amongst others was twenty years in the making. Yet, the influence of other disciplines such as physics and biology in which complex interactive systems and their analysis play a central role is now making itself felt in economics and the papers in this volume reflect that fact.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Robotics applications, initially developed for industrial and manufacturing contexts, are now strongly present in several elds. Besides well-known space and high-technology applications, robotics for every day life and medical s- vices is becoming more and more popular. As an example, robotic manipu- tors are particularly useful in surgery and radiation treatments, they could be employed for civil demining, for helping disabled people, and ultimately for domestic tasks, entertainment and education. Such a kind of robotic app- cations require the integration of many di erent skills. Autonomous vehicles and mobile robots in general must be integrated with articulated manipu- tors. Many robotic technologies (sensors, actuators and computing systems) must be properly used with speci c technologies (localisation, planning and control technologies). The task of designing robots for these applications is a hard challenge: a speci c competence in each area is demanded, in the e ort of a truly integrated multidisciplinary design.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -associated workshops and produced their own separate proceedings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 728 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -Underlying most of the IWANN calls for papers is the aim to reassume some of the motivations of the groundwork stages of biocybernetics and the later bionics formulations and to try to reconsider the present value of two basic questions. The rstoneis:¿Whatdoesneurosciencebringintocomputation(thenew bionics) ¿ That is to say, how can we seek inspiration in biology Titles such as ¿computational intelligence¿, ¿arti cial neural nets¿, ¿genetic algorithms¿, ¿evolutionary hardware¿, ¿evolutive architectures¿, ¿embryonics¿, ¿sensory n- romorphic systems¿, and ¿emotional robotics¿ are representatives of the present interest in ¿biological electronics¿ (bionics). Thesecondquestionis:¿Whatcanreturncomputationtoneuroscience(the new neurocybernetics) ¿ That is to say, how can mathematics, electronics, c- puter science, and arti cial intelligence help the neurobiologists to improve their experimental data modeling and to move a step forward towards the understa- ing of the nervous system Relevant here are the general philosophy of the IWANN conferences, the sustained interdisciplinary approach, and the global strategy, again and again to bring together physiologists and computer experts to consider the common and pertinent questions and the shared methods to answer these questions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 868 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Conference on High-Performance Computing and Networking, HPCN Europe 2001, held in Amsterdam, The Netherlands in June 2001.The 67 revised papers and 15 posters presented were carefully reviewed and selected from a total of almost 200 submissions. Among the areas covered are Web/grid applications of HPCN, end user applications, computational science, computer science, and Java in HPCN. 756 pp. Englisch.

Buch. Condition: Neu. Neuware -Geocomputation may be viewed as the application of a computational science paradigm to study a wide range of problems in geographical systems contexts.This volume presents a clear, comprehensive and thoroughly state-of-the-art overview of current research, written by leading figures in the field.It provides important insights into this new and rapidly developing field and attempts to establish the principles, and to develop techniques for solving real world problems in a wide array of application domains with a catalyst to greater understanding of what geocomputation is and what it entails.The broad coverage makes it invaluable reading for resarchers and professionals in geography, environmental and economic sciences as well as for graduate students of spatial science and computer science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Buch. Condition: Neu. Neuware -The study of random graphs was begun by Paul Erdos and Alfred Renyi in the 1960s and now has a comprehensive literature. A compelling element has been the threshold function, a short range in which events rapidly move from almost certainly false to almost certainly true. This book now joins the study of random graphs (and other random discrete objects) with mathematical logic. The possible threshold phenomena are studied for all statements expressible in a given language. Often there is a zero-one law, that every statement holds with probability near zero or near one. The methodologies involve probability, discrete structures and logic, with an emphasis on discrete structures.The book will be of interest to graduate students and researchers in discrete mathematics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.