yusuke1997/dblp-id-title huggingface dataset:
Control-Oriented Identification for the Linear Quadratic Regulator: Technical Report
Efficient Subpixel Refinement with Symbolic Linear Predictors
V-CARE: A Blockchain Based Framework for Secure Vehicle Health Record System
TOMATOES: Topology and Material Optimization for Latent Heat Thermal Energy Storage Devices
A spectrum of physics-informed Gaussian processes for regression in engineering
rl_reach: Reproducible Reinforcement Learning Experiments for Robotic Reaching Tasks
Privacy Amplification via Importance Sampling
Adaptive and Interpretable Graph Convolution Networks Using Generalized Pagerank
FreqPDE: Rethinking Positional Depth Embedding for Multi-View 3D Object Detection Transformers
Safety-Biased Policy Optimisation: Towards Hard-Constrained Reinforcement Learning via Trust Regions
Local Certification of Graphs with Bounded Genus
CLF-RL: Control Lyapunov Function Guided Reinforcement Learning
Unsupervised Segmentation of Hyperspectral Remote Sensing Images with Superpixels
Looking at Outfit to Parse Clothing
Cycle-Free Polytopal Mesh Sweeping for Boltzmann Transport
An Agent-Based Approach to Component Management
Indexing of Tables Referencing Complex Structures
Theory of Hallucinations based on Equivariance
Unification of Symmetries Inside Neural Networks: Transformer, Feedforward and Neural ODE
From Single-Hospital to Multi-Centre Applications: Enhancing the Generalisability of Deep Learning Models for Adverse Event Prediction in the ICU
Two-compartment neuronal spiking model expressing brain-state specific apical-amplification, -isolation and -drive regimes
Quantum Supremacy Is Both Closer and Farther than It Appears
THELMA: Task Based Holistic Evaluation of Large Language Model Applications-RAG Question Answering
QTSeg: A Query Token-Based Architecture for Efficient 2D Medical Image Segmentation
JOOCI: a Framework for Learning Comprehensive Speech Representations
Experiments on predictability of word in context and information rate in natural language
Improving Zero-shot Cross-lingual Transfer between Closely Related Languages by injecting Character-level Noise
Robust Consensus of Linear Multi-Agent Systems under Input Constraints or Uncertainties
A Global Information Based Adaptive Threshold for Grouping Large Scale Global Optimization Problems
Batch Bayesian Optimization via Expected Subspace Improvement
Using Large Language Models to Create AI Personas for Replication and Prediction of Media Effects: An Empirical Test of 133 Published Experimental Research Findings
Computational Models of Certain Hyperspaces of Quasi-metric Spaces
Adam symmetry theorem: characterization of the convergence of the stochastic Adam optimizer
A New Look at Ghost Normalization
Push-Forward Signed Distance Functions enable interpretable and robust continuous shape quantification
Relevance Feedback for Goal's Extraction from Fuzzy Semantic Networks
Linear-Size Universal Discretization of Geometric Center-Based Problems in Fixed Dimensions
Approximation and parameterized algorithms for geometric independent set with shrinking
Is Your VLM for Autonomous Driving Safety-Ready? A Comprehensive Benchmark for Evaluating External and In-Cabin Risks
Towards Flexibility and Robustness of LSM Trees
Bayesian nonparametric shared multi-sequence time series segmentation
Probabilistic spatial clustering based on the Self Discipline Learning (SDL) model of autonomous learning
Coalgebraic Partition Refinement For All Functors
Approximation and Generalization of DeepONets for Learning Operators Arising from a Class of Singularly Perturbed Problems
Towards Rigorous Design of OoD Detectors
CFPNet: Channel-wise Feature Pyramid for Real-Time Semantic Segmentation
#Brexit: Leave or Remain? The Role of User's Community and Diachronic Evolution on Stance Detection
Short minimal codes and covering codes via strong blocking sets in projective spaces
Hybrid Information-driven Multi-agent Reinforcement Learning
Finite-context Indexing of Restricted Output Space for NLP Models Facing Noisy Input
Person Search via A Mask-Guided Two-Stream CNN Model
Efficient Multicore Collaborative Filtering
PHANTOM: Physics-Aware Adversarial Attacks against Federated Learning-Coordinated EV Charging Management System
The role of national university rankings in an international context: the case of the I-UGR Rankings of Spanish universities
Decomposition During Search for Propagation-Based Constraint Solvers
Study of the influence of a biased database on the prediction of standard algorithms for selecting the best candidate for an interview
Towards a Common Framework for Autoformalization
Cross-GAN Auditing: Unsupervised Identification of Attribute Level Similarities and Differences between Pretrained Generative Models
La réduction de termes complexes dans les langues de spécialité
Convergence Analysis of a Cooperative Diffusion Gauss-Newton Strategy
Loss impresses human beings more than gain in the decision-making game
Software development practices in academia: a case study comparison
Heavy-tailed Contamination is Easier than Adversarial Contamination
Analysis of Energy Consumption in a Precision Beekeeping System
Using Latent Semantic Analysis to Identify Quality in Use (QU) Indicators from User Reviews
The satisfiability threshold for random linear equations
DDMT: Denoising Diffusion Mask Transformer Models for Multivariate Time Series Anomaly Detection
MATCHA: A Fast and Energy-Efficient Accelerator for Fully Homomorphic Encryption over the Torus
On Verifying Resource Contracts using Code Contracts
Divide and Compose with Score Based Generative Models
Studying the Consistency and Composability of Lottery Ticket Pruning Masks
FAT: Learning Low-Bitwidth Parametric Representation via Frequency-Aware Transformation
How to Identify Class Comment Types? A Multi-language Approach for Class Comment Classification
Neural Finite-State Machines for Surgical Phase Recognition
Confident Coreset for Active Learning in Medical Image Analysis
Hollow-tree Super: a directional and scalable approach for feature importance in boosted tree models
DSCMC: Distributed Stateless Code Model Checker
A Random Walk Model for Item Recommendation in Folksonomies
An Achievability Result for the General Relay Channel
Multi-echo Reconstruction from Partial K-space Scans via Adaptively Learnt Basis
Enhancing Text Annotation through Rationale-Driven Collaborative Few-Shot Prompting
About set-theoretic properties of one-way functions
A Feedback-Control Framework for Efficient Dataset Collection from In-Vehicle Data Streams
Supervised LogEuclidean Metric Learning for Symmetric Positive Definite Matrices
Terra: Explorable Native 3D World Model with Point Latents
LLM-Powered Fully Automated Chaos Engineering: Towards Enabling Anyone to Build Resilient Software Systems at Low Cost
Unsupervised Text Extraction from G-Maps
Hybrid Cognitive IoT with Cooperative Caching and SWIPT-EH: A Hierarchical Reinforcement Learning Framework
Influential User Subscription on Time-Decaying Social Streams
Improving Text Relationship Modeling with Artificial Data
Equivalence Checking of Quantum Circuits with the ZX-Calculus
Complexity of inheritance of $\mathcal{F}$-convexity for restricted games induced by minimum partitions
Delocalized Epidemics on Graphs: A Maximum Entropy Approach
Building an Entrepreneurship Data Warehouse
LLM Hallucination Detection: HSAD
Decentralizing Trust: Consortium Blockchains and Hyperledger Fabric Explained
Schema-Aware Multi-Task Learning for Complex Text-to-SQL
Edge densities of drawings of graphs with one forbidden cell
CMMMU: A Chinese Massive Multi-discipline Multimodal Understanding Benchmark
GS-ID: Illumination Decomposition on Gaussian Splatting via Diffusion Prior and Parametric Light Source Optimization
Performance of Hybrid-ARQ in Block-Fading Channels: A Fixed Outage Probability Analysis
Persistent Identification Of Instruments
Principles2Plan: LLM-Guided System for Operationalising Ethical Principles into Plans
Comparing approaches for mitigating intergroup variability in personality recognition
Combinatorial Algorithms for Subsequence Matching: A Survey
AIWR: Aerial Image Water Resource Dataset for Segmentation Analysis
Fair Classification via Transformer Neural Networks: Case Study of an Educational Domain
Deep Contract Design via Discontinuous Piecewise Affine Neural Networks
ACP-ESM: A novel framework for classification of anticancer peptides using protein-oriented transformer approach
Single-View Height Estimation with Conditional Diffusion Probabilistic Models
Disentangled Iterative Surface Fitting for Contact-stable Grasp Planning
A Primal Approach to Constrained Policy Optimization: Global Optimality and Finite-Time Analysis
Energy-Efficient Baseband Function Deployments for Service-Oriented Open RAN
metabeta - A fast neural model for Bayesian mixed-effects regression
A Scalable IoT-Fog Framework for Urban Sound Sensing
Agent Based Rumor Spreading in a scale-free network
Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems
Recall, Expand and Multi-Candidate Cross-Encode: Fast and Accurate Ultra-Fine Entity Typing
On the relationship between predictive coding and backpropagation
Unifying 3D Representation and Control of Diverse Robots with a Single Camera
Geo-R1: Improving Few-Shot Geospatial Referring Expression Understanding with Reinforcement Fine-Tuning
Sharp-interface limits of the diffuse interface model for two-phase inductionless magnetohydrodynamic fluids
Security of Distributed Parameter Cyber-Physical Systems: Cyber-Attack Detection in Linear Parabolic PDEs
Forecasting the Progression of Alzheimer's Disease Using Neural Networks and a Novel Pre-Processing Algorithm
A Derivation of the Asymptotic Random-Coding Prefactor
Formality Style Transfer in Persian
Decomposed Prompting: Unveiling Multilingual Linguistic Structure Knowledge in English-Centric Large Language Models
IOVS4NeRF:Incremental Optimal View Selection for Large-Scale NeRFs
Generating Magnetic Resonance Spectroscopy Imaging Data of Brain Tumours from Linear, Non-Linear and Deep Learning Models
Mitigating Cross-Image Information Leakage in LVLMs for Multi-Image Tasks
The Connes Embedding Problem: A guided tour
Frankenstein's Toolkit: Prototyping Electronics Using Consumer Products
Simultaneous Discrimination Prevention and Privacy Protection in Data Publishing and Mining
Robust Hate Speech Detection in Social Media: A Cross-Dataset Empirical Evaluation
Neural networks with motivation
LHManip: A Dataset for Long-Horizon Language-Grounded Manipulation Tasks in Cluttered Tabletop Environments
An Energy Balanced Dynamic Topology Control Algorithm for Improved Network Lifetime
A C Code Generator for Fast Inference and Simple Deployment of Convolutional Neural Networks on Resource Constrained Systems
Computation of parabolic cylinder functions having complex argument
Computing the Strategy to Commit to in Polymatrix Games (Extended Version)
Two Heads Are Better Than One: Dual-Model Verbal Reflection at Inference-Time
SMT-based Constraint Answer Set Solver EZSMT+
Real-Time Wayfinding Assistant for Blind and Low-Vision Users
Photoacoustics on the go: An Embedded Photoacoustic Sensing Platform
Post-Userist Recommender Systems : A Manifesto
When Less is More: On the Value of "Co-training" for Semi-Supervised Software Defect Predictors
Sampling From the Wasserstein Barycenter
Covert Communication in Autoencoder Wireless Systems
Quantifying human mixing patterns in Chinese provinces outside Hubei after the 2020 lockdown was lifted
BibSonomy Meets ChatLLMs for Publication Management: From Chat to Publication Management: Organizing your related work using BibSonomy & LLMs
FedDPC : Handling Data Heterogeneity and Partial Client Participation in Federated Learning
Probabilistic Video Generation using Holistic Attribute Control
A Detailed Rubric for Motion Segmentation
A Tight Runtime Analysis for the (μ+ λ) EA
Towards High-Resolution 3D Anomaly Detection: A Scalable Dataset and Real-Time Framework for Subtle Industrial Defects
Control as Probabilistic Inference as an Emergent Communication Mechanism in Multi-Agent Reinforcement Learning
A Mobile Application for Self-Guided Study of Formal Reasoning
ChainGAN: A sequential approach to GANs
Understanding Self-Admitted Technical Debt in Test Code: An Empirical Study
Computer Science Programs, Goals, Student Learning Outcomes and their Assessment
THRIVE: Threshold Homomorphic encryption based secure and privacy preserving bIometric VErification system
Reasoning about the Unseen for Efficient Outdoor Object Navigation
Transdisciplinary AI Education: The Confluence of Curricular and Community Needs in the Instruction of Artificial Intelligence
The Best of Both Worlds: Learning Geometry-based 6D Object Pose Estimation
Coherent Zero-Shot Visual Instruction Generation
LLaViDA: A Large Language Vision Driving Assistant for Explicit Reasoning and Enhanced Trajectory Planning
Strategic Server Deployment under Uncertainty in Mobile Edge Computing
3D Magnetic Inverse Routine for Single-Segment Magnetic Field Images
Disentangled Representation via Variational AutoEncoder for Continuous Treatment Effect Estimation
A chiseling algorithm for low-rank Grassmann decomposition of skew-symmetric tensors
Data-Driven simulation of inelastic materials using structured data sets, tangent space information and transition rules
Probabilistic Categorical Adversarial Attack & Adversarial Training
Examining Independence in Ensemble Sentiment Analysis: A Study on the Limits of Large Language Models Using the Condorcet Jury Theorem
PREF: Phasorial Embedding Fields for Compact Neural Representations
A Liouville principle for the random conductance model under degenerate conditions
Security of EV-Charging Protocols
Diagnostic-free onboard battery health assessment
Strengths and Weaknesses of 3D Pose Estimation and Inertial Motion Capture System for Movement Therapy
Systems Challenges for Trustworthy Embodied Systems
The maximum weight stable set problem in $(P_6, \mbox{bull})$-free graphs
Do Employee Verification Mechanisms Alter Cultural Signals in Employer Reviews?
Smart Casual Verification of CCF's Distributed Consensus and Consistency Protocols
High Resolution Medical Image Analysis with Spatial Partitioning
Hybrid Transformer-Mamba Architecture for Weakly Supervised Volumetric Medical Segmentation
Automatic 3D Ultrasound Segmentation of Uterus Using Deep Learning
On motifs in colored graphs
Holarchic Structures for Decentralized Deep Learning - A Performance Analysis
Parallel WaveGAN: A fast waveform generation model based on generative adversarial networks with multi-resolution spectrogram
Latent Beam Diffusion Models for Decoding Image Sequences
On Leaky-Integrate-and Fire as Spike-Train-Quantization Operator on Dirac-Superimposed Continuous-Time Signals
Separability and Scatteredness (S&S) Ratio-Based Efficient SVM Regularization Parameter, Kernel, and Kernel Parameter Selection
Deep Learning on Attributed Graphs: A Journey from Graphs to Their Embeddings and Back
Fast Phase Retrieval for High-Dimensions
Utilization of machine learning for the detection of self-admitted vulnerabilities
Cross-checking different sources of mobility information
A Generative Diffusion Model for Amorphous Materials
A Numerical Reasoning Question Answering System with Fine-grained Retriever and the Ensemble of Multiple Generators for FinQA
Certifying Findel Derivatives for Blockchain
Thinking with Knowledge Graphs: Enhancing LLM Reasoning Through Structured Data
A Map-free Deep Learning-based Framework for Gate-to-Gate Monocular Visual Navigation aboard Miniaturized Aerial Vehicles
Recognition of Smoking Gesture Using Smart Watch Technology
HCM: Hardware-Aware Complexity Metric for Neural Network Architectures
A Method for Fast Diagonalization of a 2x2 or 3x3 Real Symmetric Matrix
Overlapping Communities and the Prediction of Missing Links in Multiplex Networks
Collu-Bench: A Benchmark for Predicting Language Model Hallucinations in Code
Design Knowledge Representation with Technology Semantic Network
Robust Subspace Outlier Detection in High Dimensional Space
Faster RER-CNN: application to the detection of vehicles in aerial images
Analysing the Potential of BLE to Support Dynamic Broadcasting Scenarios
A Generalized LDPC Framework for Robust and Sublinear Compressive Sensing
Context-Aware System Synthesis, Task Assignment, and Routing
cGAN-based Manga Colorization Using a Single Training Image
Hyper-automation-The next peripheral for automation in IT industries
Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
MeerCRAB: MeerLICHT Classification of Real and Bogus Transients using Deep Learning
Morphologies of a sagging elastica with intrinsic sensing and actuation
Preconditioned Langevin Dynamics with Score-Based Generative Models for Infinite-Dimensional Linear Bayesian Inverse Problems
Crossing the Species Divide: Transfer Learning from Speech to Animal Sounds
MoodBar: Increasing new user retention in Wikipedia through lightweight socialization
Approval-Based Committee Voting in Practice: A Case Study of (Over-)Representation in the Polkadot Blockchain
Towards a Formal Creativity Theory: Preliminary results in Novelty and Transformativeness
Construction of Two Statistical Anomaly Features for Small-Sample APT Attack Traffic Classification
Collaborative Feature Learning from Social Media
Convergence and Sample Complexity of First-Order Methods for Agnostic Reinforcement Learning
Geometry-aware Autoregressive Models for Calorimeter Shower Simulations
Approximate Optimal Filter for Linear Gaussian Time-invariant Systems
Individual and Contextual Variables of Cyber Security Behaviour - An empirical analysis of national culture, industry, organisation, and individual variables of (in)secure human behaviour
A Market for Scheduling, with Applications to Cloud Computing
AES-SpMM: Balancing Accuracy and Speed by Adaptive Edge Sampling Strategy to Accelerate SpMM in GNNs
OG-SGG: Ontology-Guided Scene Graph Generation. A Case Study in Transfer Learning for Telepresence Robotics
Fast, robust approximate message passing
Discriminative Subspace Emersion from learning feature relevances across different populations
Unveiling the Invisible: Reasoning Complex Occlusions Amodally with AURA
Fair and Square: Cake-cutting in Two Dimensions
Partial-Order, Partially-Seen Observations of Fluents or Actions for Plan Recognition as Planning
Recentering Validity Considerations through Early-Stage Deliberations Around AI and Policy Design
The Devil is in the Details: Analyzing the Lucrative Ad Fraud Patterns of the Online Ad Ecosystem
Hide-and-Seek: Forcing a Network to be Meticulous for Weakly-supervised Object and Action Localization
Subversion Strategy Eval: Evaluating AI's stateless strategic capabilities against control protocols
SmartSwitch: Advancing LLM Reasoning by Overcoming Underthinking via Promoting Deeper Thought Exploration
Real time unsupervised learning of visual stimuli in neuromorphic VLSI systems
Can we forget how we learned? Representing states in iterated belief revision}
Nation-State Routing: Censorship, Wiretapping, and BGP
An Error-Based Safety Buffer for Safe Adaptive Control (Extended Version)
Use of a genetic algorithm in university scheduling for equitable and efficient determination of teaching assignments
Weakly-paired Cross-Modal Hashing
Complexity Bounds of Constant-Space Quantum Computation
Dynamic Combinatorial Assignment
Applications of α-strongly regular distributions to Bayesian auctions
An Almost Sudden Jump in Quantum Complexity
SPRITE: Stewart Platform Robot for Interactive Tabletop Engagement
Evaluating Dataset Watermarking for Fine-tuning Traceability of Customized Diffusion Models: A Comprehensive Benchmark and Removal Approach
Symmetry breaking in geometric quantum machine learning in the presence of noise
Learning to branch with Tree MDPs
On-line learning of dynamic systems: sparse regression meets Kalman filtering
Sharpening Kubernetes Audit Logs with Context Awareness
Parallel Dither and Dropout for Regularising Deep Neural Networks
Evaluation of Extra Pixel Interpolation with Mask Processing for Medical Image Segmentation with Deep Learning
Internalized realizability in pure type systems
Sound Value Iteration for Simple Stochastic Games
Fast Alternating Linearization Methods for Minimizing the Sum of Two Convex Functions
(ϵ, δ) Considered Harmful: Best Practices for Reporting Differential Privacy Guarantees
Physics-Informed Super-Resolution Diffusion for 6D Phase Space Diagnostics
E2CL: Exploration-based Error Correction Learning for Embodied Agents
On a Canonical Distributed Controller in the Behavioral Framework
A Deep Neural Network for Multiclass Bridge Element Parsing in Inspection Image Analysis
HydraFormer: One Encoder For All Subsampling Rates
Multiplierless MP-Kernel Machine For Energy-efficient Edge Devices
Nutrition Labels for Financial Products: A Novel Recommender System for Informing Consumers
PerfectTailor: Scale-Preserving 2D Pattern Adjustment Driven by 3D Garment Editing
A Brief Report on LawGPT 1.0: A Virtual Legal Assistant Based on GPT-3
Construction of LDGM lattices
A preliminary XML-based search system for planetary data
DRT-o1: Optimized Deep Reasoning Translation via Long Chain-of-Thought
Are Odds Really Odd? Bypassing Statistical Detection of Adversarial Examples
New and Simplified Distributed Algorithms for Weighted All Pairs Shortest Paths
Nested Primal-dual Gradient Algorithms for Distributed Constraint-coupled Optimization
A cross-center smoothness prior for variational Bayesian brain tissue segmentation
Finite-sample valid prediction of future insurance claims in the regression problem
Space-time hexahedral finite element methods for parabolic evolution problems
Improving Generative Model-based Unfolding with Schrödinger Bridges
Hybrid Training Approaches for LLMs: Leveraging Real and Synthetic Data to Enhance Model Performance in Domain-Specific Applications
EFSMT: A Logical Framework for Cyber-Physical Systems
Exploring the Potential of Polynomial Basis Functions in Kolmogorov-Arnold Networks: A Comparative Study of Different Groups of Polynomials
Evolutionary dynamics of time-resolved social interactions
Predicting fluorescent labels in label-free microscopy images with pix2pix and adaptive loss in Light My Cells challenge
Pinched Hysteresis Loops In Nonlinear Resonators
Extensional Models of Untyped Lambda-mu Calculus
Universal Randomized Guessing with Application to Asynchronous Decentralized Brute-Force Attacks
Risk-aware Adaptive Virtual CPU Oversubscription in Microsoft Cloud via Prototypical Human-in-the-loop Imitation Learning
Global Frequency Reference Tracking as an Oscillation Suppression Mechanism in VSM Primary Control: A Coupled-Oscillator Study
Artificial Intelligence Enabled Traffic Monitoring System
Steady and transient thermal stress analysis using a polygonal finite element method
Tryage: Real-time, intelligent Routing of User Prompts to Large Language Models
An instrument to measure factors that constitute the socio-technical context of testing experience
DaD: Distilled Reinforcement Learning for Diverse Keypoint Detection
Effective Construction of a Class of Bent Quadratic Boolean Functions
Diverse Instances-Weighting Ensemble based on Region Drift Disagreement for Concept Drift Adaptation
Wasserstein Generative Adversarial Uncertainty Quantification in Physics-Informed Neural Networks
Learning Hierarchical Features for Visual Object Tracking with Recursive Neural Networks
Primitive Shape Recognition for Object Grasping
Data-Centric Strategies for Overcoming PET/CT Heterogeneity: Insights from the AutoPET III Lesion Segmentation Challenge
Automatic derivation of domain terms and concept location based on the analysis of the identifiers
Optimal security hardening over a probabilistic attack graph: a case study of an industrial control system using the CySecTool tool
Knowledge Transfer for Few-shot Segmentation of Novel White Matter Tracts
Face Parsing with RoI Tanh-Warping
Granular Concept Circuits: Toward a Fine-Grained Circuit Discovery for Concept Representations
On the Forward and Backward Motion of Milli-Bristle-Bots
Distributed Compilation System for High-Speed Software Build Processes