ARTÍCULO
TITULO

Automated computation and consistency checking of physical dimensions and units in scientific programs

Petty    
Grant W.    

Resumen

No disponible

 Artículos similares

       
 
Vasyl Lytvyn,Victoria Vysotska,Ihor Budz,Yaroslav Pelekh,Nataliia Sokulska,Roman Kovalchuk,Lyudmyla Dzyubyk,Oksana Tereshchuk,Myroslav Komar     Pág. 28 - 51
The peculiarities of the application of linguo-statistics technologies for the identification of the style of the author of text content of scientific and technical profile are considered. Quantitative linguistic analysis of a text uses the benefits of c... ver más

 
Christian Muise     Pág. 67 - 74
Dead-end detection is a key challenge in automated planning, and it is rapidly growing in popularity. Effective dead-end detection techniques can have a large impact on the strength of a planner, and so the effective computation of dead-ends is central t... ver más

 
Zhiyu Shao, Xiaoyuan Zhang, Shuang Li, Shihu Deng, Hongxiang Chai     Pág. 1 - 14
An automated algorithm based on the dynamic hydrological and hydraulic simulation modules in Storm Water Management Model (SWMM) was developed to aid the design of storm sewer networks, provided that a layout is given. Numerical performance of the propos... ver más
Revista: Water

 
Foley, C. M. Schinler, D.     Pág. 648 - 660