Springer springer mai 2001 (353 Ergebnisse)

Kombiprodukt. Zustand: Neu. Neuware - In the last decade new artificial intelligence methods for the modelling and control of complex systems, namely neural networks, fuzzy logic and probabilistic reasoning have drawn the interest of researchers and engineers. Recently, the advantages achievable by using combinations of these methods, which have independent origin and evolution, have been pointed out, generating a new paradigm which is now termed 'soft-computing'. This new methodology subsumes the capabilities of neural networks for modelling non-linear systems and for solving classification problems, the power of fuzzy-logic to represent approximate or heuristic reasoning and the large capabilities of evolutionary computation for problem optimisation. The book presents a clear understanding of a new type of computation system, the cellular neural network (CNN), which has been successfully applied to the solution of many heavy computation problems, mainly in the fields of image processing and complex partial differential equations. CNNs' computation-based systems represent new opportunities for improving the soft-computation toolbox. The application of soft computing to complex systems and in particular to chaotic systems with the generation of chaotic dynamics by using CNN is also described. These aspects are of particular interest owing to their growing interest for research and application purposes.Specific topics covered in the text include:- fuzzy logic, control and neural networks;- artificial neural networks and their application in the modelling and control of dynamical systems;- evolutionary optimisation algorithms;- complex dynamics and cellular neural networks;- applications in urban traffic noise monitoring, robot control and rapid thermal process systems.…

Buch. Zustand: Neu. Neuware - In this book, outstanding researchers from the US and Japan review recent progress in Epstein-Barr virus research. Most people carry EBV in memory B-cells in a latent stage. Many malignancies such as T/NK cell lymphoma, AIDS-associated B-cell lymphoma, gastric carcinoma and Hodgkin's disease have been causally linked to EBV. The development of molecular biology technique has allowed us to study the roles of individual EBV genes that act in the maintenance and disruption of EBV latency.Preface.-EBV's plasmid Replicon: an enigma in cis and trans.- Replication licensing of EBV oriP minicromosome.- Epstein-Barr virus nuclear protein 2-induced activation of the EBV-replicative cycle in Akata cells: analysis by tetracycline-regulated expression.-Two Epstein-Barr virus glycoprotein complexes.-EBV replication enzymes.-Pathology and molecular pathology of Epstein-Barr virus-associated gastric carcinoma.-EBV and non-Hodgkin's lymphoma with special emphasis on pyothorax-associated lymphoma.-AIDS lymphoma: its virological aspects.-Role of Epstein-Barr virus in Burkitt's lymphoma.-EBV regulates c-MYC, apoptosis, and tumorigenicity in Burkitt's Lymphoma.-Epstein-Barr virus infection of human epithelial cells.-Characterization of EBV-infected epithelial cell lines from gastric cancer bearing tissues.-A new animal model for Epstein-Barr virus pathogenessis.-Adoptive immunotherapy of EBV-associated malignancies with EBV-specific cytotoxic T cell lines.-Subject indexPreface.- EBV's plasmid Replicon: an enigma in cis and trans.- Replication licensing of EBV oriP minicromosome.- Epstein-Barr virus nuclear protein 2-induced activation of the EBV-replicative cycle in Akata cells: analysis by tetracycline-regulated expression.- Two Epstein-Barr virus glycoprotein complexes.- EBV replication enzymes.- Pathology and molecular pathology of Epstein-Barr virus-associated gastric carcinoma.- EBV and non-Hodgkin's lymphoma with special emphasis on pyothorax-associated lymphoma.- AIDS lymphoma: its virological aspects.- Role of Epstein-Barr virus in Burkitt's lymphoma.- EBV regulates c-MYC, apoptosis, and tumorigenicity in Burkitt's Lymphoma.- Epstein-Barr virus infection of human epithelial cells.- Characterization of EBV-infected epithelial cell lines from gastric cancer bearing tissues.- A new animal model for Epstein-Barr virus pathogenessis.- Adoptive immunotherapy of EBV-associated malignancies with EBV-specific cytotoxic T cell lines.…

Buch. Zustand: Neu. Neuware - 3. 8 Problems . . . 66 4 ENABLING REUSE 69 4. 1 Concepts . . . . . . . . 69 4. 2 Exploiting commonality 70 4. 3 Reusable building blocks 71 4. 4 Allowing replaceable components 75 4. 5 Other replaceable entities 79 4. 6 Limiting flexibility . . . 82 4. 7 Other considerations . . 84 4. 8 Language fundamentals 85 4. 9 Problems . . . . . . . . 88 5 FUNCTIONS 91 5. 1 Concepts . . . . . . . . 91 5. 2 Introduction to functions 92 5. 3 An interpolation function 94 5. 4 Multiple return values 96 97 5. 5 Passing records as arguments 5. 6 Using extemal subroutines 100 5. 7 Language fundamentals 102 5. 8 Problems . . . . . . . . 110 6 USING ARRAYS 113 6. 1 Concepts . . . . . . . . . . . . . . . . . . 113 6. 2 Planetary motion: Arrays of components . . 113 6. 3 Simple ID heat transfer: Arrays of variables 120 6. 4 Using arrays with chemical systems 132 6. 5 Language fundamentals 143 6. 6 Problems . . . . . . . . . . . . . . 152 7 HYBRID MODELS 155 7. 1 Concepts . . . . . . . . 155 7. 2 Modeling digital circuits 155 7. 3 Bouncing ball . . . . . . 162 7. 4 Sensor modeling . . . . 166 7. 5 Language fundamentals 178 7. 6 Problems . . . . . . . . 186 8 EXPLORING NONLINEAR BEHAVIOR 189 8. 1 Concepts . . . 189 8. 2 An ideal diode 189 8. 3 Backlash . . . 193 8. 4 Thermal properties 199 Contents vii 8. 5 Hodgkin-Huxley nerve cell models 203 8. 6 Language fundamentals 206 8. 7 Problems . . . . . . . . . . . . . . 210 9 MISCELLANEOUS 213 9. 1 Lookup rules 213 9. 2 Annotations . . 225 Part II Effective Modelica 10 MULTI-DOMAIN MODELING 231 10. 1 Concepts . . . . . . . . . 231 231 10. 2 Conveyor system . . . . .…

Kombiprodukt. Zustand: Neu. Neuware - Active networking is an exciting new paradigm in digital networking that has the potential to revolutionize the manner in which communication takes place. It is an emerging technology, one in which new ideas are constantly being formulated and new topics of research are springing up even as this book is being written. This technology is very likely to appeal to a broad spectrum of users from academia and industry. Therefore, this book was written in a way that enables all these groups to understand the impact of active networking in their sphere of interest. Information services managers, network administrators, and e-commerce developers would like to know the potential benefits of the new technology to their businesses, networks, and applications. The book introduces the basic active networking paradigm and its potential impacts on the future of information handling in general and on communications in particular. This is useful for forward-looking businesses that wish to actively participate in the development of active networks and ensure a head start in the integration of the technology in their future products, be they applications or networks. Areas in which active networking is likely to make significant impact are identified, and the reader is pointed to any related ongoing research efforts in the area. The book also provides a deeper insight into the active networking model for students and researchers, who seek challenging topics that define or extend frontiers of the technology. It describes basic components of the model, explains some of the terms used by the active networking community, and provides the reader with taxonomy of the research being conducted at the time this book was written. Current efforts are classified based on typical research areas such as mobility, security, and management. The intent is to introduce the serious reader to the background regarding some of the models adopted by the community, to outline outstanding issues concerning active networking, and to provide a snapshot of the fast-changing landscape in active networking research. Management is a very important issue in active networks because of its open nature. The latter half of the book explains the architectural concepts of a model for managing active networks and the motivation for a reference model that addresses limitations of the current network management framework by leveraging the powerful features of active networking to develop an integrated framework. It also describes a novel application enabled by active network technology called the Active Virtual Network Management Prediction (AVNMP) algorithm. AVNMP is a pro-active management system; in other words, it provides the ability to solve a potential problem before it impacts the system by modeling network devices within the network itself and running that model ahead of real time.…

Buch. Zustand: Neu. Neuware - Many satellites have recently been launched or are in preparation, which operate in the microwave to IR ranges, the main objective being to observe the earth's atmosphere or interstellar clouds. Analysis of the data they supply requires extensive laboratory work because we still only have sufficiently accurate data (line positions, intensities, and profiles) for only a few species. Furthermore, the observer community is making increasing calls for laboratory data, as new development open up new observational possibilities (such as submillimeter observation). Research on these subjects involves many different areas of specialisation in fields of research that generate a wealth of data. In Spectroscopy from Space the people responsible for field observations explain which results they are expecting from their measurements and how laboratory people can help them to analyse their satellite data. Laboratory spectroscopists explain why what they can do now, and what kinds of experiment and theoretical development that might undertake to meet the needs of the remote sensing community. The problems of distributing reliable laboratory data in a timely way are also addressed.…

Buch. Zustand: Neu. Neuware -Our Sun is the nearest star and thus an ideal laboratory to study dynamic processes which are related to solar terrestrial physics.The topics addressed in this book cover solar MHD and generation of acoustic waves, as well as physical parameters that are suited to describing solar activity and could serve as proxies for space weather forecasting. The influence of solar activity (radiation and solar wind) on telecommunication systems, satellite missions etc. is also discussed. In short, contribution reports are given on various topics in solar physics.The book covers solar physics from the photosphere to space weather influences. The intended level of readership is aimed at students working in this or related fields, professionals, and astronomers who wish to acquire some basic knowledge in the field of solar terrestrial relations, which is provided in the review articles.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.…

Buch. Zustand: Neu. Neuware - 'The virtual digital domain allows the capture, processing, transmission, storage, retrieval and display of text, images, audio and animation, without familiar materials such as paper, celluloid, magnetic tape and plastic. But moving from these media to the digital domain introduces all sorts of problems, such as the conversion of analogue archives, multimedia databases, content-based retrieval and the design of new content that exploits the benefits offered by digital systems. It is this issue of digital content creation that is addressed in this book.Different aspects of digital content creation are discussed in this volume, contributed by authors from around the world. Although each chapter addresses an individual aspect of the digital domain, there are common threads that unite them into an exciting vision of the future.'.…

Buch. Zustand: Neu. Neuware - Computation of Unsteady Internal Flows provides an in-depth understanding of unsteady flow modeling and algorithms. This understanding enables suitable algorithms and approaches for particular fields of application to be selected. In addition, the understanding of the behavior of algorithms gained allows practitioners to use them more safely in existing codes, enabling meaningful results to be produced more economically. Features of Computation of Unsteady Internal Flows: Specialized unsteady flow modeling algorithms, their traits, and practical tips relating to their use are presented. Case studies considering complex, practically significant problems are given. Source code and set-up files are included. Intended to be of a tutorial nature, these enable the reader to reproduce and extend case studies and to further explore algorithm performances. Mathematical derivations are used in a fashion that illuminates understanding of the physical implications of different numerical schemes. Physically intuitive mathematical concepts are used. New material on adaptive time stepping is included. £/LIST£ Audience: Researchers in both the academic and industrial areas who wish to gain in-depth knowledge of unsteady flow modeling will find Computation of Unsteady Internal Flows invaluable. It can also be used as a text in courses centered on computational fluid dynamics.…

Buch. Zustand: Neu. Neuware - It has become apparent that vision is not a passive process working on the retinal image like a film to record a perfect copy as the perception. Instead, higher-level cognitive processes such as expectancies, memories and experience play a critical, almost overriding role. This book is a review and summary of the tremendous advances that have been made in recent years on the effect of attention on visual perception. The book will appeal to vision scientists as well as to people involved in using visual processes in computer animations, display design or the sensory systems of machines. Physiologists and neuroscientists interested in any aspect of sensory or motor processes will also find this a very useful and broad-ranging volume.…

Buch. Zustand: Neu. Neuware - The diversification in family practices constitutes a major theme of research in the field of population studies. A substantial part of these diversification processes are linked to the stage of family formation. The increase in non-marital cohabitation and non-marital fertility and the postponement of marriage and parenthood have particularly characterised the transition from youth to adulthood among the post-war cohorts. In studying the transition from youth to adulthood, the timing of events is crucial. Different timing patterns are the product of the interplay between a multitude of factors in the institutional as well as the personal context. In this respect, cross-country comparative research is a powerful tool to understand the determinants of the change processes. To move beyond the mere description of the changes is a challenge that not only is eminently scientific, it also gives the necessary insights to grasp the implications of the changes for policy. From this policy perspective, the postponement of the integration into adulthood has major societal consequences, such as the very low fertility and the fact that the family formation itself became a matter of choice. Over the years, the Population and Family Studies Centre (CBGS), a scientific institute of the Flemish Community, has intensively investigated these changes constituting the Second Demographic Transition, not only through national but through cross-national comparative research.…

Buch. Zustand: Neu. Neuware - Oaxaca, Mexico, was the place chosen by a large international group of scientists to meet and discuss on the recent advances on the understanding of the physical prop- ties of low dimensional systems; one of the most active fields of research in condensed matter in the last years. The International Symposium on the Physics of Low Dim- sions took place in January 16-20, 2000. The group of scientists converging into the historical city of Oaxaca, in the state of the same name, had come from Argentina, Chile, Venezuela, several places in Mexico, Canada, U. S. A. , England, France, Italy, Germany, Russia, and Switzerland. The presentations at the workshop provided sta- of-art reviews of many of the most important problems, currently under study. Equally important to all the participants in the workshop was the fact that we had come to honor a friend, Hans Christoph Siegmann, on his sixty-fifth birthday. This Festschrift recognizes the intellectual leadership of Professor Siegmann in the field and as a sincere homage to his qualities as an exceptional friend, college and mentor. Those who have had the privilege to work closely with Hans Christoph have been deeply impressed by his remarkable analytic mind as well as by his out of range kindness and generosity. Hans Christoph has contributed to the understanding of the difficult and very important problem of the magnetic properties of finite systems: surfaces, thin films, heterostructures.…

Buch. Zustand: Neu. Neuware - Since the early eighties IFIP/Sec has been an important rendezvous for Information Technology researchers and specialists involved in all aspects of IT security. The explosive growth of the Web is now faced with the formidable challenge of providing trusted information. IFIP/Sec'01 is the first of this decade (and century) and it will be devoted to 'Trusted Information - the New Decade Challenge' This proceedings are divided in eleven parts related to the conference program. Session are dedicated to technologies: Security Protocols, Smart Card, Network Security and Intrusion Detection, Trusted Platforms. Others sessions are devoted to application like eSociety, TTP Management and PKI, Secure Workflow Environment, Secure Group Communications, and on the deployment of applications: Risk Management, Security Policies andTrusted System Design and Management. The year 2001 is a double anniversary. First, fifteen years ago, the first IFIP/Sec was held in France (IFIP/Sec'86, Monte-Carlo) and 2001 is also the anniversary of smart card technology. Smart cards emerged some twenty years ago as an innovation and have now become pervasive information devices used for highly distributed secure applications. These cards let millions of people carry a highly secure device that can represent them on a variety of networks. To conclude, we hope that the rich 'menu' of conference papers for this IFIP/Sec conference will provide valuable insights and encourage specialists to pursue their work in trusted information. …

Buch. Zustand: Neu. Neuware - This book is the proceedings of the Falk Symposium No. 121 on 'Steatohepatitis (NASH and ASH)', held in Den Haag, The Netherlands, on October 14-15, 2000. The histological features of what we now call non-alcoholic steatohepatitis were described as early as 1962 by the Honorary President of the Symposium, Professor Herbert Thaler, from Vienna. Others followed, and in 1980 Jürgen Ludwig, one of the speakers of this symposium, introduced the name `non-alcoholic steatohepatitis' or NASH. In a Consensus Symposium organized by the National Institute of Health (NIH) in Washington, USA, in December 1998, NASH was recognized as one of the most common liver diseases in Western countries when viral hepatitis and heavy alcohol consumption were excluded. ASH, or alcoholic steatohepatitis, is more common than NASH, since alcohol is omnipresent in Western as well as Eastern cultures. Histologically NASH and ASH are similar or even identical. Morphological findings range from fatty degeneration to inflammation and fibrosis, and may end up in liver cirrhosis. In spite of the well-defined morphological features, our knowledge of epidemiology, aetiology, and pathogenesis is full of gaps, especially for NASH. Therefore, it is the purpose of this book to show the state of the art, to discuss recent scientific data, and to suggest possible treatment strategies, hoping to stimulate clinicians as well as scientists.…

Buch. Zustand: Neu. Neuware - The formal study of program behavior has become an essential ingredient in guiding the design of new computer architectures. Accurate characterization of applications leads to efficient design of high performing architectures. Quantitative and analytical characterization of workloads is important to understand and exploit the interesting features of workloads. This book includes ten chapters on various aspects of workload characterizati on. File caching characteristics of the industry-standard web-serving benchmark SPECweb99 are presented by Keller et al. in Chapter 1, while value locality of SPECJVM98 benchmarks are characterized by Rychlik et al. in Chapter 2. SPECJVM98 benchmarks are visited again in Chapter 3, where Tao et al. study the operating system activity in Java programs. In Chapter 4, KleinOsowski et al. describe how the SPEC2000 CPU benchmark suite may be adapted for computer architecture research and present the small, representative input data sets they created to reduce simulation time without compromising on accuracy. Their research has been recognized by the Standard Performance Evaluation Corporation (SPEC) and is listed on the official SPEC website, spec. org/osg/cpu2000/research/umnl. The main contribution of Chapter 5 is the proposal of a new measure called locality surface to characterize locality of reference in programs. Sorenson et al. describe how a three-dimensional surface can be used to represent both of programs. In Chapter 6, Thornock et al.…

Buch. Zustand: Neu. Neuware - The volume contains the papers presented at the fifth working conference on Communications and Multimedia Security (CMS 2001), held on May 21-22, 2001 at (and organized by) the GMD -German National Research Center for Information Technology GMD - Integrated Publication and Information Systems Institute IPSI, in Darmstadt, Germany. The conference is arranged jointly by the Technical Committees 11 and 6 of the International Federation of Information Processing (IFIP) The name 'Communications and Multimedia Security' was first used in 1995, Reinhard Posch organized the first in this series of conferences in Graz, Austria, following up on the previously national (Austrian) 'IT Sicherheit' conferences held in Klagenfurt (1993) and Vienna (1994). In 1996, the CMS took place in Essen, Germany; in 1997 the conference moved to Athens, Greece. The CMS 1999 was held in Leuven, Belgium. This conference provides a forum for presentations and discussions on issues which combine innovative research work with a highly promising application potential in the area of security for communication and multimedia security. State-of-the-art issues as well as practical experiences and new trends in the areas were topics of interest again, as it has already been the case at previous conferences. This year, the organizers wanted to focus the attention on watermarking and copyright protection for e commerce applications and multimedia data. We also encompass excellent work on recent advances in cryptography and their applications. In recent years, digital media data have enormously gained in importance.…

Buch. Zustand: Neu. Neuware - This book provides a simplified and practical approach to designing with plastics that funda mentally relates to the load, temperature, time, and environment subjected to a product. It will provide the basic behaviors in what to consider when designing plastic products to meet performance and cost requirements. Important aspects are presented such as understanding the advantages of different shapes and how they influence designs. Information is concise, comprehensive, and practical. Review includes designing with plastics based on material and process behaviors. As de signing with any materials (plastic, steel, aluminum, wood, etc.) it is important to know their behaviors in order to maximize product performance-to-cost efficiency. Examples of many different designed products are reviewed. They range from toys to medical devices to cars to boats to underwater devices to containers to springs to pipes to buildings to aircraft to space craft. The reader's product to be designed can directly or indirectly be related to product design reviews in the book. Important are behaviors associated and interrelated with plastic materials (thermoplastics, thermosets, elastomers, reinforced plastics, etc.) and fabricating processes (extrusion, injec tion molding, blow molding, forming, foaming, rotational molding, etc.). They are presented so that the technical or non-technical reader can readily understand the interrelationships.…

Buch. Zustand: Neu. Neuware -Principles of Forecasting: A Handbook for Researchers and Practitioners summarizes knowledge from experts and from empirical studies. It provides guidelines that can be applied in fields such as economics, sociology, and psychology. It applies to problems such as those in finance (How much is this company worth ), marketing (Will a new product be successful ), personnel (How can we identify the best job candidates ), and production (What level of inventories should be kept ).The book is edited by Professor J. Scott Armstrong of the Wharton School, University of Pennsylvania. Contributions were written by 40 leading experts in forecasting, and the 30 chapters cover all types of forecasting methods. There are judgmental methods such as Delphi, role-playing, and intentions studies. Quantitative methods include econometric methods, expert systems, and extrapolation. Some methods, such as conjoint analysis, analogies, and rule-based forecasting, integrate quantitative and judgmental procedures. In each area, the authors identify what is known in the form of `if-then principles', and they summarize evidence on these principles.The project, developed over a four-year period, represents the first book to summarize all that is known about forecasting and to present it so that it can be used by researchers and practitioners. To ensure that the principles are correct, the authors reviewed one another's papers. In addition, external reviews were provided by more than 120 experts, some of whom reviewed many of the papers. The book includes the first comprehensive forecasting dictionary.…

Buch. Zustand: Neu. Neuware - Principles of Forecasting: A Handbook for Researchers and Practitioners summarizes knowledge from experts and from empirical studies. It provides guidelines that can be applied in fields such as economics, sociology, and psychology. It applies to problems such as those in finance (How much is this company worth ), marketing (Will a new product be successful ), personnel (How can we identify the best job candidates ), and production (What level of inventories should be kept ). The book is edited by Professor J. Scott Armstrong of the Wharton School, University of Pennsylvania. Contributions were written by 40 leading experts in forecasting, and the 30 chapters cover all types of forecasting methods. There are judgmental methods such as Delphi, role-playing, and intentions studies. Quantitative methods include econometric methods, expert systems, and extrapolation. Some methods, such as conjoint analysis, analogies, and rule-based forecasting, integrate quantitative and judgmental procedures. In each area, the authors identify what is known in the form of `if-then principles', and they summarize evidence on these principles. The project, developed over a four-year period, represents the first book to summarize all that is known about forecasting and to present it so that it can be used by researchers and practitioners. To ensure that the principles are correct, the authors reviewed one another's papers. In addition, external reviews were provided by more than 120 experts, some of whom reviewed many of the papers. The book includes the first comprehensive forecasting dictionary.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book sets forth a set of truly controversial and astonishing theories: First, it proposes that below the surface of the earth is a biosphere of greater mass and volume than the biosphere the total sum of living things on our planet's continents and in its oceans. Second, it proposes that the inhabitants of this subterranean biosphere are not plants or animals as we know them, but heat-loving bacteria that survive on a diet consisting solely of hydrocarbons that is, natural gas and petroleum. And third and perhaps most heretically, the book advances the stunning idea that most hydrocarbons on Earth are not the byproduct of biological debris ('fossil fuels'), but were a common constituent of the materials from which the earth itself was formed some 4.5 billion years ago.The implications are astounding. The theory proposes answers to often-asked questions: Is the deep hot biosphere where life originated, and do Mars and other seemingly barren planets contain deep biospheres Evenmore provocatively, is it possible that there is an enormous store of hydrocarbons upwelling from deep within the earth that can provide us with abundant supplies of gas and petroleum However far-fetched these ideas seem, they are supported by a growing body of evidence, and by the indisputable stature and seriousness Gold brings to any scientific debate. In this book we see a brilliant and boldly original thinker, increasingly a rarity in modern science, as he develops potentially revolutionary ideas about how our world works. 260 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Lie linksbetweentorus and Toroidal arethe complex missing groups any groups such and of Lie as complex pseudoconvexity groups. Manyphenomena groups the of beunderstood thestructure can onlythrough concept cohomologygroups of different behavior ofthe oftoroidal The cohomology complex groups groups. the of their toroidal Lie be characterized can by properties groups - groups in their centers. pearing book. So the oldest have not been treated in a Toroidal systematically groups in it who worked in this field and the mathematician youngest working living aboutthemain results these decidedto a concerning comprehensivesurvey give and to discuss problems. open groups of the torus As the Toroidal are generalization groups. groups non-compact and Grauert. As in the sense ofAndreotti manifolds are convex complex they others have similarbehaviorto Lie someofthem a complextori, complex groups whencec- different with for non-Hausdorff are example cohomology groups, mustbe used. newmethods pletely of is to describe the fundamental The aim of these lecture notes properties the reductiontheorem toroidal As a result ofthe qua- meromorphic groups. basic ends inthethird varieties of interest.Their Abelian are special description MainTheorem. withthe chapter wide atthe - ofSOPHus LIE -wasintroducedtoa This inhonour public theory ' 1999. after Lie' in on Conference 100Years Leipzig, July 8-9, Sophus HUMBOLDT wishes to thank the ALEXANDER VON The first-named author FOUNDATION for partial support. December 1998 Hannoverand Toyama, YukitakaAbeandKlaus Kopfermann Contents 1 Introduction . of Toroidal 3 1. The Concept Groups . 1.1 and toroidal coordinates 3 Irrationality . Toroidal 3 . groups 7 Complex homomorphisms . Toroidal coordinates and C n-q -fibre bundles 9 . 152 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A well written, readable and easily accessible introduction to 'Choquet theory', which treats the representation of elements of a compact convex set as integral averages over extreme points of the set. The interest in this material arises both from its appealing geometrical nature as well as its extraordinarily wide range of application to areas ranging from approximation theory to ergodic theory. Many of these applications are treated in this book. This second edition is an expanded and updated version of what has become a classic basic reference in the subject. 136 pp. Englisch. …

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Since the late 1980s, the CAiSE conferences have provided a forum for the p- sentation and exchange of research results and practical experiences within the eld of Information Systems Engineering. CAiSE 2001 was the 13th conference in this series and was held from 4th to 8th June 2001 in the resort of Int- laken located near the three famous Swiss mountains - the Eiger, M onch, and Jungfrau. The rst two days consisted of pre-conference workshops and tutorials. The workshop themes included requirements engineering, evaluation of modeling methods, data integration over the Web, agent-oriented information systems, and the design and management of data warehouses. Continuing the tradition of recent CAiSE conferences, there was also a doctoral consortium. The p- conference tutorials were on the themes of e-business models and XML appli- tion development. The main conference program included three invited speakers, two tuto- als, and a panel discussion in addition to presentations of the papers in these proceedings. We also included a special 'practice and experience' session to give presentersanopportunitytoreportonanddiscussexperiencesandinvestigations on the use of methods and technologies in practice. Weextendourthankstothemembersoftheprogramcommitteeandallother referees without whom such conferences would not be possible. The program committee, whose members came from 20 di erent countries, selected 27 hi- quality research papers and 3 experience reports from a total of 97 submissions. The topics of these papers span the wide-range of topics relevant to information systems engineering - from requirements and design through to implementation and operation of complex and dynamic systems. 504 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -AI 2001 is the 14th in the series of Arti cial Intelligence conferences sponsored by the Canadian Society for Computational Studies of Intelligence/Soci et e - nadienne pour l' etude de l'intelligence par ordinateur. As was the case last year too, the conference is being held in conjunction with the annual conferences of two other Canadian societies, Graphics Interface (GI 2001) and Vision Int- face (VI 2001). We believe that the overall experience will be enriched by this conjunction of conferences. This year is the silver anniversary' of the conference: the rst Canadian AI conference was held in 1976 at UBC. During its lifetime, it has attracted Canadian and international papers of high quality from a variety of AI research areas. All papers submitted to the conference received at least three indep- dent reviews. Approximately one third were accepted for plenary presentation at the conference. The best paper of the conference will be invited to appear in Computational Intelligence. 384 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Theoretical Foundations of Computer Vision, held at Dagstuhl Castle, Germany, in March 2000.The 20 revised full papers presented have been through two rounds of reviewing, selection, and revision and give a representative assessment of the foundational issues in multiple-image processing. The papers are organized in topical sections on 3D data acquisition and sensor design, multi-image analysis, data fusion in 3D scene description, and applied 3D vision and virtual reality. 304 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This text is an introduction to current research on the N- vortex problem of fluid mechanics. It describes the Hamiltonian aspects of vortex dynamics as an entry point into the rather large literature on the topic, with exercises at the end of each chapter. 444 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Smart cards are playing an increasingly important role in areas such as ban- 1 king,electroniccommerce,andtelecommunications. TheJavaCard language hasbeenproposedasahigh-levellanguageforprogrammingmulti-application smartcards. Theuseofahigh-levellanguagecanfacilitatethedevelopmentand veri cation of software for smart cards. The modest code size and the imp- tanceoftheapplicationareasimpliesthatitisbothpossibleanddesirableto developandapplyformalmethodsintheconstructionofsafeandsecureJava Cardsoftware. ThepresentvolumeconstitutestheproceedingsoftheJavaCardworkshop heldinCannes,14September2000. TheworkshopgrewoutoftheINRIAAction deRechercheCoop erative JavaCard andwasorganizedincollaborationwith the Java Card Forum. A call for papers resulted in 14 submissions of which theprogramcommitteeselected11papersforpresentationattheworkshop. In addition,theworkshopfeaturedaninvitedtalkbyDanielLeM etayer,Trusted Logic,onformalmethodsandsmartcardsecurity. WewishtothankCatherine Godest and Maryse Renaud for their help with preparing the proceedings for thisworkshop. February2001IsabelleAttali ThomasJensen 1 ItshouldbenotedthatJavaCardisatrademarkofSunMicrosystems. Organization ProgramCommittee ProgramChair: IsabelleAttali(INRIA,France) ThomasJensen(IRISA/CNRS,France) Committeemembers: ChristianGoire(BullCP8,France) SebastianHans(SunMicrosystems,USA) PieterHartel(UniversityofSouthampton,UK) PeterHoneyman(UniversityofMichigan,USA) PierreParadinas(Gemplus,France) JoachimPosegga(SAPCorporateResearch,Germany) TableofContents InvitedTalk FormalMethodsinContext:SecurityandJavaCard . . . . . . . . . . . . . . . . . . . 1 D. Bolignano,D. LeM etayer,C. Loiseaux ContributedPapers ADynamicLogicfortheFormalVeri cationofJavaCardPrograms . . . . . 6 BernhardBeckert ThePACAPPrototype:AToolforDetectingJavaCardIllegalFlow . . . . . 25 P. Bieber,J. Cazin,A. ElMarouani,P. Girard,J. -L. Lanet,V. Wiels, G. Zanon CardKt:AutomatedMulti-modalDeductiononJavaCardsfor Multi-applicationSecurity. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 RajeevGor e,LanDuyNguyen A Programming and a Modelling Perspective on the Evaluation of Java CardImplementations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 PieterH. Hartel,EduarddeJong SecureInternetSmartcards. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 NaomaruItoi,TomokoFukuzawa,PeterHoneyman IssuesinSmartcardMiddleware. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90 RogerKehr,MichaelRohs,HaraldVogt OpenPlatfomSecurity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 MarcKekiche ,ForoughKashef,DavidBrewer ASimple(r)InterfaceDistributionMechanismforJavaCard . . . . . . . . . . . . 114 KsheerabdhiKrishna,MichaelMontgomery AutomaticTestGenerationforJavaCardApplets . . . . . . . . . . . . . . . . . . . . . 121 HuguesMartin,LydieduBousquet FormalSpeci cationandVeri cationofJavaCard sApplicationIdenti er Class. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137 JoachimvandenBerg,BartJacobs,ErikPoll X TableofContents Security on Your Hand: Secure Filesystems with a Non-cryptographic JAVA-Ring. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151 R udigerWeis,BastiaanBakker,StefanLucks AuthorIndex . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163 Formal Methods in Context: Security and Java Card D. Bolignano, D. Le Métayer, and C. Loiseaux Trusted Logic trusted-logic. fr 1. Security and Java Card: An Ideal Application Area for Formal Methods The benefits of formal methods for software engineering have been described at length in many research papers. They include among others: Better understanding and improved communication through unambiguous 176 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Autonomous agents have become a vibrant research and development topic in recent years attracting activity and attention from various areas. The basic agent concept incorporates proactive autonomous units with goal-directed-behaviour and communication capabilities. The book focuses on autonomous agents that can act in a goal directed manner under real time constraints and incomplete knowledge, being situated in a dynamic environment where resources may be restricted. To satisfy such complex requirements, the author improves, combines, and applies results from areas like planning, constraint programming, and local search. The formal framework developed is evaluated by application to the field of computer games, which fit the problem context very well since most of them are played in real time and provide a highly interactive environment where environmental situations are changing rapidly. 200 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is the first full length exploration of the relationship between Gothic fiction and Modernism in fiction and film. The Gothic's fascination with images of the fragmented self is echoed in the Modernist concern with the psyche and the paranoia of the everyday. The contributors explore how the Gothic influences a range of writers including James Joyce, D.H. Lawrence, Virginia Woolf, May Sinclair, Elizabeth Bowen and Djuna Barnes. 232 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -RoboCup2000,theFourthRobotWorldCupSoccerGamesandConferences, washeldfromAugust27thtoSeptember3rd,2000,attheMelbourneExhi- tionCenterinMelbourne,Australia. LikethepreviousinternationalRoboCup events RoboCup97 in Nagoya, Japan; RoboCup98 in Paris, France; and RoboCup99inStockholm,Sweden RoboCup2000includedatechnicalwo- shopaswellasseveralroboticsoccercompetitions. RoboCup2000introduced the rstRoboCupJr. competitionforchildren,aswellasdemonstrationsof humanoidrobotsandoftheRoboCup-Rescuedisasterrescuesimulator. ThisbookdocumentsRoboCup2000. Itconsistsof(i)anoverview;(ii)ch- pionshippapersbythewinnersofthecompetitions;(iii)the nalistpapersfor theRoboCupchallengeawards;(iv)thepapersandposterspresentedatthe workshop;and(v)descriptionsoftheteamsthatcompeted. Thebookbeginswithanoverviewarticleintroducingthecompetitionsand demonstrationsandincludingthescoresofallofthegamesinthefourc- petitionleagues:thesimulationleague,thesmall-sizerobot(F180)league,the middle-sizerobot(F2000)league,andtheSonyleggedrobotleague. Thefoll- ingsectionpresentsthechampionshippapersfromthewinnersoftheseleagues. TheRoboCupchallengeawardsaredistinctionsthataregivenannuallyto theRoboCup-relatedresearcherswiththegreatestpotentialtoadvancetheir respective elds. InRoboCup2000,thechallengeaward nalistswereselected fromamongtheworkshoppapers. Thefourselected nalistpapersappearin thenextsection. TheannualRoboCupworkshopprovidesaforumforRoboCupresearchers toexchangeideasthataregenerallyapplicableacrossthedi erentRoboCup leaguesand/orthatareofgeneralscienti cinterest. TheRoboCup2000wo- shopreceivedmorethan60submissions,fromwhich20wereselectedforfull presentationandanadditional20wereselectedforposterpresentation. These researchpapersformthemainbodyofthisbook. Thebookconcludeswithdescriptionsofmostofthemorethan80teams thatcompetedinRoboCup2000. Theseteamdescriptionsservetocatalogthe fullrangeofresearchersandapproachesthathavebeenappliedtothechallenges putforthbyRoboCup. ThenextinternationalRoboCupeventswillbeheldinSeattle,USA(2001) andinFukuoka,Japan(2002). InadditiontoallexistingRoboCupevents,they arescheduledtointroduce(i)RoboCup-Rescuedisasterrescuecompetitionsfor thetransferofideasandtechniquesdevelopedinthesoccerdomaintoarelated task,and(ii)ahumanoidrobotcompetitionasasteptowardsthelong-termgoal ofcreatingafullteamofhumanoidrobotsthatcompeteonarealsoccer eld. Welookforwardtocontinuingresearchinnovationsandexcitingdemonstrations ofroboticsandAItechnologyintheseandotherfutureRoboCupevents. March2000 PeterStone,TuckerBalch,andGerhardKraetzschmar RoboCupFederation TheRoboCupFederation,thegoverningbodyofRoboCup,isaninternational organizationthatpromotesscienceandtechnologyusingsoccergamesbyrobots andsoftwareagents. President: HiroakiKitano,JapanScienceandTechnologyCorporation,Japan Vice-Presidents: MinoruAsada,OsakaUniversity,Japan EnricoPagello,UniversityofPadua,Italy ManuelaVeloso,CarnegieMellonUniversity,USA Trustees: Hans-DieterBurkhard,HumboldtUniversity,Germany SilviaCoradeschi,OrebroUniversity,Sweden DominiqueDuhaut,UniversityofSouthernBretagne,France FransGroen,UniversityofAmsterdam,TheNetherlands AndrewJennings,RoyalMelbourneInstituteofTechnology,Australia MilindTambe,UniversityofSouthernCalifornia,USA ExecutiveCommittee: TuckerBalch,CarnegieMellonUniversity,USA AndreasBirk,FreeUniversityofBrussels,Belgium MasahiroFujita,SonyCorp. ,Japan GerhardKraetzschmar,UniversityofUlm,Germany PaulLevi,UniversityofStuttgart,Germany PedroLima,ISR/IST,TechnicalUniversityofLisbon,Portugal HenrikLund,UniversityofSouthernDenmark,Denmark DanieleNardi,UniversityofRome LaSapienza ,Italy ItsukiNoda,ETL,Japan DanielPolani,Lub eckUniversity,Germany Raul Rojas,UniversityofBerlin,Germany PeterStone,AT&TLabs Research,USA SatoshiTadokoro,KobeUniversity,Japan GordonWyeth,UniversityofQueensland,Australia AdvisoryCommittee: LuigiaCarlucciAiello,Universit adiRoma LaSapienza ,Italy DanielBobrow,XEROXPARC,USA MichaelBrady,OxfordUniversity,UK ToshioFukuda,NagoyaUniversity,Japan MichaelP. 684 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is the first history to be written of the World Food Programme (WFP), the food aid arm of the United Nations System. It tells the story of the antecedents and origins of WFP and growth from modest beginnings as a three-year experiment in 1963-65 to become the main source of international food aid for both disaster relief and development against the background of the evolution and development of food aid. This dual role has put WFP in the front line of the United Nations attack on poverty, hunger and food insecurity. 302 pp. Englisch.…