Results 121 to 130 of about 11,002,643 (373)

Implementing a Library for Probabilistic Programming using Non-strict Non-determinism [PDF]

arXiv, 2019
This paper presents PFLP, a library for probabilistic programming in the functional logic programming language Curry. It demonstrates how the concepts of a functional logic programming language support the implementation of a library for probabilistic programming.
arxiv  

Targeted metabolomics reveals novel diagnostic biomarkers for colorectal cancer

Molecular Oncology, EarlyView.
This study employed targeted metabolomic profiling to identify 302 distinct metabolites present in platelet‐rich plasma (PRP), revealing aberrant metabolic profiles amongst individuals diagnosed with colorectal cancer (CRC). Compared to carcinoembryonic antigen (CEA) and cancer antigen 19‐9 (CA199), our metabolite panel showed improved sensitivity ...
Zuojian Hu, Fenglin Shen, Yang Liu, Ziqing Zhong, Yongling Chen, Zhiyuan Xia, Cuiju Mo, Hongxiu Yu   +7 more
wiley   +1 more source

Monadic functional reactive programming [PDF]

Proceedings of the 2013 ACM SIGPLAN symposium on Haskell, 2013
Functional Reactive Programming (FRP) is a way to program reactive systems in functional style, eliminating many of the problems that arise from imperative techniques. In this paper, we present an alternative FRP formulation that is based on the notion of a reactive computation: a monadic computation which may require the occurrence of external events ...
openaire   +5 more sources

Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs [PDF]

arXiv, 2017
Probabilistic programs extend classical imperative programs with real-valued random variables and random branching. The most basic liveness property for such programs is the termination property. The qualitative (aka almost-sure) termination problem given a probabilistic program asks whether the program terminates with probability 1.
arxiv  

Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020) [PDF]

arXiv, 2020
This volume constitutes the pre-proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020), organized by the University of Bologna, Italy, as part of Bologna Federated Conference on Programming Languages 2020. The international Workshop on Functional and (constraint) Logic Programming (WFLP) aims at bringing together
arxiv  

KMT2A degradation is observed in decitabine‐responsive acute lymphoblastic leukemia cells

Molecular Oncology, EarlyView.
We demonstrate that decitabine (DEC) not only degrades the DNA methyltransferase DNMT1 but also the leukemic driver lysine methyltransferase KMT2A likely due to structural similarity of the DNA‐binding CXXC domains. DEC influences KMT2A downstream processes and synergizes with menin inhibitor revumenib (REV) to decrease leukemic cell proliferation, and
Luisa Brock, Lina Benzien, Sandra Lange, Maja Huehns, Alexandra Runge, Catrin Roolf, Anett Sekora, Gudrun Knuebel, Hugo Murua Escobar, Christian Junghanss, Anna Richter   +10 more
wiley   +1 more source

Linear and undulating resistance training programming induce similar outcomes on physical fitness in elderly women

Revista Brasileira de Cineantropometria e Desempenho Humano
The aim of the present study was to analyze the effect of two different types of resistance training programming (linear and daily undulating) on submaximal strength and functional capacity in elderly women.
Surama do Carmo Souza da Silva, Flavio de Oliveira Pires, Marifran Tomé Batista Junior, Larissa de Lourdes Padilha Serra, Carlos Brendo Ferreira Reis, Leudyenne Pacheco de Abreu, Paula Tâmara Vieira Teixeira Pereira, Christian Emmanuel Torres Cabido, Richard Diego Leite   +8 more
doaj   +1 more source

Polyfunctional CD8+CD226+RUNX2hi effector T cells are diminished in advanced stages of chronic lymphocytic leukemia

Molecular Oncology, EarlyView.
CD226+CD8+ T cells express elevated levels of RUNX2, exhibit higher proliferation capacity, cytokines and cytolytic molecules expression, and migratory capacity. In contrast, CD226−CD8+ T cells display an exhausted phenotype associated with the increased expression of co‐inhibitory receptors and impaired effector functions.
Maryam Rezaeifar, Shima Shahbaz, Anthea C. Peters, Spencer B. Gibson, Shokrollah Elahi   +4 more
wiley   +1 more source

Typed Contracts for Functional Programming [PDF]

, 2006
A robust software component fulfills a contract: it expects data satisfying a certain property and promises to return data satisfying another property. The object-oriented community uses the design-by-contract approach extensively. Proposals for language extensions that add contracts to higher-order functional programming have appeared recently.
Hinze, R., Jeuring, J.T., Löh, A.
openaire   +5 more sources

Stable models and an alternative logic programming paradigm [PDF]

The Logic Programming Paradigm, K.R. Apt, V.W. Marek, M. Truszczynski, D.S. Warren (eds.), pp. 375-398. Springer-Verlag, 1999, 1998
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate that inherent features of stable model semantics naturally lead to a logic programming system that offers an interesting alternative to more traditional logic programming ...
arxiv