yusuke1997/dblp-id-title huggingface dataset:
Solovay reducibility via Lipschitz functions and signed-digit representation
Approximating Kolmogorov complexity
Weihrauch degrees without roots
A statistical anytime algorithm for the Halting Problem
The Gandy-Hyland functional and a computational aspect of Nonstandard Analysis
Finitely generated semiautomatic groups
Computable planar curves intersect in a computable point
Intermediate intrinsic density and randomness
Effective aspects of Hausdorff and Fourier dimension
On the complexity of algebraic numbers, and the bit-complexity of straight-line programs
Computing strategies for multiple cops on infinite graphs
The isometry degree of a computable copy of ℓ p
On the computational completeness of several descriptional complexity restrictions of semi-conditional grammars
Computably Enumerable Partial Orders
On the transversals of a ceer
To reorient is easier than to orient: An on-line algorithm for reorientation of graphs
Extending properly n-REA sets
Surjective H-colouring: New hardness results
Constant Compression and Random Weights
Feasible set functions have small circuits
The Arithmetical Hierarchy in the Setting of ω 1
Incompleteness, Approximation and Relative Randomness
Notions of semicomputability in topological algebras over the reals
Linearisations and the Ershov hierarchy
On subrecursive representability of irrational numbers
Splitting theorems and low degrees
Splitting and jump inversion in the Turing degrees
Weihrauch and constructive reducibility between existence statements
Undecidability of satisfiability of expansions of FO[<] over words with a FO[+]-definable set
COH, SRT22, and multiple functionals
Projection operators in the Weihrauch lattice
Asymptotic density and the coarse computability bound
On the topological aspects of the theory of represented spaces
Tree Representations via Ordinal Machines
Controlling iterated jumps of solutions to combinatorial problems
The Hierarchy of Equivalence Relations on the Natural Numbers Under Computable Reducibility
Degrees of sets having no subsets of higher m - and tt-degree
A constructive proof of the dense existence of nowhere-differentiable functions in C[0, 1]
Computing the index of non-isometric k -ary words with Hamming and Lee distance
Iterative forcing and hyperimmunity in reverse mathematics
Partial orders and immunity in reverse mathematics
On the main scientific achievements of Victor Selivanov
Evitable iterates of the consistency operator
Closed left-r.e. sets
Preface of the Special Issue for the Oberwolfach Workshop on Computability Theory 2021
Definitional schemes for primitive recursive and computable functions
Reverse mathematics and Weihrauch analysis motivated by finite complexity theory
Weak König's Lemma Implies the Uniform Continuity Theorem
Mortality of iterated piecewise affine functions over the integers: Decidability and complexity
Generically and coarsely computable isomorphisms
Defining long words succinctly in FO and MSO
Degrees of categoricity above limit ordinals
On the Cantor-Bendixson rank of a set that is searchable in Gödel's T
The complexity of satisfaction problems in reverse mathematics
Punctually presented structures I: Closure theorems
On limitwise monotonicity and maximal block functions
Extensions of two constructions of Ahmad
How much partiality is needed for a theory of computability?
Limitations of Efficient Reducibility to the Kolmogorov Random Strings
The halting problem and security's language-theoretic approach: Praise and criticism from a technical historian
Characterizing time computational complexity classes with polynomial differential equations
On Kalimullin pairs
Strong and weak reducibility of algorithmic problems
A probabilistic anytime algorithm for the halting problem
Nearly computable real numbers
Computably enumerable sets that are automorphic to low sets
Notions of robust information coding
S. Barry Cooper (1943-2015)
On subrecursive representability of irrational numbers, part II
On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness
A differential extension of Descartes' foundational approach: A new balance between symbolic and analog computation
Transfinite Ford-Fulkerson on a finite network
Dimension spectra of lines
Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines
Q-Wadge degrees as free structures
Reverse mathematics of a color basis theorem
Compositions of multivalued functions
Lossiness of communication channels modeled by transducers
Characterizing incentive compatible, Pareto optimal and sufficiently anonymous constrained combinatorial mechanisms - Two players case
Hilbert's tenth problem for term algebras with a substitution operator
Lowness for integer-valued randomness
A note on the diamond operator
Effective aspects of algorithmically random structures
A first-order theory of Ulm type
Preface of the special issue for the conference computability in Europe 2022
On the existence of a connected component of a graph
Turing Degrees of Isomorphism Types of Geometric Objects
Nonlowness is independent from fickleness
Strong computable type
Effectivity and reducibility with ordinal Turing machines
Fixpoints and relative precompleteness
Algorithmically random series
Effective localization number: Building k -surviving degrees
Complemented subsets and Boolean-valued, partial functions
A jump operator on the Weihrauch degrees
On the computational properties of the Baire category theorem
Diminishable parameterized problems and strict polynomial kernelization
Effectively infinite classes of numberings and computable families of reals
Automorphism bases for the recursively enumerable degrees
Inversion operations in algebraic structures
Degrees that Are Low for Isomorphism
Set descriptive complexity of solvable functions
Lower bounds on β(α) and other properties of α -register machines
There is no composition in the [strong] computable reducibility degrees
Notes on overt choice
Ideal presentations and numberings of some classes of effective quasi-Polish spaces
The reverse mathematics of Hindman's Theorem for sums of exactly two elements
Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision
Cantor-Bendixson ranks of effectively closed sets in admissible recursion theory
Infinite time recognizability from generic oracles and the recognizable jump operator
Mass problems and intuitionistic higher-order logic
Computable intersection points
Reifying dynamical algebra: Maximal ideals in countable rings, constructively
The jump hierarchy in the enumeration degrees
Degrees of relations on ordinals
Computational complexity and the conjugacy problem
Space-bounded OTMs and REG∞
Algorithmic Aspects of Lipschitz Functions
Lowness properties for strong reducibilities and the computational power of maximal sets
Degrees of bi-embeddable categoricity
Asymptotic density, immunity and randomness
On maximum conservative extensions
Hyperprojective hierarchy of qcb 0 -spaces
Comprehensive Features Matching Algorithm for Gravity Aided Navigation
Spaced-Antenna Aperture Synthesis Using an X-Band Active Phased-Array
Intelligent Seismic Deblending Through Deep Preconditioner
Soft-Computing Modelling of Seismicity in the Southern Hellenic Arc
Improving CO₂ Concentration Profile Measurements From a Ground-Based CO₂-DIAL Through Conditional Adjustment
A novel effective model for solving 3-D nonlinear inverse scattering problems in lossy scenarios
A Network-Based Radiometric Equalization Approach for Digital Aerial Orthoimages
Skewed t-Distribution for Hyperspectral Anomaly Detection Based on Autoencoder
Cloud Removal Using Multimodal GAN With Adversarial Consistency Loss
Brightness Temperature Anomalies in Mare Nectaris Using CELMS Data
An electromagnetic approach based on neural networks for the GPR investigation of buried cylinders
Vertical Accuracy Effect Verification for Satellite Imagery With Different GCPs
A New Model-Independent Method for Change Detection in Multitemporal SAR Images Based on Radon Transform and Jeffrey Divergence
Joint Wideband Interference Suppression and SAR Signal Recovery Based on Sparse Representations
DTESR: Remote Sensing Imagery Super-Resolution With Dynamic Reference Textures Exploitation
Spectral-Spatial Anomaly Detection via Collaborative Representation Constraint Stacked Autoencoders for Hyperspectral Images
Improved Process for Use of a Simplex Growing Algorithm for Endmember Extraction
Learning an Effective Transformer for Remote Sensing Satellite Image Dehazing
Radar/SAR Image Resolution Enhancement via Unifying Descriptive Experiment Design Regularization and Wavelet-Domain Processing
Dilated Deep MPFormer Network for Hyperspectral Image Classification
An Adaptive ISAR Imaging Method Based on Evidence Framework
Multiple Local Autofocus Back-Projection Algorithm for Space-Variant Phase-Error Correction in Synthetic Aperture Radar
Edge-Guided Hyperspectral Change Detection
Adaptive Trigonometric Transformation Function With Image Contrast and Color Enhancement: Application to Unmanned Aerial System Imagery
An Improved Multi-Image Matching Method in Stereo-Radargrammetry
Sampling Frequency Fluctuations of the Sensors and Software SPIDAR Ground Penetrating Radar: Impact on Probing Passive Surface Acoustic Wave Delay Lines for Pollution Sensing
Assessing Subwavelength VHF Radar Scattering Losses in Hyperarid Carbonate Formations
Noncooperative Bistatic Radar Countermeasures Based on the Joint Design of Radar Waveforms and Mismatched Filters
Simultaneous Joint Sparsity Model for Target Detection in Hyperspectral Imagery
A Neural Network Approach to Improve the Vertical Resolution of Atmospheric Temperature Profiles From Geostationary Satellites
Deep Learning for Multiple-Image Super-Resolution
Extraction of Ground Photon for Photon Counting Lidar Over Rugged Mountainous Area Based on Wavelet Transform With Adaptive Window
Surface Roughness Effect on L-Band Multiangular Brightness Temperature Modeling and Soil Liquid Water Retrieval of Frozen Soil
Suppressing coherent noise in radar applications with long dwell times
Quantifying GNSS-R Delay Sea State Bias and Predicting Its Variation Based on Ship-Borne Observations in China's Seas
Region-of-Interest Extraction Based on Frequency Domain Analysis and Salient Region Detection for Remote Sensing Image
Improving Hyperspectral Image Classification Using Spectral Information Divergence
Unsupervised Change Detection of Multispectral Remote Sensing Images Based on Deep Difference Feature Variance Maximization
Numeric Image Features for Detection of Aurora
Analysis of Reflector Sizes in Rotating Mirrored Aperture Synthesis Radiometers
PolSAR-SSN: An End-to-End Superpixel Sampling Network for PolSAR Image Classification
LiDAR Data Classification Using Extinction Profiles and a Composite Kernel Support Vector Machine
Automatic Lunar Crater Detection Based on DEM Data Using a Max Curvature Detection Method
Research of the Area of Generation of High-Frequency Infrasound Oscillations in the Sea of Japan, Caused by Typhoons
Binocular-Vision-Based Structure From Motion for 3-D Reconstruction of Plants
Unsupervised Detection of Earthquake-Triggered Roof-Holes From UAV Images Using Joint Color and Shape Features
An Acoustic Wave-Equation Depth Migration Method Using Generalized Two-Way Phase Shift Operator for Anisotropic Media
Modeling-Assisted InSAR Phase-Unwrapping Method for Mapping Mine Subsidence
Domain-Invariant Progressive Knowledge Distillation for UAV-Based Object Detection
Rectified Neighborhood Construction for Robust Feature Matching With Heavy Outliers
Analysis of Array Sparsity in Active Incoherent Microwave Imaging
When Pixels Team up: Spatially Weighted Sparse Coding for Hyperspectral Image Classification
High-Resolution Satellite Stereo Matching by Object-Based Semiglobal Matching and Iterative Guided Edge-Preserving Filter
Optimal Canny's Parameters Regressions for Coastal Line Detection in Satellite-Based SAR Images
Application of Explainable Artificial Intelligence in Predicting Wildfire Spread: An ASPP-Enabled CNN Approach
Sea-State Determination Using GNSS-R Data
On Optimizing the Principal Component Analysis in the Hyperspectral Inversion of Chromium and Zinc Concentrations by the Deep Forest
A Sliding System Based on Single-Pulse Scanner and Rangefinder for Pile Inventory
Perceptual Loss-Constrained Adversarial Autoencoder Networks for Hyperspectral Unmixing
Distilling Object Detectors With Scale-Conscious Knowledge in Remote Sensing Images
Automatic Determination of Center of Tropical Cyclone in Satellite-Generated IR Images
DCNP: Dual-Information Compensation Network for Pansharpening
Remote Sensing Image Registration Based on Local Affine Constraint With Circle Descriptor
Self-Supervised Learning for Seismic Data Reconstruction and Denoising
CaPaT: Cross-Aware Paired-Affine Transformation for Multimodal Data Fusion Network
Segmentation-Based Weighting Strategy for Hyperspectral Anomaly Detection
L-UNet: An LSTM Network for Remote Sensing Image Change Detection
Unsupervised SAR Image Segmentation Using Ambiguity Label Information Fusion in Triplet Markov Fields Model
Model-Based Information Extraction From SAR Images Using Deep Learning
Moving Target Radial Velocity Estimation Method for HRWS SAR System Based on Subspace Projection
Few-Shot Object Detection of Remote Sensing Image via Calibration
Interferometric Circular SAR Method for Three-Dimensional Imaging
Linear Discriminant Analysis Based on Kernel-Based Possibilistic C-Means for Hyperspectral Images
Class-Specific Feature Selection With Local Geometric Structure and Discriminative Information Based on Sparse Similar Samples
Road-Aided Doppler Ambiguity Resolver for SAR Ground Moving Target in the Image Domain
Impact of Satellite-Derived Precipitation on Simulated Sea-Surface Salinity in the Tropical Indian Ocean
Recursive Automatic Target Generation Process in Subpixel Detection
Hyperparameter Configuration Learning for Ship Detection From Synthetic Aperture Radar Images
SAR RFI Suppression for Extended Scene Using Interferometric Data via Joint Low-Rank and Sparse Optimization
Fuzzy Embedded Clustering Based on Bipartite Graph for Large-Scale Hyperspectral Image
Super Cyclones Induce Variability in the Aerosol Optical Depth Prior to Their Formation Over the Oceans
Spatial and Spectral Anisotropic Tensor Total Variation-Driven Adaptive Pansharpening
Pose Error Reduction for Focus Enhancement in Thermal Synthetic Aperture Visualization
SAU-GAN: A Shuffle Attention U-Net Generative Adversarial Network for GPR Inversion
A Self-Supervised Pretraining Framework for Context-Aware Building Edge Extraction From 3-D Point Clouds
GaborPINN: Efficient Physics-Informed Neural Networks Using Multiplicative Filtered Networks
Prototypical Network With Residual Capsule for Few-Shot Hyperspectral Image Classification
Stepwise Locating Bidirectional Pyramid Network for Object Detection in Remote Sensing Imagery
Supervised Gaussian Process Latent Variable Model for Hyperspectral Image Classification
DEM Retrieval From Airborne LiDAR Point Clouds in Mountain Areas via Deep Neural Networks
Time-Frequency Spectral Decomposition Based on Dip Guided Window Function for Accurate Dip Estimation
Learning Seismic Low-Frequency Extrapolation in a Latent Space Using Limited Data
Intercomparison of deep convective cloud fractions from passive infrared and microwave radiance measurements
A Fast Phase Optimization Approach of Distributed Scatterer for Multitemporal SAR Data Based on Gauss-Seidel Method
An unsupervised segmentation method based on MPM for SAR images
Band Selection for Hyperspectral Imagery: A New Approach Based on Complex Networks
A Second-Order Stationarity-Based Confidence Assessment Method for Temperature Forecast
Urban Mapping in Landsat Images Based on Normalized Difference Spectral Vector
Patchwise Temporal-Spatial Feature Aggregation Network for Object Detection in Satellite Video
MoViM: A Hybrid CNN Vision Mamba Network for Lightweight Semantic Segmentation of Multimodal Remote Sensing Images
Improvement of Forest Carbon Estimation by Integration of Regression Modeling and Spectral Unmixing of Landsat Data
Thick Cloud Removal in Multitemporal Remote Sensing Images Using a Coarse-to-Fine Framework
Infrared Small Target Detection Based on Background Estimation and Scale Fusion
Multilayer Unmixing for Hyperspectral Imagery With Fast Kernel Archetypal Analysis
Advanced Deep Learning Approach for Accurate Upwelling Detection Along Morocco's Atlantic Coast Using SST Imagery
Energy-Conserving Algorithm for Earth Observation via GEO Satellite Radar
Analysis of Brillouin Precursor Propagation Through Foliage for Digital Sequences of Pulses
A Soft Decision Rule for Sparse Signal Modeling via Dempster-Shafer Evidential Reasoning
Constructing 10-m NDVI Time Series From Landsat 8 and Sentinel 2 Images Using Convolutional Neural Networks
Estimations of Regional Surface Energy Fluxes Over Heterogeneous Oasis-Desert Surfaces in the Middle Reaches of the Heihe River During HiWATER-MUSOEXE
Shannon Entropy-Based Seismic Local Correlation Measure and Enhancement
Prediction of Subsurface NMR T2 Distributions in a Shale Petroleum System Using Variational Autoencoder-Based Neural Networks
A Multiview Spectral-Spatial Feature Extraction and Fusion Framework for Hyperspectral Image Classification
Retrieving cloud fraction in the field-of-view of a high-spectral resolution infrared radiometer
Improved SNR Optimum Method in POLDINSAR Coherence Optimization
A High-Accuracy Incoherence Compensation Method for Multiband Fusion Based on Phase-Coherent Coefficient Between Subbands
A separable filter for directional smoothing
Kernel Collaborative Representation With Tikhonov Regularization for Hyperspectral Image Classification
Significant Elastic Ground Deformations After the January 15, 2022 Hunga-Tonga Eruption
Grad-SLAM: Explaining Convolutional Autoencoders' Latent Space of Satellite Image Time Series
How Does Ground Clutter Affect CloudSat Snowfall Retrievals Over Ice Sheets?
Object-Based Change Detection of Very High Resolution Satellite Imagery Using the Cross-Sharpening of Multitemporal Data
Feature Enhancement and Feedback Network for Change Detection in Remote Sensing Images
A New Approach to Segmentation of Multispectral Remote Sensing Images Based on MRF
Reweighted Total Variation Regularization Based on Split Bregman in Synthetic Aperture Imaging Radiometry
Urban Area Detection Using Local Feature Points and Spatial Voting
Few-Shot Hyperspectral Image Classification With Deep Fuzzy Metric Learning
Minimization of Image Distortion in SMOS Brightness Temperature Maps Over the Ocean
Hybrid Local and Nonlocal 3-D Attentive CNN for Hyperspectral Image Super-Resolution
Accuracy and Performance of CryoSat-2 SARIn Mode Data Over Antarctica
Novel Automatic Approach for Land Cover Change Detection by Using VHR Remote Sensing Images
Optimizing the NeQuick Topside Scale Height Parameters Through COSMIC/FORMOSAT-3 Radio Occultation Data
Selecting Information Fusion Generative Adversarial Network for Remote-Sensing Image Cloud Removal
Clutter Detection and Surface/Subsurface Slope Determination by Combination of Repeat-Pass Sounder Orbits Applied to SHARAD Data
Unsupervised Subpixel Mapping of Remotely Sensed Imagery Based on Fuzzy C-Means Clustering Approach
Nonconvex-Nonlocal Total Variation Regularization-Based Joint Feature-Enhanced Sparse SAR Imaging
Through-Wall Imaging via a Linear Inverse Scattering Algorithm
An Enhanced Image Matching Strategy Using Binary-Stream Feature Descriptors
Graph-Cut-Based Collaborative Node Embeddings for Hyperspectral Images Classification
PCA-CNN Hybrid Approach for Hyperspectral Pansharpening
An Efficient Detail Extraction Algorithm for Improving Haze-Corrected CS Pansharpening
Time Variant RFI Suppression for SAR Using Iterative Adaptive Approach
Generating Views Using Atmospheric Correction for Contrastive Self-Supervised Learning of Multispectral Images
A New Land Cover Classification Method Using Grade-Added Rough Sets
Multioutput Support Vector Regression for Remote Sensing Biophysical Parameter Estimation
Microwave Thermal Emission Features of Mare Tranquillitatis Revealed by CE-2 CELMS Data
Fast Object-Level Change Detection for VHR Images
Synergistic Use of Satellite Laser Altimetry and Shuttle Radar Topography Mission DEM for Estimating Ground Elevation Over Mountainous Vegetated Areas
Ship Recognition for Complex SAR Images via Dual-Branch Transformer Fusion Network
A Principal Component Based Haze Masking Method for Visible Images
A Modified Model for Quasi-Monostatic Ground Penetrating Radar
Class Centralized Dictionary Learning for Few-Shot Remote Sensing Scene Classification
Model-Free Characterization of SAR MTI Time Series
Deep Learning With Grouped Features for Spatial Spectral Classification of Hyperspectral Images
Smoothing Tidal Effects in Well Test Pressure Data
Airborne Radar Collaborative Range-Ambiguity Resolving Based on Mono-PRF
Adaptive Moving Ground-Target Detection Method Based on Seismic Signal
IRCI-Free CP-OFDM SAR Signal Processing
Cross-Correlation Between Polarization Channels in SAR Imagery Over Oceanographic Features
A Dictionary-Based SAR RFI Suppression Method via Robust PCA and Chirp Scaling Algorithm
Adaptive Differential Evolution by Adjusting Subcomponent Crossover Rate for High-Dimensional Waveform Inversion
A Temperature-Domain SEBAL Model Based on a Wind Speed-Independent Theoretical Trapezoidal Space Between Fractional Vegetation Coverage and Land Surface Temperature
Training Sample Selection for Space-Time Adaptive Processing in Heterogeneous Environments
Region-Merging Method With Texture Pattern Attention for SAR Image Segmentation
Remote Sensing Image Scene Classification Based on an Enhanced Attention Module
Bistatic Spotlight SAR Processing Using the Frequency-Scaling Algorithm
Kolmogorov-Arnold Networks for Semi-Supervised Impedance Inversion
A Gravity Gradient Differential Ratio Method for Underwater Object Detection
Estimation of Water Depths and Turbidity From Hyperspectral Imagery Using Support Vector Regression
Crop Identification of UAV Images Based on an Unsupervised Semantic Segmentation Method
A Framework for Big Earth Observation Data Using Horizontal Scaling Strategy
Potential Geological Information of Mare Basalts in Mare Serenitatis Using CELMS Data
A New Look at the Bistatic-to-Monostatic Conversion for Tandem SAR Image Formation
Feature Extraction for Patch-Based Classification of Multispectral Earth Observation Images
A Calibration Model for Field-of-View Effect in Thermal Infrared Remote Sensing Images From Uncrewed Aerial Vehicles
CFAR-Guided Dual-Stream Single-Shot Multibox Detector for Vehicle Detection in SAR Images
Point-Based Multilevel Domain Adaptation for Point Cloud Segmentation
Multifeature GNSS-R Snow Depth Retrieval Using GA-BP Neural Network
Remote Sensing Scene Classification Based on Multibranch Fusion Attention Network
Scenario Context-Aware-Based Bidirectional Feature Pyramid Network for Remote Sensing Target Detection
Hierarchical Feature Aggregation and Self-Learning Network for Remote Sensing Image Continuous-Scale Super-Resolution
Unlabeled Data Guided Partial Label Learning for Hyperspectral Image Classification
Infrared Small Target Detection Based on Multidirectional Cumulative Measure
Hyperspectral Image Classification via Low-Rank and Sparse Representation With Spectral Consistency Constraint
Land Cover Classification in Foggy Conditions: Toward Robust Models
Global-Local Feature Fusion Network for Visible-Infrared Vehicle Detection
Domain Adaptation for Object Classification in Point Clouds via Asymmetrical Siamese and Conditional Adversarial Network
SELM: Self-Motivated Ensemble Learning Model for Cross-Domain Few-Shot Classification in Hyperspectral Images
SSRN: A Nonlocal Sparse Attention and Multiscale Fusion Super Resolution Network for Spacecraft ISAR Image
Complex Noise Suppression Using a Robust Dictionary Learning Approach
Discriminative Graph-Based Fusion of HSI and LiDAR Data for Urban Area Classification
A Scalable Target Orientation Detection Method for Remote Sensing Images Based on Improved YOLOX Algorithm
Unsupervised Land-Cover Segmentation Using Accelerated Balanced Deep Embedded Clustering