A residualizing semantics for the partial evaluation of functional logic programs

Recent proposals for multi-paradigm declarative programming combine the most important features of functional, logic and concurrent programming into a single framework. The operational semantics of these languages is usually based on a combination of narrowing and residuation. In this paper, we introduce a non-standard, residualizing semantics for multi-paradigm declarative programs and prove its equivalence with a standard operational semantics. Our residualizing semantics is particularly relevant within the area of program transformation where it is useful, e.g., to perform computations during partial evaluation. Thus, the proof of equivalence is a crucial result to demonstrate the correctness of (existing) partial evaluation schemes.     

Negotiating Dialogue Games

Recently in the field of agent communication, many authors have adopted the view of interaction as a joint activity regulated by means of dialogue games. It is argued in particular that this approach should increase the flexibility of dialogues by allowing a variety of game compositions. In this research note, we present a framework suited to this feature. A preliminary attempt to capture the negotiation phase (which allows agents to agree upon the dialogue game currently regulating their conversation) is discussed.     

Dual-Priority versus Background Scheduling: A Path-Wise Comparison

In this paper, two well-known scheduling policies for real-time systems, namely background scheduling (BS) and dual-priority (DP) are compared in terms of response times for soft real-time traffic (SRT). It is proved in the preemptive as well as in the non-preemptive case that, when the SRT traffic is FIFO, the DP policy always outperforms BS for all instances of SRT tasks. When the SRT traffic is not FIFO but if all tasks are of equal size then, in the non-preemptive case, the average response times is shown to be always better under DP than under BS. As a complementary result, some non-FIFO examples where BS behaves better than DP for some SRT tasks but also on the average of the SRT response times, are given. The proofs are based on a trajectorial method that may be used for comparing other scheduling policies.     

Following the flock [formation control]

A new approach to formation control of nonholonomic mobile robots equipped with central panoramic cameras is presented. The approach uses motion segmentation techniques to estimate the position of each leader and omnidirectional visual servoing for tracking and collision avoidance. The paper showed that direct feedback-linearization of the leader-follower dynamics leads to asymptotic tracking but suffers from degenerate configurations. A nonlinear controller was presented that avoids such singularities but can only guarantee input-to-state stability of the formation.     

Structure of Anxiety and Depression in Urban Youth: An Examination of the Tripartite Model.

In this study, the authors examined the validity of the tripartite model of anxiety and depression (L. A. Clark & D. Watson, 1991) in a community epidemiological sample of 467 urban African American youth. Participants completed the Baltimore How I Feel (N. S. Ialongo, S. G. Kellam, & J. Poduska, 1999), a measure of anxiety and depressive symptoms, in Grades 6 and 9. Confirmatory factor analyses indicated that a 3-factor model representing the tripartite model fit the data well and better than competing models. Longitudinal confirmatory factor analysis revealed configural invariance of the tripartite factor structure. However, a predicted divergence among dimensions over time was not evidenced. High correlations among the tripartite dimensions suggest that anxiety and mood symptoms may not differentiate in urban youth. Results are discussed in terms of the ethnicity and urban context of this community sample. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A Task Model to Reduce Control Delays

Industrial control applications are usually developed in two phases: control design and real-time system implementation. In the control design stage a regulator is obtained and later it is translated into an algorithm in the implementation phase. Traditionally, these two phases have been developed in separate ways. Recently, some works have pointed out the necessity of the integration of the control design and its implementation. One of these works reduce the delay variance of control tasks (defined as the control action interval (CAI) and data acquisition interval (DAI) parameters) splitting every task into three parts. The CAI reduction method highly reduces the delay variance and improves the control performance. This work shows how to evaluate these delays under static and dynamic scheduling policies. A new task model is proposed in order to reduce the CAI and DAI parameters, which implies an improvement in the control performance. The new task model will be implemented in a real process, and the experimental measurements will show how, effectively, the control performance is highly improved with the methods presented in this paper.     

Rain or Snow Detection in Image Sequences Through Use of a Histogram of Orientation of Streaks

The detection of bad weather conditions is crucial for meteorological centers, specially with demand for air, sea and ground traffic management. In this article, a system based on computer vision is presented which detects the presence of rain or snow. To separate the foreground from the background in image sequences, a classical Gaussian Mixture Model is used. The foreground model serves to detect rain and snow, since these are dynamic weather phenomena. Selection rules based on photometry and size are proposed in order to select the potential rain streaks. Then a Histogram of Orientations of rain or snow Streaks (HOS), estimated with the method of geometric moments, is computed, which is assumed to follow a model of Gaussian-uniform mixture. The Gaussian distribution represents the orientation of the rain or the snow whereas the uniform distribution represents the orientation of the noise. An algorithm of expectation maximization is used to separate these two distributions. Following a goodness-of-fit test, the Gaussian distribution is temporally smoothed and its amplitude allows deciding the presence of rain or snow. When the presence of rain or of snow is detected, the HOS makes it possible to detect the pixels of rain or of snow in the foreground images, and to estimate the intensity of the precipitation of rain or of snow. The applications of the method are numerous and include the detection of critical weather conditions, the observation of weather, the reliability improvement of video-surveillance systems and rain rendering.     

Towards Perceptual Simplification of Models with Arbitrary Materials

Real‐time rendering of models with high polygon count is still an important issue in interactive computer graphics. A common way to improve rendering performance is to generate different levels of detail of a model. These are mostly computed using polygonal simplification techniques, which aim to reduce the number of polygons without significant loss of visual fidelity. Most existing algorithms use geometric error bounds, which are well‐suited for silhouette preservation. They ignore the fact that a much more aggressive simplification is possible in low‐contrast areas inside the model. The main contribution of this paper is an efficient simplification algorithm based on the human visual system. The key idea is to move the domain of error computation from image‐space to vertex‐space to avoid a costly per‐pixel comparison. This way the error estimation of a simplification operation can be accelerated significantly. To account for the human vision, we introduce a perceptually based metric depending on the contrast and spatial frequency of the model at a single vertex. Finally, we validate our approach with a user study.     

Rebuilding Babel: A Constitutive Approach to Tongues‐in‐use

In this paper, we suggest that the Montreal School (TMS) tradition of organizational communication offers a fruitful analytical framework that allows us to better take into account the way people practically deal with plurilingual situations as they go on with their daily activities and contribute to shaping their organizations. We identify six core features of TMS and show their analytical power in studying plurilingual interactions. TMS, we argue, is conceptually well equipped to reveal the ways in which multiple tongues are dealt with in everyday organizational settings and to uncover the constitutive nature of tongue‐in‐use.     

The Endothelium and COVID-19: An Increasingly Clear Link Brief Title: Endotheliopathy in COVID-19

The endothelium has a fundamental role in the cardiovascular complications of coronavirus disease 2019 (COVID-19). Infection with severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) particularly affects endothelial cells. The virus binds to the angiotensin-converting enzyme 2 (ACE-2) receptor (present on type 2 alveolar cells, bronchial epithelial cells, and endothelial cells), and induces a cytokine storm. The cytokines tumor necrosis factor alpha, interleukin-1 beta, and interleukin-6 have particular effects on endothelial cells—leading to endothelial dysfunction, endothelial cell death, changes in tight junctions, and vascular hyperpermeability. Under normal conditions, apoptotic endothelial cells are removed into the bloodstream. During COVID-19, however, endothelial cells are detached more rapidly, and do not regenerate as effectively as usual. The loss of the endothelium on the luminal surface abolishes all of the vascular responses mediated by the endothelium and nitric oxide production in particular, which results in greater contractility. Moreover, circulating endothelial cells infected with SARS-CoV-2 act as vectors for viral dissemination by forming clusters that migrate into the circulation and reach distant organs. The cell clusters and the endothelial dysfunction might contribute to the various thromboembolic pathologies observed in COVID-19 by inducing the formation of intravascular microthrombi, as well as by triggering disseminated intravascular coagulation. Here, we review the contributions of endotheliopathy and endothelial-cell-derived extracellular vesicles to the pathogenesis of COVID-19, and discuss therapeutic strategies that target the endothelium in patients with COVID-19.