Results 81 to 90 of about 13,083 (112)

The layer-oriented approach to declarative languages for biological modeling. [PDF]

PLoS Comput Biol, 2012
Raikov I, De Schutter E.
europepmc   +1 more source

Lambda-calculus, combinators and functional programming G. Revesz, Cambridge Univ. Press, 1988, 200 pp.

Advances in Mathematics
openaire   +1 more source

Mathematical biology modules based on modern molecular biology and modern discrete mathematics. [PDF]

CBE Life Sci Educ, 2010
Robeva R, Davies R, Hodge T, Enyedi A.
europepmc   +1 more source

Automated Intracellular Calcium Profiles Extraction from Endothelial Cells Using Digital Fluorescence Images. [PDF]

Int J Mol Sci, 2018
Sanchez-Tecuatl M, Vargaz-Guadarrama A, Ramirez-Cortes JM, Gomez-Gil P, Moccia F, Berra-Romani R.   +5 more
europepmc   +1 more source

Scanning sequences after Gibbs sampling to find multiple occurrences of functional elements. [PDF]

BMC Bioinformatics, 2006
Tharakaraman K, Mariño-Ramírez L, Sheetlin SL, Landsman D, Spouge JL.   +4 more
europepmc   +1 more source

Physics and proof theory.

Appl Math Comput, 2012
Paleo BW.
europepmc   +1 more source

Reevaluating the Role of Education in Cognitive Decline and Brain Aging: Insights from Large-Scale Longitudinal Cohorts across 33 Countries

Fjell A, Rogeberg O, Sørensen Ø, Amlien I, Bartres-Faz D, Brandmaier A, Cattaneo G, Duzel S, Grydeland H, Henson R, Kühn S, Lindenberger U, Lyngstad T, Mowinckel A, Nyberg L, Pascual-Leone A, Sole-Padulles C, Sneve M, Solana J, Stromstad M, Watne L, Walhovd KB, Vidal D.   +22 more
europepmc   +1 more source

World Congress on Osteoporosis, Osteoarthritis and Musculoskeletal Diseases (WCO-IOF-ESCEO 2025). [PDF]

Aging Clin Exp Res
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

An Introduction to Lambda Calculus and Functional Programming

2013 2nd Workshop-School on Theoretical Computer Science, 2013
Lambda calculus is a formal system built around the concepts of function definition and function application. It is a minimalistic Turing-computable system that has a great influence on the design of functional programming. This paper is a tutorial on the untyped lambda calculus and its use as an idealised programming language.
openaire   +3 more sources