2 Contributo in Volume

2 Contributo in Volume: [30235] Home page macrotipologia

Sfoglia

2.1 Contributo in volume (Capitolo o Saggio) 25855
2.2 Prefazione/Postfazione 740
2.3 Breve introduzione 439
2.4 Voce (in dizionario o enciclopedia) 2147
2.5 Traduzione in volume 249
2.6 Recensione in volume 39
2.7 Schede di catalogo 766

Prodotti recenti

La riforma del giudice e del processo per le persone, i minori e le famiglia

1. La riforma del Tribunale per le persone, per i minorenni e per le famiglie. − 1.1. I tentativi di riforma del Tribunale per i minorenni nel passato e le ragioni del suo fallimento. − 1.2. La duplicazione dei giudici. La sua origine storica. − 1.3. Il problema del giudice consulente: la violazione del principio del contraddittorio. − 1.4. Il problema del contrasto dei giudicati. − 1.5. La disuguaglianza tra figli nati nel matrimonio e figli nati fuori dal matrimonio. − 1.6. La necessità in...

Gli atti introduttivi, le preclusioni e le riaperture difensive

1. L’unificazione del rito. 2. La tutela dei diritti disponibili ed indisponibili e la diversificazione delle regole processuali. 3. Il ricorso e il principio di auto-responsabilità delle parti. 4. La prima versione dell’emendamento governativo sul processo comune. 5. La nuova iniziativa governativa e parlamentare: l’emendamento sulle preclusioni. 6. La mancata conferma della graduazione nel rito unico della famiglia e dei minori. 7. Le riaperture alle attività difensive.

Tutela sommaria e altri riti speciali nell'arbitrato

Il saggio esamina i limiti della giustizia arbitrale nell'ambito della tutela cautelare e sommaria anticipatoria

An LTL Semantics of BusinessWorkflows with Recovery

We describe a business workflow case study with abnormal behavior management (i.e. recovery) and demonstrate how temporal logics and model checking can provide a methodology to iteratively revise the design and obtain a correct-by construction system. To do so we define a formal semantics by giving a compilation of generic workflow patterns into LTL and we use the bound model checker Zot to prove specific properties and requirements validity. The working assumption is that such a lightweight ...

Application of IBM Watson to support literature reviews: A preliminary experience in restorative dentistry

Literature reviews are crucial in the choice of the best personalized material type and restauration type in restorative dentistry. We developed an IBM-Watson based system to support literature search for restorative dentistry, and compared its results to a literature search performed by a trained professional. We found that our system could assist the researcher in performing a literature review, but the grounding semantic model needs to be refined in order to provide more extensive results.

Scopri

Accesso al fulltext

no fulltext27540
restricted2100
open527
partially open46
reserved14
embargoed8

CINECA IRIS Institutional Research Information System