Abstract verification and debugging of constraint logic programs

The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization during program compilation. However, recently, novel and promising applications of semantic approximations have been proposed in the more general context of program verification and debugging [3],[10],[7]

Uncertainties of synchrotron microCT-based digital volume correlation bone strain measurements under simulated deformation

Digital Volume Correlation (DVC) is used to measure internal displacements and strains in bone. Recent studies have shown that synchrotron radiation micro-computed tomography (SR-microCT) can improve the accuracy and precision of DVC. However, only zero-strain or virtually-moved test have been used to quantify the DVC uncertainties, leading to potential underestimation of the measurement errors. In this study, for the first time, the uncertainties of a global DVC approach have been evaluated on repeated SR-microCT scans of bovine cortical bone (voxel size: 1.6μm), which were virtually deformed for different magnitudes and along different directions. The results showed that systematic and random errors of the normal strain components along the deformation direction were higher than the errors along unstrained directions. The systematic percentage errors were smaller for larger virtual deformations. The random percentage error was in the order of 10% of the virtual deformation. However, higher errors were localized at the boundary of the volumes of interest, perpendicular to the deformation direction. When only the central region of the samples was considered (100 micrometers layers removed from the borders where the deformation was applied), the errors in the direction of virtual deformation were comparable to the errors in the unstrained directions. In conclusion, the method presented to estimate the uncertainties of DVC is suitable for testing anisotropic specimens as cortical bone. The good agreement between the uncertainties in measurements of strain components obtained with this approach and with the simpler zero-strain-test suggests that the latter is adequate in the tested deformation scenarios

Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis

Novel silver‐functionalized poly(ɛ‐caprolactone)/biphasic calcium phosphate scaffolds designed to counteract post‐surgical infections in orthopedic applications

In this study, we designed and developed novel poly(ε‐caprolactone) (PCL)‐based biomaterials, for use as bone scaffolds, through modification with both biphasic calcium phosphate (BCP), to impart bioactive/bioresorbable properties, and with silver nitrate, to provide antibacterial protection against Staphylococcus aureus, a microorganism involved in prosthetic joint infections (PJIs). Field emission scanning electron microscopy (FESEM) showed that the samples were characterized by square‐shaped macropores, and energy dispersive X‐ray spectroscopy analysis confirmed the presence of PCL and BCP phases, while inductively coupled plasma–mass spectrometry (ICP–MS) established the release of Ag+ in the medium (~0.15–0.8 wt% of initial Ag content). Adhesion assays revealed a significant (p < 0.0001) reduction in both adherent and planktonic staphylococci on the Ag‐functionalized biomaterials, and the presence of an inhibition halo confirmed Ag release from enriched samples. To assess the potential outcome in promoting bone integration, preliminary tests on sarcoma osteogenic‐2 (Saos‐2) cells indicated PCL and BCP/PCL biocompatibility, but a reduction in viability was observed for Ag‐added biomaterials. Due to their combined biodegrading and antimicrobial properties, the silver‐enriched BCP/PCL-based scaffolds showed good potential for engineering of bone tissue and for reducing PJIs as a microbial anti‐adhesive tool used in the delivery of targeted antimicrobial molecules, even if the amount of silver needs to be tuned to improve osteointegration

Salvage neck dissection for isolated neck recurrences in head and neck tumors: Intra and postoperative complications

Background and Objectives: The current evidence regarding complications after salvage neck dissection (ND) for isolated regional recurrences (IRRs) in head and neck cancers is poor. The aim of this study is to evaluate the incidence and differences in complication rates of salvage ND after primary surgery, radiotherapy, chemoradiotherapy, or combined treatments. Methods: This was a multicentric retrospective study on 64 patients who underwent salvage ND for IRR in three Italian institutes between 2008 and May 2020. Results: Complications were detected in 7 of the 34 patients (20.8%) and surgeons described difficult dissection in 20 patients (58.82%). Accidental vascular ligations or nervous injury during surgery were never detected. None of the variables analyzed were statistically significant in predicting the risk of complications, disease-free survival, or overall survival. Conclusions: IRR represents a rare entity among total relapses. The incidence of complications after salvage ND for IRR is higher than after primary surgery but at an acceptable rate in experienced hands. However, an adequate balance between functional and oncological outcomes is mandatory

Trypanothione synthetase confers growth, survival advantage and resistance to anti-protozoal drugs in Trypanosoma cruzi

Background: Chagas cardiomyopathy, caused by Trypanosoma cruzi infection, continues to be a neglected illness, and has a major impact on global health. The parasite undergoes several stages of morphological and biochemical changes during its life cycle, and utilizes an elaborated antioxidant network to overcome the oxidants barrier and establish infection in vector and mammalian hosts. Trypanothione synthetase (TryS) catalyzes the biosynthesis of glutathione-spermidine adduct trypanothione (T(SH)2) that is the principal intracellular thiol-redox metabolite in trypanosomatids. Methods and Results: We utilized genetic overexpression (TryShi) and pharmacological inhibition approaches to examine the role of TryS in T. cruzi proliferation, tolerance to oxidative stress and resistance to anti-protozoal drugs. Our data showed the expression and activity of TryS was increased in all morphological stages of TryShi (vs. control) parasites. In comparison to controls, the TryShi epimastigotes (insect stage) recorded shorter doubling time, and both epimastigotes and infective trypomastigotes of TryShi exhibited 36-71% higher resistance to H2O2 (50-1000 M) and heavy metal (1-500 M) toxicity. Treatment with TryS inhibitors (5-30 M) abolished the proliferation and survival advantages against H2O2 pressure in a dose-dependent manner in both TryShi and control parasites. Further, epimastigote and trypomastigote forms of TryShi (vs. control) T. cruzi tolerated higher doses of benznidazole and nifurtimox, the drugs currently administered for acute Chagas disease treatment. Conclusions: TryS is essential for proliferation and survival of T. cruzi under normal and oxidant stress conditions, and provides an advantage to the parasite to develop resistance against currently used antitrypanosomal drugs. TryS indispensability has been chemically validated with inhibitors that may be useful for drug combination therapy against Chagas disease.Fil: Mesias, Andrea Cecilia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Salta. Instituto de Patología Experimental. Universidad Nacional de Salta. Facultad de Ciencias de la Salud. Instituto de Patología Experimental; ArgentinaFil: Sasoni, Natalia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Agrobiotecnología del Litoral. Universidad Nacional del Litoral. Instituto de Agrobiotecnología del Litoral; ArgentinaFil: Arias, Diego Gustavo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Agrobiotecnología del Litoral. Universidad Nacional del Litoral. Instituto de Agrobiotecnología del Litoral; ArgentinaFil: Pérez Brandan, Cecilia María. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Salta. Instituto de Patología Experimental. Universidad Nacional de Salta. Facultad de Ciencias de la Salud. Instituto de Patología Experimental; ArgentinaFil: Orban, Oliver C. F.. Technische Universitat Carolo Wilhelmina Zu Braunschweig.; AlemaniaFil: Kunick, Conrad. Technische Universitat Carolo Wilhelmina Zu Braunschweig.; AlemaniaFil: Robello, Carlos. Instituto Pasteur de Montevideo; UruguayFil: Comini, Marcelo. Instituto Pasteur de Montevideo; UruguayFil: Garg, Nisha J.. University of Texas Medical Branch; Estados UnidosFil: Zago, María Paola. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Salta. Instituto de Patología Experimental. Universidad Nacional de Salta. Facultad de Ciencias de la Salud. Instituto de Patología Experimental; Argentin

Mechanistic and biological characterisation of novel N5-substituted paullones targeting the biosynthesis of trypanothione in Leishmania

Trypanothione synthetase (TryS) produces N1,N8-bis(glutathionyl)spermidine (or trypanothione) at the expense of ATP. Trypanothione is a metabolite unique and essential for survival and drug-resistance of trypanosomatid parasites. In this study, we report the mechanistic and biological characterisation of optimised N5-substituted paullone analogues with anti-TryS activity. Several of the new derivatives retained submicromolar IC50 against leishmanial TryS. The binding mode to TryS of the most potent paullones has been revealed by means of kinetic, biophysical and molecular modelling approaches. A subset of analogues showed an improved potency (EC50 0.5-10 µM) and selectivity (20-35) against the clinically relevant stage of Leishmania braziliensis (mucocutaneous leishmaniasis) and L. infantum (visceral leishmaniasis). For a selected derivative, the mode of action involved intracellular depletion of trypanothione. Our findings shed light on the molecular interaction of TryS with rationally designed inhibitors and disclose a new set of compounds with on-target activity against different Leishmania species

Development of a PbWO4 Detector for Single-Shot Positron Annihilation Lifetime Spectroscopy at the GBAR Experiment

We have developed a PbWO4 (PWO) detector with a large dynamic range to measure the intensity of a positron beam and the absolute density of the ortho-positronium (o-Ps) cloud it creates. A simulation study shows that a setup based on such detectors may be used to determine the angular distribution of the emission and reflection of o-Ps to reduce part of the uncertainties of the measurement. These will allow to improve the precision in the measurement of the cross-section for the (anti)hydrogen formation by (anti)proton-positronium charge exchange and to optimize the yield of antihydrogen ion which is an essential parameter in the GBAR experiment

Social Entrepreneurship and Social Business: Retrospective and Prospective Research

Ye