Granular computing as a tool of human data interaction - a cognitive cities use case

The article proposes granular computing as a theoretical, formal and methodological basis for the newly emerging research field of human–data interaction (HDI). We argue that the ability to represent and reason with information granules is a prerequisite for data legibility. As such, it allows for extending the research agenda of HDI to encompass the topic of collective intelligence amplification, which is seen as an opportunity of today’s increasingly pervasive computing environments. As an example of collective intelligence amplification in HDI, we introduce a collaborative urban planning use case in a cognitive city environment and show how an iterative process of user input and human-oriented automated data processing can support collective decision making. As a basis for automated human-oriented data processing, we use the spatial granular calculus of granular geometry.

The effects of erythritol air-polishing powder on microbiologic and clinical outcomes during supportive periodontal therapy: Six-month results of a randomized controlled clinical trial.

OBJECTIVES To characterize the physical characteristics of a new low abrasive erythritol powder (EPAP) and to evaluate its influence on the clinical and microbiologic parameters over a period of 6 months in patients undergoing supportive periodontal therapy (SPT). METHOD AND MATERIALS Prior to the clinical application, the particle size and abrasion level of EPAP were compared to glycine air-polishing powder (GPAP) ex vivo. Subsequently, 40 chronic periodontitis patients previously enrolled in SPT were randomly assigned into two groups for the treatment with subgingival EPAP or repeated scaling and root planing (SRP). At baseline (BL), bleeding on probing positive (BOP+) sites with probing pocket depth (PPD) of ≥ 4 mm but no detectable calculus were defined as study sites. During SPT, these sites were either treated by EPAP or SRP at BL, 3, and 6 months (3M, 6M). When indicated, additional SRP was provided. Plaque Index, BOP, PPD, clinical attachment level (CAL), and subgingival plaque were evaluated at BL and 6M. RESULTS EPAP yielded lower abrasiveness and smaller particle sizes when compared to GPAP. In 38 patients completing the study, EPAP and SRP resulted in significant reductions of BOP% (EPAP, 40.45%; SRP, 42.53%), PPD (EPAP, -0.67; SRP, -0.68), and increase of CAL (EPAP, 0.48; SRP, 0.61) while at 6M no statistically significant between-group differences were observed (P > .05). Microbiologic evaluation revealed minor shifts in the composition of the subgingival biofilm without influence on periodontopathogenic bacteria. CONCLUSION The subgingival use of EPAP by means of an air-polishing device may be considered safe and may lead to comparable clinical and microbiologic outcomes to those obtained with SRP. CLINICAL RELEVANCE The subgingival use of EPAP appears to represent a promising modality for the removal of subgingival biofilm during SPT.

EARLINET: potential operationality of a research network

In the framework of ACTRIS (Aerosols, Clouds, and Trace Gases Research Infrastructure Network) summer 2012 measurement campaign (8 June–17 July 2012), EARLINET organized and performed a controlled exercise of feasibility to demonstrate its potential to perform operational, coordinated measurements and deliver products in near-real time. Eleven lidar stations participated in the exercise which started on 9 July 2012 at 06:00 UT and ended 72 h later on 12 July at 06:00 UT. For the first time, the single calculus chain (SCC) – the common calculus chain developed within EARLINET for the automatic evaluation of lidar data from raw signals up to the final products – was used. All stations sent in real-time measurements of a 1 h duration to the SCC server in a predefined netcdf file format. The pre-processing of the data was performed in real time by the SCC, while the optical processing was performed in near-real time after the exercise ended. 98 and 79 % of the files sent to SCC were successfully pre-processed and processed, respectively. Those percentages are quite large taking into account that no cloud screening was performed on the lidar data. The paper draws present and future SCC users' attention to the most critical parameters of the SCC product configuration and their possible optimal value but also to the limitations inherent to the raw data. The continuous use of SCC direct and derived products in heterogeneous conditions is used to demonstrate two potential applications of EARLINET infrastructure: the monitoring of a Saharan dust intrusion event and the evaluation of two dust transport models. The efforts made to define the measurements protocol and to configure properly the SCC pave the way for applying this protocol for specific applications such as the monitoring of special events, atmospheric modeling, climate research and calibration/validation activities of spaceborne observations.

Newton-Cartan supergravity with torsion and Schrödinger supergravity

We derive a torsionfull version of three-dimensional N=2 Newton-Cartan supergravity using a non-relativistic notion of the superconformal tensor calculus. The “superconformal” theory that we start with is Schrödinger supergravity which we obtain by gauging the Schrödinger superalgebra. We present two non-relativistic N=2 matter multiplets that can be used as compensators in the superconformal calculus. They lead to two different off-shell formulations which, in analogy with the relativistic case, we call “old minimal” and “new minimal” Newton-Cartan supergravity. We find similarities but also point out some differences with respect to the relativistic case.

Proof theory for lattice-ordered groups

Proof-theoretic methods are developed and exploited to establish properties of the variety of lattice-ordered groups. In particular, a hypersequent calculus with a cut rule is used to provide an alternative syntactic proof of the generation of the variety by the lattice-ordered group of automorphisms of the real number chain. Completeness is also established for an analytic (cut-free) hypersequent calculus using cut elimination and it is proved that the equational theory of the variety is co-NP complete.

Granular computing as a basis of human–data interaction: a cognitive cities use case

The article proposes granular computing as a theoretical, formal and methodological basis for the newly emerging research field of human–data interaction (HDI). We argue that the ability to represent and reason with information granules is a prerequisite for data legibility. As such, it allows for extending the research agenda of HDI to encompass the topic of collective intelligence amplification, which is seen as an opportunity of today’s increasingly pervasive computing environments. As an example of collective intelligence amplification in HDI, we introduce a collaborative urban planning use case in a cognitive city environment and show how an iterative process of user input and human-oriented automated data processing can support collective decision making. As a basis for automated human-oriented data processing, we use the spatial granular calculus of granular geometry.