Springer jan 2002 (317 Ergebnisse)

Buch. Zustand: Neu. Neuware -From April 1999 Notices of the AMS, announcing that the author was awarded the Leroy P. Steele Prize for Mathematical Exposition for his many mathematics books: 'Lang's Algebra changed the way graduate algebra is taught, retaining classical topics but introducing language and ways of thinking from category theory and homological algebra. It has affected all subsequent graduate-level algebra books.'From MathSciNet's review of the first edition:'The author has an impressive knack for presenting the important and interesting ideas of algebra in just the 'right' way, and he never gets bogged down in the dry formalism which pervades some parts of algebra.'This book is intended as a basic text for a one-year course in Algebra at the graduate level, or as a useful reference for mathematicians and professionals who use higher-level algebra. This book successfully addresses all of the basic concepts of algebra. For the new edition, the author has added exercises and made numerous corrections to the text. 940 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The conformal geometry of surfaces recently developed by the authors leads to a unified understanding of algebraic curve theory and the geometry of surfaces on the basis of a quaternionic-valued function theory. The book offers an elementary introduction to the subject but takes the reader to rather advanced topics. Willmore surfaces in the foursphere, their Bäcklund and Darboux transforms are covered, and a new proof of the classification of Willmore spheres is given. 104 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Um das Konzept des Supply Chain Management erfolgreich umsetzen zu können, müssen leistungsfähige Informationsverarbeitungssysteme eingesetzt werden. Viele Industrieunternehmen haben die Logistik-Module von SAP R/3 eingeführt. Die SAP AG mißt dem Supply Chain Management im Rahmen seiner SCOPE-Initiative hohen Stellenwert für die künftige Gestaltung von Systemarchitekturen bei. Das Buch beschreibt die methodischen Ansätze und künftige Entwicklungen daher vor dem Hintergrund dieser Systemlandschaft. Der Leser erhält eine aktuelle und anwendungsorientierte Darstellung des Supply Chain Management und seiner Umsetzung mit SAP R/3. Zugleich werden künftige Entwicklungstendenzen der SAP-Systeme und ihre strategische Bedeutung für die Unternehmensführung aufgezeigt. 260 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Critically ill and critically injured patients require specialized nutrition support to avoid the complications of progressive malnutrition. There is a paucity of information providing practical solutions to these difficult clinical problems. From Nutrition Support to Pharmacologic Nutrition in the ICU focuses on the theoretical and practical aspects of the management of this high-risk patient population. Each chapter presents a state-of-the-art discussion of nutritional and metabolic issues relevant to this resource-intensive patient population and contains current references, liberal tables and figures, and the personal insights of recognized international leaders in this field. 500 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23 25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ` Reseaux within the Institut d Informatique et Mathematiques Appliquees de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method. Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner. 552 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During his lifetime, Henri Poincaré published three major philosophical books which achieved great success: 'La science et l'hypothèse' (1902), 'La valeur de la science' (1905) and 'Science et méthode' (1908). After his death in 1913, a fourth volume of his philosophical works was published by his heirs as 'Dernières pensées' (1913). The four books constitute the core of Poincaré's philosophic works and were given an ovation by scientific and general public. Around 1919, Gustave Le Bon wrote to Poincaré's widow. As the director of the 'Bibliothèque de Philosophie Scientifique at Flammarion', he asked her permission to publish a second posthumous volume. 'L'Opportunisme scientifique' was intended to be the fifth and final volume of Poincaré's philosophical writings. Louis Rougier had elaborated the project, with the collaboration of Gustave Le Bon, and the approval of the philosopher Émile Boutroux and his son Pierre. Because of the reservations of the mathematician's heirs, this book was never published and Dernières pensées remained his last philosophical book. Nevertheless Poincaré's correspondence - which is kept in the Poincaré Archives at University Nancy 2 - contains a large amount of documents concerning the project, its justification and the discussions between Louis Rougier and the mathematician's heirs. The aim of this book is to restore this episode, which gives some crucial informations about editorial practices of Poincaré and about the posterity of his philosophic thinking. 208 pp. Englisch. …

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thealgebraicapproachtosystemspeci cationanddevelopment,borninthe early1970sasaformalmethodforabstractdatatypes,encompassestoday,atthe beginningofthethirdmillennium,theformaldesignofintegratedhardwareand softwaresystems,newspeci cationframeworksandprogrammingparadigms, andawiderangeofapplicationareas. TheworkshopsonAlgebraicDevelopment Techniques,initiatedin1982astheworkshoponAbstractDataTypes,area prominentforumtopresentanddiscusscurrentresearchinthatarea. The15thInternationalWorkshoponAlgebraicDevelopmentTechniques (WADT2001)tookplaceinGenova,asasatelliteofETAPS2001,onApril 1 3,2001,andwasorganizedbyMauraCerioliandGiannaReggio. From1991to1995WADTworkshopswereheldjointlywiththeGeneral WorkshopoftheESPRITBasicResearchWorkingGroupCOMPASS. Following thistradition,theWADT2001washeldjointlywiththeGeneralWorkshopof theESPRITWorkingGroupCoFI. TheCommonFrameworkInitiative,started in1995andfundedsince1998asCoFIWG,iscenteredaroundthede nitionof theCommonAlgebraicSpeci cationLanguage(CASL). TheprogramstartedwithafulldaytutorialontheCASL,followedby32 presentations,severalofthemontheCASLaswell,organizedinparallelsessions duringthefollowingtwodays. Theparallelsessionsweredevotedto:logicsand proofs,concurrentprocesses,institutionsandcategories,applicationsandcase studies,higher-orderandparameterizedspeci cations,staticanalysis,software architectures,graphandtransformationrules. Themaintopicsoftheworkshopwere: algebraicspeci cation otherapproachestoformalspeci cation speci cationlanguagesandmethods termrewritingandproofsystems speci cationdevelopmentsystems(concepts,tools,etc. ) Theprogramcommitteeinvitedsubmissionsoffullpapersforpossibleinclusion inthisvolume,onthebasisoftheabstractsandthepresentationsatWADT 2001. Allthesubmissionsweresubjecttocarefulrefereeing,andtheselectionof paperswasmadefollowingfurtherdiscussionbythefullprogramcommittee. Weareextremelygratefultoallworkshopparticipants,tothe(other)m- bersoftheprogramcommittee,andtotheexternalrefereesfortheircontribution tothescienti cqualityoftheworkshopandofthisvolume. TheWADTseriesissponsoredbyIFIPWG1. 3onFoundationsofSystem Speci cation(seebrics. dk/ pdm/IFIP-WG1. 3). November2001 MauraCerioliandGiannaReggio Organization ProgramCommittee MichelBidoit (Cachan,France) MauraCerioli (Genova,Italy) Hans-J orgKreowski (Bremen,Germany) PeterMosses,chair (Aarhus,Denmark) FernandoOrejas (Barcelona,Spain) FrancescoParisi-Presicce (Roma,Italy) GiannaReggio (Genova,Italy) DonaldSannella (Edinburgh,Scotland) AndrzejTarlecki (Warsaw,Poland) ExternalReferees EgidioAstesiano ManuelKoch MarekBednarczyk MikolajKonarski BenjaminBlanc AlexanderKurz AlexandreBoisseau SabineKuske TomaszBorzyszkowski SlawomirLasota PaoloBottoni ChristophLuth PaoloCenciarelli DirkPattinson HartmutEhrig Wies lawPawlo wski StevenEker Jean-ClaudeReynaud JeanGoubault-Larrecq MarkusRoggenbach PiotrHo man SponsoringInstitutions CoFI(CommonFrameworkInitiative),ESPRITWorkingGroup29432. DISI,Universit`adegliStudidiGenova. IFIPWG1. 3onFoundationsofSystemSpeci cation. TableofContents InteractiveRule-BasedSpeci cationwithanApplication toVisualLanguageDe nition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 R. Bardohl,M. Große-Rhode,andM. Simeoni AlgebraicAbstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 M. BidoitandA. Boisseau CombiningLogics:ParchmentsRevisited. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 C. Caleiro,P. Mateus,J. Ramos,A. Sernadas CanonicalInstitutionsofBehaviour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 J. F. CostaandH. Louren co TheLub eckTransformationSystem:ATransformationSystem forEquationalHigherOrderAlgebraicSpeci cations . . . . . . . . . . . . . . . . . . . 85 W. DoschandS. Magnussen OntheCompatibilityofModelandModel-ClassTransformations . . . . . . . 109 M. GajewskyandF. Parisi-Presicce VerifyingaSimplePipeli.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The coronary circulation is central to sustaining myocardial viability. Unlike the cir culations of most other organs, if the coronary circulation becomes insufficient to sustain myocardial contractile function, overall quality of life rapidly declines and life can abruptly end. In partnership with the cerebral circulation, the coronary circula tion plays a central role in sustaining life. However, unlike the cerebral circulation, whose function is self-sufficient to define life, the coronary circulation determines global blood flow and thus the initial state for the remainder of the body. This unique condition, together with the reality that coronary artery disease primarily affects peo ple in their productive years of life, has allowed physicians and scientists who study the heart to enjoy a privileged position in the field of medical research and clinical practice. Thus, it comes as little surprise that many new and exciting research developments involving the coronary circulation have recently come to the forefront of medical thinking. This reality, coupled with the large number of clinical trials of agents specif ically designed to sustain or improve coronary flow in many disease states, makes the timing of this monograph relevant. The book features papers presented at a recent international symposium, the fourth in a series of meetings on Applied Physiology of the Peripheral Circulation. The papers selected by the editors review the most impor tant advances in the fields of cardiology and the coronary circulation. 204 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheInternationalWorkshoponPracticeandTheoryinPublicKeyCryptog- phyPKC2002washeldattheMaisondelaChimie,situatedintheverycenter ofParis,FrancefromFebruary12to14,2002. ThePKCseriesofconferences yearlyrepresentsinternationalresearchandthelatestachievementsinthearea ofpublickeycryptography,coveringawidespectrumoftopics,fromcryptos- temstoprotocols,implementationtechniquesorcryptanalysis. Afterbeingheld infoursuccessiveyearsinpaci c-asiancountries,PKC2002experiencedforthe rsttimeaEuropeanlocation,thusshowingitsabilitytoreachaneverwider audiencefromboththeindustrialcommunityandacademia. Weareverygratefultothe19membersoftheProgramCommitteefortheir hardande cientworkinproducingsuchahighqualityprogram. Inresponseto thecallforpapersofPKC2002,69paperswereelectronicallyreceivedfrom13 di erentcountriesthroughoutEurope,America,andtheFarEast. Allsubm- sionswerereviewedbyatleastthreemembersoftheprogramcommittee,who eventuallyselectedthe26papersthatappearintheseproceedings. Inaddition to this program, we were honored to welcome Prof. Bart Preneel who kindly acceptedtogivethisyear sinvitedtalk. Theprogramcommitteegratefully- knowledgesthehelpofalargenumberofcolleagueswhoreviewedsubmissionsin theirareaofexpertise:MasayukiAbe,SeigoArita,OlivierBaudron,MihirB- lare,EmmanuelBresson,EricBrier,MathieuCiet,AlessandroCon itti,Jean- S ebastienCoron,RogerFischlin,Pierre-AlainFouque,MattFranklin,Rosario Genarro,MarcGirault,LouisGranboulan,GoichiroHanaoka,DarrelHank- son, Eliane Jaulmes, Ari Juels, Jinho Kim, Marcos Kiwi, Kazukuni Kobara, Francois Koeune, Byoungcheon Lee, A. K. Lenstra, Pierre Loidreau, Wenbo Mao, Gwenaelle Martinet, Yi Mu, Phong Nguyen, Satoshi Obana, Guillaume Poupard,YasuyukiSakai,HideoShimizu,TomShrimpton,RonSteinfeld,K- suyukiTakashima,HuaxiongWang,andYujiWatanabe. JulienBrouchier- servesspecialthanksforskillfullymaintainingtheprogramcommittee swebsite andpatientlyhelpingoutduringtherefereeingprocess. Finally,wewishtothankalltheauthorswhocommittedtheirtimebys- mitting papers (including those whose submissions were not successful), thus makingthisconferencepossible,aswellastheparticipants,organizers,andc- tributorsfromaroundtheworldfortheirkindsupport. December2001 DavidNaccache,PascalPaillier PKC2002 FifthInternationalWorkshop onPracticeandTheory inPublicKeyCryptography MaisondelaChimie,Paris,France February12 14,2002 ProgramCommittee DavidNaccache(ProgramChair). . . . . . . . . . . . . . . . . . . . . . . . . . . . Gemplus,France DanielBleichenbacher. . . . . . . . . . . . . . . . . . . BellLabs,LucentTechnologies,USA YvoDesmedt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . FloridaStateUniversity,USA MarcFischlin. . . . . . . . . . . . . . . . . . . . . . . Goethe-UniversityofFrankfurt,Germany ShaiHalevi. . . . . . . . . . . . . . . . . . . . . . . . . IBMT. J. WatsonResearchCenter,USA MarkusJakobsson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . RSALaboratories,USA AntoineJoux. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . DCSSI,France BurtKaliski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . RSALaboratories,USA KwangjoKim . . . . . . . . . . . . InformationandCommunicationsUniversity,Korea EyalKushilevitz. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Technion,Israel PascalPaillier. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Gemplus,France DavidPointcheval . . . . . . . . . . . . . . . . . . . . . . . . . . EcoleNormaleSup erieure,France Jean-JacquesQuisquater. . . . . . . . . . Universit eCatholiquedeLouvain,Belgium PhillipRogaway . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . UCDavis,USA KazueSako. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . NECCorporation,Japa.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software systems play an increasingly important role in modern societies. Smart cards for personal identi cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci cation and veri cation. Speci cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri cation, one can then prove that an implementation really has the desired, speci ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: - Formal speci cation techniques have to be smoothly integrated into the software and program development process. - The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci cation and veri cation of object-oriented so- ware. The speci cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming. 312 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This textbook provides students with a course in the theory of databases. It is different from others in that the author presents the subject in the framework of constraint databases which provide a natural and powerful generalization of relational databases. An important theme running through the text is to show how relational databases can smoothly develop into constraint databses and so relational database users can easily become constraint databaseusers. Switching to constraint databases requires sacrificing none of the benefits of relational databses whilst new advantages may be realised. Peter Revesz begins by discussing data models and how queries may be addressed to these models. From this, he develops the theory of relational and constraint databases including Datalog and the relational calculus. The book then discusses three sample constraint database systems, DISCO, DINGO, and RATHER. Advanced undergraduate students and graduate students in computer science will find this a clear introduction to the subject. Professionals and researchers will appreciate this novel perspective on their subject. 394 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Images or discrete objects, to be analyzed based on digital image data, need to be represented, analyzed, transformed, recovered etc. These problems have stimulated many interesting developments in theoretical foundations of image processing. This coherent anthology presents 27 state-of-the-art surveys and research papers on digital image geometry and topology. It is based on a winter school held at Dagstuhl Castle, Germany in December 2000 and offers topical sections on topology, representation, geometry, multigrid convergence, and shape similarity and simplification. 472 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book collects nine related mathematical essays which will intrigue and inform. From the reviews: 'The authors put their writing where their talents are, and students get to see just how alive mathematics is.there is much to commend the book. It contains plenty of interesting mathematics, often going in unusual directions. I like the diagrams; the authors have chosen mathematics that involves especially pretty ones.' --THE MATHEMATICAL ASSOCIATION OF AMERICA 356 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Reprint of classic reference work. Over 400 books have been published in the series Classics in Mathematics, many remain standard references for their subject. All books in this series are reissued in a new, inexpensive softcover edition to make them easily accessible to younger generations of students and researchers. '. The book has many good points: clear organization, historical notes and references at the end of every chapter, and an excellent bibliography. The text is well-written, at a level appropriate for the intended audience, and it represents a very good introduction to the basic theory of dynamical systems.' 244 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 272 pp. Englisch.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Measuring the quality of a complex service like critical care that combines the highest technology with the most intimate caring is a challenge. Recently, con sumers, clinicians, and payers have requested more formal assessments and comparisons of the quality and costs of medical care [2]. Donabedian [1] pro posed a framework for thinking about the quality of medical care that separates quality into three components: structure, process, and outcome. An instructive analogy for understanding this framework is to imagine a food critic evaluating the quality of a restaurant. The critic might comment on the decoration and lighting of the restaurant, how close the tables are to each other, the extent of the wine list and where the chef trained. These are all evaluations of the restaurant structure. In addition, the critic might comment on whether the service was courteous and timely - measures of process. Finally, the critic might comment on outcomes like customer satisfaction or food poisoning. Similarly, to a health care critic, structure is the physical and human resources used to deliver medi cal care. Processes are the actual treatments offered to patients. Finally, outcomes are what happens to patients, for example, mortality, quality of life, and satisfac tion with care (Table 1). There is a debate about which of these measurements is the most important measure of quality. 396 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -There can be little doubt that ours is a society riding the crest of vast and profound social and economic change. The material conditions and social landscapes through which we experience our lives are increasingly an unchartered sea of unanticipated shift and hidden consequence and many of us have the unsettling feeling that we are out of our depth. It is natural to respond to this rapid and fundamental change with concern, particularly when many of the enduring keystones of our lives have been problematized. Family is one such keystone. Family-and its apparent decline-is a topic of great interest. The breakdown of marriage and other relationships, family roles and responsibilities, the alienation of children, the rights of grandparents, juvenile crime and drug usage, and the emotional fallout of divorce are all current and emotive issues. Few individuals remain untouched by this debate. The changes we are witnessing in relation to family are made all the more worrisome because we have a limited vocabulary for discussing and understanding profound change-a vocabulary characterized by normative framings and assumptions of deficit. It is very easy to look at the changes in 'traditional' family structure and read 'breakdown', 'decline' and 'loss'. A politics of blame and rhetoric of 'reconstitution' very quickly follows. However, given the fundamental nature of contemporary social and economic change, this is not an adequate response. 180 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book describes the turbulent political history of Afghanistan from the communist upheaval of the 1970s through to the aftermath of the events of 11 September 2001. It reviews the importance of the region to external powers and explains why warfare and instability have been endemic. The author analyses in detail the birth of the Taliban and the bloody rise to power of fanatic Islamists, including Osama bin Laden, in the power vacuum following the withdrawal of US aid. Looking forward, Nojumi explores the ongoing quest for a third political movement in Afghanistan - an alternative to radical communists or fanatical Islamists and suggests the support that will be neccessary from the international community in order for such a movement to survive. 260 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the papers presented at CG2000 the Second International ConferenceonComputersandGames heldattheCURREACCenterinHa- matsu, Japan, on October 26 28, 2000. The CG conferences provide an international forum for researchers working on any aspect of computers and games to meet and exchange information on the latest research. CG2000 was attended by 80 people from over a dozen di erent countries, thus building on the success of the inaugural Computers and Games conference, held in 1998. The third conference in the series is scheduled to take place alongside the AAAI conference in Edmonton, Alberta, Canada in 2002. The interests of the conference attendees and organizers cover all issues related togame-playing;forinstance,theimplementationandperformanceofprograms, new theoretical developments in game-related research, general scienti c cont- butions produced by the study of games, social aspects of computer games, cognitive research on how humans play games, and issues related to networked games. This book contains all the new developments presented at CG2000. The CG2000 technical program consisted of 23 presentations of accepted papers and apanelsession.InadditiontherewereinvitedtalksbyMichaelLittmanofAT&T Labs, Kei-ichi Tainaka of Shizuoka University, and Nob Yoshigahara, noted - ventor, collector, and popularizer of puzzles. The conference was preceded by an informal workshop on October 26, 2000. 464 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is based on a workshop held on September 13, 2001 in New Orleans, LA, USA as part of the24thAnnualInternationalACMSIGIRConferenceon ResearchandDevelopmentinInformationRetrieval.Thetitleoftheworkshop was: 'Information Retrieval Techniques for Speech Applications.' Interestinspeechapplicationsdatesbackanumberofdecades.However, it is only in the last few years that automatic speech recognition has left the con nes of the basic research lab and become a viable commercial application. Speech recognition technology has now matured to the point where speech can be used to interact with automated phone systems, control computer programs, andevencreatememosanddocuments.Movingbeyondcomputercontroland dictation, speech recognition has the potential to dramatically change the way we create,capture,andstoreknowledge.Advancesinspeechrecognitiontechnology combined with ever decreasing storage costs and processors that double in power every eighteen months have set the stage for a whole new era of applications that treat speech in the same way that we currently treat text. The goal of this workshop was to explore the technical issues involved in a- lying information retrieval and text analysis technologies in the new application domainsenabledbyautomaticspeechrecognition.Thesepossibilitiesbringwith themanumberofissues,questions,andproblems.Speech-baseduserinterfaces create di erent expectations for the end user, which in turn places di erent - mands on the back-end systems that must interact with the user and interpret theuser'scommands.Speechrecognitionwillneverbeperfect,soanalyses- plied to the resulting transcripts must be robust in the face of recognition errors. The ability to capture speech and apply speech recognition on smaller, more - werful, pervasive devices suggests that text analysis and mining technologies can be applied in new domains never before considered. 128 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU and memory resources. Recent hardware advances, however, have changed this picture.This book shows how object-oriented software frameworks can be applied to embedded control systems. A case study of a framework using a set of application dependent design patterns for the orbit control system of satellites is presented. 312 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Modernsoftwaresystemsincreasinglyusecommercial-o -the-shelf(COTS)so- ware products as building blocks. In some cases, major software systems are assembled with virtually no custom code in the system. The use of COTS software products as components o ers the promise of rapid delivery to end users, shared development costs with other customers, and an opportunity for expanding mission or business capabilities and performance as improvements are made in the commercial marketplace. Few organizations today can a ord the resources and time to replicate market-tested capabilities. Yet, the promise of COTS products is too often not realized in practice. There have been more failures than successes in using COTS software products. The research and software practitioner communities have been working with COTS-based software systems for a number of years. There is now su cient documented experience in the community to collect, analyze, and disseminate success stories, common failings, lessons-learned, and research advances. The mounting experience shows that the e ective use of COTS software products in major software systems demands new skills, knowledge, and abilities, changed roles and responsibilities, and di erent techniques and processes. The International Conference on COTS-Based Software Systems (ICCBSS) focuses on the challenges of building and maintaining systems that incorporate COTSsoftwareproducts.Theconferencesponsors,theNationalResearchCo- cil Canada, the Software Engineering Institute, and the University of Southern California Center for Software Engineering, aim to bring together managers, - velopers, maintainers, and researchers to share their expertise and experience. 276 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -An introduction to practical astrometry, dealing with the determination of positions, motions, distances and dimensions of celestial bodies ranging from quasars to artificial satellites. For this 2nd edition, the release of the Hipparcos and Tycho catalogs, the rise in CCD astrometry and the adoption of a new celestial reference frame by the IAU led to a significant modification of the text. And, especially, the outlook for astrometry has been completely rewritten. 396 pp. Englisch. …

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Fluids, play an important role in environmental systems, appearing as surface water in rivers, lakes, and coastal regions or in the subsurface as well as in the atmosphere. Mechanics of environmental fluids is concerned with fluid motion, associated mass and heat transport in addition to deformation processes in subsurface systems. In this textbook the fundamental modelling approaches based on continuum mechanics for fluids in the environment are described, including porous media and turbulence. Numerical methods for solving the process governing equations and its object-oriented computer implementation are discussed and illustrated with examples. Finally the application of computer models in civil and environmental engineering is demonstrated. 396 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are both fans of watching animated stories. Every evening, before or after d- ner, we always sit in front of the television and watch the animation program, which is originally produced and shown for children. We find ourselves becoming younger while immerged in the interesting plot of the animation: how the princess is first killed and then rescued, how the little rat defeats the big cat, etc. But what we have found in those animation programs are not only interesting plots, but also a big chance for the application of computer science and artificial intelligence techniques. As is well known, the cost of producing animated movies is very high, even with the use of computer graphics techniques. Turning a story in text form into an animated movie is a long and complicated procedure. We came to the c- clusion that many parts of this process could be automated by using artificial - telligence techniques. It is actually a challenge and test for machine intelligence. So we decided to explore the possibility of a full life cycle automation of c- puter animation generation. By full life cycle we mean the generation process of computer animation from a children s story in natural language text form to the final animated movie. It is of course a task of immense difficulty. However, we decided to try our best and to see how far we could go. 400 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Robert Karplus, a professor of physics at the University of California, Berkeley, USA, became a leader in the movement to reform elementary school science in the 1960s. This book selects the enduring aspects of his work and presents them for the scientists and science educators of today. In an era when `science education for ALL students' has become the clarion call, the insights and works of Robert Karplus are as relevant now as they were in the 1960s, '70s, and '80s. This book tries to capture the essence of his life and work and presents selections of his published articles in a helpful context. 356 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From the reviews: '.a fine book [.] When it appeared in 1949 it was a pioneer. Now there are plenty of competing accounts. But Hasse has something extra to offer.[.] Hasse proved that miracles do happen in his five beautiful papers on quadratic forms of 1923-1924. [.]It is trite but true: Every number-theorist should have this book on his or her shelf.' --Irving Kaplansky in Bulletin of the American Mathematical Society, 1981 664 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In 1996 Meade, the world's largest astronomical telescope manufacturer, introduced the ETX, a low-cost and genuinely portable instrument capable of results close to the theoretical limits of optical performance. Since then several different models have been introduced, most of them controlled by on-board computers that automatically point the telescope at objects selected from a database of 12,000. Unfortunately not all these objects are visible when looking through the ETX! (They are included because they can be imaged with special equipment.) Mike Weasner is a world expert on the ETX range, and describes the 'best' 100 objects to start with, and offers hints and tips about using and looking after the telescope to get the best possible results. 224 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From the reviews: 'The author has attempted an ambitious and most commendable project. [.] The book contains much material that has not previously appeared in this format. The writing is clean and clear and the exposition is well motivated. [.] This book is, all in all, a very admirable work and a valuable addition to the literature.' Mathematical Reviews 544 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -claim is that such morphological processes can be learnt without symbolization and innate knowledge. See Rumelhart and McClelland (1986) for the original model of past tense acquisition, Plunkett and Marchman (1993), Nakisa, Plunkett and Hahn (1996) and Elman et al. (1996) for developments and extensions to other morphological processes, and Marcus et al. (1992) and Pinker and Prince (1988) for criticism. One line of investigation supporting the view of language as a genetic endowment is closely linked to traditional research on language acquisition and argues as follows: If language is innate there must be phenomena that should be accessible from birth in one form or the other. Thus it is clear that the language of children, especially young children and preferably babies should be investigated. As babies unfortunately don't talk, the abilities that are available from birth must be established in ways different from the usual linguistic analysis. Psycholinguistic research of the last few years has shown that at the age of 4 and 8 months and even during their first week of life children already have important language skills. From the fourth day, infants distinguish their mother tongue from other languages. From the first months children prefer the sound of speech to 'other noise'. At the age of 4 months, infants prefer pauses at syntactic boundaries to random pauses. 396 pp. Englisch.…