Automatic verification of concurrent stochastic systems

Formal Methods in System Design - Automated verification techniques for stochastic games allow formal reasoning about systems that feature competitive or collaborative behaviour among rational...     

Preparation of grids for simulations of groundwater flow in fractured porous media

This work presents an extension of grid generation techniques for finite-volume discretizations of density-driven flow in fractured porous media, in which fractures are considered as low-dimensional manifolds and are resolved by sides of grid elements. The proposed technique introduces additional degrees of freedom for the unknowns assigned to the fractures and thus allows to reconstruct jumps of the solution over a fracture. Through the concept of degenerated elements, the proposed technique can be used for arbitrary junctions of fractures but is sufficiently simple regarding the implementation and allows for the application of conventional numerical solvers. Numerical experiments presented at the end of the paper demonstrate the applicability of this technique in two and three dimensions for complicated fracture networks.     

A Model of Weekly Labor Participation for a Belgian Synthetic Population

This paper presents a model of labor participation calibrated on a weekly basis; part-time and full-time employments are also considered. By applying the theory of random utility maximization we model households’ choices. In order to have a good temporal and spatial coverage the model is calibrated on three datasets, extracted from both national and regional travel surveys. The results are applied to synthetic households that reproduce the Belgian population. The proposed innovative methodology simulates synthetic agents by accounting both for households’ and individuals’ characteristics, while not suffering from the problem of the “zero cell value”. The results indicate that there is major day-to-day variability in working activity participation; in particular, on Wednesdays and Fridays the number of households working part-time or not working is particularly high. This is consistent with what was expected by the analysts. Working participation is a fundamental component in activity based models where work is considered a skeletal activity. The tools developed here can be useful to study how changes in population characteristics (i.e. increases of flexible working arrangements and of the number of women in the work force) affect activity participation and travel patterns.     

Surface characterization of 6H-SiC (0001) substrates in indentation and abrasive machining

Surface characterization of 6H-SiC (0001) substrates in indentation and abrasive machining was carried out to investigate microfracture, residual damage, and surface roughness associated with material removal and surface generation. Brittle versus plastic deformation was studied using Vickers indention and nano-indentation. To characterize the abrasive machining response, the 6H-SiC (0001) substrates were ground using diamond wheels with grit sizes of 25, 15 and 7 μm, and then polished with diamond suspensions of 3 and 0.05 μm. It is found that in indentation, there was a scale effect for brittle versus plastic deformation in 6H-SiC substrates. Also, in grinding, the scales of fracture and surface roughness of the substrates decreased with a decrease in diamond grit size. However, in polishing, a reduction in grit size of diamond suspensions gave no significant improvement in surface roughness. Furthermore, the results showed that fracture-free 6H-SiC (0001) surfaces were generated in polishing with the existence of the residual crystal defects, which were associated with the origin of defects in single crystal growth.     

Rational Design of CYP3A4 Inhibitors: A One-Atom Linker Elongation in Ritonavir-Like Compounds Leads to a Marked Improvement in the Binding Strength

Inhibition of the major human drug-metabolizing cytochrome P450 3A4 (CYP3A4) by pharmaceuticals and other xenobiotics could lead to toxicity, drug–drug interactions and other adverse effects, as well as pharmacoenhancement. Despite serious clinical implications, the structural basis and attributes required for the potent inhibition of CYP3A4 remain to be established. We utilized a rational inhibitor design to investigate the structure–activity relationships in the analogues of ritonavir, the most potent CYP3A4 inhibitor in clinical use. This study elucidated the optimal length of the head-group spacer using eleven (series V) analogues with the R₁/R₂ side-groups as phenyls or R₁–phenyl/R₂–indole/naphthalene in various stereo configurations. Spectral, functional and structural characterization of the inhibitory complexes showed that a one-atom head-group linker elongation, from pyridyl–ethyl to pyridyl–propyl, was beneficial and markedly improved K_s, IC₅₀ and thermostability of CYP3A4. In contrast, a two-atom linker extension led to a multi-fold decrease in the binding and inhibitory strength, possibly due to spatial and/or conformational constraints. The lead compound, 3h, was among the best inhibitors designed so far and overall, the strongest binder (K_s and IC₅₀ of 0.007 and 0.090 µM, respectively). 3h was the fourth structurally simpler inhibitor superior to ritonavir, which further demonstrates the power of our approach.     

The Multifunctional Sactipeptide Ruminococcin C1 Displays Potent Antibacterial Activity In Vivo as Well as Other Beneficial Properties for Human Health

The world is on the verge of a major antibiotic crisis as the emergence of resistant bacteria is increasing, and very few novel molecules have been discovered since the 1960s. In this context, scientists have been exploring alternatives to conventional antibiotics, such as ribosomally synthesized and post-translationally modified peptides (RiPPs). Interestingly, the highly potent in vitro antibacterial activity and safety of ruminococcin C1, a recently discovered RiPP belonging to the sactipeptide subclass, has been demonstrated. The present results show that ruminococcin C1 is efficient at curing infection and at protecting challenged mice from Clostridium perfringens with a lower dose than the conventional antibiotic vancomycin. Moreover, antimicrobial peptide (AMP) is also effective against this pathogen in the complex microbial community of the gut environment, with a selective impact on a few bacterial genera, while maintaining a global homeostasis of the microbiome. In addition, ruminococcin C1 exhibits other biological activities that could be beneficial for human health, as well as other fields of applications. Overall, this study, by using an in vivo infection approach, confirms the antimicrobial clinical potential and highlights the multiple functional properties of ruminococcin C1, thus extending its therapeutic interest.     

Fabry Disease and the Heart: A Comprehensive Review

Fabry disease (FD) is an X-linked lysosomal storage disorder caused by mutations of the GLA gene that result in a deficiency of the enzymatic activity of α-galactosidase A and consequent accumulation of glycosphingolipids in body fluids and lysosomes of the cells throughout the body. GB3 accumulation occurs in virtually all cardiac cells (cardiomyocytes, conduction system cells, fibroblasts, and endothelial and smooth muscle vascular cells), ultimately leading to ventricular hypertrophy and fibrosis, heart failure, valve disease, angina, dysrhythmias, cardiac conduction abnormalities, and sudden death. Despite available therapies and supportive treatment, cardiac involvement carries a major prognostic impact, representing the main cause of death in FD. In the last years, knowledge has substantially evolved on the pathophysiological mechanisms leading to cardiac damage, the natural history of cardiac manifestations, the late-onset phenotypes with predominant cardiac involvement, the early markers of cardiac damage, the role of multimodality cardiac imaging on the diagnosis, management and follow-up of Fabry patients, and the cardiac efficacy of available therapies. Herein, we provide a comprehensive and integrated review on the cardiac involvement of FD, at the pathophysiological, anatomopathological, laboratory, imaging, and clinical levels, as well as on the diagnosis and management of cardiac manifestations, their supportive treatment, and the cardiac efficacy of specific therapies, such as enzyme replacement therapy and migalastat.     

Efficient Linear dsDNA Tagging Using Deoxyuridine Excision**

Site-specific strategies for exchanging segments of dsDNA are important for DNA library construction and molecular tagging. Deoxyuridine (dU) excision is an approach for generating 3’ ssDNA overhangs in gene assembly and molecular cloning procedures. Unlike approaches that use a multi-base pair motif to specify a DNA cut site, dU excision requires only a dT→dU substitution. Consequently, excision sites can be embedded in biologically active DNA sequences by placing dU substitutions at non-perturbative positions. In this work, I describe a molecular tagging method that uses dU excision to exchange a segment of a dsDNA strand with a long synthetic oligonucleotide. The core workflow of this method, called deoxyUridine eXcision-tagging (dUX-tagging), is an efficient one-pot reaction: strategically positioned dU nucleotides are excised from dsDNA to generate a 3’ overhang so that additional sequence can be appended by annealing and ligating a tagging oligonucleotide. The tagged DNA is then processed by one of two procedures to fill the 5’ overhang and remove excess tagging oligo. To facilitate its widespread use, all dUX-tagging procedures exclusively use commercially available reagents. As a result, dUX-tagging is a concise and easily implemented approach for high-efficiency linear dsDNA tagging.