Algebraic Techniques for Circuit Verification

In this thesis we describe some computer algebra techniques for the formal verification of logic or arithmetic circuits

MEC: A Mesoscale events classifier for oceanographic imagery

The observation of the sea through remote sensing technologies plays a fundamentalan role in understanding the state of health of marine fauna species and their behaviour. Mesoscale phenomena, such as upwelling, countercurrents, and filaments, are essential processes to be analysed because their occurrence involves, among other things, variations in the density of nutrients, which, in turn, influence the biological parameters of the habitat. Indeed, there is a connection between the biogeochemical and physical processes that occur within a biological system and the variations observed in its faunal populations. This paper concerns the proposal of an automatic classification system, namely the Mesoscale Events Classifier, dedicated to the recognition of marine mesoscale events. The proposed system is devoted to the study of these phenomena through the analysis of sea surface temperature images captured by satellite missions, such as EUMETSAT’s Metop and NASA’s Earth Observing System programmes. The classification of these images is obtained through (i) a preprocessing stage with the goal to provide a simultaneous representation of the spatial and temporal properties of the data and enhance the salient features of the sought phenomena, (ii) the extraction of temporal and spatial characteristics from the data and, finally, (iii) the application of a set of rules to discriminate between different observed scenarios. The results presented in this work were obtained by applying the proposed approach to images acquired in the southwestern region of the Iberian peninsula.info:eu-repo/semantics/publishedVersio

Identification and quantification of polystyrene microplastics in marine sediments facing a river mouth through NMR spectroscopy

Accurate identification and quantification of microplastic pollution in marine sediments are crucial for assessing their ecological impact. In this study, we explored the potential of Nuclear Magnetic Resonance (NMR) spectroscopy as an analytical tool for the analysis of microplastics in complex environmental matrices such as marine sediments. Two common plastic polymers, polystyrene (PS) and acrylonitrile butadiene styrene (ABS), were investigated. The marine sediments facing the Tiber River mouth (Italy) were collected according to a bathy-metric gradient. Results demonstrated the successful detection and quantification of PS in all sediment samples (within a range of 12.3-64.6 mu g/L), while no ABS significant signals were found. An increment trend with depth was observed in the PS signal, relatable to its physicochemical properties and the Tiber River plume hydrodynamic characteristics. The NMR's non-destructive nature and minimal sample preparation represent a promising avenue for standardizing protocols to assess the microplastic distribution and impact in marine sediments

Clinical and Clinico-Pathological Observations of the Erythrocyte Sedimentation Rate in Dogs Affected by Leishmaniosis and Other Inflammatory Diseases

The erythrocyte sedimentation rate (ESR) has been used in canine medicine in several disorders, above all, to evaluate levels of inflammation. This study evaluated the ESR in canine leishmaniosis (CanL) and other inflammatory conditions. Three groups of dogs were examined: CanL affected dogs without clinical signs (INFECTED group, #25) or with clinical signs (SICK group, #43) and dogs affected by acute or acute-on-chronic conditions (OTHER DISEASE group, #65). The ESR was compared with acute phase proteins or reactants either positive or negative (leukogram, fibrinogen, iron, unsaturated iron binding capacity, ferritin, haptoglobin, and albumin) and immunological markers (gamma-globulins, IgG, and IgM). The ESR was higher in the SICK group than in the INFECTED group (median 39 vs. 11 mm/h; p 0.05). The extent of changes in ESR can help to establish the severity of CanL and other inflammatory disorders. As a point-of-care test, the ESR can be used to screen dogs for unhealthy conditions, and its values correlate with the severity of any disease, including CanL

Effects of Metabolic Syndrome on Parkinson’s Disease and Nutraceutical Intervention Strategies

Hyperglycemia, insulin resistance disturbances, and other common metabolic syndrome signs are currently related to a poor outcome of Parkinson disease. There were no widely accepted nutritional intervention protocols approved for Parkinson’s disease. That author exposes a brief revision of the role of insulin resistance and glycemic metabolism dysfunction in Parkinson’s patients with diabetes. In an ongoing study, with a complete record of dietary habits and diet components, it was demonstrated no significant differences between diabetics (n = 19) and nondiabetics (N = 53). But body composition shows some particularities. A result that attracts attention is total fat analysis and percentage of fat of PD patients showing that diabetics are somewhat fattier. The self-reported presence of obesity does not differ from recorded data of weight and BMI, with no significant differences between the two groups. Taking into consideration that both groups have comparable degrees of disease progression, as measured by the UPDRS, it could be possible to infer that the maintenance of a relative overweight was a protective factor in this group of diabetic evaluated patients. Considerations are made about hasty intervention of nutritional approach for PD patients with diabetes, including body fat reduction, prescription of statins and therapeutic options for diabetes control

The Impact of Crystal Light Yield Non-Proportionality on a Typical Calorimetric Space Experiment: Beam Test Measurements and Monte Carlo Simulations

Calorimetric space experiments were employed for the direct measurements of cosmic-ray spectra above the TeV region. According to several theoretical models and recent measurements, relevant features in both electron and nucleus fluxes are expected. Unfortunately, sizable disagreements among the current results of different space calorimeters exist. In order to improve the accuracy of future experiments, it is fundamental to understand the reasons of these discrepancies, especially since they are not compatible with the quoted experimental errors. A few articles of different collaborations suggest that a systematic error of a few percentage points related to the energy-scale calibration could explain these differences. In this work, we analyze the impact of the nonproportionality of the light yield of scintillating crystals on the energy scale of typical calorimeters. Space calorimeters are usually calibrated by employing minimal ionizing particles (MIPs), e.g., nonshowering proton or helium nuclei, which feature different ionization density distributions with respect to particles included in showers. By using the experimental data obtained by the CaloCube collaboration and a minimalist model of the light yield as a function of the ionization density, several scintillating crystals (BGO, CsI(Tl), LYSO, YAP, YAG and BaF2) are characterized. Then, the response of a few crystals is implemented inside the Monte Carlo simulation of a space calorimeter to check the energy deposited by electromagnetic and hadronic showers. The results of this work show that the energy scale obtained by MIP calibration could be affected by sizable systematic errors if the nonproportionality of scintillation light is not properly taken into account

TOI-2196 b : Rare planet in the hot Neptune desert transiting a G-type star

Funding: C.M.P., M.F., I.G., and J.K. gratefully acknowledge the support of the Swedish National Space Agency (DNR 65/19, 174/18, 177/19, 2020-00104). L.M.S and D.G. gratefully acknowledge financial support from the CRT foundation under Grant No. 2018.2323 “Gaseous or rocky? Unveiling the nature of small worlds”. P.K. acknowledges support from grant LTT-20015. E.G. acknowledge the support of the Thüringer Ministerium für Wirtschaft, Wissenschaft und Digitale Gesellschaft. J.S.J. gratefully acknowledges support by FONDECYT grant 1201371 and from the ANID BASAL projects ACE210002 and FB210003. H.J.D. acknowledges support from the Spanish Research Agency of the Ministry of Science and Innovation (AEI-MICINN) under grant PID2019-107061GBC66, DOI: 10.13039/501100011033. D.D. acknowledges support from the TESS Guest Investigator Program grants 80NSSC21K0108 and 80NSSC22K0185. M.E. acknowledges the support of the DFG priority program SPP 1992 "Exploring the Diversity of Extrasolar Planets" (HA 3279/12-1). K.W.F.L. was supported by Deutsche Forschungsgemeinschaft grants RA714/14-1 within the DFG Schwerpunkt SPP 1992, Exploring the Diversity of Extrasolar Planets. N.N. acknowledges support from JSPS KAKENHI Grant Number JP18H05439, JST CREST Grant Number JPMJCR1761. M.S.I.P. is funded by NSF.The hot Neptune desert is a region hosting a small number of short-period Neptunes in the radius-instellation diagram. Highly irradiated planets are usually either small (R ≲ 2 R⊕) and rocky or they are gas giants with radii of ≳1 RJ. Here, we report on the intermediate-sized planet TOI-2196 b (TIC 372172128.01) on a 1.2 day orbit around a G-type star (V = 12.0, [Fe/H] = 0.14 dex) discovered by the Transiting Exoplanet Survey Satellite in sector 27. We collected 41 radial velocity measurements with the HARPS spectrograph to confirm the planetary nature of the transit signal and to determine the mass. The radius of TOI-2196 b is 3.51 ± 0.15 R⊕, which, combined with the mass of 26.0 ± 1.3 M⊕, results in a bulk density of 3.31−0.43+0.51 g cm−3. Hence, the radius implies that this planet is a sub-Neptune, although the density is twice than that of Neptune. A significant trend in the HARPS radial velocity measurements points to the presence of a distant companion with a lower limit on the period and mass of 220 days and 0.65 MJ, respectively, assuming zero eccentricity. The short period of planet b implies a high equilibrium temperature of 1860 ± 20 K, for zero albedo and isotropic emission. This places the planet in the hot Neptune desert, joining a group of very few planets in this parameter space discovered in recent years. These planets suggest that the hot Neptune desert may be divided in two parts for planets with equilibrium temperatures of ≳1800 K: a hot sub-Neptune desert devoid of planets with radii of ≈ 1.8−3 R⊕ and a sub-Jovian desert for radii of ≈5−12 R⊕. More planets in this parameter space are needed to further investigate this finding. Planetary interior structure models of TOI-2196 b are consistent with a H/He atmosphere mass fraction between 0.4% and 3%, with a mean value of 0.7% on top of a rocky interior. We estimated the amount of mass this planet might have lost at a young age and we find that while the mass loss could have been significant, the planet had not changed in terms of character: it was born as a small volatile-rich planet and it remains one at present.Publisher PDFPeer reviewe

Canagliflozin and renal outcomes in type 2 diabetes and nephropathy

BACKGROUND Type 2 diabetes mellitus is the leading cause of kidney failure worldwide, but few effective long-term treatments are available. In cardiovascular trials of inhibitors of sodium–glucose cotransporter 2 (SGLT2), exploratory results have suggested that such drugs may improve renal outcomes in patients with type 2 diabetes. METHODS In this double-blind, randomized trial, we assigned patients with type 2 diabetes and albuminuric chronic kidney disease to receive canagliflozin, an oral SGLT2 inhibitor, at a dose of 100 mg daily or placebo. All the patients had an estimated glomerular filtration rate (GFR) of 30 to <90 ml per minute per 1.73 m2 of body-surface area and albuminuria (ratio of albumin [mg] to creatinine [g], >300 to 5000) and were treated with renin–angiotensin system blockade. The primary outcome was a composite of end-stage kidney disease (dialysis, transplantation, or a sustained estimated GFR of <15 ml per minute per 1.73 m2), a doubling of the serum creatinine level, or death from renal or cardiovascular causes. Prespecified secondary outcomes were tested hierarchically. RESULTS The trial was stopped early after a planned interim analysis on the recommendation of the data and safety monitoring committee. At that time, 4401 patients had undergone randomization, with a median follow-up of 2.62 years. The relative risk of the primary outcome was 30% lower in the canagliflozin group than in the placebo group, with event rates of 43.2 and 61.2 per 1000 patient-years, respectively (hazard ratio, 0.70; 95% confidence interval [CI], 0.59 to 0.82; P=0.00001). The relative risk of the renal-specific composite of end-stage kidney disease, a doubling of the creatinine level, or death from renal causes was lower by 34% (hazard ratio, 0.66; 95% CI, 0.53 to 0.81; P<0.001), and the relative risk of end-stage kidney disease was lower by 32% (hazard ratio, 0.68; 95% CI, 0.54 to 0.86; P=0.002). The canagliflozin group also had a lower risk of cardiovascular death, myocardial infarction, or stroke (hazard ratio, 0.80; 95% CI, 0.67 to 0.95; P=0.01) and hospitalization for heart failure (hazard ratio, 0.61; 95% CI, 0.47 to 0.80; P<0.001). There were no significant differences in rates of amputation or fracture. CONCLUSIONS In patients with type 2 diabetes and kidney disease, the risk of kidney failure and cardiovascular events was lower in the canagliflozin group than in the placebo group at a median follow-up of 2.62 years

The reference site collaborative network of the european innovation partnership on active and healthy ageing

Seventy four Reference Sites of the European Innovation Partnership on Active and Healthy Ageing (EIP on AHA) have been recognised by the European Commission in 2016 for their commitment to excellence in investing and scaling up innovative solutions for active and healthy ageing. The Reference Site Collaborative Network (RSCN) brings together the EIP on AHA Reference Sites awarded by the European Commission, and Candidate Reference Sites into a single forum. The overarching goals are to promote cooperation, share and transfer good practice and solutions in the development and scaling up of health and care strategies, policies and service delivery models, while at the same time supporting the action groups in their work. The RSCN aspires to be recognized by the EU Commission as the principal forum and authority representing all EIP on AHA Reference Sites. The RSCN will contribute to achieve the goals of the EIP on AHA by improving health and care outcomes for citizens across Europe, and the development of sustainable economic growth and the creation of jobs