Results 101 to 110 of about 757,721 (338)
LCTNet: Lightweight Convolution-Transformer Network for Hyperspectral Image Classification
IEEE Journal of Selected Topics in Applied Earth Observations and Remote SensingDeep learning models, especially hybrid models combining convolutional neural networks (CNNs) and Transformer, introduce new ideas for hyperspectral image (HSI) classification.
Zaoping Zhong +3 more
doaj +1 more source
Computing distinguishing formulas for branching bisimulation [PDF]
, 1992 Branching bisimulation is a behavioral equivalence on labeled transition systems which has been proposed by Van Glabbeek and Weijland as an alternative to Milner's observation equivalence. This paper presents an algorithm which, given two branching bisimulation inequivalent finite state processes, produces a distinguishing formula in Hennessy-Milner ...
openaire +1 more source
Dispensing Volumetric Additive Manufacturing
Advanced Functional Materials, EarlyView.Dispensing volumetric additive manufacturing (DVAM) prints 3D structures inside a photocurable resin droplet suspended from the tip of a glass pipette, enabling sequential printing without resin vats or manual part removal. Real‐time droplet profiling and ray‐tracing‐based correction compensate for optical distortion at the curved resin‐air interface ...
Hongryung Jeon +5 more
wiley +1 more source
A More Efficient Conditional Private Preservation Scheme in Vehicular Ad Hoc Networks
Applied Sciences, 2018 It is a challenging issue to provide a secure and conditional anonymous authentication scheme in vehicle ad hoc networks (VANETs) with low storage space and computational cost. In 2008, Lu et al.
Tao Wang, Xiaohu Tang
doaj +1 more source
Explicit stencil computation schemes generated by Poisson's formula for the 2D wave equation [PDF]
, 2020 Naum Khutoryansky
openalex +1 more source
Efficient Volume Computation for SMT Formulas
Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and ReasoningSatisfiability Modulo Theory (SMT) has recently emerged as a powerful tool for solving various automated reasoning problems across diverse domains. Unlike traditional satisfiability methods confined to Boolean variables, SMT can reason on real-life variables like bitvectors, integers, and reals.
Arijit Shaw +2 more
openaire +2 more sources
Strategies for Loading and Releasing Peptide Therapeutics in Biodegradable Carriers
Advanced Functional Materials, EarlyView.A biodegradable carrier‐based peptide delivery system is a powerful treatment platform for diverse diseases, owing to its superior therapeutic efficacy and low toxicity. This review examines the conventional peptide‐loaded carrier fabrication process and its current limitations.
Wookyoung Jang, Ki Wan Bong
wiley +1 more source
Advanced Functional Materials, EarlyView.Lithium‐ion batteries (LIBs) remain central to energy storage but suffer from slow ion transport and degradation. Here, we present a binder‐free Ti3C2Tx MXene/GnR hybrid electrode with a porous 3D architecture formed via freeze casting. The structure enhances conductivity, ion transport, and stability, delivering 401 mAh/g, ∼97% efficiency, and 92 ...
Sara Mohseni Taromsari +10 more
wiley +1 more source
Computational and Memory Efficiency in Heartbeat Rate Detection: A Review of ECG and PPG Techniques
Sensors(1) Background: Heartbeat detection from electrocardiogram (ECG) and photoplethysmograph (PPG) signals is widely used in wearable devices for health monitoring, fitness tracking, and stress assessment.
Manuel Merino-Monge +4 more
doaj +1 more source
Computation of the Para-Pseudoinverse for Oversampled Filter Banks: Forward and Backward Greville Formulas [PDF]
, 2008 Lu Gan, Cong Ling
openalex +1 more source