Results 51 to 60 of about 1,138,309 (354)
Functional computations in logic programs [PDF]
ACM Transactions on Programming Languages and Systems, 1989 Although the ability to simulate nondeterminism and to compute multiple solutions for a single query is a powerful and attractive feature of logic programming languages, it is expensive in both time and space. Since programs in such languages are very often functional, that is, they do not produce more than one distinct solution for a single input ...
David S. Warren, Saumya K. Debray
openaire +2 more sources
, 2014 Equational theories that contain axioms expressing associativity and commutativity (AC) of certain operators are ubiquitous. Theorem proving methods in such theories rely on well-founded orders that are compatible with the AC axioms.
A. Ben Cherifa +16 more
core +2 more sources
Lifting Term Rewriting Derivations in Constructor Systems by Using Generators [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Narrowing is a procedure that was first studied in the context of equational E-unification and that has been used in a wide range of applications. The classic completeness result due to Hullot states that any term rewriting derivation starting from an ...
Adrián Riesco, Juan Rodríguez-Hortalá
doaj +1 more source
A First Step towards Learning which uORFs Regulate Gene Expression
Journal of Integrative Bioinformatics, 2006 We have taken a first step towards learning which upstream Open Reading Frames (uORFs) regulate gene expression (i.e., which uORFs are functional) in the yeast Saccharomyces cerevisiae.
Selpi +3 more
doaj +1 more source
jFuzzyLogic: a Java Library to Design Fuzzy Logic Controllers According to the Standard for Fuzzy Control Programming [PDF]
International Journal of Computational Intelligence SystemsFuzzy Logic Controllers are a specific model of Fuzzy Rule Based Systems suitable for engineering applications for which classic control strategies do not achieve good results or for when it is too difficult to obtain a mathematical model.
Pablo Cingolani, Jesús Alcalá-Fdez
doaj +1 more source
, 2013 Matrix Code gives imperative programming a mathematical semantics and heuristic power comparable in quality to functional and logic programming. A program in Matrix Code is developed incrementally from a specification in pre/post-condition form.
van Emden, M. H.
core +1 more source
Effects Without Monads: Non-determinism – Back to the Meta Language [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We reflect on programming with complicated effects, recalling an undeservingly forgotten alternative to monadic programming and checking to see how well it can actually work in modern functional languages. We adopt and argue the position of factoring an
Oleg Kiselyov
doaj +1 more source
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
PROLE, 2007 Sonia Estévez Martín +5 more
openalex +2 more sources
Binary addition in a living cell based on riboregulation. [PDF]
PLoS Genetics, 2018 Synthetic biology aims at (re-)programming living cells like computers to perform new functions for a variety of applications. Initial work rested on transcription factors, but regulatory RNAs have recently gained much attention due to their high ...
Arantxa Rosado +2 more
doaj +1 more source
Divergences on Monads for Relational Program Logics [PDF]
, 2022 Several relational program logics have been introduced for integrating reasoning about relational properties of programs and measurement of quantitative difference between computational effects. Towards a general framework for such logics, in this paper, we formalize quantitative difference between computational effects as divergence on monad, then ...
arxiv +1 more source