Proof theory of the calculus of relations

Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2019-2020, Tutor: Paolo MaffezioliThe calculus of relations is a rich discipline that spanned much of the history of symbolic logic, with contributions ranging from De Morgan to Tarski. Yet not much is known about the proof theory for the calculus of relations. For example, a sequent calculus developed by Maddux has the shortcoming of not being cut-free. In this work we will develop a sequent calculus that is cut-free. To do this we will use a procedure developed by Negri & von Plato to transform geometric theories into rules for a sequent calculus

Honeybees' physiological and behavioural immunity deficit induced by DW Viruses

Item does not contain fulltextThe purpose of the present study was to determine the effect of a spinal cord injury (SCI) on resting vascular resistance in paralyzed legs in humans. To accomplish this goal, we measured blood pressure and resting flow above and below the lesion (by using venous occlusion plethysmography) in 11 patients with SCI and in 10 healthy controls (C). Relative vascular resistance was calculated as mean arterial pressure in millimeters of mercury divided by the arterial blood flow in milliliters per minute per 100 milliliters of tissue. Arterial blood flow in the sympathetically deprived and paralyzed legs of SCI was significantly lower than leg blood flow in C. Because mean arterial pressure showed no differences between both groups, leg vascular resistance in SCI was significantly higher than in C. Within the SCI group, arterial blood flow was significantly higher and vascular resistance significantly lower in the arms than in the legs. To distinguish between the effect of loss of central neural control vs. deconditioning, a group of nine SCI patients was trained for 6 wk and showed a 30% increase in leg blood flow with unchanged blood pressure levels, indicating a marked reduction in vascular resistance. In conclusion, vascular resistance is increased in the paralyzed legs of individuals with SCI and is reversible by training

A Study on the Reliability of an On-Site Oral Fluid Drug Test in a Recreational Context

The reliability of DrugWipe 5A on site test for principal drugs of abuse (cannabis, amphetamines, cocaine, and opiates) detection in oral fluid was assessed by comparing the on-site results with headspace solid-phase microextraction (HS-SPME) gas chromatography-mass spectrometry (GC-MS) analysis on samples extracted by the device collection pad. Oral fluid samples were collected at recreational settings (e.g., discos, pubs, and music bars) of Rome metropolitan area. Eighty-three club goers underwent the on-site drug screening test with one device. Independently from the result obtained, a second device was used just to collect another oral fluid sample subsequently extracted and analyzed in the laboratory following HS-SPME procedure, gas chromatographic separation by a capillary column, and MS detection by electron impact ionization. DrugWipe 5A on-site test showed 54 samples (65.1%) positive to one or more drugs of abuse, whereas 75 samples (90.4%) tested positive for one or more substances following GC-MS assay. Comparing the obtained results, the device showed sensitivity, specificity, and accuracy around 80% for amphetamines class. Sensitivity (67 and 50%) was obtained for cocaine and opiates, while both sensitivity and accuracy were unsuccessful (29 and 53%, resp.) for cannabis, underlying the limitation of the device for this latter drug class

Relationship between People's Interest in Medication Adherence, Health Literacy, and Self-Care: An Infodemiological Analysis in the Pre- and Post-COVID-19 Era

The prevalence of non-communicable diseases has risen sharply in recent years, particularly among older individuals who require complex drug regimens. Patients are increasingly required to manage their health through medication adherence and self-care, but about 50% of patients struggle to adhere to prescribed treatments. This study explored the relationship between interest in medication adherence, health literacy, and self-care and how it changed during the COVID-19 pandemic. We used Google Trends to measure relative search volumes (RSVs) for these three topics from 2012 to 2022. We found that interest in self-care increased the most over time, followed by health literacy and medication adherence. Direct correlations emerged between RSVs for medication adherence and health literacy (r = 0.674, p < 0.0001), medication adherence and self-care (r = 0.466, p < 0.0001), and health literacy and self-care (r = 0.545, p < 0.0001). After the COVID-19 pandemic outbreak, interest in self-care significantly increased, and Latin countries showed a greater interest in self-care than other geographical areas. This study suggests that people are increasingly interested in managing their health, especially in the context of the recent pandemic, and that infodemiology may provide interesting information about the attitudes of the population toward chronic disease management

Phosphate binding by a novel Zn(II) complex featuring a trans-1,2-diaminocyclohexane ligand. Effective anion recognition in water

Excellent affinities and selectivities toward triphosphates are achieved through an adaptive ditopic receptor featuring a metal ion and a macrocyclic polyammonium cation binding sites, concertedly bridging phosphate anions

Case Report: Occupational therapy in a patient with an overgrowth syndrome that restricts movement

Background: Overgrowth syndromes are a heterogeneous group of conditions characterized by excessive body growth - localized or generalized - commonly associated with various malformities and an increased oncological risk. Case report: Here we present the case of a 57-year old man, employed in an office, who suffers from an asymmetric overgrowth of the lower limbs. Currently the patient presents malformations of the lower left arm (hip, knee and ankle), evident on the articular and periarticular level, where there are diffuse exostoses. This case discusses the main occupational concerns relating to the patient's workspace at a high floor level that could create critical issues in the event of an emergency exodus. Given the impossibility of placing the patient in heavy manual activities, employment is limited to office activities. Adjustments were carried out at the patient's workstation, and thus the patient has been recognized as fit to work. Increased frequency of breaks were prescribed in order to allow the physiological alternation of postures. Conclusions: In cases of overgrowth syndromes, the exact identification of the limitations presented by the patient and observations about ambulatory functions must be carefully evaluated in order to modulate the work environment

Influence of Nanoaggregation Routes on the Structure and Thermal Behavior of Multiple-Stimuli-Responsive Micelles from Block Copolymers of Oligo(ethylene glycol) Methacrylate and the Weak Acid [2-(Hydroxyimino)aldehyde]butyl Methacrylate

In this work, we compare nanoaggregation driven by pH-induced micellization (PIM) and by the standard solvent displacement (SD) method on a series of pH-, light-, and thermosensitive amphiphilic block copolymers. Specifically, we investigate poly(HIABMA)-b-poly(OEGMA) and poly(HIABMA)-b-poly(DEGMA-r-OEGMA), where HIABMA = [(hydroxyimino)aldehyde]butyl methacrylate, OEGMA = oligo(ethylene glycol)methyl ether methacrylate, and DEGMA = di(ethylene glycol)methyl ether methacrylate. The weakly acidic HIA group (pKa ≈ 8) imparts stability to micelles at neutral pH, unlike most of the pH-responsive copolymers investigated in the literature. With SD, only some of our copolymers yield polymeric micelles (34-59 nm), and their thermoresponsivity is either poor or altogether absent. In contrast, PIM affords thermoresponsive, smaller micelles (down to 24 nm), regardless of the polymer composition. In some cases, cloud points are remarkably well defined and exhibit limited hysteresis. By combining turbidimetric, dyamic light scattering, and small-angle X-ray scattering measurements, we show that SD yields loose micelles with POEGMA segments partly involved in the formation of the hydrophobic core, whereas PIM yields more compact core-shell micelles with a well-defined PHIABMA core. We conclude that pH-based nanoaggregation provides advantages over block-selective solvation to obtain compact micelles exhibiting well-defined responses to external stimuli

Design and Multiphysics Analysis of Direct and Cross-Coupled SIW Combline Filters Using Electric and Magnetic Couplings

In this paper, combline substrate integrated waveguide (SIW) filters using electric and magnetic couplings are thoroughly studied. Thus, a negative coupling scheme consisting on an open-ended coplanar probe is proposed and analyzed in detail. Several in-line 3-pole filters at C-band are designed, manufactured and measured showing how the presented approach can be used for implementing direct couplings while enabling an important size reduction and improved spurious-free band compared to conventional magnetic irises. A fully-packaged quasi-elliptic 4-pole filter is also designed at 5.75 GHz showing how the negative coupling structure can be used for introducing transmission zeros by means of cross-couplings between non-adjacent resonators. Finally, average and peak power handling capabilities of these filters have been also analyzed from a multiphysics point of view. Measured results validate the theoretical predictions confirming that combline SIW filters can handle significant levels of continuous and peak power, providing at the same time easy integration, compact size and advanced filtering responses.This work was supported in part by MINECO (Spanish Government) under projects TEC2013-47037-C5-1-R and TEC2013-48036-C3-3-R. This paper is an expanded version from the IEEE MTT-S International Microwave Symposium, Phoenix, AZ, USA, May 17-22, 2015.Sirci, S.; Sánchez Soriano, MÁ.; Martínez Pérez, JD.; Boria Esbert, VE.; Gentili, F.; Boesch, W.; Sorrentino, R. (2015). Design and Multiphysics Analysis of Direct and Cross-Coupled SIW Combline Filters Using Electric and Magnetic Couplings. IEEE Transactions on Microwave Theory and Techniques. 63(12):4341-4354. doi:10.1109/TMTT.2015.2495287S43414354631