springer berlin springer berlin heidelberg springer aug 2012 (Más de 1.000 resultados)

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Third International ICST Conference on Sensor Systems and Software, S-Cube 2012, held in Lisbon, Portugal in June 2012. The 12 revised full papers presented were carefully reviewed and selected from over 18 submissions and four invited talks and cover a wide range of topics including middleware, frameworks, learning from sensor data streams, stock management, e-health, and Web Of Things.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012.The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the Second International Workshop on Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data, STIA 2012, held in conjunction with MICCAI 2012 in Nice, France, in October 2012.The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections named: longitudinal registration and transport; spatio-temporal analysis for shapes; spatio-temporal analysis under appearance changes; and spatio-temporal analysis for biology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the Third International Conference of the CLEF Initiative, CLEF 2012, held in Rome, Italy, in September 2012.The 14 papers and 3 poster abstracts presented were carefully reviewed and selected for inclusion in this volume. Furthermore, the books contains 2 keynote papers. The papers are organized in topical sections named: benchmarking and evaluation initiatives; information access; and evaluation methodologies and infrastructure.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, SBLP 2012, held in Natal, Brazil, in September 2012.The 10 full and 2 short papers were carefully reviewed and selected from 27 submissions. The papers cover various aspects of programming languages and software engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012.The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the First European Conference on Service-Oriented and Cloud Computing, ESOCC, held in Bertinoro, Italy, in September 2012. The 12 full papers, 3 short papers and 3 poster papers were carefully reviewed and selected from 57 submissions. The volume also contains 7 papers from the industrial track. The papers cover the following topics: cloud computing; service quality and analysis; service composition and evolution; composition; security; modeling; adaption.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed conference proceedings of the 5th International Workshop on Business Intelligence for the Real-Time Enterprise, BIRTE 2011, held in Seattle, WA, USA, in September 2011, in conjunction with VLDB 2011, the International Conference on Very Large Data Bases. The series of BIRTE workshops aims to provide a forum for researchers to discuss and advance the foundational science and engineering required to enable real-time business intelligence as well as novel applications and solutions based on these foundational techniques.The volume contains 6 research papers, which have been carefully reviewed and selected from 12 submissions, plus the 3 keynotes presented at the workshop. The topics cover all stages of the business intelligence cycle, including capturing of real-time data, handling of temporal or uncertain data, performance issues, event management, and the optimization of complex ETL workflows.The volume contains 6 research papers, which have been carefully reviewed and selected from 12 submissions, plus the 3 keynotes presented at the workshop. The topics cover all stages of the business intelligence cycle, including capturing of real-time data, handling of temporal or uncertain data, performance issues, event management, and the optimization of complex ETL workflows.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 3rd International Conference on Serious Games Development and Applications, SGDA 2012, held in Bremen, Germany in September 2012.The 22 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers cover various topics on serious games including engineering, education, health care, military applications, game design, game study, game theories, virtual reality, 3D visualisation and medical applications of games technology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 35th Annual German Conference on Artificial Intelligence, KI 2012, held in Saarbrücken, Germany, in September 2012.The 19 revised full papers presented together with 9 short papers were carefully reviewed and selected from 57 submissions. The papers contain research results on theory and applicaiton of all aspects of AI.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 2nd International Conference on Model and Data Engineering, MEDI 2012, held in Poitiers, France, in October 2012.The 12 revised full papers presented together with 5 short papers were carefully reviewed and selected from 35 submissions. The papers are cover the topics of model driven engineering, ontology engineering, formal modeling, security, and data mining.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Computational Logistics, held in Shanghai, China, in September 2012. The 15 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on maritime shipping; logistics and supply chain management; planning and operations; and case studies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the First International Conference, TPNC 2012, held in Tarragona, Spain, in October 2012. The 12 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 34 submissions. The papers are organized in topical sections on nature-inspired models of computation; synthesizing nature by means of computation; nature-inspired materials; and information processing in nature.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012.The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 18th Collaboration Researchers' International Working Group Conference on Collaboration and Technology, held in Raesfeld, Germany, in September 2012.The 9 revised papers presented together with 12 short papers were carefully reviewed and selected from numerous submissions. They are grouped into five themes that represent collaborative learning, social media analytics, conceptual and design models, formal modeling and technical approaches and collaboration support in emergency scenarios.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Since the 1960s the environment has become an issue of increasing public concern in North America and elsewhere. Triggered by the Second Indochina War (Vietnam Conflict) of 1961-1975, and further encouraged by the International Conference on the Human Environment, held in Stockholm in 1972, the environmental impact of war emerged and grew as a topic of research in the natural and the social sciences. And in the late 1980s this led additionally to a focus and debate on environmental security. Arthur Westing, a forest ecologist, was a major pioneer contributing and framing both of those debates conceptually, theoretically, and empirically, starting with Harvest of Death: Chemical Warfare in Vietnam and Cambodia (1972) (co-authored with wildlife biologist E.W. Pfeiffer and others). As a Senior Researcher at the Stockholm and Oslo International Peace Research Institutes (SIPRI and PRIO), and as a Professor of Ecology at Windham and Hampshire Colleges, Westing authored and edited books on Ecological Consequences of the Second Indochina War (1976), Weapons of Mass Destruction and the Environment (1977), Warfare in a Fragile World: Military Impact on the Human Environment (1980), Herbicides in War: the Long-term Ecological and Human Consequences (1984), Environmental Warfare: a Technical, Legal and Policy Appraisal (1984), Explosive Remnants of War: Mitigating the Environmental Effects (1985), Global Resources and International Conflict: Environmental Factors in Strategic Policy and Action (1986), Cultural Norms, War and the Environment (1988), Comprehensive Security for the Baltic: an Environmental Approach (1989), and Environmental Hazards of War: Releasing Dangerous Forces in an Industrialized World (1990) --- as well as authoring numerous UN reports, book chapters, and journal articles. This volume combines six of his pioneering contributions on theenvironmental consequences of warfare in Viet Nam and in Kuwait, on the environmental impact of nuclear war, and on legal constraints and military guidelines for protecting the environment in wartimeSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Control analysis and design of large nuclear reactors requires a suitable mathematical model representing the steady state and dynamic behavior of the reactor with reasonable accuracy. This task is, however, quite challenging because of several complex dynamic phenomena existing in a reactor. Quite often, the models developed would be of prohibitively large order, non-linear and of complex structure not readily amenable for control studies. Moreover, the existence of simultaneously occurring dynamic variations at different speeds makes the mathematical model susceptible to numerical ill-conditioning, inhibiting direct application of standard control techniques. This monograph introduces a technique for mathematical modeling of large nuclear reactors in the framework of multi-point kinetics, to obtain a comparatively smaller order model in standard state space form thus overcoming these difficulties. It further brings in innovative methods for controller design for systems exhibiting multi-time-scale property, with emphasis on three-time-scale systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Based on lectures given at a CNRS summer school in France, this book covers many aspects of stellar environments (both observational and theoretical) and offers a broad overview of the field. More specifically, Part I of the book focuses on the Sun, the properties of the ejected plasma, of the solar wind and on space weather. The second part deals with tides in planetary systems and in binary stellar systems, as well as with interactions in massive binary stars as seen by interferometry. Finally the chapters of Part III discuss the environments of young or evolved stars, stellar winds, agnetic fields and disks. With its broad approach the book will provide advanced students as well as researchers with a good overview of the environments of the Sun and the stars.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of language technology in Europe varies between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors, such as the complexity of a given language and the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysis focused on the 23 official European languages as well as other important national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailed expert analysis and assessment of the current situation will help maximise the impact of additional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders from commercial businesses, government agencies, industry, research organisations, software companies, technology providers and European universities. Together, they are creating a common technology vision while developing a strategic research agenda that shows how language technology applications can address any research gaps by 2020.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 104 pp. Englisch.

Buch. Condición: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 17th European Symposium on Computer Security, ESORICS 2012, held in Pisa, Italy, in September 2012.The 50 papers included in the book were carefully reviewed and selected from 248 papers. The articles are organized in topical sections on security and data protection in real systems; formal models for cryptography and access control; security and privacy in mobile and wireless networks; counteracting man-in-the-middle attacks; network security; users privacy and anonymity; location privacy; voting protocols and anonymous communication; private computation in cloud systems; formal security models; identity based encryption and group signature; authentication; encryption key and password security; malware and phishing; and software security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 916 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 8th International Conference on Swarm Intelligence, held in Brussels, Belgium, in September 2012.This volume contains 15 full papers, 20 short papers, and 7 extended abstracts carefully selected out of 81 submissions. The papers cover various topics of swarm intelligence.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of language technology in Europe varies between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors, such as the complexity of a given language and the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysis focused on the 23 official European languages as well as other important national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailed expert analysis and assessment of the current situation will help maximise the impact of additional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders from commercial businesses, government agencies, industry, research organisations, software companies, technology providers and European universities. Together, they are creating a common technology vision while developing a strategic research agenda that shows how language technology applications can address any research gaps by 2020.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 100 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of language technology in Europe varies between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors, such as the complexity of a given language and the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysis focused on the 23 official European languages as well as other important national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailed expert analysis and assessment of the current situation will help maximise the impact of additional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders from commercial businesses, government agencies, industry, research organisations, software companies, technology providers and European universities. Together, they are creating a common technology vision while developing a strategic research agenda that shows how language technology applications can address any research gaps by 2020.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 100 pp. Englisch.

Buch. Condición: Neu. Neuware -Information is an important concept that is studied extensively across a range of disciplines, from the physical sciences to genetics to psychology to epistemology. Information continues to increase in importance, and the present age has been referred to as the ¿Information Age.¿One may understand information in a variety of ways. For some, information is found in facts that were previously unknown. For others, a fact must have some economic value to be considered information. Other people emphasize the movement through a communication channel from one location to another when describing information. In all of these instances, information is the set of characteristics of the output of a process. Yet Information has seldom been studied in a consistent way across different disciplines.Information from Processes provides a discipline-independent and precise presentation of both information and computing processes. Information concepts and phenomena are examined in an effort to understand them, given a hierarchy of information processes, where one process uses others. Research about processes and computing is applied to answer the question of what information can and cannot be produced, and to determine the nature of this information (theoretical information science). The book also presents some of the basic processes that are used in specific domains (applied information science), such as those that generate information in areas like reasoning, the evolution of informative systems, cryptography, knowledge, natural language, and the economic value of information.Written for researchers and graduate students in information science and related fields, Information from Processes details a unique information model independent from other concepts in computer or archival science, which is thus applicable to a wide range of domains. Combining theoretical and empirical methods as well as psychological, mathematical,philosophical, and economic techniques, Losee¿s book delivers a solid basis and starting point for future discussions and research about the creation and use of information.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The need for flexibility and globalization forces enterprises to decentralize their activities and continuously (re)structure their networks of relationships regarding both their productive 'supply chains' and their design and innovation processes. The goal of the ArtDeco project, funded by the Italian Ministry of Education and Scientific Research under the FIRB program (funding for basic research), has been to address these issues by proposing solutions from three main perspectives: the organizational perspective aimed at studying how companies work in a network and how their design processes can benefit from collaboration with other companies; the informational perspective focusing on how to acquire relevant knowledge from unstructured information and processes and on how to organize and manage such knowledge; and the infrastructural perspective focusing on understanding how self-adaptive workflows and software systems can help in supporting the dynamic interconnection of enterprises.The book contains a collection of papers offering an overview of the main results produced by the ArtDeco project. It has been structured into the following four main parts: organizational issues: methodologies, empirical contexts and policies; software methodologies and technologies; knowledge elicitation and management; and management of peripheral devices. It also includes a case study used throughout the book as a reference example.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the AmI 2011 Workshops, held in Amsterdam, The Netherlands, in November 2011.The 55 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on aesthetic intelligence: designing smart and beautiful architectural spaces; ambient intelligence in future lighting systems; interactive human behavior analysis in open orpublic spaces; user interaction methods for elderly, people with dementia; empowering and integrating senior citizens with virtual coaching; integration of AMI and AAL platforms in the future internet (FI) platform initiative; ambient gaming; human behavior understanding: inducing behavioral change; privacy, trust and interaction in the internet of things; doctoral colloquium.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of language technology in Europe varies between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors, such as the complexity of a given language and the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysis focused on the 23 official European languages as well as other important national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailed expert analysis and assessment of the current situation will help maximise the impact of additional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders from commercial businesses, government agencies, industry, research organisations, software companies, technology providers and European universities. Together, they are creating a common technology vision while developing a strategic research agenda that shows how language technology applications can address any research gaps by 2020.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 84 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Rough Sets and Knowledge Technology, RSKT 2012, held in Chengdu, China during August 2012, as one of the co-located conferences of the 2012 Joint Rough Set Symposium, JRS 2012. The 63 revised papers (including 42 regular and 21 short papers) were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on rough sets and its generalizations, rough sets in data and knowledge processing, knowledge technology, advances in granular computing (AGC 2012 workshop), decision-theoretic rough set model and applications (special session), intelligent decision making and granular computing (special session), rough set foundations (special session).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 544 pp. Englisch.