Results 311 to 320 of about 1,138,309 (354)

Transcriptomic Evidence Reveals the Dysfunctional Mechanism of Synaptic Plasticity Control in ASD. [PDF]

Genes (Basel)
Kong C, Bing Z, Yang L, Huang Z, Wang W, Grebogi C.   +5 more
europepmc   +1 more source

Design, construction, and deployment of a multi-locus transcranial magnetic stimulation system for clinical use

Sinisalo H, Kahilakoski O, Souza VH, Nieminen JO, Rantala R, Tommila T, Usuga I, Laine M, Ahola O, Gallegos E, Kozák G, Vetter DE, Rissanen I, Jooß A, Matsuda R, Soto AM, Li D, Humaidan D, Stenroos M, Roine T, Kičić D, Ziemann U, Ilmoniemi RJ.   +22 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Probabilistic Functional Logic Programming

International Symposium on Practical Aspects of Declarative Languages, 2017
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.
Sandra Dylus, Jan Christiansen, Finn Teegen   +2 more
openaire   +3 more sources

A Higher Order Rewriting Logic for Functional Logic Programming

International Conference on Logic Programming, 1997
According to a well known conception, programs in a declarative programming language can be viewed as theories in some suitable logic, while computations can be viewed as deductions.
J. C. Moreno, Maria Teresa Hortalá-González, M. Rodríguez-Artalejo   +2 more
semanticscholar   +1 more source

Specialization of lazy functional logic programs

ACM SIGPLAN Notices, 1997
Partial evaluation is a method for program specialization based on fold/unfold transformations [8, 25]. Partial evaluation of pure functional programs uses mainly static values of given data to specialize the program [15, 44]. In logic programming, the so-called static/dynamic distinction is hardly present, whereas considerations of determinacy and ...
Alpuente, M., Falaschi, M., Iranzo, P., Vidal, G.   +3 more
openaire   +3 more sources

A Call-by-Need Strategy for Higher-Order Functional-Logic Programming

ILPS, 1995
A CallbyNeed Strategy for HigherOrderFunctionalLogic ProgrammingChristian PrehoferTechnische Universitat M unchenprehoferinformatiktumuenchendeAbstractWe present an approach to truely higherorder functionallogic programmingbased on higherorder ...
C. Prehofer
semanticscholar   +1 more source

A general framework for lazy functional logic programming with algebraic polymorphic types

Theory and Practice of Logic Programming, 2001
We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data constructors obey a set [Cscr ] of equational axioms.
P. Arenas, M. Rodríguez-Artalejo
semanticscholar   +1 more source

Integrating logic and functional programming

Lisp and Symbolic Computation, 1989
The intent of this article is twofold: To survey prominent proposals for the integration of logic and functional programming and to present a new paradigm for the same purpose. We categorize current research into four types of approaches, depending on the level at which the proposed integration is achieved. Unlike most current work, our approach is not
Hassan Aït-Kaci, Roger Nasr
openaire   +2 more sources