Sciweavers

2335 search results - page 103 / 467
» Functional Differentiation of Computer Programs
Sort
View
INFORMATICALT
2007
127views more  INFORMATICALT 2007»
15 years 2 months ago
Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loo
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
Vytautas Cyras
116
Voted
FCT
2003
Springer
15 years 7 months ago
Membrane Computing
: In this paper a comparison is provided between the membrane computing systems and the graphical interfaces of operating systems. A membrane computing system is a computing model ...
Gheorghe Paun
80
Voted
IADIS
2003
15 years 3 months ago
Improving Internet Research Methods: A Web Laboratory
We describe the current state of a resource that enables research in the human sciences with differential access rights for experimenters and participants in experiments. We outli...
Maria Buckley, Carl Vogel
76
Voted
EOR
2006
71views more  EOR 2006»
15 years 2 months ago
Control and optimal response problems for quasilinear impulsive integrodifferential equations
One of the central results of the paper is the Pontryagin maximum principle [16] which is considered in sufficient form for the linear case of impulsive differential equations. Th...
M. U. Akhmet, M. Kirane, M. A. Tleubergenova, Gerh...
117
Voted
JCB
2000
129views more  JCB 2000»
15 years 1 months ago
Prediction of RNA Base Pairing Probabilities on Massively Parallel Computers
We present an implementation of McCaskill's algorithm for computing the base pair probabilities of an RNA molecule for massively parallel message passing architectures. The p...
Martin Fekete, Ivo L. Hofacker, Peter F. Stadler