Springer Okt 2000 (349 results)

Buch. Condition: Neu. Neuware - Function Architecture Co-Design is a new paradigm for the design and implementation of embedded systems. Function/Architecture Optimization and Co-Design of Embedded Systems presents the authors' work in developing a function/architecture optimization and co-design formal methodology and framework for control-dominated embedded systems. The approach incorporates both data flow and control optimizations performed on a suitable novel intermediate design task representation. The aim is not only to enhance productivity of the designer and system developer, but also to improve quality of the final synthesis outcome. Function/Architecture Optimization and Co-Design of Embedded Systems discusses the proposed function/architecture co-design methodology, focusing on design representation, optimization, validation, and synthesis. Throughout the text, the difference between behavior specification and implementation is emphasized. The current need in co-design to move from synthesis-based technology to compiler-based technology is pointed out. The authors describe and show how performing data flow and control optimizations at the high abstraction level can lead to significant size and performance improvements in both the synthesized hardware and software. The work builds on bodies of research in the silicon and software compilation domains. The aforementioned techniques are specialized to the embedded systems domain. It is recognized that guided optimization can be applied on the internal design representation, no matter what the abstraction level, and need not be restricted to the final stages of software assembly code generation, or hardware synthesis. Function/Architecture Optimization and Co-Design of Embedded Systems will be of primary interest to researchers, developers, and professionals in the field of embedded systems design.…

Taschenbuch. Condition: Neu. Neuware - Currently, blame for the difficulties facing youth is too often laid on one particular segment of the community - whether parents, school personnel or the children themselves. However, the problems of today's young people are problems for all generations. In response, the past decade has seen unparalleled proliferation of planned mentoring initiatives. Across Ages, the multi-faceted and multigenerational intervention described in this volume, uses older adult volunteers as mentors for young people. By acting as advocates, challengers, nurturers, role models and friends, older mentors help children develop the awareness, self-confidence, and skills they need to overcome overwhelming obstacles. Across Ages is cost-effective and feasible even where resources are fairly limited. Although designed as a school-based model, this program can easily be adopted to other settings. Each of the four major program components - mentoring, community service, `life skills' instruction, and family support - is described in step-by-step detail.…

Taschenbuch. Condition: Neu. Neuware - For historical and socio-economic reasons, the countries of the southern Black Sea region are facing mounting and apparently intractable problems in managing their solid waste, with increasingly serious implications for public health and quality of life, as well as the wider socio-economic development of the region. Hitherto, no comprehensive, systematic study of the problem seems to have been conducted, to determine the underlying causes and suggesting how it might be alleviated in socially and economically viable ways, aiming at sustainability. The present book analyzes the causes of the poor state of solid waste management in the region, identifying feasible modalities with which at least a degree of sustainability could be achieved in the management of the region's solid waste. Readership: Environmental managers, scientists, planners, policy makers, technical and investment consultants, businesses and other enterprises and institutions concerned with sustainable solid waste management in the region.…

Buch. Condition: Neu. Neuware - In the US, the university administration runs its own office of 'insti- tional research' in order to base its decisions on systematic information. Furthermore, higher education research can rely on a relatively stable academic basis if study programmes on higher education exist. Again, this is most frequently the case in the United States. Finally, governments and other macro-societal actors sometimes have their own offices or institutes of policy research and prepare the policies of the actors they report to. In addition, research on higher education can be institutionalized in a - riety of ways. Often, research institutes on higher education are quite visible. They were established as specialized research units within or outside insti- tions of higher education; but no common institutional basis can be observed for this type of institution across the countries. Third, the major themes of research on higher education also differ - tween countries. It has frequently been said that in European countries it was more prone to analyse macro-societal issues of higher education, whereas in the US it tended to study the inner life of higher education institutions, s- dents, and the teaching and learning processes.…

Buch. Condition: Neu. Neuware - This book is an attempt to explain Japanese regional structure and associated dynamism in terms of urban systems. It is extremely effective to use the urban systems approach to explain the regional changes in today's Japan, which is undergoing changes wrought by economic globalization and the information revolution. This is because the transformation into a service economy has become the key component of the economic activities of cities, linkages are being mutually strengthened, and regional development is being determined by the interdependency of cities. Readers hoping to gain an understanding of the regional geography of Japan may feel that the structure and content of this book are lacking something. However, it is not the intention of this book to systematically paint a total geographical image of Japan within the context of East Asia. Instead, by focusing on urban systems theory, it might be possible to theorize about the factors related to the changing geography of Japan, suchas the growth and decline processes of Japanese urban systems, the strengthening of ties among cities and associated factors, and the expansion of socioeconomic exchanges with cities overseas, from a perspective that is different from the conventional approach.…

Buch. Condition: Neu. Neuware - This book examines the process of Spanish integration into the European Community, from 1962 when Spain under the Franco regime applied to the European Community to 1985, when democratic Spain became a member of the EEC. It aims to prove that, first the European Community was the crucial external factor determining political change in Spain, and secondly that Europeanism was a mechanism of political change, as it was the only aim which unified the whole political spectrum from the Francoist establishment to the democratic opposition.…

Taschenbuch. Condition: Neu. Neuware - Quantum mechanical laws are well documented at the level of a single or a few atoms and are here extended to systems containing 102 to 1010 electrons - still much smaller than the usual macroscopic objects, but behaving in a manner similar to a single atom. Besides the purely theoretical interest, such systems pose a challenge to the achievement of the ultimate microelectronic applications. The present volume presents an up-to-date account of the physics, technology and expected applications of quantum effects in solid-state mesoscopic structures. Physical phenomena include the Aharonov-Bohm effect, persistent currents, Coulomb blockade and Coulomb oscillations in single electron devices, Andreev reflections and the Josephson effect in superconductor/normal/superconductor systems, shot noise suppression in microcontacts and contact resistance quantisation, and overall quantum coherence in mesoscopic and nanoscopic structures related to the emerging physics of quantum computation in the solid-state environment. …

Buch. Condition: Neu. Neuware - Chronic hepatitis has been in the focus of intense scientific research for decades. Recently, considerable progress and exciting new insights into pathogenesis and resulting therapeutic strategies have been made. Replication of hepatitis B and C viruses and details of life cycle in the host have been well characterised. Immunology in general and immunopathology of the liver in viral and autoimmune hepatitis have shown more specific mechanisms of host defence and new models of autoimmune aggression have been developed. The role of apoptosis in liver damage is now well appreciated and has been analyzed precisely. Essential steps of fibrogenesis as a consequence of chronic liver damage are better understood by now and new strategies for its prevention have evolved. Chronic hepatitis is the leading cause of liver cell carcinoma, the molecular basis of which has been more clearly elucidated. This increasing knowledge will provide a sound basis for more effective therapy in chronic hepatitis and its life-threatening consequences. This book, the proceedings of the Falk Workshop on Chronic Hepatitis, held in Cologne, Germany, on January 27-28, 2000, brings together experts from different fields of research such as virology, immunology, pathology, cell and molecular biology, as well as clinical medicine, and disusses in depth the novel findings in basic and clinical research.…

Buch. Condition: Neu. Neuware - Integrating Graphics and Vision for Object Recognition serves as a reference for electrical engineers and computer scientists researching computer vision or computer graphics. Computer graphics and computer vision can be viewed as different sides of the same coin. In graphics, algorithms are given knowledge about the world in the form of models, cameras, lighting, etc., and infer (or render) an image of a scene. In vision, the process is the exact opposite: algorithms are presented with an image, and infer (or interpret) the configuration of the world. This work focuses on using computer graphics to interpret camera images: using iterative rendering to predict what should be visible by the camera and then testing and refining that hypothesis. Features of the book include: Many illustrations to supplement the text; A novel approach to the integration of graphics and vision; Genetic algorithms for vision; Innovations in closed loop object recognition. Integrating Graphics and Vision for Object Recognition will be of interest to research scientists and practitioners working in fields related to the topic. It may also be used as an advanced-level graduate text.…

Buch. Condition: Neu. Neuware - Digital Systems Design and Prototyping: Using Field Programmable Logic and Hardware Description Languages, Second Edition covers the subject of digital systems design using two important technologies: Field Programmable Logic Devices (FPLDs) and Hardware Description Languages (HDLs). These two technologies are combined to aid in the design, prototyping, and implementation of a whole range of digital systems from very simple ones replacing traditional glue logic to very complex ones customized as the applications require. Three HDLs are presented: VHDL and Verilog, the widely used standard languages, and the proprietary Altera HDL (AHDL). The chapters on these languages serve as tutorials and comparisons are made that show the strengths and weaknesses of each language. A large number of examples are used in the description of each language providing insight for the design and implementation of FPLDs. With the addition of the Altera UP-1 prototyping board, all examples can be tested and verified in a real FPLD. Digital Systems Design and Prototyping: Using Field Programmable Logic and Hardware Description Languages, Second Edition is designed as an advanced level textbook as well as a reference for the professional engineer.…

Buch. Condition: Neu. Neuware - Heinrich Caro (1834-1910) was the inventor of new chemical processes that in the two decades commencing in 1869 enabled BASF of Ludwigshafen, Germany, to take first place among manufacturers of synthetic dyestuffs. The cornerstones of Caro's success were his early training as calico (cotton) printer in Germany, and his employment at a chemical firm in Manchester, England. Caro was a creative research chemist, a highly knowledgeable patent specialist and expert witness, and a brilliant manager of science-based chemical technology. This first full-length scientific biography of Heinrich Caro delineates his role in the emergence of the industrial research laboratory, the forging of links between academic and industrial chemistry, and the development of modern patent law. Major chemical topics include the rise of classical organic chemistry, collaboration with Adolf Baeyer, artificial alizarin and indigo, aniline dyes, and other coal-tar products, particularly intermediates.…

Buch. Condition: Neu. Neuware - The fast progress in computer networks and their wide availability complemented with on one hand the 'explosion' of the mobile computing and on the other hand the trends in the direction of ubiquitous computing, act as powerful enablers for new forms of highly dynamic collaborative organizations and emergence of new business practices. The first efforts in virtual enterprises (VE) were strongly constrained by the need to design and develop horizontal infrastructures aimed at supporting the basic collaboration needs of consortia of enterprises. Even pilot projects that were focused on specific business domains were forced to first develop some basic infrastructures before being able to develop their specific business models. Nowadays, although there is still a need to consolidate and standardize the horizontal infrastructures, the focus is more and more directed to the development of new vertical business models and the corresponding support tools. At the same time, in the earlier R&D projects, the attention was almost exclusively devoted to the operation phase of the VE life cycle, while now there are more activities addressing the creation phase, developing mechanisms to support the rapid formation of new virtual organizations for new business opportunities. In order to complete the life cycle, there is a need to also invest on support for VE dissolution.…

Buch. Condition: Neu. Neuware - In 1968 when I forsook horticulture and plant physiology to try, with the help of Sea Grant funds, wetland ecology, it didn't take long to discover a slim volume published in 1959 by the University of Georgia and edited by R. A. Ragotzkie, L. R. Pomeroy, J. M. Teal, and D. C. Scott, entitled 'Proceedings of the Salt Marsh Conference' held in 1958 at the Marine Institute, Sapelo Island, Ga. Now forty years later, the Sapelo Island conference has been the major intellectual impetus, and another Sea Grant Program the major backer, of another symposium, the 'International Symposium: Concepts and Controversies in Tidal Marsh Ecology'. This one re-examines the ideas of that first conference, ideas that stimulated four decades of research and led to major legislation in the United States to conserve coastal wetlands. It is dedicated, appropriately, to two then young scientists - Eugene P. Odum and John M. Teal - whose inspiration has been the starting place for a generation of coastal wetland and estuarine research. I do not mean to suggest that wetland research started at Sapelo Island. In 1899 H. C. Cowles described successional processes in Lake Michigan freshwater marsh ponds. There is a large and valuable early literature about northern bogs, most of it from Europe and the former USSR, although Eville Gorham and R. L. Lindeman made significant contributions to the American literature before 1960. V. J. …

Buch. Condition: Neu. Neuware - A lithium-ion battery comprises essentially three components: two intercalation compounds as positive and negative electrodes, separated by an ionic-electronic electrolyte. Each component is discussed in sufficient detail to give the practising engineer an understanding of the subject, providing guidance on the selection of suitable materials in actual applications. Each topic covered is written by an expert, reflecting many years of experience in research and applications. Each topic is provided with an extensive list of references, allowing easy access to further information. Readership: Research students and engineers seeking an expert review. Graduate courses in electrical drives can also be designed around the book by selecting sections for discussion. The coverage and treatment make the book indispensable for the lithium battery community.…

Buch. Condition: Neu. Neuware - BACKGROUND Polysiloxanes have chains constructed of alternately arranged silicon and oxygen atoms with organic groups attached to the silicon atoms. This structure gives them a unique combination of properties that hold great interest for a host of practical applications. Although they have been known and manufactured for many years, their applications continue to expand rapidly and this boosts progress in the generation of new and modified polysiloxanes. Polysiloxanes constitute the oldf''' known class of silicon-based polymers and the broadest one when viewed in terms of the variety of structures differing in topology and the constitution of organic substituents. There are also many and various types of siloxane copolymers, some of purely siloxane structure and others of siloxane-organic composition. There is no doubt that polysiloxanes are the most technologically important silicon-based polymers. The broad class of model materials known as silicones is based on polysiloxanes. They are also the best known, as most research in the area of silicon polymers has for many years been directed towards the synthesis of new polysiloxanes, to understanding their properties and to extending their applications.…

Buch. Condition: Neu. Neuware - Since the first edition of this book was published seven years ago, the field of modeling and simulation of communication systems has grown and matured in many ways, and the use of simulation as a day-to-day tool is now even more common practice. With the current interest in digital mobile communications, a primary area of application of modeling and simulation is now in wireless systems of a different flavor from the `traditional' ones. This second edition represents a substantial revision of the first, partly to accommodate the new applications that have arisen. New chapters include material on modeling and simulation of nonlinear systems, with a complementary section on related measurement techniques, channel modeling and three new case studies; a consolidated set of problems is provided at the end of the book.…

Taschenbuch. Condition: Neu. Neuware -Dieses Buch vermittelt in einfacher und verständlicher Form die theoretischen und praktischen Grundlagen der qualitativen anorganischen Analyse und bietet darüber hinaus eine Fülle von Tipps und Tricks, die den Einstieg in die Praxis der analytischen Chemie erleichtern. Es richtet sich damit an alle Studenten und Auszubildenden, die im Laufe ihrer chemischen Ausbildung qualitative anorganische Analyse und die ihr zugrunde liegenden Zusammenhänge erlernen und verstehen wollen. Dabei wurden die Inhalte bewußt so gewählt, dass sich auch Nebenfach- und Lehramtsstudenten schnell und problemlos zurechtfinden. Das Buch zeichnet sich durch kompakte Darstellung der behandelten Sachverhalte, Beschränkung auf die gängigen Elemente, direkten Praxisbezug und übersichtliche Gestaltung aus. Es dient als Laboranleitung, Seminarbegleitung und Prüfungsvorbereitung. Die behandelten Nachweise, Reaktionen und Trennungen wurden alle in der Praxis erprobt. 316 pp. Deutsch.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieses Buch vermittelt in einfacher und verständlicher Form die theoretischen und praktischen Grundlagen der qualitativen anorganischen Analyse und bietet darüber hinaus eine Fülle von Tipps und Tricks, die den Einstieg in die Praxis der analytischen Chemie erleichtern. Es richtet sich damit an alle Studenten und Auszubildenden, die im Laufe ihrer chemischen Ausbildung qualitative anorganische Analyse und die ihr zugrunde liegenden Zusammenhänge erlernen und verstehen wollen. Dabei wurden die Inhalte bewußt so gewählt, dass sich auch Nebenfach- und Lehramtsstudenten schnell und problemlos zurechtfinden. Das Buch zeichnet sich durch kompakte Darstellung der behandelten Sachverhalte, Beschränkung auf die gängigen Elemente, direkten Praxisbezug und übersichtliche Gestaltung aus. Es dient als Laboranleitung, Seminarbegleitung und Prüfungsvorbereitung. Die behandelten Nachweise, Reaktionen und Trennungen wurden alle in der Praxis erprobt.…

Taschenbuch. Condition: Neu. Neuware -Dieses Buch vermittelt in einfacher und verständlicher Form die theoretischen und praktischen Grundlagen der qualitativen anorganischen Analyse und bietet darüber hinaus eine Fülle von Tipps und Tricks, die den Einstieg in die Praxis der analytischen Chemie erleichtern. Es richtet sich damit an alle Studenten und Auszubildenden, die im Laufe ihrer chemischen Ausbildung qualitative anorganische Analyse und die ihr zugrunde liegenden Zusammenhänge erlernen und verstehen wollen. Dabei wurden die Inhalte bewußt so gewählt, dass sich auch Nebenfach- und Lehramtsstudenten schnell und problemlos zurechtfinden. Das Buch zeichnet sich durch kompakte Darstellung der behandelten Sachverhalte, Beschränkung auf die gängigen Elemente, direkten Praxisbezug und übersichtliche Gestaltung aus. Es dient als Laboranleitung, Seminarbegleitung und Prüfungsvorbereitung. Die behandelten Nachweise, Reaktionen und Trennungen wurden alle in der Praxis erprobt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Deutsch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Over the past 25 years, a stream of fossil and artifact discoveries in the Afar Depression of Ethiopia has produced the longest single record of human ancestors in the world. Many of thefossils found in this region are the missing links leading to modern humans. This book chronicles the exploration of this unique desert area, focusing especially on the 1970s when the valley was mapped and many fossils and archeological sites were discovered. The author gives his personal account of the 25 years he spent researching the region.As co-founder of the team that discovered Lucy, Jon Kalb has first-hand knowledge of the research that was involved in the findings of this region and of the intense rivalry that has accompanied those findings. He discusses the political drama of Ethiopia and the effects this chaos had on the Afar. This book covers the scientific discoveries of the area, the author's own explorations and findings, and the political struggles involved with these discoveries. 432 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Drawing on many years' experience of teaching discrete mathematics to students of all levels, the author introduces the various aspects of discrete mathematics including enumeration, graph theory and configurations or arrangements. Starting off with an introduction to counting and counting problems, the text proceeds to introduce the basic ideas of graph theory with particular emphasis on trees and planar graphs. The inclusion-exclusion principle is described and followed by a chapter on partitions of sets which leads to a study of Stirling and Bell numbers. Hamiltonian cycles and Eulerian circuits in graphs are described, Latin squares are defined and Hall's theorem is proved. The book concludes with chapters on the constructions of schedules and a brief introduction to block designs. Each chapter is supported by a number of examples, with straightforward applications of ideas alongside more challenging problems. 212 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume of original research papers from the Israeli GAFA seminar during the years 1996-2000 not only reports on more traditional directions of Geometric Functional Analysis, but also reflects on some of the recent new trends in Banach Space Theory and related topics. These include the tighter connection with convexity and the resulting added emphasis on convex bodies that are not necessarily centrally symmetric, and the treatment of bodies which have only very weak convex-like structure. Another topic represented here is the use of new probabilistic tools; in particular transportation of measure methods and new inequalities emerging from Poincaré-like inequalities. 308 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Focusing on the Galileo Mission, the story will relate this remarkable spacecraft's protracted gestation and the ordeal of its long haul out to Jupiter and its ultimate triumph: 5 years exploration within the Jovian system. The story spans a full quarter of a century, drawing on the press conferences, technical papers and essays of engineers and scientists involved in the mission which provide a real sense of participation as the discoveries poured in - it will bring the mission of the Galileo spacecraft to life and provide a more engaging account than would simply be achieved by recounting scientific results. The book will conclude with a snapshot 'look ahead' into the Cassini flyby of Jupiter in December 2000 shortly after publication - the book released to coincide with this media event. 480 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is the first attempt of a systematic study of real Enriques surfaces culminating in their classification up to deformation. Simple explicit topological invariants are elaborated for identifying the deformation classes of real Enriques surfaces. Some of theses are new and can be applied to other classes of surfaces or higher-dimensional varieties. Intended for researchers and graduate students in real algebraic geometry it may also interest others who want to become familiar with the field and its techniques. The study relies on topology of involutions, arithmetics of integral quadratic forms, algebraic geometry of surfaces, and the hyperkähler structure of K3-surfaces. A comprehensive summary of the necessary results and techniques from each of these fields is included. Some results are developed further, e.g., a detailed study of lattices with a pair of commuting involutions and a certain class of rational complex surfaces. 284 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -When The Planiverse rst appeared 16 years ago, it caught more than a few readers off guard. The line between willing suspension of dis- lief and innocent acceptance, if it exists at all, is a thin one. There were those who wanted to believe, despite the tongue-in-cheek subtext, that we had made contact with a two-dimensional world called Arde, a di- shaped planet embedded in the skin of a vast, balloon-shaped space called the planiverse. It is tempting to imagine that those who believed, as well as those who suspended disbelief, did so because of a persuasive consistency in the cosmology and physics of this in nitesimally thin universe, and x preface to the millennium edition in its bizarre but oddly workable organisms. This was not just your r- of-the-mill universe fashioned out of the whole cloth of wish-driven imagination. The planiverse is a weirder place than that precisely - cause so much of it was 'worked out' by a virtual team of scientists and technologists. Reality, even thepseudoreality of such a place, is - variably stranger than anything we merely dream up. 280 pp. Englisch. …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -I first came across the issue of derivatives documentation when writing my diploma thesis on measuring the credit risk ofOTC derivatives while I was an economics student at the University of Bonn. Despite the fact that security design has been an area of research in economics for many years and despite the widespread use of derivatives documentation in financial practice, the task of designing contracts for derivatives transactions has not been dealt with in financial theory. The one thing that aroused my curiosity was that two parties with usually opposing interests, namely banking supervisors and the banking industry's lobby, unanimously endorse the use ofcertain provisions in standardized contracts called master agreements. Do these provisions increase the ex ante efficiency of contracts for all parties involved I actually began my research expecting to find support for the widely held beliefs about the efficiency or inefficiency of certain provisions and was sur prised to obtain results that contradicted the conventional wisdom. I would strongly advise against using these results in any political debate on deriva tives documentation. They were obtained within a highly stylized model with some restrictive assumptions. This work should rather be seen as an attempt to formalize the discussion on derivatives documentation and to challenge the notion that certain provisions are generally ex ante efficient. It is also an invitation to all those advocating the use of certain provisions in master agreements to formalize their arguments and to explain the economic ratio nale behind these provisions. 196 pp. Englisch. …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This edited volume contains refereed and improved versions of select papers 1 that were presented at the third IAPR Workshop on Graphics Recognition (GREC'99), held at Rambagh Palace in Jaipur, India, 26-27, September 1999. The workshop was organized by the TC10 (Technical Committee on Graphics Recognition) of the IAPR. Edited volumes from the previous two workshops in this series are also available as Lecture Notes in Computer Science (volumes 1072 and 1389). Graphics recognition is the study of techniques for computer interpretation of images of line drawings and symbols. This includes methods such as vectori- tion, symbol recognition, and table and chart recognition for applications such as engineering drawings, schematics, logic drawings, maps, diagrams, and musical scores. Some recently developed techniques include graphics-based information or drawing retrieval and recognition of online graphical strokes. With the recent advances in the eld, there is now a need to develop benchmarks for evaluating and comparing algorithms and systems. Graphics recognition is a growing eld of interest in the broader document image recognition community. The GREC'99 workshop was attended by fty- ve people from fteen co- tries. The workshop program consisted of six technical sessions. Each session began with a half-hour invited talk which was followed by several short talks. Each session closed with a half-hour panel discussion where the authors elded questions from the other participants. Several interesting new research directions were discussed at the workshop. 364 pp. Englisch. …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This year, Brazil celebrates its 500 years of discovery. To mark this great event, the Brazilian Arti cial Intelligence (AI) community organized a special int- national joint conference putting together SBIA 2000 (the Brazilian AI Sym- sium) and IBERAMIA 2000 (the Ibero-American AI Conference). SBIA 2000 is the 15th conference of the SBIA conference series, which is the leading conference in Brazil for presentation of research and applications in Arti cial Intelligence. Since 1995, SBIA has become an international conference, with papers written in English, an international program committee, and p- ceedings published in Springer-Verlag's Lecture Notes in Arti cial Intelligence (LNAI) series. IBERAMIA 2000 is the 7th conference of the IBERAMIA conference series, which has been one of the most suitable forums for ibero-american AI rese- chers (from South and Central America, Mexico, Spain, and Portugal) to present their results. Following the SBIA and EPIA (Portuguese conference on AI) ex- riences, from IBERAMIA'98 on, it has also become an international conference, with proceedings published in Springer-Verlag's LNAI series. 516 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated Reasoning (LPAR 2000)held onReunionIsland,France,6 10November2000,followedbythe ReunionWo- shop on Implementation of Logic. Sixty- ve papers were submitted to LPAR 2000 of which twenty-six papers were accepted. Submissions by the program committee members were not - lowed. There was a special category of experimental papers intended to describe implementations of systems, to report experiments with implemented systems, orto compareimplementedsystems.Eachof thesubmissionswasreviewedbyat least three program committee members and an electronic program committee meeting was held via the Internet. In addition to the refereed papers, this volume contains full papers by two of the four invited speakers, Georg Gottlob and Micha el Rusinowitch, along with an extended abstract of Bruno Courcelle s invited lecture and an abstract of Erich Gr adel s invited lecture. WewouldliketothankthemanypeoplewhohavemadeLPAR2000possible. We are grateful to the following groups and individuals: the program and or- nizing committees; the additional referees; the local arrangements chair Teodor Knapik; PascalManoury, who was in chargeof accommodation; Konstantin - rovin,whomaintainedthe programcommittee Webpage;andBillMcCune,who implemented the program committee management software. 508 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is devoted to one of the main questions of the theory of extremal prob lems, namely, to necessary and sufficient extremality conditions. It is intended mostly for mathematicians and also for all those who are interested in optimiza tion problems. The book may be useful for advanced students, post-graduated students, and researchers. The book consists of four chapters. In Chap. 1 we study the abstract minimization problem with constraints, which is often called the mathemati cal programming problem. Chapter 2 is devoted to one of the most important classes of extremal problems, the optimal control problem. In the third chapter we study one of the main objects of the calculus of variations, the integral quadratic form. In the concluding, fourth, chapter we study local properties of smooth nonlinear mappings in a neighborhood of an abnormal point. The problems which are studied in this book (of course, in addition to their extremal nature) are united by our main interest being in the study of the so called abnormal or degenerate problems. This is the main distinction of the present book from a large number of books devoted to theory of extremal problems, among which there are many excellent textbooks, and books such as, e.g., [13, 38, 59, 78, 82, 86, 101, 112, 119], to mention a few. 312 pp. Englisch.…