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 SCORM Thin Client Architecture for e-learning Systems based on Web Services

In this paper we propose an architecture of e-learning systems characterized by the use of Web services and a suitable middleware component. These technical infrastructures allow us to extend the system with new services as well as to integrate and reuse heterogeneous software e-learning components. Moreover, they let us better support the "anytime and anywhere " learning paradigm. As a matter of fact, the proposal provides an implementation of the run-time environment suggested in the sharable content object reference model (SCORM) to trace learning processes, which is also suitable for mobile learning

M.Etna: crisi sismica del 19/06/88. Detezione e localizzazione mediante rete sismica digitale

In the tex

Exploiting Visual Languages Generation and UML Meta Modeling to Construct Meta-CASE Workbenches

n/

Exploiting XPG for Visual Languages Definition, Analysis and Development

n/

Natural compounds for pediatric cancer treatment

There is a tremendous need in clinics to impair cancer progression through noninvasive therapeutic approaches. The use of natural compounds to achieve this is of importance to improve the quality of life of young patients during their treatments. This review will address the "status of the art" related to the potential of natural compounds that are undergoing investigation in combination with standard therapeutic protocols in preclinical and clinical studies and their importance for pediatric cancer treatment. The early studies of drug discovery of these natural compounds discussed here include the main targets, the cellular signaling pathways involved, and the potential modes of action. We also focus on some promising natural compounds that have shown excellent results in vitro and in vivo: Chebulagic acid, Apigenin, Norcantharidin, Saffron/Crocin, Parthenolide, Longikaurin E, Lupeol, Spongistatin 1, and Deoxy-variolin B. Additionally, we introduce the effects of several compounds from nutraceutical and functional foods, to underline their potential use as adjuvant therapies to improve therapeutic benefits. For this purpose, we have selected several compounds: Agaritine, Ganoderma and GL6 peptide, Diallyl trisulfide and Ajoene from garlic, Epigallocatechin gallate from green tea, Curcumin, Resveratrol, and Quercetin

Vitamin D: beyond bone.

In recent years, vitamin D has been received increased attention due to the resurgence of vitamin D deficiency and rickets in developed countries and the identification of extraskeletal effects of vitamin D, suggesting unexpected benefits of vitamin D in health and disease, beyond bone health. The possibility of extraskeletal effects of vitamin D was first noted with the discovery of the vitamin D receptor (VDR) in tissues and cells that are not involved in maintaining mineral homeostasis and bone health, including skin, placenta, pancreas, breast, prostate and colon cancer cells, and activated T cells. However, the biological significance of the expression of the VDR in different tissues is not fully understood, and the role of vitamin D in extraskeletal health has been a matter of debate. This report summarizes recent research on the roles for vitamin D in cancer, immunity and autoimmune diseases, cardiovascular and respiratory health, pregnancy, obesity, erythropoiesis, diabetes, muscle function, and aging

Vesuvio: Rete Sismica Digitale

In the tex

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