Generalized ordering-search for learning directed probabilistic logical models

Recently, there has been an increasing interest in directed probabilistic logical models and a variety of formalisms for describing such models has been proposed. Although many authors provide high-level arguments to show that in principle models in their formalism can be learned from data, most of the proposed learning algorithms have not yet been studied in detail. We introduce an algorithm, generalized ordering-search, to learn both structure and conditional probability distributions (CPDs) of directed probabilistic logical models. The algorithm is based on the ordering-search algorithm for Bayesian networks. We use relational probability trees as a representation for the CPDs. We present experiments on a genetics domain, blocks world domains and the Cora dataset. Editors: Stephen Muggleton, Ramon Otero, Simon Colton.     

Citywide: Supporting Interactive Digital Experiences Across Physical Space

The Citywide project is exploring ways in which technology can provide people with rich and engaging digital experiences as they move through physical space, including historical experiences, performances and games. This paper describes some initial results and experiences with this project based upon two prototype demonstrators. In the first, we describe an application in which a search party explores an archaeological site, uncovering enacted scenes within the virtual world that are of a historical relevance to their particular physical location. In the second, we describe a museum experience where participants explore an outdoors location, hunting for buried virtual artifacts that they then bring back to a museum for a more detailed study. Our demonstrators employ a varied set of devices, including mobile wireless interfaces for locating hotspots of virtual activity when outdoors, to give different experiences of the virtual world depending upon location, task, available equipment and accuracy of tracking. We conclude by discussing some of the potential advantages of using an underlying shared virtual world to support interactive experiences across extended physical settings.     

Automated formal analysis and verification: an overview

This paper provides an overview of various existing approaches to automated formal analysis and verification. The most space is devoted to the approach of model checking, including its basic principles as well as the different techniques that have been proposed for dealing with the state space explosion problem in model checking. This paper, however, includes a brief discussion of theorem proving and static analysis too. All of the discussed approaches are introduced mostly on an informal level, with an attempt to provide the reader with their basic ideas and references to works where more details can be found.     

SARS-CoV-2 Infection Dysregulates Cilia and Basal Cell Homeostasis in the Respiratory Epithelium of Hamsters

Similar to many other respiratory viruses, SARS-CoV-2 targets the ciliated cells of the respiratory epithelium and compromises mucociliary clearance, thereby facilitating spread to the lungs and paving the way for secondary infections. A detailed understanding of mechanism involved in ciliary loss and subsequent regeneration is crucial to assess the possible long-term consequences of COVID-19. The aim of this study was to characterize the sequence of histological and ultrastructural changes observed in the ciliated epithelium during and after SARS-CoV-2 infection in the golden Syrian hamster model. We show that acute infection induces a severe, transient loss of cilia, which is, at least in part, caused by cilia internalization. Internalized cilia colocalize with membrane invaginations, facilitating virus entry into the cell. Infection also results in a progressive decline in cells expressing the regulator of ciliogenesis FOXJ1, which persists beyond virus clearance and the termination of inflammatory changes. Ciliary loss triggers the mobilization of p73⁺ and CK14⁺ basal cells, which ceases after regeneration of the cilia. Although ciliation is restored after two weeks despite the lack of FOXJ1, an increased frequency of cilia with ultrastructural alterations indicative of secondary ciliary dyskinesia is observed. In summary, the work provides new insights into SARS-CoV-2 pathogenesis and expands our understanding of virally induced damage to defense mechanisms in the conducting airways.     

Analyzing probabilistic pushdown automata

The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses.     

Application of SVM-RFE on EEG signals for detecting the most relevant scalp regions linked to affective valence processing

In this work, event related potentials (ERPs) induced by visual stimuli categorized with different value of affective valence are studied. EEG signals are recorded during visualization of selected pictures belonging to International Affective Picture System (IAPS). A Morlet wavelet filter is used to transform the EEG input space to a topography-time–frequency feature space. Support vector machine-recursive feature elimination (SVM-RFE) is applied for detecting scalp spectral dynamics of interest (SSDOIs) in this feature space, allowing to identify the most relevant time intervals, frequency bands and EEG channels. This feature selection method has proven to outperform the classical t-test in the discrimination of brain cortex regions involved in affective valence processing. Furthermore, the presented combination of feature extraction and selection techniques can be applied as an alternative in other different clinical applications.     

Protiviti 2015 IT Priorities Survey

Abstract

This article makes basic cost accounting understandable. It is an easy read. Nine business examples are provided to show the wide use of the concepts. These concepts can be applied to the business portions of government, colleges, and non-profit organizations.

Pricing a product or service for less can improve the bottom line in some situations. Businesses blend cost accounting and key business revenue drivers, along with the marketing loss leader concept. This blending can be especially important during slow business periods.

Many organizations improve their financial position for off peak periods by trying to maximize their contribution margin at off peak. They are willing to accept less profit or even a loss at off peak demand. They want to minimize their losses at off peak demand.     

BioPACE

While developing the specifications for electronically enabled Machine Readable Travel Documents, the ICAO paid significant attention to security aspects related to the digital information stored in this type of electronic document. This has resulted in Passive and Active Authentication, Basic Access Control and Extended Access Control. The goal of Basic Access Control (BAC) is preventing unauthorized access to the chip data stored on eMRTDs. The PACE protocol has been developed as a future-proof method to overcome the limitations of BAC and to replace BAC in the future. In this paper the BioPACE protocol is proposed as a supplement to the PACE protocol. Besides verifying if the document holder is indeed the rightful owner, the BioPACE protocol provides a higher convenience for the bearer of the document.