springer springer jul 2012 (Oltre 2.000 risultati)

Taschenbuch. Condizione: Neu. Neuware -Diagnose-Schock: Krebs.

Taschenbuch. Condizione: Neu. Neuware -In psichiatria dell¿infanzia e dell¿adolescenza il primo contatto con il paziente riveste una grande importanza clinica e può far risparmiare tempo e risorse. Una consultazione ambulatoriale ben condotta permette di giungere a un¿ipotesi diagnostica rigorosa, orientando invii per approfondimenti e presa in carico; in alcuni casi, può acquisire carattere terapeutico.Questo volume guida il clinico, anche quando lavora da solo, verso una formulazione diagnostica il più possibile precisa ed esauriente. Il libro illustra uno schema di procedura clinica che integra le diverse prospettive proprie del campo in un¿otticaevolutiva, esaminando la metodologia del colloquio, le tecniche per la valutazione cognitiva, neuropsicologica e psicopatologica, i contatti con genitori e scuola.Questo testo è rivolto a neuropsichiatri infantili, pediatri, psichiatri e agli specializzandi in tali discipline; più in generale, può essere di interesse per chiunque abbia contatti con pazienti in età evolutiva.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Italienisch.

Taschenbuch. Condizione: Neu. Neuware -This book addresses the problem of articulatory speech synthesis based on computed vocal tract geometries and the basic physics of sound production in it. Unlike conventional methods based on analysis/synthesis using the well-known source filter model, which assumes the independence of the excitation and filter, we treat the entire vocal apparatus as one mechanical system that produces sound by means of fluid dynamics. The vocal apparatus is represented as a three-dimensional time-varying mechanism and the sound propagation inside it is due to the non-planar propagation of acoustic waves through a viscous, compressible fluid described by the Navier-Stokes equations. We propose a combined minimum energy and minimum jerk criterion to compute the dynamics of the vocal tract during articulation. Theoretical error bounds and experimental results show that this method obtains a close match to the phonetic target positions while avoiding abrupt changes in the articulatory trajectory. The vocal folds are set into aerodynamic oscillation by the flow of air from the lungs. The modulated air stream then excites the moving vocal tract. This method shows strong evidence for source-filter interaction. Based on our results, we propose that the articulatory speech production model has the potential to synthesize speech and provide a compact parameterization of the speech signal that can be useful in a wide variety of speech signal processing problems. Table of Contents: Introduction / Literature Review / Estimation of Dynamic Articulatory Parameters / Construction of Articulatory Model Based on MRI Data / Vocal Fold Excitation Models / Experimental Results of Articulatory Synthesis / ConclusionSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

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 -Real-world physical and abstract data objects are interconnected, forming gigantic, interconnected networks. By structuring these data objects and interactions between these objects into multiple types, such networks become semi-structured heterogeneous information networks. Most real-world applications that handle big data, including interconnected social media and social networks, scientific, engineering, or medical information systems, online e-commerce systems, and most database systems, can be structured into heterogeneous information networks. Therefore, effective analysis of large-scale heterogeneous information networks poses an interesting but critical challenge. In this book, we investigate the principles and methodologies of mining heterogeneous information networks. Departing from many existing network models that view interconnected data as homogeneous graphs or networks, our semi-structured heterogeneous information network model leverages the rich semantics of typed nodes and links in a network and uncovers surprisingly rich knowledge from the network. This semi-structured heterogeneous network modeling leads to a series of new principles and powerful methodologies for mining interconnected data, including: (1) rank-based clustering and classification; (2) meta-path-based similarity search and mining; (3) relation strength-aware mining, and many other potential developments. This book introduces this new research frontier and points out some promising research directions. Table of Contents: Introduction / Ranking-Based Clustering / Classification of Heterogeneous Information Networks / Meta-Path-Based Similarity Search / Meta-Path-Based Relationship Prediction / Relation Strength-Aware Clustering with Incomplete Attributes / User-Guided Clustering via Meta-Path Selection / Research FrontiersSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -As data represent a key asset for today's organizations, the problem of how to protect this data from theft and misuse is at the forefront of these organizations' minds. Even though today several data security techniques are available to protect data and computing infrastructures, many such techniques -- such as firewalls and network security tools -- are unable to protect data from attacks posed by those working on an organization's 'inside.' These 'insiders' usually have authorized access to relevant information systems, making it extremely challenging to block the misuse of information while still allowing them to do their jobs. This book discusses several techniques that can provide effective protection against attacks posed by people working on the inside of an organization. Chapter One introduces the notion of insider threat and reports some data about data breaches due to insider threats. Chapter Two covers authentication and access control techniques, and Chapter Three shows how these general security techniques can be extended and used in the context of protection from insider threats. Chapter Four addresses anomaly detection techniques that are used to determine anomalies in data accesses by insiders. These anomalies are often indicative of potential insider data attacks and therefore play an important role in protection from these attacks. Security information and event management (SIEM) tools and fine-grained auditing are discussed in Chapter Five. These tools aim at collecting, analyzing, and correlating -- in real-time -- any information and event that may be relevant for the security of an organization. As such, they can be a key element in finding a solution to such undesirable insider threats. Chapter Six goes on to provide a survey of techniques for separation-of-duty (SoD). SoD is an important principle that, when implemented in systems and tools, can strengthen data protection from malicious insiders. However, to date, very few approaches have been proposed for implementing SoD in systems. In Chapter Seven, a short survey of a commercial product is presented, which provides different techniques for protection from malicious users with system privileges -- such as a DBA in database management systems. Finally, in Chapter Eight, the book concludes with a few remarks and additional research directions. Table of Contents: Introduction / Authentication / Access Control / Anomaly Detection / Security Information and Event Management and Auditing / Separation of Duty / Case Study: Oracle Database Vault / ConclusionSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 92 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -While classic data management focuses on the data itself, research on Business Processes also considers the context in which this data is generated and manipulated, namely the processes, users, and goals that this data serves. This provides the analysts a better perspective of the organizational needs centered around the data. As such, this research is of fundamental importance. Much of the success of database systems in the last decade is due to the beauty and elegance of the relational model and its declarative query languages, combined with a rich spectrum of underlying evaluation and optimization techniques, and efficient implementations. Much like the case for traditional database research, elegant modeling and rich underlying technology are likely to be highly beneficiary for the Business Process owners and their users; both can benefit from easy formulation and analysis of the processes. While there have been many important advances in this research in recent years, there is still much to be desired: specifically, there have been many works that focus on the processes behavior (flow), and many that focus on its data, but only very few works have dealt with both the state-of-the-art in a database approach to Business Process modeling and analysis, the progress towards a holistic flow-and-data framework for these tasks, and highlight the current gaps and research directions. Table of Contents: Introduction / Modeling / Querying Business Processes / Other Issues / ConclusionSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 104 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Diagnose-Schock: KrebsDiagnose Krebs: Über 500.000 Menschen in Deutschland, Österreich und der Schweiz erhalten jährlich die Diagnose Krebs. Die medizinischen Fragestellungen haben dann Priorität, oft wird aber die psychologische Betreuung der Patienten auch im Verlauf der Behandlung zu wenig berücksichtigt. Studien zeigen zudem, dass die Partner Krebsbetroffener häufig noch stärker belastet sind als die Patienten. Hilfe für die Seele Dieses Buch bietet praktische Unterstützung für beide Seiten: Patienten und ihre Partner, Freunde, Begleiter. Ziele des Buches: - Sorgen und Hilflosigkeit vermindern- Ihre Lebensqualität verbessern - Selbsthilfe und Selbststeuerung anregen- Sie unterstützen, mit der Erkrankung umzugehen und für sich selbst zu sorgen- Sie unterstützen, Ihren eigenen Weg zu finden- Ihnen in schwierigen Situationen Möglichkeiten aufzeigen- Sie unterstützen, wichtige Dinge nicht zu verpassen.Als klinisch tätige Psychoonkologen zeigen die Autoren vielfach erprobte Hilfestellungen auf. Leserinnen und Leser erhalten kurze, gut lesbare Erklärungen und Anleitungen, die die Ressource Menschlichkeit nutzen. Geschrieben ist das Buch für Betroffene und Angehörige sowie für medizinische und psychosoziale Fachleute in Klinik, Praxis und Reha, die mit Krebsbetroffenen arbeiten. Der praktische Ratgeber für Betroffene und Angehörige: In der Krise lesbar und bezogen auf den ganzen Menschen 132 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Markov Decision Processes (MDPs) are widely popular in Artificial Intelligence for modeling sequential decision-making scenarios with probabilistic dynamics. They are the framework of choice when designing an intelligent agent that needs to act for long periods of time in an environment where its actions could have uncertain outcomes. MDPs are actively researched in two related subareas of AI, probabilistic planning and reinforcement learning. Probabilistic planning assumes known models for the agent's goals and domain dynamics, and focuses on determining how the agent should behave to achieve its objectives. On the other hand, reinforcement learning additionally learns these models based on the feedback the agent gets from the environment. This book provides a concise introduction to the use of MDPs for solving probabilistic planning problems, with an emphasis on the algorithmic perspective. It covers the whole spectrum of the field, from the basics to state-of-the-art optimal and approximation algorithms. We first describe the theoretical foundations of MDPs and the fundamental solution techniques for them. We then discuss modern optimal algorithms based on heuristic search and the use of structured representations. A major focus of the book is on the numerous approximation schemes for MDPs that have been developed in the AI literature. These include determinization-based approaches, sampling techniques, heuristic functions, dimensionality reduction, and hierarchical representations. Finally, we briefly introduce several extensions of the standard MDP classes that model and solve even more complex planning problems. Table of Contents: Introduction / MDPs / Fundamental Algorithms / Heuristic Search Algorithms / Symbolic Algorithms / Approximation Algorithms / Advanced NotesSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Every amateur astronomer - and many non-astronomers - will be familiar with seeing a 'star' that shows thatcharacteristic steady slide across the starry background of the sky. Artificial satellites can be seen any night, and some as bright as the planets. But how many of us can identify which satellites or spent launch vehicle casing we are seeing Artificial Satellites and How to Observe Them describes all the different satellites that can be observed without optical aid, including of course the International Space Station and the many spy satellites operated by different nations. Richard Schmude looks at them in detail and describes how they can be observed by amateurs, how to recognize them, and even how to predict their orbits.Artificial satellites have changed since the beginning of the millenium. Several additional countries have launched them. And amateur astronomers have utilized digital cameras in order to image satellites to a resolution of about three feet. This book describes how to recognize, observe, and image satellites. Examples of recent images and how they were made are given. It also offers up-to-date descriptions of the many satellites that are orbiting the Earth and other celestial bodies. Readers can learn how satellites impact our day-to-day lives. In short, Artificial Satellites and How to Observe Them is a detailed and up-to-date overview of artificial satellites and how to study them in the night sky.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -¿¿¿¿¿¿¿¿ ¿In statistics, the Kalman filter is a mathematical method whose purpose is to use a series of measurements observed over time, containing random variationsand other inaccuracies, and produce estimates that tend to be closer to the true unknown values than those that would be based on a single measurement alone. This Briefoffers developments on Kalman filtering subject to general linear constraints. There are essentially three types of contributions: new proofs for results already established; new results within the subject; and applications in investment analysis and macroeconomics, where the proposed methods are illustrated and evaluated. The Briefhas a short chapter on linear state space models and the Kalman filter, aiming to make the book self-contained and to give a quick reference to the reader (notation and terminology). The prerequisites would be a contact with time series analysis in the level of Hamilton (1994) or Brockwell & Davis (2002) and also with linear state models and the Kalman filter ¿ each of these books has a chapter entirely dedicated to the subject. The book is intended for graduate students, researchers and practitioners in statistics (specifically: time series analysis and econometrics).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 72 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware - Diagnose-Schock: KrebsDiagnose Krebs: Über 500.000 Menschen in Deutschland, Österreich und der Schweiz erhalten jährlich die Diagnose Krebs. Die medizinischen Fragestellungen haben dann Priorität, oft wird aber die psychologische Betreuung der Patienten auch im Verlauf der Behandlung zu wenig berücksichtigt. Studien zeigen zudem, dass die Partner Krebsbetroffener häufig noch stärker belastet sind als die Patienten. Hilfe für die Seele Dieses Buch bietet praktische Unterstützung für beide Seiten: Patienten und ihre Partner, Freunde, Begleiter. Ziele des Buches: - Sorgen und Hilflosigkeit vermindern- Ihre Lebensqualität verbessern - Selbsthilfe und Selbststeuerung anregen- Sie unterstützen, mit der Erkrankung umzugehen und für sich selbst zu sorgen- Sie unterstützen, Ihren eigenen Weg zu finden- Ihnen in schwierigen Situationen Möglichkeiten aufzeigen- Sie unterstützen, wichtige Dinge nicht zu verpassen.Als klinisch tätige Psychoonkologen zeigen die Autoren vielfach erprobte Hilfestellungen auf. Leserinnen und Leser erhalten kurze, gut lesbare Erklärungen und Anleitungen, die die Ressource Menschlichkeit nutzen. Geschrieben ist das Buch für Betroffene und Angehörige sowie für medizinische und psychosoziale Fachleute in Klinik, Praxis und Reha, die mit Krebsbetroffenen arbeiten. Der praktische Ratgeber für Betroffene und Angehörige: In der Krise lesbar und bezogen auf den ganzen Menschen.

Taschenbuch. Condizione: Neu. Neuware -Diagnose-Schock: KrebsSpringer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -The network management community has been pushed towards the design of alternative management approaches able to support heterogeneity, scalability, reliability, and minor human intervention. The employment of self-\* properties and Peer-To-Peer (P2P) are seen as promising alternatives, able to provide the sophisticated solutions required.Despite being developed in parallel, and with minor direct connections perceived between them, self-\* properties and P2P can be used concurrently. In Self-\* and P2P for Network Management: Design Principles and Case Studies, the authors explore the issues behind the joint use of self-\* properties and P2P, and present: a survey relating autonomic computing and self-\* properties, P2P, and network and service management; the design of solutions that explore parallel and cooperative behavior of management peers; the change in angle of network management solution development from APIs, protocols, architectures, and frameworks to the design of management algorithms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -La progettazione dei sistemi fognari e dei manufatti in essi presenti richiede un¿attenta conoscenza delle leggi che regolano i fenomeni idraulici, con particolare riferimento alle correnti idriche a superficie libera.Partendo dalle nozioni fondamentali dell¿Idraulica, il testo intende colmare alcune importanti lacune che ancora caratterizzano la letteratura italiana nel settore e che spesso sono alla base di errori progettuali, con ovvie conseguenze sulla sicurezza dei centri abitati(come testimoniato dai frequenti fenomeni di allagamento che sono stati registrati negli ultimi anni).Il libro è rivolto agli allievi dei corsi di studio nel settore dell¿ingegneria Civile ed Ambientale. Particolare interesse è rivolto ai professionisti operanti nel settore della ingegneria idraulica e della pianificazione urbana, per i quali è forte l¿esigenza di testi che contengano indicazioni di carattere sia teorico sia pratico, finalizzate alla progettazione di sistemi di drenaggio nei centri abitati. 708 pp. Italienisch.

Taschenbuch. Condizione: Neu. Neuware -Quando all¿interno di una coppia difficoltà e incomprensioni diventano la regola, il rapporto si intrappola in una spirale di frustrazioni e rivalse.Spesso questa problematicaè una conseguenza della sudditanza psicologicache lo caratterizza,eche rappresenta una fenomenologia della coppia moderna molto diffusa e sottovalutata.I sensi di colpa, i ricatti psicologici , lo sminuire il senso di capacità del proprio partner sono alcuni segnali di quello che, secondo l¿autrice, può definirsi un ¿aggancio nevroticö: una vera trappola psicologica nella quale cadiamo tutte le volte che abbandoniamo il nostro modo di leggere la realtà e ci agganciamo a quello fornitoci dal partner, perdendo così il ¿baricentrö del nostro proprio essere.La coppia intrappolataaffronta questo fenomeno sulla base di numerose esperienze di psicoterapia, rendendone chiara la dinamica e fornendo suggerimenti e consigli utili non solo per tutti gli operatori che orbitano intorno alla coppia, ma anche per coloro che sono coinvolti in tali agganci nevrotici, a volte in modo inconsapevole. 144 pp. Italienisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2012, held in Vienna, Austria, in September 2012, in conjunction with DEXA 2012. The 27 revised full papers presented were carefully reviewed and selected from numerous submissions. They cover topics from recent research fields such as open data, cloud applications, interoperability and e-government architectures, Web 2.0 and Web 3.0 solutions and public dialogies. The papers are organized in the following topical sections: e-government country studies; e-government processes; identy management in e-government; e-government: process management; e-participation; social networks; and open data.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 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 9th VLDB Workshop on Secure Data Management held in Istanbul, Turkey, in August 27, 2012.The 12 revised full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on privacy protection, access control, secure storage on the cloud, and trust on the Web.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The next generation of Business Process Management (BPM) methods and tools will support the development of a new generation of service-enabled applications that change and evolve over time. The trend is moving from relatively stable, organization-specific applications to dynamic ones supporting business processes. This book is an outcome of the International Workshop on Business System Management and Engineering (BSME 2010), held in Malaga, Spain, in June/July 2010, in conjunction with the TOOLS 2010 federated conferences and under the aegis of the EU Network of Excellence on Service Software and Systems (S-Cube). The goal of the workshop was to bring together experts in the fields of business process management, service-oriented architectures, and service security to discuss the current state of research and identify new issues, challenges, and research directions. The results of these discussions are reflected in this book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 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 proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012.The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Haptic and Audio Interaction Design, HAID 2012, held in Lund, Sweden, in August 2012. The 15 full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on haptics and audio in navigation, supporting experiences and activities, object and interface, test and evaluation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2012, held in Vienna, Austria, September 2012, in conjunction with DEXA 2012.The 12 revised long papers and 3 revised short papers presented were carefully reviewed and selected from numerous submissions. The papers address the following topics: medical data mining and information retrieval; metadata models, prediction and mobile applications; systems biology and data mining in bioinformatics. The papers show how broad the spectrum of topics in applications of information technology to biomedical engineering and medical informatics is.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 ¿ organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 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 Third International Workshop on Controlled Natural Language, CNL 2012, held in Zurich, Switzerland, in August 2012.The 12 revised papers presented in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on CNL for knowledge representation, CNL for interactive systems, CNL applications, CNL grammars and lexica, CNL in the context of the Semantic Web and Linked Open Data and CNL use cases.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.