yusuke1997/dblp-id-title huggingface dataset:
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts
Constraint optimization and landscapes
Transfer Deep Reinforcement Learning-based Large-scale V2G Continuous Charging Coordination with Renewable Energy Sources
On a Connection between Differential Games, Optimal Control, and Energy-based Models for Multi-Agent Interactions
High Precision Arithmetic for Scientific Applications
A Language Hierarchy of Binary Relations
Are Style Guides Controlled Languages? The Case of Koenig & Bauer AG
Analyzing Acoustic Word Embeddings from Pre-trained Self-supervised Speech Models
BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources
KL-based self-distillation for large language models
Clustering for Improved Learning in Maze Traversal Problem
Efficient Visual Recognition with Deep Neural Networks: A Survey on Recent Advances and New Directions
Towards Machine Learning and Inference for Resource-constrained MCUs
A Review of Image Mosaicing Techniques
Interval Load Forecasting for Individual Households in the Presence of Electric Vehicle Charging
Channel-wise Autoregressive Entropy Models for Learned Image Compression
When the Hammer Meets the Nail: Multi-Server PIR for Database-Driven CRN with Location Privacy Assurance
Planning For Edge Failure in Fixed-Charge Flow Networks
Automatic Differentiation of Algorithms for Machine Learning
A Centralized Reputation Management Scheme for Isolating Malicious Controller(s) in Distributed Software-Defined Networks
A Fragmentation-Aware Adaptive Bilevel Search Framework for Service Mapping in Computing Power Networks
Rotated and Scaled Alamouti Coding
Weakly Supervised Text Classification on Free Text Comments in Patient-Reported Outcome Measures
Robot-to-Robot Relative Pose Estimation using Humans as Markers
CodeAttack: Code-based Adversarial Attacks for Pre-Trained Programming Language Models
Knowledge-Based Visual Question Answering in Videos
ETTRL: Balancing Exploration and Exploitation in LLM Test-Time Reinforcement Learning Via Entropy Mechanism
Benchmarking Ophthalmology Foundation Models for Clinically Significant Age Macular Degeneration Detection
Unsupervised Domain Adaptive Re-Identification: Theory and Practice
Diffusion-Based Image Augmentation for Semantic Segmentation in Outdoor Robotics
Shard Scheduler: object placement and migration in sharded account-based blockchains
Predictors of Childhood Vaccination Uptake in England: An Explainable Machine Learning Analysis of Longitudinal Regional Data (2021-2024)
Caveats for the Use of Citation Indicators in Research and Journal Evaluations
When Transformers Meet Recommenders: Integrating Self-Attentive Sequential Recommendation with Fine-Tuned LLMs
Enhancing CLIP Conceptual Embedding through Knowledge Distillation
On Independent Cliques and Linear Complementarity Problems
Daily Forecasting for Annual Time Series Datasets Using Similarity-Based Machine Learning Methods: A Case Study in the Energy Market
Large Language Models as Model Organisms for Human Associative Learning
Matrix Methods for Solving Algebraic Systems
When and Why Metaheuristics Researchers Can Ignore "No Free Lunch" Theorems
Large-Scale Collaborative Writing: Technical Challenges and Recommendations
Denoising Noisy Neural Networks: A Bayesian Approach with Compensation
A Data-Driven Approach to Positioning Grab Bars in the Sagittal Plane for Elderly Persons
Managing Object-Oriented Integration and Regression Testing
Mathematical Models in Danube Water Quality
Fenchel Duality for Convex Optimization and a Primal Dual Algorithm on Riemannian Manifolds
Do Sparse Subnetworks Exhibit Cognitively Aligned Attention? Effects of Pruning on Saliency Map Fidelity, Sparsity, and Concept Coherence
The Inductive Bias of Restricted f-GANs
Decision-support for the Masses by Enabling Conversations with Open Data
Extremum seeking in the presence of large delays via time-delay approach to averaging
Malware Detection and Analysis: Challenges and Research Opportunities
Predicting Sample Collision with Neural Networks
Memory-Efficient Sampling for Minimax Distance Measures
LaplaceConfidence: a Graph-based Approach for Learning with Noisy Labels
BW - Eye Ophthalmologic decision support system based on clinical workflow and data mining techniques-image registration algorithm
Evolutionary Diversity Optimization Using Multi-Objective Indicators
Detecting Cohesive and 2-mode Communities in Directed and Undirected Networks
From Simplicity to Complexity Based on Consensus: A Case Study
Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation
Area Efficient Modular Reduction in Hardware for Arbitrary Static Moduli
Improving Persian Document Classification Using Semantic Relations between Words
You Only Look One Step: Accelerating Backpropagation in Diffusion Sampling with Gradient Shortcuts
SSFMamba: Symmetry-driven Spatial-Frequency Feature Fusion for 3D Medical Image Segmentation
Multi Instance Learning For Unbalanced Data
Geometric Scene Refocusing
Not All Patches are What You Need: Expediting Vision Transformers via Token Reorganizations
De-coupling and De-positioning Dense Self-supervised Learning
Field Matters: A lightweight LLM-enhanced Method for CTR Prediction
CapsLorentzNet: Integrating Physics Inspired Features with Graph Convolution
Generative Multi-modal Feedback for Singing Voice Synthesis Evaluation
Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete System
Fully-dynamic α+2 Arboricity Decomposition and Implicit Colouring
Heri-Graphs: A Workflow of Creating Datasets for Multi-modal Machine Learning on Graphs of Heritage Values and Attributes with Social Media
SemDiff: Binary Similarity Detection by Diffing Key-Semantics Graphs
Towards Fast Option Pricing PDE Solvers Powered by PIELM
Rethinking State Disentanglement in Causal Reinforcement Learning
Perfect match: Improved cross-modal embeddings for audio-visual synchronisation
RVE-CV2X: A Scalable Emulation Framework for Real-Time Evaluation of CV2X-Based Connected Vehicle Applications
Analytic regularity for a singularly perturbed fourth order reaction-diffusion boundary value problem
A Subquadratic Algorithm for Minimum Palindromic Factorization
SeF: A Secure Fountain Architecture for Slashing Storage Costs in Blockchains
A note on partition into triangles parametrized by tree-width
Gaining Explainability from a CNN for Stereotype Detection Based on Mice Stopping Behavior
DH-EAC: Design of a Dynamic, Hierarchical Entanglement Access Control Protocol
Entangling Machine Learning with Quantum Tensor Networks
Deep learning electromagnetic inversion with convolutional neural networks
Improving Numerical Stability and Accuracy in Partitioned Methods with Algebraic Prediction
State estimation of a carbon capture process through POD model reduction and neural network approximation
New Lower Bound on the Ergodic Capacity of Optical MIMO Channels
Blockchain in a box: A portable blockchain network implementation on Raspberry Pi's
Attacking Multimodal OS Agents with Malicious Image Patches
Channel Estimation in Reconfigurable Intelligent Surface Assisted mmWave MIMO Systems
Bimodal Connection Attention Fusion for Speech Emotion Recognition
Automated Support for Unit Test Generation: A Tutorial Book Chapter
Stress-testing Road Networks and Access to Medical Care
Preconditioned MHSS iterative algorithm and its accelerated method for solving complex Sylvester matrix equations
Hybrid Systems Knowledge Representation Using Modelling Environment System Techniques Artificial Intelligence
Online Slip Detection and Friction Coefficient Estimation for Autonomous Racing
Local Information-Theoretic Security via Euclidean Geometry
Game Theoretic Decision Making by Actively Learning Human Intentions Applied on Autonomous Driving
Ensemble Relational Learning based on Selective Propositionalization
Diagonal of Pseudoinverse of Graph Laplacian: Fast Estimation and Exact Results
Unconditional bound-preserving and energy-dissipating finite-volume schemes for the Cahn-Hilliard equation
Verified Reversible Programming for Verified Lossless Compression
Deflecting 3D Adversarial Point Clouds Through Outlier-Guided Removal
Threshold shift method for reliability-based design optimization
Hybrid Style Siamese Network: Incorporating style loss in complimentary apparels retrieval
Partial AUC Maximization via Nonlinear Scoring Functions
A parallelizable variant of HCA
Inverse Evolution Data Augmentation for Neural PDE Solvers
Multi-Candidate Speculative Decoding
The Quest for Omnioculars: Embedded Visualization for Augmenting Basketball Game Viewing Experiences
Distributed and Cascade Lossy Source Coding with a Side Information "Vending Machine"
Do We Need to Directly Access the Source Datasets for Domain Generalization?
Beyond Lengthscales: No-regret Bayesian Optimisation With Unknown Hyperparameters Of Any Type
Offline Reinforcement Learning Under Value and Density-Ratio Realizability: the Power of Gaps
Decentralized Social Networks and the Future of Free Speech Online
MA-LoT: Multi-Agent Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
ASC analyzer: A Python package for measuring argument structure construction usage in English texts
Low-power SNN-based audio source localisation using a Hilbert Transform spike encoding scheme
Dynamic ((1+ε)ln n)-Approximation Algorithms for Minimum Set Cover and Dominating Set
A Path Order for Rewrite Systems that Compute Exponential Time Functions (Technical Report)
The Role of Social Movements, Coalitions, and Workers in Resisting Harmful Artificial Intelligence and Contributing to the Development of Responsible AI
Intrinsically motivated option learning: a comparative study of recent methods
PowerAttention: Exponentially Scaling of Receptive Fields for Effective Sparse Attention
Prescribed Time Time-varying Output Formation Tracking for Uncertain Heterogeneous Multi-agent Systems
Finite element formulations for Maxwell's eigenvalue problem using continuous Lagrangian interpolations
A multimesh finite element method for the Navier-Stokes equations based on projection methods
SQL and NoSQL Databases Software architectures performance analysis and assessments - A Systematic Literature review
Lightweight Deep Learning-Based Channel Estimation for RIS-Aided Extremely Large-Scale MIMO Systems on Resource-Limited Edge Devices
Prediction of System Evolution by Learning Machine
Programmable Anyon Mobility through Higher Order Cellular Automata
Compute-Optimal Quantization-Aware Training
Contextual HyperNetworks for Novel Feature Adaptation
Kendall's τ Coefficient for Logits Distillation
Probabilistic Embeddings Revisited
DAP: A Discrete-token Autoregressive Planner for Autonomous Driving
RAmM Algorithm(Simplex)
Accelerating Diffusion Models in Offline RL via Reward-Aware Consistency Trajectory Distillation
DMP++: Overcoming Some Drawbacks of Dynamic Movement Primitives
TCR-GAN: Predicting tropical cyclone passive microwave rainfall using infrared imagery via generative adversarial networks
Speaker Recognition in the Wild
DRIVE Through the Unpredictability:From a Protocol Investigating Slip to a Metric Estimating Command Uncertainty
Medical Image Segmentation using LeViT-UNet++: A Case Study on GI Tract Data
Min-K%++: Improved Baseline for Detecting Pre-Training Data from Large Language Models
An Empirical Analysis of the Laplace and Neural Tangent Kernels
Towards Physics-informed Diffusion for Anomaly Detection in Trajectories
Identifying Safety-critical Scenarios for Autonomous Vehicles via Key Features
Extending Cox Proportional Hazards Model with Symbolic Non-Linear Log-Risk Functions for Survival Analysis
A Bayesian Approach to Direct and Inverse Abstract Argumentation Problems
On the Practices of Autonomous Systems Development: Survey-based Empirical Findings
Adaptive Detrending to Accelerate Convolutional Gated Recurrent Unit Training for Contextual Video Recognition
Are we always in strife? A longitudinal study of the echo chamber effect in the Australian Twittersphere
Knowledge Adaptation Network for Few-Shot Class-Incremental Learning
MCP vs RAG vs NLWeb vs HTML: A Comparison of the Effectiveness and Efficiency of Different Agent Interfaces to the Web (Technical Report)
TrajAgent: An Agent Framework for Unified Trajectory Modelling
LMVD: A Large-Scale Multimodal Vlog Dataset for Depression Detection in the Wild
Neighbor GRPO: Contrastive ODE Policy Optimization Aligns Flow Models
Congenital Heart Disease Classification Using Phonocardiograms: A Scalable Screening Tool for Diverse Environments
Incremental Correction in Dynamic Systems Modelled with Neural Networks for Constraint Satisfaction
Towards an Action-Centric Ontology for Cooking Procedures Using Temporal Graphs
TCDCaps: Visual Tracking via Cascaded Dense Capsules
Using CSNNs to Perform Event-based Data Processing & Classification on ASL-DVS
Sparse Gaussian Process Regression Beyond Variational Inference
From Static to Dynamic: Evaluating the Perceptual Impact of Dynamic Elements in Urban Scenes via MLLM-Guided Generative Inpainting
HiLLIE: Human-in-the-Loop Training for Low-Light Image Enhancement
Sacrificing Accuracy for Reduced Computation: Cascaded Inference Based on Softmax Confidence
Fackbook Implementation in Developing English Writing for Thai Students
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
A Global Solution Method for Decentralized Multi-Area SCUC and Savings Allocation Based on MILP Value Functions
Go Beyond Point Pairs: A General and Accurate Sim2Real Object Pose Voting Method with Efficient Online Synthetic Training
Lung segmentation on chest x-ray images in patients with severe abnormal findings using deep learning
Discussions on Inverse Kinematics based on Levenberg-Marquardt Method and Model-Free Adaptive (Predictive) Control
A Review on Generative AI For Text-To-Image and Image-To-Image Generation and Implications To Scientific Images
FinGPT: Instruction Tuning Benchmark for Open-Source Large Language Models in Financial Datasets
A Framework for Evaluating Complex Networks Measurements
Beyond Accuracy: What Matters in Designing Well-Behaved Models?
On the Cost and Benefit of Cooperation (Extended Version)
Multispectral Palmprint Recognition Using Textural Features
LLaSA: Large Language and E-Commerce Shopping Assistant
PhyDAE: Physics-Guided Degradation-Adaptive Experts for All-in-One Remote Sensing Image Restoration
Detection and Combining Techniques for Asynchronous Random Access with Time Diversity
Incorporating Expert Guidance in Epidemic Forecasting
ROM-Based Stochastic Optimization for a Continuous Manufacturing Process
Simple, efficient maxima-finding algorithms for multidimensional samples
Legitimate Power, Illegitimate Automation: The problem of ignoring legitimacy in automated decision systems
A Survey of fault models and fault tolerance methods for 2D bus-based multi-core systems and TSV based 3D NOC many-core systems
Infodemics on Youtube: Reliability of Content and Echo Chambers on COVID-19
Convolutional Set Transformer
Feature Selection for Unsupervised Domain Adaptation using Optimal Transport
HQColon: A Hybrid Interactive Machine Learning Pipeline for High Quality Colon Labeling and Segmentation
A Survey of Multi-Tape Automata
Cyclic Codes from Two-Prime Generalized Cyclotomic Sequences of Order 6
The Expressions of Depression and Anxiety in Chinese Psycho-counseling: Usage of First-person Singular Pronoun and Negative Emotional Words
Using Metamorphic Relations to Verify and Enhance Artcode Classification
A Bayesian framework for opinion dynamics models
Workflow decomposition algorithm for scheduling with quantum annealer-based hybrid solver
An adaptive acceleration scheme for phase-field fatigue computations
One-shot Video Imitation via Parameterized Symbolic Abstraction Graphs
A comparison of visual representations for real-world reinforcement learning in the context of vacuum gripping
Distributed Control within a Trapezoid Virtual Tube Containing Obstacles for UAV Swarm Subject to Speed Constraints
Accelerating Bangla NLP Tasks with Automatic Mixed Precision: Resource-Efficient Training Preserving Model Efficacy
Discriminative Local Sparse Representations for Robust Face Recognition
May the Force Be with Your Copy Mechanism: Enhanced Supervised-Copy Method for Natural Language Generation
A Systematic Review of Business Process Improvement: Achievements and Potentials in Combining Concepts from Operations Research and Business Process Management
Towards Generating Informative Textual Description for Neurons in Language Models
Approximating Gromov-Hausdorff Distance in Euclidean Space
Effect of Advertisement to the Simple Recommendation Model
Semantic Data for Humanities and Social Sciences (SDHSS): an Ecosystem of CIDOC CRM Extensions for Research Data Production and Reuse
Novel machine learning applications at the LHC
Spectral Anomaly Detection in Very Large Graphs: Models, Noise, and Computational Complexity
Comparing Few to Rank Many: Active Human Preference Learning using Randomized Frank-Wolfe
SOCRATES: A Stereo Camera Trap for Monitoring of Biodiversity
Prompt Engineering Guidance for Conceptual Agent-based Model Extraction using Large Language Models
Physics-Informed Deep Contrast Source Inversion: A Unified Framework for Inverse Scattering Problems
End-to-End Multimodal Emotion Recognition using Deep Neural Networks
LARC: Towards Human-level Constrained Retrosynthesis Planning through an Agentic Framework
Development and Application of Self-Supervised Machine Learning for Smoke Plume and Active Fire Identification from the FIREX-AQ Datasets
Precoloring extension with demands on paths
Adaptive Duration Model for Text Speech Alignment
A simple stability condition for RED using TCP mean-field modeling
Robust Mars Atmospheric Entry Integrated Navigation based on Parameter Sensitivity
Analyzing Probabilistic Methods for Evaluating Agent Capabilities
Generative Adversarial Network: Some Analytical Perspectives
Modeling and Control with Local Linearizing Nadaraya Watson Regression
Bounds on Codes Correcting Tandem and Palindromic Duplications
Empower Words: DualGround for Structured Phrase and Sentence-Level Temporal Grounding
Disrupting Networks: Amplifying Social Dissensus via Opinion Perturbation and Large Language Models
Symmetry-Aware Reservoir Computing
Does Continual Learning = Catastrophic Forgetting?
Visual Exploratory Data Analysis of the Covid-19 Vaccination Progress in Nigeria
A Faster Method for Tracking and Scoring Videos Corresponding to Sentences
Playing Games with Bounded Entropy
Optimization of Flip-Landing Trajectories for Starship based on a Deep Learned Simulator
Efficient sign language recognition system and dataset creation method based on deep learning and image processing
ConML: A Universal Meta-Learning Framework with Task-Level Contrastive Learning
Wasserstein GAN: Deep Generation applied on Bitcoins financial time series
Design of Bilayer and Multi-layer LDPC Ensembles from Individual Degree Distributions
Detecting and Refining HiRISE Image Patches Obscured by Atmospheric Dust
E-Branchformer: Branchformer with Enhanced merging for speech recognition
Deep Hashing for Signed Social Network Embedding
Variational structure of the optimal artificial diffusion method for the advection-diffusion equation
Fast algorithmic self-assembly of simple shapes using random agitation
Statistical Guarantees in Synthetic Data through Conformal Adversarial Generation
Phase Retrieval via Polytope Optimization: Geometry, Phase Transitions, and New Algorithms
WangchanLion and WangchanX MRC Eval
Learning to Initialize Gradient Descent Using Gradient Descent
A Distributed Methodology for Approximate Uniform Global Minimum Sharing
Misam: Using ML in Dataflow Selection of Sparse-Sparse Matrix Multiplication
Splitting Circle Overview
Can LLMs Serve As Time Series Anomaly Detectors?
Effective Distributed Representations for Academic Expert Search
Diversity Regularized Adversarial Learning
Artificial Theory of Mind and Self-Guided Social Organisation
Cooperative Device-to-Device Communications With Caching
Context Consistency between Training and Testing in Simultaneous Machine Translation
Detecting Adversarial Examples via Key-based Network
Deep learning-based filtering of cross-spectral matrices using generative adversarial networks
ELENA: Epigenetic Learning through Evolved Neural Adaptation
Severe Language Effect in University Rankings: Particularly Germany and France are wronged in citation-based rankings
Loss-Calibrated Approximate Inference in Bayesian Neural Networks
Forecast then Calibrate: Feature Caching as ODE for Efficient Diffusion Transformers
Deeply supervised neural network with short connections for retinal vessel segmentation
Learned transform compression with optimized entropy encoding
Visual Feature Fusion and its Application to Support Unsupervised Clustering Tasks
Steering game dynamics towards desired outcomes
A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules
Advances in UAV Avionics Systems Architecture, Classification and Integration: A Comprehensive Review and Future Perspectives
Adaptive Inverse Kinematics Framework for Learning Variable-Length Tool Manipulation in Robotics
Assessing the Reproducibility of Machine-learning-based Biomarker Discovery in Parkinson's Disease
A Taxonomy of Performance Prediction Systems in the Parallel and Distributed Computing Grids
Sum-Rate Maximization for Linearly Precoded Downlink Multiuser MISO Systems with Partial CSIT: A Rate-Splitting Approach
One-Bit Phase Retrieval: Optimal Rates and Efficient Algorithms
Dynamic Anomaly Identification in Accounting Transactions via Multi-Head Self-Attention Networks
Reinforcement Learning in hyperbolic space for multi-step reasoning
How does Architecture Influence the Base Capabilities of Pre-trained Language Models? A Case Study Based on FFN-Wider Transformer Models
Constrained high-index saddle dynamics for the solution landscape with equality constraints
Multi-Cue Structure Preserving MRF for Unconstrained Video Segmentation
A methodology to Evaluate the Usability of Security APIs
Kernelization via Sampling with Applications to Dynamic Graph Streams
LLM-First Search: Self-Guided Exploration of the Solution Space
A Fashion Item Recommendation Model in Hyperbolic Space
GenFormer - Generated Images are All You Need to Improve Robustness of Transformers on Small Datasets
Finding paths of length k in O*(2^k) time
Boundary Adversarial Examples Against Adversarial Overfitting
Accelerated Video Annotation driven by Deep Detector and Tracker
Safety-aware Causal Representation for Trustworthy Reinforcement Learning in Autonomous Driving
InternLM2 Technical Report
Adversarial Robustness of MR Image Reconstruction under Realistic Perturbations
The Crowd in MOOCs: A Study of Learning Patterns at Scale
Divergent Realities: A Comparative Analysis of Human Expert vs. Artificial Intelligence Based Generation and Evaluation of Treatment Plans in Dermatology
Automated Compliance Blueprint Optimization with Artificial Intelligence
Emotional Styles Hide in Deep Speaker Embeddings: Disentangle Deep Speaker Embeddings for Speaker Clustering
Generating a Doppelganger Graph: Resembling but Distinct
Hand-crafted Attention is All You Need? A Study of Attention on Self-supervised Audio Transformer
Lexicase-based Selection Methods with Down-sampling for Symbolic Regression Problems: Overview and Benchmark
TIGER: Topology-aware Assignment using Ising machines Application to Classical Algorithm Tasks and Quantum Circuit Gates
Abstract Dialectical Frameworks are Boolean Networks (full version)
GRI: General Reinforced Imitation and its Application to Vision-Based Autonomous Driving
Classifying Developers into Core and Peripheral: An Empirical Study on Count and Network Metrics
Exploiting Map Topology Knowledge for Context-predictive Multi-interface Car-to-cloud Communication
A Survey of Efficient Reasoning for Large Reasoning Models: Language, Multimodality, and Beyond
DiffAnt: Diffusion Models for Action Anticipation
Sequential Encryption of Sparse Neural Networks Toward Optimum Representation of Irregular Sparsity
Applying CMM Towards an m-Learning Context