Results 81 to 90 of about 147,066 (311)
Behavioural Reactivity and Real Time Programming in XML: Functional Programming meets SMIL animation [PDF]
, 2004 XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have begun to appear, as have models and platforms for adaptive presentations ...
Peter King +5 more
core +1 more source
Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation
FEBS Letters, EarlyView.Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz +11 more
wiley +1 more source
A Comparison of Functional and Imperative Programming Techniques for Mathematical Software Development [PDF]
Journal of Systemics, Cybernetics and Informatics, 2014 Functional programming has traditionally been considered elegant and powerful, but also somewhat impractical for ordinary computing. Proponents of functional programming claim that the evolution of functional languages makes their use feasible in many ...
Scott Frame, John W. Coffey
doaj
On representation of simulation time in functional programming style
Труды Института системного программирования РАН, 2019 Functional programming plays the big role in the modern computer science and its importance is growing. This is not accidential: this approach helps to create better and more reliable software that is easy to reason about (both manually and automatically)
D. V. Buzdalov +2 more
doaj +1 more source
From Principles to Practice with Class in the First Year [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We propose a bridge between functional and object-oriented programming in the first-year curriculum. Traditionally, curricula that begin with functional programming transition to a professional, usually object-oriented, language in the second course ...
Sam Tobin-Hochstadt, David Van Horn
doaj +1 more source
An isoform of 14‐3‐3 protein regulates transbilayer lipid movement at the plasma membrane
FEBS Letters, EarlyView.Loss of 14‐3‐3ζ in CHO cells confers resistance to exogenous phosphatidylserine (PS) and impairs endocytosis‐independent inward flip‐flop of fluorescent PS at the plasma membrane. RNAi‐mediated knockdown reproduces this defect, while no additive effect is seen in ATP11C‐deficient cells.
Akiko Yamaji‐Hasegawa +3 more
wiley +1 more source
Promoting Non-Strict Programming [PDF]
, 2006 In a non-strict functional programming language functions that yield the same result for all total arguments can still differ for partial arguments, that is, they differ in their strictness. Here a Haskell library is presented that enables the programmer
Chitil, Olaf
core
A principled approach to programming with nested types in Haskell
, 2009 Initial algebra semantics is one of the cornerstones of the theory of modern functional programming languages. For each inductive data type, it provides a Church encoding for that type, a build combinator which constructs data of that type, a fold ...
Ghani, Neil, Johann, Patricia
core +1 more source
The ubiquitin ligase RNF115 is required for the clearance of damaged lysosomes
FEBS Letters, EarlyView.Upon lysosomal rupture, an E3 ubiquitin ligase RNF115 translocates from the cytosol to the damaged lysosomal membrane. Moreover, RNF115 depletion impairs the clearance of damaged lysosomes, identifying it as a key regulator of lysosomal quality control.
Sae Nakanaga +3 more
wiley +1 more source
A programming model and foundation for lineage-based distributed computation
, 2018 The most successful systems for “big data” processing have all adopted functional APIs. We present a new programming model, we callfunction passing, designed to provide a more principled substrate, or middleware, upon which to build data-centric ...
Miller, Heather, +5 more
core +1 more source