-
181
Completely iterative monads in semantics of coinductive programs
Published 2014“…</p> <p>In the tradition of denotational semantics and functional programming, one can distinguish between pure computations, which are regarded as mathematical functions, and effectful ones, like those generating behaviour. …”
Thesis -
182
Verifying information flow and metaprogramming in dynamically typed languages
Published 2015“…To our knowledge, this is the first fully static information flow analysis for a language with staged metaprogramming, and the first formal soundness proof of a CFA-based information flow analysis for a functional programming language.…”
Dataset -
183
Identification and Characterization of Alternatively Spliced Transcript Isoforms of <i>IRX4</i> in Prostate Cancer
Published 2021-04-01“…These IRX4 isoforms might induce distinct functional programming that could contribute to PCa hallmarks, thus providing novel insights into diagnostic, prognostic and therapeutic significance in PCa management.…”
Get full text
Article -
184
Computable decision making on the reals and other spaces via partiality and nondeterminism
Published 2019“…We then introduce pattern matching on spaces, a language construct for creating programs on spaces, generalizing pattern matching in functional programming, where patterns need not represent decidable predicates and also may overlap or be inexhaustive, giving rise to nondeterminism or partiality, respectively. …”
Get full text
Article -
185
-
186
-
187
Functional Pearl: A fresh look at binary search trees
Published 2002“…Search trees are routinely covered in introductory computer science classes and they are widely used in functional programming courses to illustrate the benefits of algebraic data types and pattern matching. …”
Journal article -
188
Corticosterone rather than ethanol epigenetic programmed testicular dysplasia caused by prenatal ethanol exposure in male offspring rats
Published 2019-03-01“…Taken together, PEE caused testicular dysplasia in male offspring rats, which was associated with corticosterone-induced low-functional programming of 3β-HSD through the GR/SF1/HDAC2/H3K14ac pathway. …”
Get full text
Article -
189
VSSP-activated macrophages mediate senescence and tumor inhibition in a preclinical model of advanced prostate cancer
Published 2023-04-01“…Taken together, our results highlight the rationale of exploiting macrophage functional programming as a promising strategy for CRPC therapy, with particular emphasis on ex vivo-activated proinflammatory macrophage adoptive transfer. …”
Get full text
Article -
190
Functional regulation of microglia by vitamin B12 alleviates ischemic stroke-induced neuroinflammation in mice
Published 2024-04-01“…Thus, our preclinical studies highlight the relevance of VB12 in the functional programming of microglia to alleviate neuroinflammation, minimize ischemic injury, and improve host neurological recovery after ischemic stroke.…”
Get full text
Article -
191
Distributive interaction of algebraic effects
Published 2017“…<p>While monadic effects are widespread in modern functional programming, the idea of formulating computational effects as algebraic theories seems a less familiar one to programmers. …”
Thesis -
192
Alveolar Macrophages: Adaptation to Their Anatomic Niche during and after Inflammation
Published 2021-10-01“…After the complete resolution of the infectious episode, the functional programming of both embryonic and monocyte-derived ResAM remains altered for months and possibly for the entire life. …”
Get full text
Article -
193
Developmental toxicity and programming alterations of multiple organs in offspring induced by medication during pregnancy
Published 2023-02-01“…Combined with the latest research results of our laboratory, this paper reviews the latest research progress on the developmental toxicity and functional programming alterations of multiple organs in offspring induced by medication during pregnancy, which can provide a theoretical and experimental basis for rational medication during pregnancy and effective prevention and treatment of drug-related multiple fetal-originated diseases.…”
Get full text
Article -
194
Type system for resource bounds with type-preserving compilation
Published 2019Get full text
Thesis -
195
Functional quantum algorithms: a mélange of methods for matrix functions
Published 2024“…Finally, we also situate functional quantum algorithms among existing constructions in classical functional programming, identifying them as instances of monads, suggesting concrete directions for high-level, flexible quantum algorithmic design and analysis.…”
Get full text
Get full text
Thesis -
196
The Genome Analysis Toolkit: A MapReduce framework for analyzing next-generation DNA sequencing data
Published 2014“…Here, we discuss our Genome Analysis Toolkit (GATK), a structured programming framework designed to ease the development of efficient and robust analysis tools for next-generation DNA sequencers using the functional programming philosophy of MapReduce. The GATK provides a small but rich set of data access patterns that encompass the majority of analysis tool needs. …”
Get full text
Get full text
Article -
197
Development of decentralized data fusion algorithm with optimized kalman filter.
Published 2016“…The model collaborates data fusion technology with algorithm engineering domain, accordingly data fusion algorithm is optimized using sophisticated technique such as functional programming to reduce the processing delay and memory usage. …”
Get full text
Thesis -
198
-
199
Generic and Indexed Programming
Published 2012“…A good grounding is assumed in typed functional programming, as in Haskell or OCaml. Six lecturers from the programming languages community, each an acknowledged expert in their specialism, covered various aspects of generic and indexed programming; each gave about four hours’ lectures, distributed throughout the week of the school. …”
Conference item -
200
Natural γδT17 cell development and functional acquisition is governed by the mTORC2-c-Maf-controlled mitochondrial fission pathway
Published 2023-05-01“…Summary: Natural IL-17-producing γδ T cells (γδT17 cells) are unconventional innate-like T cells that undergo functional programming in the fetal thymus. However, the intrinsic metabolic mechanisms of γδT17 cell development remain undefined. …”
Get full text
Article