Results 221 to 230 of about 783,030 (294)

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

RAPSO: An Integrated PSO with Reinforcement Learning and an Adaptive Weight Strategy for the High-Precision Milling of Elastic Materials. [PDF]

Sensors (Basel)
Li Q, Zeng P, Wu Q, Zhang Z.
europepmc   +1 more source

Understanding the Project Planning Process: Requirements Capture for the Virtual Construction Site [PDF]

, 2001
Kelsey, JM, Penn, A, Winch, GM
core  

Coupled Above‐ and Belowground Ecosystem Stability Worldwide

Advanced Science, EarlyView.
Are the worlds above and below our feet in sync? This global exploration reveals an entangled fate between above‐ and belowground ecosystem stability. It identifies arid regions as hotspots for this coupling and highlights temperature stability as a vital safeguard for maintaining ecosystem balance across our warming planet.
Zexin Meng, Huiwen Li, Yiping Wu, Peter B. Reich, Nico Eisenhauer, Diego Abalos, Daniel Revillini, Shuguang Liu, Wende Yan, Ji Chen, Alexey Voinov, Zhifeng Yang, Ying‐Ping Wang, Fubo Zhao, Linjing Qiu, Jingfeng Xiao, Shantao An, Guopeng Liang, Manuel Delgado‐Baquerizo   +18 more
wiley   +1 more source

Geometry-based framework for beam angle selection in proton therapy for lung cancer. [PDF]

Phys Imaging Radiat Oncol
Fotiou K, Lønne PI, Malinen E.
europepmc   +1 more source

SKOOTS: Skeleton‐Oriented Object Segmentation for Mitochondria in High‐Resolution Cochlear EM Datasets

Advanced Science, EarlyView.
Skeleton‐oriented object segmentation (SKOOTS) introduces a new strategy for 3D mitochondrial instance segmentation by predicting explicit skeletons rather than relying on boundary cues. This approach enables robust analysis of densely packed organelles in large FIB‐SEM datasets.
Christopher J. Buswinka, Richard T. Osgood, Hidetomi Nitta, Artur A. Indzhykulian   +3 more
wiley   +1 more source

3D Vision-Guided Adaptive 3D Ultrasonic Scanning for Robotic Arms: Nondestructive Testing of Aerospace Components. [PDF]

Sensors (Basel)
Wei X, Kang Z, Yin Y, Zhang J, Li C, Cai Y, He W.   +6 more
europepmc   +1 more source

A critical review of decision support systems for construction project planning [PDF]

, 2000
Akinsola, A, Dawood, N, Edkins, A, Heesom, D, Hobbs, B, Kelsey, J, Mahdjoubi, L, Mallasi, Z, Penn, A, Steve, N, Winch, GM   +10 more
core  

Microscale Mapping of Fiber Strain and Damage in Composite Wrinkled Laminates Using Computed Tomography Assisted Wide‐Angle X‐Ray Scattering

Advanced Science, EarlyView.
This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong, James Trevarthen, Igor Dolbnya, Wadwan Singhapong, Nicholas Pilato, Richard Butler, Jiraphant Srisuriyachot, Alexander J. G. Lunt   +7 more
wiley   +1 more source

Evaluating the Impact of Aggregation Operators on Fuzzy Signatures for Robot Path Planning. [PDF]

Sensors (Basel)
Karadeniz AM, Hajdu C, Ballagi Á, Kóczy LT.   +3 more
europepmc   +1 more source