Distributed Formal Concept Analysis Algorithms Based on an Iterative MapReduce Framework

While many existing formal concept analysis algorithms are efficient, they are typically unsuitable for distributed implementation. Taking the MapReduce (MR) framework as our inspiration we introduce a distributed approach for performing formal concept mining. Our method has its novelty in that we use a light-weight MapReduce runtime called Twister which is better suited to iterative algorithms than recent distributed approaches. First, we describe the theoretical foundations underpinning our distributed formal concept analysis approach. Second, we provide a representative exemplar of how a classic centralized algorithm can be implemented in a distributed fashion using our methodology: we modify Ganter's classic algorithm by introducing a family of MR* algorithms, namely MRGanter and MRGanter+ where the prefix denotes the algorithm's lineage. To evaluate the factors that impact distributed algorithm performance, we compare our MR* algorithms with the state-of-the-art. Experiments conducted on real datasets demonstrate that MRGanter+ is efficient, scalable and an appealing algorithm for distributed problems.Comment: 17 pages, ICFCA 201, Formal Concept Analysis 201

On the Usability of Probably Approximately Correct Implication Bases

We revisit the notion of probably approximately correct implication bases from the literature and present a first formulation in the language of formal concept analysis, with the goal to investigate whether such bases represent a suitable substitute for exact implication bases in practical use-cases. To this end, we quantitatively examine the behavior of probably approximately correct implication bases on artificial and real-world data sets and compare their precision and recall with respect to their corresponding exact implication bases. Using a small example, we also provide qualitative insight that implications from probably approximately correct bases can still represent meaningful knowledge from a given data set.Comment: 17 pages, 8 figures; typos added, corrected x-label on graph

Practical Use of Formal Concept Analysis in Service-Oriented Computing

International audiencePervasive applications are encountered in a number of settings, including smart houses, intelligent buildings or connected plants. Service-Oriented Computing is today the technology of choice for implementing and exposing resources in such environments. The selection of appropriate services at the right moment in order to compose meaningful applications is however a real issue. In this paper, we propose a FCA-based solution to this problem.We have integrated FCA algorithms in our pervasive gateways and adapted them in order to allow efficient runtime selection of heterogeneous and dynamic services. This work has been applied to realistic use cases in the scope of a European project

Knowledge-Based Assistance System for Part Preparation in Additive Repair by Laser Powder Bed Fusion

For the economic use of repair in the spare parts business, additive repair by Laser Powder Bed Fusion (LPBF) is a promising technology. As material can only be applied to a flat surface in LPBF, prior machining is required. The selection of the section plane requires expert knowledge, though. To provide that knowledge and recommend a suitable section plane, an expert system can be used. In this paper, a concept for such an expert system is presented and its functionality is evaluated by an example

Magnetic assessment and modelling of the Aramis undulator beamline

Within the SwissFEL project at the Paul Scherrer Institute (PSI), the hard X-ray line (Aramis) has been equipped with short-period in-vacuum undulators, known as the U15 series. The undulator design has been developed within the institute itself, while the prototyping and the series production have been implemented through a close collaboration with a Swiss industrial partner, Max Daetwyler AG, and several subcontractors. The magnetic measurement system has been built at PSI, together with all the data analysis tools. The Hall probe has been designed for PSI by the Swiss company SENIS. In this paper the general concepts of both the mechanical and the magnetic properties of the U15 series of undulators are presented. A description of the magnetic measurement equipment is given and the results of the magnetic measurement campaign are reported. Lastly, the data reduction methods and the associated models are presented and their actual implementation in the control system is detailed.peer-reviewe

Formal concept analysis and structures underlying quantum logics

A Hilbert space $H$ induces a formal context, the Hilbert formal context $\overline H$, whose associated concept lattice is isomorphic to the lattice of closed subspaces of $H$. This set of closed subspaces, denoted $\mathcal C(H)$, is important in the development of quantum logic and, as an algebraic structure, corresponds to a so-called ``propositional system'', that is, a complete, atomistic, orthomodular lattice which satisfies the covering law. In this paper, we continue with our study of the Chu construction by introducing the Chu correspondences between Hilbert contexts, and showing that the category of Propositional Systems, PropSys, is equivalent to the category of $\text{ChuCors}_{\mathcal H}$ of Chu correspondences between Hilbert contextsUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

APPLICABILITY OF A FULL BODY INERTIAL MEASUREMENT SYSTEM FOR KINEMATIC ANALYSIS OF THE DISCUS THROW

The aim of the study was the application of a full body inertial measurement system (IMS) for a kinematic analysis of the discus throw and the evaluation of its applicability. For this purpose, one male sports student performed three discus throws equipped with the IMS. All trials were additionally filmed by high-speed video. The results indicate that perfor-mance-relevant information can be obtained regarding the temporal coordination of the body segments and body joint angles. Limitations exist for the accurate detection of the last foot contact related instant and the discus release instant by solely using the IMS data

Pre-operative gastric ultrasound in patients at risk of pulmonary aspiration: a prospective observational cohort study.

Point-of-care gastric sonography offers an objective approach to assessing individual pulmonary aspiration risk before induction of general anaesthesia. We aimed to evaluate the potential impact of routine pre-operative gastric ultrasound on peri-operative management in a cohort of adult patients undergoing elective or emergency surgery at a single centre. According to pre-operative gastric ultrasound results, patients were classified as low risk (empty, gastric fluid volume ≤ 1.5 ml.kg-1 body weight) or high risk (solid, mixed or gastric fluid volume > 1.5 ml.kg-1 body weight) of aspiration. After sonography, examiners were asked to indicate changes in aspiration risk management (none; more conservative; more liberal) to their pre-defined anaesthetic plan and to adapt it if patient safety was at risk. We included 2003 patients, 1246 (62%) of which underwent elective and 757 (38%) emergency surgery. Among patients who underwent elective surgery, 1046/1246 (84%) had a low-risk and 178/1246 (14%) a high-risk stomach, with this being 587/757 (78%) vs. 158/757 (21%) among patients undergoing emergency surgery, respectively. Routine pre-operative gastric sonography enabled changes in anaesthetic management in 379/2003 (19%) of patients, with these being a more liberal approach in 303/2003 (15%). In patients undergoing elective surgery, pre-operative gastric sonography would have allowed a more liberal approach in 170/1246 (14%) and made a more conservative approach indicated in 52/1246 (4%), whereas in patients undergoing emergency surgery, 133/757 (18%) would have been managed more liberally and 24/757 (3%) more conservatively. We showed that pre-operative gastric ultrasound helps to identify high- and low-risk situations in patients at risk of aspiration and adds useful information to peri-operative management. Our data suggest that routine use of pre-operative gastric ultrasound may improve individualised care and potentially impact patient safety