Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations

The synthesis of controllers guaranteeing linear temporal logic specifications on partially observable Markov decision processes (POMDP) via their belief models causes computational issues due to the continuous spaces. In this work, we construct a finite-state abstraction on which a control policy is synthesized and refined back to the original belief model. We introduce a new notion of label-based approximate stochastic simulation to quantify the deviation between belief models. We develop a robust synthesis methodology that yields a lower bound on the satisfaction probability, by compensating for deviations a priori, and that utilizes a less conservative control refinement

Phospholipase C-γ Modulates Epithelial Tight Junction Permeability through Hyperphosphorylation of Tight Junction Proteins

Phospholipase C-gamma (PLC-gamma) is stimulated by epidermal growth factor via activation of the epidermal growth factor receptors. The PLC inhibitor, 3-nitrocoumarin (3-NC), selectively inhibited PLC-gamma in Madin-Darby canine kidney cells without affecting the activity of PLC-beta. In contrast, inhibitors of PLC-beta, hexadecylphosphocholine and, had no effect on the activity of PLC-gamma. Inhibition of PLC-gamma by 3-NC was associated with an increase in tight junction permeability across Madin-Darby canine kidney cell monolayers, as evidenced by 3-NC-induced decrease in transepithelial electrical resistance and increase in mannitol flux over a concentration range that was inhibitory to PLC-gamma. An analog of 3-NC, 7-hydroxy-3-NC (7-OH-3-NC), which was inactive as an inhibitor of PLC-gamma, also had no effect on tight junction permeability. Treatment with 3-NC caused punctate disruption in the cortical actin filaments. The PLC-gamma inhibitor, 3-NC, but not the inactive analog, 7-OH-3-NC, caused hyperphosphorylation of the tight junction proteins, occludin, ZO-1, and ZO-2. The serine/threonine kinase inhibitor, staurosporine (50-200 nm), significantly attenuated 3-NC-induced hyperphosphorylation of ZO-2. This corresponded with attenuation by staurosporine of 3-NC-induced increase in tight junction permeability, suggesting a relationship between ZO-2 phosphorylation and tight junction permeability

Developing Feedback Based Robotic Manufacturing Method for Earth-Based Materials

Although earth-based materials have the advantage of being locally sourced and have low embodied emissions, they can have an unpredictable material behavior due to their heterogeneous composition which potentially limits their use in manufacturing. As a result, it becomes challenging to standardise and maintain quality outcomes. Moreover, current industry methods are labour-intensive and require a high level of traditional knowledge. This research explores and develops a fabrication methodology for earthen materials that is location-agnostic. It involves an array of fabrication approaches, including the development of a robotic 'Impact Printing' setup using a UR10 robot and a custom tool to pick, place, and mechanically compact earth blocks. The 'Feedback System' employs Kinect 2.0 to scan the deformation of earth materials observed during fabrication and a computational algorithm to generate accurate and adapted toolpaths for the position and compaction of earthen blocks in real-time. To push the boundaries of architectural design for traditional building materials, the study investigates the construction of a closed Nubian vault using the aforementioned techniques and tools. Through the optimization of material behavior and manufacturing processes, the research opens up a pathway for automated onsite earth construction

Four cation-selective transporters contribute to apical uptake and accumulation of metformin in Caco-2 cell monolayerss

Metformin is the frontline therapy for type II diabetes mellitus. The oral bioavailability of metformin is unexpectedly high, between 40 and 60%, given its hydrophilicity and positive charge at all physiologic pH values. Previous studies in Caco-2 cell monolayers, a cellular model of the human intestinal epithelium, showed that during absorptive transport metformin is taken up into the cells via transporters in the apical (AP) membrane; however, predominant transport to the basolateral (BL) side occurs via the paracellular route because intracellular metformin cannot egress across the BL membrane. Furthermore, these studies have suggested that the AP transporters can contribute to intestinal accumulation and absorption of metformin. Transporter-specific inhibitors as well as a novel approach involving a cocktail of transporter inhibitors with overlapping selectivity were used to identify the AP transporters that mediate metformin uptake in Caco-2 cell monolayers; furthermore, the relative contributions of these transporters in metformin AP uptake were also determined. The organic cation transporter 1, plasma membrane monoamine transporter (PMAT), serotonin reuptake transporter, and choline high-affinity transporter contributed to approximately 25%, 20%, 20%, and 15%, respectively, of the AP uptake of metformin. PMAT-knockdown Caco-2 cells were constructed to confirm the contribution of PMAT in metformin AP uptake because a PMAT-selective inhibitor is not available. The identification of four intestinal transporters that contribute to AP uptake and potentially intestinal absorption of metformin is a significant novel finding that can influence our understanding of metformin pharmacology and intestinal drug-drug interactions involving this highly prescribed drug

Role of Flavin-Containing Monooxygenase in Oxidative Metabolism of Voriconazole by Human Liver Microsomes

Voriconazole is a potent second generation triazole antifungal agent with broad-spectrum activity against clinically important fungi. It is cleared predominantly via metabolism in all species tested including humans. N-oxidation of the fluoropyrimidine ring, its hydroxylation, and hydroxylation of the adjacent methyl group are the known pathways of voriconazole oxidative metabolism, with the N-oxide being the major circulating metabolite in human. In vitro studies have shown that CYP2C19, CYP3A4, and to a lesser extent CYP2C9 contribute to the oxidative metabolism of voriconazole. When CYP-specific inhibitors and antibodies were used to evaluate the oxidative metabolism of voriconazole by human liver microsomes (HLM), the results suggested that CYP-mediated metabolism accounted for ~75% of the total oxidative metabolism. The studies presented here provide evidence that the remaining ~25% of the metabolic transformations are catalyzed by flavin-containing monooxygenase (FMO). This conclusion was based on the evidence that the NADPH-dependent metabolism of voriconazole was sensitive to heat (45 °C for 5 min), a condition known to selectively inactivate FMO without affecting CYP activity. The role of FMO in the metabolic formation of voriconazole N-oxide was confirmed by the use of recombinant FMO enzymes. Kinetic analysis of voriconazole metabolism by FMO1 and FMO3 yielded Km values of 3.0 mM and 3.4 mM and Vmax values of 0.025 pmol/min/pmol and 0.044 pmol/min/pmol, respectively. FMO5 did not metabolize voriconazole effectively. This is the first report of the role of FMO in the oxidative metabolism of voriconazole

Sequence analysis and transcript expression of the MEN1 gene in sporadic pituitary tumours

The majority of pituitary tumours are monoclonal in origin and arise sporadically or occasionally as part of multiple endocrine neoplasia type 1 (MEN1). Whilst a multi-step aetiology involving both oncogenes and tumour suppressor genes has been proposed for their development, the target(s) of these changes are less clearly defined. Both familial and sporadic pituitary tumours have been shown to harbour allelic deletion on 11q13, which is the location of the recently cloned MEN1 gene. We investigated 23 sporadic pituitary tumours previously shown to harbour allelic deletion on 11q13 with the marker PYGM centromeric and within 50 kb of the MEN1 locus. In addition, the use of intragenic polymorphisms in exon 9 and at D11S4946, and of telomeric loci at D11S4940 and D11S4936, revealed that five of 20 tumours had loss of heterozygosity (LOH) telomeric to the menin gene. However, the overall pattern of loss in informative cases was indicative of non-contiguous deletion that brackets the menin gene. Sequence analysis of all MEN1 coding exons and flanking intronic sequence, in tumours and matched patient leucocyte DNA, did not reveal mutation(s) in any of the 23 tumours studied. A benign polymorphism in exon 9 was encountered at the expected frequency, and in seven patients heterozygous for the polymorphism the tumour showed retention of both copies of the menin gene. Reverse transcription polymerase chain reaction analysis of ten evaluable tumours and four normal pituitaries revealed the presence of the menin transcript. Whilst these findings suggest that gene silencing is unlikely to be mechanistic in sporadic pituitary tumorigenesis, they do not exclude changes in the level or stability of the transcript or translation to mature protein. Our study would support and extend very recent reports of a limited role for mutations in the MEN1 gene in sporadic pituitary tumours. Alternatively, these findings may point to an, as yet, unidentified tumour suppressor gene in this region

Reduction of fibrillar strain-rate sensitivity in steroid-induced osteoporosis linked to changes in mineralized fibrillar nanostructure

As bone is used in a dynamic mechanical environment, understanding the structural origins of its time-dependent mechanical behaviour – and the alterations in metabolic bone disease – is of interest. However, at the scale of the mineralized fibrillar matrix (nanometre-level), the nature of the strain-rate dependent mechanics is incompletely understood. Here, we investigate the fibrillar- and mineral-deformation behaviour in a murine model of Cushing’s syndrome, used to understand steroid induced osteoporosis, using synchrotron small- and wide-angle scattering/diffraction combined with in situ tensile testing at three strain rates ranging from 10-4 to 10-1 s-1. We find that the effective fibril- and mineral-modulus and fibrillar-reorientation show no significant increase with strain-rate in osteoporotic bone, but increase significantly in normal (wild-type) bone. By applying a fibril-lamellar two-level structural model of bone matrix deformation to fit the results, we obtain indications that altered collagen-mineral interactions at the nanoscale – along with altered fibrillar orientation distributions – may be the underlying reason for this altered strain-rate sensitivity. Our results suggest that an altered strain-rate sensitivity of the bone matrix in osteoporosis may be one of the contributing factors to reduced mechanical competence in such metabolic bone disorders, and that increasing this sensitivity may improve biomechanical performance

Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations

The synthesis of controllers guaranteeing linear temporal logic specifications on partially observable Markov decision processes (POMDP) via their belief models causes computational issues due to the continuous spaces. In this work, we construct a finite-state abstraction on which a control policy is synthesized and refined back to the original belief model. We introduce a new notion of label-based approximate stochastic simulation to quantify the deviation between belief models. We develop a robust synthesis methodology that yields a lower bound on the satisfaction probability, by compensating for deviations a priori, and that utilizes a less conservative control refinement