Curbing domestic violence: instantiating C-K theory with formal concept analysis and emergent self organizing maps.

In this paper we propose a human-centered process for knowledge discovery from unstructured text that makes use of Formal Concept Analysis and Emergent Self Organizing Maps. The knowledge discovery process is conceptualized and interpreted as successive iterations through the Concept-Knowledge (C-K) theory design square. To illustrate its effectiveness, we report on a real-life case study of using the process at the Amsterdam-Amstelland police in the Netherlands aimed at distilling concepts to identify domestic violence from the unstructured text in actual police reports. The case study allows us to show how the process was not only able to uncover the nature of a phenomenon such as domestic violence, but also enabled analysts to identify many types of anomalies in the practice of policing. We will illustrate how the insights obtained from this exercise resulted in major improvements in the management of domestic violence cases.Formal concept analysis; Emergent self organizing map; C-K theory; Text mining; Actionable knowledge discovery; Domestic violence;

A conceptual approach to gene expression analysis enhanced by visual analytics

The analysis of gene expression data is a complex task for biologists wishing to understand the role of genes in the formation of diseases such as cancer. Biologists need greater support when trying to discover, and comprehend, new relationships within their data. In this paper, we describe an approach to the analysis of gene expression data where overlapping groupings are generated by Formal Concept Analysis and interactively analyzed in a tool called CUBIST. The CUBIST workflow involves querying a semantic database and converting the result into a formal context, which can be simplified to make it manageable, before it is visualized as a concept lattice and associated charts

Fluctuations and correlations in high temperature QCD

We calculate second- and fourth-order cumulants of conserved charges in a temperature range stretching from the QCD transition region towards the realm of (resummed) perturbation theory. We perform lattice simulations with staggered quarks; the continuum extrapolation is based on $N_t=10\dots24$ in the crossover-region and $N_t=8\dots16$ at higher temperatures. We find that the Hadron Resonance Gas model predictions describe the lattice data rather well in the confined phase. At high temperatures (above $\sim$250 MeV) we find agreement with the three-loop Hard Thermal Loop results.Comment: 18 pages revtex, 13 figure

The output distribution of important LULU-operators

Two procedures to compute the output distribution phi_S of certain stack filters S (so called erosion-dilation cascades) are given. One rests on the disjunctive normal form of S and also yields the rank selection probabilities. The other is based on inclusion-exclusion and e.g. yields phi_S for some important LULU-operators S. Properties of phi_S can be used to characterize smoothing properties of S. One of the methods discussed also allows for the calculation of the reliability polynomial of any positive Boolean function (e.g. one derived from a connected graph).Comment: 20 pages, up to trivial differences this is the final version to be published in Quaestiones Mathematicae 201