yusuke1997/dblp-id-title huggingface dataset:
Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019
Human-Centered Cooperative Control Coupling Autonomous and Haptic Shared Control via Control Barrier Function
Flying in Highly Dynamic Environments with End-to-end Learning Approach
Multi-Scale Convolutional LSTM with Transfer Learning for Anomaly Detection in Cellular Networks
An Unconditionally Stable Conformal LOD-FDTD Method For Curved PEC Objects and Its Application for EMC Problems
Subdivision of point-normal with application to smoothing feasible robot path
MobileIE: An Extremely Lightweight and Effective ConvNet for Real-Time Image Enhancement on Mobile Devices
Computing the invariant distribution of McKean-Vlasov SDEs by ergodic simulation
Machine Learning-based Layer-wise Detection of Overheating Anomaly in LPBF using Photodiode Data
GUI-R1 : A Generalist R1-Style Vision-Language Action Model For GUI Agents
Finding Maximal Non-Redundant Association Rules in Tennis Data
Performance Analysis of Cell-free and User-Centric MIMO Networks with Optical Fronthaul and Backhaul Links
Near Optimality in Covering and Packing Games by Exposing Global Information
Vision-Based System Identification of a Quadrotor
Generative Visual Communication in the Era of Vision-Language Models
Color image recovery using low-rank quaternion matrix completion algorithm
A Prediction Model for Rumor Forwarding Behavior Based on Uncertain Time Series
Multi-FAN: Multi-Spectral Mosaic Super-Resolution Via Multi-Scale Feature Aggregation Network
Implementation of the VBM3D Video Denoising Method and Some Variants
Evaluating Wireless Proactive Routing Protocols under Scalability and Traffic Constraints
Boosting Automatic COVID-19 Detection Performance with Self-Supervised Learning and Batch Knowledge Ensembling
VayuChat: An LLM-Powered Conversational Interface for Air Quality Data Analytics
Flow-based Self-supervised Density Estimation for Anomalous Sound Detection
Re-initialization Free Level Set Evolution via Reaction Diffusion
A Robust Static State Estimation Considering Slow Power System Dynamics' Inequality Constraints
The Bidding Games: Reinforcement Learning for MEV Extraction on Polygon Blockchain
From Atomic to Composite: Reinforcement Learning Enables Generalization in Complementary Reasoning
Asynchronous parallel adaptive stochastic gradient methods
FedQAS: Privacy-aware machine reading comprehension with federated learning
Neutral Bots Reveal Political Bias on Social Media
A Visual Approach for Health Information Exploration: Adaptive Levels of Visual Granularity and Interaction Analysis
Requirements and the baseline plan
A Process Algebra for Games
Physics-Aware POD-Based Learning for Ab initio QEM-Galerkin Simulations of Periodic Nanostructures
Fast and Live Model Auto Scaling with O(1) Host Caching
Efficient Graph-Based Active Learning with Probit Likelihood via Gaussian Approximations
WiGenAI: The Symphony of Wireless and Generative AI via Diffusion Models
A PSO Based Method to Generate Actionable Counterfactuals for High Dimensional Data
A Robust Binaural Linearly Constrained Minimum Variance with Spatial Cues Preservation for Hearing Aids Beamforming
Pricing options on flow forwards by neural networks in Hilbert space
EditScore: Unlocking Online RL for Image Editing via High-Fidelity Reward Modeling
A Selective Temporal Hamming distance to find patterns in state transition event timeseries, at scale
EvoLlama: Enhancing LLMs' Understanding of Proteins via Multimodal Structure and Sequence Representations
Catoptric Light can be Dangerous: Effective Physical-World Attack by Natural Phenomenon
LPPG-RL: Lexicographically Projected Policy Gradient Reinforcement Learning with Subproblem Exploration
On Convergence Property of Implicit Self-paced Objective
Loss aversion fosters coordination among independent reinforcement learners
Annotating Answer-Set Programs in LANA?
Robot Gaze During Autonomous Navigation and its Effect on Social Presence
Optimizing delegation between human and AI collaborative agents
A more globally accurate dimensionality reduction method using triplets
Phase Transitions and Computational Difficulty in Random Constraint Satisfaction Problems
Deformable Part Models are Convolutional Neural Networks
Towards Measuring Ethicality of an Intelligent Assistive System
Analysis of harmonic average method for interface problems with discontinuous solutions and fluxes
A model driven engineering approach to develop a cooperative information system
VacancySBERT: the approach for representation of titles and skills for semantic similarity search in the recruitment domain
On the Convergence Rate of LoRA Gradient Descent
Near-Optimal Expanding Generating Sets for Solvable Permutation Groups
The Input/Output Complexity of Triangle Enumeration
Clustering with Similarity Preserving
Integrated physics-informed learning and resonance process signature for the prediction of fatigue crack growth for laser-fused alloys
Does your LLM truly unlearn? An embarrassingly simple approach to recover unlearned knowledge
Comparing Performance of Preprocessing Techniques for Traffic Sign Recognition Using a HOG-SVM
Joint Multi-Target Detection-Tracking in Cognitive Massive MIMO Radar via POMCP
Subspace Coding for Error Control and Interference Mitigation in Routing Solutions with Cooperative Destination Nodes
Small Polynomial Time Universal Petri Nets
Understanding the Dynamics of the Stack Overflow Community through Social Network Analysis and Graph Algorithms
Large, Small or Both: A Novel Data Augmentation Framework Based on Language Models for Debiasing Opinion Summarization
TrialBench: Multi-Modal Artificial Intelligence-Ready Clinical Trial Datasets
KeyPose: Multi-view 3D Labeling and Keypoint Estimation for Transparent Objects
Pragmatic inference and visual abstraction enable contextual flexibility during visual communication
A New Algorithm for Pyramidal Clipping of Line Segments in E3
Controllable Person Image Synthesis with Attribute-Decomposed GAN
"It Explains What I am Currently Going Through Perfectly to a Tee": Understanding User Perceptions on LLM-Enhanced Narrative Interventions
Data-driven Predictive Control for Unlocking Building Energy Flexibility: A Review
View Consistency Aware Holistic Triangulation for 3D Human Pose Estimation
Is User Perception the Key to Unlocking the Full Potential of Business Process Management Systems (BPMS)? Enhancing BPMS Efficacy Through User Perception
Masked Face Dataset Generation and Masked Face Recognition
Towards Affordance-Aware Robotic Dexterous Grasping with Human-like Priors
Generalized Neural Graph Embedding with Matrix Factorization
Instilling Doubts About Truth: Measuring the Impact of Tucker Carlson's Interview with Vladimir Putin Using Machine Learning and Natural Language Processing
Source PAC Coding for Low-latency Secret Key Generation in Short Blocklength Regime
Key-Scan-Based Mobile Robot Navigation: Integrated Mapping, Planning, and Control using Graphs of Scan Regions
Two Causally Related Needles in a Video Haystack
Asymptotic $L^4$ norm of polynomials derived from characters
Causal Kripke Models
When concept-based XAI is imprecise: Do people distinguish between generalisations and misrepresentations?
E-PINNs: Epistemic Physics-Informed Neural Networks
Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists
View-Invariant Localization using Semantic Objects in Changing Environments
Wireless Information and Power Transfer in Full-Duplex Communication Systems
From Bytes to Biases: Investigating the Cultural Self-Perception of Large Language Models
Initialization Algorithms For Convolutional Network Coding
AI-Based Copyright Detection Of An Image In a Video Using Degree Of Similarity And Image Hashing
Group-Feature (Sensor) Selection With Controlled Redundancy Using Neural Networks
A Game-Theoretic Approach for Hierarchical Policy-Making
Societal Implicit Memory and his Speed on Tracking Extrema over Dynamic Environments using Self-Regulatory Swarms
Image Coding for Machines via Feature-Preserving Rate-Distortion Optimization
Memoization for Unary Logic Programming: Characterizing PTIME
Towards Reliable Neural Generative Modeling of Detectors
Optimizing Shoulder to Shoulder: A Coordinated Sub-Band Fusion Model for Real-Time Full-Band Speech Enhancement
The SAGEX Review on Scattering Amplitudes, Chapter 4: Multi-loop Feynman Integrals
Look Back to Reason Forward: Revisitable Memory for Long-Context LLM Agents
Optimizing Retrieval-Augmented Generation with Elasticsearch for Enhanced Question-Answering Systems
Modeling Self-Similar Traffic for Network Simulation
Convolutional-neural-operator-based transfer learning for solving PDEs
AMIE: An annotation model for information research
Long-horizon video prediction using a dynamic latent hierarchy
The (Δ,D) and (Δ,N) problems for New Amsterdam and Manhattan digraphs
Multi-hop assortativities for networks classification
Lifting recursive counterexamples to higher-order arithmetic
Group Fair Matchings using Convex Cost Functions
Graph isomorphism and automorphism problems are polynomial
Unifying Perception and Action: A Hybrid-Modality Pipeline with Implicit Visual Chain-of-Thought for Robotic Action Generation
Linear cost and exponentially convergent approximation of Gaussian Matérn processes
Bayesian Active Learning for Discrete Latent Variable Models
Optimal locally private estimation under 𝓁 p loss for 1≤ p≤ 2
16 Propositions to Reconsider the Organization of a Scientific Workshop
Design of a Mobile Face Recognition System for Visually Impaired Persons
Examining the Impact of Label Detail and Content Stakes on User Perceptions of AI-Generated Images on Social Media
Uncovering a Universal Abstract Algorithm for Modular Addition in Neural Networks
Bilinear cryptography using finite p-groups of nilpotency class 2
Deep learning-enabled virtual multiplexed immunostaining of label-free tissue for vascular invasion assessment
Blocking sets, minimal codes and trifferent codes
A Cloud-based Machine Learning Pipeline for the Efficient Extraction of Insights from Customer Reviews
A Cost-Effective Test Bench for Evaluating Safe Human-Robot Interaction in Mobile Robotics
PromptCBLUE: A Chinese Prompt Tuning Benchmark for the Medical Domain
Differentially Private 2D Human Pose Estimation
Neyman-Pearson Classification under Both Null and Alternative Distributions Shift
On p-adic Classification
Interaction and resistance: The recognition of intentions in new human-computer interaction
Logical qubit implementation for quantum annealing: augmented Lagrangian approach
Tele-Operated Oropharyngeal Swab (TOOS) RobotEnabled by TSS Soft Hand for Safe and EffectiveCOVID-19 OP Sampling
Generating Multiple Hypotheses for 3D Human Pose Estimation with Mixture Density Network
One to Rule Them All: a General Randomized Algorithm for Buffer Management with Bounded Delay
A Real-Time On-Device Defect Detection Framework for Laser Power-Meter Sensors via Unsupervised Learning
Optimal partitioning of multi-thermal zone buildings for decentralized control
DreamVVT: Mastering Realistic Video Virtual Try-On in the Wild via a Stage-Wise Diffusion Transformer Framework
A physical model for efficient ranking in networks
Byzantine Convex Consensus: Preliminary Version
Fountain Uncorrectable Sets and Finite-Length Analysis
CLIP Model for Images to Textual Prompts Based on Top-k Neighbors
TextSLAM: Visual SLAM with Semantic Planar Text Features
Instance-Guided Class Activation Mapping for Weakly Supervised Semantic Segmentation
Watson: A Cognitive Observability Framework for the Reasoning of Foundation Model-Powered Agents
Investigating the use of publicly available natural videos to learn Dynamic MR image reconstruction
Unleashing the Power of Discrete-Time State Representation: Ultrafast Target-based IMU-Camera Spatial-Temporal Calibration
Learning over All Stabilizing Nonlinear Controllers for a Partially-Observed Linear System
Joint Multi-scale Cross-lingual Speaking Style Transfer with Bidirectional Attention Mechanism for Automatic Dubbing
Extended formulations for the multilinear polytope of acyclic hypergraphs
Making informed decisions in cutting tool maintenance in milling: A KNN based model agnostic approach
Coordinated Joint Multimodal Embeddings for Generalized Audio-Visual Zeroshot Classification and Retrieval of Videos
Characterising the take-off dynamics and energy efficiency in spring-driven jumping robots
Quantum-enhanced Information Retrieval from Reflective Intelligent Surfaces
PanoSplatt3R: Leveraging Perspective Pretraining for Generalized Unposed Wide-Baseline Panorama Reconstruction
MultiPlaneNeRF: Neural Radiance Field with Non-Trainable Representation
Transfer Learning with EfficientNet for Accurate Leukemia Cell Classification
Random Batch Algorithms for Quantum Monte Carlo simulations
Load Balancing-based Topology Adaptation for Integrated Access and Backhaul Networks
Broadword Implementation of Parenthesis Queries
What Clinical Trials Can Teach Us about the Development of More Resilient AI for Cybersecurity
A General Framework for Describing Creative Agents
Robot Policy Evaluation for Sim-to-Real Transfer: A Benchmarking Perspective
PINN-DG: Residual neural network methods trained with Finite Elements
Enriching Under-Represented Named-Entities To Improve Speech Recognition Performance
Coloring relatives of interval overlap graphs via on-line games
Multi-threaded Output in CMS using ROOT
Automated Deep Learning Analysis of Angiography Video Sequences for Coronary Artery Disease
TEeVTOL: Balancing Energy and Time Efficiency in eVTOL Aircraft Path Planning Across City-Scale Wind Fields
Automated Classification of Seizures against Nonseizures: A Deep Learning Approach
Evaluating Students Perspectives on ICT Readiness in Somali Higher Education towards Teaching - Learning Acceptance
A linear implicit Euler method for the finite element discretization of a controlled stochastic heat equation
Effortless Integration of Memory Management into Open-Domain Conversation Systems
MiMo-Embodied: X-Embodied Foundation Model Technical Report
Rényi entropy power inequality and a reverse
Inferring Concise Specifications of APIs
Partition Pruning: Parallelization-Aware Pruning for Deep Neural Networks
Linear Programming helps solving large multi-unit combinatorial auctions
On the Delay Performance of Interference Channels
Opaque Service Virtualisation: A Practical Tool for Emulating Endpoint Systems
Coding for Parallel Links to Maximize Expected Decodable-Message Value
Scan2Cap: Context-aware Dense Captioning in RGB-D Scans
Learning Vector-valued Functions with Local Rademacher Complexity
A Density Ratio Approach to Language Model Fusion in End-To-End Automatic Speech Recognition
Prompt2Craft: Generating Functional Craft Assemblies with LLMs
EdgeRunner 20B: Military Task Parity with GPT-5 while Running on the Edge
Summa Summarum: Moessner's Theorem without Dynamic Programming
On the SINR Distribution of SWIPT MU-MIMO with Antenna Selection
Trust as indicator of robot functional and social acceptance. An experimental study on user conformation to the iCub's answers
A Fast Heuristic for Computing Geodesic Cores in Large Networks
A Fresh Perspective on DNN Accelerators by Performing Holistic Analysis Across Paradigms
PTNet: A High-Resolution Infant MRI Synthesizer Based on Transformer
OISMA: On-the-fly In-memory Stochastic Multiplication Architecture for Matrix-Multiplication Workloads
Alternative passive maps in the Brayton-Moser framework: Implications on control and optimization
ChatGPT or A Silent Everywhere Helper: A Survey of Large Language Models
On the method of typical bounded differences
Mitigating exponential concentration in covariant quantum kernels for subspace and real-world data
Multiple Access in Dynamic Cell-Free Networks: Outage Performance and Deep Reinforcement Learning-Based Design
Offline Grid-Based Coverage path planning for guards in games
Make Safe Decisions in Power System: Safe Reinforcement Learning Based Pre-decision Making for Voltage Stability Emergency Control
Exponential convergence for multipole and local expansions and their translations for sources in layered media: three-dimensional Laplace equation
Graver Bases via Quantum Annealing with Application to Non-Linear Integer Programs
Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement
Decentralized Stochastic Gradient Descent Ascent for Finite-Sum Minimax Problems
Tuning a variational autoencoder for data accountability problem in the Mars Science Laboratory ground data system
Neural Architecture Search with GBDT
20 Years of DDoS: a Call to Action
WisdomNet: Prognosis of COVID-19 with Slender Prospect of False Negative Cases and Vaticinating the Probability of Maturation to ARDS using Posteroanterior Chest X-Rays
Financial Time Series Data Processing for Machine Learning
Machine learning for prediction of extreme statistics in modulation instability
VLA-Mark: A cross modal watermark for large vision-language alignment model
The topology of a discussion: the #occupy case
Optimal Utilization of a Cognitive Shared Channel with a Rechargeable Primary Source Node
MOMCC: Market-Oriented Architecture for Mobile~Cloud~Computing Based on Service~Oriented~Architecture
Explain Yourself: A Natural Language Interface for Scrutable Autonomous Robots
Stronger Together: Unleashing the Social Impact of Hate Speech Research
SakugaFlow: A Stagewise Illustration Framework Emulating the Human Drawing Process and Providing Interactive Tutoring for Novice Drawing Skills
GarmentCrafter: Progressive Novel View Synthesis for Single-View 3D Garment Reconstruction and Editing
mmJEE-Eval: A Bilingual Multimodal Benchmark for Evaluating Scientific Reasoning in Vision-Language Models
An Ontology to Support Collective Intelligence in Decentralised Multi-Robot Systems
To Infinity and Beyond! Accessibility is the Future for Kids' Search Engines
Intelligent Reflecting Surface for Multi-Path Beam Routing with Active/Passive Beam Splitting and Combining
Processing and acquisition traces in visual encoders: What does CLIP know about your camera?
Training-free Video Temporal Grounding using Large-scale Pre-trained Models
A Collaborative Process Parameter Recommender System for Fleets of Networked Manufacturing Machines - with Application to 3D Printing
The Transport-based Mesh-free Method (TMM) and its applications in finance: a review
Advice for Online Knapsack With Removable Items
Commonsense Knowledge + BERT for Level 2 Reading Comprehension Ability Test
Fast and Scalable Image Search For Histology
Enhancing Human Action Recognition and Violence Detection Through Deep Learning Audiovisual Fusion
An energy-based generative sequence model for testing sensory theories of Western harmony
CELL your Model: Contrastive Explanation Methods for Large Language Models
Modeling of microgrids - from fundamental physics to phasors and voltage sources
Learning Deep Representation Without Parameter Inference for Nonlinear Dimensionality Reduction
Multi-Prompt Fine-Tuning of Foundation Models for Enhanced Medical Image Segmentation
Neural Collapse Beyond the Unconstrainted Features Model: Landscape, Dynamics, and Generalization in the Mean-Field Regime
Minimal Classes of Graphs of Unbounded Clique-width and Well-quasi-ordering
Split Two-Tower Model for Efficient and Privacy-Preserving Cross-device Federated Recommendation
Automatic Feedback Generation for Short Answer Questions using Answer Diagnostic Graphs
How symmetric is too symmetric for large quantum speedups?
Proving Linearizability Using Partial Orders (Extended Version)
Temporal-Difference Learning to Assist Human Decision Making during the Control of an Artificial Limb
Large Language Models for Social Networks: Applications, Challenges, and Solutions
The CROSS Incubator: A Case Study for funding and training RSEs
Multi-variable LSTM neural network for autoregressive exogenous model
BrownoutServe: SLO-Aware Inference Serving under Bursty Workloads for MoE-based LLMs
Automated Planning for Optimal Data Pipeline Instantiation
Different Applications and Technologies of Internet of Things (IoT)
Convex Regularization Behind Neural Reconstruction
Consistency Analysis of the Simplified Refined Instrumental Variable Method for Continuous-time Systems
A simple real-space scheme for periodic Dirac operators
Introducing Hann windows for reducing edge-effects in patch-based image segmentation
Exact arithmetic as a tool for convergence assessment of the IRM-CG method
Abduct, Act, Predict: Scaffolding Causal Inference for Automated Failure Attribution in Multi-Agent Systems
Adaptive importance sampling for control and inference
Breaking the Conventional Forward-Backward Tie in Neural Networks: Activation Functions
Generative Image Compression by Estimating Gradients of the Rate-variable Feature Distribution
InfiniteBoost: building infinite ensembles with gradient descent
AFDM-SCMA: A Promising Waveform for Massive Connectivity over High Mobility Channels
AMBER - Advanced SegFormer for Multi-Band Image Segmentation: an application to Hyperspectral Imaging
Multivariate Cryptosystems for Secure Processing of Multidimensional Signals
Graph Neural Networks for Motion Planning
Path-search in the pyramid and in other graphs
Relative Information Loss in the PCA
Discovering Characteristic Landmarks on Ancient Coins using Convolutional Networks
CortexMorph: fast cortical thickness estimation via diffeomorphic registration using VoxelMorph
NavEX: A Multi-Agent Coverage in Non-Convex and Uneven Environments via Exemplar-Clustering
CleanVul: Automatic Function-Level Vulnerability Detection in Code Commits Using LLM Heuristics
On the Error Exponents of ARQ Channels with Deadlines
Physics Enhanced Residual Policy Learning (PERPL) for safety cruising in mixed traffic platooning under actuator and communication delay
Robot Self-Calibration Using Actuated 3D Sensors
Sign Language Sense Disambiguation
Low-Light Image Enhancement with Wavelet-based Diffusion Models
Goal-based Self-Adaptive Generative Adversarial Imitation Learning (Goal-SAGAIL) for Multi-goal Robotic Manipulation Tasks
New constructions and bounds for Winkler's hat game
Comments on "Consensus and Cooperation in Networked Multi-Agent Systems"
Data-Driven Analysis of Intersectional Bias in Image Classification: A Framework with Bias-Weighted Augmentation
ViCE: Visual Counterfactual Explanations for Machine Learning Models
Adversarial Guitar Amplifier Modelling With Unpaired Data
L1-norm Tucker Tensor Decomposition
Network Inference in Public Administration: Questions, Challenges, and Models of Causality
Black-White Array: A New Data Structure for Dynamic Data Sets
Graph Partial Label Learning with Potential Cause Discovering
A survey on Concept-based Approaches For Model Improvement
FIESTA: Fourier-Based Semantic Augmentation with Uncertainty Guidance for Enhanced Domain Generalizability in Medical Image Segmentation
Weakly-Supervised Multi-Face 3D Reconstruction
M$^2$S-Net: Multi-Modal Similarity Metric Learning based Deep Convolutional Network for Answer Selection
The Emerging Use of GenAI for UX Research in Software Development: Challenges and Opportunities
Random Shuffling and Resets for the Non-stationary Stochastic Bandit Problem
A Multimodal Object-level Contrast Learning Method for Cancer Survival Risk Prediction
A New Broadcast Primitive for BFT Protocols
Minimal Linear Codes From Weakly Regular Plateaued Balanced Functions
Adaptive Layer-Wise Transformations for Post-Training Quantization of Large Language Models
Evaluation of Coding Schemes for Transformer-based Gene Sequence Modeling
Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols
Edge-aware Plug-and-play Scheme for Semantic Segmentation
DSP Implementation of a Direct Adaptive Feedfoward Control Algorithm for Rejecting Repeatable Runout in Hard Disk Drives
Strong overall error analysis for the training of artificial neural networks via random initializations
A Survey on Self-Supervised Learning for Non-Sequential Tabular Data
Connecting Vision and Emissions: A Behavioural AI Approach to Carbon Estimation in Road Design
Chance-constrained allocation of UFLS candidate feeders under high penetration of distributed generation