springer berlin heidelberg springer berlin heidelberg sep 2013 (380 risultati)

Taschenbuch. Condizione: Neu. Neuware.

Taschenbuch. Condizione: Neu. Neuware -This volume constitutes the refereed proceedings of the international workshops, Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS and SOMOCO 2013, held as part of OTM 2013 in Graz, Austria, in September 2013. The 75 revised full papers presented together with 12 posters and 5 keynotes were carefully reviewed and selected from a total of 131 submissions. The papers are organized in topical sections on: On The Move Academy; Industry Case Studies Program; Adaptive Case Management and other non-workflow approaches to BPM; Enterprise Integration, Interoperability and Networking; Information Systems in Distributed Environment; Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society; Fact-Oriented Modeling; Semantics and Decision Making; Social Media Semantics; Social and Mobile Computing for collaborative environments; cooperative information systems; Ontologies, Data Bases and Applications of Semantics.

Taschenbuch. Condizione: Neu. Neuware -This volume contains 11 thoroughly refereed and revised papers detailing recent advances in research on designing trading agents and mechanisms for agent-mediated e-commerce. They were originally presented at the Joint Workshop on Trading Agent Design and Analysis (TADA 2012) and Agent-Mediated Electronic Commerce (AMEC 2012) co-located with AAMAS 2012 in Valencia, Spain, in June 2012.The increasing reliance on software agents has created a range of pressing new research challenges, including the design of appropriate agent decision algorithms, approaches for predicting the complex behaviors and interactions of multiple agents, including the computation of equilibria, and the engineering of protocols and mechanisms that ensure electronic markets behave in a stable manner or fulfill other desirable criteria. Drawing upon a diverse range of scientific disciplines, including computer science, economics, artificial intelligence, operations research and game theory, the papers collected in this volume represent a cross-section of recent research and cover topics such as strategies for individual trading agents, the design of markets and interaction protocols between agents, and a variety of applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This Festschrifthas beenpublished in honor of Rinus Plasmeijer, to celebrate the combined occasion of his 61st birthday and the 25th Symposium on Implementation and Application of Functional Languages, IFL 2013, held in Nijmegen, The Netherlands, in August 2013. Rinus Plasmeijer was the main designer of the lazy functional programming language 'Clean' and has always been the leader of the associated research team. He has played a decisive role in making the Radboud University of Nijmegen an important center of research in functional programming by organizing and hosting the first few IFL symposia in Nijmegen. This Festschrift contains19 scientific essays written by former PhD students of Rinus Plasmeijer and researchers in the field of functional programming who have collaborated with him. The authors write about the influence the beauty of functional programming has had or still has on their work.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contains extended and revised versions of a set of selected papers from two workshops organized by the Euro Working Group on Decision Support Systems (EWG-DSS), which were held in Liverpool, UK, and Vilnius, Lithuania, in April and July 2012.From a total of 33 submissions, 9 papers were accepted for publication in this edition after being reviewed by at least three internationally known experts from the EWG-DSS Program Committee and external invited reviewers. The selected papers are representative of the current research activities in the area of decision support systems, focusing on topics such as decision analysis for enterprise systems and non-hierarchical networks, integrated solutions for decision support and knowledge management in distributed environments, decision support system evaluation and analysis through social networks, and e-learning and its application to real environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 6th International Symposium on Algorithmic Game Theory, SAGT 2013, held in Aachen, Germany, in October 2013. The 25 papers presented in this volume were carefully reviewed and selected from 65 submissions. They cover various important aspects of algorithmic game theory, such as solution concepts in game theory, efficiency of equilibria and the price of anarchy, computational aspects of equilibria and game theoretical measures, repeated games and convergence of dynamics, evolution and learning in games, coordination and collective action, network games and graph-theoretic aspects of social networks, voting and social choice, as well as algorithmic mechanism design.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeReachability for finite state systems.- Rewriting systems, reachability analysis in counter/timed/cellular/communicating automata.- Petri-nets.- Computational aspects of semigroups, groups and rings.- Reachability in dynamical and hybrid systems.- Frontiers between decidable and undecidable reachability problems.- Complexity and decidability aspects, predictability in iterative maps and new computational paradigms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Computational Logistics, ICCL 2013, held in Copenhagen, Denmark, in September 2013. The 19 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized in topical sections named: maritime shipping, road transport, vehicle routing problems, aviation applications, and logistics and supply chain management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Haptic and Audio Interaction Design, HAID 2013, held in Daejeon, Korea, in April 2013.The 14 full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on non-intrusive and thermal haptics, new interfaces and interactions, emotion and affect, music, and mobile devices and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeProof and Computation in Geometry.- Automation of Geometry:Theorem Proving, Diagram.- Generation, and Knowledge Management.- Improving Angular Speed Uniformity by C1 Piecewise Reparameterization.- Extending the Descartes Circle Theorem for Steiner n-Cycles.- Equation Systems with Free-Coordinates Determinants.- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls.- Realizations of Volume Frameworks.- Rigidity of Origami Universal Molecules.- Algebraic Analysis of Huzita's Origami Operations and Their Extensions.- On the Formal Analysis of Geometrical Optics in HOL.- Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2013, held in Palma de Mallorca, Spain, in September 2013.The 34 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers cover all the topics of cooperative engineering, basic theories, methods and technologies that support CDVE, cooperative design, visualization and applications. There are special contributions dealing with the cooperative issues brought by the Internet of things - such as the situation in the ambient assisted living systems. Other papers in the volume cover a wide range of cooperative application topics such as cooperative e-learning, cooperative decision making and cooperative simulation etc.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Buch. Condizione: Neu. Neuware -The book covers Oriental management theories as well as their applications; research on positivism; long-term focus; exclusive interviews and accumulating first-hand data, etc. It also addresses the following topics: Chinese family businesses that havesurvived for more than one hundred years(e.g. INFINITUS, Beijing TRT); Chinese enterprises and firms that follow the oriental management culture serve as the dynamic engines to the 2nd largest economic entity in the world (e.g., Huawei Technologies Co., Ltd., Mengniu Dairy Gr., Hainan Airlines and so on); Eastern and western managerial cultures that have been growing within Chinese businesses(e.g., Hainan Airlines, INFINITUS); Varied schools such as Confucianism, Taoism, Buddhism, legalism, Military Strategists, Mohist School remain vital but at the same time Chinese businesses and firms welcome and extract the essence of western managerial civilization rather than reject it, etc. These areas will be of particular interest to readers, and the purpose of the book is not only to acquaint the reader with China by providing information about Chinese businesses and firms, but also to provide a royal road to doing business with China as well as allowing them to learn about Chinese managerial wisdom.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Buch. Condizione: Neu. Neuware -Digital government consists in the purposeful use of information and communication technologies (ICT), in particular the internet, to transform the relationship between government and society in a positive manner. This book focuses on the current status, prospects and foundations of digital government. Integrating examples and cases from administrative practice, it covers all important aspects of digital government management. Learning outcomes includeUnderstanding the implications of the internet for government and societyGaining deeper insights into the concept and opportunities of digital democracyUnderstanding the challenges of moving public services onlineSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book is the product of a collaborative effort involving partners from Africa, Asia, Europe and Latin America who were funded by the International Development Research Centre Programme on Women and Migration (2006-2011). The International Institute of Social Studies at Erasmus University Rotterdam spearheaded a project intended to distill and refine the research findings, connecting them to broader literatures and interdisciplinary themes. The book examines commonalities and differences in the operation of various structures of power (gender, class, race/ethnicity, generation) and their interactions within the institutional domains of intra-national and especially inter-national migration that produce context-specific forms of social injustice. Additional contributions have been included so as to cover issues of legal liminality and how the social construction of not only femininity but also masculinity affects all migrants and all women. The resulting set of 19 detailed, interconnected case studies makes a valuable contribution to reorienting our perceptions and values in the discussions and decision-making concerning migration, and to raising awareness of key issues in migrants¿ rights.All chapters were anonymously peer-reviewed. This book resulted from a series of projects funded by the International Development Research Centre (IDRC), Canada.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Serious Games Development and Applications, SGDA 2013, held in Trondheim, Norway, in September 2013. The 32 papers (23 full papers, 9 short papers/posters and 2 invited keynotes) presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on games for health, games for education and training, games for other purposes, game design and theories, gaming interface, policy matters.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 36th Annual German Conference on Artificial Intelligence, KI 2013, held in Koblenz, Germany, in September 2013. The 24 revised full papers presented together with 8 short papers were carefully reviewed and selected from 70 submissions. The papers contain research results on theory and applications of all aspects of AI.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings at PAKDD Workshops 2013, affiliated with the 17th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) held in Gold Coast, Australia in April 2013.The 47 revised full papers presented were carefully reviewed and selected from 92 submissions. The workshops affiliated with PAKDD 2013 include: Data Mining Applications in Industry and Government (DMApps), Data Analytics for Targeted Healthcare (DANTH), Quality Issues, Measures of Interestingness and Evaluation of Data Mining Models (QIMIE), Biologically Inspired Techniques for Data Mining (BDM), Constraint Discovery and Application (CDA), Cloud Service Discovery (CloudSD).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 576 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The three-volume set LNCS 8149, 8150, and 8151 constitutes the refereed proceedings of the 16th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2013, held in Nagoya, Japan, in September 2013. Based on rigorous peer reviews, the program committee carefully selected 262 revised papers from 789 submissions for presentation in three volumes. The 86 papers included in the second volume have been organized in the following topical sections: registration and atlas construction; microscopy, histology, and computer-aided diagnosis; motion modeling and compensation; segmentation; machine learning, statistical modeling, and atlases; computer-aided diagnosis and imaging biomarkers; physiological modeling, simulation, and planning; microscope, optical imaging, and histology; cardiology; vasculatures and tubular structures; brain segmentation and atlases; and functional MRI and neuroscience applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 756 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 12th IFIP TC 8 International Conference, CISIM 2013, held in Cracow, Poland, in September 2013. The 44 papers presented in this volume were carefully reviewed and selected from over 60 submissions. They are organized in topical sections on biometric and biomedical applications; pattern recognition and image processing; various aspects of computer security, networking, algorithms, and industrial applications. The book also contains full papers of a keynote speech and the invited talk.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 544 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference of the CLEF Initiative, CLEF 2013, held in Valencia, Spain, in September 2013. The 32 papers and 2 keynotes presented were carefully reviewed and selected for inclusion in this volume. The papers are organized in topical sections named: evaluation and visualization; multilinguality and less-resourced languages; applications; and Lab overviews.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This work covers three important aspects of monomials ideals in the three chapters 'Stanley decompositions' by Jürgen Herzog, 'Edge ideals' by Adam Van Tuyl and 'Local cohomology' by Josep Álvarez Montaner. The chapters, written by top experts, include computer tutorials that emphasize the computational aspects of the respective areas. Monomial ideals and algebras are, in a sense, among the simplest structures in commutative algebra and the main objects of combinatorial commutative algebra. Also, they are of major importance for at least three reasons. Firstly, Gröbner basis theory allows us to treat certain problems on general polynomial ideals by means of monomial ideals. Secondly, the combinatorial structure of monomial ideals connects them to other combinatorial structures and allows us to solve problems on both sides of this correspondence using the techniques of each of the respective areas. And thirdly, the combinatorial nature of monomial ideals also makes them particularly well suited to the development of algorithms to work with them and then generate algorithms for more general structures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 24th International Conference on Algorithmic Learning Theory,ALT 2013, held in Singapore in October 2013, and co-located with the 16th International Conference on Discovery Science, DS 2013. The 23 papers presented in this volume were carefully reviewed and selected from 39 submissions. In addition the book contains 3 full papers of invited talks. The papers are organized in topical sections named: online learning, inductive inference and grammatical inference, teaching and learning from queries, bandit theory, statistical learning theory, Bayesian/stochastic learning, and unsupervised/semi-supervised learning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeReinforcement learning.- Markov decision processes.- Active learning and optimization.- Learning from sequences.- Time series and spatio-temporal data.- Data streams.- Graphs and networks.- Social network analysis.- Natural language processing and information extraction.- Ranking and recommender systems.- Matrix and tensor analysis.- Structured output prediction, multi-label and multi-task learning.- Transfer learning.- Bayesian learning.- Graphical models.- Nearest-neighbor methods.- Ensembles.- Statistical learning.- Semi-supervised learning.- Unsupervised learning.- Subgroup discovery, outlier detection and anomaly detection.- Privacy and security.- Evaluation.- Applications.- Medical applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 736 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the workshops held withthe 17th International Conference on Image Analysis and Processing, ICIAP 2013, held in Naples, Italy, in September 2013. The proceedings include papers from the five individual workshops focusing on topics of interest to the pattern recognition, image analysis, and computer vision communities, exploring emergent research directions or spotlight cross-disciplinary links with related fields and / or application areas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This two volume set LNAI 8102 and LNAI 8103 constitutes the refereed proceedings of the 6th International Conference on Intelligent Robotics and Applications, ICIRA 2013, held in Busan, South Korea, in September 2013. The 147 revised full papers presented were carefully reviewed and selected from 184 submissions. The papers discuss various topics from intelligent robotics, automation and mechatronics with particular emphasis on technical challenges associated with varied applications such as biomedical application, industrial automation, surveillance and sustainable mobility.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 772 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 14th International Conference on Web Information Systems Engineering, WISE 2013, held in Nanjing, China, in October 2013. The 48 full papers, 29 short papers, and 10 demo and 5 challenge papers, presented in the two-volume proceedings LNCS 8180 and 8181, were carefully reviewed and selected from 198 submissions. They are organized in topical sections named: Web mining; Web recommendation; Web services; data engineering and database; semi-structured data and modeling; Web data integration and hidden Web; challenge; social Web; information extraction and multilingual management; networks, graphs and Web-based business processes; event processing, Web monitoring and management; and innovative techniques and creations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 16th International Symposium on Research in Attacks, Intrusions and Defenses, former Recent Advances in Intrusion Detection, RAID 2013, held in Rodney Bay, St. Lucia in October 2013. The volume contains 22 full papers that were carefully reviewed and selected from 95 submissions, as well as 10 poster papers selected from the 23 submissions. The papers address all current topics in computer security ranged from hardware-level security, server, web, mobile, and cloud-based security, malware analysis, and web and network privacy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2013, held in Hefei, China, in October 2013. The 76 revised full papers presented were carefully reviewed and selected from more than 130 submissions. These papers provided a valuable collection of latest research outcomes in data engineering and automated learning, from methodologies, frameworks and techniques to applications. In addition to various topics such as evolutionary algorithms, neural networks, probabilistic modelling, swarm intelligent, multi-objective optimisation, and practical applications in regression, classification, clustering, biological data processing, text processing, video analysis, including a number of special sessions on emerging topics such as adaptation and learning multi-agent systems, big data, swarm intelligence and data mining, and combining learning and optimisation in intelligent data engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 660 pp. Englisch.