Springer springer jan 2002 (332 resultados)

Buch. Condición: 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.…

Buch. Condición: Neu. Neuware - This book is intended to provide a mathematical bridge from a general physics course to intermediate-level courses in classical mechanics, electricity and mag netism, and quantum mechanics. The book begins with a short review of a few topics that should be familiar to the student from a general physics course. These examples will be used throughout the rest of the book to provide physical con texts for introducing the mathematical applications. The next two chapters are devoted to making the student familiar with vector operations in algebra and cal culus. Students will have already become acquainted with vectors in the general physics course. The notion of magnetic flux provides a physical connection with the integral theorems of vector calculus. A very short chapter on complex num bers is sufficient to supply the needed background for the minor role played by complex numbers in the remainder of the text. Mathematical applications in in termediate and advanced undergraduate courses in physics are often in the form of ordinary or partial differential equations. Ordinary differential equations are introduced in Chapter 5. The ubiquitous simple harmonic oscillator is used to il lustrate the series method of solving an ordinary, linear, second-order differential equation. The one-dimensional, time-dependent SchrOdinger equation provides an illus tration for solving a partial differential equation by the method of separation of variables in Chapter 6.…

Buch. Condición: Neu. Neuware - Automatic Differentiation (AD) is a maturing computational technology and has become a mainstream tool used by practicing scientists and computer engineers. The rapid advance of hardware computing power and AD tools has enabled practitioners to quickly generate derivative-enhanced versions of their code for a broad range of applications in applied research and development.Automatic Differentiation of Algorithms provides a comprehensive and authoritative survey of all recent developments, new techniques, and tools for AD use. The book covers all aspects of the subject: mathematics, scientific programming (i.e., use of adjoints in optimization) and implementation (i.e., memory management problems). A strong theme of the book is the relationships between AD tools and other software tools, such as compilers and parallelizers. A rich variety of significant applications are presented as well, including optimum-shape design problems, for which AD offers more efficient tools and techniques.…

Buch. Condición: Neu. Neuware - This book looks afresh, from a philosophical perspective, on the role economic theory plays in present-day ecological policy. It starts from fundamental questions concerning the nature of the problem of sustainability, of politics, and of economic science. It confronts the results of this investigation with the theoretical work of two prominent present-day economists. This book is written at a high academic level. It will be of interest to environmentalists, environmental economists, and for policy people charged with ecological problems.…

Buch. Condición: Neu. Neuware - BACKGROUND OF THE PROJECT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 FINANCING THE PROJECT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 DELIVERY OF THE DULLES GREENWAY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 OPERATING RESULTS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 QUESTIONS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 CONCLUDING NOTES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 REFERENCES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 NOTES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 CHAPTER 3 INTERNATIONAL ARRIVALS BUILDING AT JOHN F. KENNEDY INTERNATIONAL AIRPORT . . . . . . . . . . . . . . . . . . . 33 INFRASTRUCTURE DEVELOPMENT SYSTEMS IDS-98-I-201 . . . . . . . . . . . . . . . . . 33 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 HISTORY OF THE JOHN F. KENNEDY INTERNATIONAL AIRPORT . . . . . . . . . . 34 EARLIER PLANS FOR INTERNATIONAL ARRIVALS BUILDING . . . . . . . . . . . . . . . 34 HISTORY OF THE PORT AUTHORITY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 NEW PLANS FOR INTERNATIONAL ARRIVALS BUILDING . . . . . . . . . . . . . . . . . . . . . 35 TERMINAL ONE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 7 FEASIBILITY ANALYSIS OF THE lAB . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 PRELIMINARY DESIGN -1993 TO 1994 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 THE PRE-QUALIFICATION AND BIDDING PROCESS - 1995 TO 1997 . . . . . . 41 NEW YORK LAND LEASE PROBLEM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 CONSORTIUM MEMBERS _ JFK INTERNATIONAL AIR TERMINAL LLC 45 THE AMSTERDAM AIRPORT MODEL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 FINANCING STRATEGY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 CLOSING THE DEAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 QUESTIONS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 CHAPTER 4 THE SR 91 EXPRESS LANES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 INFRASTRUCTURE DEVELOPMENT SYSTEMS IDS-97-T-012 . . . . . . . . . . . . . . . . 53 THE PROBLEM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 Key Features of AB 680 . . . . . . . . . . . . . …

Buch. Condición: Neu. Neuware - This book will provide an overview of the state of the art in behavioral health care informatics as well as discussing the challenges on the horizon, such as organizational issues, human-centered issues, educating healthcare executives about technology issues, educating clinicians about behavioral informatics systems, and consumer issues. In addition to significant contributions by the editors, the book will contain contributions from a small number of acknowledged experts within their respective fields.As daily living becomes more stressful, socio-psychological or behavioral related problems become more intense. Informatics has the potential to transform the world of behavioral practitioners to enable them to assist people more easily. This book will focus on informatics-related topics that all disciplines connected to the behavioral health will find very useful for their day-to-day practice. …

Buch. Condición: Neu. Neuware - Advanced technologies in astronomy at various wavelengths have provided us with high resolution and high quality data on the QSO population. This meeting was aimed at understanding the morphology and nature of the host galaxies and environments of QSOs. The invited lectures as well as the contributed and poster papers highlighted the main issues of current research: the stellar and gaseous content of the underlying galaxy; the characterization of the population of companions and the nature of their interaction with the host galaxy; the connection between radio-loud QSO and radio-galaxies, and QSOs and ULIRGs; the evolution with redshift of both the host galaxy and its environment, and the main implications in theories of galaxy formation and evolution. This volume provides a valuable overview and timely update of the exciting and rapidly developing field of QSO hosts and their environments - essential reading for graduate students and researchers.…

Buch. Condición: Neu. Neuware - Dramatic advances in our understanding of cancer causation have come from epidemiologic and laboratory research, particularly over the past two decades. These developments have included a broadening interest in the critical events that take place during the early stages of the dynamic multistep process leading to - vasive cancer. Increasingly, cancer epidemiologists are pursuing research into the origins and natural history of premalignant lesions, including intermediate or surrogate endpoints, a trend - celerated by the development of molecular technologies that are revolutionizing our understanding of the transformation of normal to malignant cells. There seems little doubt that this emerging knowledge will provide further insights not only into carcinogenic processes, but also into more sensitive methods of early detection and more effective means of prevention. In this book, Drs. Franco and Rohan have succeeded in prep- ing a comprehensive, timely, and critical review of the substantial progress that has been made in our understanding of cancer p- cursors. They have enlisted experts in the eld who have c- tributed authoritative chapters on the precursors to a wide variety of cancers,with emphasis on etiology and natural history,including the role of environmental and heritable factors that provoke normal cells to undergo malignant transformation. Epidemiologic data are linked whenever possible to molecular as well as classical cellular pathology, providing a fuller understanding of the causal events and mechanisms that initiate the carcinogenic process.…

Buch. Condición: Neu. Neuware - The topics covered in this book include: Theory of Scattering and Scintillation, Distribution of Scattering Material, Intra-day Variability, Pulsars and their Magnetospheric Structure, Polarization of AGN, Interplanetary Scintillation, and Future Highly-Sensitive Radio Telescopes. The introductory papers emphasize the essential properties of diffractive and refractive scattering, how they differ in temporal and frequency structure, and what they reveal about irregularities in the ISM. Pulsars can be examined in a number of different ways as a function of frequency: time variability (both short and long term), DM changes, pulse broadening, angular extent, and Faraday rotation. Intra-day variable sources (IDVs) are another major topic of the book. Although many variable sources clearly exhibit intrinsic changes, IDVs are generally believed to result from scintillation effects. They require source sizes on the ten micro-arcsec scale, the most extreme cases having profound implications for source lifetimes and emission mechanisms. Finally, a dozen contributions describe future large radio telescope projects, especially the Chinese FAST effort to build a 500 m spherical reflector of innovative design.…

Buch. Condición: Neu. Neuware - Ethics in Community Mental Health Care: Commonplace Concerns examines everyday ethical issues that clinicians encounter as they go about their work caring for people who have severe and persistent mental disorders. Individuals (psychiatrists, social workers, case managers, nurses, psychologists, peer counselors, primary care physicians) who serve on the front line of community mental health clinical and social services find that they must deal, on a daily basis, with significant ethical dilemmas that involve personal, social, and policy matters: overstepping personal boundaries and coercive practices, dealing with violence in the home and in the workplace, breaching confidentiality, and ensuring the rights and welfare of vulnerable individuals. This book prompts and provokes readers to recognize, to analyze, to reflect upon, and to respond to the range of commonplace ethical concerns that arise in community mental health care practice with persons who have mental disorders that may impede their ability to protect their own interests.…

Taschenbuch. Condición: Neu. Neuware - Exploration of Cortical Function summarizes recent research efforts aiming at the revelation of cortical population coding and signal processing strategies. Topics include optical detection techniques of population activity in the sub-millimeter range, advanced methods for the statistical analysis of these data, and biologically inspired neuronal modeling techniques for population activities in the frameworks of optimal coding, statistical learning theory, and mean-field recurrent networks. Exploration of Cortical Function is unique in that it covers one complete branch of population-based brain research ranging from techniques for data acquisition over data analysis up to modeling techniques for the quantification of functional principles. The volume covers an area which is of great current interest to researchers working on cerebral cortex. The combination of models and image analysis techniques to examine the activity of large cohorts of neurons is especially intriguing and prone to considerable error and debate.…

Buch. Condición: Neu. Neuware - Optical Microscanners and Microspectrometers using Thermal Bimorph Actuators shows how to design and fabricate optical microsystems using innovative technologies and and original architectures. A barcode scanner, laser projection mirror and a microspectrometer are explained in detail, starting from the system conception, discussing simulations, choice of cleanroom technologies, design, fabrication, device test, packaging all the way to the system assembly.An advanced microscanning device capable of one- and two-dimensional scanning can be integrated in a compact barcode scanning system composed of a laser diode and adapted optics. The original design of the microscanner combines efficiently the miniaturized thermal mechanical actuator and the reflecting mirror, providing a one-dimensional scanning or an unique combination of two movements, depending on the geometry. The simplicity of the device makes it a competitive component.The authors rethink the design of a miniaturized optical device and find a compact solution for a microspectrometer, based on a tunable filter and a single pixel detector. A porous silicon technology combines efficiently the optical filter function with a thermal mechanical actuator on chip. The methodology for design and process calibration are discussed in detail. The device is the core component of an infrared gas spectrometer.…

Buch. Condición: Neu. Neuware - The first ever book on the applications of fullerenes and nanotubes. World's experts on the industrial use of these new forms of carbon contributes chapters, that are based on lectures given in a large workshop held on February 2001, and expanded thereafter. The contents are intended for those who are interested in the exploration of industrial applications of fullerenes and carbon nanotubes.…

Buch. Condición: Neu. Neuware - CMOS Cellular Receiver Front-Ends: from Specification to Realization deals with the design of the receive path of a highly-integrated CMOS cellular transceiver for the GSM-1800 cellular system. The complete design trajectory is covered, starting from the documents describing the standard down to the systematic development of CMOS receiver ICs that comply to the standard. The design of CMOS receivers is tackled at all abstraction levels: from architecture level, via circuit level, down to the device level, and the other way around. The theoretical core of the book discusses the fundamental and more advanced aspects of RF CMOS design. It focuses specifically on all aspects of the design of high-performance CMOS low-noise amplifiers.…

Buch. Condición: Neu. Neuware - I Lipdxygenases and Leukotriene Biosynthesis.- 1. Phosphorylation and Activation of 5-Lipoxygenase by P38 Kinase-Activated MAPKAP Kinases.- 2. 5-Lipoxygenase and the Nucleus: Where, When, How, and Why .- 3. Calcium Binding Site of 5-Lipoxygenase.- 4. Regulation of Cellular 5-Lipoxygenase Activity by Glutathione Peroxidases.- 5. Novel Aspects Related to Biosynthesis and Biological Actions of Hepoxilins: Interrelationship with Phospholipid Hydro-Peroxide Glutathione Peroxidase (PHGPx).- 6. Transcriptional Regulation of the Human Leukotriene C4 Synthase Promoter.- 7. Localization and Translocation of Enzymes Involved in Leukotriene Biosynthesis.- II Cyclooxygenases and Prostaglandin Biosynthesis.- 8. Regulation of COX-2 Expression in Fibroblasts, Osteoblasts, Mast Cells, and Macrophages.- 9. Antimicroinflammatory Lipid Signals from Vascular Cyclooxygenase-2: A Novel Mechanism for NSAID and N-3 PUFA Therapeutic Actions.- 10. Substrate Interactions in the Cyclooxygenase-1 Active Site.- 11. Mutation of the Human Prostacyclin Synthase Gene.- 12. Structure and Function of Two Distinct Types of Prostaglandin D Synthase.- 13. Roles of Prostaglandin F Synthase.- 14. Differential Effects of Nitric Oxide on Cyclooxygenase 1 and 2 Activities in Cultured Cells.- III Phospholipase A2.- 15. On the Functional Diversity of Secreted Phospholipases A2: Cloning of Novel Mammalian and HIV-1 Antiviral Properties.- 16. Regulation of Cytosolic Phospholipase A2 by Phosphorylation.- IV Cytochrome P450 Archidonate Metabolites.- 17. Synthesis and Function of 20-Hydroxyeicosatetraenoic Acid in the Kidney.- V Receptors.- 18. Altered Bronchodilation and Pulmonary Inflammation in Prostanoid EP2 Receptor Knockout Mice.- 19. Induction of Prostaglandin I2 Receptor in Murine Osteoblastic Cell.- 20. BLT2, aSecond Leukotriene B4 Receptor.- 21. Upregulation of Cysteinyl-Leukotriene 1 Receptor Expression by Interleukin-5 in Human Leukocytes.- 22. Physiological and Pathophysiological Roles of Prostanoids; Lessons from Receptor-Knockout Mice for Clinical Applications.- 23. Multiple G-Protein Coupling of Chimeric Prostacyclin/Prostaglandin D2 Receptors.- VI Eicosanoids and Neuroscience.- 24. An Unusual Nicotinic Acetylcholine Receptor Activates the 8-Lipoxygenase Pathway in Aplysia Neurons.- VII Cardiovascular System.- 25. Neutrophil-Endothelial Cell Interaction: A Multidirectional Cross-Talk in Leukotriene Generation.- 26. Cyclooxygenase in the Lamb Ductus Arteriosus: Developmental Changes and Upregulation.- 27. Co-Localization of Prostacyclin (PGI2)-Synthase and Caveolin-1 in Endothelial Cells Underscores New Roles of PGI2 In Angiogenesis.- VIII Respiratory System.- 28. Leukotriene C4 Synthase Gene Polymorphism in Severe Asthma.- IX Inflammation.- 29. Anti-Inflammatory Levels of Aspirin and Salicylate Inhibit Integrin-Dependent Human Neutrophil Aggregation and PMN Influx in COX2- and NFkB(P105)- Knockout Mice.- 30. Antipyretic Action of Acetaminophen: Inhibition of the Cyclooxygenase Activity of Endothelial Cells Treated with IL-1.- 31. Leukotriene-Mediated Alteration of Endothelial Barrier Function.- 32. GI and Cardiovascular Profiles of New NSAIDs: Selective COX-2 Inhibitors and NO-NSAIDs.- 33. NO-Releasing NSAIDs Modulate Cytokine Secretion.- 34. Potent Inhibitory Effects of a NO-NSAID (Flurbiprofen Nitroxybutylester) on Bone Resorption in Vitro and in Vivo.- X Cancer.- 35. Lipid Peroxidation and Cyclooxygenase-2 Activity in Human Hepatocellular Carcinoma Cell Lines with and without Multiple Drug Resistance: Correlation with Cell Growth.- 36. Pulmonary Prostacyclin Synthase Overexpression Improves Survival Following Butylated Hydroxytoluene Exposure.- XI Isoprostanes.- 37. Reactive Products of the Isoprostane Pathway: Isoketals and Cyclopentenone A2/J2-Isoprostanes.- 38. Increased Isoprostane 8-epi-PGF2A in Statin-Induced Myopathy.…

Buch. Condición: Neu. Neuware - Some of the best vision scientists in the world in their respective fields have contributed to chapters in this book. They have expertise in a wide variety of fields, including bioengineering, basic and clinical visual science, medicine, neurophysiology, optometry, and psychology. Their combined efforts have resulted in a high quality book that covers modeling and quantitative analysis of optical, neurosensory, oculomotor, perceptual and clinical systems. It includes only those techniques and models that have such fundamentally strong physiological, control system, and perceptual bases that they will serve as foundations for models and analysis techniques in the future. The book is aimed first towards seniors and beginning graduate students in biomedical engineering, neurophysiology, optometry, and psychology, who will gain a broad understanding of quantitative analysis of the visual system. In addition, it has sufficient depth in each area to be useful as an updated reference and tutorial for graduate and post-doctoral students, as well as general vision scientists. …

Taschenbuch. Condición: 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.…

Taschenbuch. Condición: 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.…

Taschenbuch. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. …

Taschenbuch. Condición: 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.…

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

Taschenbuch. Condición: 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.…

Buch. Condición: 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.…