springer jun 2004 (151 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Roman Longoria The goal of this book is to provide a useful and timely guide to the practitioner who designs or develops mobile applications. The contributors to this book are leaders in the user interface (UI) community actively working in mobile platform technol ogy and mobile application design. Thus, this book offers the reader unique insight into the latest technologies, market trends, design ideas, and usability data. We provide the reader with the latest information that will have direct and immediate impact on a broad scope of product design decisions, including those for voice, phone, and personal digital assistant (PDA) applications. In other words, this book is written by practitioners, for practitioners. When I approached my coauthors about writing a chapter, I had only a few criteria. First, each author should have unique experience and expertise about a certain aspect of mobile applications. Second, that the authors be able to provide an introduction to the technologies with which they work. Third, that each chapter include case studies and lessons learned from empirical usability evaluations. And fourth, that each author include in the chapter some fundamental knowledge that they wish they had known when they got started designing for the mobile context.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of mathematical principles and te- niquesthataredemonstrablyusefulinthe processofconstructingcomputerp- grams,whether implementedinhardwareorsoftware.Thefocus isontechniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programmingmethodology,programspeci cation and transformation, programming paradigms, programming calculi, and programming language - mantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference. Each paper was refereed by at least four, and often more, committee members. This volume contains 19 papers selected for presentation by the program committee from 37 submissions, as well as the abstract of one invited talk: - tended Static Checking for Java by Greg Nelson, Imaging Systems Department, HP Labs, Palo Alto, California. The conference took place in Stirling, Scotland. The previous six conferences wereheld in1989inTwente,TheNetherlands;in1992inOxford,UK;in 1995in KlosterIrsee,Germany;in 1998in Marstrandnear Got ¿ eborg,Sweden;in2000in Pontede Lima,Portugal;and in 2002in Dagstuhl, Germany.The proceedingsof these conferences were published as LNCS 375, 669, 947, 1422, 1837, and 2386, respectively.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The rst International Symposium on the Applications of Constraint Databases (CDB2004) took place in Paris, France, on June 12¿13, 2004, just before the ACM SIGMOD and PODS conferences. Since the publication of the paper ¿Constraint Query Languages¿ by Kan- lakis, Kuper and Revesz in 1990, the last decade has seen a growing interest in constraint database theory, query evaluation, and applications, re ected in a variety of conferences, journals, and books. Constraint databases have proven to be extremely exible and adoptable in environments that relational database systems cannot serve well, such as geographic information systems and bioinf- matics. This symposium brought together people from several diverse areas all c- tributing to the practice and the application of constraint databases. It was a continuation and extension of previous workshops held in Friedrichshafen, G- many (1995), Cambridge, USA (1996), Delphi, Greece (1997), and Seattle, USA (1998) as well as of the work in the comprehensive volume ¿Constraint Data- ses¿ edited by G. Kuper, L. Libkin and J. Paredaens (2000) and the textbook ¿Introduction to Constraint Databases¿ by P. Revesz (2002). The aim of the symposium was to open new and future directions in c- straint database research; to address constraints over domains other than the reals; to contribute to a better implementation of constraint database systems, in particular of query evaluation; to address e cient quanti er elimination; and to describe applications of constraint databases.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Buch. Zustand: Neu. Neuware -The robust capability of evolutionary algorithms (EAs) to find solutions to difficult problems has permitted them to become popular as optimization and search techniques for many industries. Despite the success of EAs, the resultant solutions are often fragile and prone to failure when the problem changes, usually requiring human intervention to keep the EA on track. Since many optimization problems in engineering, finance, and information technology require systems that can adapt to changes over time, it is desirable that EAs be able to respond to changes in the environment on their own. This book provides an analysis of what an EA needs to do to automatically and continuously solve dynamic problems, focusing on detecting changes in the problem environment and responding to those changes. In this book we identify and quantify a key attribute needed to improve the detection and response performance of EAs in dynamic environments. We then create an enhanced EA, designed explicitly to exploit this new understanding. This enhanced EA is shown to have superior performance on some types of problems. Our experiments evaluating this enhanced EA indicate some pre viously unknown relationships between performance and diversity that may lead to general methods for improving EAs in dynamic environments. Along the way, several other important design issues are addressed involving com putational efficiency, performance measurement, and the testing of EAs in dynamic environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Buch. Zustand: Neu. Neuware -Broader bandwidths, denser channel spacing, and higher signal intensities all makes nonlinear effects more critical to the performance of telecommunications systems. This comprehensive and didactic overview explores the nonlinear effects from a physical point of view and discusses the implications for signal capacity. Enriched with practical considerations and experimental results, the book offers special chapters dealing with applications of nonlinear effects for signal processing, ultrafast-optical switching, wavelength conversion, nonlinear amplification, and optical phase-conjugation. The author Thomas Schneider of Deutsche Telekom demonstrates how innovative thinking can actually exploit nonlinear effects to enhance bandwidth and overcome previous limitations. Equipped with chapter-end summaries and problems, this valuable reference can also serve as a graduate-level textbook.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Buch. Zustand: Neu. Neuware -Quantum mechanics, formulated by Werner Heisenberg in 1925, belongs among the greatest achievements of physics. 'Fundamental Physics: Heisenberg and Beyond' combines personal tributes to Werner Heisenberg with assessments of his impact on current and future developments in physics. The first part presents two essays commemorating Werner Heisenberg's 100th birthday, and these are complemented by a short and nicely illustrated biographical note in the appendix. In the second part, incisive articles by ten world-leading scientists explain important developments in fundamental physics to a broader community of interested scientists.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Buch. Zustand: Neu. Neuware -The investigation of magnetic systems where quantum effects play a dominant role has become a very active branch of solid-state-physics research in its own right. The first three chapters of the Quantum Magnetism survey conceptual problems and provide insights into the classes of systems considered, namely one-dimensional, two-dimensional and molecular magnets. The following chapters introduce the methods used in the field of quantum magnetism, including spin wave analysis, exact diagonalization, quantum field theory, coupled cluster methods and the Betheansatz. The book closes with a chapter on quantum phase transitions and a contribution that puts the wealth of phenomena into the context of experimental solid-state physics. Closing a gap in the literature, this volume is intended both as an introductory text at postgraduate level and as a modern, comprehensive reference for researchers in the field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Afterthree decadesofresearch andpractice,reuse ofexistingsoftwareartefactsremains the most promising approach to decreasing effort for software development and evo- tion, increasing quality of software artefacts and decreasing time to market of software products. Over time, we have seen impressive improvements, in extra-organizational reuse,e.g.COTS,aswellasinintra-organizationalreuse,e.g.softwareproductfami lies. Despite the successes that we, as a community, have achieved, several challenges remain to be addressed. The theme for this eighth meeting of the premier international conference on software reuse is the management of software variability for reusable software.Allreusablesoftwareoperatesinmultiplecontextsandhastoaccommodatethe differencesbetweenthesecontextsthroughvariation.Inmodernsoftware,thenumberof variation points may range in the thousands with an even larger number of dependencies between these points. Topics addressing the theme include the representation, design, assessment and evolution of software variability. The proceedings that you are holding as you read this report on the current state-- the-art in software reuse.Topics covered in the proceedings include software variability, testing of reusable software artefacts, feature modeling, aspect-oriented software de- lopment, composition of components and services, model-based approaches and several other aspects of software reuse. May 2004 Jan Bosch Charles Krueger Organizing Committee General Chair Kyo C. Kang, Pohang University of Science and Technology, Korea Program Co-chairs Jan Bosch, University of Groningen, The Netherlands Charles Krueger, BigLever Software, Inc., U.S.A.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Buch. Zustand: Neu. Neuware -The field of Very High Frequency EPR (VHF EPR) or sometimes called Very High Field EPR (conveniently, also abbreviated as VHF EPR) has blossomed during the past decade, especially after the original pioneering work of Ya. S. Lebedev and his group at the Institute of Chemical Physics, Russian Academy of Sciences in Moscow. Although Lebedev suffered heavily under the economic constraints of the communist Soviet Union and then succumbed to cancer at the peak of his scientific career, his groundbreaking work from the 1970's is still considered today to be the 'gold standard' by researchers practicing EPR at high magnetic fields. A stimulus for the production of this book is the legacy of Yakov Levedev in his students now residing in academic positions in the US and elsewhere. The aim of this book is to highlight the state of this growing field. This is an attempt to cover the full scope of VHF EPR in a single volume. The idea for this volume came to the editors at the 2001 Rocky Mountain Analytical Conference during the 24th International EPR Symposium chaired by Sandra and Gareth Eaton. VHF EPR was presented as an independent research field at a workshop organized by LC BruneI and supported by the National High Magnetic Field Laboratory, a National Science Foundation funded facility at Florida State University. 600 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -acknowledgethe e ort of all authors who submitted their contributions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Privacy in statistical databases is about nding tradeo s to the tension between the increasing societal and economical demand for accurate information and the legal and ethical obligation to protect the privacy of individuals and enterprises, which are the source of the statistical data. Statistical agencies cannot expect to collect accurate information from individual or corporate respondents unless these feel the privacy of their responses is guaranteed; also, recent surveys of Web users show that a majority of these are unwilling to provide data to a Web site unless they know that privacy protection measures are in place. ¿Privacy in Statistical Databases2004¿ (PSD2004) was the nal conference of the CASC project (¿Computational Aspects of Statistical Con dentiality¿, IST-2000-25069). PSD2004 is in the style of the following conferences: ¿Stat- tical Data Protection¿, held in Lisbon in 1998 and with proceedings published by the O ce of O cial Publications of the EC, and also the AMRADS project SDC Workshop, held in Luxemburg in 2001 and with proceedings published by Springer-Verlag, as LNCS Vol. 2316. The Program Committee accepted 29 papers out of 44 submissions from 15 di erentcountriesonfourcontinents.Eachsubmittedpaperreceivedatleasttwo reviews. These proceedings contain the revised versions of the accepted papers. These papers cover the foundations and methods of tabular data protection, masking methods for the protection of individual data (microdata), synthetic data generation, disclosure risk analysis, and software/case studies. 384 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This year marked the coming of age of the British National Conference on Databases with its 21st conference held at Heriot-Watt University, Edinburgh, in July 2004. To mark the occasion the general theme of the conference was ¿When Data Is Key¿, reflecting not only the traditional key awarded on a 21st birthday, but also the ev- growing importance of electronic data management in every aspect of our modern lives. The conference was run as part of DAMMS (Data Analysis, Manipulation, Management and Storage) Week, which included a number of co-located and complementary conferences and workshops, including the 2nd Workshop on Teaching, Learning and Assessment in Databases (TLAD2), the BNCOD BioInformatics Workshop, and the 1st International Conference on the Future of Consumer Insight Developments in Retail Banking. The aim of this co-location was to develop synergies between the teaching, research and commercial communities involved in all aspects of database activities, and to use BNCOD as a focus for future synergies and developments within these communities. Although this is entitled the British National Conference on Databases, BNCOD has always had an international focus, and this year more than most, with the majority of the papers submitted and accepted coming from outwith the UK. 284 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -committee selected 35 papers to be presented.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 15th Annual Symposium on Combinatorial Pattern Matching was held in Ciragan Palace Hotel, Istanbul, Turkey during July 5¿7, 2004. CPM 2004 - peated the success of its predecessors; it even surpassed them in terms of the numberofinvitedspeakers,thenumberofsubmissions,andthenumberofpapers accepted and presented at the conference. In response to the call for papers, CPM 2004 received a record number of 79 high-quality submissions. Each submission was reviewed by at least three program committee members and the comments were returned to the authors. Following an extensive electronic discussion period, the Program Committee accepted36ofthesubmissionstobepresentedattheconference.Theyconstitute originalresearchcontributionsincombinatorialpatternmatchingalgorithmsa nd datastructures,molecularsequenceanalysis,phylogenetictreeconstruction,and RNA and protein structure analysis and prediction. CPM 2004 had ve invited speakers. In alphabetical order they were: Evan Eichler from the University of Washington, USA, Martin Farach-Colton from Rutgers University, USA, Paolo Ferragina from the University of Pisa, Italy, Piotr Indyk from MIT, USA, and Gene Myers from the University of California, Berkeley, USA. It is impossible to organize such a successful program without the help of many individuals. We would like to express our appreciation to the authors of the submitted papers and to the program committee members and external referees, who provided timely and signi cant reviews. July 2004 S.C. Sahinalp, S. Muthukrishnan, U. Dogrusoz Organization CPM 2004 was locally organized by Bilkent University, Ankara, Turkey. Within Bilkent University, the Center for Bioinformatics (BCBI) and the Computer Engineering Department cooperated.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -From the reviews:'. An excellent reference on undergraduate mathematical computing.'American Mathematical Monthly'. the book is worth buying if you want guidance in applying Maple and MATLAB to problems in the workplace.'Computing Reviews'. The presentation is unique, and extremely interesting. I was thrilled to read this text, and to learn the powerful problem-solving skills presented by these authors. I recommend the text highly, as a learning experience, not only to engineering students, but also to anyone interested in computation.'Mathematics of ComputationFor this edition four chapters have been added. Some of the chapters of the previous editions were revised using new possibilities offered by Maple and MATLAB. Some interesting web pages related to Maple and MATLAB have been added in an appendix. Moreover, the editors have created a web page (SolvingProblems.inf.ethz.ch), where all Maple and MATLAB programs are available.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -(3) to build a bridge between theory and practice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 520 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -ThisvolumeconstitutestheproceedingsoftheSixthInternationalConferenceon Flexible Query Answering Systems, FQAS 2004, held in Lyon, France, on June 24¿26, 2004. FQAS is the premier conference for researchers and practitioners concerned with the vital task of providing easy, exible, and intuitive access to information for every type of need. This multidisciplinary conference draws on several research areas, including databases, information retrieval, knowledge representation, soft computing, multimedia, and human-computer interaction. With FQAS 2004, the FQAS conference series celebrated its tenth anniversary as it has been held every two years since 1994. The overall theme of the FQAS conferences is innovative query systems aimed at providing easy, exible, and intuitive access to information. Such systems are intended to facilitate retrieval from information repositories such as databases, libraries, and the Web. These repositories are typically equipped with standard query systems that are often inadequate for users. The focus of FQAS is the development of query systems that are more expressive, informative, cooperative, productive, and intuitive to use. 516 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -When I was a young intern in internal medicine,osteoporosis was defined mainly as a fracture occurring in elderly people. However,although plain X-ray examination was recognized as an insensitive way to detect osteoporosis, hypodense bone was already considered as the reflection of the disease. Over the past 20 years, con siderable progress has been accomplished. In terms of prevalence, incidence, risk factors, and the burden of osteoporosis and low-energy fracture, we can appreciate the magnitude of the problem and its impact on quality oflife. Weare wellaware that vertebral fracture, which can be acutely associated with a low clinical expression, leads to significant long-term impairments. The costs for the individual and for the health budget, Le. society,are estimated better. Wenow have a clear definition of the disease, such as low bone mass and architectural defects, resulting in increased fragility. For the former part of the definition, the clinician can use accurate and pre cise tools allowing them to distinguish how their patient's bone mineral content differs from that of a young healthy population in which fracture occurs very rarely. For the second series of fragility determinants, i. e. structure, methods are in rapid progress and will provide information to clinicians on these variables in the near future. Basicand clinical research have allowed major improvements in the understand ing of the pathophysiology of the disease. Newgenes implicated in lowand/or high bone mass have been characterized.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14¿18, 2004. It was sponsored by Ada-Europe, the European federation of national Ada societies, and Ada- Spain, in cooperation with ACM SIGAda. It was organized by members of the University of the Balearic Islands (UIB). As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when the attendees had the opportunity to catch up on a variety of topics related to the eld, at both introductory and advanced levels. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development. Invited Speakers Theconferencepresentedfourdistinguishedspeakers,whodeliveredstate-of-t- art information on topics of great importance, both for now and for the future of software engineering: ¿ S. Tucker Taft, SoftCheck Inc., USA Fixing software before it breaks: using static analysis to help solve the so- ware quality quagmire ¿ Martin Gogolla, University of Bremen, Germany Bene ts and problems of formal methods ¿ Antoni Oliv¿ e, Polytechnical University of Catalonia, Spain On the role of conceptual schemas in information systems¿ development ¿ Stephen Vinoski, IONA Technologies in Waltham, USA Can middleware be reliable Wewouldliketoexpressoursinceregratitudetothesedistinguisheds peakers, well known to the community, for sharing their insights with the conference participants. Submitted Papers Alargenumberofpapersweresubmitted,fromasmanyas15di erentcountries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The fusion of di erent information sourcesis a persistent and intriguing issue. It hasbeenaddressedforcenturiesinvariousdisciplines,includingpoliticalscience, probability and statistics, system reliability assessment, computer science, and distributed detection in communications. Early seminal work on fusion was c- ried out by pioneers such as Laplace and von Neumann. More recently, research activities in information fusion have focused on pattern recognition. During the 1990s,classi erfusionschemes,especiallyattheso-calleddecision-level,emerged under a plethora of di erent names in various scienti c communities, including machine learning, neural networks, pattern recognition, and statistics. The d- ferent nomenclatures introduced by these communities re ected their di erent perspectives and cultural backgrounds as well as the absence of common forums and the poor dissemination of the most important results. In 1999, the rst workshop on multiple classi er systems was organized with the main goal of creating a common international forum to promote the diss- ination of the results achieved in the diverse communities and the adoption of a common terminology, thus giving the di erent perspectives and cultural ba- grounds some concrete added value. After ve meetings of this workshop, there is strong evidence that signi cant steps have been made towards this goal. - searchers from these diverse communities successfully participated in the wo- shops, and world experts presented surveys of the state of the art from the perspectives of their communities to aid cross-fertilization. 404 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The Third International Conference on Natural Language Generation (INLG 2004) was held from 14th to 16th July 2004 at Careys Manor, Brockenhurst, UK. Supported by the Association for Computational Linguistics Special - terest Group on Generation, the conference continued a twenty-year tradition of biennial international meetings on research into natural language generation. Recent conference venues have included Mitzpe Ramon, Israel (INLG 2000) and New York, USA (INLG 2002). It was our pleasure to invite the thriving and friendly NLG research community to the beautiful New Forest in the south of England for INLG 2004. INLG is the leading international conference in the eld of natural language generation. It provides a forum for the presentation and discussion of original research on all aspects of the generation of language, including psychological modelling of human language production as well as computational approaches to the automatic generation of language. This volume includes apaper by the keynote speaker, Ardi Roelofs of the Max Planck Institute for Psycholingu- tics and the F. C. Donders Centre for CognitiveNeuroimaging,18 regular papers reportingthelatestresearchresultsanddirections,and4studentpapersdescr- ing doctoral work in progress. These papers reveal a particular concentration of current research e ort on statistical and machine learning methods, on referring expressions, and on variation in surface realisation. The papers were selected from 46 submissions from all over the world (27 from Europe, 13 from North America, 6 from elsewhere), which were subjected to a rigorous double-blind reviewing process undertaken by our hard-working programme committee. 236 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This Festschrift celebrates the 70th birthday of Arto Kustaa Salomaa (born in Turku, Finland on June 6, 1934), one of the most in uential researchers in theoretical computer science. Most ofhis researchconcernstheory ¿ he is one of the founding fathers of formal language and automata theory, but he has also made important contributions to cryptography and natural computing. His approach to research in theoretical computer science is exemplary and inspirational for his students, collaborators, andthereadersofhispapersandbooks. Forhim,theroleoftheory(incomputer science) is to discover general rules of information processing that hold within computer science and in the world around us. One should not waste time on research concerning passing artifacts (or fashionable topics of the moment) in computer science ¿ theory should be permanently predictive, insightful, and inspiring. That¿s why we chose the title ¿Theory is Forever¿. The main source of his in uence on theoretical computer science is his publi- tions. Arto is a born writer ¿ his papers and books are always most elegant. He has a unique gift for identifying the real essence of a research problem, and then presenting it in an incisive and eloquent way. He can write about a very involved formal topic and yet avoid a (much too common) overformalization. Many of his writings are genuine jewels and belong to the classics of theoreticalcomputer science. Theyhaveinspiredgenerationsofstudentsandresearchers. Indeed,even computers as well as computer science have learned a lot from Artös publi- tions ¿ this is nicely illustrated by DADARA on the cover of this volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -On August 6, 2002,a paper with the title ¿PRIMES is in P¿, by M. Agrawal, N. Kayal, and N. Saxena, appeared on the website of the Indian Institute of Technology at Kanpur, India. In this paper it was shown that the ¿primality problem¿hasädeterministic algorithm¿ that runs in ¿polynomial time¿. Finding out whether a given number n is a prime or not is a problem that was formulated in ancient times, and has caught the interest of mathema- ciansagainandagainfor centuries. Onlyinthe 20thcentury,with theadvent of cryptographic systems that actually used large prime numbers, did it turn out to be of practical importance to be able to distinguish prime numbers and composite numbers of signi cant size. Readily, algorithms were provided that solved the problem very e ciently and satisfactorily for all practical purposes, and provably enjoyed a time bound polynomial in the number of digits needed to write down the input number n. The only drawback of these algorithms is that they use ¿randomization¿ ¿ that means the computer that carries out the algorithm performs random experiments, and there is a slight chance that the outcome might be wrong, or that the running time might not be polynomial. To nd an algorithmthat gets by without rand- ness, solves the problem error-free, and has polynomial running time had been an eminent open problem in complexity theory for decades when the paper by Agrawal, Kayal, and Saxena hit the web.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The workshop was attended by about 100 researchers. Out of 37 submitted papers, 25 were selected after a refereeing process. The nal choices were made by the editors. Two previous workshops of the Types Working Group under EU IST project 29001 were held in 2000 in Durham, UK, and in 2002 in Berg en Dal (close to Nijmegen), The Netherlands. These workshops followed a series of meetings organized in the period 1993¿2002 within previous Types projects (ESPRIT BRA 6435 and ESPRIT Working Group 21900). The proceedings of these e- lier workshops were also published in the LNCS series, as volumes 806, 996, 1158, 1512, 1657, 2277, and 2646. ESPRIT BRA 6453 was a continuation of ESPRIT Action 3245, Logical Frameworks: Design, Implementation and Ex- riments. Proceedings for annual meetings under that action were published by Cambridge University Press in the books ¿Logical Frameworks¿, and ¿Logical Environments¿, edited by G. Huet and G. Plotkin. We are very grateful to the members of the research group ¿Semantics and Logics of Computation¿ of the Computer Science Department of the University of Turin, who helped organize the Types 2003 meeting in Torino. 424 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume constitutes the proceedings of the 7th Conference on Arti cial Intelligence and Soft Computing, ICAISC2004, held in Zakopane, Poland, June 7¿11, 2004. The conference was organized by the Polish Neural Network Society in cooperation with the Department of Computer Engineering at the Tech- calUniversityofCzesto ¿ chowa, WSHE University in L¿ od¿ z and IEEE Neural Networks Society. The previous conferences took place in Kule (1994), Szczyrk (1996), Kule (1997) and Zakopane (1999, 2000, 2002) and attracted a large number of papers and internationally recognized speakers: Prof. Lot A. Zadeh, Prof. RobertMarks,Prof. EnriqueRuspini,Prof. Zdzis lawBubnicki,Prof. Jacek Zurada, Prof. Shun-ichi Amari, Prof. Kaoru Hirota, Prof. Ryszard Tadeusiewicz, Prof. Shiro Usui, Prof. W lodzis law Duch, Prof. Erkki Oja, Prof. Syozo Yasui, Prof. Witold Pedrycz, Prof. Janusz Kacprzyk, Prof. Laszlo T. Koczy, Prof. Soo- Young Lee and Prof. Daniel Amit. The aim of this conference is to build a bridge between traditional arti cial intelligence techniques and recently developed soft computing techniques. It was pointed out by Prof. Lot A. Zadeh that ¿Soft Computing (SC) is a coalition of methodologies which are oriented toward the conception and design of information/intelligent systems. The principal m- bers of the coalition are: fuzzy logic (FL), neurocomputing (NC), evolutionary computing (EC), probabilistic computing (PC), chaotic computing (CC), and machine learning (ML). The constituent methodologies of SC are, for the most part, complementary and synergisticrather than competitive¿. Thisvolumep- sents both traditional arti cial intelligence methods and soft computing tech- ques presented in 14 parts: 1.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1268 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware - In Walking in Space: Development of Space Walking Techniques, David Shayler provides a comprehensive overview and analysis of EVA techniques, available for the first time in a readable form - other than NASA publications. The author draws on original documentation, personal interviews of astronauts with experience of EVAs, and accounts by those involved in suit design, EVA planning and operations. Moving on from the pioneering of EVA techniques during the Gemini programme, the author describes the basic requirements in terms of the equipment that every spacewalker needs, the development of training techniques - currently all completed on Earth - the surface explorations of the Moon by the Apollo astronauts and the numerous activities performed by Shuttle astronauts and those aboard the Salyut and Mir Space Stations, such as satellite servicing, equipment upgrading and repair missions. He also describes the development of techniques for ensuring crew safety during EVAs and looks ahead to future EVAs from the International Space Station and the development of new technology, including robotic assistance.

Buch. Zustand: Neu. Neuware -Stochastic Calculus for Finance evolved from the first ten years of the Carnegie Mellon Professional Master's program in Computational Finance. The content of this book has been used successfully with students whose mathematics background consists of calculus and calculus-based probability. The text gives both precise statements of results, plausibility arguments, and even some proofs, but more importantly intuitive explanations developed and refine through classroom experience with this material are provided. The book includes a self-contained treatment of the probability theory needed for stochastic calculus, including Brownian motion and its properties. Advanced topics include foreign exchange models, forward measures, and jump-diffusion processes.This book is being published in two volumes. This second volume develops stochastic calculus, martingales, risk-neutral pricing, exotic options and term structure models, all in continuous time.Master's level studentsand researchers in mathematical finance and financial engineering will find this book useful.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch.

Buch. Zustand: Neu. Neuware - There is a close connection in Gottfried Wilhelm Leibniz's mind between the notions of self and substance. R. W. Meyer, in his classic 1948 text, Leibnitz and the Seventeenth-Century Revolution, writes that 'the monad . is nothing but a 1 représentation (in both senses of the French word) of Leibniz's personality in metaphysical symbols; and there was, under contemporary circumstances, no need 2 to 'introduce' this concept apart from 'propounding' it. ' It is not clear what Meyer means here except that from the consideration of his own self, in some way Leibniz comes to his concept of simple substance, or monad. Herbert Carr, in an even earlier work, notes that Leibniz held that 'the only real unities in nature are formal, not material. . [and] [f]or a long time Leibniz was content to call the formal unities or substantial forms he was speaking about, souls. This had the advantage that it referred at once to the fact of experience which supplies the very 3 type of a substantial form, the self or ego. ' Finally, Nicholas Rescher, in his usual forthright manner, states that '[i]n all of Leibniz's expositions of his philosophy, 4 the human person is the paradigm of a substance.

Taschenbuch. Zustand: Neu. Neuware -In a nutshell, the book deals with direct decompositions of modules and associated concepts. The central notion of 'partially invertible homomorphisms¿, namely those that are factors of a non-zero idempotent, is introduced in a very accessible fashion. Units and regular elements are partially invertible. The 'total¿ consists of all elements that are not partially invertible. The total contains the radical and the singular and cosingular submodules, but while the total is closed under right and left multiplication, it may not be closed under addition. Cases are discussed where the total is additively closed. The total is particularly suited to deal with the endomorphism ring of the direct sum of modules that all have local endomorphism rings and is applied in this case. Further applications are given for torsion-free Abelian groups.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 152 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.