13 papers · ranked by Valyu relevance
Maria-Paz Garcia-Cuellar, Robert K. Slany
The nuclear oncoprotein SET (patient “SE” translocation) has been implicated in the etiology of MLL/KMT2A-fusion induced leukemia. Here we examine the details of this dependency in murine, primary hematopoietic cells. Experiments demonstrated Set as downstream target of HoxA9 and a direct interactor of Mll/Kmt2A.…
Sarangi, Soutrik, Sverdlov, Yonatan + 4 more
Motivated by applications for set containment problems, we consider the following fundamental problem: can we design set-to-vector functions so that the natural partial order on sets is preserved, namely S ⊆ T if and only if F(S) ≤ F(T). We call functions satisfying this property Monotone and Separating (MAS) set…
Jose E. Escrig Molina, Baoquan Chen, Daniel Probst
We introduce the Graph Set Transformer (GST), a neural network architecture for learning on sets of graphs, designed for tasks in which per-element predictions depend on set-wide context as well as local structure. Existing architectures, including DeepSets and SetTransformer, require pre-encoded graph embeddings from…
HYA Au, AT Szczurek, I de Krijger, N Kjelstrup-Osorio + 4 more
Histone H3 lysine 4 trimethylation (H3K4me3) at gene promoters is thought to play a central role in gene transcription. H3K4 methylation is deposited by the SET1 (A/B) and MLL (1-4) multi-protein complexes, but discovering how these essential enzymes shape H3K4me3 has been extremely challenging due to their…
Authors not listed
We present an open source collection of scripts and programs for the setup, management and evaluation of calculations with the Vienna ab-initio simulation package (VASP), called utils4VASP. It contains 20 independent Python scripts and Fortran programs, all with a unified and intuitive handling concept based on command…
Xiufang Sun, Ruze Zhang, Dan Li, Xuan Guang + 1 more
The problem of multi-function computation over a directed acyclic network is investigated in this paper. In such a network, a sink node is required to compute with zero error multiple vector-linear functions, where each vector-linear function has distinct inputs generated by multiple source nodes. The computing rate…
Thorsten Altenkirch, Nathaniel Burke, Philip Wadler
Defining substitution for a language with binders like the simply typed λ-calculus requires repetition, defining substitution and renaming separately. To verify the categorical properties of this calculus, we must repeat the same argument many times. We present a lightweight method that avoids repetition and that gives…
Mateus de Oliveira Oliveira, Wim Van den Broeck
Functional decomposition is the process of breaking down a function into a composition = (1, . . . , ) of simpler functions 1, . . . , belonging to some class F. This fundamental notion can be used to model applications arising in a wide variety of contexts, ranging from machine learning to formal language theory. In…
Authors not listed
Accurate estimates of the spin-splitting energy (SSE) are essential for proper modeling of transition metal complex (TMC) catalysts and functional materials but are notoriously challenging to achieve. Over a large set of over 450 TMCs, we demonstrate that adding Hartree–Fock exchange (HFX) to semilocal density…
Steven A. Frank, Antonio M. Scarfone
Diverse learning algorithms, optimization methods, and natural selection share a common mathematical structure despite their apparent differences. Here, I show that a simple notational partitioning of change by the Price equation reveals a universal force-metric-bias (FMB) law: $Δθ=(Mf+b+ξ)$. The force $f$ drives…
Authors not listed
This paper investigates several chemical systems through the lens of hyperstructures and superhyperstructures. We first review Chemical HyperStructures and Chemical SuperHyperStructures defined by redox-driven hyperoperations on species sets with maximal electromotive force selection. Building on the general (m,n)-…
Francesca Bellazzi
Proteins are often defined as the molecules that enable life thanks to the special functions they display. But what are proteins’ functions? Despite their relevance in various debates, the answer to this question is often left implicit. This paper argues that a correct characterisation of proteins’ functions must…
David Fuenmayor
We explore the expressive power of HOL, a system of higher-order logic, and its relationship to the simply-typed lambda calculus and Church's simple theory of types, arguing for the potential of HOL as a unifying logical framework, capable of encoding a broad range of logical systems, including modal and non-classical…