On Redundancy Elimination Tolerant Scheduling Rules

In (Ferrucci, Pacini and Sessa, 1995) an extended form of resolution, called Reduced SLD resolution (RSLD), is introduced. In essence, an RSLD derivation is an SLD derivation such that redundancy elimination from resolvents is performed after each rewriting step. It is intuitive that redundancy elimination may have positive effects on derivation process. However, undesiderable effects are also possible. In particular, as shown in this paper, program termination as well as completeness of loop checking mechanisms via a given selection rule may be lost. The study of such effects has led us to an analysis of selection rule basic concepts, so that we have found convenient to move the attention from rules of atom selection to rules of atom scheduling. A priority mechanism for atom scheduling is built, where a priority is assigned to each atom in a resolvent, and primary importance is given to the event of arrival of new atoms from the body of the applied clause at rewriting time. This new computational model proves able to address the study of redundancy elimination effects, giving at the same time interesting insights into general properties of selection rules. As a matter of fact, a class of scheduling rules, namely the specialisation independent ones, is defined in the paper by using not trivial semantic arguments. As a quite surprising result, specialisation independent scheduling rules turn out to coincide with a class of rules which have an immediate structural characterisation (named stack-queue rules). Then we prove that such scheduling rules are tolerant to redundancy elimination, in the sense that neither program termination nor completeness of equality loop check is lost passing from SLD to RSLD.Comment: 53 pages, to appear on TPL

A Data-informed Public Health Policy-Makers Platform

Hearing loss is a disease exhibiting a growing trend due to the number of factors, including but not limited to the mundane exposure to the noise and ever-increasing amount of older population. In the framework of a public health policymaking process, modeling of the hearing loss disease based on data is a key factor in alleviating the issues related to the disease issuing effective public health policies. First, the paper describes the steps of the data-driven policymaking process. Afterward, a scenario along with the part of the proposed platform, responsible for supporting policymaking are presented. With the aim of demonstrating the capabilities and usability of the platform for the policy-makers, some initial results of preliminary analytics are presented in a framework of a policy-making process. Ultimately, the utility of the approach is validated throughout the results of the survey which was presented to the health system policy-makers professionals involved in the policy development process in Croatia

Attachment Styles and Communication of Displeasing Truths

This work explores how humans manage the communication of a displeasing and face-threatening truth and how the communicative strategies of the sender and the reaction of the receiver are influenced by their attachment style. Two experimental studies demonstrate that the attachment styles of both senders and receivers can influence the communicative styles of the sender, the emotions that both senders and receivers feel or attribute to their interlocutor, and the reactions of the receivers. In Study 1, couples of participants played a bogus computer game, ostensibly to test their abilities. Subsequently, “the spokesperson” was given the task to communicate to the “the receiver” a bogus low score of the other and a high score of oneself. Finally, all participants completed an adult Attachment Style Questionnaire (ASQ). A content analysis of the verbal messages of the spokespersons showed two main communication styles: frankness and mitigation. The results suggest that the spokespersons’ attachment style influences these communication styles. Using a similar procedure, Study 2 showed that spokespersons with a high avoidant attachment more frequently used frankness when communicating low scores to the receivers. Furthermore, the emotions and impressions reported by anxious and avoidant spokespersons and receivers, respectively, confirm the negative model of the self or the other, typical, respectively, in anxious and avoidant attachment. The detection of communicative strategies stemming from different attachment styles might be of use in user modeling and the planning of personalized systems

Fuzzy Functions, Relations, and Fuzzy Transforms (2012)

Fuzzy functions, fuzzy relations, and fuzzy transforms are applied to fuzzy systems and like in the first issue published in 2011, here these terms must be intended in general sense. Indeed, the topics concerning fuzzy optimizations with fuzzy functions and relations (including also clustering and PSO algorithms), applications of fuzzy relations/transforms to fusion images, and detection coarse grained fuzzy association rules in the datasets and fuzzy convex processes are dealt with widely in this second issue. The contents of any single paper are resumed in the following sequel

Supply-Demand Price Coordination in Water Resources Management

A scheme is proposed for the coordination by prices of water supplies and demands in a region. The objective is to maximize the total regional net benefit from water use and it is achieved when the marginal benefit at each demand point is equal to the marginal cost of delivering water to that point. The class of problems to which the scheme can be applied is determined from the graph of the network connecting supplies and demands. An example is presented in which the scheme is applied to analyze possible interbasin water transfers in the Northwest Water Plan in Mexico

Metodologia semiautomatica di estrazione del drenaggio da DTM applicata allo studio della deformazione indotta da tettonica attiva

The statistical analysis of stream orientations is an helpful tool in the active tectonic studies because the rivers network is an important geomorphologic feature useful to derive the deformation due to active faults. The drainage network automatically derived from DTM’s is not generally usable for this type of analysis because the automatic routines generate the stream network following the four direction orthogonal to the cell. In this paper we present a semiautomatic methodology to extract the drainage network from high resolution DTM data (5x5 pixel m) the most possible consistent with the real water-drainage pattern, in order to make accurate statistic azimuthal analyses of stream orientations. The methodology have been tested on the active tectonic area of the Tammaro basin (Campania and Molise Regions), epicentral zone of the 1688 strong earthquake (MW=6.7). The results obtained by the application of the proposed methodology show a good agreement with the drainage pattern map derived from photo-interpretation (Regional Technical Cartography)

Symbol–Relation Grammars: A Formalism for Graphical Languages

AbstractA common approach to the formal description of pictorial and visual languages makes use of formal grammars and rewriting mechanisms. The present paper is concerned with the formalism of Symbol–Relation Grammars (SR grammars, for short). Each sentence in an SR language is composed of a set of symbol occurrences representing visual elementary objects, which are related through a set of binary relational items. The main feature of SR grammars is the uniform way they use context-free productions to rewrite symbol occurrences as well as relation items. The clearness and uniformity of the derivation process for SR grammars allow the extension of well-established techniques of syntactic and semantic analysis to the case of SR grammars. The paper provides an accurate analysis of the derivation mechanism and the expressive power of the SR formalism. This is necessary to fully exploit the capabilities of the model. The most meaningful features of SR grammars as well as their generative power are compared with those of well-known graph grammar families. In spite of their structural simplicity, variations of SR grammars have a generative power comparable with that of expressive classes of graph grammars, such as the edNCE and the N-edNCE classes