Results 151 to 160 of about 75,209 (310)
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
Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol
We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity
Raimondi, F. +5 more
core
This study presents a reversible temperature sensor with high switching ratio, ∼103. The device is fabricated using PET‐ITO and carbon nanotube dispersions in alkane. Considering its application in cold chain logistics, a proof‐of‐concept with LED is showcased. Thus, a temperature drop below the threshold temperature (crystallization temperature of the
Sunil Kumar Behera +8 more
wiley +1 more source
The corrosion performance of AlSi7Mg and AlSi10Mg alloys produced through selective laser melting (SLM) was examined under compressive stress in a chloride environment. Electrochemical analyses, including open‐circuit potential (OCP), potentiodynamic polarization (CPP), and electrochemical impedance spectroscopy (EIS), were complemented by scanning ...
Femi John Akinfolarin +2 more
wiley +1 more source
A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions
This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice +2 more
wiley +1 more source
Progressive Bounded Error Piecewise Linear Approximation with Resolution Reduction for Time Series Data Compression. [PDF]
Lin JW, Liao SW, Tsai YH, Huang CC.
europepmc +1 more source
A numerical–experimental framework is developed for characterizing multi‐matrix fiber‐reinforced polymers (MM‐FRPs) combining epoxy and polyurethane matrices. Harmonic bending tests are integrated with finite element model updating (FEMU) to simultaneously identify elastic and viscoelastic material parameters.
Rodrigo M. Dartora +4 more
wiley +1 more source
Bounded Error Huffman Coding in Applications of Wireless Sensor Networks
在現實情境中,無線感測網路(WSN)因為硬體的技術導致感測資料與實際物理量之間產生『有限誤差』;同時,WSN應用的考量中也允許『有限誤差』。我們過去的研究中,“有限誤差資料壓縮(Bounded Error Data Compression, BEC)”與“改進的有限誤差資料壓縮(Improved Bounded Error Data Compression, IBEC)”兩個方法皆是在資料允許誤差的前提下,將有限誤差運用於WSN運作階段的資料壓縮上,以降低感測裝置的耗電速度。本研究有別於BEC與IBEC,
林哲論, Lin, Che-Lung
core
Additive Gaussian Process Regression for Predictive Design of High‐Performance, Printable Silicones
A chemistry‐aware design framework for tuning printable polydimethylsiloxane (PDMS) for vat photopolymerization (VPP) is developed using additive Gaussian process (GP) modeling. Polymer network mechanics informs variable groupings, feasible formulation constraints, and interaction variables.
Roxana Carbonell +3 more
wiley +1 more source
Bounded-Error Interactive Ray Tracing
Ray tracing, which computes radiance, is usually regarded as an off-line rendering algorithm that is too slow for interactive use. In this paper, we present an interactive system that uses four-dimensional interpolants to approximate radiance, while ...
Seth Teller, Julie Dorsey, Kavita Bala
core

