springer berlin heidelberg springer aug 2012 (Oltre 1.000 risultati)

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the fourth International ICST Conference on Security and Privacy in Mobile Information and Communication Systems (MOBISEC 2012) held in Frankfurt/Main, Germany, in June 2012. The 13 revised full papers were carefully selected from numerous submissions and cover the application layer of security, highlighting the practical importance of security of mobile devices in concrete usages. Contributions to MobiSec 2012 range from treatments on user privacy issues, over mobile application and app security, to mobile identity management, and NFC. With the orientation toward applications, MobiSec is a perfect interface between academia and industry in the field of mobile communications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, WoCoUQ 2011, held in Boulder, CO, USA, in August 2011. The 24 revised papers were carefully reviewed and selected from numerous submissions. They are organized in the following topical sections: UQ need: risk, policy, and decision making, UQ theory, UQ tools, UQ practice, and hot topics. The papers are followed by the records of the discussions between the participants and the speaker.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

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

Taschenbuch. Condizione: 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 centers 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. Condizione: Neu. Neuware -This smallbook on the properties of continuously distributed matter covers a huge field. It sets out the governing principles of continuum physics and illustrates them by carefully chosen examples. These examples comprise structural mechanics and elasticity, fluid media, electricity and optics, thermoelectricity, fluctuation phenomena and more, from Archimedes' principle via Brownian motion to white dwarfs. Metamaterials, pattern formation by reaction-diffusion and surface plasmon polaritons are dealt with as well as classical topics such as Stokes' formula, beam bending and buckling, crystal optics and electro- and magnetooptic effects, dielectric waveguides, Ohm's law, surface acoustic waves, to mention just some.The set of balance equations for content, flow and production of particles, mass, charge, momentum, energy and entropy is augmented by material, or constitutive equations. They describe entire classes of materials, such asviscid fluids and gases, elastic media, dielectrics or electrical conductors.We discuss the response of matter to rapidly oscillating external parameters, in particular the electric field strength of light, in the framework of statistical thermodynamics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book provides a detailed account of the physico-chemical properties and biological functions of the outer membrane vesicles (OMVs) of different pathogenic and non-pathogenic Gram-negative bacteria. It also includes an authentic record of the first systematic study that discovered the mechanism of OMV formation by a pathogen, Vibrio cholerae, and proposed that the process represented a novel secretory activity of bacteria. Furthermore, the authors present clinical and laboratory data on the use of OMVs as immunogens, as effective and licensed vaccines against Neisseria meningitidis serogroup B infections and on the development of more effective vaccines against other human and animal pathogens including Vibrio cholerae. This volume thus bears witness to the emerging revolution in the field of vaccines against pathogens and closes with a discussion of open questions and future research on OMVs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the European Design Science Symposium, EDSS 2011, held in Leixlip, Ireland, in October 2011 held in conjunction with the Intel European Research and Innovation Conference, ERIC 2011. The 15 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on design science and processes; evaluation and utility; and applying design science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 14th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2012, held in Leuven, Belgium, in September 2012. The 32 papers presented together with 1 invited talk were carefully reviewed and selected from 120 submissions. The papers are organized in the following topical sections: intrusive attacks and countermeasures; masking; improved fault attacks and side channel analysis; leakage resiliency and security analysis; physically unclonable functions; efficient implementations; lightweight cryptography; we still love RSA; and hardware implementations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -,1m Kleinsten die wirkliche Wahrheit gibt graBen Gedanken erst Klarheit' KARL THOMAS Each year sees the publication of hundreds of reports of experimental work on the lymphatic tissue, yet morphological studies of the cells involved can be counted on the fingers of one hand. Furthermore, anyone who tries to identify these cells by morphological criteria is accused of sophistry and hair splitting, whereas it is accounted scientifically correct and unbiased to speak of 'lymphoid cells', 'blast cells' etc. Not so many years ago things were different: there were too many names and too many classifi cations and everyone backed his particular fancy. People thought of cells in terms of rigid classes, nothing then being known about the transformability of mononuclear blood cells. Today we must look for the middle way: cells should be named and defined according to morpho logical criteria but their transformation potential should be borne in mind. Once the cells are analysed and subdivided, it will be simple enough to set up proper classifications afterwards. This book arose out of the conviction that there should be more criteria and more information available on the morphology of human lymphoreticular cells; previously such information had been restricted by the difficulty of the special hematological and cytochemical staining methods.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 16th East-European Conference on Advances in Databases and Information Systems (ADBIS 2012), held in Poznan, Poland, in September 2012. The 32 revised full papers presented were carefully selected and reviewed from 122 submissions. The papers cover a wide spectrum of issues concerning the area of database and information systems, including database theory, database architectures, query languages, query processing and optimization, design methods, data integration, view selection, nearest-neighbor searching, analytical query processing, indexing and caching, concurrency control, distributed systems, data mining, data streams, ontology engineering, social networks, multi-agent systems, business process modeling, knowledge management, and application-oriented topics like RFID, XML, and data on the Web.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The three-volume set LNCS 7510, 7511, and 7512 constitutes the refereed proceedings of the 15th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2012, held in Nice, France, in October 2012. Based on rigorous peer reviews, the program committee carefully selected 252 revised papers from 781 submissions for presentation in three volumes. The third volume includes 79 papers organized in topical sections on diffusion imaging: from acquisition to tractography; image acquisition, segmentation and recognition; image registration; neuroimage analysis; analysis of microscopic and optical images; image segmentation; diffusion weighted imaging; computer-aided diagnosis and planning; and microscopic image analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 692 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012.The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 848 pp. Englisch.