yusuke1997/dblp-id-title huggingface dataset:
Enhancing Reasoning Capabilities in SLMs with Reward Guided Dataset Distillation
Fourth Order Compact Formulation of Navier-Stokes Equations and Driven Cavity Flow at High Reynolds Numbers
Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models
MCTS-SQL: An Effective Framework for Text-to-SQL with Monte Carlo Tree Search
Stochastic Gradient Hamiltonian Monte Carlo for Non-Convex Learning in the Big Data Regime
Quantified Propositional Logspace Reasoning
Coarse-to-Fine Lightweight Meta-Embedding for ID-Based Recommendation
Variational Structures in Cochain Projection Based Variational Discretizations of Lagrangian PDEs
Taking a Detour to Zero: An Alternative Formalization of Functions Beyond PR
Voice Communication Analysis in Esports
Low-Cost Throttle-By-Wire-System Architecture For Two-Wheeler Vehicles
Running Alchemist on Cray XC and CS Series Supercomputers: Dask and PySpark Interfaces, Deployment Options, and Data Transfer Times
Optimum Reconfiguration of Routing Interconnection Network in APSoC Fabrics
Optimizing Efficiency of Mixed Traffic through Reinforcement Learning: A Topology-Independent Approach and Benchmark
Some Results On Convex Greedy Embedding Conjecture for 3-Connected Planar Graphs
Entropy stable flux correction for hydrostatic reconstruction scheme for shallow water flows
MUG: Pseudo Labeling Augmented Audio-Visual Mamba Network for Audio-Visual Video Parsing
Proceedings 9th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2016, Eindhoven, The Netherlands, April 8, 2016
Inferring High-level Geographical Concepts via Knowledge Graph and Multi-scale Data Integration: A Case Study of C-shaped Building Pattern Recognition
A Phase Theory of MIMO LTI Systems
Continual Learning for Multimodal Data Fusion of a Soft Gripper
Verify when Uncertain: Beyond Self-Consistency in Black Box Hallucination Detection
On existence, uniqueness and scalability of adversarial robustness measures for AI classifiers
Smaller Keys for Code-Based Cryptography: McEliece Cryptosystems with Convolutional Encoders
Adversarial recovery of agent rewards from latent spaces of the limit order book
Bug propagation and debugging in asymmetric software structures
REX: Causal Discovery based on Machine Learning and Explainability techniques
Design and implementation of a Framework for remote experiments in education
ProgD: Progressive Multi-scale Decoding with Dynamic Graphs for Joint Multi-agent Motion Forecasting
Security Risks in Mechanical Engineering Industries
ES-HPC-MPC: Exponentially Stable Hybrid Perception Constrained MPC for Quadrotor with Suspended Payloads
A New Constructive Method to Optimize Neural Network Architecture and Generalization
Minors of two-connected graphs of large path-width
Think Before Refusal : Triggering Safety Reflection in LLMs to Mitigate False Refusal Behavior
Grade Score: Quantifying LLM Performance in Option Selection
SEEC: Segmentation-Assisted Multi-Entropy Models for Learned Lossless Image Compression
Weak Memory Models with Matching Axiomatic and Operational Definitions
Meta-Prior: Meta learning for Adaptive Inverse Problem Solvers
Asynchronous iterative computations with Web information retrieval structures: The PageRank case
Towards the Coevolution of Novel Vertical-Axis Wind Turbines
Bitcoin: a new Proof-of-Work system with reduced variance
ADMiRA: Atomic Decomposition for Minimum Rank Approximation
Having Second Thoughts? Let's hear it
LUT-LLM: Efficient Large Language Model Inference with Memory-based Computations on FPGAs
On advantages of Mask-level Recognition for Open-set Segmentation in the Wild
Special Delivery: Programming with Mailbox Types (Extended Version)
SwarmPaint: Human-Swarm Interaction for Trajectory Generation and Formation Control by DNN-based Gesture Interface
Calculations of System Adequacy Considering Heat Transition Pathways
Consistent transformations of belief functions
Determining distances and consensus between mutation trees
Saliency Prediction on Omnidirectional Images with Generative Adversarial Imitation Learning
LaF-GRPO: In-Situ Navigation Instruction Generation for the Visually Impaired via GRPO with LLM-as-Follower Reward
Leveraging Unsupervised Learning for Cost-Effective Visual Anomaly Detection
Quantification of Tomographic Patterns associated with COVID-19 from Chest CT
ETGuard: Detecting D2D Attacks using Wireless Evil Twins
Should Decorators Preserve the Component Interface?
Scalable Decentralized Cooperative Platoon using Multi-Agent Deep Reinforcement Learning
Hybrid Dynamical Model for Reluctance Actuators Including Saturation, Hysteresis and Eddy Currents
Four-set Hypergraphlets for Characterization of Directed Hypergraphs
Theoretical Studies of Sub-THz Active Split-Ring Resonators for Near-Field Imaging
ACCL: Adversarial constrained-CNN loss for weakly supervised medical image segmentation
Aggregating Intrinsic Information to Enhance BCI Performance through Federated Learning
Stable, Robust and Super Fast Reconstruction of Tensors Using Multi-Way Projections
Practical self-supervised continual learning with continual fine-tuning
Cott-ADNet: Lightweight Real-Time Cotton Boll and Flower Detection Under Field Conditions
RLWE/PLWE equivalence for the maximal totally real subextension of the 2 rpq -th cyclotomic field
DisCo: Effective Knowledge Distillation For Contrastive Learning of Sentence Embeddings
Data-Driven but Privacy-Conscious: Pedestrian Dataset De-identification via Full-Body Person Synthesis
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
Materials Expert-Artificial Intelligence for Materials Discovery
Logical Abstractions for Noisy Variational Quantum Algorithm Simulation
A Flexible Lossy Depth Video Coding Scheme Based on Low-rank Tensor Modelling and HEVC Intra Prediction for Free Viewpoint Video
View-Invariant Gait Recognition with Attentive Recurrent Learning of Partial Representations
An inverse random source problem for the one-dimensional Helmholtz equation with attenuation
A Large Scale Benchmark for Individual Treatment Effect Prediction and Uplift Modeling
A Weighted Sampling Method for Inverse Medium Problem with Limited Aperture
A Robust Contrastive Alignment Method For Multi-Domain Text Classification
Subgraph Networks Based Contrastive Learning
Convergence of energy-based learning in linear resistive networks
Beam-On-Graph: Simultaneous Channel Estimation in Multi-user Millimeter Wave MIMO Systems
An Exploratory Case Study of Query Plan Representations
Regularized Generative Adversarial Network
VisionTS++: Cross-Modal Time Series Foundation Model with Continual Pre-trained Visual Backbones
Benchmarking Vision Transformers and CNNs for Thermal Photovoltaic Fault Detection with Explainable AI Validation
FFT: Towards Harmlessness Evaluation and Analysis for LLMs with Factuality, Fairness, Toxicity
From DevOps to DevDataOps: Data Management in DevOps processes
TripScore: Benchmarking and rewarding real-world travel planning with fine-grained evaluation
An extendible User-Command Framework based on tagging system
Methods of QoS improvement for P2P IPTV based on traffic modelling
Learning to Transfer Initializations for Bayesian Hyperparameter Optimization
Distilling Empathy from Large Language Models
Integration of Imitation Learning using GAIL and Reinforcement Learning using Task-achievement Rewards via Probabilistic Generative Model
Edge Based Grid Super-Imposition for Crowd Emotion Recognition
Transformer-based Language Model Fine-tuning Methods for COVID-19 Fake News Detection
Mollified finite element approximants of arbitrary order and smoothness
A Review of Feature and Data Fusion with Medical Images
A variance principle explains why dropout finds flatter minima
An Open Tele-Impedance Framework to Generate Large Datasets for Contact-Rich Tasks in Robotic Manipulation
LabelECG: A Web-based Tool for Distributed Electrocardiogram Annotation
Contrastive Deep Encoding Enables Uncertainty-aware Machine-learning-assisted Histopathology
Point'n Move: Interactive Scene Object Manipulation on Gaussian Splatting Radiance Fields
PyDPF: A Python Package for Differentiable Particle Filtering
CyberSOCEval: Benchmarking LLMs Capabilities for Malware Analysis and Threat Intelligence Reasoning
A collection of principles for guiding and evaluating large language models
From Facts to Foils: Designing and Evaluating Counterfactual Explanations for Smart Environments
Named Entity Linking on Namesakes
Disinformation and Misinformation on Twitter during the Novel Coronavirus Outbreak
C2RUST-BENCH: A Minimized, Representative Dataset for C-to-Rust Transpilation Evaluation
Backdoor Mitigation by Distance-Driven Detoxification
Active Fault Identification and Robust Control for Unknown Bounded Faults via Volume-Based Costs
Finite elements for symmetric and traceless tensors in three dimensions
Graph Optimality-Aware Stochastic LiDAR Bundle Adjustment with Progressive Spatial Smoothing
Prosodic features improve sentence segmentation and parsing
Rational fuzzy attribute logic
MedXChat: Bridging CXR Modalities with a Unified Multimodal Large Model
The Hegselmann-Krause dynamics for continuous agents and a regular opinion function do not always lead to consensus
Adaptive Low-Rank Regularization with Damping Sequences to Restrict Lazy Weights in Deep Networks
De novo generation of functional terpene synthases using TpsGPT
Temporal Description Logic for Ontology-Based Data Access (Extended Version)
Fitted norm preconditioners for the Hodge Laplacian in mixed form
An Empirical Investigation of Model-to-Model Distribution Shifts in Trained Convolutional Filters
Know thy corpus! Robust methods for digital curation of Web corpora
AI Debate Aids Assessment of Controversial Claims
Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification
VeriPy - A New Python-Based Approach for SDR Pipelined/Unrolled Hardware Accelerator Generation
Secure Sum Outperforms Homomorphic Encryption in (Current) Collaborative Deep Learning
Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?
Barriers towards no-reference metrics application to compressed video quality analysis: on the example of no-reference metric NIQE
Robust Audio-Visual Instance Discrimination via Active Contrastive Set Mining
3D Registration in 30 Years: A Survey
Mitigating Forgetting in Online Continual Learning via Contrasting Semantically Distinct Augmentations
Generalized ODIN: Detecting Out-of-distribution Image without Learning from Out-of-distribution Data
Pose Estimation Based on 3D Models
A New Scope and Domain Measure Comparison Method for Global Convergence Analysis in Evolutionary Computation
Weighted Averaged Stochastic Gradient Descent: Asymptotic Normality and Optimality
Patient-level Information Extraction by Consistent Integration of Textual and Tabular Evidence with Bayesian Networks
Squeeze Excitation Embedded Attention UNet for Brain Tumor Segmentation
BERTChem-DDI : Improved Drug-Drug Interaction Prediction from text using Chemical Structure Information
Lyndon words versus inverse Lyndon words: queries on suffixes and bordered words
Large Language Models as Information Sources: Distinctive Characteristics and Types of Low-Quality Information
Joint Speech and Text Training for LLM-Based End-to-End Spoken Dialogue State Tracking
twAwler: A lightweight twitter crawler
Learning For Predictive Control: A Dual Gaussian Process Approach
MPICH-G2: A Grid-Enabled Implementation of the Message Passing Interface
From Easy to Hard: Progressive Active Learning Framework for Infrared Small Target Detection with Single Point Supervision
An Infinitesimal Probabilistic Model for Principal Component Analysis of Manifold Valued Data
A Spectral Approach to the Shortest Path Problem
Human-AI Collaboration Mechanism Study on AIGC Assisted Image Production for Special Coverage
Interference Prediction in Mobile Ad Hoc Networks with a General Mobility Model
Harnessing AI for efficient analysis of complex policy documents: a case study of Executive Order 14110
Variable-Length Coding for Zero-Error Channel Capacity
Adaptive Local Implicit Image Function for Arbitrary-scale Super-resolution
On the Complexity of Instationary Gas Flows
Co-clustering separately exchangeable network data
Spread Mechanism and Influence Measurement of Online Rumors during COVID-19 Epidemic in China
Maximum Likelihood-based Gridless DoA Estimation Using Structured Covariance Matrix Recovery and SBL with Grid Refinement
Compression of user generated content using denoised references
Artificial Intelligence for reverse engineering: application to detergents using Raman spectroscopy
A Fuzzy-based Framework to Support Multicriteria Design of Mechatronic Systems
A network of spiking neurons for computing sparse representations in an energy efficient way
Mapping Faithful Reasoning in Language Models
On the Effectiveness of Distillation in Mitigating Backdoors in Pre-trained Encoder
Analytical Derivation of the Inverse Moments of One-sided Correlated Gram Matrices with Applications
Multi-agent Reinforcement Learning for Cooperative Lane Changing of Connected and Autonomous Vehicles in Mixed Traffic
Discriminative Self-training for Punctuation Prediction
Correlation Clustering Based Coalition Formation For Multi-Robot Task Allocation
Federated Learning with Cooperating Devices: A Consensus Approach for Massive IoT Networks
R-MelNet: Reduced Mel-Spectral Modeling for Neural TTS
Causal Inference via Conditional Kolmogorov Complexity using MDL Binning
NuRisk: A Visual Question Answering Dataset for Agent-Level Risk Assessment in Autonomous Driving
AlphaPO - Reward shape matters for LLM alignment
Bayesian Causal Inference
RAG in the Wild: On the (In)effectiveness of LLMs with Mixture-of-Knowledge Retrieval Augmentation
Sentinel: Runtime Data Management on Heterogeneous Main MemorySystems for Deep Learning
Compressive sensing based differential channel feedback for massive MIMO
Describe me if you can! Characterized Instance-level Human Parsing
A characterization of minimum spanning tree-like metric spaces
Distributed Nash Equilibrium Seeking with Stochastic Event-Triggered Mechanism
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?
Deep Image Retrieval: A Survey
Robust Facial Landmark Detection by Cross-order Cross-semantic Deep Network
Investigating Quantum Feature Maps in Quantum Support Vector Machines for Lung Cancer Classification
Towards Benchmarking and Assessing the Safety and Robustness of Autonomous Driving on Safety-critical Scenarios
HAVE: Head-Adaptive Gating and ValuE Calibration for Hallucination Mitigation in Large Language Models
Location Sensitive Embedding for Knowledge Graph Reasoning
InfTDA: A Simple TopDown Mechanism for Hierarchical Differentially Private Counting Queries
MT* : Multi-Robot Path Planning for Temporal Logic Specifications
Uncertainty-based method for improving poorly labeled segmentation datasets
Viewport-Aware Deep Reinforcement Learning Approach for 360° Video Caching
Automated Identification and Segmentation of Hi Sources in CRAFTS Using Deep Learning Method
Future Directions in Foundations of Graph Machine Learning
Conversational Alignment with Artificial Intelligence in Context
An efficient implementation for solving the all pairs minimax path problem in an undirected dense graph
Deep Neural Networks and PIDE discretizations
Sparse Non-Negative Recovery from Biased Subgaussian Measurements using NNLS
Formalizing π 4 (S ^3 ) ≅ ℤ/2ℤ and Computing a Brunerie Number in Cubical Agda
Deep Quantile Regression for Uncertainty Estimation in Unsupervised and Supervised Lesion Detection
PUREVQ-GAN: Defending Data Poisoning Attacks through Vector-Quantized Bottlenecks
Towards a Novel Privacy-Preserving Distributed Multiparty Data Outsourcing Scheme for Cloud Computing with Quantum Key Distribution
Normalization of breast MRIs using Cycle-Consistent Generative Adversarial Networks
A General Theory of Information and Computation
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
Error analysis of an Algebraic Flux Correction Scheme for a nonlinear Scalar Conservation Law Using SSP-RK2
Uncertainty Inference with Applications to Control and Decision
Power Management of Microgrid Integrated with Electric Vehicles in Residential Parking Station
Controlgym: Large-Scale Safety-Critical Control Environments for Benchmarking Reinforcement Learning Algorithms
Local community extraction in directed networks
Longest Alignment with Edits in Data Streams
A Comprehensive Study on Artificial Intelligence Algorithms to Implement Safety Using Communication Technologies
Explainable Artificial Intelligence for Pharmacovigilance: What Features Are Important When Predicting Adverse Outcomes?
Learning Program Component Order
Dynamic Texture Transfer using PatchMatch and Transformers
Unsupervised Attention-Based Multi-Source Domain Adaptation Framework for Drift Compensation in Electronic Nose Systems
Efficient Decomposition-Based Algorithms for ℓ 1 -Regularized Inverse Problems with Column-Orthogonal and Kronecker Product Matrices
Provably Safe and Deadlock-Free Execution of Multi-Robot Plans under Delaying Disturbances
LoRaWAN attack in military use case
How classical circuits can simulate quantum aspects
I Spy With My Little Eye: A Minimum Cost Multicut Investigation of Dataset Frames
HOD: A Benchmark Dataset for Harmful Object Detection
Differentially-private Continual Releases against Dynamic Databases
Data movement limits to frontier model training
Fruit Quantity and Quality Estimation using a Robotic Vision System
Low Precision Constant Parameter CNN on FPGA
RFID et nouvelles technologies de communication; enjeux économiques incontournables et problèmes d'éthique RFID and new communication technologies - economic challenges and ethic problems
Matrix factorization with neural networks
Multimodal datasets: misogyny, pornography, and malignant stereotypes
Incentivizing Strong Reasoning from Weak Supervision
Number of Connected Components in a Graph: Estimation via Counting Patterns
The equivalence of GRS codes and EGRS codes
Real-World Font Recognition Using Deep Network and Domain Adaptation
Robust Egocentric Referring Video Object Segmentation via Dual-Modal Causal Intervention
A Light Field Camera Calibration Method Using Sub-Aperture Related Bipartition Projection Model and 4D Corner Detection
The complexity of computing a (perfect) equilibrium for an n-player extensive form game of perfect recall
Channel-Optimized Vector Quantizer Design for Compressed Sensing Measurements
Unbiased Decisions Reduce Regret: Adversarial Domain Adaptation for the Bank Loan Problem
Cryptic Bytes: WebAssembly Obfuscation for Evading Cryptojacking Detection
IDEALI: intuitively localising connected devices in order to support autonomy
The Gaussian Channel with Noisy Feedback: Near-Capacity Performance via Simple Interaction
AIR-DA: Adversarial Image Reconstruction for Unsupervised Domain Adaptive Object Detection
Learning Distributed Representations of Symbolic Structure Using Binding and Unbinding Operations
Improving Transformer-based End-to-End Speaker Diarization by Assigning Auxiliary Losses to Attention Heads
Shallow Discourse Parsing with Maximum Entropy Model
Simulating LTE and Wi-Fi Coexistence in Unlicensed Spectrum with ns-3
A New Proposed Cost Model for List Accessing Problem using Buffering
Building a Reproducible Machine Learning Pipeline
Discovering Hidden Algebraic Structures via Transformers with Rank-Aware Beam GRPO
Confidence-Modulated Speculative Decoding for Large Language Models
Compact Quantitative Theories of Convex Algebras
Spatio-Temporal Context for Action Detection
A stochastic non-cooperative game for energy efficiency in wireless data networks
On the mediation of program allocation in high-demand environments
Towards Realistic Low-Light Image Enhancement via ISP Driven Data Modeling
Engineering Relative Compression of Genomes
Survival of the fastest - algorithm-guided evolution of light-powered underwater microrobots
FF2: A Feature Fusion Two-Stream Framework for Punctuation Restoration
Bit-Vectorized GPU Implementation of a Stochastic Cellular Automaton Model for Surface Growth
Mean-field Langevin System, Optimal Control and Deep Neural Networks
Overview of Surgical Simulation
Mobile P2P Trusted On-Demand Video Streaming
A Multimodal Classifier Generative Adversarial Network for Carry and Place Tasks from Ambiguous Language Instructions
Leveraging Large Language Models for Fuzzy String Matching in Political Science
Computation Rate Maximum for Mobile Terminals in UAV-assisted Wireless Powered MEC Networks with Fairness Constraint
ChatGPT as Linguistic Equalizer? Quantifying LLM-Driven Lexical Shifts in Academic Writing
Simulation-based Safety Assessment of High-level Reliability Models
Operationalizing Digital Self Determination
Automatic Neural Network Hyperparameter Optimization for Extrapolation: Lessons Learned from Visible and Near-Infrared Spectroscopy of Mango Fruit
Optimal Model Selection in Contextual Bandits with Many Classes via Offline Oracles
Information-Bottleneck-Based Behavior Representation Learning for Multi-agent Reinforcement learning
Zero-day attack and ransomware detection
Authorization of Knowledge-base Agents in an Intent-based Management Function
A symbiotic relationship: the feasibility of community-scale energy storage deployed with local network tariffs
Evaluating representation learning on the protein structure universe
SUSAN: Segment Unannotated image Structure using Adversarial Network
Escaping Saddle Points in Distributed Newton's Method with Communication efficiency and Byzantine Resilience
Network Coding with Random Packet-Index Assignment for Data Collection Networks
Bounding System-Induced Biases in Recommender Systems with A Randomized Dataset
Functional Random Forest with Adaptive Cost-Sensitive Splitting for Imbalanced Functional Data Classification
DISCOVERYWORLD: A Virtual Environment for Developing and Evaluating Automated Scientific Discovery Agents
LSTM-Sharp: An Adaptable, Energy-Efficient Hardware Accelerator for Long Short-Term Memory
JointPPO: Diving Deeper into the Effectiveness of PPO in Multi-Agent Reinforcement Learning
On the Non-Monotonicity of a Non-Differentially Mismeasured Binary Confounder
Extending the OpenAI Gym for robotics: a toolkit for reinforcement learning using ROS and Gazebo
Going Beyond T-SNE: Exposing whatlies in Text Embeddings
TCLC-GS: Tightly Coupled LiDAR-Camera Gaussian Splatting for Surrounding Autonomous Driving Scenes
Do Prompts Reshape Representations? An Empirical Study of Prompting Effects on Embeddings
"TL;DR: " Out-of-Context Adversarial Text Summarization and Hashtag Recommendation
A Survey of Blockchain, Artificial Intelligence, and Edge Computing for Web 3.0
Gray Level Co-Occurrence Matrices: Generalisation and Some New Features
Fixed-Mobile Convergence in the 5G era: From Hybrid Access to Converged Core
Extracting Zero-shot Common Sense from Large Language Models for Robot 3D Scene Understanding
Are LLMs Ready for Real-World Materials Discovery?
Exploring the Effect of an Item's Neighborhood on its Sellability in eCommerce
AutoPrognosis 2.0: Democratizing Diagnostic and Prognostic Modeling in Healthcare with Automated Machine Learning
On Implementation of a Safer C Library, ISO/IEC TR 24731
A Survey of Federated Unlearning: A Taxonomy, Challenges and Future Directions
Proof of Concept for Mammography Classification with Enhanced Compactness and Separability Modules
Self-Reconfigurable V-shape Formation of Multiple UAVs in Narrow Space Environments
Risk-sensitive safety analysis using Conditional Value-at-Risk
On Cognitive Interference Networks
Enhanced Tracking and Beamforming Codebook Design for Wideband Terahertz Massive MIMO System
ETNLP: A Toolkit for Extraction, Evaluation and Visualization of Pre-trained Word Embeddings
Hybrid Interest Modeling for Long-tailed Users
Provable Unlearning with Gradient Ascent on Two-Layer ReLU Neural Networks
EarSpy: Spying Caller Speech and Identity through Tiny Vibrations of Smartphone Ear Speakers
Generalised Automatic Anatomy Finder (GAAF): A general framework for 3D location-finding in CT scans
Enhance Visual Recognition under Adverse Conditions via Deep Networks