springer jul 2004 (353 risultati)

Taschenbuch. Condizione: Neu. Neuware - In spite of the Challenger and Columbia disasters, the US Space Shuttle, which entered service in 1981, remains the most successful spacecraft ever developed. Conceived and designed as a reusable spacecraft to provide cheap access to low Earth orbit, and to supersede expendable launch vehicles, serving as the National Space Transportation System, it now coexists with a new range of commercial rockets. David Harland's definitive work on the Space Shuttle explains the scientific contribution the Space Shuttle has made to the international space programme, detailing missions to Mir, Hubble and more recently its role in the assembly of the International Space Station. This substantial revision to existing chapters and extension of 'The Space Shuttle', following the loss of Columbia, will include a comprehensive account of the run-up to resumption of operations and conclude with a chapter beyond the Shuttle, looking at possible future concepts for a partly or totally reusable space vehicle which are being considered to replace the Shuttle.

Taschenbuch. Condizione: Neu. Neuware -Data mining from traditional relational databases as well as from non-traditional ones such as semi-structured data, Web data, and scientific databases housing biological, linguistic, and sensor data has recently become a popular way of discovering hidden knowledge.This book on database support for data mining is developed to approaches exploiting the available database technology, declarative data mining, intelligent querying, and associated issues, such as optimization, indexing, query processing, languages, and constraints. Attention is also paid to the solution of data preprocessing problems, such as data cleaning, discretization, and sampling.The 16 reviewed full papers presented were carefully selected from various workshops and conferences to provide complete and competent coverage of the core issues. Some papers were developed within an EC funded project on discovering knowledge with inductive queries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -biometric indicators like eye movement, 3D nger shape, and soft traits (e. g.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the papers selected for presentation at the 1st Conference onModelingDecisionsforArti cialIntelligence(MDAI2004),heldinBarcelona, Catalonia, August 2æ4, 2004. The aim of this conference was to provide a forum for researchers to discuss models for information fusion (aggregation operators) and decision, to examine computational methods and criteria for model selection and determination, and to stimulate their application in new contexts. Fifty-three papers were submitted to the conference, from 19 di erent co- tries. Each submitted paper was reviewed by at least two experts on the basis of technical soundness, originality, signi cance and clarity. Based on the review reports, 26 papers were accepted for publication in this volume. Additionally, this volume contains the plenary talks given at the conference. We would like to express our gratitude to the members of the program c- mittee as well as to all reviewers for their work. We thank Alfred Hofmann, from Springer-Verlag,who supported the publication of these proceedings in the LNAI series. The conference was supported by the Catalan Association for Arti cial Intelligence (ACIA), the European Society for Fuzzy Logic and Technology (EUSFLAT), the Japan Society for Fuzzy Theory and Intelligent Informatics (SOFT), the IEEESpanish Chapter,the Spanish Council for Scienti c Research (CSIC) and the Generalitat de Catalunya (AGAUR 2002XT 00111).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Originating from a Dagstuhl seminar, the collection of papers presented in this book constitutes on the one hand a representative state-of-the-art survey of embodied artificial intelligence, and on the other hand the papers identify the important research trends and directions in the field.Following an introductory overview, the 23 papers are organized into topical sections on philosophical and conceptual issues information, dynamics, and morphology principles of embodiment for real-world applications developmental approaches artificial evolution and self-reconfigurationSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The8thAnnualFinancialCryptographyConferencewasheldduring9æ12Feb- ary 2004 in Key West, Florida, USA. The conference was organized by the - ternational Financial Cryptography Association (IFCA). The program committee, which comprised 25 members, reviewed 78 subm- sions, of which only 17 were accepted for presentation at the conference. This yearæs conference di ered somewhat from those of previous years in its c- sideration of papers devoted to implementation, rather than purely conceptual research; one of these submissions was presented at the conference. This rep- sented a movement in the conference toward practical problems and real-world perspectives as a complement to more traditional academic forms of research. In this spirit, the program included a number of excellent invited speakers. In the opening talk of the conference, Jack Selby threw down the gauntlet, - scribing some of the achievements of the PayPal system, but also enumerating reasons for the failures of many elegant e-cash schemes in the past. Ron Rivest, in contrast, described an emerging success in the cleverly conceived Peppercoin micropayment system. Jacques Stern enlightened us with his experience in the cryptographic design of banking cards in France. Simon Pugh unveiled some - tailsofanewgenerationofwirelesscreditcard. Finally,indeferenceto themany consumers in the world lacking either techno-savvy or technological resources that we often too easily take for granted, Jon Peha described a elded banking system that avoids reliance on conventional nancial infrastructures. Thanks to all of these speakers for rounding out the conference with their expertise and breadth of vision.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Buch. Condizione: Neu. Neuware -This volume contains the edited versions of some selected lectures delivered at the famous 'Schladming Winter School', devoted to 'Flavor Physics' in the present case. Flavor physics is one of the hot topics in contemporary elementary particle physics, because it relates to fundamental questions like the origin of masses, the size and strength of CP violation and the oscillations between various neutrino species. This volume will be useful for graduate students wishing to get more acquainted with the field as well as for lecturers in search of material for seminars of special lectures and courses in quantum field theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The SAMOS workshop is an international gathering of highly quali ed rese- chers from academia and industry, sharing in a 3-day lively discussion on the quietandinspiringnorthernmountainsideofthe MediterraneanislandofSamos. As a tradition, the workshop features plenary presentations in the morning, while after lunch all kinds of informal discussions and nut cracking gatherings take place. The workshop is unique in the sense that not only solved research problems are presented and discussed, but also (partly) unsolved problems and in-depth topical reviews can be unleashed in the scienti c arena. Consequently, the workshopprovidesthe participantswithanenvironmentwherecollaboration rather than competition is fostered. This fourth edition of the SAMOS workshop developed into a highly int- esting event with a program that consisted of 36 paper presentations as well as a keynote speech by Kees Vissers from Xilinx Research. The paper authors r- resented 12 di erent countries, the USA, UK, Canada, Brazil, Germany, France, Spain, Finland, Belgium, Portugal, Greece and The Netherlands. The presen- tions were divided into three tracks: recon gurable computing, architecture and implementation, and system modeling and simulation. We believe that all three tracks showed high-quality, state-of-the-art research in their respective elds. Besides the papers from SAMOS IV, this proceedings also features num- ous papers from the SAMOS III workshop. As the SAMOS III edition did not have a well-established proceedings mechanism, we decided to give the authors from last yearæs edition the opportunity to formally publish their papers in this proceedings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 580 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The third international workshop on AD-HOC NetwOrks and Wireless was held in the downtown Vancouver facilities of Simon Fraser University. The rst ADHOC-NOW was held in 2002 at the Fields Institute in Toronto and the s- ond in 2003 in Montreal. Its purpose is to create a collaborative forum between Mathematicians,ComputerScientistsandEngineersforresearchintheemerging eld of ad-hoc networks. The number of submissions exceeded all expectations this year. Over 150 papers were submitted of which 22 regular and 8 short papers were accepted for presentation and inclusion in the conference proceedings. The program comm- teeconsistedofMichelBarbeau,StefanoBasagni,AzzedineBoukerche,Soumaya Cherkaoui, Leszek Gasieniec, Janelle Harms, Jeannette Janssen, Christos K- lamanis, Evangelos Kranakis, Danny Krizanc, Thomas Kunz, Ramiro Liscano, Lata Narayanan, Ioanis Nikolaidis, Stephan Olariu, Jaroslav Opatrny, Pino P- siano, Samuel Pierre, S.S. Ravi, Mazda Salmanian, Sunil Shende, Ladislav S- cho, Martha Steenstrup, Ivan Stojmenovic, Violet Syrotiuk, Ljiljana Trajkovic, Jorge Urrutia, Peter Widmayer, and Kui Wu. We would like to thank the invited speaker Martha Steenstrup for her - search presentation and the program committee for refereeing the submissions. Many thanks to Paul Boone, Jen Hall, Jo-Ann Rockwood, Zheyin Li, and Tao Wan for helping with the workshop logistics. Special thanks go to MITACS (MathematicsofInformationTechnologyandComplexSystems)andPIMS(- ci c Institute for the Mathematical Sciences) for supporting the workshop n- cially,CarletonUniversityandtheUniversityofAlbertaforprovidingc omputing facilities, and Simon Fraser University for its hospitality.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 2nd Workshop on Web Services, E-Business, and the Semantic Web (WES) was held during June 16æ17, 2003 in conjunction with CAiSE 2003, the 15th International Conference on Advanced Information Systems Engineering. The Internet is changing the way businesses operate. Organizations are using the Web to deliver their goods and services, to find trading partners, and to link their existing (maybe legacy) applications to other applications. Web services are rapidly becoming the enabling technology of todayæs e-business and e-commerce systems, and will soon transform the Web as it is now into a distributed computation and application fra- work. On the other hand, e-business as an emerging concept is also impacting software - plications, the everyday services landscape, and the way we do things in almost each domain of our life. There is already a body of experience accumulated to demonstrate the difference between just having an online presence and using the Web as a stra- gic and functional medium in e-business-to-business interaction (B2B) as well as marketplaces. Finally, the emerging Semantic Web paradigm promises to annotate Web artifacts to enable automated reasoning about them. When applied to e-services, the paradigm hopes to provide substantial automation for activities such as discovery, invocation, assembly, and monitoring of e-services. But much work remains to be done before realizing this vision.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The purpose of this book is to stimulate a much needed debate on ma- ematics education reform. We do not claim that we present anything near the whole truth, and that there are not many other points of view. We thus invite to debate and urge other people to express their views. As scientists we believe that it is our duty to present our own standpoints and conc- sions as clearly as possible, to open for scrutiny and discussion, rather than ambiguous politically correct views, which are di cult to question. This book may be viewed as an introduction to our mathematics e- cation reform project Body&Soul based on a synthesis of Body (com- tational mathematics) and Soul (analytical mathematics). We do make a case for computational mathematics, which is the new world of mathem- ics opened by the computer, now waiting to enter mathematics education. But we do also propose a synthesis of this new world, with the kernel being computational algorithms, and the traditional world of analytical ma- ematics, with analytical formulas as the kernel. In fact, algorithms are expressed using analytical formulas before being translated into computer code, and good analytical formulas are necessary for understanding and insight.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These are the proceedings of CHES 2004, the 6th Workshop on Cryptographic Hardware and Embedded Systems. For the rst time, the CHES Workshop was sponsored by the International Association for Cryptologic Research (IACR). This year, the number of submissions reached a new record. One hundred and twenty- ve papers were submitted, of which 32 were selected for presen- tion. Each submitted paper was reviewed by at least 3 members of the program committee. We are very grateful to the program committee for their hard and e cientworkinassemblingtheprogram.Wearealsogratefultothe108external referees who helped in the review process in their area of expertise. In addition to the submitted contributions, the program included three - vited talks, by Neil Gershenfeld (Center for Bits and Atoms, MIT) about æPh- ical Information Securityæ, by Isaac Chuang (Medialab, MIT) about æQuantum Cryptographyæ, and by Paul Kocher (Cryptography Research) about æPhy- cal Attacksæ. It also included a rump session, chaired by Christof Paar, which featured informal talks on recent results. Asinthepreviousyears,theworkshopfocusedonallaspectsofcryptographic hardware and embedded system security. We sincerely hope that the CHES Workshop series will remain a premium forum for intellectual exchange in this area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -We would like to present, with great pleasure, the rst volume of a new jo- nal, Transactions on Rough Sets. This journal, part of the new journal subline in the Springer-Verlag series Lecture Notes in Computer Science, is devoted to the entire spectrum of rough set related issues, starting from logical and ma- ematical foundations of rough sets, through all aspects of rough set theory and its applications, data mining, knowledge discovery and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets, theory of evidence, etc. The rst, pioneering papers on rough sets, written by the originator of the idea,ProfessorZdzis lawPawlak,werepublishedintheearly1980s.Weareproud to dedicate this volume to our mentor, Professor Zdzis law Pawlak, who kindly enriched this volume with his contribution on philosophical, logical, and mat- matical foundations of roughset theory. In his paper Professor Pawlakshows all over again the underlying ideas of rough set theory as well as its relations with Bayesæ theorem, con ict analysis, ow graphs, decision networks, and decision rules.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Buch. Condizione: Neu. Neuware -Stochastic geometry, based on current developments in geometry, probability and measure theory, makes possible modeling of two- and three-dimensional random objects with interactions as they appear in the microstructure of materials, biological tissues, macroscopically in soil, geological sediments etc. In combination with spatial statistics it is used for the solution of practical problems such as the description of spatial arrangements and the estimation of object characteristics. A related field is stereology, which makes possible inference on the structures, based on lower-dimensional observations. Unfolding problems for particle systems and extremes of particle characteristics are studied. The reader can learn about current developments in stochastic geometry with mathematical rigor on one hand and find applications to real microstructure analysis in natural and material sciences on the other hand.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Israeli GAFA seminar (on Geometric Aspect of Functional Analysis) during the years 2002-2003 follows the long tradition of the previous volumes. It reflects the general trends of the theory. Most of the papers deal with different aspects of the Asymptotic Geometric Analysis. In addition the volume contains papers on related aspects of Probability, classical Convexity and also Partial Differential Equations and Banach Algebras. There are also two expository papers on topics which proved to be very much related to the main topic of the seminar. One is Statistical Learning Theory and the other is Models of Statistical Physics. All the papers of this collection are original research papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Buch. Condizione: Neu. Neuware -The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains selected papers presented at the 12th International C- ference on Conceptual Structures, ICCS 2004, held in Huntsville Alabama, July 19æ23, 2004. The main theme of the conference, æConceptual Structures at Workæ, was chosen to express our intention of applying conceptual structures for hum- centered practical purposes. That invites us to develop not only clear conceptual theories,butalsomethodstosupporthumansintheapplicationofthesetheories in their societies. Some promising steps in this direction are being taken, but the gap between the researchers working on a highly sophisticated level on one side and the practitioners in many elds of applications on the other side is usually di culttobridge.Someofushaveexperiencesinsuchpracticalcooperation,but we need more members of our community to be engaged in æreal life problemsæ. We all know that solutions of complex problems in practice require not only a well-developed formal theory, but also an understanding of the whole context of the given problems. To support our understanding we need general philo- phical methods as well as formal theories for the representation of fundamental structures in practice. We believe that our community has powerful tools and methodsforsuccessfulapplicationsinpractice,butthatwemustdevelopaforu m to present our results to a broader audience. First we must understand the s- ni cant developments in our own group, which has activities in many directions of research. 420 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the contributed papers and invited talks presented at the 1stInternationalWorkshoponAlgorithmicAspectsofWirelessSensorNetworks (ALGOSENSORS 2004), which was held July 16, 2004, in Turku, Finland, - located with the 31st International Colloquium on Automata, Languages, and Programming (ICALP 2004). Wireless ad hoc sensor networks have become a very important research subject due to their potential to provide diverse services in numerous appli- tions. The realization of sensor networks requires intensive technical research and development e orts, especially in power-aware scalable wireless ad hoc c- munications protocols, due to their unusual application requirements and severe constraints. On the other hand, a solid theoretical background seems necessary for sensor networks to achieve their full potential. It is an algorithmic challenge to achieve e cient and robust realizations of such large, highly dynamic, complex, n- conventional networking environments. Features, including the huge number of sensor devices involved, the severe power, computational and memory limi- tions, their dense deployment and frequent failures, pose new design, analysis and implementation challenges. This event is intended to provide a forum for researchers and practitioners to present their contributions related to all aspects of wireless sensor networks. Topics of interest for ALGOSENSORS 2004 were: æ Modeling of speci c sensor networks. æ Methods for ad hoc deployment. æ Algorithms for sensor localization and tracking of mobile users. æ Dynamic sensor networks. æ Hierarchical clustering architectures. æ Attribute-based named networks. æ Routing: implosion issues and resource management. æ Communication protocols. æ Media access control in sensornetworks. æ Simulators for sensor networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 1st Workshop on Service Assurance with Partial and Intermittent Resources (SAPIR 2004) was the first event in a series introducing the concept of pi-resources and bridging it with the emerging and important field of distributed and heavily shared resources. The topics concerning this event are driven by a paradigm shift occurring in the last decade in telecommunications and networking considering partial and intermittent resources (pi-resources). The Internet, converged networks, delay-tolerant networks, ad hoc networking, GRID-supporting networks, and satellite communications require a management paradigm shift that takes into account the partial and intermittent availability of resources, including infrastructure (networks, computing, and storage) and service components, in distributed and shared environments. A resource is called partial (p-resource) when only a subset of conditions for it to function to complete specification is met, yet it is still able to provide a (potentially degraded) service, while an intermittent or sporadic resource (i-resource) will be able to provide a service for limited and potentially unpredictable time intervals only. Partial and intermittent services are relevant in environments characterized by high volatility and fluctuation of available resources, such as those experienced in conjunction with component mobility or ad hoc networking, where the notion of traditional service guarantees is no longer applicable. Other characteristics, such as large transmission delays and storage mechanisms during the routing, require a rethinking of today's paradigms with regards to service assurance and how service guarantees are defined.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -With the rapid development of Web-based learning and new concepts like virtual cla- rooms, virtual laboratories and virtual universities, many issues need to be addressed. On the technical side, there is a need for effective technology for deployment of W- based education.On the learning side, the cyber mode of learning is very different from classroom-based learning. How can instructional developmentcope with this new style of learning On the management side, the establishment of the cyber university - poses very different requirements for the set-up. Does industry-university partnership provide a solution to addressing the technological and management issues Why do we need to standardize e-learning and what can we do already As with many other new developments, more research is needed to establish the concepts and best practice for Web-based learning. ICWL 2004, the 3rd International Conference on Web-Based Learning, was held at the Tsinghua University (Beijing, China) from August 8th to 11th, 2004, as a continued attempt to address many of the above-mentioned issues. Following the great successes of ICWL 2002 (Hong Kong) and ICWL 2003 (Australia), ICWL 2004 aimed at p- senting new progress in the technical, pedagogical, as well as management issues of Web-based learning. The conference featured a comprehensive program, including a tutorial session, a keynote talk, a main track for regular paper presentations, and an - dustrial track. We received 120 papers and accepted only 58 of them in the main track for both oral and poster presentations. 484 pp. Englisch.

Buch. Condizione: Neu. Neuware -This is a Foreword by an archaeologist, not a conservator, but as Brad Rodgers says, æConservation has been steadily pulled from archaeology by the forces of specializationæ(p. 3),andhewantstoremedythatsituationthroughthismanual. He seesthisworkasäcalltoactionforthenon-professionalconservator,æpermitting æcurators, conservators, and archaeologists to identify artifacts that need prof- sional attention and, allow these professionals to stabilize most artifacts in their own laboratories with minimal intervention, using simple non-toxic proceduresæ (p. 5). It is the mission of Bradæs manual to æbring conservation back into arch- ologyæ (p. 6). The degree of success of that goal depends on the degree to which archaeologists pay attention to, and put to use, what Brad has to say, because as he says, æThe conservationist/archaeologist is responsible to make preparation for an artifactæs care even before it is excavated and after its storage into the foreseeable futureæ. . . a tremendous responsibilityæ (p. 10). The manual is a combination of highly technical as well as common sense methods of conserving wood, iron and other metals, ceramics, glass and stone, organicsandcompositsæafarbetterguidetoartifactconservationthanwasava- able to me when I rst faced that archaeological challenge at colonial Brunswick Town, North Carolina in 1958æa challenge still being faced by archaeologists today. The stage of conservation in 1958 is in dramatic contrast to the procedures Brad describes in this manualæconservation has indeed made great progress. For instance,acommonprocedurethenwastoheattheartifactsredhotinafurnaceæa method that made me cringe.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This is a Foreword by an archaeologist, not a conservator, but as Brad Rodgers says, æConservation has been steadily pulled from archaeology by the forces of specializationæ(p. 3),andhewantstoremedythatsituationthroughthismanual. He seesthisworkasäcalltoactionforthenon-professionalconservator,æpermitting æcurators, conservators, and archaeologists to identify artifacts that need prof- sional attention and, allow these professionals to stabilize most artifacts in their own laboratories with minimal intervention, using simple non-toxic proceduresæ (p. 5). It is the mission of Bradæs manual to æbring conservation back into arch- ologyæ (p. 6). The degree of success of that goal depends on the degree to which archaeologists pay attention to, and put to use, what Brad has to say, because as he says, æThe conservationist/archaeologist is responsible to make preparation for an artifactæs care even before it is excavated and after its storage into the foreseeable futureæ. . . a tremendous responsibilityæ (p. 10). The manual is a combination of highly technical as well as common sense methods of conserving wood, iron and other metals, ceramics, glass and stone, organicsandcompositsæafarbetterguidetoartifactconservationthanwasava- able to me when I rst faced that archaeological challenge at colonial Brunswick Town, North Carolina in 1958æa challenge still being faced by archaeologists today. The stage of conservation in 1958 is in dramatic contrast to the procedures Brad describes in this manualæconservation has indeed made great progress. For instance,acommonprocedurethenwastoheattheartifactsredhotinafurnaceæa method that made me cringe.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -From the preface:Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Cryptography is a key technology in electronic key systems. It is used to keep data secret, digitally sign documents, access control, and so forth. Users therefore should not only know how its techniques work, but they must also be able to estimate their efficiency and security. Based on courses taught by the author, this book explains the basic methods of modern cryptography. It is written for readers with only basic mathematical knowledge who are interested in modern cryptographic algorithms and their mathematical foundation. Several exercises are included following each chapter. This revised and extended edition includes new material on the AES encryption algorithm, the SHA-1 Hash algorithm, on secret sharing, as well as updates in the chapters on factoring and discrete logarithms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Buch. Condizione: Neu. Neuware - Classicalexamples of moreand more oscillatingreal valued functions on a domain N of R are the functions u (x)=sin(nx)with x=(x ,.,x ) or the so-called n 1 1 n n+1 Rademacherfunctionson]0,1[,u (x)=r (x) = sgn(sin(2 x))(seelater3.1.4). n n They may appear as the gradients v of minimizing sequences (v ) in some n n n N variationalproblems. Intheseexamples,thefunctionu convergesinsomesenseto n ameasure µ on ×R, called Young measure. In Functional Analysis formulation, this is the narrow convergence to µ of the image of the Lebesgue measure on by ( ,u ( )). In the disintegrated form (µ ) ,the parametrized measure µ n captures the possible scattering of the u around . n Curiously if (X ) is a sequence of random variables deriving from indep- n n N dent ones, the n-th one may appear more and more far from the k rst ones as 2 if it was oscillating (think of orthonormal vectors in L which converge weakly to 0). More precisely when the laws L(X ) narrowly converge to some probability n measure , it often happens that for any k and any A in the algebra generated by X ,.,X , the conditional law L(X A) still converges to (see Chapter 9) 1 k n which means 1 C (R) (X ( ))dP( ) d b n P(A) A R or equivalently, denoting the image of P by ( ,X ( )), n X n (1l )d (1l )d[P ].

Buch. Condizione: Neu. Neuware - The developmentsin the recent yearsof the potential theoryemphasized a classof functions larger than that of excessive functions (i.e. the positive superharmonic functionsfromtheclassicalpotentialtheoryassociatedwiththeLaplaceoper ator), namely the strongly supermedian functions. It turns out that a positive Borel function will be strongly supermedian if and only if it is the in mum of all its excessive majorants. Apparently, these functions have been introduced by J.F. Mertens and then they have been studied mainly by P.A. Meyer, G. Mokobodzki, D. Feyel and recently by P.J. Fitzsimmons and R.K. Getoor. The aimofthis bookisamongothersto developa potential theoryappropriate to this new class of functions. Although our methods are analytical, we present also the probabilistic counterparts from the Markov processes theory. The natural frame in which this theory is settled is given by a sub-Markovian resolvent of kernels on a Radon measurable space. After a possible extension of the space, such a resolvent becomes that one associated with a right process on a Radon topological space, not necessary locally compact and without existing a reference measure. Intimately related to the excessive functions we present certain basic tools of the theory: the Ray topology and compacti cation, the ne carrier and the reduction operation on measurable sets. We examine di erent types of negligible sets with respect to a nite measure :the -polar, -semipolar and -mince sets. We take advantage of the cone of potentials structure for both excessive functions and measures.

Taschenbuch. Condizione: Neu. Neuware -Constantin Carathéodory (Berlin 1873-1950 Munich) - Mathematics and Politics in Turbulent Times is a biography of a mathematician who became famous during his life, but has hitherto been ignored by historians for half a century after his death.In a thought-provoking approach, Maria Georgiadou devotes to Constantin Carathéodory all the attention such a personality deserves. With breathtaking detail and the appropriate scrutiny she elucidates his oeuvre, life and turbulent political/historical surroundings: descending from the Greek élite of Constantinople, Carathéodory graduated from the military school of Brussels, became engineer at the Assiout dam in Egypt and finally dedicated a life of effort to mathematics and education. He studied and embarked on an international academic career, haunted by wars, catastrophes and personal tragedies. Over the last years of his life, he stayed in Munich despite World War II, an ambiguous decision upon which the author sheds unprecedented light.Carathéodory's most significant mathematical contributions were to the calculus of variations, the theory of point set measure, and the theory of functions of a real variable, pdes, also to complex function theory.The interdisciplinarity of the text allows easy access for both scholars and readers with a general interest in mathematics, politics and history. The thoroughness of the authoræs research and evaluations is certain to leave everyone impressed and more knowledgeable.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 680 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Quantum mechanics was already an old and solidly established subject when the first edition of this book appeared in 1966. The context in which a graduate text on quantum mechanics is studied today has changed a good deal, however. In 1966, most entering physics graduate students had a quite limited exposure to quan tum mechanics in the form of wave mechanics. Today the standard undergraduate curriculum contains a large dose of elementary quantum mechanics, and often intro duces the abstract formalism due to Dirac. Back then, the study of the foundations by theorists and experimenters was close to dormant, and very few courses spent any time whatever on this topic. At that very time, however, John Bell's famous theorem broke the ice, and there has been a great flowering ever since, especially in the laboratory thanks to the development of quantum optics, and more recently because of the interest in quantum computing. And back then, the Feynman path integral was seen by most as a veryimaginative but rather useless formulation of quantum mechanics, whereas it now plays a large role in statistical physics and quantum field theory, especially in computational work. For these and other reasons, this book is not just a revision of the 1966 edition. It has been rewritten throughout, is differently organized, and goes into greater depth on many topics that were in the old edition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 640 pp. Englisch.

Buch. Condizione: Neu. Neuware -Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for finite model theory are found in database theory, computational complexity, and formal languages, although in recent years connections with other areas, such as formal methods and verification, and artificial intelligence, have been discovered. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable; in other words, completeness fails over finite models. The tech nique of the proof, based on encoding Turing machine computations as finite structures, was reused by Fagin almost a quarter century later to prove his cel ebrated result that put the equality sign between the class NP and existential second-order logic, thereby providing a machine-independent characterization of an important complexity class. In 1982, Immerman and Vardi showed that over ordered structures, a fixed point extension of first-order logic captures the complexity class PTIME of polynomial time computable propertiE~s. Shortly thereafter, logical characterizations of other important complexity classes were obtained. This line of work is often referred to as descriptive complexity. A different line of finite model theory research is associated with the de velopment of relational databases. By the late 1970s, the relational database model had replaced others, and all the basic query languages for it were es sentially first-order predicate calculus or its minor extensions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Buch. Condizione: Neu. Neuware -The book is the first thorough overview of the first important steps to develop a worldwide virtual observatory so that, in the future, it could be easier to 'dial-up' a part of the sky than wait many months to access a telescope. The articles in this book present details on the status of the first efforts to develop a standardized framework for the virtual observatory, including steps towards completion and deployment of technical infrastructure, uptake by data providers worldwide, and utilization by the scientific community.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.