An approach to measure infill matric suction of irregular infilled rock joints under constant normal stiffness shearing

Rock joints infilled with sediments can strongly influence the strength of rock mass. As infilled joints often exist under unsaturated condition, this study investigated the influence of matric suction of infill on the overall joint shear strength. A novel technique that allows direct measurement of matric suction of infill using high capacity tensiometers (HCTs) during direct shear of infilled joints under constant normal stiffness (CNS) is described. The CNS apparatus was modified to accommodate the HCT and the procedure is explained in detail. Joint specimens were simulated by gypsum plaster using three-dimensional (3D) printed surface moulds, and filled with kaolin and sand mixture prepared at different water contents. Shear behaviours of both planar infilled joints and rough joints having joint roughness coefficients (JRCs) of 8–10 and 18–20 with the ratios of infill thickness to asperity height (t/a) equal to 0.5 were investigated. Matric suction shows predominantly unimodal behaviour during shearing of both planar and rough joints, which is closely associated with the variation of unloading rate and volumetric changes of the infill material. As expected, two-peak behaviour was observed for the rough joints and both peaks increased with the increase of infill matric suction. The results suggest that the contribution of matric suction of infill on the joint peak normalised shear stress is relatively independent of the joint roughness.     

UPR: deadlock-free dynamic network reconfiguration by exploiting channel dependency graph compatibility

The Journal of Supercomputing - Deadlock-free dynamic network reconfiguration process is usually studied from the routing algorithm restrictions and resource reservation perspective. The dynamic...     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.

     

Extracellular Vesicles in CNS Developmental Disorders

The central nervous system (CNS) is the most complex structure in the body, consisting of multiple cell types with distinct morphology and function. Development of the neuronal circuit and its function rely on a continuous crosstalk between neurons and non-neural cells. It has been widely accepted that extracellular vesicles (EVs), mainly exosomes, are effective entities responsible for intercellular CNS communication. They contain membrane and cytoplasmic proteins, lipids, non-coding RNAs, microRNAs and mRNAs. Their cargo modulates gene and protein expression in recipient cells. Several lines of evidence indicate that EVs play a role in modifying signal transduction with subsequent physiological changes in neurogenesis, gliogenesis, synaptogenesis and network circuit formation and activity, as well as synaptic pruning and myelination. Several studies demonstrate that neural and non-neural EVs play an important role in physiological and pathological neurodevelopment. The present review discusses the role of EVs in various neurodevelopmental disorders and the prospects of using EVs as disease biomarkers and therapeutics.     

Novel strategy for encapsulation and targeted delivery of poorly water-soluble active substances

Carriers for targeted delivery and controlled release of poorly water-soluble active substances (PWSAS) are facing three challenges: (a) the encapsulation issues, (b) limitations of PWSAS water solubility, and (c) burst drug release which can be pharmacologically dangerous and economically inefficient. The present study brings a novel strategy for encapsulation and controlled release of PWSAS—caffeine in concentrations which are higher than its maximal water solubility without the possibility of burst effect. The modification of hydrophilic carrier based on poly(methacylic acid) was done using casein and liposomes. To further increase the maximal caffeine loading inside the carrier nicotinamide was used. The release study of the encapsulated PWSAS was elaborated with respect to morphology of the carriers and interactions that could be established between its structural components. The carriers swelling and the release of caffeine and nicotinamide were also investigated depending on caffeine concentration, the presence of different liposomal formulations and the volume ratio of liposomal formulation, in three media with different pH simulating the path of the carrier through the human gastrointestinal tract. The synthesized carriers are promising candidates for encapsulation of PWSAS in concentrations which are higher than its maximal water solubility and for the targeted delivery of those dosages.