1,721,296 research outputs found
Emigrazione Italiana: esperienza di un laboratorio nell'Università degli Studi di Roma Tre
Epigenetic modulations in healthy/unhealthy aging: from cellular senescence to human longevity
Unravel legal references in defeasible deontic logic
We provide a framework for computing reasoning traits of defeasible deontic logi
Functional Communication Training attraverso l’utilizzo di un comunicatore dinamico. Il Training PECS con il Software LIAR.
Applications of linear defeasible logic: Combining resource consumption and exceptions to energy management and business processes
Linear Logic and Defeasible Logic have been adopted to formalise different features of knowledge representation: consumption of resources, and non monotonic reasoning in particular to represent exceptions. Recently, a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects to handle potentially conflicting information, has been discussed in literature, by some of the authors. Two applications emerged that are very relevant: energy management and business process management. We illustrate a set of guide lines to determine how to apply linear defeasible logic to those context
Computing Defeasible Meta-logic
We provide a framework for computing meta-logic within non monotonic reasonin
Going Beyond Counting First Authors in Author Co-citation Analysis
The present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
An Ontology of Changes in Normative Systems from an Agentive Viewpoint
Defeasible deontic logic has shown to be expressive enough to represent a normative system, and therefore compliance to such a system can be automatically checked by means of classical model checking techniques of logical systems. However, normative systems are not static, as they can be actively changed by the legislator over time, directly, by changing one norm. Moreover norms can change passively, either by effect of the change of another piece of the normative system, or by means of the change of meaning that affects terms employed in the norm. Although some efforts have been carried out by scholars in the field of legal reasoning about norm change, there is a lack of uniformity in the representation of these changes, and this is an issue when we aim at deploying the law as an automated platform: we need to introduce changes as effects in the semantics of derivation in a logical system, when the unified viewpoint admits a unified representation as well. We adopt the logical paradigm of agency and provide a classification of changes from an agentive viewpoint that allows a unified representation within the logical language for agents LegalRuleML
Phenotypic and genotypic characterization to authenticate and trace a high-quality yellow tomato ecotype through the processing chain
In the last few years considerable interest is growing for high food quality, both for organoleptic and nutritional
aspects. As for tomatoes, the yellow fruit varieties are conquering the consumer markets in many Mediterranean
countries. Among the great variability of yellow tomatoes, one landrace of “Pomodorino giallo del Vesuvio”, named
GiaGiù (E40), differs from the traditional “Pomodorino del Piennolo” for the fruit color and stands out for its
quality traits, such as high glutamic acid, pectin content and titratable acidity of fruit, thus increasing its demand
for both fresh consumption and cooking purposes. The aim of this work was to phenotypically and genotypically
distinguish the GiaGiù landrace through morphological descriptors and molecular markers, in order to provide
an effective tool to authenticate this product as fresh and processed tomatoes. Morphological characterization
evidenced that the distinctive traits of GiaGiù landrace were the potato leaf morphology and the pyriform shape
with a pointed apex of the yellow fruits. The genotypic distinction of E40 was performed by using two Cleaved
Amplified Polymorphic Sequence (CAPS) markers designed on a Single Nucleotide Polymorphism (SNP) of the
Phytoene synthase 1 (psy1) gene that confers the yellow color to tomato fruit and already known as specific of
GiaGiù genotype. Additional CAPS markers were designed on two private mutations of E40 genes derived from
data retrieved from a Genotyping-By-Sequencing (GBS) dataset, already available. These findings were
confirmed by comparing E40 private mutations with the 360 accessions of the BGI tomato 360 genomes rese-
quencing project. The designed markers allowed to distinguish GiaGiù genotype in all fresh and processed fruit
tomato matrices, thus representing a molecular tool able to prevent food fraud and authenticate GiaGiù products
- …
