4757 search results - page 481 / 952 » Monads for Functional Programming |
162
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract The Little-Hopfield neural network programmed with Horn clauses is studied. We argue that the energy landscape of the system, corresponding to the inconsistency function f...
202
click to vote
AMC
2006
15 years 7 months ago
2006
This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churc...
175
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: The main aim of this study was to develop and implement an algorithm for the rapid, accurate and automated identification of paths leading from buried protein clefts, ...
169
click to vote
CPHYSICS
2006
15 years 7 months ago
2006
The theory of the point and double groups has been widely used in quantum physics to understand the structure and dynamical properties of molecules and solids. In order to constru...
134
click to vote
ENGL
2007
15 years 6 months ago
2007
The application of Genetic Algorithm (GA) to the optimization of gain of microstrip antenna, fabricated on ferrite substrate, biased externally by a steady magnetic field, is repor...