44 search results - page 5 / 9 » The Mathematical Model of Subtractive Hybridization and Its ... |
GIAE
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
ISIPTA
2003
IEEE
14 years 22 days ago
2003
IEEE
The finite element method is widely used for solving various problems in geotechnical engineering practice. The input parameters required for the calculations are generally impre...
HYBRID
2010
Springer
14 years 1 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
PE
2002
Springer
13 years 7 months ago
2002
Springer
This work addresses the resource sharing problem in broadband communication networks that can guarantee some quality of service (QoS), and develops some results about data source ...
ENTCS
2008
13 years 7 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...