Research And Advanced Technology For Digital Libraries

This book constitutes the refereed proceedings of the 10th International Workshop on Augmented Environments for Computer-Assisted Interventions, held in conjunction with MICCAI 2015, in Munich, Germany in October 2015. Augmented Environments for Computer-Assisted Interventions.

The 19 technical full papers presented were carefully reviewed and selected from 22 submissions..The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy. This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.

This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy. The 19 technical full papers presented were carefully reviewed and selected from 22 submissions.

The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015..The papers have been organized in the following topical sections: quantitative image analysis I: segmentation and measurement; computer-aided diagnosis: machine learning; computer-aided diagnosis: automation; quantitative image analysis II: classification, detection, features, and morphology; advanced MRI: diffusion, fMRI, DCE; quantitative image analysis III: motion, deformation, development and degeneration; quantitative image analysis IV: microscopy, fluorescence and histological imagery; registration: method and advanced applications; reconstruction, image formation, advanced acquisition - computational imaging; modelling and simulation for diagnosis and interventional planning; computer-assisted and image-guided interventions.

The papers have been organized in the following topical sections: quantitative image analysis I: segmentation and measurement; computer-aided diagnosis: machine learning; computer-aided diagnosis: automation; quantitative image analysis II: classification, detection, features, and morphology; advanced MRI: diffusion, fMRI, DCE; quantitative image analysis III: motion, deformation, development and degeneration; quantitative image analysis IV: microscopy, fluorescence and histological imagery; registration: method and advanced applications; reconstruction, image formation, advanced acquisition - computational imaging; modelling and simulation for diagnosis and interventional planning; computer-assisted and image-guided interventions.  Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes. The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015.

.The papers cover a wide range of CBR topics that are of interest both to researchers and practitioners from foundations of Case-Based Reasoning; over CBR systems for specific tasks and related fields; up to CBR systems, applications and lessons learned in specific areas of expertise such as health; e-science; finance; energy, logistics, traffic; game/AI; cooking; diagnosis, technical support; as well as knowledge and experience management The 26 revised full papers presented were carefully reviewed and selected from 37 submissions. This book constitutes the refereed proceedings of the 23rd International Conference on Case-Based Reasoning Research and Development, ICCBR 2015, held in Frankfurt am Main, Germany, in September 2015.

  Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes.

The papers have been organized in the following topical sections: quantitative image analysis I: segmentation and measurement; computer-aided diagnosis: machine learning; computer-aided diagnosis: automation; quantitative image analysis II: classification, detection, features, and morphology; advanced MRI: diffusion, fMRI, DCE; quantitative image analysis III: motion, deformation, development and degeneration; quantitative image analysis IV: microscopy, fluorescence and histological imagery; registration: method and advanced applications; reconstruction, image formation, advanced acquisition - computational imaging; modelling and simulation for diagnosis and interventional planning; computer-assisted and image-guided interventions. The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015.  Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes.

The papers cover a wide range of CBR topics that are of interest both to researchers and practitioners from foundations of Case-Based Reasoning; over CBR systems for specific tasks and related fields; up to CBR systems, applications and lessons learned in specific areas of expertise such as health; e-science; finance; energy, logistics, traffic; game/AI; cooking; diagnosis, technical support; as well as knowledge and experience management The 26 revised full papers presented were carefully reviewed and selected from 37 submissions.

.

The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.

The 26 full papers, 6 short papers, 16 posters, 6 demos and 6 workshops/tutorial descriptions presented were carefully reviewed and selected from 106 submissions. This book constitutes the refereed proceedings of the 14th International Conference on Entertainment Computing, ICEC 2015, held in Trondheim, Norway, in September/October 2015.

This book constitutes the refereed proceedings of the 14th International Conference on Entertainment Computing, ICEC 2015, held in Trondheim, Norway, in September/October 2015.The multidisciplinary nature of Entertainment Computing is reflected by the papers. Entertainment Computing - ICEC 2015.

.

  The 22 full papers and 14 poster and demo papers presented in this volume were carefully reviewed and selected from 61 submissions.They were organized in topical sections named: interoperability and information integration; multimedia information management and retrieval and digital curation; personal information management and personal digital libraries; exploring semantic web and linked data; user studies for and evaluation of digital library systems and applications; applications of digital libraries; digital humanities; and social-technical perspectives of digital information..

The papers are organized in topical sections on Bayesian networks and uncertainty modeling; fuzzy logic and soft computing; knowledge representation, reasoning, and logic; intelligent systems and environment; intelligent Web and recommender systems; machine learning and data mining; metaheuristics and evolutionary computation; and social robotics. The 31 revised full papers presented were carefully selected from 175 submissions.

The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions.The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras;  cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics. This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015..

. The 31 revised full papers presented were carefully selected from 175 submissions. This book constitutes the refereed proceedings of the 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015, held in Albacete, Spain, in November 2015.The papers are organized in topical sections on Bayesian networks and uncertainty modeling; fuzzy logic and soft computing; knowledge representation, reasoning, and logic; intelligent systems and environment; intelligent Web and recommender systems; machine learning and data mining; metaheuristics and evolutionary computation; and social robotics.

The papers cover a range of topics in the field of reachability for infinite 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.

This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015.

The papers have been organized in the following topical sections: quantitative image analysis I: segmentation and measurement; computer-aided diagnosis: machine learning; computer-aided diagnosis: automation; quantitative image analysis II: classification, detection, features, and morphology; advanced MRI: diffusion, fMRI, DCE; quantitative image analysis III: motion, deformation, development and degeneration; quantitative image analysis IV: microscopy, fluorescence and histological imagery; registration: method and advanced applications; reconstruction, image formation, advanced acquisition - computational imaging; modelling and simulation for diagnosis and interventional planning; computer-assisted and image-guided interventions.  Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes. The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015..

The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions.

. The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, held in Munich, Germany, in October 2015.  Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes.The papers have been organized in the following topical sections: quantitative image analysis I: segmentation and measurement; computer-aided diagnosis: machine learning; computer-aided diagnosis: automation; quantitative image analysis II: classification, detection, features, and morphology; advanced MRI: diffusion, fMRI, DCE; quantitative image analysis III: motion, deformation, development and degeneration; quantitative image analysis IV: microscopy, fluorescence and histological imagery; registration: method and advanced applications; reconstruction, image formation, advanced acquisition - computational imaging; modelling and simulation for diagnosis and interventional planning; computer-assisted and image-guided interventions.

This book constitutes the proceedings of the 26th International Conference on Algorithmic Learning Theory, ALT 2015, held in Banff, AB, Canada, in October 2015, and co-located with the 18th International Conference on Discovery Science, DS 2015.In addition the book contains 2 full papers summarizing the invited talks and 2 abstracts of invited talks. Algorithmic Learning Theory.

The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions.The papers cover a range of topics in the field of reachability for infinite 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..

. This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015.The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras;  cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions.

  Based on rigorous peer reviews, the program committee carefully selected 263 revised papers from 810 submissions for presentation in three volumes.The papers have been organized in the following topical sections: quantitative image analysis I: segmentation and measurement; computer-aided diagnosis: machine learning; computer-aided diagnosis: automation; quantitative image analysis II: classification, detection, features, and morphology; advanced MRI: diffusion, fMRI, DCE; quantitative image analysis III: motion, deformation, development and degeneration; quantitative image analysis IV: microscopy, fluorescence and histological imagery; registration: method and advanced applications; reconstruction, image formation, advanced acquisition - computational imaging; modelling and simulation for diagnosis and interventional planning; computer-assisted and image-guided interventions.

. The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions.The papers cover a range of topics in the field of reachability for infinite 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. This book constitutes the refereed proceedings of the 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015.

The papers have been organized in the following topical sections: quantitative image analysis I: segmentation and measurement; computer-aided diagnosis: machine learning; computer-aided diagnosis: automation; quantitative image analysis II: classification, detection, features, and morphology; advanced MRI: diffusion, fMRI, DCE; quantitative image analysis III: motion, deformation, development and degeneration; quantitative image analysis IV: microscopy, fluorescence and histological imagery; registration: method and advanced applications; reconstruction, image formation, advanced acquisition - computational imaging; modelling and simulation for diagnosis and interventional planning; computer-assisted and image-guided interventions..

This book constitutes the proceedings of the 26th International Conference on Algorithmic Learning Theory, ALT 2015, held in Banff, AB, Canada, in October 2015, and co-located with the 18th International Conference on Discovery Science, DS 2015.