PRG4CNN: A Probabilistic Model Checking-Driven Robustness Guarantee Framework for CNNs. [PDF]
Liu Y, Fang A.
europepmc +1 more source
A laboratory‐scale procedure is developed to evaluate the efficiency of melt‐cleaning and drossing fluxes during aluminium alloy recycling, studying their effects on melt cleanliness and tensile properties of secondary foundry alloys. This work provides a practical tool for foundries and aluminium refiners to assess the efficiency of salt fluxes in ...
Veronica Milani, Giulio Timelli
wiley +1 more source
ECAE: An Efficient Certificateless Aggregate Signature Scheme Based on Elliptic Curves for NDN-IoT Environments. [PDF]
Wang C, Wu H, Gan Y, Zhang R, Ma M.
europepmc +1 more source
Herein, the electroplating of titanium from an organic solvent, ethaline, is shown. Polymer additives are shown to smooth the roughness of the film, and small molecule additives are shown to produce a near‐mirror finish to the deposited metal. Titanium electroreduction is desired for a variety of medical, electronic, and bonding applications but has ...
Steven Livers+7 more
wiley +1 more source
Blockchain assisted signature and certificate based protocol for efficient data protection and transaction management in smart grids. [PDF]
Mutlaq KA+7 more
europepmc +1 more source
Surface Modification of Sol–Gel Synthesized Ba0.85Ca0.15Zr0.1Ti0.9O3 using Stearic Acid Additives
This study explores a novel approach to enhance the piezoelectric performance of lead‐free BCZT ceramics synthesized via the sol–gel method. By coating the BCZT powder with only a 0.69 nm stearic acid layer, the electromechanical response is significantly boosted up to 359 pC N−1, revealing promising implications for high‐performance sensor and ...
Michelle Weichelt+6 more
wiley +1 more source
Extensive thoracic vertebral and chest wall metastases as the initial presentation of breast cancer: a case report and literature review. [PDF]
Kenzhegulov YN+5 more
europepmc +1 more source
Highly efficient genome editing in <i>Bacillus subtilis</i> via miniature DNA nucleases IscB. [PDF]
Gao J+5 more
europepmc +1 more source
Formal Security Reassessment of the 5G-AKA-FS Protocol: Methodological Corrections and Augmented Verification Techniques. [PDF]
Ko Y, Pawana IWAJ, You I.
europepmc +1 more source