yusuke1997/dblp-id-title huggingface dataset:
A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
BHGNN-RT: Network embedding for directed heterogeneous graphs
Convergence of Discontinuous Galerkin Schemes for the Euler Equations via Dissipative Weak Solutions
PercepTwin: Modeling High-Fidelity Digital Twins for Sim2Real LiDAR-based Perception for Intelligent Transportation Systems
Acceleration of Grokking in Learning Arithmetic Operations via Kolmogorov-Arnold Representation
Knot Theory and Error-Correcting Codes
Systematic Bias in Sample Inference and its Effect on Machine Learning
New Visual Cryptography Algorithm For Colored Image
Quality Assurance Technologies of Big Data Applications: A Systematic Literature Review
Achievable Information Rates for Coded Modulation with Hard Decision Decoding for Coherent Fiber-Optic Systems
Bridging Spectral-wise and Multi-spectral Depth Estimation via Geometry-guided Contrastive Learning
Few-shot Learning for CT Scan based COVID-19 Diagnosis
Reinforcement Learning When All Actions are Not Always Available
Rep3Net: An Approach Exploiting Multimodal Representation for Molecular Bioactivity Prediction
Preventing Coordinated Attacks Via Distributed Alert Exchange
NOVI : Chatbot System for University Novice with BERT and LLMs
High-Resolution Traffic Sensing with Autonomous Vehicles
EPPAC: Entity Pre-typing Relation Classification with Prompt AnswerCentralizing
Human-like Cognitive Generalization for Large Models via Brain-in-the-loop Supervision
Disaggregated Prefill and Decoding Inference System for Large Language Model Serving on Multi-Vendor GPUs
Defining C-ITS Environment and Attack Scenarios
USER: Unified Semantic Enhancement with Momentum Contrast for Image-Text Retrieval
Schoedinger's code: A preliminary study on research source code availability and link persistence in astrophysics
Preservation of Anomalous Subgroups On Machine Learning Transformed Data
Prediciendo el generador cuadratico (in Spanish)
The Critical Theorem for q-Polymatroids
NeSyC: A Neuro-symbolic Continual Learner For Complex Embodied Tasks In Open Domains
Math world: A game-based 3D Virtual Learning Environment (3D VLE) for second graders
Graph Neural Networks-based Parameter Design towards Large-Scale Superconducting Quantum Circuits for Crosstalk Mitigation
Investigating Warp Size Impact in GPUs
HZO-based FerroNEMS MAC for In-Memory Computing
The Metric Dimension of Sparse Random Graphs
AERO: A Redirection-Based Optimization Framework Inspired by Judo for Robust Probabilistic Forecasting
How To Mitigate And Defend Against DDoS Attacks In IoT Devices
A Comprehensive Evaluation of Multi-task Learning and Multi-task Pre-training on EHR Time-series Data
Neural Machine Translation from Simplified Translations
Comparative Analysis of Zero-Shot Capability of Time-Series Foundation Models in Short-Term Load Prediction
Learning from demonstrations with SACR2: Soft Actor-Critic with Reward Relabeling
From Black Box to Insight: Explainable AI for Extreme Event Preparedness
Biological Sequence Kernels with Guaranteed Flexibility
What is the Return on Investment of Digital Engineering for Complex Systems Development? Findings from a Mixed-Methods Study on the Post-production Design Change Process of Navy Assets
On the Complexity of a Derivative Chess Problem
Domain Adaptation based Enhanced Detection for Autonomous Driving in Foggy and Rainy Weather
A Survey of Table Reasoning with Large Language Models
Phonetic-enriched Text Representation for Chinese Sentiment Analysis with Reinforcement Learning
DCaaS: Data Consistency as a Service for Managing Data Uncertainty on the Clouds
Semi-parametric Memory Consolidation: Towards Brain-like Deep Continual Learning
Corner asymptotics of the magnetic potential in the eddy-current model
Wing Optimisation for a tractor propeller driven Micro Aerial Vehicle
Content Adaptive based Motion Alignment Framework for Learned Video Compression
An Architectural Approach to Enhance Deep Long-Tailed Learning
On the Height of Towers of Subsequences and Prefixes
Social Engineering in a Post-Phishing Era: Ambient Tactical Deception Attacks
A novel class of electro-mechanical metamaterials for stress reduction through electric fields
DeepACC: Automate Chromosome Classification based on Metaphase Images using Deep Learning Framework Fused with Prior Knowledge
Design of Cavity Backed Slotted Antenna using Machine Learning Regression Model
SICNav-Diffusion: Safe and Interactive Crowd Navigation with Diffusion Trajectory Predictions
DIOR-ViT: Differential Ordinal Learning Vision Transformer for Cancer Classification in Pathology Images
Quantum search in sets with prior knowledge
Towards Scalable Automated Grading: Leveraging Large Language Models for Conceptual Question Evaluation in Engineering
Multi-domain FEM-BEM coupling for acoustic scattering
On the Simultaneous Preservation of Privacy and Community Structure in Anonymized Networks
Stimulus and correlation matching measurement technique in computer based characterization testing
A Bi-Objective Approach to Last-Mile Delivery Routing Considering Driver Preferences
AuditNet: A Conversational AI-based Security Assistant [DEMO]
FoX: Formation-aware exploration in multi-agent reinforcement learning
Noise Stability of Ranked Choice Voting
Reversing Large Language Models for Efficient Training and Fine-Tuning
Understanding and Mitigating the Bias Inheritance in LLM-based Data Augmentation on Downstream Tasks
A Submodularity-based Agglomerative Clustering Algorithm for the Privacy Funnel
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
A Theory of Diagnostic Interpretation in Supervised Classification
From Literal to Liberal: A Meta-Prompting Framework for Eliciting Human-Aligned Exception Handling in Large Language Models
Performance Analysis of the Gradient Comparator LMS Algorithm
LLM-based Optimization of Compound AI Systems: A Survey
Query-Enhanced Adaptive Semantic Path Reasoning for Inductive Knowledge Graph Completion
Sentiment Analysis on Financial News Headlines using Training Dataset Augmentation
Seeing the Politics of Decentralized Social Media Protocols
Transfer in Reinforcement Learning via Regret Bounds for Learning Agents
|\circle, BUS|: A Large and Diverse Multimodal Benchmark for evaluating the ability of Vision-Language Models to understand Rebus Puzzles
Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem
Fast, parallel and secure cryptography algorithm using Lorenz's attractor
Universal Topological Regularities of Syntactic Structures: Decoupling Efficiency from Optimization
Automated Prompt Generation for Creative and Counterfactual Text-to-image Synthesis
Generalized ODE reduction algorithm with bounded degree transformation
Vertex nomination between graphs via spectral embedding and quadratic programming
Weapon-Target Assignment Problem with Interference Constraints using Mixed-Integer Linear Programming
Addendum: Systematic Evaluation of Randomized Cache Designs against Cache Occupancy
Composed Multi-modal Retrieval: A Survey of Approaches and Applications
Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning
From Neurons to Computation: Biological Reservoir Computing for Pattern Recognition
Evolution Meets Diffusion: Efficient Neural Architecture Generation
Computational Modeling for Personalized Transcranial Electrical Stimulation: Theory, Tools, and Applications
Variational measurement-based quantum computation for generative modeling
Parkinson's Disease Diagnosis Through Deep Learning: A Novel LSTM-Based Approach for Freezing of Gait Detection
Diff-CAPTCHA: An Image-based CAPTCHA with Security Enhanced by Denoising Diffusion Model
ConE: A Concurrent Edit Detection Tool for Large ScaleSoftware Development
ESRPCB: an Edge guided Super-Resolution model and Ensemble learning for tiny Printed Circuit Board Defect detection
Performance Evaluation of Ising and QUBO Variable Encodings in Boltzmann Machine Learning
On the Fourier expansion method for highly accurate computation of the Voigt/complex error function in a rapid algorithm
Energy-Efficient Supervised Learning with a Binary Stochastic Forward-Forward Algorithm
Dynamic 3-Coloring of Claw-free Graphs
SEMI-FND: Stacked Ensemble Based Multimodal Inference For Faster Fake News Detection
Developing and Evaluating a Large Language Model-Based Automated Feedback System Grounded in Evidence-Centered Design for Supporting Physics Problem Solving
How Small Can You Go? Compact Language Models for On-Device Critical Error Detection in Machine Translation
An adaptive fuzzy sliding mode controller for nonlinear systems with non-symmetric dead-zone and its application to an electro-hydraulic system
SageLM: A Multi-aspect and Explainable Large Language Model for Speech Judgement
Quantifying imperfect cognition via achieved information gain
Online Ensemble Transformer for Accurate Cloud Workload Forecasting in Predictive Auto-Scaling
A Closer Look at TabPFN v2: Strength, Limitation, and Extension
Aplicación de redes neuronales convolucionales profundas al diagnóstico asistido de la enfermedad de Alzheimer
Generative Fuzzy System for Sequence Generation
Song Hit Prediction: Predicting Billboard Hits Using Spotify Data
Probabilistic Formulations for System Identification of Linear Dynamics with Bilinear Observation Models
EBind: a practical approach to space binding
NeuroVoz: a Castillian Spanish corpus of parkinsonian speech
Improving Users' Passwords with DPAR: a Data-driven Password Recommendation System
A pilot study of the use of LogEx, lessons learned
A multiresolution Discrete Element Method for triangulated objects with implicit timestepping
Assessing the impact of emergency department short stay units using length-of-stay prediction and discrete event simulation
ESURF: Simple and Effective EDU Segmentation
On the notion of missingness for path attribution explainability methods in medical settings: Guiding the selection of medically meaningful baselines
Fixed-Time Convergence for a Class of Nonconvex-Nonconcave Min-Max Problems
Secret Key Generation with One Communicator and a One-Shot Converse via Hypercontractivity
Joint Facade Registration and Segmentation for Urban Localization
Polygonal Sequence-driven Triangulation Validator: An Incremental Approach to 2D Triangulation Verification
Global Attention Mechanism: Retain Information to Enhance Channel-Spatial Interactions
SafeCritic: Collision-Aware Trajectory Prediction
Probabilistic Rollouts for Learning Curve Extrapolation Across Hyperparameter Settings
Knowability as continuity: a topological account of informational dependence
Anisotropic Nonlocal Means Denoising
Segment Any Object Model (SAOM): Real-to-Simulation Fine-Tuning Strategy for Multi-Class Multi-Instance Segmentation
Uncertainty quantification for sparse Fourier recovery
Diagnostic Reasoning Prompts Reveal the Potential for Large Language Model Interpretability in Medicine
Learning Inverse Kinodynamics for Autonomous Vehicle Drifting
VectorTalker: SVG Talking Face Generation with Progressive Vectorisation
Deciding contractibility of a non-simple curve on the boundary of a 3-manifold: A computational Loop Theorem
GlossyGS: Inverse Rendering of Glossy Objects with 3D Gaussian Splatting
Aspect-Based Opinion Extraction from Customer reviews
DeepMSRF: A novel Deep Multimodal Speaker Recognition framework with Feature selection
Toward Consistent Drift-free Visual Inertial Localization on Keyframe Based Map
Mamba-FETrack V2: Revisiting State Space Model for Frame-Event based Visual Object Tracking
Acceleration of Power System Dynamic Simulations using a Deep Equilibrium Layer and Neural ODE Surrogate
Slack Channels Ecology in Enterprises: How Employees Collaborate Through Group Chat
Skin Cancer Segmentation and Classification Using Vision Transformer for Automatic Analysis in Dermatoscopy-based Non-invasive Digital System
EmpathicSchool: A multimodal dataset for real-time facial expressions and physiological data analysis under different stress conditions
Holon Programming Model - A Software-Defined Approach for System of Systems
Balanced Audiovisual Dataset for Imbalance Analysis
Aggregating Predictions on Multiple Non-disclosed Datasets using Conformal Prediction
Asynchronous semi-anonymous dynamics over large-scale networks
The Research of Group Re-identification from Multiple Cameras
Dynamic Programming Optimization in Line of Sight Networks
Recipe for Discovery: A Framework for Systematic Open Source Project Identification
GuardTrace-VL: Detecting Unsafe Multimodel Reasoning via Iterative Safety Supervision
Machine Learning Algorithms for Depression Detection and Their Comparison
HyCodePolicy: Hybrid Language Controllers for Multimodal Monitoring and Decision in Embodied Agents
Disentangling Causal Substructures for Interpretable and Generalizable Drug Synergy Prediction
A Fast Exact Quantum Algorithm for Solitude Verification
Concentration inequalities for semidefinite least squares based on data
Edge Computing in Transportation: Security Issues and Challenges
A Novel Implicit Neural Representation for Volume Data
Adversarial examples attack based on random warm restart mechanism and improved Nesterov momentum
A Comparative Analysis of Principal Component Analysis (PCA) and Singular Value Decomposition (SVD) as Dimensionality Reduction Techniques
A Review of Machine Learning-based Failure Management in Optical Networks
On Pollaczek-Khinchine Formula for Peer-to-Peer Networks
Retinex filtering of foggy images: generation of a bulk set with selection and ranking
Bayesian Nonparametrics Meets Data-Driven Robust Optimization
BALI: Learning Neural Networks via Bayesian Layerwise Inference
Structured Sparsity and Weight-adaptive Pruning for Memory and Compute efficient Whisper models
Optimal Routing Strategies for Autonomous Underwater Vehicles in Time-Varying Environment
Learning Shape Priors for Single-View 3D Completion and Reconstruction
MITOSIS: Practically Scaling Permissioned Blockchains
Data-driven model for the identification of the rock type at a drilling bit
Decentralized Bayesian Learning with Metropolis-Adjusted Hamiltonian Monte Carlo
Integral Transforms in a Physics-Informed (Quantum) Neural Network setting: Applications & Use-Cases
Real-Time Boiler Control Optimization with Machine Learning
Distributional reasoning in LLMs: Parallel reasoning processes in multi-hop reasoning
Interval Decomposition of Infinite Persistence Modules over a Principal Ideal Domain
Circular Proofs in First-Order Linear Logic with Least and Greatest Fixed Points
Reconstruct, Inpaint, Finetune: Dynamic Novel-view Synthesis from Monocular Videos
Arbitrarily long relativistic bit commitment
Optimal error estimates for non-conforming approximations of linear parabolic problems with minimal regularity
On the computation of tensor functions under tensor-tensor multiplications with linear maps
Image Deraining via Self-supervised Reinforcement Learning
Replication Ethics
Clustering to Reduce Spatial Data Set Size
Geometric Style Transfer
Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
An implementation of range trees with fractional cascading in C++
Urban In-Context Learning: Bridging Pretraining and Inference through Masked Diffusion for Urban Profiling
Age-of-information minimization via opportunistic sampling by an energy harvesting source
KP-A: A Unified Network Knowledge Plane for Catalyzing Agentic Network Intelligence
Optimal dispatch of low-carbon integrated energy system considering nuclear heating and carbon trading
HRTF upsampling with a generative adversarial network using a gnomonic equiangular projection
AutoScale: Optimizing Energy Efficiency of End-to-End Edge Inference under Stochastic Variance
SVC-based Multi-user Streamloading for Wireless Networks
Loss Rate Estimators and the Properties for the Tree Topology
A Study on Quantum Neural Networks in Healthcare 5.0
Channel Modeling of Human Somatosensory Nanonetwork: Body Discriminative Touch and Proprioception Perspective
Wavelet-Based Mel-Frequency Cepstral Coefficients for Speaker Identification using Hidden Markov Models
The JHU Speech LOREHLT 2017 System: Cross-Language Transfer for Situation-Frame Detection
TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
AgentMaster: A Multi-Agent Conversational Framework Using A2A and MCP Protocols for Multimodal Information Retrieval and Analysis
Early Impacts of M365 Copilot
Combinatorial Bounds and Characterizations of Splitting Authentication Codes
DocEmul: a Toolkit to Generate Structured Historical Documents
The Impact of Model Zoo Size and Composition on Weight Space Learning
A near-linear time approximation scheme for geometric transportation with real supplies
Investigation by Driving Simulation of Tractor Overturning Accidents Caused by Steering Instability
μAFL: Non-intrusive Feedback-driven Fuzzing for Microcontroller Firmware
Understanding Software Architecture Erosion: A Systematic Mapping Study
Image Intrinsic Scale Assessment: Bridging the Gap Between Quality and Resolution
A Two-Sided Matching Model for Data Stream Processing in the Cloud-Fog Continuum
Trustworthy and Explainable Decision-Making for Workforce allocation
The Relation Between Offset and Conchoid Constructions
Bayesian Deep Learning for Affordance Segmentation in images
Demonstration of Fully Nonlinear Spectrum Modulated System in the Highly Nonlinear Optical Transmission Regime
Full-resolution Lung Nodule Segmentation from Chest X-ray Images using Residual Encoder-Decoder Networks
Temporal Abstraction in Reinforcement Learning with Offline Data
Optimization-Based MCMC Methods for Nonlinear Hierarchical Statistical Inverse Problems
Deep Learning Enhanced Road Traffic Analysis: Scalable Vehicle Detection and Velocity Estimation Using PlanetScope Imagery
A communication-avoiding parallel algorithm for the symmetric eigenvalue problem
Domains, Information Frames, and Their Logic
H 3 DP: Triply-Hierarchical Diffusion Policy for Visuomotor Learning
A Self-Reconfigurable Computing Platform Hardware Architecture
GECO: Generative Image-to-3D within a SECOnd
A Novel Passive Occupational Shoulder Exoskeleton With Adjustable Peak Assistive Torque Angle For Overhead Tasks
Multi-Time-Scale Input Approaches for Hourly-Scale Rainfall-Runoff Modeling based on Recurrent Neural Networks
Scalable Fragment-Based 3D Molecular Design with Reinforcement Learning
Development and evaluation of Artificial Intelligence techniques for IoT data quality assessment and curation
Median2Median: Zero-shot Suppression of Structured Noise in Images
Flexible Control Flow Graph Alignment for Delivering Data-Driven Feedback to Novice Programming Learners
Local Convergence of Gradient Methods for Min-Max Games under Partial Curvature
Counterfactual Inference of Second Opinions
Objective Probability
Modelling Multiplicative Linear Logic via Deep Inference
A contextual analysis of multi-layer perceptron models in classifying hand-written digits and letters: limited resources
Data augmentation with Symbolic-to-Real Image Translation GANs for Traffic Sign Recognition
The Architectural Refinement of μD3TN: Toward a Software-Defined DTN Protocol Stack
CausalGPS: An R Package for Causal Inference With Continuous Exposures
Cutoff Rate Bounds and Constellation Shaping under Mixed Gaussian-Impulsive Noise
Evaluating Convolutional Neural Networks for COVID-19 classification in chest X-ray images
Silent Killer: Optimizing Backdoor Trigger Yields a Stealthy and Powerful Data Poisoning Attack
Meet Cyrus - The Query by Voice Mobile Assistant for the Tutoring and Formative Assessment of SQL Learners
Unsupervised Place Discovery for Visual Place Classification
POEX: Policy Executable Embodied AI Jailbreak Attacks
The Fundamentals of Policy Crowdsourcing
Decrypting Nonlinearity: Koopman Interpretation and Analysis of Cryptosystems
Reinforcement Learning for Intelligent Healthcare Systems: A Comprehensive Survey
Single line Apollonian gaskets: is the limit a space filling fractal curve?
4D Human Body Correspondences from Panoramic Depth Maps
Experimental Large-Scale Jet Flames' Geometrical Features Extraction for Risk Management Using Infrared Images and Deep Learning Segmentation Methods
Lamarckian Evolution and the Baldwin Effect in Evolutionary Neural Networks
Unsupervised Domain Adaptation with Copula Models
Measuring Equality and Hierarchical Mobility on Abstract Complex Networks
Stably computable relations and predicates
SAGA: Selective Adaptive Gating for Efficient and Expressive Linear Attention
Constant Envelope Precoding for Power-Efficient Downlink Wireless Communication in Multi-User MIMO Systems Using Large Antenna Arrays
DecomCAM: Advancing Beyond Saliency Maps through Decomposition and Integration
The Edge of Disaster: A Battle Between Autonomous Racing and Safety
PortraitTalk: Towards Customizable One-Shot Audio-to-Talking Face Generation
Design and Control of Delta: Deformable Multilinked Multirotor with Rolling Locomotion Ability in Terrestrial Domain
SEEC: Stable End-Effector Control with Model-Enhanced Residual Learning for Humanoid Loco-Manipulation
Proxy Selection in Transitive Proxy Voting
Generalized Distribution Prediction for Asset Returns
Super-class guided Transformer for Zero-Shot Attribute Classification
Humanoid-VLA: Towards Universal Humanoid Control with Visual Integration
Automating, Operationalizing and Productizing Journalistic Article Analysis
A Finer Calibration Analysis for Adversarial Robustness
Vector Arithmetic in Concept and Token Subspaces
Millimeter Wave V2V Communications: Distributed Association and Beam Alignment
Extension Theorems for Various Weight Functions over Frobenius Bimodules
Analysis of Forces Exerted by Shoulder and Elbow Fabric-based Pneumatic Actuators for Pediatric Exosuits
Unified Chinese License Plate Detection and Recognition with High Efficiency
CCI3.0-HQ: a large-scale Chinese dataset of high quality designed for pre-training large language models
Simple Algorithm Portfolio for SAT
Low-Rank Approximation with 1/ε 1/3 Matrix-Vector Products
A Mixed Integer Linear Program For Human And Material Resources Optimization In Emergency Department
Graph Analysis to Fully Automate Fault Location Identification in Power Distribution Systems
The average simplex cardinality of a finite abstract simplicial complex
MP-Rec: Hardware-Software Co-Design to Enable Multi-Path Recommendation
Efficient and fast predictor-corrector method for solving nonlinear fractional differential equations with non-singular kernel
The power of local search for clustering
Deep Convolutional Neural Networks Based on Semi-Discrete Frames
PAStime: Progress-aware Scheduling for Time-critical Computing
Soley: Identification and Automated Detection of Logic Vulnerabilities in Ethereum Smart Contracts Using Large Language Models
Efficient Convolutional Network Learning using Parametric Log based Dual-Tree Wavelet ScatterNet
AlphaZero Neural Scaling and Zipf's Law: a Tale of Board Games and Power Laws
Evolutionary Gait Reconfiguration in Damaged Legged Robots
Equivalence of SQL Queries in Presence of Embedded Dependencies
Using Medical Algorithms for Task-Oriented Dialogue in LLM-Based Medical Interviews
Anticorrelations and subdiffusion in financial systems
Training Generative Networks with general Optimal Transport distances
Brain Co-Processors: Using AI to Restore and Augment Brain Function
StableToken: A Noise-Robust Semantic Speech Tokenizer for Resilient SpeechLLMs
On 10x Better Scalability: KV Stores Scale Up KV Cache
Boost Test-Time Performance with Closed-Loop Inference
Joint Adaptive Feature Smoothing and Topology Extraction via Generalized PageRank GNNs
DiffE2E: Rethinking End-to-End Driving with a Hybrid Action Diffusion and Supervised Policy
Learning from Frustration: Torsor CNNs on Graphs
Twin-Boot: Uncertainty-Aware Optimization via Online Two-Sample Bootstrapping
Fostc3net: A Lightweight YOLOv5 Based On the Network Structure Optimization
On the Inverse Flow Matching Problem in the One-Dimensional and Gaussian Cases
TCP-like molecular communications
Step-wise Policy for Rare-tool Knowledge (SPaRK): Offline RL that Drives Diverse Tool Use in LLMs