Siegfried Handschuh

Thomas Eiter

Renate Schmidt

Claudio Gutierrez

Enrico Franconi

Sergio Tessaris

Marie- Christine Rousset

This book contains a collection of revised tutorial papers based on lectures given by researchers at the 5th International Summer School on the Reasoning Web. It introduces semantic web methods and research issues with a particular emphasis on reasoning.

5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

Reasoning Web. Semantic Technologies for Information Systems

Christophe Ringeissen

Pascal Fontaine

This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. FroCoS'13 seeks to offer a common forum for research in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use. Typical topics of interest include following subjects: combinations of logics such as combined predicate, temporal, modal or epistemic logics, combinations and modularity in ontologies, combination of decision, procedures, of satisfiability, procedures and of constraint solving techniques, combinations and modularity in term rewriting, integration of equational and other theories into deductive systems, combination of deduction systems and computer algebra, integration of data structures into constraint logic programming and deduction, and modularizing programs and specifications.

9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings

Frontiers of Combining Systems

The book constitutes the joint refereed proceedings of the 9th International Conference on Relational Methods in Computer Science, RelMiCS 2006, and the 4th International Workshop on Applications of Kleene Algebras, AKA 2006, held in Manchester, UK in August/September 2006. The 25 revised full papers presented together with two invited papers and the abstract of an invited talk were carefully reviewed and selected from 44 submissions.

9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings

Relations and Kleene Algebra in Computer Science

Helma Sick

Lieber heute unromantisch als morgen arm Viele Frauen stehen heute finanziell auf eigenen Füßen. Aber es gibt immer noch die, die sich auf einen »Versorger« verlassen und darauf vertrauen, dass die große Liebe schon hält. Doch nach einer Trennung verlieren häufig gerade Frauen, die ihren Beruf für die Familie aufgegeben haben, ihre finanzielle Basis. Auf lange Sicht droht ihnen sogar Altersarmut. Helma Sick und Renate Schmidt rufen die Frauen dazu auf, die Notwendigkeit ihrer finanziellen Unabhängigkeit zu erkennen und entsprechend zu handeln. In dieser aktualisierten Ausgabe zeigen sie, was Politik und Wirtschaft – und die Frauen selbst – verändern müssen, damit diese Familie und Beruf besser vereinbaren können.

Warum finanzielle Unabhängigkeit für Frauen so wichtig ist

Ein Mann ist keine Altersvorsorge

This book constitutes the refereed proceedings of the 22nd International Conference on Automated Deduction, CADE-22, held in Montreal, Canada, in August 2009. The 27 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 77 submissions. Furthermore, three invited lectures by distinguished experts in the area were included. The papers are organized in topical sections on combinations and extensions, minimal unsatisfiability and automated reasoning support, system descriptions, interpolation and predicate abstraction, resolution-based systems for non-classical logics, termination analysis and constraint solving, rewriting, termination and productivity, models, modal tableaux with global caching, arithmetic.

22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

Automated Deduction – CADE-22

Ian Bancroft

The Genetics and Genomics of the Brassicaceae provides a review of this important family (commonly termed the mustard family, or Cruciferae). The family contains several cultivated species, including radish, rocket, watercress, wasabi and horseradish, in addition to the vegetable and oil crops of the Brassica genus. There are numerous further species with great potential for exploitation in 21st century agriculture, particularly as sources of bioactive chemicals. These opportunities are reviewed, in the context of the Brassicaceae in agriculture. More detailed descriptions are provided of the genetics of the cultivated Brassica crops, including both the species producing most of the brassica vegetable crops (B. rapa and B. oleracea) and the principal species producing oilseed crops (B. napus and B. juncea). The Brassicaceae also include important “model” plant species. Most prominent is Arabidopsis thaliana, the first plant species to have its genome sequenced. Natural genetic variation is reviewed for A. thaliana, as are the genetics of the closely related A. lyrata and of the genus Capsella. Self incompatibility is widespread in the Brassicaceae, and this subject is reviewed. Interest arising from both the commercial value of crop species of the Brassicaceae and the importance of Arabidopsis thaliana as a model species, has led to the development of numerous resources to support research. These are reviewed, including germplasm and genomic library resources, and resources for reverse genetics, metabolomics, bioinformatics and transformation. Molecular studies of the genomes of species of the Brassicaceae revealed extensive genome duplication, indicative of multiple polyploidy events during evolution. In some species, such as Brassica napus, there is evidence of multiple rounds of polyploidy during its relatively recent evolution, thus the Brassicaceae represent an excellent model system for the study of the impacts of polyploidy and the subsequent process of diploidisation, whereby the genome stabilises. Sequence-level characterization of the genomes of Arabidopsis thaliana and Brassica rapa are presented, along with summaries of comparative studies conducted at both linkage map and sequence level, and analysis of the structural and functional evolution of resynthesised polyploids, along with a description of the phylogeny and karyotype evolution of the Brassicaceae. Finally, some perspectives of the editors are presented. These focus upon the Brassicaceae species as models for studying genome evolution following polyploidy, the impact of advances in genome sequencing technology, prospects for future transcriptome analysis and upcoming model systems.

Renate Schmidt

Books

Your next favorite book is out there