Results 31 to 40 of about 361,249 (239)
Relational Parametricity for Computational Effects [PDF]
, 2009 According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied.
Alex Simpson +8 more
core +3 more sources
Crosstalk between gut microbiota and tumor: tumors could cause gut dysbiosis and metabolic imbalance
Molecular Oncology, EarlyView.In this research, we analyzed the relationship between gut microbiota and tumor. We discovered that both subcutaneous and metastatic tumors would alter the composition and metabolic function of gut microbiota. Meanwhile, fecal microbiota transplantation also indicated the anti‐tumor role of the gut microbiota, revealing the crosstalk between tumor and ...
Siyuan Zhang +8 more
wiley +1 more source
The complexity of finite-valued CSPs
, 2016 We study the computational complexity of exact minimisation of rational-valued discrete functions. Let $\Gamma$ be a set of rational-valued functions on a fixed finite domain; such a set is called a finite-valued constraint language.
Thapper, Johan, Zivny, Stanislav
core +1 more source
Several types of types in programming languages [PDF]
, 2015 Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with
A Church +19 more
core +5 more sources
Molecular Oncology, EarlyView.The complex mode of action of the topoisomerase II inhibitor etoposide in triggering apoptosis involves several mechanisms: overexpression of the mitochondrial protein VDAC1, leading to its oligomerization and formation of a large channel that mediates the release of pro‐apoptotic protein; and overexpression of the apoptosis regulators p53, Bax, and ...
Aditya Karunanithi Nivedita +1 more
wiley +1 more source
Debating the OO debate: where is the problem? [PDF]
, 2008 : In this paper we discuss problems related to the teaching of object-oriented programming (OOP). We argue that more research on how the computer science teacher understands OOP would be beneficial. Our argument takes its point of departure in three sets
Berglund, A, Lister, RF
core
Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism
Annual Conference for Computer Science Logic, 2011 This paper revisits models of typed lambda calculus based on filters of intersection types: By using non-idempotent intersections, we simplify a methodology that produces modular proofs of strong normalisation based on filter models.
A. Bernadet, Stéphane Lengrand
semanticscholar +1 more source
Molecular and functional profiling unravels targetable vulnerabilities in colorectal cancer
Molecular Oncology, EarlyView.We used whole exome and RNA‐sequencing to profile divergent genomic and transcriptomic landscapes of microsatellite stable (MSS) and microsatellite instable (MSI) colorectal cancer. Alterations were classified using a computational score for integrative cancer variant annotation and prioritization.
Efstathios‐Iason Vlachavas +15 more
wiley +1 more source
Computational Complexity of the Minimum Cost Homomorphism Problem on Three-Element Domains [PDF]
, 2013 In this paper we study the computational complexity of the (extended) minimum cost homomorphism problem (Min-Cost-Hom) as a function of a constraint language, i.e.
Uppman, Hannes
core +2 more sources
Molecular Oncology, EarlyView.In patients treated with atezolizumab as a part of the MyPathway (NCT02091141) trial, pre‐treatment ctDNA tumor fraction at high levels was associated with poor outcomes (radiographic response, progression‐free survival, and overall survival) but better sensitivity for blood tumor mutational burden (bTMB).
Charles Swanton +17 more
wiley +1 more source