Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications

International Journal on Software Tools for Technology Transfer - We use runtime verification (RV) to check various specifications in a smart apartment. The specifications can be broken down into...     

Impact of the anode operating conditions on the liquid water distribution in the cathode gas diffusion layer

Previous experimental results indicate that the humidification conditions at the anode have an impact on the liquid water distribution in the cathode gas diffusion layer. Numerical simulations are developed to reproduce and analyze this effect. Results consistent with the experimental results are first obtained by playing with the partition coefficients of an advanced pore network model computing the liquid water formation and transfer in the cathode gas diffusion layer (GDL) for a large range of operating conditions. Then, a model for the full anode – cathode assembly is developed by combining the pore network model of the cathode GDL and a 1D model describing the heat and water transfer in the various components of the anode-cathode assembly. This enables one to generalize the dry – wet regime diagram introduced in a previous work by incorporating the effect of the humidity condition at the anode.     

A radiomics pipeline dedicated to Breast MRI: validation on a multi-scanner phantom study

Magnetic Resonance Materials in Physics, Biology and Medicine - Quantitative analysis in MRI is challenging due to variabilities in intensity distributions across patients, acquisitions and...     

Biochemical Investigation of the Interaction of pICln,RioK1 and COPR5 with the PRMT5–MEP50 Complex

The PRMT5–MEP50 methyltransferase complex plays a key role in various cancers and is regulated by different protein–protein interactions. Several proteins have been reported to act as adaptor proteins that recruit substrate proteins to the active site of PRMT5 for the methylation of arginine residues. To define the interaction between these adaptor proteins and PRMT5, we employed peptide truncation and mutation studies and prepared truncated protein constructs. We report the characterisation of the interface between the TIM barrel of PRMT5 and the adaptor proteins pICln, RioK1 and COPR5, and identify the consensus amino acid sequence GQF[D/E]DA[E/D] involved in binding. Protein crystallography revealed that the RioK1 derived peptide interacts with a novel PPI site.     

On the Enzymatic Formation of Metal Base Pairs with Thiolated and pKa-Perturbed Nucleotides

The formation of artificial metal base pairs is an alluring and versatile method for the functionalization of nucleic acids. Access to DNA functionalized with metal base pairs is granted mainly by solid-phase synthesis. An alternative, yet underexplored method, envisions the installation of metal base pairs through the polymerization of modified nucleoside triphosphates. Herein, we have explored the possibility of using thiolated and pK_a-perturbed nucleotides for the enzymatic construction of artificial metal base pairs. The thiolated nucleotides S2C, S6G, and S4T as well as the fluorinated analogue 5FU are readily incorporated opposite a templating S4T nucleotide through the guidance of metal cations. Multiple incorporation of the modified nucleotides along with polymerase bypass of the unnatural base pairs are also possible under certain conditions. The thiolated nucleotides S4T, S4T, S2C, and S6G were also shown to be compatible with the synthesis of modified, high molecular weight single-stranded (ss)DNA products through TdT-mediated tailing reactions. Thus, sulfur-substitution and pK_a perturbation represent alternative strategies for the design of modified nucleotides compatible with the enzymatic construction of metal base pairs.     

Rapid Synthesis and Antiproliferative Properties of Polyazamacrocycle-Based Bi- and Tetra-Gold(I) Phosphine Dithiocarbamate Complexes

A family of bi- and tetrametallic gold(I) phosphine dithiocarbamate complexes were synthesized, starting from cyclam and dimethylcyclam polyazamacrocycles, respectively, along with their monometallic gold(I) chloridophosphine precursors. Their antiproliferative properties were evaluated on two cancer cell lines (A549 and NSCLC-N6-L16). Most of the mono- and bimetallic complexes displayed strong activities and, in particular, one bimetallic derivative showed antiproliferative properties in the low micromolar range. Insights into the structure–activity relationships are given, along with determination of the thioredoxin reductase inhibition potential, two-photon imaging of the fluorescent derivatives, and evaluation of gold uptake.     

A 2D topology optimisation algorithm in NURBS framework with geometric constraints

In this paper, the solid isotropic material with penalisation (SIMP) method for topology optimisation of 2D problems is reformulated in the non-uniform rational BSpline (NURBS) framework. This choice implies several advantages, such as the definition of an implicit filter zone and the possibility for the designer to get a geometric entity at the end of the optimisation process. Therefore, important facilities are provided in CAD postprocessing phases in order to retrieve a consistent and well connected final topology. The effect of the main NURBS parameters (degrees, control points, weights and knot-vector components) on the final optimum topology is investigated. Classic geometric constraints, as the minimum and maximum member size, have been integrated and reformulated according to the NURBS formalism. Furthermore, a new constraint on the local curvature radius has been developed thanks to the NURBS formalism and properties. The effectiveness and the robustness of the proposed method are tested and proven through some benchmarks taken from literature and the results are compared with those provided by the classical SIMP approach.     

Carbon supported bimetallic Ru‐Co catalysts for H2 production through NaBH4 and NH3BH3 hydrolysis

This work investigates the effect of the addition of small amounts of Ru (0.5‐1 wt%) to carbon supported Co (10 wt%) catalysts towards both NaBH₄ and NH₃BH₃ hydrolysis for H₂ production. In the sodium borohydride hydrolysis, the activity of Ru‐Co/carbon catalysts was sensibly higher than the sum of the activities of corresponding monometallic samples, whereas for the ammonia borane hydrolysis, the positive effect of Ru‐Co systems with regard to catalytic activity was less evident. The performances of Ru‐Co bimetallic catalysts correlated with the occurrence of an interaction between Ru and Co species resulting in the formation of smaller ruthenium and cobalt oxide particles with a more homogeneous dispersion on the carbon support. It was proposed that Ru^°, formed during the reduction step of the Ru‐Co catalysts, favors the H₂ activation, thus enhancing the reduction degree of the cobalt precursor and the number of Co nucleation centers. A subsequent reduction of cobalt and ruthenium species also occurs in the hydride reaction medium, and therefore the state of the catalyst before the catalytic experiment determines the state of the active phase formed in situ. The different relative reactivity of the Ru and Co active species towards the two investigated reactions accounted for the different behavior towards NaBH₄ and NH₃BH₃ hydrolysis.     

Improvement of anode lifetime by flushing during electrofiltration

The paper is focused on the influence of anode flushing on physicochemical conditions in the anode compartment and anode stability during the electrodewatering in electrofilter press. Kaolin suspensions were dewatered in laboratory filter press with stainless-steel electrodes at electric current density of 80 A/m² and pressure of 2?bar. Two electrodewatering methods were compared: conventional (with filtrate drainage) and innovative (with continuous anode flushing using electrolyte solution). Flushing with neutral electrolyte solution significantly reduced the electrochemical anode corrosion, and can be suggested for the improvement of anode lifetime through a better control of physicochemical conditions during electrodewatering.