yusuke1997/dblp-id-title huggingface dataset:
Computable analogs of cardinal characteristics: Prediction and rearrangement
Theories of Generalized Pascal Triangles
Kripke-Style Models for Typed lambda Calculus
Symmetry in information flow
A characterization of Σ11-reflecting ordinals
Preface: A Selection of Papers Presented at the 9th International Conference of Logic, Methodology and Philosophy of Science
A large pairwise far family of Aronszajn trees
Generic absoluteness
Propositional team logics
Automorphisms of the lattice of recursively enumerable sets. Part II: Low sets
A Data Type Variety of Stack Algebras
Set theoretical aspects of the Banach space L infinitf / c 0
Reducts of Random Hypergraphs
Incomparable Prime Ideals of Recursively Enumerable Degrees
Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions
Probabilistic verification and approximation
Point-Free Topological Spaces, Functions and Recursive Points: Filter Foundation for Recursive Analysis I
Morasses, Square and Forcing Axioms
Bounded functional interpretation and feasible analysis
On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA
Deterministic Automata: Simulation, Universality and Minimality
Combinatorics at א ω
Safe beliefs for propositional theories
Large cardinals and basic sequences
Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma
Proof-Theoretic Investigations on Kruskal's Theorem
The definable multiplicity property and generic automorphisms
Power Set Recursion
More exact completions that are toposes
On the Computability of Fractal Dimensions and Hausdorff Measure
Intuitionistic Formal Theories with Realizability in Subrecursive Classes
On the scheme of induction for bounded arithmetic formulas
Feasible Graphs with Standard Universe
Saturation and simple extensions of models of peano arithmetic
A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π 1 -equivalent to KP
Philosophical reflection on mathematics in Poland in the interwar period
Computable Stone spaces
Elementary equivalence of rings with finitely generated additive groups
A Theorem on Barr-Exact Categories, with an Infinitary Generalization
The uniform boundedness theorem and a boundedness principle
The Lottery Preparation
Regularity properties on the generalized reals
A characterization of generalized existential completions
Computably and punctually universal spaces
Applications of iterated perfect set forcing
Positive provability logic for uniform reflection principles
The proof complexity of linear algebra
Finitely generated groups are universal among finitely generated structures
Partition Numbers
Topological Models of Epistemic Set Theory
Complexity-Theoretic Algebra II: Boolean Algebras
Non-density in punctual computability
Describing proofs by short tautologies
Ordinal decompositions for preordered root systems
Degrees of Orderings Not Isomorphic to Recursive Linear Orderings
Towards a finer classification of strongly minimal sets
Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus
About Goodman's Theorem
Generalising canonical extension to the categorical setting
A Completeness Theorem for Open Maps
Axiomatizing AECs and applications
Taming Koepke's Zoo II: Register machines
Linear Logic with Fixed Resources
Disjoint Borel functions
Stationary and closed rainbow subsets
Self-Reference and the Acyclicity of Rational Choice
Finite axiomatizability in Łukasiewicz logic
Twin procedures, two kinds of variable binding, and two kinds of computation
Searching problems above arithmetical transfinite recursion
Beyond Borel-amenability: Scales and superamenable reducibilities
Cell Decompositions of C-Minimal Structures
Set-theoretic geology
How to Win Some Simple Iteration Games
Normal forms for connectedness in categories
Complexity of Reals in Inner Models of Set Theory
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
Structural interactions of the recursively enumerable T- and W-degrees
Using the prover ANDP to simplify orthogonality
Some supplements to Feferman-Vaught related to the model theory of adeles
Dynamic topological logic
Silver type theorems for collapses
Admissible rules in the implication-negation fragment of intuitionistic logic
Proofs and surfaces
Kripke semantics and proof systems for combining intuitionistic logic and classical logic
Axioms for strict and lazy functional programs
On the weak Freese-Nation property of complete Boolean algebras
On modal logics arising from scattered locally compact Hausdorff spaces
Green points in the reals
Labeled sequent calculus for justification logics
The definability of E in self-iterable mice
First-order theories of abstract dependence relations
Decidable theories of non-projectable l-groups of continuous functions
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem
Stationarily ordered types and the number of countable models
Analyzing realizability by Troelstra's methods
Incorporating equality into logic programming via surface deduction
Possible Values for 2 aleph n and 2 aleph omega
Martin-Löf complexes
Subadditive families of hypergraphs
On -categoricity of equivalence relations
Inductive inference and reverse mathematics
More existence theorems for recursion categories
Strong Normalization in Type Systems: A Model Theoretic Approach
Burden in Henselian valued fields
Large Ideals on Small Cardinals
Forcing a □( κ )-like principle to hold at a weakly compact cardinal
Towards a canonical classical natural deduction system
Expressive completeness through logically tractable models
How much randomness is needed for statistics?
Reflection principles and second-order choice principles with urelements
Covering the Baire space by families which are not finitely dominating
Ramsey transfer to semi-retractions
On lengths of proofs in non-classical logics
Arboreal categories and equi-resource homomorphism preservation theorems
Some simple theories from a Boolean algebra point of view
Observing, reporting, and deciding in networks of sentences
Hyperations, Veblen progressions and transfinite iteration of ordinal functions
Theories of Frege structure equivalent to Feferman's system T0
Some Effects of Ash-Nerode and Other Decidability Conditions on Degree Spectra
Sub-Arithmetical Ultrapowers: A Survey
P-points in Q max models
Universal graphs at N_ ω+1
Beyond abstract elementary classes: On the model theory of geometric lattices
Patterns of resemblance of order 2
Nullifying randomness and genericity using symmetric difference
Substitution Frege and extended Frege proof systems in non-classical logics
The Gamma question for many-one degrees
Atom Structures of Cylindric Algebras and Relation Algebras
Corrigendum to "On stably pointed varieties and generically stable groups in ACVF" [Ann. Pure Appl. Log. 170(2) (2019) 180-217]
A semi-linear group which is not affine
Bounding computably enumerable degrees in the Ershov hierarchy
Dense non-reflection for stationary collections of countable sets
Fragments of Martin's axiom and Delta 1 3 Sets of Reals
A multiplication operation for the hierarchy of norms
Cut elimination and strong separation for substructural logics: An algebraic approach
Arithmetic of Dedekind cuts of ordered Abelian groups
Abelian group actions and hypersmooth equivalence relations
Infinite Games Played on Finite Graphs
A new system of proof-theoretic ordinal functions
|˜-divisibility of ultrafilters
Rank-Pooling-Based Features on Localized Regions for Automatic Micro-Expression Recognition
Multiresolution Wavelet Transform Based Anisotropic Diffusion for Removing Speckle Noise in a Real-Time Vision-Based Database
Unit-Selection Speech Synthesis Method Using Words as Search Units
An Evaluation of Color Sorting for Image Browsing
Attention-Based Multimodal Neural Network for Automatic Evaluation of Press Conferences
Iterative Usability Evaluation for an Online Educational Web Portal
Efficient CABAC Bit Estimation for H.265/HEVC Rate-Distortion Optimization
Implement Multichannel Fractional Sample Rate Convertor using Genetic Algorithm
Applying Machine Learning in Optical Music Recognition of Numbered Music Notation
A Hierarchical Security Model for Multimedia Big Data
Synthetic Video Generation for Evaluation of Sprite Generation
Archive Film Comparison
Image Quality Improvement Using Shift Variant and Shift Invariant Based Wavelet Transform Methods: A Novel Approach
A Review on Semantic Text and Multimedia Retrieval and Recent Trends
Indexing Musical Sequences in Large Datasets Using Relational Databases
Automatic Pitch Type Recognition System from Single-View Video Sequences of Baseball Broadcast Videos
Movie Video Summarization- Generating Personalized Summaries Using Spatiotemporal Salient Region Detection
Copy-Move Forgery Detection Using DyWT
Discovering News Frames: An Approach for Exploring Text, Content, and Concepts in Online News Sources
3D Model-Based Semantic Categorization of Still Image 2D Objects
Multispectral Image Compression, Intelligent Analysis, and Hierarchical Search in Image Databases
JIRL: A C++ Toolkit for JPEG Compressed Domain Image Retrieval
iASSIST: An iPhone-Based Multimedia Information System for Indoor Assistive Navigation
Towards Improved Music Recommendation: Using Blogs and Micro-Blogs
A Framework Model for Integrating Social Media, the Web, and Proprietary Services Into YouTube Video Classification Process
DMMs-Based Multiple Features Fusion for Human Action Recognition
PIR: A Domain Specific Language for Multimedia Information Retrieval
Enhancing Rating Prediction by Discovering and Incorporating Hidden User Associations and Behaviors
3D Music Impact on Autonomic Nervous System Response and Its Potential Mechanism
A Social Media Recommender System
QoS Routing for Multimedia Communication over Wireless Mobile Ad Hoc Networks: A Survey
A Web-Based Multimedia Retrieval System with MCA-Based Filtering and Subspace-Based Learning Algorithms
Blog Snippets Based Drug Effects Extraction System Using Lexical and Grammatical Restrictions
Landmark Dataset Development and Recognition
Improving Auto-Detection of Phishing Websites using Fresh-Phish Framework
Semi-Supervised Multimodal Fusion Model for Social Event Detection on Web Image Collections
HaMA: A Handicap-based Architecture for Multimedia Document Adaptation
Multimodal Dance Generation Networks Based on Audio-Visual Analysis
Context-Based Scene Understanding
A Review on 3D Signing Avatars: Benefits, Uses and Challenges
Design and Performance Evaluation of Smart Job First Multilevel Feedback Queue (SJFMLFQ) Scheduling Algorithm with Dynamic Smart Time Quantum
Tissue Image Classification Using Multi-Fractal Spectra
Collaborative Work and Learning with Large Amount of Graphical Content in a 3D Virtual World Using Texture Generation Model Built on Stream Processors
Predicting Key Recognition Difficulty in Music Using Statistical Learning Techniques
A Distance-Window Approach for the Continuous Processing of Spatial Data Streams
Efficient Imbalanced Multimedia Concept Retrieval by Deep Learning on Spark Clusters
SSIM-Based Distortion Estimation for Optimized Video Transmission over Inherently Noisy Channels
Efficient Large-Scale Stance Detection in Tweets
Discrete Transform Based Image Fusion: A Review
Color Image Segmentation: From the View of Projective Clustering
Automation of Explainability Auditing for Image Recognition
Navigating Through Video Stories Using Clustering Sets
A Fully Automated Porosity Measure for Thermal Barrier Coating Images
Authorship Detection and Encoding for eBay Images
Generating Personalized Explanations for Recommender Systems Using a Knowledge Base
ISEQL, an Interval-based Surveillance Event Query Language
Content Adaptation in Mobile Learning Environments
Video Summarization Based on Multimodal Features
Towards Robust Invariant Commutative Watermarking-Encryption Based on Image Histograms
Adaptive Multi-Agent Control Strategy in Heterogeneous Countermeasure Environments
A-DisETrac Advanced Analytic Dashboard for Distributed Eye Tracking
Constructing and Utilizing Video Ontology for Accurate and Fast Retrieval
The Research on Shape Context Based on Gait Sequence Image
Brain Neuron Network Extraction and Analysis of Live Mice from Imaging Videos
An Improved Arabic Handwritten Recognition System using Deep Support Vector Machines
Maxout Networks for Visual Recognition
A Scalable Graph-Based Semi-Supervised Ranking System for Content-Based Image Retrieval
Object-of-Interest Retrieval in Social Media Image Databases for e-Crime Forum Detection
An Experimental Evaluation of Debayering Algorithms on GPUs for Recording Panoramic Video in Real-Time
Video Face Tracking and Recognition with Skin Region Extraction and Deformable Template Matching
A Combination of Spatial Pyramid and Inverted Index for Large-Scale Image Retrieval
Location-Aware Caching for Semantic-Based Image Queries in Mobile AD HOC Networks
Music Control in an Interactive Conducting System Using Kinect
Contour Based High Resolution 3D Mesh Construction Using HRCT and MRI Stacks
Static Signature Verification Based on Texture Analysis Using Support Vector Machine
A No-Reference Image Quality Model for Object Detection on Embedded Cameras
Content-Based Multimedia Retrieval Using Feature Correlation Clustering and Fusion
Video Segmentation and Structuring for Indexing Applications
Matching Word-Order Variations and Sorting Results for the iEPG Data Search
Social User Mining: Survey on Mining Different Types of Social Media Data
A New Neural Networks-Based Integrated Model for Aspect Extraction and Sentiment Classification
Performance of Gaussian and Non-Gaussian Synthetic Traffic on Networks-on-Chip
Multiple Points Localization With Defocused Images
K-Means Based Prediction of Transcoded JPEG File Size and Structural Similarity
Spatio-Temporal Analysis for Human Action Detection and Recognition in Uncontrolled Environments
Content-Based Keyframe Clustering Using Near Duplicate Keyframe Identification
Extracting Hierarchy of Coherent User-Concerns to Discover Intricate User Behavior from User Reviews
A Convenient Interface for Video Navigation on Smartphones
Counterfactual Autoencoder for Unsupervised Semantic Learning
Motion Estimation Role in the Context of 3D Video
Multimedia Databases and Data Management: A Survey
Construct a Bipartite Signed Network in YouTube
A Hybrid Image Encryption Algorithm Based on Chaos System and Simplified Advanced Encryption System
Metamorphic Testing of Image Classification and Consistency Analysis Using Clustering
Multimodal Information Integration and Fusion for Histology Image Classification
Multimodal Information Fusion of Audiovisual Emotion Recognition Using Novel Information Theoretic Tools
An Automatic Video Reinforcing System for TV Programs using Semantic Metadata from Closed Captions
User-Based Load Visualization of Categorical Forecasted Smart Meter Data Using LSTM Network
Optimizing Quality-of-Experience for HTTP-based Adaptive Video Streaming: An SDN-based Approach
Bregman Hyperplane Trees for Fast Approximate Nearest Neighbor Search
Board Game Supporting Learning Prim's Algorithm and Dijkstra's Algorithm
Fast Selective Encryption Methods for Bitmap Images
VideoTopic: Modeling User Interests for Content-Based Video Recommendation
A Hyperbolic Arnold's Cat Map-Based System for Multimedia Data Encryption
Multimedia Social Network Modeling using Hypergraphs
Comparison of Image Decompositions Through Inverse Difference and Laplacian Pyramids
A Randomized Framework for Estimating Image Saliency Through Sparse Signal Reconstruction
Automatic Live Sport Video Streams Curation System from User Generated Media
Performance Evaluation of Relevance Feedback for Image Retrieval by "Real-World" Multi-Tagged Image Datasets
Multimodal Information Fusion for Semantic Video Analysis
A Novel Approach for Colorization of a Grayscale Image using Soft Computing Techniques
A Biologically Inspired Saliency Priority Extraction Using Bayesian Framework
Boosting of Deep Convolutional Architectures for Arabic Handwriting Recognition
Fast Caption Alignment for Automatic Indexing of Audio
Online Video Summarization Based on Local Features
Ontology Instance Matching based MPEG-7 Resource Integration
A Survey of Visual Traffic Surveillance Using Spatio-Temporal Analysis and Mining
An Analysis of Human Emotions by Utilizing Wavelet Features
A Multi-Stage Framework for Classification of Unconstrained Image Data from Mobile Phones
A Texture Preserving Image Interpolation Algorithm Based on Rational Function
KTRICT A KAZE Feature Extraction: Tree and Random Projection Indexing-Based CBIR Technique
Building-Scale Virtual Reality: Reconstruction and Modification of Building Interior Extends Real World
Emocap: Video Shooting Support System for Non-Expert Users
A Real-Time 3D Visualization Framework for Multimedia Data Management, Simulation, and Prediction: Case Study in Geospatial-Temporal Biomedical Disease Surveillance Networks
Construction and Application of Sentiment Lexicons in Finance
On the Applicability of Speaker Diarization to Audio Indexing of Non-Speech and Mixed Non-Speech/Speech Video Soundtracks
Deep Learning-Based Models for Porosity Measurement in Thermal Barrier Coating Images
An Intelligent Opportunistic Routing Protocol for Big Data in WSNs
A Cross-Layer Design for Video Streaming Over 802.11e HCCA Wireless Network
Lifelog Moment Retrieval With Interactive Watershed-Based Clustering and Hierarchical Similarity Search
Audio Classification and Retrieval Using Wavelets and Gaussian Mixture Models
Robust Duplicate Detection of 2D and 3D Objects
Image Segmentation Utilizing Color-Space Feature
An Innovative Multiple-Object Image Retrieval Framework Using Hierarchical Region Tree
Adaptive Acquisition and Visualization of Point Cloud Using Airborne LIDAR and Game Engine
Using a Commodity Hardware Video Encoder for Interactive Applications
Machine Learning Classification of Tree Cover Type and Application to Forest Management
Building Tag-Aware Groups for Music High-Order Ranking and Topic Discovery
Credibility Analysis for Online Product Reviews
Comparison of Light Field and Conventional Near-Eye AR Displays in Virtual-Real Integration Efficiency
Building Multi-Modal Relational Graphs for Multimedia Retrieval
Improving Gender Classification Using an Extended Set of Local Binary Patterns
Unsupervised Video Object Foreground Segmentation and Co-Localization by Combining Motion Boundaries and Actual Frame Edges
Requirements to a Search Engine for Semantic Multimedia Content
Multi-Label Classification Method for Multimedia Tagging
An Image Quality Adjustment Framework for Object Detection on Embedded Cameras
High Performance Online Image Search with GPUs on Large Image Databases
A Comparative Study of Graph Kernels and Clustering Algorithms
Learning and Interpreting Features to Rank: A Case Study on Age Estimation
Accurate Image Retrieval with Unsupervised 2-Stage k-NN Re-Ranking
A Novel Strategy for Recommending Multimedia Objects and its Application in the Cultural Heritage Domain
An Image Clustering and Feedback-based Retrieval Framework
Understanding User-Curated Playlists on Spotify: A Machine Learning Approach
Generating Window of Sign Languages on ITU J.200-Based Middlewares
The Factors that Influence E-Instructors' Performance in Taiwan: A Perspective of New Human Performance Model
Query Adaptation Techniques in Temporal-DHT for P2P Media Streaming Applications
Hybrid Query Refinement: A Strategy for a Distance Based Index Structure to Refine Multimedia Queries
Visual Analytics of Long-Term Care Resource Utilization in Taiwan
Rule-Based Semantic Concept Classification from Large-Scale Video Collections
Audiovisual Facial Action Unit Recognition using Feature Level Fusion
FaceTimeMap: Multi-Level Bitmap Index for Temporal Querying of Faces in Videos
Correlation-Based Ranking for Large-Scale Video Concept Retrieval
On Combining Sequence Alignment and Feature-Quantization for Sub-Image Searching
Multimodal Data Integration and User Interaction for Avatar Simulation in Augmented Reality
Spatio-Temporal Denoising for Depth Map Sequences
Another AI? Artificial Imagination for Artistic Mind Map Generation
Automated Filtering of Eye Movements Using Dynamic AOI in Multiple Granularity Levels
Towards Fusion of Textual and Visual Modalities for Describing Audiovisual Documents
Default Reasoning for Forensic Visual Surveillance based on Subjective Logic and Its Comparison with L-Fuzzy Set Based Approaches
A Novel Research in Low Altitude Acoustic Target Recognition Based on HMM
An Adaptive Neuro-Fuzzy Inference System-Based Ubiquitous Learning System to Support Learners With Disabilities
Improving Emotion Analysis for Speech-Induced EEGs Through EEMD-HHT-Based Feature Extraction and Electrode Selection
Reducing Processing Demands for Multi-Rate Video Encoding: Implementation and Evaluation
Emoticon Recommendation System to Richen Your Online Communication
Multi-Sensor Motion Fusion Using Deep Neural Network Learning
Recognizing Human Actions in Basketball Video Sequences on the Basis of Global and Local Pairwise Representation
Optical Flow Prediction for Blind and Non-Blind Video Error Concealment Using Deep Neural Networks
A Dynamic Approach to Estimate Receiving Bandwidth for WebRTC
Exploring Different Optimization Techniques for an External Multimedia Meta-Search Engine
A Transformer-Based Model for Multi-Track Music Generation
Utilizing Context Information to Enhance Content-Based Image Classification
Weighted Association Rule Mining for Video Semantic Detection
Making Enterprise Recorded Meetings Easy to Discover and Share
An Adaptation Architecture Dedicated to Personalized Management of Multimedia Documents
Task Modelling of Sports Events for Personalized Video Streaming Data in Augmentative and Alternative Communication
Universal Sparse Adversarial Attack on Video Recognition Models
Comprehensive simulation of metagenomic sequencing data with non-uniform sampling distribution
Erratum to: Identifying miRNA-disease association based on integrating miRNA topological similarity and functional similarity
Progress in molecular docking
On the statistical significance of protein complex
Whole genome sequencing and its applications in medical genetics
2012 Cold Spring Harbor Asia Conference on Synthetic Biology
Applications of probability and statistics in cancer genomics
The international Human Genome Project: A milestone for life sciences and humanity-The three stages and three major impacts of the HGP, and three contributions by China
NeoHunter: Flexible software for systematically detecting neoantigens from sequencing data
Microfluidics and its applications in quantitative biology
A comprehensive evaluation of large language models in mining gene relations and pathway knowledge
Subnetwork identification and chemical modulation for neural regeneration: A study combining network guided forest and heat diffusion model
Systems analysis of the "weights" of Bcl-2 and Mcl-1 in mitochondrial apoptosis pathway establishes a predictor for best drug combination ratio
Decoding fear of negative evaluation from brain morphology: A machine-learning study on structural neuroimaging data
Yanda Li: A never-stopping pioneer, investigator and founder
Re-examination of statistical relationships between dietary fats and other risk factors, and cardiovascular disease, based on two crucial datasets
Applications of integrative OMICs approaches to gene regulation studies
Counting single cells and computing their heterogeneity: from phenotypic frequencies to mean value of a quantitative biomarker
On statistical energy functions for biomolecular modeling and design
Roles of statistical modeling in characterizing the genetic basis of human diseases and traits
Modeling and analysis of RNA-seq data: a review from a statistical perspective
Erratum to: Delineating the respective impacts of stochastic curl- and grad-forces in a family of idealized core genetic commitment circuits
Construction, visualization, and analysis of biological network models in Dynetica