Results 41 to 50 of about 681,398 (337)

Functional programming with combinators

Journal of Symbolic Computation, 1987
Combinators are shown to provide a very suitable basis for implementations of functional and symbolic computation in computer architecture. A powerful combinator reduction system is developed which meets programmers and machine requirements for (i) efficiency of representation and execution of symbolic algorithms, and (ii) availability of algebraic ...
openaire   +3 more sources

Singular and Plural Functions for Functional Logic Programming

, 2012
Functional logic programming (FLP) languages use non-terminating and non-confluent constructor systems (CS's) as programs in order to define non-strict non-determi-nistic functions.
ADRIÁN RIESCO, Antoy, Antoy, Ariola, Borovanský, Brassel, Brassel, Brassel, Caballero, Clavel, DeGroot, Dijkstra, Echahed, Escobar, Futatsugi, González-Moreno, González-Moreno, Hanus, Hanus, Hughes, JUAN RODRÍGUEZ-HORTALÁ, Launchbury, Lucas, Lucas, López-Fraguas, López-Fraguas, López-Fraguas, López-Fraguas, López-Fraguas, Plasmeijer, Riesco, Roy, Sterling, Søndergaard, Wadler, Warren   +35 more
core   +1 more source

Circulating histones as clinical biomarkers in critically ill conditions

FEBS Letters, EarlyView.
Circulating histones are emerging as promising biomarkers in critical illness due to their diagnostic, prognostic, and therapeutic potential. Detection methods such as ELISA and mass spectrometry provide reliable approaches for quantifying histone levels in plasma samples.
José Luis García‐Gimenez, Juan Carlos Ruiz‐Rodríguez, Ricard Ferrer, Raquel Durá, Antonio Artigas, Iván Bajaña, David Bolado López de Andujar, Irene Cánovas‐Cervera, Adrián Ceccato, Luis Chiscano‐Camón, Elena Climent‐Martinez, Georgia García Fernández, Gemma Goma, Verónica Monforte, Beatriz Quevedo‐Sánchez, Adolf Ruiz‐Sanmartín, Antonio Sierra‐Rivera, Nieves Carbonell Monleón   +17 more
wiley   +1 more source

Functional programming framework for GRworkbench

, 2007
The software tool GRworkbench is an ongoing project in visual, numerical General Relativity at The Australian National University. Recently, the numerical differential geometric engine of GRworkbench has been rewritten using functional programming ...
Andrew J. Moylan, Antony C. Searle, B.J.K. Evans, M. Karim, Susan M. Scott   +4 more
core   +1 more source

Functional programming with bananas, lenses, envelopes and barbed wire [PDF]

, 1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs.
Fokkinga, Maarten, Meijer, Erik, Paterson, Ross   +2 more
core   +5 more sources

The epithelial barrier theory proposes a comprehensive explanation for the origins of allergic and other chronic noncommunicable diseases

FEBS Letters, EarlyView.
Exposure to common noxious agents (1), including allergens, pollutants, and micro‐nanoplastics, can cause epithelial barrier damage (2) in our body's protective linings. This may trigger an immune response to our microbiome (3). The epithelial barrier theory explains how this process can lead to chronic noncommunicable diseases (4) affecting organs ...
Can Zeyneloglu, Huseyn Babayev, Ismail Ogulur, Sena Ardicli, Yagiz Pat, Duygu Yazici, Bingjie Zhao, Lihong Chang, Xiaoqing Liu, Paolo D'Avino, Manru Li, Ceren Biçer, Fatma Hacer Kurtoğlu Babayev, Raja Dhir, Kari C. Nadeau, Marie‐Charlotte Brüggen, Mubeccel Akdis, Cezmi A. Akdis   +17 more
wiley   +1 more source

Erythropoietin mediates re-programming of endotoxin-tolerant macrophages through PI3K/AKT signaling and protects mice against secondary infection

Frontiers in Immunology, 2022
Initial lipopolysaccharide (LPS) exposure leads to a hypo-responsive state by macrophages to a secondary stimulation of LPS, known as endotoxin tolerance.
Xue Zhang, Dan He, Jialin Jia, Feihong Liang, Jie Mei, Wenhua Li, Tingting Liu, Zhiyu Wang, Yu Liu, Fengxue Zhang, Zhiren Zhang, Bangwei Luo   +11 more
doaj   +1 more source

Solving Functional Constraints by Variable Substitution [PDF]

, 2009
Functional constraints and bi-functional constraints are an important constraint class in Constraint Programming (CP) systems, in particular for Constraint Logic Programming (CLP) systems.
Yap, Roland H. C., Zhang, Yuanlin
core  

On the Equivalence Between CMC and TIM [PDF]

, 1994
In this paper we present the equivalence between TIM, a machine developed to implement lazy functional programming languages, and the set of Categorical Multi-Combinators, a rewriting system developed with similar aims.
Jones, Simon L. Peyton, Lins, Rafael D., Thompson, Simon   +2 more
core   +1 more source

C‐mannosylation promotes ADAMTS1 activation and secretion in human testicular germ cell tumor NEC8 cells

FEBS Letters, EarlyView.
C‐mannosylation is a unique form of protein glycosylation. In this study, we demonstrated that ADAMTS1 is C‐mannosylated at Trp562 and Trp565 in human testicular germ cell tumor NEC8 cells. We found that C‐mannosylation of ADAMTS1 is essential for its secretion, processing, enzymatic activity, and ability to promote vasculogenic mimicry. These findings
Takato Kobayashi, Takehiro Suzuki, Ryota Kawahara, Natsumi Harai, Naoshi Dohmae, Siro Simizu   +5 more
wiley   +1 more source