Buscar
Mostrando ítems 31-40 de 5133
Practical JFSL verification using TACO
(Wiley, 2013-11)
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 ...
Design and test of an adjustable quasi-zero stiffness device and its use to suspend masses on a multi-modal structure
(2021-05-01)
In some applications, such as ground vibration testing in the aerospace industry, it is of interest to observe the modal behaviour of a slender structure while it is statically loaded. One way of statically loading such a ...
Interference of high-heeled shoes in static balance among young women
(Elsevier B.V., 2014)
Characterization of the quasi-static and viscoelastic properties of orthopaedic bone cement at the macro and nanoscale.
Acrylic bone cement is often used in total joint replacement procedures to anchor an orthopaedic implant to bone. Bone cement is a viscoelastic material that exhibits creep and stress relaxation properties, which have been ...
Reliability and differentiation capability of dynamic and static kinematic measurements of rearfoot eversion in patellofemoral pain
(Elsevier B. V., 2015)
Excessive rearfoot eversion is thought to be a risk factor for patellofemoral pain development, due to the kinesiological relationship with ascendant adaptations. Individuals with patellofemoral pain are often diagnosed ...
Static security analysis using pipeline decomposition
(Iee-inst Elec EngHertfordInglaterra, 1998)