yusuke1997/dblp-id-title huggingface dataset:
An eight-valued praconsistent logic
Some Results on Polish Groups
A Note on Classical Modal Relevant Algebras
Additivity of the commutator and residuation
Formalizations for the Consequence Relation of Visser's Propositional Logic
Some Results on Ordered Structures in Toposes
Isomorphism Testing for Equivalence Relations
Kronecker in Contemporary Mathematics. General Arithmetic as a Foundational Programme
Hypergraphs and the Intuitionistic Propositional\break Calculus
Finite Algebras from Fregean Varieties: Decomposition and Polynomials
A note on Humberstone's constant Ω
On the Problem of R. E. Tax
A 2-categorical framework for the syntax and semantics of many-sorted equational logic
On Free De Morgan Algebras Over a Poset
Hypercanonicity, Extensive Canonicity, Canonicity and Strong Completeness of Intermediate Propositional Logics
Embedding and Interpolation for some Paralogics. The Propositional Case
On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV
(n+1)-bounded Wajsberg Algebras with a U-operator
On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules
Intuitionistic Predicate Logic with Decidable Propositional Formulas
From the Poset of Temporal Implicates/implicants to a Temporal Negative Form
Ultrafilters (with dense elements) over closure spaces
Finitism = PRA? On a Thesis of W. W. Tait
Grabowski Lattices are Generated by Graphs
Mildly Ineffable Cardinals and Hiperuniverces
Divisibility in the Stone-Cech compactification
Implication Systems for Many-Dimensional Logics
A Compactness Theorem for Infinite Constraint Satisfaction
Purely equivalential propositional formulas in the intermediate Godel-Dummett logic
Decidability of Classes of Finite Algebras with a Distinguished Subset Closed Under a Discriminator Clone
On frontal Heyting algebras
Interpolation theorems for some variants of LTL
Errata to RML: 34 A Short Note on Hoops and Continuous t-norms
A Natural Deduction and its Corresponding Sequent Calculus for Positive Contraction-less Relevant Logic
The *-Prikry condition
Irreducible residuated semilattices and finitely based varieties
Bisimulation quotients of Veltman models
On Ontological Functors of Lesniewski's Elementary Ontology
Decidability of Finite Boolean Algebras with a Distinguished Subset Closed under some Operations
Referential semantics: duality and applications
Valid Deductions for Falsity-Default Logics
Sets with no subsets of higher weak truth-table degree
Decompositions and Projections in Equivalential Algebras
A Note on Transitive Sets without the Foundation Axiom
A formal approach to Menger's theorem
Operators Defined by Propositional Quantification and Their Interpretation over Cantor Space
Recursively enumerable sets and well-ordering of their enumerations
Topologicality of Kleene Algebras With a Weak Pseudocomplementation Over Distributive P-Algebras
Categorical Abstract Algebraic Logic: Syntactically Algebraizable π-Institutions
Theorems of Peano Arithmetic are Buridan-Volpin Recursively Satisfable
On the Lattice of p-consequences
Equality-free Saturated Models
Paraconsistency and consistency understood as the absence of the negation of any implicative theorem
Pretabular Varieties of Equivalential Algebras
A Note on Anti-cyclic Properties of Complete Binary Relations
A Finite Matrix Whose Set of Tautologies Is Not Finitely Axiomatizable
A Maximality Theorem for Continuous First Order Theories
Complementary pair of quasi-antiorders
Some Model Theory for Probability Structures
The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
Errata on "On the variety of Heyting algebras with successor generated by all finite chains"
An axiomatization of Wansing's expansion of Nelson's logic
Varieties of Tense Algebras
On homomorphic images and the free distributive lattice extension of a distributive nearlattice
Natural density and probability, constructively
A short way to directed Jónsson terms
On the Rules of Substitution in the First-order Predicate Logics
Online dimension of partially ordered sets
Compactness in Equational Logic
A Canonical Model Construction for Substructural Logics with Strong Negation
Categorical Abstract Algebraic Logic: Strong Version of a Protoalgebraic pi-Institution
Normal Retractions in Ordered Equivalential Algebras
Cardinalities of Models for Pure Calculi of Names
On ordered minimal structures
Invariant Universality for Projective Planes
First German-Polish Workshop on Logic and Logical Philosophy
Application of the Cantor-Bendixon Construction to the Problem of Freely Generated Filters
The Isomorphism Testing for Directly Representable Varieties
Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic
Profinite Structures are Retracts of Ultraproducts of Finite Structures
Inclusion Relationship between Pseudo-Euclidean Logics
Some results on diagonal-free two-dimensional cylindric algebras
Upper Part of the Lattice of Extensions of the Positive Relevant Logic R+
A logic of sequences
Chains of Structurally Complete Predicate Logics with the Application of Prucnal's Substitution
Categorical abstract algebraic logic weakly referential π-institutions
Effective aspects of semiperfect rings
Semantics for First Degree Relatedness Logic
On truth-schemes for intensional logics
A Representation Theorem for Co-diagonalizable Algebras
Remarks on Splittings in the Variety of Residuated Lattices
The Super-Amalgamation Property of the Variety of Ortholattices
Cut-free Systems for some Modal Logics Containing S4
Reductions between certain incidence problems and the Continuum Hypothesis
Some locally tabular logics with contraction and mingle
Finitely Generated Subvarieties of Demi-p-lattices
A Duality for (n+1)-valued MV-algebras
A novel joint learning framework combining fuzzy C-multiple-means clustering and spectral clustering for superpixel-based image segmentation
Astrophysical image separation by blind time-frequency source separation methods
Generation of cubic power-law for high frequency intra-day returns: Maximum Tsallis entropy framework
Stability analysis of 2-D linear discrete systems based on the Fornasini-Marchesini second model: Stability with asymmetric Lyapunov matrix
Frequency estimation of multiple complex sinusoids using noise suppressing predictive FIR filter
The Cramer-Rao bound for missing samples scenario in Hermite transform domain
Mean-square-deviation analysis of probabilistic LMS algorithm
Markov modeling of dynamical systems via clustering and graph minimization
GloveSignature: A Virtual-Reality-Based System for Dynamic Signature Verification
Multi-order information aggregation network for remote sensing small target detection
Backward movement oriented shark smell optimization-based audio steganography using encryption and compression strategies
Controllable adaptive pruning for DCNN filters based on significant convolution kernel of input channels
An optimized code book design and assignment based on 32-QAM constellation in downlink SCMA systems
Application of Time-Frequency Principal Component Analysis to Speaker Verification
An all-digital coherent AFSK demodulator for CubeSat applications
Event-triggered state estimation for networked control systems with silent packet loss and coloured noise
Guest editorial for signal processing aspects of molecular communications
Speaker verification using randomized phrase prompting
Group Importance Sampling for particle filtering and MCMC
Filterable sample consensus based on angle variance for pupil segmentation
Repeated blocking based robust beamforming for coherent interference cancellation
Adaptive algorithm for sparse signal recovery
FP-CLIP : Foreground-panorama prompt learning for zero-shot anomaly detection
Gridless DOD and DOA estimation in bistatic MIMO radar using 2D-ANM and its low complexity algorithms
Eigen analysis of flipped Toeplitz covariance matrix for very low SNR sinusoidal signals detection and estimation
Survey of natural image enhancement techniques: Classification, evaluation, challenges, and perspectives
Airborne pulsed Doppler radar detection of low-altitude windshear - A signal processing problem
Self-multivariate spectral decomposition and mode-fused envelope spectrum for enhancing bearing fault feature
Gridless SR-STAP algorithm based on square-root lasso for airborne radar clutter suppression
Near-field Adaptive Beamformer for Robust Speech Recognition
VOLEMIA: Non-invasive blood pressure estimation using temporal-spectral convolutional network
Ensemble of jointly trained deep neural network-based acoustic models for reverberant speech recognition
2D DOA estimation by a large-space T-shaped array
Two empirical methods for improving the performance of statistical multirate high-resolution signal reconstruction
Statistical nonlinear analysis for reliable promotion decision-making
Joint video compression and encryption using parallel compressive sensing and improved chaotic maps
Refined fixed double pass binary object classification for document image compression
A high-speed, high-density multiprocessing module made with the general electric high-density interconnect technology
Power quality analysis using Discrete Orthogonal S-transform (DOST)
ML-based single-step estimation of the locations of strictly noncircular sources
On the performance of DF-based multi-hop system over α - κ - μ and α - κ - μ -extreme fading channels
The effect to diagnostic accuracy of decision tree classifier of fuzzy and k-NN based weighted pre-processing methods to diagnosis of erythemato-squamous diseases
Image retrieval using edge based shape similarity with multiresolution enhanced orthogonal polynomials model
Doppler compensation algorithm for chirp-based acoustic local positioning systems
A method to eliminate riding waves appearing in the empirical AM/FM demodulation
Mixed near-field and far-field source localization utilizing symmetric nested array
RBorderNet: Rider Border Collie Optimization-based Deep Convolutional Neural Network for road scene segmentation and road intersection classification
Performance analysis of Radar detection for fluctuating targets based on coherent demodulation
An optimum algorithm for adaptive filtering on acoustic echo cancellation using TMS320C6713 DSP
Self-adaptive sampling rate assignment and image reconstruction via combination of structured sparsity and non-local total variation priors
Emotion recognition based on time-frequency distribution of EEG signals using multivariate synchrosqueezing transform
A simple blind CFO estimate technique for a QO-STBC based MC-CDMA uplink system
Convolutional neural network-based spectrum sensing for NOMA cognitive radio networks
Sensor fusion by a novel algorithm for time delay estimation
Joint estimation of state and noise parameters in a linear dynamic system with impulsive measurement noise: Application to OFDM systems
Application of a Time-Scale Local Hurst Exponent analysis to time series
Area bound dynamic time warping based fast and accurate person authentication using a biometric pen
Multi-focus image fusion using learning based matting with sum of the Gaussian-based modified Laplacian
Reducing over- and under-estimation of the a priori SNR in speech enhancement techniques
Classification of audio codecs with variable bit-rates using deep-learning methods
Blind identification of convolutional codes based on deep learning
Retargeted broad learning systems for image classification
Improved features and dynamic stream weight adaption for robust Audio-Visual Speech Recognition framework
A registration method in range-doppler map for passive multistatic radar system
Maritime image defogging via multi-Level transmission-Guided generative adversarial network
A hierarchical Transformer network for smoke video recognition
A supervised deep convolutional based bidirectional long short term memory video hashing for large scale video retrieval applications
Frequency attention-based multi-Scale dehazing GAN
Social learning with heterogeneous agents and sequential decision making
Adaptive B-spline neural network based nonlinear equalization for high-order QAM systems with nonlinear transmit high power amplifier
Adaptive dwell scheduling for simultaneous multi-beam radar system based on array element selection with different polarization characteristics
Sparsity-aware subband adaptive algorithms with adjustable penalties
Energy-harvesting-based RA-coded cooperative MIMO: Codes design and performance analysis
MBDBFormer: a multimodal bridge dual branch Transformer for person re-identification
Real-time video watermarking system on the compressed domain for high-definition video contents: Practical issues
Recovery of bandlimited graph signals based on the reproducing kernel Hilbert space
Towards improving the security of image steganography via minimizing the spatial embedding impact
Audio steganalysis based on reversed psychoacoustic model of human hearing
Parameter estimate of multi-component LFM signals based on GAPCK
Remote sensing image compression based on binary tree and optimized truncation
Interrupted sampling repeater jamming suppression based on Gaussian mixture model and sparse reconstruction
Fast algorithms for sparse frequency waveform design with sidelobe constraint
Decentralized classification in sensor networks via sparse representation and constrained fractional programming
Pattern synthesis of sparse linear arrays based on the atomic norm minimization and alternating direction method of multipliers approach
Model independent pre-processing of X-ray powder diffraction profiles
Multimodal evaluation of customer satisfaction from voicemails using speech and language representations
Reconfigurable FPGA-based switching path frequency-domain echo canceller with applications to voice control device
Slow FAMA under Nakagami-m fading channels
Better wavelet packet tree structures for PAPR reduction in WOFDM systems
Forest fire detection utilizing ghost Swin transformer with attention and auxiliary geometric loss
A mini-batch algorithm for large-scale learning problems with adaptive step size
AACRNet: Ambiguity-aware change refinement network for remote sensing images change detection
A Fast 8 × 8 Pruned DCT Algorithm
Template matching of occluded object under low PSNR
Comparative study of adaptive techniques for denoising CN Tower lightning current derivative signals
A diffusion bias-compensated LMS algorithm for distributed estimation with ARMAX models
Cracks-suppression perceptual geometry coding for dynamic point clouds
Image Fusion with Conditional Probability Networks for Monitoring the Salinization of Farmland
Deep residual learning-based cognitive model for detection and classification of transmitted signal patterns in 5G smart city networks
An interacting Fuzzy-Fading-Memory-based Augmented Kalman Filtering method for maneuvering target tracking
Sensor scheduling for target tracking: A Monte Carlo sampling approach
Variable spectral segmentation empirical wavelet transform for noisy signal processing
Recursive sliding discrete Fourier transform with oversampled data
A multi-directional fractional-order variation with luminance term for infrared and visible image fusion
Robust image hashing using non-uniform sampling in discrete Fourier domain
Bayesian classification and analysis of gait disorders using image and depth sensors of Microsoft Kinect
A detection method based on nonlinear spiking neural systems for infrared small targets
Constrained temporal structure for text-dependent speaker verification
A reformulation of weighted fractional Fourier transform
Design of IIR filters using a pole-zero mapping approach
An improved partitioning algorithm based on FCM algorithm for extended target tracking in PHD filter
A parameter-free and effective automatic augmentation method for improved crack segmentation
Efficient UNet fusion of convolutional neural networks and state space models for medical image segmentation
Application of fast high-order symmetric difference analytic energy spectrum kurtosis for wind power drive chain fault localization
Distributed high dimensional information theoretical image registration via random projections
Finding ground-based RFI sources based on single-pass SAR raw data: Extraction, estimation and localization
Recent advances in rapid frequency estimation
Pixel-wise dictionary learning based locality-constrained representation for noise robust face hallucination
Direct target localization and vector-velocity measurement method based on bandwidth synthesis in distributed high frequency surface wave radar
A different approach to off-line handwritten signature verification using the optimal dynamic time warping algorithm
Fourier-Bessel representation for signal processing: A review
Implementation of particle swarm optimization algorithm for estimating the innovative parameters of a spike sequence from noisy samples via maximum likelihood method
A novel multifactor clustering integration paradigm based on two-stage feature engineering and improved bidirectional deep neural networks for exchange rate forecasting
Nonlinear underdetermined blind signal separation using Bayesian neural network approach
CFPNet: Multivariate time series classification based on frequency domain reconstruction
Phase retrieval via Lagrange programming neural network
An improved SPIHT algorithm for lossless image coding
Speech reconstruction in mmWave radar systems: A generalizable framework for naturalness restoration and bandwidth extension
Effects of multiscale noise tuning on stochastic resonance for weak signal detection
An efficient algorithm for harmonic retrieval by combining blind source separation with wavelet packet decomposition
On the symmetry of FIR filter with linear phase
Parameter estimation algorithm for multivariable controlled autoregressive autoregressive moving average systems
Blind joint MIMO channel and data estimation based on regularized ML
Parametric detection in non-stationary correlated clutter using a sequential approach
Low-cost implementation of M -QAM signal constellations
An image encryption algorithm based on a compound-coupled chaotic system
SAR imagery segmentation by statistical region growing and hierarchical merging
Robust surface tracking in range image sequences
Local directional coding-based scene change detection for frame rate up-conversion
A robust high-resolution time-frequency representation based on the local optimization of the short-time fractional Fourier transform
Synthetic aperture radar imaging with fractional Fourier transform and channel equalization
An enhanced p-norm energy detector for coherent multilook detection in X-band maritime surveillance radar
AC2Net: Hybrid attention convolution and compression fusion network for multimodal emotion recognition
Image retrieval using contrastive weight aggregation histograms
PINN-DADif: Physics-informed deep adaptive diffusion network for robust and efficient MRI reconstruction
Motion and acceleration from image assimilation with evolution models
Bayesian independent component analysis: Variational methods and non-negative decompositions
Medical image segmentation with transform and moment based features and incremental supervised neural network
Continuous discrete minimum error entropy Kalman filter in non-Gaussian noises system
A JPEG backward-compatible image coding scheme for high dynamic range images
Challenges, taxonomy and techniques of iris localization: A survey
Adaptive Bayesian space-time equalisation for multiple receive-antenna assisted single-input multiple-output systems
Semi-supervised teacher-student multi-modal network for object detection in foggy scenes
Atomic decomposition with evolutionary pursuit
An automated accurate sound-based amateur drone detection method based on skinny pattern
A statistical framework to minimise and predict the range values of quantisation errors in fixed-point FIR filters architectures
Graph-topology-learning-based IoT positioning under incomplete measurement data
The MMFxLMS algorithm for active noise control with on-line secondary path modelling
Effective and efficient detection of premature ventricular contractions based on variation of principal directions
EPLL image denoising with multi-feature dictionaries
FSM-YOLO: Apple leaf disease detection network based on adaptive feature capture and spatial context awareness
A Few Practical Applications of Wavelet Packets
From single to multiple enrollment i-vectors: Practical PLDA scoring variants for speaker verification
Sparse angular reciprocity learning for massive MIMO channel estimation
Enhanced coverage through relay assisted carrier aggregation for cellular networks
Feature reduction based transfer structural subspace learning for small-footprint cross-domain keyword spotting via linear discriminant analysis
Water surface object detection in river channels based on feature cross-layer fusion and reconstruction
An optimal energy switching-based eavesdropping attacks for anti-user detection in networked multi-sensor fusion systems
DOA estimation of coherently distributed sources in massive MIMO systems with unknown mutual coupling
A new convolutive source separation approach for independent/dependent source components
Reprint of: Sensing beyond itself: Multi-functional use of ubiquitous signals towards wearable applications
A Comparative Study of Explicit Frequency and Conventional Signal Representations for Speech Recognition
Multisensor-multitarget tracking based on belief propagation against false data injection attacks and denial of service attacks
Automatic modulation classification: Cauchy-Score-function-based cyclic correlation spectrum and FC-MLP under mixed noise and fading channels
Direct position determination of multiple sources using a moving virtual interpolation array
A study on the market instability index and risk warning levels in early warning system for economic crisis
Representation and Recognition of 3D Free-Form Objects
Frequency Domain Frequency Shift for Optimal Filtering of Cyclostationary Signals
Matching pursuit based on nonparametric waveform estimation
A multi-party secure encryption-sharing hybrid scheme for image data base on compressed sensing
Fusion of VMD-AR with adaptive Gaussian mixture particle filtering for pedestrian trajectory tracking
Efficient image super-resolution via IFA: Integrating energy-aware attention and redundancy suppression
On Sampled Fourier Sums
Radar communication integrated signal design and processing methods based on amplitude coded modulation
Computation of the nonnegative canonical tensor decomposition with two accelerated proximal gradient algorithms
Optimized spatial automatic color enhancement technique: A novel approach for color restoration in retinopathy of prematurity (ROP) retinal images
Interference alignment solution with low complexity based on ring-typed chain design
DuINet: A dual-branch network with information exchange and perceptual loss for enhanced image denoising
Design and performance limit of near-field broadband IIR beamformers
Wideband array self-calibration and DOA estimation under large position errors
An efficient error estimation method for antenna distortions in space based radar
Improving the frequency response of Savitzky-Golay filters via colored-noise models
GAN based efficient foreground extraction and HGWOSA based optimization for video synopsis generation
Compressive sensing based sub-mm accuracy UWB positioning systems: A space-time approach
Time-division based integrated sensing, communication, and computing in integrated satellite-terrestrial networks
Efficient linear fusion of partial estimators
A novel high resolution imaging for multibeam sonar using an adaptive optimized wideband OFDM modulation scheme and higher-order statistics
Extension of higher-order HMC modeling with application to image segmentation
A robust DOA estimator based on the correntropy in alpha-stable noise environments
Accurate frequency estimation of multiple complex and real sinusoids based on iterative interpolation
A versatile hardware architecture for a constant false alarm rate processor based on a linear insertion sorter
Robust stability of 2-D discrete systems employing generalized overflow nonlinearities: An LMI approach