yusuke1997/dblp-id-title huggingface dataset:
Inferring Properties in Computation Tree Logic
On Neural Quantum Support Vector Machines
Enhancing the Quality of 3D Lunar Maps Using JAXA's Kaguya Imagery
Neural Networks and Continuous Time
Graph for Science: From API based Programming to Graph Engine based Programming for HPC
Nonlocal Games, Compression Theorems, and the Arithmetical Hierarchy
Handcrafted Feature Selection Techniques for Pattern Recognition: A Survey
DesTest: A Decentralised Testing Architecture for Improving Data Accuracy of Blockchain Oracle
How to train accurate BNNs for embedded systems?
An experimental study of the response time in an edge-cloud continuum with ClusterLink
TarGEN: Targeted Data Generation with Large Language Models
The information path functional approach for a dynamic modeling of a controllable stochastic process
Historia Magistra Vitae: Dynamic Topic Modeling of Roman Literature using Neural Embeddings
Simulation of Real-time Routing for UAS traffic Management with Communication and Airspace Safety Considerations
Gradient-based methods for spiking physical systems
Strongly Connected Topology Model and Confirmation-based Propagation Method for Cross-chain Interaction
GOATex: Geometry & Occlusion-Aware Texturing
Causal Inference (C-inf) - asymmetric scenario of typical phase transitions
Relating EEG to continuous speech using deep neural networks: a review
PhenoGnet: A Graph-Based Contrastive Learning Framework for Disease Similarity Prediction
Reaching Agreement in Competitive Microbial Systems
Distributional Hessian and divdiv complexes on triangulation and cohomology
GPTailor: Large Language Model Pruning Through Layer Cutting and Stitching
LLM-Assisted Cheating Detection in Korean Language via Keystrokes
Feed drive modelling for the simulation of tool path tracking in multi-axis High Speed Machining
Fairness-aware Vision Transformer via Debiased Self-Attention
MemSim: A Bayesian Simulator for Evaluating Memory of LLM-based Personal Assistants
Does your model understand genes? A benchmark of gene properties for biological and text models
Zero-Shot Retrieval for Scalable Visual Search in a Two-Sided Marketplace
Minimum Description Length Induction, Bayesianism, and Kolmogorov Complexity
GAETS: A Graph Autoencoder Time Series Approach Towards Battery Parameter Estimation
On Up-to Context Techniques in the π-calculus
Multi-agent robotic systems and exploration algorithms: Applications for data collection in construction sites
Fair Assignment of Indivisible Chores to Asymmetric Agents
Minimizing makespan in flowshop with time lags
A Data Driven End-to-end Approach for In-the-wild Monitoring of Eating Behavior Using Smartwatches
A Theory of Output-Side Unsupervised Domain Adaptation
Multi-GPU thermal lattice Boltzmann simulations using OpenACC and MPI
Training Deep Spiking Neural Networks using Backpropagation
LLMForecaster: Improving Seasonal Event Forecasts with Unstructured Textual Data
Sprites: Payment Channels that Go Faster than Lightning
Fourth-order Adaptive Mesh Refinement both in space and in time for incompressible Navier-Stokes equations with Dirichlet boundary conditions
The Undecidability of Unification Modulo σ Alone
Vertical Atomic Broadcast and Passive Replication (Extended Version)
O(k)-Equivariant Dimensionality Reduction on Stiefel Manifolds
A Generalized Markov-Chain Modelling Approach to $(1, λ)$-ES Linear Optimization
Almost universal codes achieving ergodic MIMO capacity within a constant gap
Impact of Network and Host Characteristics on the Keystroke Pattern in Remote Desktop Sessions
Cloud elasticity using probabilistic model checking
DualKanbaFormer: Kolmogorov-Arnold Networks and State Space Model Transformer for Multimodal Aspect-based Sentiment Analysis
NSML: Meet the MLaaS platform with a real-world case study
Upstream and Downstream AI Safety: Both on the Same River?
Halton Scheduler For Masked Generative Image Transformer
Automatic Summarization System coupled with a Question-Answering System (QAAS)
GraphEx: A Graph-based Extraction Method for Advertiser Keyphrase Recommendation
Continuous Control with Deep Reinforcement Learning for Autonomous Vessels
IP over Voice-over-IP for censorship circumvention
Understanding Demand for Shared Autonomous Micro-Mobility
Evaluation of Nuclear Microreactor Cost-competitiveness in Current Electricity Markets Considering Reactor Cost Uncertainties
On the convergence of Sobolev gradient flow for the Gross-Pitaevskii eigenvalue problem
Resultants over principal Artinian rings
Physics-Driven Data Generation for Contact-Rich Manipulation via Trajectory Optimization
An efficient deception architecture for cloud-based virtual networks
Robustness of Machine Learning Models Beyond Adversarial Attacks
Vulnerability-Aware Spatio-Temporal Learning for Generalizable and Interpretable Deepfake Video Detection
Basic Lock Algorithms in Lightweight Thread Environments
Applications and Manipulations of Physics-Informed Neural Networks in Solving Differential Equations
A Multi-Objective Degree-Based Network Anonymization Approach
Teaching An Old Dog New Tricks: Porting Legacy Code to Heterogeneous Compute Architectures With Automated Code Translation
Deep Neural Networks for Visual Reasoning
Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013
Enhancing LiDAR Point Features with Foundation Model Priors for 3D Object Detection
Lesion-Specific Prediction with Discriminator-Based Supervised Guided Attention Module Enabled GANs in Multiple Sclerosis
Thesis: Multiple Kernel Learning for Object Categorization
Delta-oriented Architectural Variability Using MontiCore
Potato: A Data-Oriented Programming 3D Simulator for Large-Scale Heterogeneous Swarm Robotics
An Interactive Robotic Framework to Facilitate Sensory Experiences for Children with ASD
Mac Williams identities for linear codes as polarized Riemann-Roch conditions
EMC2-Net: Joint Equalization and Modulation Classification based on Constellation Network
Learning to Recommend via Inverse Optimal Matching
Transmuting prompts into weights
Stochastic TCO minimization for Video Transmission over IP Networks
appjsonify: An Academic Paper PDF-to-JSON Conversion Toolkit
Think Beyond Size: Dynamic Prompting for More Effective Reasoning
Community Aware Temporal Network Generation
Cartan's Magic Formula for Simplicial Complexes
Exploring Wavelet Transformations for Deep Learning-based Machine Condition Diagnosis
DDGM: Solving inverse problems by Diffusive Denoising of Gradient-based Minimization
Submodular Load Clustering with Robust Principal Component Analysis
SPARTA: Evaluating Reasoning Segmentation Robustness through Black-Box Adversarial Paraphrasing in Text Autoencoder Latent Space
From Tokens to Layers: Redefining Stall-Free Scheduling for LLM Serving with Layered Prefill
A Common Framework for Natural Gradient and Taylor based Optimisation using Manifold Theory
Generative Stock Question Answering
Some Properties of Length Rate Quotient Shapers
Efficient Processing of Very Large Graphs in a Small Cluster
A Control Theory inspired Exploration Method for a Linear Bandit driven by a Linear Gaussian Dynamical System
Monolithic 3D FPGAs Utilizing Back-End-of-Line Configuration Memories
A sharp uniform-in-time error estimate for Stochastic Gradient Langevin Dynamics
Development and application of a machine learning supported methodology for measurement and verification (M&V) 2.0
The Next Evolution of Artificial Sense of Touch
A transformer-based generative model for planetary systems
Blackwell-Nash Equilibrium for Discrete and Continuous Time Stochastic Games
Mechanical Design, Modelling and Control of a Novel Aerial Manipulator
Isotropy and Combination Problems
Text-driven Video Prediction
Scalable Bayesian Preference Learning for Crowds
Federated Learning within Global Energy Budget over Heterogeneous Edge Accelerators
The Anarchy-Stability Tradeoff in Congestion Games
Grey Power Models Based on Optimization of Initial Condition and Model Parameters
On The Security Evaluation of Partial Password Implementations
#CFG and #DNNF admit FPRAS
Long-Tail Temporal Action Segmentation with Group-wise Temporal Logit Adjustment
ICLR Reproducibility Challenge Report (Padam : Closing The Generalization Gap Of Adaptive Gradient Methods in Training Deep Neural Networks)
Processing Uncertainty and Indeterminacy in Information Systems success mapping
An Operational Perspective to Fairness Interventions: Where and How to Intervene
Efficient Data Management for IPFS dApps
Criticality Leveraged Adversarial Training (CLAT) for Boosted Performance via Parameter Efficiency
Assessment of Audio Features for Automatic Cough Detection
GeoGPT-RAG Technical Report
Gestalt driven augmented collimator widget for precise 5 dof dental drill tool positioning in 3d space
Pun Unintended: LLMs and the Illusion of Humor Understanding
Indicating Asynchronous Array Multipliers
Rule Synergy Analysis using LLMs: State of the Art and Implications
Stacking for Probabilistic Short-term Load Forecasting
Dependency-Aware Software Release Planning through Mining User Preferences
DeepSPoC: A Deep Learning-Based PDE Solver Governed by Sequential Propagation of Chaos
Evaluation of Out-of-Distribution Detection Performance of Self-Supervised Learning in a Controllable Environment
Using ILP/SAT to determine pathwidth, visibility representations, and other grid-based graph drawings
The Prompt Alchemist: Automated LLM-Tailored Prompt Optimization for Test Case Generation
Safe Exploration in Markov Decision Processes with Time-Variant Safety using Spatio-Temporal Gaussian Process
RV4JaCa - Runtime Verification for Multi-Agent Systems
Dual Quaternion Variational Integrator for Rigid Body Dynamic Simulation
Research On CODP Localization Decision Model Of Automotive Supply Chain Based On Delayed Manufacturing Strategy
Affect Sensing on Smartphone - Possibilities of Understanding Cognitive Decline in Aging Population
Each Prompt Matters: Scaling Reinforcement Learning Without Wasting Rollouts on Hundred-Billion-Scale MoE
A New Approach to Accent Recognition and Conversion for Mandarin Chinese
Visualization of Constraint Handling Rules: Semantics and Applications
Multiple-criteria Based Active Learning with Fixed-size Determinantal Point Processes
Fine-grained Classification via Categorical Memory Networks
Decoding Nature with Nature's Tools: Heterotic Line Bundle Models of Particle Physics with Genetic Algorithms and Quantum Annealing
Early review of Gender Bias of OpenAI o1-mini: Higher Intelligence of LLM does not necessarily solve Gender Bias and Stereotyping issues
GeneBreaker: Jailbreak Attacks against DNA Language Models with Pathogenicity Guidance
New ways to multiply 3 x 3-matrices
On the Category of Group Codes
On Binomial Ideals associated to Linear Codes
Improved Ground State Estimation in Quantum Field Theories via Normalising Flow-Assisted Neural Quantum States
Modeling Spatial and Temporal Dependencies of User Mobility in Wireless Mobile Networks
SETTP: Style Extraction and Tunable Inference via Dual-level Transferable Prompt Learning
MTR++: Multi-Agent Motion Prediction with Symmetric Scene Modeling and Guided Intention Querying
Electricity consumption forecasting method based on MPSO-BP neural network model
FROB: Few-shot ROBust Model for Classification and Out-of-Distribution Detection
SDOD: Real-time Segmenting and Detecting 3D Objects by Depth
Cross-Genre Argument Mining: Can Language Models Automatically Fill in Missing Discourse Markers?
Thai Semantic End-of-Turn Detection for Real-Time Voice Agents
Finnish Parliament ASR corpus - Analysis, benchmarks and statistics
Stable Weight Decay Regularization
Medical Vision Language Pretraining: A survey
Large Language Model-Based Task Offloading and Resource Allocation for Digital Twin Edge Computing Networks
Turnpike in Lipschitz-nonlinear optimal control
Neuronal Correlation: a Central Concept in Neural Network
Dynamic Buffer Sizing for Out-of-Order Event Compensation for Time-Sensitive Applications
Strassen's 2x2 matrix multiplication algorithm: A conceptual perspective
AttentionX: Exploiting Consensus Discrepancy In Attention from A Distributed Optimization Perspective
Towards Expedited Impedance Tuning of a Robotic Prosthesis for Personalized Gait Assistance by Reinforcement Learning Control
Sem4SAP: Synonymous Expression Mining From Open Knowledge Graph For Language Model Synonym-Aware Pretraining
F3S: Free Flow Fever Screening
DSpAST: Disentangled Representations for Spatial Audio Reasoning with Large Language Models
Grid Jigsaw Representation with CLIP: A New Perspective on Image Clustering
Achieving Congestion Diversity in Multi-hop Wireless Mesh Networks
Self-supervised perception for tactile skin covered dexterous hands
A Measure for Level of Autonomy Based on Observable System Behavior
A Noisy-Influence Regularity Lemma for Boolean Functions
Guiding AI to Fix Its Own Flaws: An Empirical Study on LLM-Driven Secure Code Generation
A unifying framework for seed sensitivity and its application to subset seeds
Bayesian Conversations
Reciprocal Normalization for Domain Adaptation
Author Mentions in Science News Reveal Wide-Spread Ethnic Bias
Gaussian Process Classification Bandits
Online Learning Extreme Learning Machine with Low-Complexity Predictive Plasticity Rule and FPGA Implementation
Learning Abstract Models for Strategic Exploration and Fast Reward Transfer
The Economics of Network Energy
Stochastic Local Interaction (SLI) Model: Interfacing Machine Learning and Geostatistics
A Survey on Deep Text Hashing: Efficient Semantic Text Retrieval with Binary Representation
Grid Induced Minor Theorem for Graphs of Small Degree
P3: A Policy-Driven, Pace-Adaptive, and Diversity-Promoted Framework for Optimizing LLM Training
Anchoring AI Capabilities in Market Valuations: The Capability Realization Rate Model and Valuation Misalignment Risk
Submodular Functions: from Discrete to Continous Domains
Examining Algorithmic Curation on Social Media: An Empirical Audit of Reddit's r/popular Feed
Fastest Distributed Consensus Averaging Problem on Perfect and Complete n-ary Tree networks
Hide and Seek with LLMs: An Adversarial Game for Sneaky Error Generation and Self-Improving Diagnosis
Toward Performance Optimization in IoT-based Next-Gen Wireless Sensor Networks
Friedman's "Long Finite Sequences": The End of the Busy Beaver Contest
Optic Disc and Cup Segmentation Methods for Glaucoma Detection with Modification of U-Net Convolutional Neural Network
List Decoding of Arikan's PAC Codes
One Queue Is All You Need: Resolving Head-of-Line Blocking in Large Language Model Serving
Hierarchical Task Offloading and Trajectory Optimization in Low-Altitude Intelligent Networks Via Auction and Diffusion-based MARL
Publish, subscribe, and federate!
HAEPO: History-Aggregated Exploratory Policy Optimization
IoT Stream Processing and Analytics in The Fog
Joint Abductive and Inductive Neural Logical Reasoning
Investigation of enhanced Tacotron text-to-speech synthesis systems with self-attention for pitch accent language
A semismooth Newton-proximal method of multipliers for 𝓁 1 -regularized convex quadratic programming
Consistent sampling of Paley-Wiener functions on graphons
Using Neural Networks for Click Prediction of Sponsored Search
Layer-Aware Task Arithmetic: Disentangling Task-Specific and Instruction-Following Knowledge
Discovering Patterns of Interest in IP Traffic Using Cliques in Bipartite Link Streams
Multigrid preconditioning for discontinuous Galerkin discretizations of an elliptic optimal control problem with a convection-dominated state equation
LinkML: An Open Data Modeling Framework
Descriptive Unions. A Fibre Bundle Characterization of the Union of Descriptively Near Sets
Enhancing mTBI Diagnosis with Residual Triplet Convolutional Neural Network Using 3D CT
Trends in Demand, Growth, and Breadth in Scientific Computing Training Delivered by a High-Performance Computing Center
Matroid Intersection under Minimum Rank Oracle
Spatial Location Constraint Prototype Loss for Open Set Recognition
Neural-Augmented Incremental Nonlinear Dynamic Inversion for Quadrotors with Payload Adaptation
Point Cloud Transformers applied to Collider Physics
Automating Complex Document Workflows via Stepwise and Rollback-Enabled Operation Orchestration
Compression of Recurrent Neural Networks for Efficient Language Modeling
Mimic and Fool: A Task Agnostic Adversarial Attack
Patch-based Probabilistic Image Quality Assessment for Face Selection and Improved Video-based Face Recognition
Dual-Stream Attention Transformers for Sewer Defect Classification
Open-Set Face Recognition with Maximal Entropy and Objectosphere Loss
SSMS - A Secure SMS Messaging Protocol for the M-payment Systems
Generalization in Automated Process Discovery: A Framework based on Event Log Patterns
Multi-Armed Bandits with Network Interference
Article Processing Charges, Altmetrics and Citation Impact: Is there an economic rationale?
Artificial Intelligence Techniques for Next-Generation Mega Satellite Networks
Reinforcement Learning-based Mixture of Vision Transformers for Video Violence Recognition
Towards Efficient Training for Neural Network Quantization
Transfering Hierarchical Structure with Dual Meta Imitation Learning
LLM Architecture, Scaling Laws, and Economics: A Quick Summary
Storage Participation in Electricity Markets: Arbitrage and Ancillary Services
Demo: MmWave Lens MIMO
Ground Edge based LIDAR Localization without a Reflectivity Calibration for Autonomous Driving
Labeling and folding multi-labeled trees
One-dimensional Tensor Network Recovery
A Cooperative NOMA User Pairing in UAV-Based Wireless Networks
DAWZY: A New Addition to AI powered "Human in the Loop" Music Co-creation
Fair Scheduling Policies Exploiting Multiuser Diversity in Cellular Systems with Device-to-Device Communications
Leveraging Knowledge Graph Embedding Techniques for Industry 4.0 Use Cases
FE-UNet: Frequency Domain Enhanced U-Net with Segment Anything Capability for Versatile Image Segmentation
Common Benchmarks Undervalue the Generalization Power of Programmatic Policies
How to solve three fundamental linear matrix inequalities in the Löwner partial ordering
IDEAlign: Comparing Large Language Models to Human Experts in Open-ended Interpretive Annotations
JPRO: Automated Multimodal Jailbreaking via Multi-Agent Collaboration Framework
Skeleton-Based Action Recognition with Multi-Stream Adaptive Graph Convolutional Networks
MFDS-Net: Multi-Scale Feature Depth-Supervised Network for Remote Sensing Change Detection with Global Semantic and Detail Information
How Many Hops Can Self-Backhauled Millimeter Wave Cellular Networks Support?
Watchlist Risk Assessment using Multiparametric Cost and Relative Entropy
Evaluating Emotional Nuances in Dialogue Summarization
PIR codes from combinatorial structures
Weakly-Supervised Alignment of Video With Text
Towards view-invariant vehicle speed detection from driving simulator images
Serving Models, Fast and Slow:Optimizing Heterogeneous LLM Inferencing Workloads at Scale
GSA-TTS : Toward Zero-Shot Speech Synthesis based on Gradual Style Adaptor
Focus-style proofs for the two-way alternation-free μ-calculus
TrustMIX: Trustworthy MIX for Energy Saving in Sensor Networks
Multivariate Time series Anomaly Detection:A Framework of Hidden Markov Models
A Hybrid Forecast of Exchange Rate based on Discrete Grey-Markov and Grey Neural Network Model
Distribution of the number of pivots needed using Gaussian elimination with partial pivoting on random matrices
MATCHA:Towards Matching Anything
A survey on algorithmic aspects of modular decomposition
Diffusive transport on the real line: semi-contractive gradient flows and their discretization
Undecidability of Translational Tiling of the 3-dimensional Space with a Set of 6 Polycubes
MLModelScope: A Distributed Platform for Model Evaluation and Benchmarking at Scale
piHyFlow Operational Semantics
Arti-PG: A Toolbox for Procedurally Synthesizing Large-Scale and Diverse Articulated Objects with Rich Annotations
A Novel Algorithm for Real-time Procedural Generation of Building Floor Plans
Combatting Human Trafficking in the Cyberspace: A Natural Language Processing-Based Methodology to Analyze the Language in Online Advertisements
Overfitting Can Be Harmless for Basis Pursuit: Only to a Degree
Look Before You Leap: Towards Decision-Aware and Generalizable Tool-Usage for Large Language Models
FreeGaussian: Guidance-free Controllable 3D Gaussian Splats with Flow Derivatives
Second-order Optimization under Heavy-Tailed Noise: Hessian Clipping and Sample Complexity Limits
Learning and Coordination of Large and Uncertain Loads via Flexible Contracts with Commitment
Optimal Edge Caching For Individualized Demand Dynamics
TabText: a Systematic Approach to Aggregate Knowledge Across Tabular Data Structures
On the Complexity of the Bilevel Minimum Spanning Tree Problem
Towards a Universal Evaluation Model for Careful and Competent Autonomous Driving
Extrapolating Large Language Models to Non-English by Aligning Languages
Mixed Integer Programming for Time-Optimal Multi-Robot Coverage Path Planning with Efficient Heuristics
Found in Translation: Learning Robust Joint Representations by Cyclic Translations Between Modalities
Ciliate Gene Unscrambling with Fewer Templates
An Overview of Low-Rank Structures in the Training and Adaptation of Large Models
Optimizing Bi-directional Low-Latency Communication in Named Data Networking
Domain Generalization - A Causal Perspective
An empirical study of weakly supervised audio tagging embeddings for general audio representations
Enhancing interoperability among health information systems in low- and middle- income countries: a review of challenges and strategies
Meta Sequence Learning and Its Applications
Reassessing Collaborative Writing Theories and Frameworks in the Age of LLMs: What Still Applies and What We Must Leave Behind
Physics-Aware Style Transfer for Adaptive Holographic Reconstruction
Simulation-Based Inference for Global Health Decisions
Aergia: Leveraging Heterogeneity in Federated Learning Systems
Semi-automated Signal Surveying Using Smartphones and Floorplans
NP-completeness of determining unit distance graphs with integer coordinates
Efficient estimation of Pauli observables by derandomization
FPT Algorithms for Crossing Number Problems: A Unified Approach
From Taylor Series to Fourier Synthesis: The Periodic Linear Unit
Registration of retinal images from Public Health by minimising an error between vessels using an affine model with radial distortions
Residual Component Analysis
Geometric Control for Load Transportation with Quadrotor UAVs by Elastic Cables
Architecture of Distributed Data Storage for Astroparticle Physics
Revisiting Transformers with Insights from Image Filtering
The Human Capital Ontology (Extended Abstract)
Quadratic-Time Algorithm for the Maximum-Weight (k, ℓ)-Sparse Subgraph Problem
User Experience in Dataset Search Platform Interfaces
Efficient and Accurate Pneumonia Detection Using a Novel Multi-Scale Transformer Approach
Spectral-Aware Global Fusion for RGB-Thermal Semantic Segmentation
Retaining Image Feature Matching Performance Under Low Light Conditions
Optimal information injection and transfer mechanisms for active matter reservoir computing
TMUML: A Singular TM Model with UML Use Cases and Classes
Certified Robustness of Quantum Classifiers against Adversarial Examples through Quantum Noise
StochEP: Stochastic Equilibrium Propagation for Spiking Convergent Recurrent Neural Networks
Boosting Privately: Privacy-Preserving Federated Extreme Boosting for Mobile Crowdsensing
BiDepth Multimodal Neural Network: Bidirectional Depth Deep Learning Arcitecture for Spatial-Temporal Prediction
Unfoldings and Nets of Regular Polytopes
Creating Experience value to build student satisfaction in higher education
Multimodal Learning and Cognitive Processes in Radiology: MedGaze for Chest X-ray Scanpath Prediction
Towards Carbon-Aware Container Orchestration: Predicting Workload Energy Consumption with Federated Learning
Fixed-time Adaptive Neural Control for Physical Human-Robot Collaboration with Time-Varying Workspace Constraints
The Geometric Refinement Transform: A Novel Uncountably Infinite Transform Space
The Missing Variable: Socio-Technical Alignment in Risk Evaluation