Results 41 to 50 of about 361,249 (239)
Applying inspection to object-oriented software [PDF]
, 1995 The benefits of the object-oriented paradigmare widely cited. At the same time, inspection is deemed to be the most cost-effective means of detecting defects in software products.
Brooks, A. +4 more
core +1 more source
No value restriction is needed for algebraic effects and handlers
, 2016 We present a straightforward, sound Hindley-Milner polymorphic type system for algebraic effects and handlers in a call-by-value calculus, which allows type variable generalisation of arbitrary computations, not just values. This result is surprising. On
Kammar, Ohad, Pretnar, Matija
core +1 more source
Genomics‐led approach to drug testing in models of undifferentiated pleomorphic sarcoma
Molecular Oncology, EarlyView.GA text Genomic data from undifferentiated pleomorphic sarcoma patients and preclinical models were used to inform a targeted drug screen. Selected compounds were tested in 2D and 3D cultures of UPS cell lines. A combination of trametinib and infigratinib was synergistic in the majority of UPS cell lines tested, which was further confirmed in an ex ...
Piotr J. Manasterski +19 more
wiley +1 more source
The Sketch of a Polymorphic Symphony
, 2002 In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific behaviour.
Laemmel, Ralf
core +2 more sources
A finer reduction of constraint problems to digraphs [PDF]
, 2015 It is well known that the constraint satisfaction problem over a general relational structure A is polynomial time equivalent to the constraint problem over some associated digraph.
Bulín, Jakub +3 more
core +1 more source
Possible role of human ribonuclease dicer in the regulation of R loops
FEBS Open Bio, EarlyView.R loops play an important role in regulating key cellular processes such as replication, transcription, centromere stabilization, or control of telomere length. However, the unscheduled accumulation of R loops can cause many diseases, including cancer, and neurodegenerative or inflammatory disorders. Interestingly, accumulating data indicate a possible
Klaudia Wojcik +2 more
wiley +1 more source
Relational parametricity for higher kinds [PDF]
, 2012 Reynolds’ notion of relational parametricity has been extremely influential and well studied for polymorphic programming languages and type theories based on System F.
Atkey, Robert
core +2 more sources
Comparative study of adenosine 3′‐pyrophosphokinase domains of MuF polymorphic toxins
FEBS Open Bio, EarlyView.With the ultimate goal of understanding the association of toxin‐immunity modules to temperate phages, we characterized toxins from three prophages and examined cross‐protection from immunity proteins. The toxins exhibit adenosine 3′‐pyrophosphokinase activity and are toxic in Escherichia coli.
Eloïse M. Paulet +6 more
wiley +1 more source
The Complexity of Combinations of Qualitative Constraint Satisfaction Problems
, 2020 The CSP of a first-order theory $T$ is the problem of deciding for a given finite set $S$ of atomic formulas whether $T \cup S$ is satisfiable. Let $T_1$ and $T_2$ be two theories with countably infinite models and disjoint signatures.
Bodirsky, Manuel, Greiner, Johannes
core +1 more source
Mitochondrial DNA disorders in neuromuscular diseases in diverse populations
Annals of Clinical and Translational Neurology, EarlyView.Abstract Neuromuscular features are common in mitochondrial DNA (mtDNA) disorders. The genetic architecture of mtDNA disorders in diverse populations is poorly understood. We analysed mtDNA variants from whole‐exome sequencing data in neuromuscular patients from South Africa, Brazil, India, Turkey and Zambia. In 998 individuals, there were two definite
Fei Gao +34 more
wiley +1 more source