springer berlin jul 2012 (927 risultati)

Buch. Condizione: Neu. Neuware -Neuromedia is an innovative examination of shared territories in neurobiological anatomy, physiology and media art. It reveals how scientists investigate perception and behaviour at the molecular, cellular and systems level. It demonstrates how interpretative forms of media art can help to demystify these complexities for diverse audiences. Under the reflective headings of inspiration, construction, challenges and reactions, it offers deep insights into the processes of art and science production. Assisted by essays from a museum director and an art historian, Neuromedia provides the background for readers about an exhibition of the same name at KULTURAMA in Zurich (2012), and suggests an alternative approach to scientific communication.Authors: Robert Atkins, Oliver Biehlmaier, Mitchel Paul Levesque, Stephan Neuhauss, Rolf Pfeifer, Claudia Rütsche, Jill Scott and Esther StoeckliSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 12th Industrial Conference on Data Mining, ICDM 2012, held in Berlin, Germany in July 2012.The 22 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on data mining in medicine and biology; data mining for energy industry; data mining in traffic and logistic; data mining in telecommunication; data mining in engineering; theory in data mining; theory in data mining: clustering; theory in data mining: association rule mining and decision rule mining.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the Third Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2011, held in conjunction with the 37th International Conference on Very Large Data Bases, VLDB 2011, in Seattle, August/September 2011.The 12 full papers and 2 keynote papers were carefully selected and reviewed from numerous submissions. The papers present novel ideas and methodologies in performance evaluation, measurement, and characterization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Second International Workshop on Datalog 2.0, held in Vienna, Austria, in September 2012.The 14 revised full papers presented together with 2 invited talks and 2 invited tutorials were carefully reviewed and selected from 17 initial submissions. Datalog 2.0 is a workshop for Datalog pioneers, implementors, and current practitioners; the contributions aim to bring every participant up-to-date with the newest developments and map out directions for the future.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Second International Conference on ICT as Key Technology for the Fight against Global Warming, ICT-GLOW 2012, held in Vienna, Austria, in September 2012, in conjunction with DEXA 2012. The 9 revised papers presented were carefully reviewed and selected for inclusion in the volume. They are organized in the following topical sections: novel implementations for energy awareness; green data centers and supercomputing; and green organization and business modelling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th Brazilian Symposium on Bioinformatics, BSB 2012, held in Campo Grande, Brazil, in August 2012.The 16 regular papers presented were carefully reviewed and selected for inclusion in this book. It also contains a joint paper from two of the guest speakers. The Brazilian Symposium on Bioinformatics covers all aspects of bioinformatics and computational biology, including sequence analysis; motifs, and pattern matching; biological databases, data management, data integration, and data mining; biomedical text mining; structural, comparative, and functional genomics; personal genomics; protein structure, modeling, and simulation; gene identification, regulation and expression analysis; gene and protein interaction and networks; molecular docking; molecular evolution and phylogenetics; computational systems biology; computational proteomics; statistical analysis of molecular sequences; algorithms for problems in computational biology; applications in molecular biology, biochemistry, genetics, medicine, microbiology and associated subjects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2012, held in Vienna, Austria, in September 2012 in conjunction with DEXA 2012.The 9 revised full papers presented were carefully reviewed and selected from 15 submissions. The papers are organized in topical sections on data management in the cloud, cloud MapReduce and performance evaluation, and data stream systems and distributed data mining.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2008, held in Estoril, Portugal, in May 2008 and the 8th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2009, held in Budapest, Hungary, May 2009, co-located with the International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS. The 13 revised full papers presented were carefully reviewed and selected from numerous submissions. The volume is organized in topical sections on social welfare, distributed information sharing, and network organization and efficiency.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Trust and Privacy in Digital Business, TrustBus 2012, held in Vienna, Austria, in September 2012 in conjunction with DEXA 2012.The 18 revised full papers presented together with 12 presentations of EU projects were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: Web security; secure management processes and procedures; access control; intrusion detection - trust; applied cryptography; secure services, databases, and data warehouses; and presentations of EU projects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Buch. Condizione: Neu. Neuware -The rapid growth of the Asian urban population concentrates on a few large cities, turning them into giant megacities. Despite new theoretical insights into the benefits of megacities, the emerging Asia is facing a daunting challenge concerning the management of infrastructure and services in their megacities. The deteriorating urban mobility is the most difficult challenge with respect to the sharp increase in vehicle numbers and to inadequate and poorly managed road infrastructure. Public transport, a sustainable mode of mobility, is subjected to a vicious cycle of poor service, decreasing ridership and lower investment. Despite various policy initiatives, the situation has not improved. The scale and growth pattern of Asian megacities have distinctive features which generate a unique set of challenges and opportunities. New perspectives are needed to effectively address the transportation problems making the best use of available opportunities. This book, which is a result of an international collaborative research, addresses these challenges by providing insightful analysis and novel viewpoints.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Buch. Condizione: Neu. Neuware -The positive reciprocal pairwise comparison matrix (PCM) is one of the key components which is used to quantify the qualitative and/or intangible attributes into measurable quantities. This book examines six understudied issues of PCM, i.e. consistency test, inconsistent data identification and adjustment, data collection, missing or uncertain data estimation, and sensitivity analysis of rank reversal. The maximum eigenvalue threshold method is proposed as the new consistency index for the AHP/ANP. An induced bias matrix model (IBMM) is proposed to identify and adjust the inconsistent data, and estimate the missing or uncertain data. Two applications of IBMM including risk assessment and decision analysis, task scheduling and resource allocation in cloud computing environment, are introduced to illustrate the proposed IBMM.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Disasters like floods, hurricanes, chemical or nuclear accidents may cause the necessity to evacuate the affected area. The evacuation ofthe urban area needs to be planned carefully. One issue is the reorganization of the traffic routing. Congested urban areashave usually complex street networks that are composed of many intersections with streets connecting them. The population density of a congested urban area is usually high and the street network is already used to capacity during rush hour traffic. The considered problem of this work is the reorganization of the traffic routing of an urban area for the case of an emergency mass evacuation. Especially aspects of the evacuation like safety, avoidance of delays and the total system travel time are taken into account. Combinatorial and graph theoretical aspects are adapted for the evacuation problem and highlight issues concerning especially conflicts within intersections. This work gives an extensive summary of literature of evacuation of urban areas. Mixed-integer linear programming models are developed for evacuation problems and heuristic algorithms are provided and tested. Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The two-volume set LNCS 7382 and 7383 constiutes the refereed proceedings of the 13th International Conference on Computers Helping People with Special Needs, ICCHP 2012, held in Linz, Austria, in July 2012. The 147 revised full papers and 42 short papers were carefully reviewed and selected from 364 submissions. The papers included in the first volume are organized in the following topical sections: universal learning design; putting the disabled student in charge: user focused technology in education; access to mathematics and science; policy and service provision; creative design for inclusion, virtual user models for designing and using inclusive products; web accessibility in advanced technologies, website accessibility metrics; entertainment software accessibility; document and media accessibility; inclusion by accessible social media; a new era for document accessibility: understanding, managing and implementing the ISO standard PDF/UA; and human-computer interaction and usability for elderly.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 756 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book in the emerging research field of biomaterials covers biodegradable metals for biomedical applications.The book contains two main parts where each of them consists of three chapters. The first part introduces the readers to the field of metallic biomaterials, exposes the state of the art of biodegradable metals, and reveals its application for cardiovascular implants. Somefundamental aspects to give basic understanding on metals for further review on the degradable ones is covered in chapter one. The second chapter introduces the concept of biodegradable metals, it's state of the art and discuses a shifted paradigm from inert to bioactive, from corrosion resistant to corrodible metals.The third chapter focuses on the challenges and opportunities of using biodegradable metals for cardiovascular applications.The second part exposes an example of biodegradable metals from its concept to applications where a complete study on metallic biodegradable stent is detailed from materials design, development, testing till the implant fabrication. The forth chapter reveals new alloys development devoted for metallic biodegradable stent based on required criteria derrived from clinical needs and current nondegradable stents properties. Degradation of the alloys in simulated arterial conditions and its effect to cells are exposed in chapter five. The both chapters are concluded with a benchmarking of some more recent researches on materials development and testing for biodegradable stents. Chapter six reveals the tranformation process of the materials into stent prototypes where a standard process for making 316L stainless steel stents was followed.The book is completed by a perspective on the use of biodegradable metals for biomedical applications in the era of tissue engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 80 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The two-volume set LNCS 7382 and 7383 constiutes the refereed proceedings of the 13th International Conference on Computers Helping People with Special Needs, ICCHP 2012, held in Linz, Austria, in July 2012. The 147 revised full papers and 42 short papers were carefully reviewed and selected from 364 submissions. The papers included in the second volume are organized in the following topical sections: portable and mobile systems in assistive technology; assistive technology, HCI and rehabilitation; sign 2.0: ICT for sign language users: information sharing, interoperability, user-centered design and collaboration; computer-assisted augmentative and alternative communication; easy to Web between science of education, information design and speech technology; smart and assistive environments: ambient assisted living; text entry for accessible computing; tactile graphics and models for blind people and recognition of shapes by touch; mobility for blind and partially sighted people; and human-computer interaction for blind and partially sighted people.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 716 pp. Englisch.

Buch. Condizione: Neu. Neuware -Data mining, an interdisciplinary field combining methods from artificial intelligence, machine learning, statistics and database systems, has grown tremendously over the last 20 years and produced core results for applications like business intelligence, spatio-temporal data analysis, bioinformatics, and stream data processing.The fifteen contributors to this volume are successful and well-known data mining scientists and professionals. Although by no means an exhaustive list, all of them have helped the field to gain the reputation and importance it enjoys today, through the many valuable contributions they have made. Mohamed Medhat Gaber has asked them (and many others) to write down their journeys through the data mining field, trying to answer the following questions:1. What are your motives for conducting research in the data mining field 2. Describe the milestones of your research in this field.3. What are your notable success stories 4. How did you learn from your failures 5. Have you encountered unexpected results 6. What are the current research issues and challenges in your area 7. Describe your research tools and techniques.8. How would you advise a young researcher to make an impact 9. What do you predict for the next two years in your area 10. What are your expectations in the long term In order to maintain the informal character of their contributions, they were given complete freedom as to how to organize their answers. This narrative presentation style provides PhD students and novices who are eager to find their way to successful research in data mining with valuable insights into career planning. In addition, everyone else interested in the history of computer science may be surprised about the stunning successes and possible failures computer science careers (still) have to offer.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume presents the revised lecture notes of selected talks given at the Fourth Central European Functional Programming School, CEFP 2011, held in June 2011 in Budapest, Hungary. The 11 revised full papers presented were carefully reviewed by experts on functional programming and revised based on the reviews. The lectures cover a wide range of distributed and multicore functional programming subjects. The last 2 papers are selected papers of the PhD Workshop organized for the participants of the summer school.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 544 pp. Englisch.

Buch. Condizione: Neu. Neuware -Here we use the term 'field' to refer to a sphere of practical operation, and correspondingly the term 'field informatics' describes informatics tools and methodologies that arise in the field. The components of field informatics are description, prediction, design and transfer, and the methods for those components vary widely. For example, we consider the social goal of revitalizing a mountainous area experiencing depopulation and we show how the tools and methodologies of field informatics may be used to describe such situations using remote sensing, biologging, human sensing and ethnography; the effects of various solutions can be predicted using system dynamics and multiagent simulations; the solutions can be designed using inclusive design or participatory design methods; and finally the experience gained can be transferred using case writing and outreach communication.The authors are specialists in diverse areas such as informatics, engineering, agriculture, sociology and pedagogy, and their areas of interest range from environment conservation to social education for international cooperation. They have a particular focus on the environment in southeast Asia and related topics such as large-scale traffic simulations, participatory workshops, inclusive design workshops, distance learning, and intercultural collaboration.This book targets graduate students seeking tools and methodologies for natural observation, field workers engaged in social participation, and researchers and engineers pursuing innovation. The techniques described in the book could also be exploited by government officials to form consensus and develop activities or by non-profit organizations to undertake more effective social programs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The conference ESSDERC '89 held in September 1989 in Berlin was concerned with the physics, electrical characteristics, reliability and processing of solid state devices and electronic materials. The proceedings contain all invited and contributed papers of the conference and thus becomes a state-of-the-art-report of solid state device research in Europe 1989.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 996 pp. Englisch.

Buch. Condizione: Neu. Neuware -This work contains the proceedings of the 'Mathematics and Culture' conference held in Venice in March 2002. The conference aims to act as a bridge across the various aspects of human knowledge.While keeping mathematics as its core, it is aimed at anyone endowed with cultural curiosity and interests, whether within or (even more so) outside mathematics.This volume therefore covers music, cinema, art, theatre and literature, with topics ranging from Tibet to comics.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 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 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. 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 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 88 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 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. Condizione: Neu. Neuware -This book constitutes the first of 3 volumes of refereed conference proceedings of the 8th International Conference on Intelligent Computing, ICIC 2012, held in Huangshan, China, in July 2012. The 242 revised full papers presented were carefully reviewed and selected from 753 submissions. The 84 papers included in this volume are organized in topical sections on evolutionary learning and genetic algorithms, fuzzy theory and models, swarm intelligence and optimization, kernel methods and supporting vector machines, nature inspired computing and optimization, systems biology and computational biology, knowledge discovery and data mining, graph theory and algorithms, machine learning theory and methods, biomedical informatics theory and methods, complex systems theory and methods, pervasive/ubiquitous computing theory and methods, intelligent computing in bioinformatics, intelligent computing in pattern recognition, intelligent computing in image processing, intelligent computing in robotics, intelligent computing in computer vision, intelligent computing in Petri nets/transportation systems, intelligent data fusion and information security, intelligent sensor networks, knowledge representation/reasoning and expert systems, hybrid optimization, and bio-inspired computing and application.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 692 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Grammar 2010 and 2011,collocated with the European Summer School in Logic, Language and Informationin July 2010/2011.The 19 revised full papers were carefully reviewed and selected from a total of 50 submissions. The papers papers deal with the following topics: formal and computational phonology, morphology, syntax, semantics and pragmatics; model-theoretic and proof-theoretic methods in linguistics; logical aspects of linguistic structure; constraint-based and resource-sensitive approaches to grammar; learnability of formal grammar;integration of stochastic and symbolic models of grammar; foundational, methodological and architectural issues in grammar; mathematical foundations of statistical approaches to linguistic analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This two-volume-set (LNCS 7203 and 7204) constitutes the refereed proceedings of the 9th International Conference on Parallel Processing and Applied Mathematics, PPAM 2011, held in Torun, Poland, in September 2011.The 130 revised full papers presented in both volumes were carefully reviewed and selected from numerous submissions. The papers address issues such as parallel/distributed architectures and mobile computing; numerical algorithms and parallel numerics; parallel non-numerical algorithms; tools and environments for parallel/distributed/grid computing; applications of parallel/distributed computing; applied mathematics, neural networks and evolutionary computing; history of computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 692 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 13th Conference on Towards Autonomous Robotic Systems, TAROS 2012 and the 15th Robot World Congress, FIRA 2012, held as joint conference in Bristol, UK, in August 2012. The 36 revised full papers presented together with 25 extended abstracts were carefully reviewed and selected from 89 submissions. The papers cover various topics in the field of autonomous robotics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.