Formally analysing the concepts of domestic violence.

The types of police inquiries performed these days are incredibly diverse. Often data processing architectures are not suited to cope with this diversity since most of the case data is still stored as unstructured text. In this paper Formal Concept Analysis (FCA) is showcased for its exploratory data analysis capabilities in discovering domestic violence intelligence from a dataset of unstructured police reports filed with the regional police Amsterdam-Amstelland in the Netherlands. From this data analysis it is shown that FCA can be a powerful instrument to operationally improve policing practice. For one, it is shown that the definition of domestic violence employed by the police is not always as clear as it should be, making it hard to use it effectively for classification purposes. In addition, this paper presents newly discovered knowledge for automatically classifying certain cases as either domestic or non-domestic violence is. Moreover, it provides practical advice for detecting incorrect classifications performed by police officers. A final aspect to be discussed is the problems encountered because of the sometimes unstructured way of working of police officers. The added value of this paper resides in both using FCA for exploratory data analysis, as well as with the application of FCA for the detection of domestic violence.Formal concept analysis (FCA); Domestic violence; Knowledge discovery in databases; Text mining; Exploratory data analysis; Knowledge enrichment; Concept discovery;

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;

Written in blood: Family, sex and violence in Wuthering Heights and Jane Eyre

This essay is an examination of the themes of family, sex, and violence, and the inter-relationships between them, in two of the best-known novels of the nineteenth century

Variations on Noetherianness

In constructive mathematics, several nonequivalent notions of finiteness exist. In this paper, we continue the study of Noetherian sets in the dependently typed setting of the Agda programming language. We want to say that a set is Noetherian, if, when we are shown elements from it one after another, we will sooner or later have seen some element twice. This idea can be made precise in a number of ways. We explore the properties and connections of some of the possible encodings. In particular, we show that certain implementations imply decidable equality while others do not, and we construct counterexamples in the latter case. Additionally, we explore the relation between Noetherianness and other notions of finiteness.Comment: In Proceedings MSFP 2016, arXiv:1604.0038

Public Perception of Risk Management in Environmental Controversies: A U.K. Case Study

Drs. Simosi and Allen focus on issues arising from an environmental dispute in the U.K. Their case study findings are discussed in the context of existing environmental decision-making procedures in the U.K

How emergent self organizing maps can help counter domestic violence.

Topographic maps are an appealing exploratory instrument for discovering new knowledge from databases. During the past years, new types of Self Organizing Maps (SOM) were introduced in the literature, including the recent Emergent SOM. The ESOM is used to study a large set of police reports describing a whole range of violent incidents that occurred during the year 2007 in the police region Amsterdam-Amstelland (the Netherlands). It is demonstrated that it provides an exploratory search instrument for examining unstructured text in police reports. First, it is shown how the ESOM was used to discover a whole range of new features that better distinguish domestic from non-domestic violence cases. Then, it is demonstrated how this resulted in a significant improvement in classification accuracy. Finally, the ESOM is showcased as a powerful instrument for the domain expert interested in an indepth investigation of the nature and scope of domestic violence.