2911 search results - page 232 / 583 » A Theory of Expressiveness in Mechanisms |
166
click to vote
NAR
2006
15 years 6 months ago
2006
Alternative splicing is an important regulatory mechanism of mammalian gene expression. The alternative splicing database (ASD) consortium is systematically collecting and annotat...
148
click to vote
IJHPCA
2007
15 years 6 months ago
2007
While MPI is the most common mechanism for expressing parallelism, MPI programs are not composable by using current MPI process managers or parallel shells. We introduce MPISH2, an...
172
click to vote
GPEM
2002
15 years 6 months ago
2002
Push is a programming language designed for the expression of evolving programs within an evolutionary computation system. This article describes Push and illustrates some of the o...
181
click to vote
IANDC
1998
15 years 6 months ago
1998
We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechan...
148
click to vote
MOC
2002
15 years 6 months ago
2002
In this paper, we propose and study different mixed variational methods in order to approximate with finite elements the unilateral problems arising in contact mechanics. The discr...