Higher-Order Concurrency: Expressiveness and Decidability Results

Higher-order process calculi are formalisms for concurrency in which processes can be passed around in communications. Higher-order (or process-passing) concurrency is often presented as an alternative paradigm to the first order (or name-passing) concurrency of the pi-calculus for the description of mobile systems. These calculi are inspired by, and formally close to, the lambda-calculus, whose basic computational step ---beta-reduction--- involves term instantiation. The theory of higher-order process calculi is more complex than that of first-order process calculi. This shows up in, for instance, the definition of behavioral equivalences. A long-standing approach to overcome this burden is to define encodings of higher-order processes into a first-order setting, so as to transfer the theory of the first-order paradigm to the higher-order one. While satisfactory in the case of calculi with basic (higher-order) primitives, this indirect approach falls short in the case of higher-order process calculi featuring constructs for phenomena such as, e.g., localities and dynamic system reconfiguration, which are frequent in modern distributed systems. Indeed, for higher-order process calculi involving little more than traditional process communication, encodings into some first-order language are difficult to handle or do not exist. We then observe that foundational studies for higher-order process calculi must be carried out directly on them and exploit their peculiarities. This dissertation contributes to such foundational studies for higher-order process calculi. We concentrate on two closely interwoven issues in process calculi: expressiveness and decidability. Surprisingly, these issues have been little explored in the higher-order setting. Our research is centered around a core calculus for higher-order concurrency in which only the operators strictly necessary to obtain higher-order communication are retained. We develop the basic theory of this core calculus and rely on it to study the expressive power of issues universally accepted as basic in process calculi, namely synchrony, forwarding, and polyadic communication.

Relazione gestante-feto, modalità del parto e sviluppo fisico del bambino

Extensive literature outlined that the quality of the mother-foetus relationship is considered the main feature with regard to the quality of postnatal mother-infant interaction and also to the child’s psychical development. Nowadays the relationship between the pregnant woman and her foetus is viewed as the central factor of the somatic dialogue between the functioning of the maternal and the foetal organisms. This dialogue is responsible for the physic development of the child, as well as of its psychosomatic structure. Therefore the research area has necessarily had to extend to the analysis of psychological processes concerning: the pregnancy, the couple that is bound by parenthood, the influence of intergenerational dynamics. In fact, the formation of maternal identity, as well as that of the relationship between the woman and the foetus, refers to the pregnant woman’s relationship with her parents, especially with her mother. The same pregnancy, considered as a psychosomatic event, is directly influenced by relational, affective and social factors, particularly by the quality of the interiorized parental relations and the quality of the current relationships (such as that with her partner and with her family of origin). Some studies have begun to investigate the relationship between the pregnant woman and the foetus in term of “prenatal attachment” and its relationship with socio-demographic, psychological e psychopathological aspects (such as pre and post partum depression), but the research area is still largely unexplored. The present longitudinal research aimed to investigate the quality of the pregnant womanfoetus relationship by the prenatal attachment index, the quality of the interiorized relationship with woman’s parents, the level of alexithymic features and maternity social support, in relation with the modulation of the physiology of delivery and of postpartum, as well as of the physical development of the child. A consecutive sample of 62 Italian primipara women without any kind of pathologies, participated in the longitudinal study. In the first phase of this study (third trimester of the pregnancy), it has investigated the psychological processes connected to the affective investment of the pregnant women towards the unborn baby (by Prenatal Attachment Inventory), the mothers’ interiorized relationship with their own parents (by Parental Bonding Instrument), the social and affective support from their partner and their family of origin are able to supply (by Maternity Social Support Scale), and the level of alexithymia (by 20-Toronto Alexithymia Scale). In the second phase of this study, some data concerning the childbirth course carried out from a “deliverygram” (such as labour, induction durations and modalities of delivery) and data relative to the newborns state of well-being (such as Apgar and pH indexes). Finally, in the third phase of the study women have been telephoned a month after the childbirth. The semistructured interview investigated the following areas: the memory concerning the delivery, the return to home, the first interactions between the mother and the newborn, the breastfeeding, the biological rhythms achieved from newborns. From the data analysis a sample with a good level of prenatal attachment and of support social and a good capability to mental functioning emerged. An interesting result is that the most of the women have a great percentage of “affectionless control style” with both parents, but data is not sufficient to interpret this result. Moreover, considering the data relative to the delivery, medical and welfare procedures, that have been necessary, are coherent with the Italian mean, while the percentage of the caesarean section (12.9%) is inferior to the national percentage (30%). The 29% of vaginal partum has got epidural analgesia, which explains the high number (37%) of obstetrician operations (such as Kristeller). The data relative to the newborn (22 male, 40 female) indicates a good state of well-being because Apgar and pH indexes are superior to 7 at first and fifth minutes. Concerning the prenatal phase, correlation analysis showed that: the prenatal attachment scores positively correlated with the expected social support and negatively correlated with the “externally oriented thinking” dimension of alexithymia; the maternity social support negatively correlated with total alexithymia score, particularly with the “externally oriented thinking” dimension, and negatively correlated with maternal control of parental bonding. Concerning the delivery data, there are many correlations (after all obvious) among themselves. The most important are that the labour duration negatively correlated with the newborn’s index state of well-being. Finally, concerning the data from the postpartum phase the women’ assessments relative to the partum negatively correlated with the duration of the delivery and positively correlated with the assessment relative to the return to home and the interaction with the newborn. Moreover the length of permanence in the hospital negatively correlated with women’s assessments relative to the return to home that, in turn, positively correlated with the quality of breastfeeding, the interaction between the mother and the newborn and the biological regulation of the child. Finally, the women’ assessments relative to breastfeeding positively correlated with the mother-child interactions and the biological rhythms of children. From the correlation analysis between the variables of the prenatal phase and the data relative to the delivery, emerged that the prenatal attachment scores positively correlated with the dilatation stage scores and with the newborn’s Apgar index at first minute, the paternal care dimension of parental bonding positively correlated with the lengths of the various periods of childbirth like so the paternal control dimension with placental stage. Moreover, emerged that the expected social support positively correlated with the lengths of the various periods of childbirth and that the global alexithymia scores, particularly “difficulty to describe emotions” dimension, negatively correlated with total childbirth scores. From the correlation analysis between the variables of the prenatal phase and variable of the postpartum phase emerged that the total alexithymia scores positively correlated with the time elapsed from the childbirth to the breastfeeding of the child, the difficulty to describe emotions dimension of the alexithymia negatively correlated with the quality of the breastfeeding, the “externally oriented thinking” dimension of the alexithymia negatively correlated with mother-child interactions, and finally the paternal control dimension of the parental bonding negatively correlated with the time elapsed from the child to the breastfeeding of the child. Finally, from the analysis of the correlation between the data of the partum and the women’s assessments of the postpartum phase, emerged the negative correlation between the woman’s assessment relative to the delivery and the quantitative of obstetrician operations and the lengths of the various periods of childbirth, the positive correlation between the women’s assessment about the length of delivery periods and the real lengths of the same ones, the positive relation between woman’s assessment relative to the delivery and the Apgar index of children. In conclusion, there is a remarkable relation between the quality of the relationship the woman establishes with the foetus that influences the course of the pregnancy and the delivery that, in turn, influences the postpartum outcome, particularly relative to the mother-children relationship. Such data should be confirmed by heterogeneous populations in order to identify vulnerable women and to project focused intervention.

Evaluation of fluid transport processes in dental enamel. Methods to assess the relevance of enamel permeability in caries prevention and etching treatments.

This thesis evaluated in vivo and in vitro enamel permeability in different physiological and clinical conditions by means of SEM inspection of replicas of enamel surface obtained from polyvinyl siloxane impressions subsequently later cast in polyether impression ma-terial. This technique, not invasive and risk-free, allows the evaluation of fluid outflow from enamel surface and is able to detect the presence of small quantities of fluid, visu-alized as droplets. Fluid outflow on enamel surface represents enamel permeability. This property has a paramount importance in enamel physiolgy and pathology although its ef-fective role in adhesion, caries pathogenesis and prevention today is still not fully under-stood. The aim of the studies proposed was to evaluate enamel permeability changes in differ-ent conditions and to correlate the findings with the actual knowledge about enamel physiology, caries pathogenesis, fluoride and etchinhg treatments. To obtain confirmed data the replica technique has been supported by others specific techniques such as Ra-man and IR spectroscopy and EDX analysis. The first study carried out visualized fluid movement through dental enamel in vivo con-firmed that enamel is a permeable substrate and demonstrated that age and enamel per-meability are closely related. Examined samples from subjects of different ages showed a decreasing number and size of droplets with increasing age: freshly erupted permanent teeth showed many droplets covering the entire enamel surface. Droplets in permanent teeth were prominent along enamel perikymata. These results obtained through SEM inspection of replicas allowed innovative remarks in enamel physiology. An analogous testing has been developed for evaluation of enamel permeability in primary enamel. The results of this second study showed that primary enamel revealed a substantive permeability with droplets covering the entire enamel sur-face without any specific localization accordingly with histological features, without changes during aging signs of post-eruptive maturation. These results confirmed clinical data that showed a higher caries susceptibility for primary enamel and suggested a strong relationship between this one and enamel permeability. Topical fluoride application represents the gold standard for caries prevention although the mechanism of cariostatic effect of fluoride still needs to be clarified. The effects of topical fluoride application on enamel permeability were evaluated. Particularly two dif-ferent treatments (NaF and APF), with different pH, were examined. The major product of topical fluoride application was the deposition of CaF2-like globules. Replicas inspec-tion before and after both treatments at different times intervals and after specific addi-tional clinical interventions showed that such globule formed in vivo could be removed by professional toothbrushing, sonically and chemically by KOH. The results obtained in relation to enamel permeability showed that fluoride treatments temporarily reduced enamel water permeability when CaF2-like globules were removed. The in vivo perma-nence of decreased enamel permeability after CaF2 globules removal has been demon-strated for 1 h for NaF treated teeth and for at least 7 days for APF treated teeth. Important clinical consideration moved from these results. In fact the caries-preventing action of fluoride application may be due, in part, to its ability to decrease enamel water permeability and CaF2 like-globules seem to be indirectly involved in enamel protection over time maintaining low permeability. Others results obtained by metallographic microscope and SEM/EDX analyses of or-thodontic resins fluoride releasing and not demonstrated the relevance of topical fluo-ride application in decreasing the demineralization marks and modifying the chemical composition of the enamel in the treated area. These data obtained in both the experiments confirmed the efficacy of fluoride in caries prevention and contribute to clarify its mechanism of action. Adhesive dentistry is the gold standard for caries treatment and tooth rehabilitation and is founded on important chemical and physical principles involving both enamel and dentine substrates. Particularly acid etching of dental enamel enamel has usually employed in bonding pro-cedures increasing microscopic roughness. Different acids have been tested in the litera-ture suggesting several etching procedures. The acid-induced structural transformations in enamel after different etching treatments by means of Raman and IR spectroscopy analysis were evaluated and these findings were correlated with enamel permeability. Conventional etching with 37% phosphoric acid gel (H3PO4) for 30 s and etching with 15 % HCl for 120 s were investigated. Raman and IR spectroscopy showed that the treatment with both hydrochloric and phosphoric acids induced a decrease in the carbonate content of the enamel apatite. At the same time, both acids induced the formation of HPO42- ions. After H3PO4 treatment the bands due to the organic component of enamel decreased in intensity, while in-creased after HCl treatment. Replicas of H3PO4 treated enamel showed a strongly reduced permeability while replicas of HCl 15% treated samples showed a maintained permeability. A decrease of the enamel organic component, as resulted after H3PO4 treatment, involves a decrease in enamel permeability, while the increase of the organic matter (achieved by HCl treat-ment) still maintains enamel permeability. These results suggested a correlation between the amount of the organic matter, enamel permeability and caries. The results of the different studies carried out in this thesis contributed to clarify and improve the knowledge about enamel properties with important rebounds in theoretical and clinical aspects of Dentistry.

Crustal heterogeneities and complexities of fault processes

In this work we study the relation between crustal heterogeneities and complexities in fault processes. The first kind of heterogeneity considered involves the concept of asperity. The presence of an asperity in the hypocentral region of the M = 6.5 earthquake of June 17-th, 2000 in the South Iceland Seismic Zone was invoked to explain the change of seismicity pattern before and after the mainshock: in particular, the spatial distribution of foreshock epicentres trends NW while the strike of the main fault is N 7◦ E and aftershocks trend accordingly; the foreshock depths were typically deeper than average aftershock depths. A model is devised which simulates the presence of an asperity in terms of a spherical inclusion, within a softer elastic medium in a transform domain with a deviatoric stress field imposed at remote distances (compressive NE − SW, tensile NW − SE). An isotropic compressive stress component is induced outside the asperity, in the direction of the compressive stress axis, and a tensile component in the direction of the tensile axis; as a consequence, fluid flow is inhibited in the compressive quadrants while it is favoured in tensile quadrants. Within the asperity the isotropic stress vanishes but the deviatoric stress increases substantially, without any significant change in the principal stress directions. Hydrofracture processes in the tensile quadrants and viscoelastic relaxation at depth may contribute to lower the effective rigidity of the medium surrounding the asperity. According to the present model, foreshocks may be interpreted as induced, close to the brittle-ductile transition, by high pressure fluids migrating upwards within the tensile quadrants; this process increases the deviatoric stress within the asperity which eventually fails, becoming the hypocenter of the mainshock, on the optimally oriented fault plane. In the second part of our work we study the complexities induced in fault processes by the layered structure of the crust. In the first model proposed we study the case in which fault bending takes place in a shallow layer. The problem can be addressed in terms of a deep vertical planar crack, interacting with a shallower inclined planar crack. An asymptotic study of the singular behaviour of the dislocation density at the interface reveals that the density distribution has an algebraic singularity at the interface of degree ω between -1 and 0, depending on the dip angle of the upper crack section and on the rigidity contrast between the two media. From the welded boundary condition at the interface between medium 1 and 2, a stress drop discontinuity condition is obtained which can be fulfilled if the stress drop in the upper medium is lower than required for a planar trough-going surface: as a corollary, a vertically dipping strike-slip fault at depth may cross the interface with a sedimentary layer, provided that the shallower section is suitably inclined (fault "refraction"); this results has important implications for our understanding of the complexity of the fault system in the SISZ; in particular, we may understand the observed offset of secondary surface fractures with respect to the strike direction of the seismic fault. The results of this model also suggest that further fractures can develop in the opposite quadrant and so a second model describing fault branching in the upper layer is proposed. As the previous model, this model can be applied only when the stress drop in the shallow layer is lower than the value prescribed for a vertical planar crack surface. Alternative solutions must be considered if the stress drop in the upper layer is higher than in the other layer, which may be the case when anelastic processes relax deviatoric stress in layer 2. In such a case one through-going crack cannot fulfil the welded boundary conditions and unwelding of the interface may take place. We have solved this problem within the theory of fracture mechanics, employing the boundary element method. The fault terminates against the interface in a T-shaped configuration, whose segments interact among each other: the lateral extent of the unwelded surface can be computed in terms of the main fault parameters and the stress field resulting in the shallower layer can be modelled. A wide stripe of high and nearly uniform shear stress develops above the unwelded surface, whose width is controlled by the lateral extension of unwelding. Secondary shear fractures may then open within this stripe, according to the Coulomb failure criterion, and the depth of open fractures opening in mixed mode may be computed and compared with the well studied fault complexities observed in the field. In absence of the T-shaped decollement structure, stress concentration above the seismic fault would be difficult to reconcile with observations, being much higher and narrower.

New catalytic processes for the upgrading of furfural and 5-hydroxymethylfurfural to chemicals and fuels

The demand of energy, fuels and chemicals is increasing due to the strong growth of some countries in the developing world and the development of the world economy. Unfortunately, the general picture derived sparked an exponential increase in crude oil prices with a consequent increase of the chemical, by-products and energy, depleting the global market. Nowadays biomass are the most promising alternative to fossil fuels for the production of chemicals and fuels. In this work, the development of three different catalytic processes for the valorization of biomass-derived has been investigated. 5-hydroxymethylfurfural oxidation was studied under mild reaction condition using gold and gold/copper based catalysts synthetized from pre-formed nanoparticles and supported onto TiO2 and CeO2. The analysis conducted on catalysts showed the formation of alloys gold/copper and a strong synergistic effect between the two metals. For this reason the bimetallic catalysts supported on titania showed a higher catalytic activity respect to the monometallic catalysts. The process for the production of 2,5-bishydroxymethyl furan (BHMF) was also optimized by means the 5-hydroxymethylfurfural hydrogenation using the Shvo complex. Complete conversion of HMF was achieved working at 90 °C and 10 bar of hydrogen. The complex was found to be re-usable for at least three catalytic cycles without suffering any type of deactivation. Finally, the hydrogenation of furfural and HMF was carried out, developing the process of hydrogen transfer by using MgO as a catalyst and methanol as a hydrogen donor. Quantitative yields to alcohols have been achieved in a few hours working in mild condition: 160 °C and at autogenous pressure. The only by-products formed were light products such as CO, CO2 and CH4 (products derived from methanol transformation), easily separable from the reaction solution depressurizing the reactor.

The relationship between eating behavior and psychological distress among overweight and obese people: is there a role for mindfulness?

This research based on 3 indipendent studies, sought to explore the nature of the relationship between overweight/obesity, eating behaviors and psychological distress; the construct of Mindful eating trough the validation of the Italian adaptation of the Mindful Eating Questionnaire (MEQ); the role of mindfulnessand mindful eating as respectively potential mediator and moderator between overeating behavior (binge eating and emotional overeating) and negative outcomes (psychological distress, body dissatisfaction). All the samples were divided in normal weight, overweight and obese according to BMI categories. STUDY1: In a sample of 691 subjects (69.6% female, mean aged 39.26 years) was found that BMI was not associated with psychological distress, whereas binge eating increases the psychopathological level. BMI and male gender represent negative predictors of psychological distress, but certain types of overeating (i.e., NES/grazing, overeating during or out of meals, and guilt/restraint) result as positive predictors.. STUDY 2 : A sample of 1067 subjects (61.4% female, mean aged 34 years) was analized. The Italian MEQ resulted in a 26-item 4-factor model measuring Disinhibition, Awareness, Distraction, and Emotional response. Internal consistency and test-retest reliability were acceptable MEQ correlated positively with mindfulness (FMI) and it was associated with sociodemographic variables, BMI, meditation. type of exercise and diet. STUDY 3, based on a sample of 502 subjects (68.8% female, mean aged 39.42 years) showed that MEQ and FMI negatively correlated with BES, EOQ, SCL-90-R, and BIAQ. Obese people showed lower level of mindful eating and higher levels of binge eating, emotional overeating, and body dissatisfaction, compared to the other groups Mindfulness resulted to partially mediates the relationship between a) binge eating and psychological distress, b) emotional overeating and psychological distress, c) binge eating and mental well-being, d) emotional overeating and menal well-being. Mindful eating was a moderator only in the relationship between emotional overeating and body dissatisfaction.