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

Total Hemi-overgrowth in Pigmentary Mosaicism of the (Hypomelanosis of) Ito Type: Eight Case Reports.

Pigmentary mosaicism of the (hypomelanosis of) Ito type is an umbrella term, which includes phenotypes characterized by mosaic hypopigmentation in the form of streaks, whorls, patchy, or more bizarre skin configurations (running along the lines of Blaschko): these cutaneous patterns can manifest as an isolated skin disorder (pigmentary mosaicism of the Ito type) or as a complex malformation syndrome in association with extracutaneous anomalies (most often of the musculoskeletal and/or nervous systems) (hypomelanosis of Ito). Affected individuals are anecdotally reported to have also partial or total body hemi-overgrowth (HOG), which often causes moderate to severe complications.We studied the occurrence and features of HOG in the 114 children and adults with mosaic pigmentary disorders of the Ito type diagnosed and followed up (from 2 to 22 years; average follow-up 16 years) at our Institutions.Eight patients (5 M, 3 F; aged 4 to 25 years; median age 16 years) out of the 114 analyzed (7%) fulfilled the criteria for unilateral HOG, with differences in diameter ranging from 0.4 to 4.0 cm (upper limbs) and 1.0 to 9.0 cm (lower limbs). Moreover, among these 8 patients, 5/8 filled in the 75th to 90th percentile for height; 6/8 had associated kyphoscoliosis; and 5/8 showed cognitive delays. No tumour complications were recorded. Overall, 6/8 HOG patients presented with additional (extracutaneous) syndromic manifestations, apart from the HOG (ie, with a clinical phenotype of hypomelanosis of Ito).The present study, which includes children and adults with the longest follow-up so far recorded, confirms the association between pigmentary mosaicism of the Ito type and HOG lowering previous estimates (7% vs 16%) for HOG in the context of mosaic hypopigmentation. A careful examination, looking at subtle to moderate asymmetries and associated complications within the spectrum of these mosaic pigmentary disorders, is recommended

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

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

The Management of Lake Como

This paper presents a new and heuristic approach for improving the performance of multipurpose reservoirs already in operation. The main characteristic of the method is that the analyst must first learn from the past experience of the manager and synthesize it into a very simple operating rule. Then, the analyst must point out with the help of the manager what the acceptable modifications of such a rule are. Only after these phases have been carried out can possible improvements in the management be obtained by using standard optimization techniques. The method has been applied to the case of Lake Como, (Northern Italy), and the results are quite satisfactory since the major objectives of the management can be substantially improved. The average duration of the floods on the lake shores and the mean volume of the water deficits in the downstream agricultural areas are about halved, without lowering the mean yearly electricity production of the downstream run-of-river plants. Moreover, the advantages of a revision of the active storage and of a possible protection of the shores of the town of Como are also investigated. All the results of this study had a direct impact on the management of the lake. In fact, the proposed operating rule has been programmed on a microcomputer, which is now used every day by the manager as an essential support for his final decision; the active storage was lowered in June 1982 by the Ministry of Public Works, and the sunken part of Como town will be soon repaved and elevated by the Municipality