Springer jan 2005 (264 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware - An Annotated Timeline of Operations Research: An Informal History recounts the evolution of Operations Research (OR) as a new science - the science of decision making. Arising from the urgent operational issues of World War II, the philosophy and methodology of OR has permeated the resolution of decision problems in business, industry, and government. The Timeline chronicles the history of OR in the form of self-contained, expository entries. Each entry presents a concise explanation of the events and people under discussion, and provides key sources where further relevant information can be obtained. In addition, books and papers that have influenced the development of OR or helped to educate the first generations of OR academics and practitioners are cited throughout the book. Starting in 1564 with seminal ideas that form the precursors of OR, the Timeline traces the key ideas and events of OR through 2004. The Timeline should interest anyone involved in OR -researchers, practitioners, academics, and, especially, students - who wish to learn how OR came into being. Further, the scope and expository style of the Timeline should make it of value to the general reader interested in the development of science and technology in the last half of the twentieth century.…

Buch. Zustand: Neu. Neuware - The Tenth International Symposium on Gaseous Dielectrics was held at the Astir Palace Vouliagmeni Hotel, Athens, Greece, March 29-April 2, 2004. The symposium. continued the interdisciplinary character and comprehensive approach of the preceding nine symposia. Gaseous Dielectrics X is a detailed record of the symposium proceedings. It covers recent advances and developments in a wide range of basic, applied, and industrial areas of gaseous dielectrics. It is hoped that Gaseous Dielectrics X will aid future research and development in, and encourage wider industrial use of, gaseous dielectrics. The Organizing Committee of the Tenth International Symposium on Gaseous Dielectrics consisted of L. G. Christophorou (Chainnan, Greece), J. K. Olthoff (co-Chainnan, USA), A. Bulinski (Canada), A. H. Cookson (USA), C. T. Dervos (Greece), J. de Urquijo (Mexico), J. Blackman (USA), O. Farish (UK), M. E. Frechette (Canada), I. Gillimberti (Italy), A. Garscadden (USA), A. Gleizes (France), H. Hama (Japan), T. Kawamura (Japan), E. Marode (France), I. W. McAllister (Denmark), H. Morrison (Canada), A. H. Mufti (Saudi Arabia), L. Niemeyer (Switzerland), W. Pfeiffer (Germany), Y. Qiu (China), I. Sauers (USA), M. Schmidt (Germany), H.-H. Schramm (Germany), L. van der Zel (USA), S. Yanabu (Japan), Y. Wang (USA), and J. W. Wetzer (The Netherlands). The Local Arrangements Committee consisted of J. N. Avaritsiotis, P. Vassiliou, C. T. Dervos of The National Technical University of Athens, C. A. Stassinopoulos of the Aristotelian University of Thessaloniki, and D.…

Buch. Zustand: Neu. Neuware - This volume focuses on the cultural aspects of learning and cognitive processes, examining the theory, methods, findings, and applications in this area. The chapter authors cover such topics as family context, peer interaction and formal education.

Taschenbuch. Zustand: Neu. Neuware - It has long been recognized that advances in science contribute to economic growth. While it is one thing to argue that such a relationship exists, it is quite another to establish the extent to which knowledge spills over within and between sectors of the economy. Such a research agenda faces numerous challenges. Not only must one seek measures of inputs, but a measure of output is needed as well to estimate the knowledge production function. The identification of such a measure was a compelling goal for Zvi Griliches, if not the holy grail: 'The dream of getting hold of an output indicator of inventive activity is one of the strong motivating forces for economic research in this area.' (Griliches 1990, p. 1669). Jaffe (1989) made a significant contribution to estimating the knowledge production function when he established a relationship between patent activity and R&D activity at the state level. Feldman and coauthors (1994a, 1994b) added considerably to this line of research, focusing on innovation counts as the dependent variable instead of patent counts. This work was particularly important given that many innovations are never patented. Feldman's work also differentiated by firm size and showed that knowledge spillovers from universities play a key role as sources of knowledge for small firms.…

Buch. Zustand: Neu. Neuware - A lot of economic problems can be formulated as constrained optimizations and equilibration of their solutions. Various mathematical theories have been supplying economists with indispensable machineries for these problems arising in economic theory. Conversely, mathematicians have been stimulated by various mathematical difficulties raised by economic theories. The series is designed to bring together those mathematicians who are seriously interested in getting new challenging stimuli from economic theories with those economists who are seekingeffective mathematical tools for their research. The editorial board of this series comprises the following prominent economists and mathematicians: Managing Editors: S. Kusuoka (Univ. Tokyo), T. Maruyama (Keio Univ.). Editors: R. Anderson (U.C. Berkeley), C. Castaing (Univ. Montpellier), F.H. Clarke (Univ. Lyon I), G. Debreu (U.C. Berkeley), E. Dierker (Univ. Vienna), D. Duffie (Stanford Univ.), L.C. Evans (U.C. Berkeley), T. Fujimoto (Okayama Univ.), J.-M. Grandmont (CREST-CNRS), N. Hirano (Yokohama National Univ.), L. Hurwicz (Univ. of Minnesota), T. Ichiishi (Ohio State Univ.), A. Ioffe (Israel Institute of Technology), S. Iwamoto (Kyushu Univ.), K. Kamiya (Univ. Tokyo), K. Kawamata (Keio Univ.), N. Kikuchi (Keio Univ.), H. Matano (Univ. Tokyo), K. Nishimura (Kyoto Univ.), M.K. Richter (Univ. Minnesota), Y. Takahashi (Kyoto Univ.), M. Valadier (Univ. Montpellier II), A. Yamaguti (Kyoto Univ./Ryukoku Univ.), M. Yano (Keio Univ.). …

Buch. Zustand: Neu. Neuware - A sine qua non of control system development for modern sewer networks is the preservation of the water system around a network's outflow(s). Several approaches have been proposed for the optimisation of sewage control and Optimal Real-time Control of Sewer Networks provides a comparative synthesis of a central sewer network flow control based on two of these: nonlinear-optimal and multivariable-feedback control.Testing and comparison of these protocols are made on the basis of their control results for the large-scale sewer network located around the river Obere Iller in Bavaria. The control strategies implemented within this network are based on this study.From the selection of possible methods of control and moving to the implementation of those methods in a real sewer system, this monograph will be invaluable to control and civil engineers working in sewage flow and wastewater treatment and of interest to academics wishing to see how their ideas on optimal control work out when practically applied.…

Taschenbuch. Zustand: Neu. Neuware - This book examines the various competing interpretations of Kant's foundational Perpetual Peace since its initial publication in the late eighteenth-century. According to Easley's analysis, there are two patterns of interpretations: 1) the text endorses peace proposals above the state level, 2) the text is in favour of peace proposals at the state level. The principal explanation for these two patterns resides in the rise and fall of hopes for peace through international organizations. It can also be attributed to the rise in the number of liberal states over time. Eric Easley provides a comprehensive historical background and analytical framework for understanding Perpetual Peace, allowing scholars of international relations to better understand and appreciate its complex meaning and see beyond the conventionally accepted interpretations of the day.…

Buch. Zustand: Neu. Neuware - At the start of every school day, it s not an unfamiliar sight to see younger children bounding toward school, bright-eyed and bushy-tailed, ready to seize the day. In contrast, adolescents sometimes seem to sleepwalk toward their middle and high schools, often bleary-eyed, cantankerous, and less than enthusiastic to get down to work. Why the difference Recent developmental research has demonstrated a relationship between sleep/wake patterns and different kinds of problem behaviors, including social adjustment problems, family coercion, and disaffection from school. Adolescents who prefer staying up later in the evening and arising late in the morning (i.e., eveningness) have often been considered at greater risk of suffering from such problem behaviors as delinquency and negative relationships with parents and teachers. Those who tend to go to bed and arise earlier (i.e., morningness) have long been associated with more positive outcomes. In the majority of previous research, however, these concepts have never been adequately tested.In Sync with Adolescence: The Role of Morningness-Eveningness in Development examines the possible effects of adolescent preferences on problem behavior in different contexts. This volume presents a new way of looking at morningness-eveningness in relation to adolescent development in general and on problem behavior in particular. The study has produced results, the implications of which necessitate a reinterpretation of the current thinking about morningness-eveningness and adolescent adjustment.This volume should be of particular interest to developmental psychologists and researchers who are interested in examining the role of biological factors in psychological processes as well as to sleep researchers who are interested in both the clinical and behavioral aspects. In addition, it is a valuable resource for clinical child and school psychologists, medical staff, teachers, and anyone who works with adolescents.…

Buch. Zustand: Neu. Neuware - For more than half of the 20\* century, psychologists sought to locate the causes of behaviour in individuals and tended to neglect the possibility of locating the psy chological in the social. In the late 1960s, a reaction to that neglect brought about a 'crisis' in social psychology. This 'crisis' did not affect all social psychologists; some remained seemingly oblivious to its presence; others dismissed its signifi cance and continued much as before. But, in certain quarters, the psychological was re-conceptualised as the social, and the social was taken to be sui generis. Moreover, the possibility of developing general laws and theories to describe and explain social interaction was rejected on the grounds that, as social beings, our actions vary from occasion to occasion, and are, for many reasons, unrepeatable. There is, so it was thought, an inherent instability in the phenomena of interest. The nomothetic ideal was said to rest on individualistic cause-effect positivism of the kind which (arguably) characterised the natural sciences, but social psychology (so it was said) is an historical inquiry, and its conclusions are necessarily historically relative (Gergen, 1973). Events outside psychology converged to give impetus to the 'crisis' within.…

Buch. Zustand: Neu. Neuware - Simulation Approaches in Transportation Analysis: Recent Advances and Challenges presents the latest developments in transport simulation, including dynamic network simulation and micro-simulation of people's movement in an urban area. It offers a collection of the major simulation models that are now in use throughout the world; it illustrates each model in detail, examines potential problems, and points to directions for future development. The reader will be able to understand the functioning, applicability, and usefulness of advanced transport simulation models. The material in this book will be of wide use to graduate students and practitioners as well as researchers in the transportation engineering and planning fields.…

Buch. Zustand: Neu. Neuware - This volume contains a collection of refereed articles on generalized convexity and generalized monotonicity. The first part of the book contains invited papers by leading experts (J.M. Borwein, R.E. Burkard, B.S. Mordukhovich and H. Tuy) with applications of (generalized) convexity to such diverse fields as algebraic dynamics of the Gamma function values, discrete optimization, Lipschitzian stability of parametric constraint systems, and monotonicity of functions. The second part contains contributions presenting the latest developments in generalized convexity and generalized monotonicity: its connections with discrete and with continuous optimization, multiobjective optimization, fractional programming, nonsmooth Aanalysis, variational inequalities, and its applications to concrete problems such as finding equilibrium prices in mathematical economics, or hydrothermal scheduling.…

Buch. Zustand: Neu. Neuware - Phototherapy exemplifies scientific medicine. The major advances have resulted from effective collaborations between basic researchers and clinicians. This book is directed to clinicians and basic researchers who are interested in current and emerging implementations of phototherapy. It can serve as an introductory reference and a textbook for advanced undergraduate and graduate courses in medical physics and biomedical engineering. The emphasis is on the science underlying the various phototherapy procedures, which encompasses aspects of classical and molecular photophysics, biological photochemistry, photobiology and biophotonics. Topics that do not usually appear in other general sources include the theory and applications of tissue optics, Monte Carlo simulation, light dosimetry, and analytical modeling of laser surgery. Many illustrative problems with answers are provided to exemplify the more quantitative aspects of each topic.…

Buch. Zustand: Neu. Neuware - Provides a broad sample of current information processing applicationsIncludes examples of successful applications that will encourage practitioners to apply the techniques described in the book to real-life problems.

Buch. Zustand: Neu. Neuware - Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations involved in computer-aided design of user interactive applications supported by software, with specific attention for platform-independent user interfaces and context-sensitive or aware applications. This includes: innovative model-based and agent-based approaches, code-generators, model editors, task animators, translators, checkers, advice-giving systems and systems for graphical and multimodal user interfaces. It also addresses User Interface Description Languages.This books attempts to emphasize the software tool support for designing user interfaces and their underlying languages and methods, beyond traditional development environments offered by the market. It will be of interest to software development practitioners and researchers whose work involves human-computer interaction, design of user interfaces, frameworks for computer-aided design, formal and semi-formal methods, web services and multimedia systems, interactive applications, and graphical user and multi-user interfaces.…

Taschenbuch. Zustand: Neu. Neuware -Die Vektoranalysis handelt, in klassischer Darstellung, von Vektorfeldern, den Operatoren Gradient, Divergenz und Rotation, von Linien-, Flächen- und Volumenintegralen und von den Integralsätzen von Gauß, Stokes und Green. In moderner Fassung ist es der Cartansche Kalkül mit dem Satz von Stokes. Das vorliegende Buch vertritt grundsätzlich die moderne Herangehensweise, geht aber auch sorgfältig auf die klassische Notation und Auffassung ein. Das Buch richtet sich an Mathematik- und Physikstudenten ab dem zweiten Studienjahr, die mit den Grundbegriffen der Differential- und Integralrechnung in einer und mehreren Variablen sowie der Topologie vertraut sind. Der sehr persönliche Stil des Autors und die aus anderen Büchern bereits bekannten Lernhilfen, wie: viele Figuren, mehr als 50 kommentierte Übungsaufgaben, über 100 Tests mit Antworten, machen auch diesen Text zum Selbststudium hervorragend geeignet. 288 pp. Deutsch.…

Taschenbuch. Zustand: Neu. Neuware -Die Vektoranalysis handelt, in klassischer Darstellung, von Vektorfeldern, den Operatoren Gradient, Divergenz und Rotation, von Linien-, Flächen- und Volumenintegralen und von den Integralsätzen von Gauß, Stokes und Green. In moderner Fassung ist es der Cartansche Kalkül mit dem Satz von Stokes. Das vorliegende Buch vertritt grundsätzlich die moderne Herangehensweise, geht aber auch sorgfältig auf die klassische Notation und Auffassung ein. Das Buch richtet sich an Mathematik- und Physikstudenten ab dem zweiten Studienjahr, die mit den Grundbegriffen der Differential- und Integralrechnung in einer und mehreren Variablen sowie der Topologie vertraut sind. Der sehr persönliche Stil des Autors und die aus anderen Büchern bereits bekannten Lernhilfen, wie: viele Figuren, mehr als 50 kommentierte Übungsaufgaben, über 100 Tests mit Antworten, machen auch diesen Text zum Selbststudium hervorragend geeignet. 288 pp. Deutsch.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Traumatische Ereignisse können jedes Kind treffen. Dieser Ratgeber liefert sehr anschaulich fundiertes Wissen über die Bedeutung, Dynamik und die möglichen Folgen einer Traumatisierung sowie über aktuelle Behandlungsansätze. Zudem bietet er für TherapeutInnen, PädagogenInnen und alle Interessierte zahlreiche praktische Anregungen für den Umgang mit betroffenen Kindern, um konkret bei der Bewältigung des Traumas helfen zu können. Das Buch nimmt dabei Bezug auf das in der Reihe erschienene Bilderbuch'Wie Pippa wieder lachen lernte', in dem Pippa mit Hilfe des Löwen Leo-Rix ein traumatisches Erlebnis bewältigt. Zusätzlich werden Vorschläge für den Umgang mit Eltern und Angehörigen von betroffenen Kindern gegeben. Im Anhang finden sich umfassende Informationen über weiterführende Literatur, Webpages sowie über therapeutische Einrichtungen und Fortbildungsinstitute in Deutschland, Österreich und der Schweiz. Nöstlinger, C. (illustrator).…

Taschenbuch. Zustand: Neu. Neuware - Die Vektoranalysis handelt, in klassischer Darstellung, von Vektorfeldern, den Operatoren Gradient, Divergenz und Rotation, von Linien-, Flächen- und Volumenintegralen und von den Integralsätzen von Gauß, Stokes und Green. In moderner Fassung ist es der Cartansche Kalkül mit dem Satz von Stokes. Das vorliegende Buch vertritt grundsätzlich die moderne Herangehensweise, geht aber auch sorgfältig auf die klassische Notation und Auffassung ein. Das Buch richtet sich an Mathematik- und Physikstudenten ab dem zweiten Studienjahr, die mit den Grundbegriffen der Differential- und Integralrechnung in einer und mehreren Variablen sowie der Topologie vertraut sind. Der sehr persönliche Stil des Autors und die aus anderen Büchern bereits bekannten Lernhilfen, wie: viele Figuren, mehr als 50 kommentierte Übungsaufgaben, über 100 Tests mit Antworten, machen auch diesen Text zum Selbststudium hervorragend geeignet.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Focusing on the manipulation and representation of geometrical objects, this book explores the application of geometry to computer graphics and computer-aided design (CAD). Over 300 exercises are included, some new to this edition, and many of which encourage the reader to implement the techniques and algorithms discussed through the use of a computer package with graphing and computer algebra capabilities. A dedicated website also offers further resources and useful links. 368 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This new study of Tudor international relations is the first in nearly thirty years. Adopting a fresh approach to the subject, this lively collection presents the work of a team of established and younger scholars who discuss how the Tudor monarchs made sense of the world beyond England's shores. Taking account of recent developments in cultural, gender and institutional history, the contributors analyse the important changes and continuities in England's foreign policy during the Tudor age.Tudor England and its Neighbours addresses key questions such as:- Did Henry VII break with the past by pursuing peace with France - What was the impact of the break with Rome and the introduction of Protestantism on England's relations with other countries - Was war between Elizabethan England and Spain inevitable Using new evidence and reinterpreting traditional narratives, these essays illuminate the complexities and the sometimes surprising subtleties of England's international relations between 1485 and 1603. 296 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -There are many differences of opinion between sociologists about how best to investigate social issues and about the quality of the answers that different questions produce. This book looks at a range of sociological theories from the last two hundred years, taking a thematic approach that helps students to better integrate the material and to understand the significance of the individual theorists. With illustrations from the work of John Stuart Mill, Emile Durkheim, Talcott Parsons, Karl Marx, Karl Mannheim, Michel Foucault, Anthony Giddens and Erving Goffman, this book provides an accessible and comprehensive guide for introductory students of sociology and social theory. 208 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is about public education reform and the future of pubHc education funding. Given the many articles, books, and conferences that have focused on the issue of public education reform, it is reasonable to ask whether the world needs still another volume on this subject. In my defense, I would argue that, although there is a large literature on public education reform, there is precious little that tries to sketch the big picture. Too often, both in research and in practice, it is easy to lose sight of the forest, for all the focus on the individual trees. While such detailed analysis is of critical value, that value derives both from its specificity and from its ability to fit into a larger, coherent whole. Unfortunately, our understanding of the public education process is still incomplete and disconnected, particularly with regard to the connections between research, policy, and practice. This book is an attempt to step back for a moment to get one's bearings before jumping headlong back into the forest. It is my hope that this book will be of value to a wide variety of reader- researchers in departments of economics and schools of education, policy makers at all levels, and, of course, the practitioners slogging away in the trenches. 238 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial applications such as planning, scheduling and resource sharing in a variety of practical domains such as transportation, production, supply-chains, network management and human resource management. In this book we study new techniques for solving constraint satisfaction problems, with a special focus on solution adaptation applied to agent reasoning. 158 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume consists of the refereed papers presented at the Indonesia-Japan Joint Conference on Combinatorial Geometry and Graph Theory (IJCCGGT 2003), held on September 13 16, 2003 at ITB, Bandung, Indonesia. This conf- ence can also be considered as a series of the Japan Conference on Discrete and Computational Geometry (JCDCG), which has been held annually since 1997. The rst ve conferences of the series were held in Tokyo, Japan, the sixth in Manila, the Philippines, in 2001, and the seventh in Tokyo, Japan in 2002. The proceedings of JCDCG 1998, JCDCG 2000 and JCDCG 2002 were p- lished by Springer as part of the series Lecture Notes in Computer Science: LNCS volumes 1763, 2098 and 2866, respectively. The proceedings of JCDCG 2001 were also published by Springer as a special issue of the journal Graphs and Combinatorics, Vol. 18, No. 4, 2002. TheorganizersaregratefultotheDepartmentofMathematics,InstitutTek- logi Bandung (ITB) and Tokai University for sponsoring the conference. We also thank all program committee members and referees for their excellent work. Our big thanks to the principal speakers: Hajo Broersma, Mikio Kano, Janos Pach andJorgeUrrutia.Finally,ourthanksalsogoestoallourcolleagueswhoworked hard to make the conference enjoyable and successful. August 2004 Jin Akiyama Edy Tri Baskoro Mikio Kano Organization The Indonesia-Japan Joint Conference on Combinatorial Geometry and Graph Theory (IJCCGGT) 2003 was organized by the Department of Mathematics, InstitutTeknologiBandung(ITB)IndonesiaandRIED,TokaiUniversity,Japan. 240 pp. Englisch. …

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. Interest in agent-based systems continues to grow and this is seen in the wide range of conferences and journals that are addressing the research in this area as well as the prototype and developmental systems that are coming into use. Our third workshop, FAABS-III, was held in April, 2004. This volume contains the revised papers and posters presented at that workshop. The Organizing Committee was fortunate in having significant support in the planning and organization of these events, and were privileged to have wor- renowned keynote speakers Prof. J Moore (FAABS-I), Prof. Sir Roger Penrose (FAABS-II), and Prof. John McCarthy (FAABS-III), who spoke on the topic of se- aware computing systems, auguring perhaps a greater interest in autonomic computing as part of future FAABS events. We are grateful to all who attended the workshop, presented papers or posters, and participated in panel sessions and both formal and informal discussions to make the workshop a great success. Our thanks go to the NASA Goddard Space Flight Center, Codes 588 and 581 (Software Engineering Laboratory) for their financial support and to the IEEE Computer Society (Technical Committee on Complexity in Computing) for their sponsorship and organizational assistance. 304 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Physics of the Early Universe is an edited and expanded version of the lectures given at a recent summer school of the same name. Its aim is to present an advanced multi-authored textbook that meets the needs of both postgraduate students and young researchers interested in, or already working on, problems in cosmology and general relativity, with emphasis on the early universe. A particularly strong feature of the present work is the constructive-critical approach to the present mainstream theories, the careful assessment of some alternative approaches, and the overall balance between theoretical and observational considerations. As such, this book will also benefit experienced scientists and nonspecialists from related areas of research. 324 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers accepted for presentation at the 6th Inter- tional Conference on Veri cation, Model Checking and Abstract Interpretation (VMCAI 2005), which was held January 17 19, 2005 in Paris, France. VMCAI provides a forum for researchers from the communities of veri - tion, model checking, and abstract interpretation, facilitating interaction, cro- fertilization, and advancement of hybrid methods that combine the three areas. With the growing need for formal methods to reason about complex, in ni- state, and embedded systems, such hybrid methods are bound to be of great importance. VMCAI 2005 received 92 submissions. Each paper was carefully reviewed, being judged according to scienti c quality, originality, and relevance to the symposium topics. Following online discussions, the program committee met in Paris,France,attheEcoleNormaleSup erieureonOctober30,2004,andselected 27 papers. In addition to the contributed papers, this volume includes contributions by outstanding invited speakers: Patrick Cousot (Ecole Normale Sup erieure, Paris), Proving Program Inva- ance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semide nite Programming; C.A.R. Hoare (Microsoft Research, Cambridge), The Verifying Compiler, a Grand Challenge for Computing Research; Amir Pnueli (New York University and Weizmann Institute of Science), - straction for Liveness. The VMCAI 2005 program included an invited tutorial by Sriram K. Ra- mani (Microsoft Research,Redmond) on Model Checking, Abstraction and S- bolic Execution for Software. VMCAI 2005 was followed by workshops on Automatic Tools for Veri - tion, Abstract Interpretation of Object-Oriented Languages, and Numerical & Symbolic Abstract Domains. 500 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains papers selected for presentation at the 31st Annual C- ference on Current Trends in Theory and Practice of Informatics - SOFSEM 2005, held on January 22-28, 2005 in LiptovskyJ an, Slovakia. The series of SOFSEM conferences, organized alternately in the Czech - public and Slovakia since 1974, has a well-established tradition. The SOFSEM conferences were originally intended to break the Iron Curtain in scienti c - change. After the velvet revolution SOFSEM changed to a regular broad-scope international conference. Nowadays, SOFSEM is focused each year on selected aspects of informatics. This year the conference was organized into four tracks, each of them complemented by two invited talks: - Foundations of Computer Science (Track Chair: Bernadette Charron-Bost) - Modeling and Searching Data in the Web-Era (Track Chair: Peter Vojt a s) - Software Engineering (Track Chair: M aria Bielikova) - Graph Drawing (Track Chair: Ondrej Syk ora) The aim of SOFSEM 2005 was, as always, to promote cooperation among professionalsfromacademiaandindustryworkinginvariousareasofinformatics. Each track was complemented by two invited talks. The SOFSEM 2005 Program Committee members coming from 13 countries evaluated 144 submissions (128 contributed papers and 16 student research - rum papers). After a careful review process (counting at least 3 reviews per paper), followed by detailed discussions in the PC, and a co-chairs meeting held on October 8, 2005 in Bratislava, Slovakia, 44 papers (overall acceptance rate 34. 448 pp. Englisch. …

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -criteria linear and nonlinear programming has proven to be a very useful approach. - Knowledge management for enterprise: These papers address various issues related to the application of knowledge management in corporations using various techniques. A particular emphasis here is on coordination and cooperation. - Risk management: Better knowledge management also requires more advanced techniques for risk management, to identify, control, and minimize the impact of uncertain events, as shown in these papers, using fuzzy set theory and other approaches for better risk management. - Integration of data mining and knowledge management: As indicated earlier, the integration of these two research fields is still in the early stage. Nevertheless, as shown in the papers selected in this volume, researchers have endearored to integrate data mining methods such as neural networks with various aspects related to knowledge management, such as decision support systems and expert systems, for better knowledge management. September 2004 Yong Shi Weixuan Xu Zhengxin Chen CASDMKM 2004 Organization Hosted by Institute of Policy and Management at the Chinese Academy of Sciences Graduate School of the Chinese Academy of Sciences International Journal of Information Technology and Decision Making Sponsored by Chinese Academy of Sciences National Natural Science Foundation of China University of Nebraska at Omaha, USA Conference Chairs Weixuan Xu, Chinese Academy of Sciences, China Yong Shi, University of Nebraska at Omaha, USA Advisory Committee 284 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains a selection of refereed papers from participants of the workshop Construction and Analysis of Safe, Secure and Interoperable Smart Devices (CASSIS), held from the 10th to the 13th March 2004 in Marseille, France: The workshop was organized by INRIA (Institut National de Recherche en InformatiqueetenAutomatique),Franceandthe UniversitydelaM editerran ee, Marseille, France. The workshop was attended by nearly 100 participants, who were invited for their contributions to relevant areas of computer science. Theaimoftheworkshopwastobringtogetherexpertsfromthesmartdevices industry and academic researchers, with a view to stimulate research on formal methods and security, and to encourage the smart device industry to adopt innovative solutions drawn from academic research. The next generation of smart devices holds the promise of providing the required infrastructure for the secure provision of multiple and personalized services. In order to deliver their promise, the smart device technology must however pursue the radical evolution that was initiated with the adoption of multi-application smartcards. Typical needs include: The possibility for smart devices to feature extensible computational infr- tructures that may be enhanced to support increasingly complex appli- tions that may be installed post-issuance, and may require operating system functionalities that were not pre-installed. Such additional exibility must however not compromise security. The possibility for smart devices to achieve a better integration with larger computersystems,throughimprovedconnectivity,genericity,aswellasint- operability. 272 pp. Englisch.…