springer springer aug 2013 (Oltre 1.700 risultati)

Taschenbuch. Condizione: Neu. Neuware -Designed for anyone who wishes to learn the constellations or observe the best and brightest deep sky objects and double stars, this book contains an alphabetical list of constellations complete with star maps, historical background, and highlights of deep sky objects. Each entry contains position and physical information on enough stars to support astronomers in star-hopping, swinging the telescope from star to star to star to arrive at a faint target. It provides a carefully selected list of accessible and rewarding deep sky objects. Full-color maps show the constellations, with star types (spectral and physical) indicated by the colors used on the map. Extended objects such as galaxies and nebulae are shown with the approximate apparent size in the sky. With unmatched thoroughness and accessibility, this is a constellation atlas that makes the ideal companion to a night's telescope viewing, for novices and expert amateur astronomers alike. Easy to navigate and refer to, it is the key that unlocks the door to greater night sky exploration. 221 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Throughout history, hearing and sound perception have been typically framed in the context of how sound conveys information and how that information influences the listener. 'Hear Where We Are' inverts this premise and examines how humans and other hearing animals use sound to establish acoustical relationships with their surroundings.This simple inversion reveals a panoply of possibilities by which we can re-evaluate how hearing animals use, produce, and perceive sound. Nuance in vocalizations become signals of enticement or boundary setting; silence becomes a field ripe in auditory possibilities; predator/prey relationships are infused with acoustic deception, and sounds that have been considered territorial cues become the fabric of cooperative acoustical communities. This inversion also expands the context of sound perception into a larger perspective that centers on biological adaptation within acoustic habitats. Here, the rapid synchronized flight patterns of flocking birds and the tight maneuvering of schooling fish becomes an acoustic engagement. Likewise, when stridulating crickets synchronize their summer evening chirrups, it has more to do with the ¿cricket community¿ monitoring their collective boundaries rather than individual crickets establishing ¿personal¿ territory or breeding fitness.In 'Hear Where We Are' the author continuously challenges many of the bio-acoustic orthodoxies, reframing the entire inquiry into sound perception and communication. By moving beyond our common assumptions, many of the mysteries of acoustical behavior become revealed, exposing a fresh and fertile panorama of acoustical experience and adaptation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In den vergangenen zehn Jahren gab es zahlreiche Forschungsexperimente auf dem Gebiet der Psychologie in Verbindung mit Ökologie und Umwelt. Anhand von ca. 100 Experimenten zeigt dieses populärwissenschaftliche Werk auf amüsante Weise, welchen Einfluss die physische Umwelt auf den Menschen hat. Zum Beispiel werden die Auswirkungen von Baumalleen und Blumen entlang von Gehwegen und deren Auswirkungen auf Passanten in Bezug auf das Sicherheitsempfinden und Kriminalitätsaufkommen entschlüsselt. Auch der Einfluss von Blumen und Pflanzen auf die Atmosphäre am Arbeitsplatz sowie der Effekt in Krankenzimmern wird aufschlussreich beleuchtet. 303 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -In den vergangenen zehn Jahren gab es zahlreiche Forschungsexperimente auf dem Gebiet der Psychologie in Verbindung mit Ökologie und Umwelt. Anhand von ca. 100 Experimenten zeigt dieses populärwissenschaftliche Werk auf amüsante Weise, welchen Einfluss die physische Umwelt auf den Menschen hat. Zum Beispiel werden die Auswirkungen von Baumalleen und Blumen entlang von Gehwegen und deren Auswirkungen auf Passanten in Bezug auf das Sicherheitsempfinden und Kriminalitätsaufkommen entschlüsselt. Auch der Einfluss von Blumen und Pflanzen auf die Atmosphäre am Arbeitsplatz sowie der Effekt in Krankenzimmern wird aufschlussreich beleuchtet. 303 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -¿MacLeod's Introduction to Medicine: A Doctor¿s Memoir¿ is a collection of stories that gives the reader an insight into the humorous side of a doctor's life.There is a rich source of humor in medicine, and this book aims to share some of this.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Video context analysis is an active and vibrant research area, which provides means for extracting, analyzing and understanding behavior of a single target and multiple targets. Over the last few decades, computer vision researchers have been working to improve the accuracy and robustness of algorithms to analyse the context of a video automatically. In general, the research work in this area can be categorized into three major topics: 1) counting number of people in the scene 2) tracking individuals in a crowd and 3) understanding behavior of a single target or multiple targets in the scene. This book focusses on tracking individual targets and detecting abnormal behavior of a crowd in a complex scene. Firstly, this book surveys the state-of-the-art methods for tracking multiple targets in a complex scene and describes the authors' approach for tracking multiple targets. The proposed approach is to formulate the problem of multi-target tracking as an optimization problem of finding dynamic optima (pedestrians) where these optima interact frequently. A novel particle swarm optimization (PSO) algorithm that uses a set of multiple swarms is presented. Through particles and swarms diversification, motion prediction is introduced into the standard PSO, constraining swarm members to the most likely region in the search space. The social interaction among swarm and the output from pedestrians-detector are also incorporated into the velocity-updating equation. This allows the proposed approach to track multiple targets in a crowded scene with severe occlusion and heavy interactions among targets. The second part of this book discusses the problem of detecting and localising abnormal activities in crowded scenes. We present a spatio-temporal Laplacian Eigenmap method for extracting different crowd activities from videos. This method learns the spatial and temporal variations of local motions in an embedded space and employs representatives of different activities to construct the model which characterises the regular behavior of a crowd. This model of regular crowd behavior allows for the detection of abnormal crowd activities both in local and global context and the localization of regions which show abnormal behavior.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 104 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book takes the reader on an exploration of the structure and evolution of our universe. The basis for our knowledge is the Big Bang theory of the expanding universe. This book then tells the story of our search for the first stars and galaxies using current and planned telescopes. These telescopes are marvels of technology far removed from Galileo's first telescope but continuing astronomy in his ground breaking spirit. We show the reader how these first stars and galaxies shaped the universe we see today. This story is one of the great scientific adventures of all time.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -With the advent of CCDs and webcams, the focus of amateur astronomy has to some extent shifted from science to art. Visual work in astronomy has a rich history. Today, imaging is now more prominent. However there is still much for the visual amateur astronomer to do, and visual work is still a valid component of amateur astronomy.Paul Abel has been addressing this issue by promoting visual astronomy wherever possible ¿ at talks to astronomical societies, in articles for popular science magazines, and on BBC TV¿s The Sky at Night.Visual Lunar and Planetary Astronomy is a comprehensive modern treatment of visual lunar and planetary astronomy, showing that even in the age of space telescopes and interplanetary probes it is still possible to contribute scientifically with no more than a moderately-priced commercially made astronomical telescope.It is believed that imaging and photography is somehow more objective and more accurate than the eye, and this has led to a peculiar ¿crisis of faith¿ in the human visual system and its amazing processing power. But by analyzing observations from the past, we can see how accurate visual astronomy really is! Measuring the rotational period of Mars and making accurate lunar charts for American astronauts were all done by eye.The book includes sections on how the human visual system works, how to view an object through an eyepiece, and how to record observations and keep a scientific notebook. The book also looks at how to make an astronomical, rather than an artistic, drawing. Finally, everything here will also be of interest to those imagers who wish to make their images more scientifically applicable by combining the methods and practices of visual astronomy with imaging.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Wissen Sie, dass ein Waldspaziergang im Gegensatz zu einem Stadtbummel einen positiven Einfluss auf Ihren Herzrhythmus und Ihren arteriellen Blutdruck hat und Sie dadurch sogar Ihr Immunsystem stärken können Durch unser allzu modernes Leben haben wir vielleicht vergessen, wie wichtig die Natur für uns und unseren Körper ist. Ebenso wie unser körperliches und seelisches Wohlbefinden beeinflusst die uns umgebende Natur auch unsere sozialen Interaktionen. Dabei genügt es schon, ein wenig Natur zu uns in die Wohnung hereinzuholen oder ins Arbeitsumfeld zu integrieren. Dieses Werk bietet interessante, spannende und humorvolle Aha-Einblicke in die Umweltpsychologie. Es animiert dazu, das eigene Leben mit etwas mehr Natur zu bereichern.

Buch. Condizione: Neu. Neuware -This unique, engaging, and highly authoritative volume enlightens readers on changes needed in the way society accesses, provides, and uses water. It further shines a light on changes needed in the way we use food, energy, and other goods and services in relation to water, and offers projections and recommendations, up to 2050, that apply to water access challenges facing the poor and the common misuse of water in industry, agriculture, and municipalities. Written by an unparalleled slate of experts convened by the Calouste Gulbenkian Foundation, the book takes on one of the most critical issues on the planet today. In a frank yet optimistic assessment of major developmental challenges, but also opportunities, facing future generations, the author elucidates linkages between water and a range of other drivers from various disciplinary and stakeholder perspectives. Ultimately portraying the belief that Humanity can harness its visionary abilities, technologies, and economic resources for increased wellbeing and sound stewardship of resources, the book presents an optimistic statement stressing actions scientists, policy makers, and consumers can and must take to meet the water management challenges of a warming planet anticipating nine billion inhabitants by 2050.Gulbenkian Think Tank on Water and the Future of Humanity: Benedito Braga, Pres. World Water Council & Prof. of Civil Engineering, Univ. of São Paulo, Brazil; Colin Chatres, Director General of the International Water Management Institute, Sri Lanka; William J. Cosgrove, Pres. of Ecoconsult Inc. & Senior Adviser for the UN World Water Development Report, Canada; Luis Veiga da Cunha, Prof. Environmental Science and Engineering, Universidade Nova de Lisboa, Portugal; Peter Gleick, Pres. of the Pacific Institute, USA; Pavel Kabat, Director, International Institute for Applied Systems Analysis, Austria; and Prof. & Chair, Earth Systems Science, Wageningen University, TheNetherlands; Mohamed Ait Kadi, President of the General Council of Agricultural Development, Morocco; Daniel P. Loucks, Prof. of Civil Engineering, Cornell Univ. USA; Jan Lundqvist, Senior Scientific Advisor, Stockholm International Water Institute, Sweden; Sunita Narain, Director, Center for Science & Environment, New Delhi, India; Jun Xia, Pres., International Water Resources Association, Chair Prof. & Dean, The Research Institute for Water Security (RIWS), Wuhan University, China.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware - Whether uncovering breaking stories, finding reliable background information, or finding the right contributors for stories and packages, there is now a wealth of information available to journalists online - but where to begin In Search: Theory and Practice in Journalism Online, Murray Dick provides a practical and theoretical overview of the journalistic research potential in various online tools. Written by a leading expert in the field, the book offers experience-based guidance into online search for journalism. Key features: - Up-to-date coverage of advanced search, the 'invisible web', social media, multimedia and the verification of online material- A critical overview of theory in online ethics, verification, and use of social media in journalism online- Original research into search theory, privacy, trust and rights issues online- Student-friendly pedagogy based upon professional practice and informed by experts in online researchSearch: Theory and Practice in Journalism Online is essential reading for undergraduate students of digital journalism, online reporting and journalism studies.

Taschenbuch. Condizione: Neu. Neuware -This lecture discusses the use of graph models to represent reconfigurable antennas. The rise of antennas that adapt to their environment and change their operation based on the user's request hasn't been met with clear design guidelines. There is a need to propose some rules for the optimization of any reconfigurable antenna design and performance. Since reconfigurable antennas are seen as a collection of self-organizing parts, graph models can be introduced to relate each possible topology to a corresponding electromagnetic performance in terms of achieving a characteristic frequency of operation, impedance, and polarization. These models help designers understand reconfigurable antenna structures and enhance their functionality since they transform antennas from bulky devices into mathematical and software accessible models. The use of graphs facilitates the software control and cognition ability of reconfigurable antennas while optimizing their performance.This lecture also discusses the reduction of redundancy, complexity and reliability of reconfigurable antennas and reconfigurable antenna arrays. The full analysis of these parameters allows a better reconfigurable antenna implementation in wireless and space communications platforms. The use of graph models to reduce the complexity while preserving the reliability of reconfigurable antennas allow a better incorporation in applications such as cognitive radio, MIMO, satellite communications, and personal communication systems. A swifter response time is achieved with less cost and losses. This lecture is written for individuals who wish to venture into the field of reconfigurable antennas, with a little prior experience in this area, and learn how graph rules and theory, mainly used in the field of computer science, networking, and control systems can be applied to electromagnetic structures. This lecture will walk the reader through a design and analysis process of reconfigurable antennas using graph models with a practical and theoretical outlook.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Binoculars have, for many, long been regarded as an ¿entry level¿ observational tool, and relatively few have used them as a serious observing instrument. This is changing! Many people appreciate the relative comfort of two-eyed observing, but those who use binoculars come to realize that they offer more than comfort. The view of the stars is more aesthetically pleasing and therefore binocular observers tend to observe more frequently and for longer periods.¿Binocular Astronomy¿, 2nd edition, extends its coverage of small and medium binoculars to large and giant (i.e., up to 300mm aperture) binoculars and also binoviewers, which brings the work into the realm of serious observing instruments. Additionally, it goes far deeper into the varying optical characteristics of binoculars, giving newcomers and advanced astronomers the information needed to make informed choices on purchasing a pair. It also covers relevant aspects of the physiology of binocular (as in ¿both eyes¿) observation.The first edition of this title was praised for its suggested objects for observation and especially for the finder charts for each object. In this second edition, this section is expanded in three ways. There are new objects, with more information on each object, and a re-organization of the objects for binoculars for easier selection for readers.¿Binocular Astronomy¿ 2nd Edition puts an emphasis on understanding binoculars and their use. The additional content in this second edition reflects the latest developments in technology, available testing techniques, and practical ideas for binocular use. It also responds to the substantially positive reviews of the first edition, and is now even better suited to its target readership.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book is about the Arduino microcontroller and the Arduino concept. The visionary Arduino team of Massimo Banzi, David Cuartielles, Tom Igoe, Gianluca Martino, and David Mellis launched a new innovation in microcontroller hardware in 2005, the concept of open source hardware. Their approach was to openly share details of microcontroller-based hardware design platforms to stimulate the sharing of ideas and promote innovation. This concept has been popular in the software world for many years. This book is intended for a wide variety of audiences including students of the fine arts, middle and senior high school students, engineering design students, and practicing scientists and engineers. To meet this wide audience, the book has been divided into sections to satisfy the need of each reader. The book contains many software and hardware examples to assist the reader in developing a wide variety of systems. The book covers two different Arduino products: the Arduino UNO R3 equipped with the Atmel ATmega328 and the Arduino Mega 2560 equipped with the Atmel ATmega2560. The third edition has been updated with the latest on these two processing boards, changes to the Arduino Development Environment and multiple extended examples.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 516 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -One could make the claim that all branches of physics are basically generalizations of classical mechanics. It is also often the first course which is taught to physics students. The approach of this book is to construct an intermediate discipline between general courses of physics and analytical mechanics, using more sophisticated mathematical tools.The aim of this book is to prepare a self-consistent and compact text that is very useful for teachers as well as for independent study.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Avaluable reference that fills a number of niches including that of a buyer's guide, technical desk reference and observer's field guide. It documents the past market and its evolution, right up to the present day. In addition to appealing to practical astronomers - and potentially saving them money - it is useful both as a historical reference and as a detailed review of the current market place for this bustling astronomical consumer product.What distinguishes this book from other publications on astronomy is the involvement of observers from all aspects of the astronomical community, and also the major manufacturers of equipment. It not only catalogs the technical aspects of the many modern eyepieces but also documents amateur observer reactions and impressions over the years, using many different eyepieces.Eyepieces are the most talked-about accessories and collectible items available to the amateur astronomer. No other item of equipment commands such vigorous debate, or has evolved into such a remarkable array of forms and functions. 'Choosing and Using Astronomical Eyepieces' provides a vast amount of reference materialto point readers towards the best buys and the right eyepieces for different kinds of observing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2012 Workshops LENLS, JURISIN, ALSIP, MiMI, which tool place onNovember/December 2012, respectively, in Miyazaki, Japan. The 17 contributions in this volume were carefully reviewed and selected from 42 submissions.They are an excellent selection of papers that are representative of topics of AI research both in Japan an in other parts of the world. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics; its topics are the formal and theoretical aspects of natural language. JURISIN (Juris-Informatics) deals with juris-informatics. This workshop brings together people from various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional ¿AI and law¿ area. MiMI (Multimodality in Multispace Interaction) focuses on how multispace is managed in socially, temporally, and sequentially complex environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book grew out of the First Symposium on the Personal Web, co-located with CASCON 2010 in Markham, Ontario, Canada. The purpose of the symposium was to bring together prominent researchers and practitioners from a diverse range of research areas relevant to the advancement of science and practice relating to the Personal Web. Research on the Personal Web is an outgrowth of the Smart Internet initiative, which seeks to extend and transform the web to be centred on the user, with the web as a calm platform ubiquitously providing cognitive support to its user and his or her tasks. As with the preceding SITCON workshop (held at CASCON 2009), this symposium involved a multi-disciplinary effort that brought together researchers and practitioners in data integration; web services modelling and architecture; human-computer interaction; predictive analytics; cloud infrastructure; semantics and ontology; and industrial application domains such as health care and finance.The discussions during the symposium dealt with different aspects of the architecture and functionality needed to make the Personal Web a reality. After the symposium the authors reworked their presentations into draft chapters that were submitted for peer evaluation and review. Every chapter went through two rounds of reviewing by at least two independent expert reviewers, and accepted chapters were then revised and are presented in this book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeAccess control and authentication.- Identity and trust management.- privacy and confidentiality management.- Information systems security.- Security policies/legal issues.-Trust and privacy in mobile and pervasive environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of two workshops MAIR/AE-CAI 2013, held in conjunction with MICCAI 2013, held in Nagoya, Japan, in September 2013. The 29 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers cover a wide range of topics addressing the main research efforts in the fields of medical image formation, analysis and interpretation, augmented reality and visualization, computer assisted intervention, interventional imaging, image-guided robotics, image-guided intervention, surgical planning and simulation, systematic extra- and intra-corporeal imaging modalities, and general biological and neuroscience image computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The volume LNCS 8155 constitutes the refereed proceedings of the 19th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2013, held in Giessen, Germany, in September 2013. The 8 papers presented were carefully reviewed and selected from 26 submissions. The scope of the workshop spans the following areas the theoretical and practical aspects of a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS), to provide a platform for presenting and discussing new ideas and results, to support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned, to identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Electronic Commerce and Web Technologies (EC-Web) held in Prague, Czech Republic, in August 2013. In 2013, EC-Web focused on recommender systems, semantic e-business, business services and process management, and agent-based e-commerce. The 13 full and 6 short papers accepted for EC-Web, selected from 43 submissions, were carefully reviewed based on their originality, quality, relevance, and presentation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Second European Conference on Service-Oriented and Cloud Computing, ESOCC 2013, held in Málaga, Spain, in September 2013. The 11 full papers presented together with 4 short papers were carefully reviewed and selected from 44 submissions. The volume also contains 3 papers from the industrial track. Service-oriented computing including Web services as its most important implementation platform has become the most important paradigm for distributed software development and application. The papers illustrate how cloud computing aims at enabling mobility as well as device, platform and/or service independence by offering centralized sharing of resources. It promotes interoperability, portability and security standards, and raises a completely new set of security issues.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 13th Agent-Oriented Software Engineering (AOSE) workshop, held at the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, in Valencia, Spain, in June 2012.This volume presents 9 thoroughly revised papers selected from 24 submissions as well as two invited articles by leading researchers in the field. The papers cover a broad range of topics related to software engineering of agent-based systems, with particular attention to the integration of concepts and techniques from multi-agent systems with recent programming languages, platforms, and established software engineering methodologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeInvited Talks.- Witness Runs for Counter Machines (Abstract).- On the Duality of Proofs and Countermodels in Labelled Sequent Calculi.- A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions.- Research Papers.- Dealing with Symmetries in Modal Tableaux.- Tableaux for Verification of Data-Centric Processes.- Bounded Proofs and Step Frames.- Compression of Propositional Resolution Proofs by Lowering Subproofs.- A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.- Hypersequent and Labelled Calculi for Intermediate Logics.- TATL: Implementation of ATL Tableau-Based Decision Procedure.- A Terminating Evaluation-Driven Variant of G3i.- Model Checking General Linear Temporal Logic.- Semantically Guided Evolution of SHI ABoxes.- Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture.- Understanding Resolution Proofs through Herbrand's Theorem.- A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search.- A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI.- Prefixed Tableau Systems for Logic of Proofs and Provability.- Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5.- Schemata of Formulæ in the Theory of Arrays.- TAFA - A Tool for Admissibility in Finite Algebras.- Formalizing Cut Elimination of Coalgebraic Logics in Coq.- Intelligent Tableau Algorithm for DL Reasoning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2013, held in Prague, Czech Republic, in August 2013, held in conjunction with DEXA 2013. The 7 revised long papers presented together with 4 short papers were carefully reviewed and selected from numerous submissions. The papers address the following topics: critical health and intelligent systems in medical research, and obstetrics, neonatology and decision systems in cardiology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held inPorquerolles, Francein September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In the first decade of the twenty-first century, the biggest event of worldwide proportion was the 2008 global financial crisis, which was caused primarily by ineffective governance, failed surveillance systems, and implementation flaws. While fiscal and monetary policies succeeded in pulling many countries out of a financial freefall, most economies have performed beneath pre-recession levels as governments continued to struggle with their finances. Examining the financial crisis from the viewpoint of intangible assets provides a different perspective from traditional economic approaches. National Intellectual Capital (NIC), comprised mainly of human capital, market capital, process capital, renewal capital, and financial capital, is a valuable intangible asset and a key source of national competitive advantage in today¿s knowledge economy. The authors¿pioneers in the field¿present extensive data and a rigorous conceptual framework to analyze the connections between the global financial crisis and NIC development. Covering the period from 2005 to 2010 across 48 countries, the authors establish a positive correlation between NIC and GDP per capita and consider the impact of NIC investment for short-term recovery and long-term risk control and strategy formulation.Each volume in a series of SpringerBriefs on NIC and the financial crisis provides in-depth coverage of the impact of the crisis, the aftermath, future prospects, and policy implications for a regional cluster. This volume focuses on Indonesia, Malaysia, The Philippines, and Thailand.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.