Formal modeling and verification of GRANDPA finalization safety in polkadot. [PDF]
Rashid M +4 more
europepmc +1 more source
Nonlinearity-Guided Dual-Spectrum Ultrasonic Inversion for Attenuation-Independent Characterization of Subwavelength Coatings. [PDF]
Wang L +5 more
europepmc +1 more source
Ensemble agent based machine learning approach for energy efficient attack detection and prevention in MANETs. [PDF]
Nigam P +4 more
europepmc +1 more source
A fusion transfer learning framework for intelligent pest recognition in sustainable agriculture. [PDF]
Alshardan A +7 more
europepmc +1 more source
Collagen mimetic peptides as novel therapeutics for vascular disease in the central nervous system. [PDF]
Bossardet OL +5 more
europepmc +1 more source
A lightweight deep evidence fusion framework for smart home appliance detection and classification via internet of things devices. [PDF]
Alruwais N +7 more
europepmc +1 more source
Attention-aided hybrid transformer network for oral squamous cell carcinoma classification using histopathology images. [PDF]
Jagathesh M, Narayanan S.
europepmc +1 more source
A hybrid security protocol based on honey encryption and hyperchaotic systems for improving security in internet of things. [PDF]
Wang W, Liu C, Zhu W, Xie C.
europepmc +1 more source
Refining swarm behaviors with human-swarm interaction strategies: An improved monkey algorithm for multidimensional optimization problems. [PDF]
Deng Y, Zhang Y, Shi X.
europepmc +1 more source

