Search results for " Revision"

showing 10 items of 51 documents

An Algebraic Approach to Knowledge Representation

1999

This paper is an attempt to apply domain-theoretic ideas to a new area, viz. knowledge representation. We present an algebraic model of a belief system. The model consists of an information domain of special kind (belief algebra) and a binary relation on it (entailment). It is shown by examples that several natural belief algebras are, essentially, algebras of flat records. With an eye on this, we characterise those domains and belief algebras that are isomorphic to domains or algebras of records. For illustration, we suggest a system of axioms for revision in such a model and describe an explicit construction of what could be called a maxichoise revision.

Pure mathematicsKnowledge representation and reasoningComputer scienceBinary relationComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONBelief systemNatural (music)IsomorphismAlgebraic numberBelief revisionLogical consequenceAxiom
researchProduct

Lettura magistrale. Le sfide della salute: gli infermieri e la ricerca

2009

Ricerca infermiere meta revisione outcome reserce
researchProduct

La saga irrisolta dei fratelli minori di Contrada

2022

Il saggio analizza la rivoluzione dei paradigmi nazionali per effetto delle Sentenze CEDU, interessandosi principalmente dell'ottemperanza della sentenza della Corte europea Contrada c. Italia n.3 del 2015, con la quale è stata decretata l'imprevedibilità del concorso esterno nel reato associativo. Dopo avere messo in evidenza il quadro incerto dei rimedi interni e l’illusione della revisione europea per uno dei “gemelli diversi” del ricorrente vittorioso, il saggio analizza le conseguenze derivanti dalla presa di posizione delle sezioni unite Genco in punto di diseguaglianza di trattamento dei condannati. Infine, si sofferma sugli scenari futuribili nell' imminente approvazione del nuovo r…

Sentenze CEDU- Res iudicata- Revisione europea-Effetti erga aliosSettore IUS/16 - Diritto Processuale Penale
researchProduct

The genus Bolbelasmus in the western and southern regions of the Mediterranean Basin (Coleoptera: Geotrupidae: Bolboceratinae)

2016

The Bolbelasmus Boucomont, 1911 species of the western and southern regions of the Mediterranean Basin (Northern Africa, Iberian Peninsula and France) are revised. The following three new species are described: Bolbelasmus brancoi Hillert & Král sp. nov. and Bolbelasmus howdeni Hillert & Král sp. nov., both from Spain and Gibraltar, and Bolbelasmus nikolajevi Hillert, Arnone, Král & Massa sp. nov. from Egypt, Libya and Tunisia. Bolbelasmus vaulogeri (Abeille de Perrin, 1898) stat. restit. is removed from synonymy with B. bocchus (Erichson, 1841) and reinstated as a separate species. Bolbelasmus romanorum Arnone & Massa, 2010 is considered a junior subjective synonym of B. vaulogeri. Lectoty…

Settore AGR/11 - Entomologia Generale E ApplicataColeoptera Scarabaeoidea Geotrupidae Bolboceratinae Bolbelasmini Bolbelasmus taxonomy revision new species synonymy species restitution lectotype designation key distribution annotated list Mediterranean Region Palaearctic Region
researchProduct

The Middle Eastern Genus Ocnerosthenus Massa, 1995 (Insecta Orthoptera: Pamphagidae).

2007

The study of types and other specimens coming from the Middle East and original descriptions allowed us to propose the following conclusions. Five species belong to this genus inhabiting montane areas of Lebanon, Syria and Israel, O. verrucosus (Brunner, 1882), O. brunnerianus (Saussure, 1887), O. simulans (Bolivar, 1911), O. kneuckeri (Krauss, 1909) and O. lividipes (Fishelson, 1985). O. brunnerianus is distributed over the North-West of Syria. Distribution of O. simulans covers the mountains of Central-North Lebanon, O. kneuckeri lives on the mountains of Central-South Lebanon and O. lividipes on Mt. Hermon. Type locality of O. verrucosus is Syria and it seems impossible to locate it more…

Settore AGR/11 - Entomologia Generale E ApplicataMiddle east ocnerosthenus revision key to species
researchProduct

Crisi del regionalismo e macroregioni. Spunti di riflessione

2018

La crisi del regionalismo italiano, che si evidenzia con maggiore nitore dopo l'esito negativo del referendum costituzionale del 2016, unitamente alla riorganizzazione territoriale avviata dalla legge Delrio, suggerisce l'opportunità di immaginare nuovi scenari, caratterizzati da maggiore flessibilità nella realizzazione delle politiche anche su scala macroregionale.

Settore IUS/08 - Diritto CostituzionaleRegioni UE referendum livelli territoriali di governo politiche revisione accordi crisi del regionalismo italiano
researchProduct

Interrogativi e dubbi sulla riforma costituzionale del Parlamento del 2020

2022

This essay highlight limits of contitutional reform reducing parlamentary members. At first sight this appear like an easy and bounded reform: but really it is not, the devaluation of political representation is at stake, one of the highest values of any constitutional system. To conclude, politics seems to lose value and it is important to avoid a devaluation of political representation too.

Settore IUS/09 - Istituzioni Di Diritto Pubblicopolitical representation parliament constitutional revision
researchProduct

I ritocchi normativi sull’identità del processo amministrativo

2012

Settore IUS/09 - Istituzioni Di Diritto Pubblicoprocesso amministrativo revisione azione amministrativa libertà di forme.
researchProduct

Il cotile. La revisione nelle protesi totale d'anca

2011

Settore MED/33 - Malattie Apparato LocomotoreProtesi d'anca revisione protesica cotile.
researchProduct

I controlli dell'Organo di revisione sugli atti di programmazione dell'ente locale

2020

Il capitolo tratta delle funzioni che gli Organi di revisione degli Enti locali sono tenuti a svolgere, con specifico riferimento agli atti di programmazione. Vengono esplicitate, anche con l’ausilio di appositi quadri sinottici, le fasi del processo di verifica su ciascun atto programmatorio. Apposito paragrafo è inoltre rivolto a sensibilizzare gli Organi di controllo circa le attività da svolgere nel caso in cui l’Ente si avvalga degli istituti dell’esercizio provvisorio e della gestione provvisoria.

Settore SECS-P/07 - Economia Aziendalecontrolli enti localiorgani di revisionerevisione enti localiatti di programmazione enti locali
researchProduct