1,721,061 research outputs found
A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting
No full textThe derivation process in rewriting systems, especially in Chomskyan grammars, can be seen as consisting of four stages: (1) selection of the production to apply from a supply of productions available at that step, (2) check of applicability of the production, possibly on different matches, (3) selection of the match at which to apply the production, (4) actual application. In this paper, we explore the different ways in which models of regulated and distributed rewriting have extended these four basic mechanisms and we propose a unifying perspective on them in terms of interaction between two agents, expressed through a particular form of conditional rewriting systems. This introduces a compositional view of derivation processes, where different components, playing specific roles and exhibiting specific behaviours, can be made to communicate and combined into different models of derivation. Existing models of regulated and distributed rewriting can thus be reformulated in this new framework, and new ones can be obtained
Transactions and contracts based on reaction systems
No full textSmart contracts are currently en vogue, thanks to the infrastructure provided by the blockchain technology. However, their effective use requires that the textual (legalese) specification of the contract be accompanied by a precise computational definition of the actions leading to its satisfaction or breach, as well as of their admissible sequences. Insofar as contracts can be viewed as prescribing transactional exchanges of well-specified resources among well-specified actors, contract execution can be modelled as following some protocol in a closed world. This suggests a modelling of such executions as interactive processes in reaction systems, where the entities in the background set represent possible allocations of resources to actors and reactions describe changes in such allocations. We use this type of reaction systems and interactive processes as a basis for the modelling of transactions and contracts and explore properties of such processes, highlighting their peculiarities with respect to the original notion of interactive processes in reaction systems. We also discuss several constructions for composition and decomposition of processes, which guarantee equivalence of effects: two interactive processes are equivalent if, starting from the same initial set of allocations, they produce the same final set of allocations. (C) 2021 Elsevier B.V. All rights reserved
Autostima e disagio scolastico: contributi alla conoscenza dell'abbandono scolastico
No full textIl presente lavoro mira ad arricchire la conoscenza del profilo dello studente a rischio di abbandono scolastico (dropout) attraverso lo studio del legame di correlazione tra disagio scolastico e autostima. Il disagio scolastico secondo la definizione di Mancini e Gabrielli (1998) è stato inteso come una precondizione, manifestazione iniziale di dropout. Lo studio è stato condotto in una scuola media inferiore di Caserta e ha coinvolto gli alunni di tutte le terze classi dell’istituto. Sono stati utilizzati il Test per la Valutazione del Disagio e della Dispersione scolastica (TVD) (Mancini & Gabrielli, 1998) per la valutazione del disagio scolastico ed il Test Multidimensionale dell’Autostima (TMA) (Bracken, 1992) per la valutazione dell’autostima. Nel 30.4% dei 161 studenti valutati è emersa la presenza di disagio scolastico. L’area più coinvolta nella determinazione del disagio scolastico è risultata essere quella relativa al rapporto con l’istituzione scolastica (vissuto che riguarda la scuola in genere, le richieste, i compiti), seguita dal rapporto con le altre figure (rapporto con i compagni, con gli insegnanti e con i genitori). I soggetti con disagio scolastico hanno riportato in tutte le scale del TMA punteggi significativamente più bassi dei soggetti senza disagio. È emerso un quadro in cui lo studente portatore di disagio scolastico è caratterizzato da una stima di sé, globale e specifica per gli aspetti analizzati, più vulnerabile e fragile dello studente senza disagio. Il calcolo delle correlazioni ha evidenziato correlazioni significative negative tra tutte le scale del TMA e il disagio scolastico. I dati riportati contribuiscono alla conoscenza del fenomeno dropout e forniscono suggerimenti utilizzabili sul piano dell’intervento
La percezione del rischio A.i.d.s.: Automonitoraggio e ricerca di forti sensazioni. In: (a cura di) A. Salvini, C. Fasola. Il Rischio AIDS. Una Ricerca Multicentrica su un Gruppo Sociale ad Elevato Rischio di Contagio.
No full textIl lavoro si propone di valutare le modalità di percezione del rischio in gruppi di soggetti distinti o da variabili di tipo comportamentale, legate alla condotta sessuale, oppure dalla partecipazione ai diversi programmi informativi e formativi di prevenzione nei confronti del rischio di contagio da AIDS. Le variabili considerate attengono ai processi psicologici individuati in letteratura come sottostanti e costitutivi della percezione del rischio e, come tali, analizzabili attraverso opportune scale di rilevazione. I soggetti selezionati sono stati studiati attraverso la somministrazione di strumenti quali le Scale di Automonitoraggio e della Ricerca di Forti Sensazioni, appositamente modificate in base alla caratteristiche del gruppo di ricerca. Le scale si sono rivelate utili per descrivere atteggiamenti e processi di organizzazione cognitivo-simbolici, nella valutazione dei rischi legati a comportamenti estremi e nella costruzione delle interazioni sociali
Personality Traits, Self-Esteem and Academic Achievement in Secondary School Students in Campania, Italy
No full text- …
