TY - JOUR AB - Motivation: The problem of model inference is of fundamental importance to systems biology. Logical models (e.g. Boolean networks; BNs) represent a computationally attractive approach capable of handling large biological networks. The models are typically inferred from experimental data. However, even with a substantial amount of experimental data supported by some prior knowledge, existing inference methods often focus on a small sample of admissible candidate models only. Results: We propose Boolean network sketches as a new formal instrument for the inference of Boolean networks. A sketch integrates (typically partial) knowledge about the network’s topology and the update logic (obtained through, e.g. a biological knowledge base or a literature search), as well as further assumptions about the properties of the network’s transitions (e.g. the form of its attractor landscape), and additional restrictions on the model dynamics given by the measured experimental data. Our new BNs inference algorithm starts with an ‘initial’ sketch, which is extended by adding restrictions representing experimental data to a ‘data-informed’ sketch and subsequently computes all BNs consistent with the data-informed sketch. Our algorithm is based on a symbolic representation and coloured model-checking. Our approach is unique in its ability to cover a broad spectrum of knowledge and efficiently produce a compact representation of all inferred BNs. We evaluate the method on a non-trivial collection of real-world and simulated data. AU - Beneš, Nikola AU - Brim, Luboš AU - Huvar, Ondřej AU - Pastva, Samuel AU - Šafránek, David ID - 12876 IS - 4 JF - Bioinformatics TI - Boolean network sketches: A unifying framework for logical model inference VL - 39 ER - TY - JOUR AB - Peripheral heterochromatin positioning depends on nuclear envelope associated proteins and repressive histone modifications. Here we show that overexpression (OE) of Lamin B1 (LmnB1) leads to the redistribution of peripheral heterochromatin into heterochromatic foci within the nucleoplasm. These changes represent a perturbation of heterochromatin binding at the nuclear periphery (NP) through a mechanism independent from altering other heterochromatin anchors or histone post-translational modifications. We further show that LmnB1 OE alters gene expression. These changes do not correlate with different levels of H3K9me3, but a significant number of the misregulated genes were likely mislocalized away from the NP upon LmnB1 OE. We also observed an enrichment of developmental processes amongst the upregulated genes. ~74% of these genes were normally repressed in our cell type, suggesting that LmnB1 OE promotes gene de-repression. This demonstrates a broader consequence of LmnB1 OE on cell fate, and highlights the importance of maintaining proper levels of LmnB1. AU - Kaneshiro, Jeanae M. AU - Capitanio, Juliana S. AU - Hetzer, Martin W ID - 12880 IS - 1 JF - Nucleus SN - 1949-1034 TI - Lamin B1 overexpression alters chromatin organization and gene expression VL - 14 ER - TY - JOUR AB - We numerically study two methods of measuring tunneling times using a quantum clock. In the conventional method using the Larmor clock, we show that the Larmor tunneling time can be shorter for higher tunneling barriers. In the second method, we study the probability of a spin-flip of a particle when it is transmitted through a potential barrier including a spatially rotating field interacting with its spin. According to the adiabatic theorem, the probability depends on the velocity of the particle inside the barrier. It is numerically observed that the probability increases for higher barriers, which is consistent with the result obtained by the Larmor clock. By comparing outcomes for different initial spin states, we suggest that one of the main causes of the apparent decrease in the tunneling time can be the filtering effect occurring at the end of the barrier. AU - Suzuki, Fumika AU - Unruh, William G. ID - 12914 IS - 4 JF - Physical Review A SN - 2469-9926 TI - Numerical quantum clock simulations for measuring tunneling times VL - 107 ER - TY - JOUR AB - The coexistence of gate-tunable superconducting, magnetic and topological orders in magic-angle twisted bilayer graphene provides opportunities for the creation of hybrid Josephson junctions. Here we report the fabrication of gate-defined symmetry-broken Josephson junctions in magic-angle twisted bilayer graphene, where the weak link is gate-tuned close to the correlated insulator state with a moiré filling factor of υ = −2. We observe a phase-shifted and asymmetric Fraunhofer pattern with a pronounced magnetic hysteresis. Our theoretical calculations of the junction weak link—with valley polarization and orbital magnetization—explain most of these unconventional features. The effects persist up to the critical temperature of 3.5 K, with magnetic hysteresis observed below 800 mK. We show how the combination of magnetization and its current-induced magnetization switching allows us to realise a programmable zero-field superconducting diode. Our results represent a major advance towards the creation of future superconducting quantum electronic devices. AU - Díez-Mérida, J. AU - Díez-Carlón, A. AU - Yang, S. Y. AU - Xie, Y. M. AU - Gao, X. J. AU - Senior, Jorden L AU - Watanabe, K. AU - Taniguchi, T. AU - Lu, X. AU - Higginbotham, Andrew P AU - Law, K. T. AU - Efetov, Dmitri K. ID - 12913 JF - Nature Communications TI - Symmetry-broken Josephson junctions and superconducting diodes in magic-angle twisted bilayer graphene VL - 14 ER - TY - JOUR AB - The global existence of renormalised solutions and convergence to equilibrium for reaction-diffusion systems with non-linear diffusion are investigated. The system is assumed to have quasi-positive non-linearities and to satisfy an entropy inequality. The difficulties in establishing global renormalised solutions caused by possibly degenerate diffusion are overcome by introducing a new class of weighted truncation functions. By means of the obtained global renormalised solutions, we study the large-time behaviour of complex balanced systems arising from chemical reaction network theory with non-linear diffusion. When the reaction network does not admit boundary equilibria, the complex balanced equilibrium is shown, by using the entropy method, to exponentially attract all renormalised solutions in the same compatibility class. This convergence extends even to a range of non-linear diffusion, where global existence is an open problem, yet we are able to show that solutions to approximate systems converge exponentially to equilibrium uniformly in the regularisation parameter. AU - Fellner, Klemens AU - Fischer, Julian L AU - Kniely, Michael AU - Tang, Bao Quoc ID - 10550 JF - Journal of Nonlinear Science SN - 0938-8974 TI - Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion VL - 33 ER -