springer international publishing springer nature switzerland aug 2019 (173 resultados)

Taschenbuch. Condición: Neu. Neuware -The most damning criticism of markets is that they are morally corrupting. As we increasingly engage in market activity, the more likely we are to become selfish, corrupt, rapacious and debased. Even Adam Smith, who famously celebrated markets, believed that there were moral costs associated with life in market societies.This book explores whether or not engaging in market activities is morally corrupting. Storr and Choi demonstrate that people in market societies are wealthier, healthier, happier and better connected than those in societies where markets are more restricted. More provocatively, they explain that successful markets require and produce virtuous participants. Markets serve as moral spaces that both rely on and reward their participants for being virtuous. Rather than harming individuals morally, the market is an arena where individuals are encouraged to be their best moral selves. Do Markets Corrupt Our Morals invites us to reassess the claim that markets corrupt our morals.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The next generation of autonomous vehicles will provide major improvements in traffic flow, fuel efficiency, and vehicle safety. Several challenges currently prevent the deployment of autonomous vehicles, one aspect of which is robust and adaptable vehicle control. Designing a controller for autonomous vehicles capable of providing adequate performance in all driving scenarios is challenging due to the highly complex environment and inability to test the system in the wide variety of scenarios which it may encounter after deployment. However, deep learning methods have shown great promise in not only providing excellent performance for complex and non-linear control problems, but also in generalizing previously learned rules to new scenarios. For these reasons, the use of deep neural networks for vehicle control has gained significant interest.In this book, we introduce relevant deep learning techniques, discuss recent algorithms applied to autonomous vehicle control, identify strengths and limitations of available methods, discuss research challenges in the field, and provide insights into the future trends in this rapidly evolving field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 84 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 16th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2019, held in Cuvu, Fiji, in August 2019.The 9 full papers and 7 short papers included in this volume were carefully reviewed and selected from 38 initial submissions. The papers cover advanced research work that contributes to the technical and theoretical aspects in the ¿elds of intelligent systems/agents, natural language processing, and applications of machine learning techniques including Deep Learning to real world problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the contributions presented at the Blockchain Forum and the Central and Eastern Europe Forum (CEE Forum) held at the 17th International Conference on Business Process Management, BPM 2019, which took place in Vienna, Austria, in September 2019.The Blockchain Forum deals with the use of blockchain for collaborative information systems. Conceptual, technical and application-oriented contributions are pursued within the scope of this theme. The Blockchain Forum received a total of 31 submissions; 10 full and 1 short paper were accepted for publication in this book.The objective of the CEE Forum is to foster discussion for BPM academics from Central and Eastern Europe to disseminate their research, compare results and share experiences. For the CEE Forum 16 submissions were received and 6 full and 2 short papers were accepted for publication.The book also contains one invited talk in full-paper length and 6 poster papers from the CEE Forum.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 22nd International Conference on Information Security, ISC 2019, held in New York City, NY, USA, in September 2019.The 23 full papers presented in this volume were carefully reviewed and selected from 86 submissions. The papers were organized in topical sections named: Attacks and Cryptanalysis; Crypto I: Secure Computation and Storage; Machine Learning and Security; Crypto II: Zero-Knowledge Proofs; Defenses; Web Security; Side Channels; Malware Analysis; Crypto III: Signatures and Authentication.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This open access book constitutes the research workshops, doctoral symposium and panel summaries presented at the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019.XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2019 provided an informal environment to network, share, and discover trends in Agile for the next 20 years.Research papers and talks submissions were invited for the three XP 2019 research workshops, namely, agile transformation, autonomous teams, and large scale agile. This book includes 15 related papers. In addition, a summary for each of the four panels at XP 2019 is included. The panels were on security and privacy; the impact of the agile manifesto on culture, education, and software practices; business agility ¿ agile¿s next frontier; and Agile ¿ the next 20 years.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume constitutes the refereed proceedings of the 14th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2019, held in León, Spain, in September 2019.The 64 full papers published in this volume were carefully reviewed and selected from 134 submissions. They are organized in the following topical sections: data mining, knowledge discovery and big data; bio-inspired models and evolutionary computation; learning algorithms; visual analysis and advanced data processing techniques; data mining applications; and hybrid intelligent applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 792 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 656 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This three-volume set, LNAI 11670, LNAI 11671, and LNAI 11672 constitutes the thoroughly refereed proceedings of the 16th Pacific Rim Conference on Artificial Intelligence, PRICAI 2019, held in Cuvu, Yanuca Island, Fiji, in August 2019.The 111 full papers and 13 short papers presented in these volumes were carefully reviewed and selected from 265 submissions. PRICAI covers a wide range of topics such as AI theories, technologies and their applications in the areas of social and economic importance for countries in the Pacific Rim.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 800 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 840 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -¿This three-volume set, LNAI 11670, LNAI 11671, and LNAI 11672 constitutes the thoroughly refereed proceedings of the 16th Pacific Rim Conference on Artificial Intelligence, PRICAI 2019, held in Cuvu, Yanuca Island, Fiji, in August 2019.The 111 full papers and 13 short papers presented in these volumes were carefully reviewed and selected from 265 submissions. PRICAI covers a wide range of topics such as AI theories, technologies and their applications in the areas of social and economic importance for countries in the Pacific Rim.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 752 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 13th International Symposium on Advanced Parallel Processing Technologies, APPT 2019, held in Tianjin, China, in August 2019.The 11 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections named: System Support for Neural Networks; Scheduling and File Systems; Optimization and Parallelization; Security and Algorithms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the IFIP TC 5, TC 12, WG 8.4, 8.9, 12.9 International Cross-Domain Conference for Machine Learning and Knowledge Extraction, CD-MAKE 2019, held in Canterbury, UK, in August 2019.The 25 revised full papers presented were carefully reviewed and selected from 45 submissions. The cross-domain integration and appraisal of different fields provides an atmosphere to foster different perspectives and opinions; it will offer a platform for novel ideas and a fresh look on the methodologies to put these ideas into business for the benefit of humanity.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the satellite workshops held around the 17th International Conference on Applied Cryptography and Network Security, ACNS 2019, in Bogota, Colombia, in June 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -¿This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The two volume set LNCS 11678 and 11679 constitutes the refereed proceedings of the 18th International Conference on Computer Analysis of Images and Patterns, CAIP 2019, held in Salerno, Italy, in September 2019.The 106 papers presented were carefully reviewed and selected from 176 submissions The papers are organized in the following topical sections: Intelligent Systems; Real-time and GPU Processing; Image Segmentation; Image and Texture Analysis; Machine Learning for Image and Pattern Analysis; Data Sets and Benchmarks; Structural and Computational Pattern Recognition; Posters.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 620 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019.The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: special session on data-driven and stochastic approaches to real-time, including monitoring and Big Data; timed systems; linear and non-linear systems; timed automata; special session on timed systems and probabilities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This two-volume set of LNAI 11775 and LNAI 11776 constitutes the refereed proceedings of the 12th International Conference on Knowledge Science, Engineering and Management, KSEM 2019, held in Athens, Greece, in August 2019.The 77 revised full papers and 23 short papers presented together with 10 poster papers were carefully reviewed and selected from 240 submissions. The papers of the first volume are organized in the following topical sections: Formal Reasoning and Ontologies; Recommendation Algorithms and Systems; Social Knowledge Analysis and Management ; Data Processing and Data Mining; Image and Video Data Analysis; Deep Learning; Knowledge Graph and Knowledge Management; Machine Learning; and Knowledge Engineering Applications.The papers of the second volume are organized in the following topical sections: Probabilistic Models and Applications; Text Mining and Document Analysis; Knowledge Theories and Models; and Network Knowledge Representation and Learning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing with constraints including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers were organized according to the following topics/tracks: technical track; application track; multi-agent and parallel CP track; testing and verification track; CP and data science track; computational sustainability; and CP and life sciences track.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 816 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This two-volume set constitutes the proceedings of the Third Conference on Creativity in Intellectual Technologies and Data Science, CIT&DS 2019, held in Volgograd, Russia, in September 2019.The 67 full papers, 1 short paper and 3 keynote papers presented were carefully reviewed and selected from 231 submissions. The papers are organized in topical sections in the two volumes. Part I: cyber-physical systems and Big Data-driven world. Part II: artificial intelligence and deep learning technologies for creative tasks; intelligent technologies in social engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019. The 25 full papers presented were carefully reviewed and selected from 43 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs, non-wellfounded proof systems, automated theorem provers, and logics for program or system verification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, held in Belgrade, Serbia, in September 2019.The 43 full papers presented together with 3 abstracts of keynotes were carefully reviewed and selected from 70 submissions. The main topics covered by the chapters in this book are biometrics, security systems, multimedia, classification and clustering, industrial management. Besides these, the reader will find interesting papers on computer information systems as applied to wireless networks, computer graphics, and intelligent systems. The papers are organized in the following topical sections: biometrics and pattern recognition applications; computer information systems; industrial management and other applications; machine learning and high performance computing; modelling and optimization; various aspects of computer security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This two-volume set (LNAI 11683 and LNAI 11684) constitutes the refereed proceedings of the 11th International Conference on Computational Collective Intelligence, ICCCI 2019, held in Hendaye France, in September 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 736 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 6th International Workshop on Hybrid Systems Biology, HSB 2019, held in Prague, Czech Republic, in April 2019.The 8 full papers presented in this book together with 1 short paper and 3 invited papers were carefully reviewed and selected from 13 submissions. They cover topics such as: modeling and analysis of metabolic, signaling, and genetic regulatory networks in living cells; models of tissues, organs, physiological models; models and methods coping with incomplete, uncertain and heterogeneous information including learning for biological systems, parametric synthesis and inference; stochastic and hybrid models in biology; hierarchical systems for multi-scale, multi-domain analysis; abstraction, approximation, discretization, and model reduction techniques; modeling, analysis and design for synthetic biology, cyber-biological systems and biomedical studies (e.g. therapies, teleoperation); game-theoretical frameworks and population models in biology (e.g. mixed-effects and Bayesian modeling); biological applications of quantitative and formal analysis techniques (e.g. reachability computation, model checking, abstract interpretation, bifurcation theory, stability and sensitivity analysis); efficient techniques for combined and heterogeneous (stochastic/deterministic, spatial/non-spatial) simulations for biological models; modeling languages and logics for biological systems with related analysis and simulation tools; and control architectures of biological systems including biology-in-the-loop systems and bio-robotics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the Third International Conference on Physiological Computing Systems, PhyCS 2016, held in Lisbon, Portugal, in July 2016.The 12 papers presented in this volume were carefully reviewed and selected from numerous submissions. They contribute to the understanding of relevant trends of current research on physiological computing systems, including brain-computer interfaces, virtual reality, psychophysiological load assessment in unconstrained scenarios, body tracking and movement pattern recognition, emotion recognition, machine learning applied to diabetes and hypertension, tangible biofeedback technologies, multimodal sensor data fusion, and deep learning for hand gesture recognition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the First International Conference on Big Scientific Data Management, BigSDM 2018, held in Beijing, Greece, in November/December 2018.The 24 full papers presented together with 7 short papers were carefully reviewed and selected from 86 submissions. The topics involved application cases in the big scientific data management, paradigms for enhancing scientific discovery through big data, data management challenges posed by big scientific data, machine learning methods to facilitate scientific discovery, science platforms and storage systems for large scale scientific applications, data cleansing and quality assurance of science data, and data policies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the proceedings of the 22nd International Conference on Text, Speech, and Dialogue, TSD 2019, held in Ljubljana, Slovenia, in September 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019.The total of 378 full and 25 short papers presented in these proceedings was carefully reviewed and selected from 522 submissions. The papers are organized in topical sections as follows:Part I: collective and social robots; human biomechanics and human-centered robotics; robotics for cell manipulation and characterization; field robots; compliant mechanisms; robotic grasping and manipulation with incomplete information and strong disturbance; human-centered robotics; development of high-performance joint drive for robots; modular robots and other mechatronic systems; compliant manipulation learning and control for lightweight robot.Part II: power-assisted system and control; bio-inspired wall climbing robot; underwater acoustic and optical signal processing for environmental cognition; piezoelectric actuators and micro-nano manipulations; robot vision and scene understanding; visual and motional learning in robotics; signal processing and underwater bionic robots; soft locomotion robot; teleoperation robot; autonomous control of unmanned aircraft systems.Part III: marine bio-inspired robotics and soft robotics: materials, mechanisms, modelling, and control; robot intelligence technologies and system integration; continuum mechanisms and robots; unmanned underwater vehicles; intelligent robots for environment detection or fine manipulation; parallel robotics; human-robot collaboration; swarm intelligence and multi-robot cooperation; adaptive and learning control system; wearable and assistive devices and robots for healthcare; nonlinear systems and control.Part IV: swarm intelligence unmanned system; computational intelligence inspired robot navigation and SLAM; fuzzy modelling for automation,control, and robotics; development of ultra-thin-film, flexible sensors, and tactile sensation; robotic technology for deep space exploration; wearable sensing based limb motor function rehabilitation; pattern recognition and machine learning; navigation/localization.Part V: robot legged locomotion; advanced measurement and machine vision system; man-machine interactions; fault detection, testing and diagnosis; estimation and identification; mobile robots and intelligent autonomous systems; robotic vision, recognition and reconstruction; robot mechanism and design.Part VI: robot motion analysis and planning; robot design, development and control; medical robot; robot intelligence, learning and linguistics; motion control; computer integrated manufacturing; robot cooperation; virtual and augmented reality; education in mechatronics engineering; robotic drilling and sampling technology; automotive systems; mechatronics in energy systems; human-robot interaction.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 756 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019.The total of 378 full and 25 short papers presented in these proceedings was carefully reviewed and selected from 522 submissions. The papers are organized in topical sections as follows:Part I: collective and social robots; human biomechanics and human-centered robotics; robotics for cell manipulation and characterization; field robots; compliant mechanisms; robotic grasping and manipulation with incomplete information and strong disturbance; human-centered robotics; development of high-performance joint drive for robots; modular robots and other mechatronic systems; compliant manipulation learning and control for lightweight robot.Part II: power-assisted system and control; bio-inspired wall climbing robot; underwater acoustic and optical signal processing for environmental cognition; piezoelectric actuators and micro-nano manipulations; robot vision and scene understanding; visual and motional learning in robotics; signal processing and underwater bionic robots; soft locomotion robot; teleoperation robot; autonomous control of unmanned aircraft systems.Part III: marine bio-inspired robotics and soft robotics: materials, mechanisms, modelling, and control; robot intelligence technologies and system integration; continuum mechanisms and robots; unmanned underwater vehicles; intelligent robots for environment detection or fine manipulation; parallel robotics; human-robot collaboration; swarm intelligence and multi-robot cooperation; adaptive and learning control system; wearable and assistive devices and robots for healthcare; nonlinear systems and control.Part IV: swarm intelligence unmanned system; computational intelligence inspired robot navigation and SLAM; fuzzy modelling for automation,control, and robotics; development of ultra-thin-film, flexible sensors, and tactile sensation; robotic technology for deep space exploration; wearable sensing based limb motor function rehabilitation; pattern recognition and machine learning; navigation/localization.Part V: robot legged locomotion; advanced measurement and machine vision system; man-machine interactions; fault detection, testing and diagnosis; estimation and identification; mobile robots and intelligent autonomous systems; robotic vision, recognition and reconstruction; robot mechanism and design.Part VI: robot motion analysis and planning; robot design, development and control; medical robot; robot intelligence, learning and linguistics; motion control; computer integrated manufacturing; robot cooperation; virtual and augmented reality; education in mechatronics engineering; robotic drilling and sampling technology; automotive systems; mechatronics in energy systems; human-robot interaction.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 736 pp. Englisch.