Results 11 to 20 of about 3,784,922 (268)
Mechanizing Nonstandard Real Analysis [PDF]
LMS Journal of Computation and Mathematics, 2000 AbstractThis paper first describes the construction and use of the hyperreals in the theorem-prover Isabelle within the framework of higher-order logic (HOL). The theory, which includes infinitesimals and infinite numbers, is based on the hyperreal number system developed by Abraham Robinson in his nonstandard analysis (NSA).
Jacques D. Fleuriot, Lawrence C. Paulson
openaire +3 more sources
Frontiers in Materials, 2021 In order to analyze the influence mechanism of delay period on the mechanical properties of reactive powder concrete (RPC), the compressive strength of RPC with delay periods of 18, 24, and 30 h was tested at the age of 7, 28, and 90 days, respectively ...
Xiaohui Wang +4 more
doaj +1 more source
On Λ-Fractional Analysis and Mechanics [PDF]
Axioms, 2022 Λ-Fractional analysis was introduced to fill up the mathematical gap exhibited in fractional calculus, where the various fractional derivatives fail to fulfill the prerequisites demanded by differential topology. Nevertheless, the various advantages exhibited by the fractional derivatives, and especially their non-local character, attracted the ...
openaire +3 more sources
Preparation and Performance of Al2O3/Ti(C,N)-Added ZrO2 Whisker and NanoCoated CaF2@Al(OH)3 Powder
Applied Sciences, 2020 The Al2O3/Ti(C,N) ceramic material added micron ZrO2 whisker and nano coated CaF2@Al(OH)3 powder was fabricated. The micron ZrO2 whisker was for the toughening and reinforcing phase and the nano coated CaF2@Al(OH)3 powder was the lubricant. For obtaining
Qi Li +6 more
doaj +1 more source
Frontiers in Psychology, 2014 The aim of this chapter is to identify the most representative measures of subjective and objective mental workload in driving, and to understand how the subjective and objective levels of mental workload influence the performance as a function of ...
Julie ePaxion +3 more
doaj +1 more source
Analysis of Mechanical Oscillations by Speckling [PDF]
Applied Optics, 1972 The application of the speckle phenomenon to the analysis of in-plane translations and oscillations is first reviewed briefly. Then a practical method of investigating out-of-plane rotations (tilts) even in the presence of in-plane movements is studied.
openaire +4 more sources
Kinematic analysis of Bricard’s mechanism [PDF]
Nonlinear Dynamics, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Arponen, Teijo +2 more
openaire +1 more source
Applied SciencesUnderstanding the determinants of crash injury severity is essential for developing effective safety strategies and reducing traffic-related losses. This study proposes a hybrid analytical framework that integrates interpretable machine learning with ...
Chenxi Wang, Thierry Serre
doaj +1 more source
How do housing prices affect a city's innovation capacity? The case of China
Technological and Economic Development of Economy, 2023 Using panel data from 269 Chinese cities, this study examined the impact of housing prices (HP) on cities’ innovation capacity (IC) in China. Firstly, a fixed effect model was used to analyze the effect of HP on cities’ IC in China, revealing that HP ...
Yemin Ding +4 more
doaj +1 more source
Robotic skins inspired by auxetic metamaterials for programmable bending of soft actuators
Materials & DesignThis paper presents a class of robotic skins inspired by auxetic metamaterials, which enable programmable bending in soft pneumatic actuators. The efficiency of these robotic skins in controlling bending curvature and hoop expansion of the soft actuators
Yichen Pu +4 more
doaj +1 more source