Now showing items 1-10 of 704
A refined FSDT for the static analysis of functionally graded sandwich plates
(Elsevier Ltd, 2017)
Forming Teams for Teaching Programming based on Static Code Analysis
The use of team for teaching programming can be effective in the classroom because it helps students to generate and acquire new knowledge in less time, but these groups to be formed without taking into account some respects, ...
An enriched macro finite element for the static analysis of thick general quadrilateral laminated composite plates
This article presents the formulation of an enriched macro finite element based on the trigonometric shear deformation theory for the static analysis of symmetrically laminated composite plates. Shear correction factor is ...
Static security analysis using pipeline decomposition
(Iee-inst Elec EngHertfordInglaterra, 1998)
Interference of high-heeled shoes in static balance among young women
(Elsevier B.V., 2012-10-01)
The aim of the present study was to assess the effect of the use of high-heeled shoes on static balance in young adult women. Fifty-three women between 18 and 30 years of age and accustomed to wearing high-heeled shoes ...
Analyzing static three-dimensional elastic domains with a new infinite boundary element formulation
(ELSEVIER SCI LTD, 2010)
A new two-dimensionally mapped infinite boundary element (IBE) is presented. The formulation is based on a triangular boundary element (BE) with linear shape functions instead of the quadrilateral IBEs usually found in the ...
STATIC ANALYSIS AND OPTIMIZATION OF SEMANTIC WEB QUERIES
(ASSOCIATION FOR COMPUTING MACHINERY, 2013)
Finite-element analysis of a static fluid-solid interaction problem
(OXFORD UNIV PRESS, 2011)
Critical evaluation of direct and iterative methods for solving Ax=b systems in power flow calculations and contingency analysis
(Ieee-inst Electrical Electronics Engineers IncNew YorkEUA, 1999)
Practical JFSL verification using TACO
Translation of Annotated COde (TACO) is a SAT-based tool for bounded verification of Java programs. One challenge many formal tools share is to provide a practical interface for a non-proficient user. In this article, we ...