Results 61 to 70 of about 681,398 (337)
Transforming Functional Logic Programs into Monadic Functional Programs [PDF]
, 2011 We present a high-level transformation scheme to translate lazy functional logic programs into pure Haskell programs. This transformation is based on a recent proposal to efficiently implement lazy non-deterministic computations in Haskell in a monadic style.
Bernd Braßel +3 more
openaire +1 more source
Adding Real-time Capabilities to a SML Compiler
, 2016 There has been much recent interest in adopting functional and reactive programming for use in real-time system design. Moving toward a more declarative methodology for developing real-time systems purports to improve the fidelity of software.
Li, Muyuan +4 more
core +1 more source
FEBS Letters, EarlyView.Single‐cell RNA sequencing reveals an opposite role of SLPI in basal tumors based on metastatic spread, along with shared activation of specific regulons in cancer cells and mature luminal lactocytes, as well as downregulation of MALAT1 and NEAT1 in the latter.
Pietro Ancona +4 more
wiley +1 more source
Efficient Procedure Improving Precision of High Conditioned Matrices in Electronic Circuits Analysis [PDF]
Radioengineering, 2018 In this article, we propose several improvements that could be done to SPICE simulator. The first is based on a functional implementation of device models. The advantages of functional implementation are demonstrated on basic Shichman-Hodges model of MOS
D. Cerny, J. Dobes, S. Banas
doaj
Cancer cell death induced by the NAD antimetabolite Vacor discloses the antitumor potential of SARM1
FEBS Letters, EarlyView.Vacor, a compound converted into the toxic metabolite Vacor adenine dinucleotide (VAD) by the nicotinamide salvage pathway enzymes NAMPT and NMNAT2, exhibits antitumor activity by inducing rapid and complete NAD depletion. We report that Vacor toxicity is limited to cell lines expressing high levels of SARM1, a NAD glycohydrolase.
Giuseppe Ranieri +5 more
wiley +1 more source
An experimental study on performance portability of OpenCL kernels [PDF]
, 2010 Accelerator processors allow energy-efficient computation at high performance, especially for computationintensive applications. There exists a plethora of different accelerator architectures, such as GPUs and the Cell Broadband Engine.
D'Haene, Joris +3 more
core
Protein kinase FAM20C—when subcellular localization matters
FEBS Letters, EarlyView.FAM20C is a Golgi‐resident kinase that phosphorylates proteins along the entire secretory pathway. The presence of potential FAM20C substrates in the cytoplasm or nucleus raises the question of how the kinase and its substrates encounter each other. Protein kinases achieve signaling specificity through consensus sequence recognition and subcellular ...
Francesca Noventa, Mauro Salvi
wiley +1 more source
Pattern-Based Test Suite Reduction Method for Smart Contracts
Applied SciencesTesting in the software development process is one of the crucial disciplines. The immutability of deployed smart contracts makes tests particularly important in their design and implementation.
Tomasz Górski
doaj +1 more source
Plasmodium falciparum gametogenesis essential protein 1 (GEP1) is a transmission‐blocking target
FEBS Letters, EarlyView.This study shows Plasmodium falciparum GEP1 is vital for activating sexual stages of malarial parasites even independently of a mosquito factor. Knockout parasites completely fail gamete formation even when a phosphodiesterase inhibitor is added. Two single‐nucleotide polymorphisms (V241L and S263P) are found in 12%–20% of field samples.
Frederik Huppertz +5 more
wiley +1 more source
Functional Programming with Relations [PDF]
, 1991 While programming in a relational framework has much to offer over the functional style in terms of expressiveness, computing with relations is less efficient, and more semantically troublesome. In this paper we propose a novel blend of the functional and relational styles.
openaire +3 more sources