springer berlin heidelberg springer berlin heidelberg mär 2013 (135 risultati)

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2012, held in San Sebastian, Spain, in September 2012.The 20 revised full papers presented were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on bioinspired and machine learning methods, machine learning applications, semantics and ontology based techniques, and lattice computing and games.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer.The volume includes 13 full papers, which are presenting research in all aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Second International Conference on Biologically Inspired Music, Sound, Art and Design, EvoMUSART 2013, held in Vienna, Austria, in March 2013, colocated with the Evo\* 2013 events EuroGP, EvoCOP, EvoBIO, and EvoApplications.The 11 revised full papers and 5 poster papers presented were carefully reviewed and selected from 36 submissions. They cover a wide range of topics and application areas, including: generative approaches to music, graphics, game content, and narrative; robot gait creation; music information retrieval; computational aesthetics; the mechanics of interactive evolutionary computation; and the art theory of evolutionary computation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 16th European Conference on Genetic Programming, EuroGP 2013, held in Vienna, Austria, in April 2013 co-located with the Evo\* 2013 events, EvoMUSART, EvoCOP, EvoBIO, and EvoApplications.The 18 revised full papers presented together with 5 poster papers were carefully reviewed and selected from 47 submissions. The wide range of topics in this volume reflects the current state of research in the field, including different genres of GP (tree-based, linear, grammar-based, Cartesian), theory, novel operators, and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 13th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2013, held in Vienna, Austria, in April 2013, colocated with the Evo\* 2013 events EuroGP, EvoBIO, EvoMUSART, and EvoApplications. The 23 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present the latest research and discuss current developments and applications in metaheuristics - a paradigm to effectively solve difficult combinatorial optimization problems appearing in various industrial, economic, and scientific domains. Prominent examples of metaheuristics are ant colony optimization, evolutionary algorithms, greedy randomized adaptive search procedures, iterated local search, simulated annealing, tabu search, and variable neighborhood search. Applications include scheduling, timetabling, network design, transportation and distribution, vehicle routing, the travelling salesman problem, packing and cutting, satisfiability, and general mixed integer programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed post-proceedings of the 9th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2012, held in Heraklion, Crete, Greece, in July 2012. The 10 revised full papers presented together with 4 short papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on malware, mobile security, secure design, and intrusion detection systems (IDS).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-worksop proceedings of the 8th International Workshop Radio Frequency Identification: Security and Privacy Issues, RFIDSec 2012, held in Nijmegen, The Netherlands, in July 2012.The 12 revised full papers presented were carefully reviewed and selected from 29 submissions for inclusion in the book. The papers focus on approaches to solve security and data protection issues in advanced contactless technologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed post-proceedings of the 9th International Conference on Adaptive Multimedia Retrieval, AMR 2011, held in Barcelona, Spain, in July 2011. The 9 revised full papers and the invited contribution presented were carefully reviewed and selected from numerous submissions. The papers cover topics ranging from theoretical work to practical implementations and its evaluation, most of them dealing with audio or music media. They are organized in topical sections on evaluation and user studies, audio and music, image retrieval, and similarity and music.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeGrounding Linked Open Data in WordNet: The Case of the OSM Semantic Network.- A Strategy for Optimizing a Multi-Site Query in a Distributed Spatial Database.- The Impact of Spatial Resolution and Representation on Human Mobility Predictability.- A Data-driven Approach for Convergence Prediction on Road Network.- Tour Suggestion for Outdoor Activities.- Interpreting Pedestrian Bahaviour by Visualising and Clustering Movement Data.- A Multi-Modal Communication Approach to Describing the Surroundings to Mobile Users.- An Adaptive Context Acquisition Framework to Support Mobile Spatial and Context-Aware Applications.- Comparing Close Destination and Route-based Similarity Metrics for the Analysis of Map User Trajectories A Sensor Data Mediator Bridging the OGC Sensor Observation Service (SOS) and the OASIS Open Data Protocol (OData).- Dynamic Objects E_ect on Visibility Analysis in 3D Urban Environments.- Exploring Spatial Business Data: A Resource Oriented Architecture eCampus Application.- ISOGA: a System for Geographical Reachability Analysis Enhanced with Statistics.- A high performance Web-based system for analyzing and visualizing spatiotemporal data for climate studies.- Personalized Accessibility Maps (PAMs) for Communities with Special Needs.- A probabilistic model for road selection in mobile maps.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 11th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2013, held in Vienna, Austria, in April 2013, colocated with the Evo\* 2013 events EuroGP, EvoCOP, EvoMUSART and EvoApplications. The 10 revised full papers presented together with 9 poster papers were carefully reviewed and selected from numerous submissions. The papers cover a wide range of topics in the field of biological data analysis and computational biology. They address important problems in biology, from the molecular and genomic dimension to the individual and population level, often drawing inspiration from biological systems in oder to produce solutions to biological problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Der Boden unter unseren Füßen erscheint uns unwandelbar und fest. Aber der Eindruck täuscht. Denn in Wirklichkeit ist die Erdkruste alles andere als unbeweglich und verlässlich. So sind die Kontinente immer in Bewegung, Gebirge wachsen in den Himmel, Gesteine bilden sich neu und Meeresböden dehnen sich aus. Doch die Plattentektonik ist nur eines von vielen geologischen Phänomenen, die ihren Ursprung tief im Erdinneren haben. Um zu ergründen, wie unser Planet tickt, haben Geowissenschaftler in den letzten Jahren fast schon eine Reise zum Mittelpunkt der Erde unternommen. Mithilfe von Satelliten, seismischen Wellen und komplexen Simulationen haben sie dabei viele überraschende und faszinierende Erkenntnisse gewonnen.Die Autoren stellen in ihrem Buch einige der wichtigsten Resultate dieser spannenden Detektivarbeit vor. So erklären sie beispielsweise, warum das wahre Gesicht der Erde eine Kartoffel ist oder wieso sich das Erdmagnetfeld viel launischer verhält als gemeinhin angenommen.

Buch. Condizione: Neu. Neuware -The book deals with data protection issues from practical viewpoints. 40% of the content focus on the Malaysian Personal Data Protection Act (PDPA) 2010 progress, whilst 60% of the content focus on leading comparative practical guidance from Europe. Part of the PDPA provisions is mirrored from European approaches and practices. The approach of this book is straightforward, handy and readable and is supplemented by practical applications, illustrations, tables and diagrams. Practical examples highlighted in this book range from cloud computing, radio frequency identification technology, social media networks and information security to basic related aspects of data protection issues covering strategic leadership, management, governance and audit in businesses, organisations and local authorities. Recommended best practices have been outlined for practical guidance accompanied with future challenges and opportunities for Malaysia and ASEAN. The book is equally suitable for academics, practitioners, governmental officials and regulators dealing with data protection within their sector-specific legislation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book presents an integrated approach to measuring the level of intra-party democracy through deductive and standardized content analysis of party statutes. Following the two main criteria of intra-party democracy ¿ inclusiveness and decentralization ¿ three main categories of intra-party democracy are theoretically derived: members¿ rights, organizational structure and decision-making. On the basis of theoretical considerations further sub-categories and individual items are deduced from these main categories and put together into a comprehensive coding scheme. Furthermore, precise coding instructions are presented. Since it is the ultimate aim of this book to present an approach to measuring the level of intra-party democracy for any party statute and to express this in numerical terms, the final step is the quantification of the coded data and the calculation of a numeric measure of intra-party democracy. A numeric value of intra-party democracy can be calculated for any statute of any political party. Furthermore,empirical examples from Hungary, Slovakia and Romania are presented. ¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 76 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book gives the historical development, explanations of technical specifications, and a basic understanding of how to use different equilibrium models in an applied framework. It contains an accessible analytical survey of economic equilibrium models, including multi-sector programming models (linear and quadratic) and the computable general equilibrium (CGE) model. The book introduces the importance of disinvestment, and hence, a model of economic transformation is developed. Finally, the globalisation process of the production system is examined.The equilibrium models in this book are presented in an easy way. Although the book is primarily written for advanced undergraduates and beginning graduates, the reading of the book will appeal to anyone interested in economic theory and applied modelling in the field of economics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This work explores the operation and regulation of copyright collective management in Nigeria. The nexus between creativity and copyright and how creativity has played a pivotal role in development is explained. The need to balance the interests of authors and users is discussed and the societies representing the interest of copyright owners are illustrated.Further, Nigeriäs legal framework for collective management is enunciated from a pre-independence and post-independence perspective. In the course of this regulatory challenges encountered in the administration of collective management organizations, steps so far taken to address the problems, legislative reforms and judicial decisions are discussed.Apath to the new regime is chartered. The South African Copyright collective management system is explored and a comparison between the Nigerian and South African system is made. Thereby the need for supervisory and regulatory agencies of government is shown to seek the national interest regarding the collective administration of copyright and related rights. Then, suggestions for improvement and lessons for Africa are provided.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The book is devoted to the theory describing the interaction of ultra-short electromagnetic pulses (USP) with matter, including both classical and quantum cases. This theme is a hot topic in modern physics because of the great achievements in generating USP. Special attention is given to the peculiarities of UPS-matter interaction. One of the important items of this book is the derivation and applications of a new formula which describes the total photo-process probability under the action of USP in the framework of perturbation theory. Strong field-matter interaction is also considered with the use of the Bloch formalism in a two-level approximation for UPS with variable characteristics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 104 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The two-volume set LNAI 7818 + LNAI 7819 constitutes the refereed proceedings of the 17th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2013, held in Gold Coast, Australia, in April 2013.The total of 98 papers presented in these proceedings was carefully reviewed and selected from 363 submissions. They cover the general fields of data mining and KDD extensively, including pattern mining, classification, graph mining, applications, machine learning, feature selection and dimensionality reduction, multiple information sources mining, social networks, clustering, text mining, text classification, imbalanced data, privacy-preserving data mining, recommendation, multimedia data mining, stream data mining, data preprocessing and representation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 632 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The two-volume set LNAI 7818 + LNAI 7819 constitutes the refereed proceedings of the 17th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2013, held in Gold Coast, Australia, in April 2013.The total of 98 papers presented in these proceedings was carefully reviewed and selected from 363 submissions. They cover the general fields of data mining and KDD extensively, including pattern mining, classification, graph mining, applications, machine learning, feature selection and dimensionality reduction, multiple information sources mining, social networks, clustering, text mining, text classification, imbalanced data, privacy-preserving data mining, recommendation, multimedia data mining, stream data mining, data preprocessing and representation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 608 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume is dedicated to the memory of Rudolf Ahlswede, who passed away in December 2010. The Festschrift contains 36 thoroughly refereed research papers from a memorial symposium, which took place in July 2011.Thefour macro-topics of this workshop: theory of games and strategic planning; combinatorial group testing and database mining; computational biology and string matching; information coding and spreading and patrolling on networks; provide a comprehensive picture of the vision Rudolf Ahlswede put forward of a broad and systematic theory of search.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 816 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeFrom Jeeves to Jeannie to Siri, and Then .- Part I: Psychological and Social Considerations.- Would a Virtual Butler Do a Good Job for Old People Psychological Considerations about Benefits and Risks of Technological Assistance.- Framing the Invisible - The Social Background of Trust.- Part II: Experiences with/Prerequisites for Virtual or Robotic Companions.- Virtual Butler: What Can We Learn from Adaptive User Interfaces .- Towards Affect Sensitive and Socially Perceptive Companions.- Before We Get There, Where Are We Going .- Virtual Helper or Virtual Card Player Contrasting Responses of Older Users.- Scenarios for Companions.- Care-O-bot R3 - Vision of a Robot Butler.- Part III: Further Developments.- Spoken Language Processing: Where Do We Go from Here .- Virtual Butlers and Real People: Styles and Practices in Long-Term Use of a Companion.- What Issue Should Your Virtual Butler Solve Next .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeHigh-Performance Network Traffic Processing Systems Using Commodity Hardware.- Active Techniques for Available Bandwidth Estimation: Comparison and Application.- Internet Topology Discovery.- Internet PoP Level Maps.- Analysis of Packet Transmission Processes in Peer-to-Peer Networks by Statistical Inference Methods.- Reviewing Traffic Classification.- A Methodological Overview on Anomaly Detection.- Changepoint Detection Techniques for VoIP Traffic.- Distribution-Based Anomaly Detection in Network Traffic.- From Packets to People: Quality of Experience as a New Measurement Challenge.- Internet Video Delivery in YouTube: From Traffic Measurements to Quality of Experience.- Quality Evaluation in Peer-to-Peer IPTV Services.- Cross-Layer FEC-Based Mechanism for Packet Loss Resilient Video Transmission.- Approaches for Utility-Based QoE-Driven Optimization of Network Resource Allocation for Multimedia Services.- Active Techniques for Available Bandwidth Estimation: Comparison and Application.- Internet Topology Discovery.- Internet PoP Level Maps.- Analysis of Packet Transmission Processes in Peer-to-Peer Networks by Statistical Inference Methods.- Reviewing Traffic Classification.- A Methodological Overview on Anomaly Detection.- Changepoint Detection Techniques for VoIP Traffic.- Distribution-Based Anomaly Detection in Network Traffic.- From Packets to People: Quality of Experience as a New Measurement Challenge.- Internet Video Delivery in YouTube: From Traffic Measurements to Quality of Experience.- Quality Evaluation in Peer-to-Peer IPTV Services.- Cross-Layer FEC-Based Mechanism for Packet Loss Resilient Video Transmission.- Approaches for Utility-Based QoE-Driven Optimization of Network Resource Allocation for Multimedia Services.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The class of interest rate models introduced by O. Cheyette in 1994 is a subclass of the general HJM framework with a time dependent volatility parameterization. This book addresses the above mentioned class of interest rate models and concentrates on the calibration, valuation and sensitivity analysis in multifactor models. It derives analytical pricing formulas for bonds and caplets and applies several numerical valuation techniques in the class of Cheyette model, i.e. Monte Carlo simulation, characteristic functions and PDE valuation based on sparse grids. Finally it focuses on the sensitivity analysis of Cheyette models and derives Model- and Market Greeks. To the best of our knowledge, this sensitivity analysis of interest rate derivatives in the class of Cheyette models is unique in the literature. Up to now the valuation of interest rate derivatives using PDEs has been restricted to 3 dimensions only, since the computational effort was too great. The author picks up the sparse grid technique, adjusts it slightly and can solve high-dimensional PDEs (four dimensions plus time) accurately in reasonable time.Many topics investigated in this book are new areas of research and make a significant contribution to the scientific community of financial engineers. They also represent a valuable development for practitioners.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed workshop proceedings of the Second International Workshop on Medical Computer Vision, MCV 2012, held in Nice, France, October 2012 in conjunction with the 15th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2012.The 24 papers have been selected out of 42 submissions. At MCV 2012, 12 papers were presented as a poster and 12 as a poster together with a plenary talk. The book also features four selected papers which were presented at the previous CVPR Medical Computer Vision workshop held in conjunction with the International Conference on Computer Vision and Pattern Recognition on June 21 2012 in Providence, Rhode Island, USA. The papers explore the use of modern computer vision technology in tasks such as automatic segmentation and registration, localization of anatomical features and detection of anomalies, as well as 3D reconstruction and biophysical model personalization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This two-volume set, consisting of LNCS 7816 and LNCS 7817, constitutes the thoroughly refereed proceedings of the 13th International Conference on Computer Linguistics and Intelligent Processing, CICLING 2013, held on Samos, Greece, in March 2013. The total of 91 contributions presented was carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections named: general techniques; lexical resources; morphology and tokenization; syntax and named entity recognition; word sense disambiguation and coreference resolution; semantics and discourse; sentiment, polarity, subjectivity, and opinion; machine translation and multilingualism; text mining, information extraction, and information retrieval; text summarization; stylometry and text simplification; and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 604 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In everyday communication, Europe¿s citizens, business partners and politicians are inevitably confronted with language barriers. Language technology has the potential to overcome these barriers and to provide innovative interfaces to technologies and knowledge. This document presents a Strategic Research Agenda for Multilingual Europe 2020. The agenda was prepared by META-NET, a European Network of Excellence. META-NET consists of 60 research centres in 34 countries, who cooperate with stakeholders from economy, government agencies, research organisations, non-governmental organisations, language communities and European universities. META-NET¿s vision is high-quality language technology for all European languages.¿The research carried out in the area of language technology is of utmost importance for the consolidation of Portuguese as a language of global communication in the information society.¿¿ Dr. Pedro Passos Coelho (Prime-Minister of Portugal)¿It is imperative that language technologies for Slovene are developed systematically if we want Slovene to flourish also in the future digital world.¿¿ Dr. Danilo Türk (President of the Republic of Slovenia)¿For such small languages like Latvian keeping up with the ever increasing pace of time and technological development is crucial. The only way to ensure future existence of our language is to provide its users with equal opportunities as the users of larger languages enjoy. Therefore being on the forefront of modern technologies is our opportunity.¿¿ Valdis Dombrovskis (Prime Minister of Latvia)¿Europe¿s inherent multilingualism and our scientific expertise are the perfect prerequisites for significantly advancing the challenge that language technology poses. META-NET opens up new opportunities for the development of ubiquitous multilingual technologies.¿¿ Prof. Dr. Annette Schavan (German Minister of Education and Research)Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 96 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 15th Asia-Pacific Conference APWeb 2013 held in Sydney, Australia, in April 2013.The 80 papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on distributed processing; graphs; Web search and Web mining; XML, RDF data and query processing; social networks; probabilistic queries; multimedia and visualization; spatial-temporal databases; data mining and knowledge discovery; privacy and security; performance, query processing and optimization. There are also sections summarizing the tutorials and containing the papers from the following workshops: second international workshop on data management for emerging network infrastructure, international workshop on soical media analytics and recommendation technologies, and international workshop on management of spatial temporal data.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 872 pp. Englisch.

Buch. Condizione: Neu. Neuware -The book provides an overview of more than a decade of joint R&D efforts in the Low Countries on HLT for Dutch. It not only presents the state of the art of HLT for Dutch in the areas covered, but, even more importantly, a description of the resources (data and tools) for Dutch that have been created are now available for both academia and industry worldwide.The contributions cover many areas of human language technology (for Dutch): corpus collection (including IPR issues) and building (in particular one corpus aiming at a collection of 500M word tokens), lexicology, anaphora resolution, a semantic network, parsing technology, speech recognition, machine translation, text (summaries) generation, web mining, information extraction, and text to speech to name the most important ones.The book also shows how a medium-sized language community (spanning two territories) can create a digital language infrastructure (resources, tools, etc.) as a basis for subsequent R&D. At the same time, it bundles contributions of almost all the HLT research groups in Flanders and the Netherlands, hence offers a view of their recent research activities.Targeted readers are mainly researchers in human language technology, in particular those focusing on Dutch. It concerns researchers active in larger networks such as the CLARIN, META-NET, FLaReNet and participating in conferences such as ACL, EACL, NAACL, COLING, RANLP, CICling, LREC, CLIN and DIR ( both in the Low Countries), InterSpeech, ASRU, ICASSP, ISCA, EUSIPCO, CLEF, TREC, etc. In addition, some chapters are interesting for human language technology policy makers and even for science policy makers in general.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeBeyond the Geneva Convention on the Treatment of Object Aliasing.-The Geneva Convention on the Treatment of Object Aliasing.-Ownership Types: A Survey.-Notions of Aliasing and Ownership.-Understanding Ownership Types with Dependent Types.-Object Graphs with Ownership Domains: An Empirical Study.-Alias Control for Deterministic Parallelism.-Alias Analysis for Object-Oriented Programs.-Immutability.-Fractional Permissions.-Object Ownership in Program Verification.-State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.-Separation Logic for Object-Oriented Programming.-VeriFast for Java: A Tutorial.- Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy.-Location Types for Safe Programming with Near and Far References.-The Future of Aliasing in Parallel Programming.-Aliasing Visions: Ownership and Location.-Alias Analysis: Beyond the Code.-How, Then, Should We Program.-A Retrospective on Aliasing Type Systems: 2012-2022.-Structured Aliasing. The Geneva Convention on the Treatment of Object Aliasing.-Ownership Types: A Survey.-Notions of Aliasing and Ownership.-Understanding Ownership Types with Dependent Types.-Object Graphs with Ownership Domains: An Empirical Study.-Alias Control for Deterministic Parallelism.-Alias Analysis for Object-Oriented Programs.-Immutability.-Fractional Permissions.-Object Ownership in Program Verification.-State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.-Separation Logic for Object-Oriented Programming.-VeriFast for Java: A Tutorial.- Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy.-Location Types for Safe Programming with Near and Far References.-The Future of Aliasing in Parallel Programming.-Aliasing Visions: Ownership and Location.-Alias Analysis: Beyond the Code.-How, Then, Should We Program.-A Retrospective on Aliasing Type Systems: 2012-2022.-Structured Aliasing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 17th Annual International Conference on Research in Computational Molecular Biology, RECOMB 2013, held in Beijing, China, in April 2013. The 32 revised full papers were carefully reviewed and selected from 167 submissions. The papers cover a wide range of topics including molecular sequence analysis; genes and regulatory elements; molecular evolution; gene expression; biological networks; sequencing and genotyping technologies; genomics; epigenomics; metagenomics; population, statistical genetics; systems biology; computational proteomics; computational structural biology; imaging; large-scale data management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This two-volume set, consisting of LNCS 7816 and LNCS 7817, constitutes the thoroughly refereed proceedings of the 13th International Conference on Computer Linguistics and Intelligent Processing, CICLING 2013, held on Samos, Greece, in March 2013. The total of 91 contributions presented was carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections named: general techniques; lexical resources; morphology and tokenization; syntax and named entity recognition; word sense disambiguation and coreference resolution; semantics and discourse; sentiment, polarity, subjectivity, and opinion; machine translation and multilingualism; text mining, information extraction, and information retrieval; text summarization; stylometry and text simplification; and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 604 pp. Englisch.