KMT2C modulates migration and invasion processes in osteosarcoma cell lines

In this study we investigated the role of KMT2C (a chromatin-modifying and remodelling protein) in osteosarcoma progression through cell migration and invasion assays in osteosarcoma primary and metastatic cell lines. Wound healing and transwell assays were used to detect changes of cell migration and matrigel assay was used to evaluate changes of cell invasion in primary and metastatic osteosarcoma cell lines after KMT2C siRNA transfection. We found that primary osteosarcoma cell lines showed the highest capacity of migration before mRNA KMT2C silencing and the highest capacity of invasion after mRNA KMT2C silencing; on the contrary, osteosarcoma metastatic cell line showed the highest capacity of migration after mRNA KMT2C silencing and the highest capacity of invasion before mRNA KMT2C silencing. Our study supports data in favour of selective enhancer changes, KMT2C-mediated, in metastatic osteosarcoma probably due to the different microenvironment between primary and metastatic sites

Intersection types and (positive) almost-sure termination

Randomized higher-order computation can be seen as being captured by a λ-calculus endowed with a single algebraic operation, namely a construct for binary probabilistic choice. What matters about such computations is the probability of obtaining any given result, rather than the possibility or the necessity of obtaining it, like in (non)deterministic computation. Termination, arguably the simplest kind of reachability problem, can be spelled out in at least two ways, depending on whether it talks about the probability of convergence or about the expected evaluation time, the second one providing a stronger guarantee. In this paper, we show that intersection types are capable of precisely characterizing both notions of termination inside a single system of types: the probability of convergence of any λ-term can be underapproximated by its type, while the underlying derivation's weight gives a lower bound to the term's expected number of steps to normal form. Noticeably, both approximations are tight-not only soundness but also completeness holds. The crucial ingredient is non-idempotency, without which it would be impossible to reason on the expected number of reduction steps which are necessary to completely evaluate any term. Besides, the kind of approximation we obtain is proved to be optimal recursion theoretically: no recursively enumerable formal system can do better than that

A discrimination algorithm inside λ-β-calculus

AbstractA finite set {F1,…,Fn} of λ-terms is said to be discriminable if, given n arbitrary λ-terms X1,…,Xn, there exists a λ-term Δ such that: ΔFi ⩾ Xi for 1 ⩽ i ⩽ n. In the present paper each finite set of normal combinators which are pairwise non α-η-convertible is proved to be discriminable. Moreover a discrimination algorithm is given

Measurement of the current-phase relation of superconducting atomic contacts

We have probed the current-phase relation of an atomic contact placed with a tunnel junction in a small superconducting loop. The measurements are in quantitative agreement with the predictions of a resistively shunted SQUID model in which the Josephson coupling of the contact is calculated using the independently determined transmissions of its conduction channels.Comment: to be published in Physical Review Letter

SUGAMMADEX versus neostigmine after ROCURONIUM continuous infusion in patients undergoing liver transplantation

Background: Rapid neuromuscular block reversal at the end of major abdominal surgery is recommended to avoid any postoperative residual block. To date, no study has evaluated sugammadex performance after rocuronium administration in patients undergoing liver transplantation. This is a randomized controlled trial with the primary objective of assessing the neuromuscular transmission recovery time obtained with sugammadex versus neostigmine after rocuronium induced neuromuscular blockade in patients undergoing orthotopic liver transplantation. Methods: The TOF-Watch SX\uae, calibrated and linked to a portable computer equipped with TOF-Watch SX Monitor Software\uae, was used to monitor and record intraoperative neuromuscular block maintained with a continuous infusion of rocuronium. Anaesthetic management was standardized as per our institution's internal protocol. At the end of surgery, neuromuscular moderate block reversal was obtained by administration of 2 mg/kg of sugammadex or 50 mcg/kg of neostigmine (plus 10 mcg/kg of atropine). Results: Data from 41 patients undergoing liver transplantation were analysed. In this population, recovery from neuromuscular block was faster following sugammadex administration than neostigmine administration, with mean times\ub1SD of 9.4 \ub1 4.6 min and 34.6 \ub1 24.9 min, respectively (p < 0.0001). Conclusion: Sugammadex is able to reverse neuromuscular block maintained by rocuronium continuous infusion in patients undergoing liver transplantation. The mean reversal time obtained with sugammadex was significantly faster than that for neostigmine. It is important to note that the sugammadex recovery time in this population was found to be considerably longer than in other surgical settings, and should be considered in clinical practice. Trial registration: ClinicalTrials.gov NCT02697929 (registered 3rd March 2016)