Results 211 to 220 of about 3,157,454 (357)

Monitoring and predicting cotton leaf diseases using deep learning approaches and mathematical models. [PDF]

Sci Rep
Rehman A, Akhtar N, Alhazmi OH.
europepmc   +1 more source

3D‐Printed Architected Material for the Generation of Foam‐Based Protective Equipment

Advanced Engineering Materials, EarlyView.
This study investigates 3D‐printed architected structures as alternatives to traditional foams in protective gear. It focuses on customizing impact strength and damping through design and manufacturing integration. Testing shows these structures outperform conventional foams, offering enhanced customizability, lower weight, and tunable performance ...
Ali Zolfagharian, Gerard Bel Català, Daniel Saakes, Bernard Rolfe, Ian Gibson, Mehrshad Mehrpouya   +5 more
wiley   +1 more source

A formal specification and verification framework for Time Warp-based parallel simulation

, 2002
Peter W. Frey, R. Radhakrishnan, H.W. Carter, Philip A. Wilsey, Perry Alexander   +4 more
openalex   +2 more sources

Influence of Temperature on Scratch and Wear Properties of Technical Thermoplastics: Implications for Material Selection

Advanced Engineering Materials, EarlyView.
The share of technical thermoplastics is expected to grow further in the e‐mobility segment. In this study, a detailed temperature‐based tribological characterization of technical thermoplastics is performed. The tribological properties are discussed in terms of the dynamic mechanical properties of polymers at different ambient temperatures. A proof of
Harsha Raghuram, Thomas Koch, Vasiliki-Maria Archodoulaki   +2 more
wiley   +1 more source

Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking. [PDF]

Sci Rep
Lu C, Li C, Liu C, Wu X, Huang Y.
europepmc   +1 more source

Femtosecond Single‐ and Double‐Pulse Fabrication of Periodic Nanostructures on Stainless Steel for Surface‐Enhanced Raman Spectroscopy

Advanced Engineering Materials, EarlyView.
Periodic submicron features are fabricated on 304 stainless steel using single and double femtosecond laser pulses. By adjusting polarization, fluence, and inter‐pulse delay, 1D and 2D nanostructures are formed. Enhanced hydrophobicity and dense surface‐enhanced Raman spectroscopy hotspots enable analyte detection down to 10−10 M with good ...
Balaji Baskar, Atiqul Islam Ahad, Carla Berrospe‐Rodriguez, Guillermo Aguilar   +3 more
wiley   +1 more source

A Computer Vision Method for Finding Mislabelled Specimens Within Natural History Collections. [PDF]

Ecol Evol
Hollister JD, Martin G, Cai X, Horton T, Powell O, Sterling M, Turnbull G, Price BW, Fenberg PB.   +8 more
europepmc   +1 more source

Tuning SAT for Formal Verification and Testing [PDF]

, 2004
Miroslav N. Velev
openalex   +1 more source

Formal Verification of Automotive Embedded Software

FME Workshop on Formal Methods in Software Engineering, 2018
Vassil Todorov, Frédéric Boulanger, Safouan Taha   +2 more
semanticscholar   +1 more source

Tribology of ZrC Coatings and Spherical Tips Acquired with Extraordinarily Stiff, Metal Atomic Force Microscopy Probes

Advanced Engineering Materials, EarlyView.
In this research, ZrC coatings are evaluated against various counterprobes at the microscale using novel super‐stiff atomic force microscopy cantilevers. The chemical composition of the coating is shown to be an important factor influencing coating hardness and Young's modulus, while surface roughness, counterprobe hardness, and surface energy are the ...
Piotr Jenczyk, Marcin Michałowski, Bogdan Warcholiński, Michał Milczarek, Adam Gilewicz   +4 more
wiley   +1 more source