yusuke1997/dblp-id-title huggingface dataset:
A Logic for Non-Monotone Inductive Definitions
Cross-modal Knowledge Reasoning for Knowledge-based Visual Question Answering
A Library for Representing Python Programs as Graphs for Machine Learning
Does Campaigning on Social Media Make a Difference? Evidence from candidate use of Twitter during the 2015 and 2017 UK Elections
Transportation analysis of denoising autoencoders: a novel method for analyzing deep neural networks
Programmable Transimpedance Amplifier with Integrated Bandgap Reference for Glucose Concentration Measurement
Generative Speech Recognition Error Correction with Large Language Models and Task-Activating Prompting
Stateman: Using Metafunctions to Manage Large Terms Representing Machine States
Amortized Analysis via Coalgebra
A Structure-Preserving Domain Decomposition Method for Data-Driven Modeling
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary
Multicasting in NOMA-Based UAV Networks: Path Design and Throughput Maximization
Using a one dimensional parabolic model of the full-batch loss to estimate learning rates during training
Well-posedness, discretization and preconditioners for a class of models for mixed-dimensional problems with high dimensional gap
Gemini: Integrating Full-fledged Sensing upon Millimeter Wave Communications
Convergence analysis of novel discontinuous Galerkin methods for a convection dominated problem
Autoencoder-augmented Neuroevolution for Visual Doom Playing
Possible and Necessary Winner Problem in Social Polls
A Progressive Image Restoration Network for High-order Degradation Imaging in Remote Sensing
CrEst: Credibility Estimation for Contexts in LLMs via Weak Supervision
Bayesian neural networks increasingly sparsify their units with depth
HKR For Handwritten Kazakh & Russian Database
Joint source and channel coding for MIMO systems: Is it better to be robust or quick?
Enhancing Biogenic Emission Maps Using Deep Learning
Pea-KD: Parameter-efficient and Accurate Knowledge Distillation
A Systems Thinking Approach to Algorithmic Fairness
Mixed-Precision Conjugate Gradient Solvers with RL-Driven Precision Tuning
Self-Evolving Neural Radiance Fields
More efficient manual review of automatically transcribed tabular data
Dominance analysis of linear complementarity systems
Experimentation for Packet Loss on MSP430 and nRF24L01 Based Wireless Sensor Network
Embodied Hazard Mitigation using Vision-Language Models for Autonomous Mobile Robots
A Note on Semantic Web Services Specification and Composition in Constructive Description Logics
Quantifying the rise and fall of scientific fields
Backdoor Attacks Against Speech Language Models
Vec2Face: Unveil Human Faces from their Blackbox Features in Face Recognition
Bispectrum Inversion with Application to Multireference Alignment
HyLTL: a temporal logic for model checking hybrid systems
An Embedded Auto-Calibrated Offset Current Compensation Technique for PPG/fNIRS System
A Closer Look at Codistillation for Distributed Training
REFORM: Removing False Correlation in Multi-level Interaction for CTR Prediction
A Brief Survey on Representation Learning based Graph Dimensionality Reduction Techniques
Diagnosing and Remedying Knowledge Deficiencies in LLMs via Label-free Curricular Meaningful Learning
The Battle of Metasurfaces: Understanding Security in Smart Radio Environments
A Bayesian Interpretation of the Internal Model Principle
PrimeGuard: Safe and Helpful LLMs through Tuning-Free Routing
GP-VTON: Towards General Purpose Virtual Try-on via Collaborative Local-Flow Global-Parsing Learning
Energy-based Generative Models for Target-specific Drug Discovery
End-to-End NLP Knowledge Graph Construction
Video World Models with Long-term Spatial Memory
DiSCO-3D : Discovering and segmenting Sub-Concepts from Open-vocabulary queries in NeRF
Extending Record and Playback Technologies to Support Cooperative Learning
Dictionary Learning with Almost Sure Error Constraints
A Multi-purposed Unsupervised Framework for Comparing Embeddings of Undirected and Directed Graphs
Enhancing Real-Time Master Data Management with Complex Match and Merge Algorithms
Multi Layer Sparse Coding: the Holistic Way
Near-Optimal Bounds for Generalized Orthogonal Procrustes Problem via Generalized Power Method
Seasonal Fire Prediction using Spatio-Temporal Deep Neural Networks
Gradient Descent Efficiently Finds the Cubic-Regularized Non-Convex Newton Step
High Dimensional Spaces, Deep Learning and Adversarial Examples
Statistical Quadrature Evolution by Inference for Continuous-Variable Quantum Key Distribution
Weakly-supervised DCNN for RGB-D Object Recognition in Real-World Applications Which Lack Large-scale Annotated Training Data
A Consistency Analysis Method for Traffic Sequence Charts
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem
The Pace and Pulse of the Fight against Coronavirus across the US, A Google Trends Approach
Targeting Misalignment: A Conflict-Aware Framework for Reward-Model-based LLM Alignment
A Theoretical Study of Inductive Biases in Contrastive Learning
Review on Microscopic Pedestrian Simulation Model
In-House Evaluation Is Not Enough: Towards Robust Third-Party Flaw Disclosure for General-Purpose AI
On the connection between the ABS perturbation methodology and differential privacy
WIA-LD2ND: Wavelet-based Image Alignment for Self-supervised Low-Dose CT Denoising
The World is Your Canvas: Painting Promptable Events with Reference Images, Trajectories, and Text
Building an Ethical and Trustworthy Biomedical AI Ecosystem for the Translational and Clinical Integration of Foundational Models
Neurology-as-a-Service for the Developing World
Towards a Systems Theory of Algorithms
Echo-chambers and Idea Labs: Communication Styles on Twitter
Multi-Objective Optimisation Method for Posture Prediction and Analysis with Consideration of Fatigue Effect and its Application Case
MSTAR: Multi-Scale Backbone Architecture Search for Timeseries Classification
Tunable Subnetwork Splitting for Model-parallelism of Neural Network Training
TM-vector: A Novel Forecasting Approach for Market stock movement with a Rich Representation of Twitter and Market data
Synth2Aug: Cross-domain speaker recognition with TTS synthesized speech
Value of Information in Greedy Submodular Maximization
The Magni Human Motion Dataset: Accurate, Complex, Multi-Modal, Natural, Semantically-Rich and Contextualized
FSscore: A Machine Learning-based Synthetic Feasibility Score Leveraging Human Expertise
Quantitative identification of technological discontinuities using simulation modeling
Quantifier Elimination for Database Driven Verification
Meta-Learning with Sparse Experience Replay for Lifelong Language Learning
Pipit: Enabling programmatic analysis of parallel execution traces
Visual Spatio-temporal Relation-enhanced Network for Cross-modal Text-Video Retrieval
Rule Optimization for Real-Time Query Service in Software-Defined Internet of Vehicles
Rank-based No-reference Quality Assessment for Face Swapping
Polarity detection movie reviews in hindi language
Model of solutions for data security in Cloud Computing
Trustworthy Few-Shot Transfer of Medical VLMs through Split Conformal Prediction
More Consideration for the Perceptron
Model-Based Diffusion Sampling for Predictive Control in Offline Decision Making
A Pipeline of Augmentation and Sequence Embedding for Classification of Imbalanced Network Traffic
Bayes-Split-Edge: Bayesian Optimization for Constrained Collaborative Inference in Wireless Edge Systems
FollowUpBot: An LLM-Based Conversational Robot for Automatic Postoperative Follow-up
Bring Your Own Knowledge: A Survey of Methods for LLM Knowledge Expansion
Generic identifiability of subnetworks in a linear dynamic network: the full measurement case
Q-map: a Convolutional Approach for Goal-Oriented Reinforcement Learning
Enhancing Long-form Text Generation Efficacy with Task-adaptive Tokenization
Perceptual Similarity guidance and text guidance optimization for Editing Real Images using Guided Diffusion Models
Adaptive Differentially Private Empirical Risk Minimization
A general alternating direction implicit iteration method for solving complex symmetric linear systems
Balloon-to-Balloon AdHoc Wireless Network Connectivity: Google Project Loon
Video Understanding based on Human Action and Group Activity Recognition
Flash X-ray diffraction imaging in 3D: a proposed analysis pipeline
A quantum ticking self-oscillator using delayed feedback
Spiketrum: An FPGA-based Implementation of a Neuromorphic Cochlea
Results on independent sets in categorical products of graphs, the ultimate categorical independence ratio and the ultimate categorical independent domination ratio
Distributed Symmetric Key Establishment: a Scalable Quantum-Safe Key Distribution Protocol
Bio-inspired Evolutionary Game Dynamics on Complex Networks under Uncertain Cross-inhibitory Signals
Cryptocurrency Price Prediction Using Parallel Gated Recurrent Units
Visualization Large-scale and High-dimensional Data
Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020
Decentralized Merging Control of Connected and Automated Vehicles to Enhance Safety and Energy Efficiency using Control Barrier Functions
Deploying Containerized QuantEx Quantum Simulation Software on HPC Systems
E-swish: Adjusting Activations to Different Network Depths
Geometric Mean Improves Loss For Few-Shot Learning
Query Expansion for Patent Searching using Word Embedding and Professional Crowdsourcing
There's Plenty of Room Right Here: Biological Systems as Evolved, Overloaded, Multi-scale Machines
Extension of Symmetrized Neural Network Operators with Fractional and Mixed Activation Functions
ECHO: An Automated Contextual Inquiry Framework for Anonymous Qualitative Studies using Conversational Assistants
Action Recognition using Visual Attention
Pareto-NRPA: A Novel Monte-Carlo Search Algorithm for Multi-Objective Optimization
Robustness Assessment and Enhancement of Text Watermarking for Google's SynthID
Pareto and Boltzmann-Gibbs behaviors in a deterministic multi-agent system
How to turn a scripting language into a domain specific language for computer algebra
Safely Abstracting Memory Layouts
Thinking with Images via Self-Calling Agent
Sensor Selection and Optimal Precision in H 2 /H ∞ Estimation Framework: Theory and Algorithms
Can Musical Emotion Be Quantified With Neural Jitter Or Shimmer? A Novel EEG Based Study With Hindustani Classical Music
A Large Batch Optimizer Reality Check: Traditional, Generic Optimizers Suffice Across Batch Sizes
CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse
Tensor Completion via Tensor Networks with a Tucker Wrapper
Barrier Simulations and Experimental Calculations Using Cell Merging Method
Construction of neural networks for realization of localized deep learning
Privacy-Preserving Socialized Recommendation based on Multi-View Clustering in a Cloud Environment
AVIS: Autonomous Visual Information Seeking with Large Language Models
HAQ: Hardware-Aware Automated Quantization
MVBIND: Self-Supervised Music Recommendation For Videos Via Embedding Space Binding
CeTA - A Tool for Certified Termination Analysis
Quantum algorithms for group convolution, cross-correlation, and equivariant transformations
Free Energy and Network Structure: Breaking Scale-Free Behaviour Through Information Processing Constraints
PhysGS: Bayesian-Inferred Gaussian Splatting for Physical Property Estimation
Frequency propagation: Multi-mechanism learning in nonlinear physical networks
Numerical modeling of friction stir welding process: a literature review
Minority population in the one-dimensional Schelling model of segregation
5G network slicing using SDN and NFV- A survey of taxonomy, architectures and future challenges
Are Models Trained on Indian Legal Data Fair?
PAON: A New Neuron Model using Padé Approximants
When Do Discourse Markers Affect Computational Sentence Understanding?
Rethinking Model Redundancy for Low-light Image Enhancement
A Scalable Finite Difference Method for Deep Reinforcement Learning
The Fast Haar Wavelet Transform for Signal & Image Processing
The IBM 2015 English Conversational Telephone Speech Recognition System
Nothing in Excess: Mitigating the Exaggerated Safety for LLMs via Safety-Conscious Activation Steering
Focus on Semantic Consistency for Cross-domain Crowd Understanding
Compatibility, embedding and regularization of non-local random walks on graphs
The weight distributions of some linear codes derived from Kloosterman sums
Fuzzy Rough Choquet Distances for Classification
Spectrum Sharing between Cooperative Relay and Ad-hoc Networks: Dynamic Transmissions under Computation and Signaling Limitations
Evidence that P is not equal to NP
Energy-Efficient Approximate Full Adders Applying Memristive Serial IMPLY Logic For Image Processing
Frames in Outdoor 802.11 WLANs Provide a Hybrid Binary Symmetric/Packet Erasure Channel
Improper coloring of toroidal graphs
Cosine Scoring with Uncertainty for Neural Speaker Embedding
Model Compression
Spectral Embedding of Graph Networks
Testing the Segment Anything Model on radiology data
Psychological, Computational and Robotic Models of Time Perception
Technical Report: CSVM Ecosystem
Collaborative Learning of Semantic-Aware Feature Learning and Label Recovery for Multi-Label Image Recognition with Incomplete Labels
High-Power Dual-Channel Field Chamber for High-Frequency Magnetic Neuromodulation
CT Image Segmentation for Inflamed and Fibrotic Lungs Using a Multi-Resolution Convolutional Neural Network
Adaptive Reliability Analysis for Multi-fidelity Models using a Collective Learning Strategy
LiftVSR: Lifting Image Diffusion to Video Super-Resolution via Hybrid Temporal Modeling with Only 4⨉RTX 4090s
Multi-Agent Penetration Testing AI for the Web
From Complex Event Processing to Simple Event Processing
OccSTeP: Benchmarking 4D Occupancy Spatio-Temporal Persistence
Exploring the design space of diffusion and flow models for data fusion
Joint Reconstruction and Low-Rank Decomposition for Dynamic Inverse Problems
Spatial Lifting for Dense Prediction
On the Complexity of the Quantified Bit-Vector Arithmetic with Binary Encoded Bit-Widths
Multi-fidelity Gaussian Process for Biomanufacturing Process Modeling with Small Data
FreeGaze: Resource-efficient Gaze Estimation via Frequency Domain Contrastive Learning
Does the Web of Science Accurately Represent Chinese Scientific Performance?
An Integrated System for WEEE Sorting Employing X-ray Imaging, AI-based Object Detection and Segmentation, and Delta Robot Manipulation
Region of Interest based Medical Image Compression
Backorder Prediction in Inventory Management: Classification Techniques and Cost Considerations
Ramsey properties and extending partial automorphisms for classes of finite structures
Transformers versus the EM Algorithm in Multi-class Clustering
Large Language Model Displays Emergent Ability to Interpret Novel Literary Metaphors
L^2UWE: A Framework for the Efficient Enhancement of Low-Light Underwater Images Using Local Contrast and Multi-Scale Fusion
Ref-DVGO: Reflection-Aware Direct Voxel Grid Optimization for an Improved Quality-Efficiency Trade-Off in Reflective Scene Reconstruction
FUSELOC: Fusing Global and Local Descriptors to Disambiguate 2D-3D Matching in Visual Localization
Efficient Autoregressive Shape Generation via Octree-Based Adaptive Tokenization
Fusing Body Posture with Facial Expressions for Joint Recognition of Affect in Child-Robot Interaction
Structural patterns of information cascades and their implications for dynamics and semantics
Real-time Feedback Based Online Aggregate EV Power Flexibility Characterization
PRISM: High-Resolution & Precise Counterfactual Medical Image Generation using Language-guided Stable Diffusion
Empowering Dysarthric Speech: Leveraging Advanced LLMs for Accurate Speech Correction and Multimodal Emotion Analysis
DRACo-SLAM2: Distributed Robust Acoustic Communication-efficient SLAM for Imaging Sonar EquippedUnderwater Robot Teams with Object Graph Matching
Cyclic codes over the ring $\mathbb{F}_p[u, v, w]/\langle u^2, v^2, w^2, uv-vu, vw-wv, uw-wu \rangle$
Integrity-protecting block cipher modes - Untangling a tangled web
Q♯: Provably Optimal Distributional RL for LLM Post-Training
Uncertainty aware and explainable diagnosis of retinal disease
How Does Adversarial Fine-Tuning Benefit BERT?
On Function-Correcting Codes in the Lee Metric
Non-Interfering Concurrent Exchange (NICE) Networks
Counterexamples to the conjecture of the upper bound of the derivative of a rational Bézier curve
On the monophonic convexity number of the complementary prisms
Deep Learning-based Pipeline for Module Power Prediction from EL Measurements
Hybrid Affinity Propagation
Joint Diffusion models in Continual Learning
Feedback Dynamics of the Low-Income Rental Housing Market: Exploring Policy Responses to COVID-19
Convergence of Tâtonnement in Fisher Markets
Automatic Defect Detection of Print Fabric Using Convolutional Neural Network
CanvOI, an Oncology Intelligence Foundation Model: Scaling FLOPS Differently
Diversity-aware Channel Pruning for StyleGAN Compression
WPC: Whole-picture Workload Characterization
Tracking and Visualizing Signs of Degradation for an Early Failure Prediction of a Rolling Bearing
On the Efficient Evaluation of the Azimuthal Fourier Components of the Green's Function for Helmholtz's Equation in Cylindrical Coordinates
Enhancing Throughput for TTEthernet via Co-optimizing Routing and Scheduling: An Online Time-Varying Graph-based Method
Reinforcement Learning based Collective Entity Alignment with Adaptive Features
Selective Pseudo-label Clustering
Pseudo-online framework for BCI evaluation: A MOABB perspective
rule4ml: An Open-Source Tool for Resource Utilization and Latency Estimation for ML Models on FPGA
A new algorithm for Subgroup Set Discovery based on Information Gain
Orbits of linear maps and regular languages
ChaosNexus: A Foundation Model for Universal Chaotic System Forecasting with Multi-scale Representations
Shape calculus for fitted and unfitted discretizations: domain transformations vs. boundary-face dilations
ScaleHLS: Scalable High-Level Synthesis through MLIR
Client-side Straggler-Aware I/O Scheduler for Object-based Parallel File Systems
Elucidating Rectified Flow with Deterministic Sampler: Polynomial Discretization Complexity for Multi and One-step Models
Padé-parametric FEM approximation for fractional powers of elliptic operators on manifolds
Constraint Solving for Finite Model Finding in SMT Solvers
TimePerceiver: An Encoder-Decoder Framework for Generalized Time-Series Forecasting
Date-Field Retrieval in Scene Image and Video Frames using Text Enhancement and Shape Coding
Training morphological neural networks with gradient descent: some theoretical insights
Siren's Song in the AI Ocean: A Survey on Hallucination in Large Language Models
Optimized network structure and routing metric in wireless multihop ad hoc communication
Near Uniform Triangle Sampling Over Adjacency List Graph Streams
Cyclic Functional Mapping: Self-supervised correspondence between non-isometric deformable shapes
Online Learning with Regularized Kernel for One-class Classification
Top-Down Tree Structured Text Generation
A Vision-Based Shared-Control Teleoperation Scheme for Controlling the Robotic Arm of a Four-Legged Robot
Can a CNN Recognize Catalan Diet?
FineGates: LLMs Finetuning with Compression using Stochastic Gates
Investigating Demographic Bias in Brain MRI Segmentation: A Comparative Study of Deep-Learning and Non-Deep-Learning Methods
Evaluating Long Range Dependency Handling in Code Generation Models using Multi-Step Key Retrieval
ALBench: A Framework for Evaluating Active Learning in Object Detection
Completion of Matrices with Low Description Complexity
Segmentation of Three-dimensional Images with Parametric Active Surfaces and Topology Changes
Non-linear Fusion in Federated Learning: A Hypernetwork Approach to Federated Domain Generalization
Community Detection in networks by Dynamical Optimal Transport Formulation
Avatar4D: Synthesizing Domain-Specific 4D Humans for Real-World Pose Estimation
Evaluating the Techno-Economic Viability of a Solar PV-Wind Turbine Hybrid System with Battery Storage for an Electric Vehicle Charging Station in Khobar, Saudi Arabia
Decanting the Contribution of Instruction Types and Loop Structures in the Reuse of Traces
Heterogeneity in Multi-Agent Reinforcement Learning
Off-grid Channel Estimation with Sparse Bayesian Learning for OTFS Systems
Closing the Modality Gap for Mixed Modality Search
Decision Problems For Turing Machines
SAFER: Data-Efficient and Safe Reinforcement Learning via Skill Acquisition
Self-supervised Depth Estimation Leveraging Global Perception and Geometric Smoothness Using On-board Videos
A longitudinal dataset of five years of public activity in the Scratch online community
TryLinks: An interactive tutorial system for a cross-tier Web programming language
MiChao-HuaFen 1.0: A Specialized Pre-trained Corpus Dataset for Domain-specific Large Models
Extending DD-αAMG on heterogeneous machines
Fast and Compact Regular Expression Matching
Efficient ICBased Solutions for Medical Devices and Automotive Radars
Improved Indoor Localization with Machine Learning Techniques for IoT applications
Generating Multi-Sentence Abstractive Summaries of Interleaved Texts
AutoOpt: A Dataset and a Unified Framework for Automating Optimization Problem Solving
Mobile Sensors in a CDMA System For Environmental Monitoring: An Information-Theoretic Analysis
Gait Library Synthesis for Quadruped Robots via Augmented Random Search
Algorithm for Spatial Clustering with Obstacles
To Spike or Not to Spike? A Quantitative Comparison of SNN and CNN FPGA Implementations
Boltzmann samplers for random generation of lambda terms
A Detailed Analysis of Quicksort Algorithms with Experimental Mathematics
ACDC: Online Unsupervised Cross-Domain Adaptation
Learning adaptive differential evolution algorithm from optimization experiences by policy gradient
CG-TTRL: Context-Guided Test-Time Reinforcement Learning for On-Device Large Language Models
Playing Atari Games with Deep Reinforcement Learning and Human Checkpoint Replay
DPMix: Mixture of Depth and Point Cloud Video Experts for 4D Action Segmentation
Quantum framework for Reinforcement Learning: integrating Markov Decision Process, quantum arithmetic, and trajectory search
Gatekeeping Algorithms with Human Ethical Bias: The ethics of algorithms in archives, libraries and society
Instance-Conditioned Adaptation for Large-scale Generalization of Neural Combinatorial Optimization
EPIC: Explanation of Pretrained Image Classification Networks via Prototype
Less is More: Recursive Reasoning with Tiny Networks
GazeCorrection: Self-Guided Eye Manipulation in the wild using Self-Supervised Generative Adversarial Networks
Lower bounds for the error decay incurred by coarse quantization schemes
First-order logic with incomplete information
Generating pivot Gray codes for spanning trees of complete graphs in constant amortized time
Multilayer Networks for Text Analysis with Multiple Data Types
Relighting Humans: Occlusion-Aware Inverse Rendering for Full-Body Human Images
Vote-in-Context: Turning VLMs into Zero-Shot Rank Fusers
Help, Anyone? A User Study For Modeling Robotic Behavior To Mitigate Malfunctions With The Help Of The User
SS-CXR: Multitask Representation Learning using Self Supervised Pre-training from Chest X-Rays
Analysis and study on text representation to improve the accuracy of the Normalized Compression Distance
Extracting the main trend in a dataset: the Sequencer algorithm
Analysis of some properties for a basic Petri net model
Large Language Models for Integrating Social Determinant of Health Data: A Case Study on Heart Failure 30-Day Readmission Prediction
A Mechanistic Study on the Impact of Entity Degree Distribution in Open-World Link Prediction
Data-driven feedback stabilization of nonlinear systems: Koopman-based model predictive control
White-Box Atomic Multicast (Extended Version)
Edge crossings in random linear arrangements