6978 search results - page 178 / 1396 » On Proofs in System P |
159
click to vote
IJFCS
2006
15 years 6 months ago
2006
We continue here the study of the recently introduced spiking neural P systems, which mimic the way that neurons communicate with each other by means of short electrical impulses, ...
165
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
Basic exploration of diffusion equation solvers in distributed computing systems has been a very important issue for computational fluid dynamics (CFD). This paper presents a funda...
168
click to vote
JUCS
2007
15 years 6 months ago
2007
: Spiking neural P systems are computing models inspired from the way the neurons communicate by means of spikes, electrical impulses of identical shapes. In this note we consider ...
182
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
159
click to vote
ACTA
2006
15 years 6 months ago
2006
The P systems (or membrane systems) are a class of distributed parallel computing devices of a biochemical type, where membrane division is the frequently investigated way for obta...