3128 search results - page 266 / 626 » Finite element method |
141
click to vote
ENTCS
2008
15 years 4 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
134
click to vote
JBI
2008
15 years 4 months ago
2008
The complexity of quantitative biomedical models, and the rate at which they are published, is increasing to a point where managing the information has become all but impossible w...
138
click to vote
MCS
2006
Springer
15 years 4 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...
136
click to vote
TCS
2008
15 years 4 months ago
2008
In this paper we study some classes of infinite words generalizing episturmian words, and analyse the relations occurring among such classes. In each case, the reversal operator R...
123
click to vote
CAD
2005
Springer
15 years 4 months ago
2005
Springer
Performance of various functions of the tissue structure depends on porous scaffold microstructures with specific porosity characteristics that influence the behavior of the incor...