1,721,034 research outputs found
Conduché property and Tree-based categories
Full text linkThis paper focuses on a property of enriched functors reflecting the factorisation of morphisms, used in concurrency semantics. According to Lawvere [F.W. Lawvere, State categories and response functors, 1986, Unpublished manuscript], a functor strictly reflecting morphism factorisation induces a notion of state on its domain, when it is considered as a control functor. This intuition works both in case of physical and computing processes [M. Bunge, M.P. Fiore, Unique factorisation lifting functors and categories of linearly-controlled processes, Math. Structures Comput. Sci. 10 (2) 2000 137-163; M.P. Fiore, Fibered models of processes: Discrete, continuous and hybrid systems, in: Proc. of IFIP TCS 2000, in: LNCS, vol. 1872, 2000, pp. 457-473]. In this note we investigate a more general property in the family of models we proposed elsewhere for communicating processes, and we assess their bisimulation relations [S. Kasangian, A. Labella, Observational trees as models for concurrency, Math. Structures. Comput. Sci. 9 (1999) 687-718; R. De Nicola, D. Gorla, A. Labella, Tree-Functors, determinacy and bisimulations, Technical Report, 02/2006, Dip. di Informatica, Univ. di Roma "La Sapienza" (Italy), 2008 (submitted for publication), http://www.dsi.uniroma1.it/%7Egorla/papers/DGL-TR0206.pdf]. Hence, we adapt the notion of "Conduché condition" [F. Conduché, Au sujet de l'existence d'adjoints à droîte aux foncteurs image reciproque dans la catégorie des catégories, C. R. Acad. Sci. Paris 275 (1972) A891-894] to the context of enriched category theory. This notion, weaker than the original "Moebius condition" used by Lawvere, seems to be more suitable for the description of the concurrency models parametrised w.r.t. a base category via the mechanism of change of base, actually. The base category is a monoidal 2-category; a category of generalised trees, T r e e, is obtained from it. We consider Conduché T r e e-based categories, where enrichment reflects factorisation of objects in the base category. We prove that a form of Conduché's theorem holds for Conduché T r e e-functors. We also show how the Conduché condition plays a crucial role in modelling concurrent processes and bisimulations between them. The notions of "state preservation" and "determinacy" [R. Milner, Communication and Concurrency, Prentice Hall International, 1989] are formally characterised. © 2009 Elsevier B.V. All rights reserved
Psicologia clinica e medicina.
No full textL'attuale sistema didattico universitario riconosce l'importante presenza della psicologia clinica in vari corsi di studio della Facoltà medica. La medicina attuale ha iniziato a rendersi conto che il più glabale benessere della persona dipende dall'equilibrio tra la rappresentazione di sè come corpo e quella di sè come mente. La pratica clinica ha infatti dimostrato che i malati, sia "organici" che "funzionali", sono portatori di una sofferenza allo stesso tempo somatica e psicologica. Ne è conseguita una modificazione dell'approccio diagnostico alla patologia del malato, in quanto il senso della sofferenza viene ricercato in una visione multidimensionale in cui si collocano livelli e sistemi differenti di ordine biologico, psicologico e sociale. Ciò richiede che non possano essere trascurate le emozioni del malato, che vengono comunicate all'interno della relazione medico-paziente. Imparare a cogliere la natura della relazione, a gestirla, sapere come comunicare è importante per il medico anche per la somministrazione della terapia. Diviene perciò fondamentale l'integrazione tra approccio medico e quelo psicologico. Il passaggio a una visione integrata della sofferenza del malato deve essere graduale. Un primo obiettivo è aiutare il medico a considerare l'importanza della relazione e dei processi comunicativi. L'approccio integrato , prima di costituire una proposta esplicita, deve essere innanzitutto una prospettiva interiore di chi cura
Process synchronisation as fusion
No full text“Process algebras based on the notion of concurrent processes cooperating on common
actions are commonplace in the literature. Here we give a categorical model of such a notion of
interprocess synchronisation, and indicate howit can be extended to a model of full process algebra.
Our main tool is the notion of bimodule over an enriched category: this turns out to be precisely the
machinery needed to fuse the behaviours of processes together and thus describe synchronisation.
Maximal (CSP-style) synchronisation can then be given a universal characterisation.
A parallel computing model via pictures in an enriched-categorical context
No full textAn example of internal-valued non parallel computing via graphical representable elements is given
in [1].
We want to use a similar approach to model intrinsically parallel computing, maintaining, at the
same time, analogies with the communicating process approach [2].
It has been shown that a suitable topos of (pre)sheaves can provide a good semantics for communicating
processes whose computations are labeled from an alphabet of elementary moves L (see
e.g. [3]). Alternatively, a semantics for them can be provided by considering an “enrichment” [4] on
a category of trees, obtained from the 2-category L built up from L, using concatenation [5]. The
two approaches are not in opposition, because one can show that, under suitable conditions, a tree is
a presentation of a sheaf over the space defined by its labeling monoid L (the base 2-category) [6].
Nonetheless, this second point of view allows us to consider objects in L as observers labeling computations
as well as particular truth-values in the corresponding topos of sheaves. Another nice feature
of this second approach is that we can vary the nature of these elements, and all the construction will
change parametrically; e. g. L need not be a free meet-semilattice monoid [5].
In the present paper we make a further step and substitute elementary moves by pointed (multidimensional)
pictures considered in [7], concatenated via the overlapping operation. As a consequence
a single pointed (multidimensional) picture, considered as a coding of some data, becomes an elementary
observation/computation move, and a computation will be labeled through a suitable overlapping
of such things. The corresponding truth-values system will be of a great flexibility, exploiting the shape
of the image in the picture as well as its definiteness degree
The notion of state and models for interaction, categorically
No full textIn a previous work we have investigated the world of TreeL-categories, where L is a meetsemilattice
monoid, with particular attention to lifting factorization properties for TreeL-functors.
Our method consisted in lifting constructions as far as possible through the different levels
of our structures, namely: the lp 2-category L, the monoidal category TreeL of symmetric L-
categories and TreeL-Cat. We did apply the same method to the factorization reflection property
in order to shift Conduch ́e’s theorem in this enriched setting. In this context we did prove the
equivalence between the existence of a right adjoint to the inverse image functor and the factorization
reflection property. The further condition imposing that we have to consider only Conduch ́e
enrichments is trivially satisfied in the Set case, when enriched categories are ordinary categories.
In fact Set is a category of trees on the trivial meet-semilattice monoid I, freely generated by the
empty set [17]. There, no factorization in the sense of Definition 2 is possible.
TreeL-categories are particularly useful in modeling non-deterministic concurrent processes;
in particular BehL is a powerful tool to represent operational semantics, both in the case of interleaving
and true concurrent approach
Evoluzione delle competenze IT degli studenti frequentanti il primo anno di un corso universitario nell'anno 2002 e nel 2007.
No full textIl lavoro riporta molti interessanti risultati di un'idagine effettuata somministrando uno stesso questionario a due distinti campioni di studenti universitari frequentanti il primo anno di un corso universitario di una Facoltà di Economia, rispettivamente, nell'anno 2002 e nel 2007. Lo studio propone una strategia metodologica per effettuare opportuni confronti statistici retrospettivi al fine di valutare l'eventuale evoluzione delle risorse e competenze IT pre-universitarie possedute dagli studenti al momento dell'accesso all'Università
Valutazione psicodiagnostica e psicoterapia in età evolutiva
No full textLa valutazione della sofferenza psicologica in età prescolare e scolare necessita di strumenti sensibili che siano al contempo rispettosi e non intrusivi per i piccoli pazienti.
La complessità della valutazione psicodiagnostica in età evolutiva ha spinto i ricercatori a sottolineare la centralità del concetto di sviluppo nella comprensione dei bambini e degli adolescenti. Ciò ha portato a scartare classificazioni nosografiche derivate dalla psicopatologia dell’adulto, privilegiando valutazioni che tengono conto della specificità della psiche infantile, dei processi di cambiamento e della dimensione prognostica insita nella diagnosi. Questi aspetti implicano l’utilizzo di strumenti valutativi validi e attendibili che tengano al contempo conto del complesso processo relazionale che coinvolge bambino/adulto/psicologo clinico e che sottolinea l’importanza delle modalità narrative che emergono durante la valutazione diagnostica .
Nella pratica clinica dell’età evolutiva gli strumenti proiettivi sono particolarmente diffusi e riconosciuti come idonei a tale scopo e in specifico quelli di tipo grafico.
In tale contesto si inserisce la Tecnica delle Storie Disegnate di G. Trombini, basata sulla dimensione narrativa prevalentemente non verbale e pertanto particolarmente adeguata in quanto consona alle caratteristiche affettivo-cognitive del bambino.
Tale metodo prevede una modifica, rispetto alle altre tecniche grafiche, nella modalità di somministrazione e nella consegna che viene suggerita al bambino, al quale viene chiesto di creare una storia sotto forma di sequenza grafica.
La Storia disegnata può essere valutata secondo precise categorie (Esito Positivo o Negativo)
La ricerca e la pratica clinica hanno messo in luce come, con bambini di età prescolare e scolare, il disagio psichico che sostiene i sintomi viene rappresentato, durante la valutazione psicodiagnostica, da storie che terminano con esito negativo, mentre il progresso della terapia e la normalizzazione dei sintomi coincidono con la raffigurazione di storie che si concludono con esito positivo. Ciò trova riscontro anche nei risultati dell’applicazione delle Storie disegnate nella popolazione normale.
Nell’ambito della psicologia clinica dell’età evolutiva l’impiego della tecnica delle Storie Disegnate offre allo psicologo clinico la possibilità di individuare e comprendere: 1) il grado di sofferenza del bambino (tramite il contenuto e l'esito della storia); 2)la sua capacità di elaborazione (attraverso il susseguirsi delle storie presentate); 3) le eventuali difficoltà in tale processo di elaborazione (per esempio quando il bambino non riesce a narrare una storia oppure ha difficoltà a portarla a termine); 4) le relazioni intrapsichiche del bambino (attraverso le rappresentazioni delle relazioni dei personaggi disegnati).
Tale tecnica fornisce perciò preziose indicazioni per meglio valutare la sofferenza del piccolo paziente, permettendo al contempo di trovare uno spazio comune di comunicazione, di condivisione e di elaborazione maturativa.
Per queste caratteristiche le Storie Disegnate possono essere impiegate non solo in fase psicodiagnostica ma anche in quella psicoterapeutica, sia in setting pubblici e/o privati, sia anche in tutti quegli ambiti ospedalieri in cui si debba far fronte alla sofferenza psichica collegata a patologie somatiche gravi in età evolutiva
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe 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
- …
