Results 111 to 120 of about 494,717 (236)
Objective Knee osteoarthritis (OA) commonly affects individuals with Type 2 diabetes (T2DM) and is associated with increased risk of diabetes‐related complications. To better understand potential mechanisms, we examined the association between symptomatic knee OA and glycemic control in individuals with T2DM.
Lauren K. King +10 more
wiley +1 more source
Formal verification of AI software [PDF]
The application of formal verification techniques to Artificial Intelligence (AI) software, particularly expert systems, is investigated. Constraint satisfaction and model inversion are identified as two formal specification paradigms for different ...
Rushby, John, Whitehurst, R. Alan
core +1 more source
New Onset of Fibromyalgia After Exposure to a Combat Environment: A Longitudinal Cohort Study
Objective Traumatic life events are hypothesized to be triggers for the onset of fibromyalgia. Posttraumatic stress disorder (PTSD) is a common comorbidity of fibromyalgia. However, limited prospective data are available on the development of fibromyalgia after exposure to high‐magnitude stress.
Jay B. Higgs +15 more
wiley +1 more source
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
It is a characteristic of swarm robotics that specifying overall emergent swarm behaviours in terms of the low-level behaviours of individual robots is very difficult.
Clare Dixon +4 more
doaj
A Robust Adaptive One‐Sample‐Ahead Preview Super‐Twisting Sliding Mode Controller
Block Diagram of the Robust Adaptive One‐Sample‐Ahead Preview Super‐Twisting Sliding Mode Controller. ABSTRACT This article introduces a discrete‐time robust adaptive one‐sample‐ahead preview super‐twisting sliding mode controller. A stability analysis of the controller by Lyapunov criteria is developed to demonstrate its robustness in handling both ...
Guilherme Vieira Hollweg +5 more
wiley +1 more source
Laser surface texturing significantly improves the corrosion resistance and mechanical strength of 3D‐printed iron polylactic acid (Ir‐PLA) for marine applications. Optimal laser parameters reduce corrosion by 80% and enhance tensile strength by 25% and ductility by 15%.
Mohammad Rezayat +6 more
wiley +1 more source
Predicting extreme defects in additive manufacturing remains a key challenge limiting its structural reliability. This study proposes a statistical framework that integrates Extreme Value Theory with advanced process indicators to explore defect–process relationships and improve the estimation of critical defect sizes. The approach provides a basis for
Muhammad Muteeb Butt +8 more
wiley +1 more source
The documentation of component manufacture has become an essential part of today's production processes, especially for the analysis and optimization of production or component design with regard to structural performance, economic efficiency, and sustainability.
Björn Denker +4 more
wiley +1 more source
This study demonstrates a novel noninvasive strategy to treat in‐stent restenosis using focused ultrasound. A shape memory alloy stent initially expands at body temperature. If restenosis occurs, targeted ultrasound heating thermally actuates the stent, enabling a secondary expansion to reopen the blocked vessel, offering a potential alternative to ...
Stephen Asare +3 more
wiley +1 more source
This article demonstrates the successful qualification of a copper–tungsten composite for laser powder bed fusion. The resulting components exhibited high density, high thermal conductivity, and reduced thermal expansion. Heat sinks with complex geometries were successfully manufactured, clearly showcasing the material's potential for additive ...
Simon Rauh +6 more
wiley +1 more source

