6960 search results - page 243 / 1392 » Continuity Analysis of Programs |
114
Voted
MOC
2002
15 years 3 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...
138
Voted
EUSFLAT
2009
15 years 1 months ago
2009
This paper presents a continuation of the study on a mathematical morphology based on left-continuous conjunctive uninorms given in [1]. Experimental results are displayed using th...
115
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
123
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: In an epitope-based vaccine setting, the use of conserved epitopes would be expected to provide broader protection across multiple strains, or even species, than epito...
115
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Recently, microarray data analyses using functional pathway information, e.g., gene set enrichment analysis (GSEA) and significance analysis of function and expression...