Results 81 to 90 of about 8,484,552 (340)
Mesh-based tool path calculations for tubular joints
Manufacturing of large steel tube structures is faced with excessive welding, fit-up and rework times in tube joints, due to various types of deviation from nominal shape of the tubes.
Morten Lind, Pål Ystgaard
doaj +1 more source
This paper presents a language-independent proof system for reachability properties of programs written in non-deterministic (e.g., concurrent) languages, referred to as all-path reachability logic. It derives partial-correctness properties with all-path
Ciobaca, Stefan +5 more
core +1 more source
ABSTRACT Background and Objectives Multiple sclerosis (MS) exhibits racially disparate rates of disease progression. Black people with MS (B‐PwMS) experience a more severe disease course than non‐Hispanic White people with MS (NHW‐PwMS). Here we investigated structural and functional connectivity as well as structure–function decoupling in the ...
Emilio Cipriano +11 more
wiley +1 more source
Tool path generation of ultra-precision diamond turning: A state-of-the-art review
With the increasing market demand for optical complex surface parts, the application of multi-axis ultra-precision single-point diamond turning is increasing. A tool path generation method is very important to decrease manufacturing time, enhance surface
Hu Gong +4 more
doaj +1 more source
Objective We aimed to compare clinical outcomes between patients in the Allegheny Health Network rheumatoid arthritis (RA) care pathway and patients receiving usual care. Methods The care pathway initiative implements guideline‐based best practice alongside multidisciplinary team‐based care.
Tarun Sharma +7 more
wiley +1 more source
Centerline latch tool for contingency orbiter door closure [PDF]
The centerline latch tool was designed and developed as an EVA manual backup device for latching the Space Shuttle Orbiter's payload bay doors for reentry in case of a failure of the existing centerline latches to operate properly.
Trevino, R. C.
core +1 more source
Objective We aimed to test the efficacy of personalized treatment of older veterans with chronic low back pain (CLBP) delivered by Aging Back Clinics (ABCs) as compared with usual care (UC). Methods Two hundred ninety‐nine veterans aged 65 to 89 with CLBP from three Veterans Affairs (VA) medical centers underwent baseline testing, randomization to ABC ...
Debra K. Weiner +9 more
wiley +1 more source
This paper proposes two projector‐based Hopfield neural network (HNN) estimators for online, constrained parameter estimation under time‐varying data, additive disturbances, and slowly drifting physical parameters. The first is a constraint‐aware HNN that enforces linear equalities and inequalities (via slack neurons) and continuously tracks the ...
Miguel Pedro Silva
wiley +1 more source
Suboptimal Solution Path Algorithm for Support Vector Machine [PDF]
We consider a suboptimal solution path algorithm for the Support Vector Machine. The solution path algorithm is an effective tool for solving a sequence of a parametrized optimization problems in machine learning.
Karasuyama, Masayuki, Takeuchi, Ichiro
core +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

