yusuke1997/dblp-id-title huggingface dataset:
Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T
Beyond SELECT: A Comprehensive Taxonomy-Guided Benchmark for Real-World Text-to-SQL Translation
Exploring Multi-view Symbolic Regression methods in physical sciences
READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking
Adaptive Digital Scan Variable Pixels
Growing Graphs with Hyperedge Replacement Graph Grammars
Feature reconstruction from incomplete tomographic data without detour
Accelerating Hamiltonian Monte Carlo for Bayesian Inference in Neural Networks and Neural Operators
Model Merging for Knowledge Editing
Empowering Wildlife Guardians: An Equitable Digital Stewardship and Reward System for Biodiversity Conservation using Deep Learning and 3/4G Camera Traps
Online Drone Scheduling for Last-mile Delivery
LeDNet: Localization-enabled Deep Neural Network for Multi-Label Radiography Image Classification
Constrained Bimatrix Games in Wireless Communications
Deep Neural Networks for the Sequential Probability Ratio Test on Non-i.i.d. Data Series
STORM: Search-Guided Generative World Models for Robotic Manipulation
Automatic Decoupling and Index-aware Model-Order Reduction for Nonlinear Differential-Algebraic Equations
Efficient Weight-Space Laplace-Gaussian Filtering and Smoothing for Sequential Deep Learning
The GraphNet Zoo: A Plug-and-Play Framework for Deep Semi-Supervised Classification
Reasoning under Vision: Understanding Visual-Spatial Cognition in Vision-Language Models for CAPTCHA
WildRefer: 3D Object Localization in Large-scale Dynamic Scenes with Multi-modal Visual Data and Natural Language
Connected Fair Allocation of Indivisible Goods
Design and Implementation of Data Acquisition and Analysis System for Programming Debugging Process Based On VS Code Plug-In
CoachNet: An Adversarial Sampling Approach for Reinforcement Learning
VaccinEU: COVID-19 vaccine conversations on Twitter in French, German and Italian
Lost and not Found: An Investigation of Recovery Methods for Multi-Factor Authentication
Independent Low-Rank Matrix Analysis Based on Parametric Majorization-Equalization Algorithm
Learnable Linguistic Watermarks for Tracing Model Extraction Attacks on Large Language Models
A Fast Algorithm Based on a Sylvester-like Equation for LS Regression with GMRF Prior
Tiplines to Combat Misinformation on Encrypted Platforms: A Case Study of the 2019 Indian Election on WhatsApp
Well-posedness and Euler-Maruyama approximation for stochastic fractional neutral integro-differential equations with weakly singular kernel and generalized Gronwall inequality with a multi weakly singularity
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
MSLAU-Net: A Hybird CNN-Transformer Network for Medical Image Segmentation
Differentiation of Kaltofen's division-free determinant algorithm
Multi-agent Reinforcement Learning for Energy Saving in Multi-Cell Massive MIMO Systems
Markovian Entanglement Networks
An Adaptive Sampling Approach to 3D Reconstruction of Weld Joint
Demographic Fairness in Face Identification: The Watchlist Imbalance Effect
OpenECG: Benchmarking ECG Foundation Models with Public 1.2 Million Records
Sparser2Sparse: Single-shot Sparser-to-Sparse Learning for Spatial Transcriptomics Imputation with Natural Image Co-learning
Hrebs and Cohesion Chains as similar tools for semantic text properties research
AI-Governed Agent Architecture for Web-Trustworthy Tokenization of Alternative Assets
Non-Linear Flow Matching for Full-Atom Peptide Design
A Benchmark Suite for Systematically Evaluating Reasoning Shortcuts
Hole Seeding in Level Set Topology Optimization via Density Fields
Deep one-gate per layer networks with skip connections are universal classifiers
Quid Pro Quo allocations in Production-Inventory games
Collective motion emerging from evolving swarm controllers in different environments using gradient following task
On the practical applicability of modern DFT functionals for chemical computations. Case study of DM21 applicability for geometry optimization
Universal Similarity
Transforming the Output of Generative Pre-trained Transformer: The Influence of the PGI Framework on Attention Dynamics
A Projection-Stable Grammatical Model for the Distributed Execution of Administrative Processes with Emphasis on Actors' Views
A deep learning energy-based method for classical elastoplasticity
Predicting Retrosynthetic Reaction using Self-Corrected Transformer Neural Networks
Ternary Instantaneous Noise-based Logic
Cooperative Transmission in a Wireless Cluster based on Flow Management
Two weight Z p k -codes, p odd prime
Bipolar Fuzzy Soft sets and its applications in decision making problem
Time, Fences and the Ordering of Events in TSO
UWB Radar-based Heart Rate Monitoring: A Transfer Learning Approach
Large Language Models and Explainable Law: a Hybrid Methodology
Error bounds for maxout neural network approximations of model predictive control
The Benefit of Sex in Noisy Evolutionary Search
Lossless Token Sequence Compression via Meta-Tokens
A qualitative investigation of optical flow algorithms for video denoising
DropleX: Liquid sensing on tablet touchscreens
Parity-based Cumulative Fairness-aware Boosting
The Exponential of Skew-Symmetric Matrices: A Nearby Inverse and Efficient Computation of Derivatives
Joint Image De-noising and Enhancement for Satellite-Based SAR
EM-Based Mixture Models Applied to Video Event Detection
A Broader View on Clustering under Cluster-Aware Norm Objectives
AxOSyn: An Open-source Framework for Synthesizing Novel Approximate Arithmetic Operators
Beyond Automation: Socratic AI, Epistemic Agency, and the Implications of the Emergence of Orchestrated Multi-Agent Learning Architectures
Regularizing Self-training for Unsupervised Domain Adaptation via Structural Constraints
Optimality of Large MIMO Detection via Approximate Message Passing
A Multidatabase ExTRaction PipEline (METRE) for Facile Cross Validation in Critical Care Research
Evaluating Tooling and Methodology when Analysing Bitcoin Mixing Services After Forensic Seizure
Playing Non-Embedded Card-Based Games with Reinforcement Learning
Fully automated analysis of muscle architecture from B-mode ultrasound images with deep learning
Towards two-dimensional search engines
Unsupervised Learning of Object Structure and Dynamics from Videos
Learning knot invariants across dimensions
Attentive-based Multi-level Feature Fusion for Voice Disorder Diagnosis
Unidirectional imaging with partially coherent light
Learning Multilingual Word Representations using a Bag-of-Words Autoencoder
Leveraging Structural Properties of Source Code Graphs for Just-In-Time Bug Prediction
Automating Image Analysis by Annotating Landmarks with Deep Neural Networks
A simple algorithm for sampling colourings of G(n, d/n) up to Gibbs Uniqueness Threshold
Modeling emergence of norms in multi-agent systems by applying tipping points ideas
Constrained Diffusion Implicit Models
Influence of Video Dynamics on EEG-based Single-Trial Video Target Surveillance Syste
Forbidden paths and cycles in the undirected underlying graph of a 2-quasi best match graph
Leveraging Generative AI for Clinical Evidence Summarization Needs to Achieve Trustworthiness
Erase, then Redraw: A Novel Data Augmentation Approach for Free Space Detection Using Diffusion Model
PersianMind: A Cross-Lingual Persian-English Large Language Model
Multi-centric AI Model for Unruptured Intracranial Aneurysm Detection and Volumetric Segmentation in 3D TOF-MRI
Formalization and Parsing of Typed Unification-Based ID/LP Grammars
Accounting for plasticity: An extension of inelastic Constitutive Artificial Neural Networks
Capacity and Normalized Optimal Detection Error in Gaussian Channels
Unsupervised Domain Adaptation of Contextual Embeddings for Low-Resource Duplicate Question Detection
Exploring hierarchical framework of nonlinear sparse Bayesian learning algorithm through numerical investigations
Bridging Evolutionary Algorithms and Reinforcement Learning: A Comprehensive Survey
Narrative-Guided Reinforcement Learning: A Platform for Studying Language Model Influence on Decision Making
Computing Maximal Unique Matches with the r-index
Optimal Weighted Convolution for Classification and Denosing
Fusing Dictionary Learning and Support Vector Machines for Unsupervised Anomaly Detection
Minimum Number of Test Paths for Prime Path and other Structural Coverage Criteria
Joint Learning of Depth, Pose, and Local Radiance Field for Large Scale Monocular 3D Reconstruction
PRISM: Distributed Inference for Foundation Models at Edge
A Fully Spectral Neuro-Symbolic Reasoning Architecture with Graph Signal Processing as the Computational Backbone
Improved Handling of Repeats and Jumps in Audio-Sheet Image Synchronization
Robust Iris Centre Localisation for Assistive Eye-Gaze Tracking
ViTO: Vision Transformer-Operator
Staring at Economic Aggregators through Information Lenses
Learning with Dynamics: Autonomous Regulation of UAV Based Communication Networks with Dynamic UAV Crew
Robust Video-Based Pothole Detection and Area Estimation for Intelligent Vehicles with Depth Map and Kalman Smoothing
Recursive Semantic Anchoring in ISO 639:2023: A Structural Extension to ISO/TC 37 Frameworks
Stochastic Client Selection for Federated Learning with Volatile Clients
TorchQuantumDistributed
Provable Diffusion Posterior Sampling for Bayesian Inversion
Differential Privacy: Gradient Leakage Attacks in Federated Learning Environments
Increasing digital investigator availability through efficient workflow management and automation
Why and When: Understanding System Initiative during Conversational Collaborative Search
Convex Controller Synthesis for Contact
Accelerated Discrete Distribution Clustering under Wasserstein Distance
A Study of Left Before Treatment Complete Emergency Department Patients: An Optimized Explanatory Machine Learning Framework
A Knowledge-Informed Deep Learning Paradigm for Generalizable and Stability-Optimized Car-Following Models
Persistent homology and the shape of evolutionary games
NRGPT: An Energy-based Alternative for GPT
Learning from Data-Rich Problems: A Case Study on Genetic Variant Calling
Interpreting Time Series Forecasts with LIME and SHAP: A Case Study on the Air Passengers Dataset
DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots
How People Perceive The Dynamic Zero-COVID Policy: A Retrospective Analysis From The Perspective of Appraisal Theory
Enhancing Depressive Post Detection in Bangla: A Comparative Study of TF-IDF, BERT and FastText Embeddings
Progressive-Hint Prompting Improves Reasoning in Large Language Models
Jais and Jais-chat: Arabic-Centric Foundation and Instruction-Tuned Open Generative Large Language Models
Algorithms that get old : the case of generative algorithms
Training and Inference for Integer-Based Semantic Segmentation Network
Medication Regimen Extraction From Clinical Conversations
"The Prophet said so!": On Exploring Hadith Presence on Arabic Social Media
Improved Optimistic Mirror Descent for Sparsity and Curvature
MLRegTest: A Benchmark for the Machine Learning of Regular Languages
Open Problems in Analysis of Boolean Functions
PAG: Multi-Turn Reinforced LLM Self-Correction with Policy as Generative Verifier
Tetrahedron-Net for Medical Image Registration
Spatial Latent Representations in Generative Adversarial Networks for Image Generation
Unboxing Occupational Bias: Grounded Debiasing of LLMs with U.S. Labor Data
Elliptic operator for shape analysis
Base3: a simple interpolation-based ensemble method for robust dynamic link prediction
A Survey on Various Data Hiding Techniques and their Comparative Analysis
On Neighborhood Tree Search
Dataset Definition Standard (DDS)
Incentivizing the Emergence of Grounded Discrete Communication Between General Agents
Genetic Drift Regularization: on preventing Actor Injection from breaking Evolution Strategies
A Causal Framework to Measure and Mitigate Non-binary Treatment Discrimination
Online Bidding in Repeated Non-Truthful Auctions under Budget and ROI Constraints
OpenAgentSafety: A Comprehensive Framework for Evaluating Real-World AI Agent Safety
The New Urban Success: How Culture Pays
How Much is Too Much? Learning Personalised Risk Thresholds in Real-World Driving
Generative Spatiotemporal Modeling Of Neutrophil Behavior
On the Construction of Maximum-Quality Aggregation Trees in Deadline-Constrained WSNs
Large Language Models and Provenance Metadata for Determining the Relevance of Images and Videos in News Stories
Ramified Structural Recursion and Corecursion
Memory-Augmented Dual-Decoder Networks for Multi-Class Unsupervised Anomaly Detection
Pathological Visual Question Answering
Deep Reinforcement Learning-Based Resource Allocation for Hybrid Bit and Generative Semantic Communications in Space-Air-Ground Integrated Networks
Learning High-fidelity Light Field Images From Hybrid Inputs
How Well Do LLMs Imitate Human Writing Style?
Properties of Space MIMO Communication Channels
Choosing The Best Interpolation Data in Images with Noise
Unraveling the iterative CHAD
Multilinear objective function-based clustering
The Margitron: A Generalised Perceptron with Margin
Generic Dijkstra for Optical Networks
Knowledge-augmented Risk Assessment (KaRA): a hybrid-intelligence framework for supporting knowledge-intensive risk assessment of prospect candidates
Institutional Platform for Secure Self-Service Large Language Model Exploration
PSACNN: Pulse Sequence Adaptive Fast Whole Brain Segmentation
An Adverse Weather-Immune Scheme with Unfolded Regularization and Foundation Model Knowledge Distillation for Street Scene Understanding
LoCoBench: A Benchmark for Long-Context Large Language Models in Complex Software Engineering
Convergence Properties of Score-Based Models using Graduated Optimisation for Linear Inverse Problems
Impossibility of Gathering, a Certification
A Coupled CP Decomposition for Principal Components Analysis of Symmetric Networks
Hidden Markov Chains, Entropic Forward-Backward, and Part-Of-Speech Tagging
SAM 2++: Tracking Anything at Any Granularity
Osiris: A Systolic Approach to Accelerating Fully Homomorphic Encryption
CHESS: A Framework for Evaluation of Self-adaptive Systems based on Chaos Engineering
Modelling to study its non-linear effects on Communication System's performance with BER as performance measure
Enhancing Knowledge Retrieval with In-Context Learning and Semantic Search through Generative AI
Integrating Asynchronous AdaBoost into Federated Learning: Five Real World Applications
Deliberative Acting, Online Planning and Learning with Hierarchical Operational Models
Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties
Handling Missing Annotations in Supervised Learning Data
Genetic Auto-prompt Learning for Pre-trained Code Intelligence Language Models
Lower Difficulty and Better Robustness: A Bregman Divergence Perspective for Adversarial Training
Self-Supervised Learning for Endoscopic Video Analysis
Forest Representation Learning Guided by Margin Distribution
DTLS Performance in Duty-Cycled Networks
Mutual Redundancies in Inter-human Communication Systems: Steps Towards a Calculus of Processing Meaning
Fixed point actions from convolutional neural networks
Graph Neural Network-Based Reinforcement Learning for Controlling Biological Networks: The GATTACA Framework
Probabilistic Partitive Partitioning (PPP)
Reference Coverage Analysis of OpenAlex compared to Web of Science and Scopus
Deep-neural-network based sinogram synthesis for sparse-view CT image reconstruction
On the Equivalence Between Temporal and Static Graph Representations for Observational Predictions
Revisiting Page Migration for Main-Memory Database Systems
FedDrive v2: an Analysis of the Impact of Label Skewness in Federated Semantic Segmentation for Autonomous Driving
Differentially Private Graph Neural Network with Importance-Grained Noise Adaption
Non-Asymptotic Achievable Rates for Energy-Harvesting Channels using Save-and-Transmit
Neural Network Training on Encrypted Data with TFHE
Symbolic Planning and Multi-Agent Path Finding in Extremely Dense Environments with Movable Obstacles
Sequential Action-Induced Invariant Representation for Reinforcement Learning
An Empirical Study on Clustering Pretrained Embeddings: Is Deep Strictly Better?
Zero-shot hashtag segmentation for multilingual sentiment analysis
Lifting Vectorial Variational Problems: A Natural Formulation based on Geometric Measure Theory and Discrete Exterior Calculus
Mutual Information Guided Optimal Transport for Unsupervised Visible-Infrared Person Re-identification
Specification and verification of a linear-time logic for graph transformation
Cooperative and uncooperative institution designs: Surprises and problems in open-source game theory
Sessions as Propositions
Spb3DTracker: A Robust LiDAR-Based Person Tracker for Noisy Environment
Necessary and sufficient conditions for consistent root reconstruction in Markov models on trees
Applying Constraint Handling Rules to HPSG
Asymptotic Behavior of Mean Partitions in Consensus Clustering
MolGraph: a Python package for the implementation of small molecular graphs and graph neural networks with TensorFlow and Keras
Delay-Optimal Scheduling and Power Control for Instantaneous-Interference-Limited CRs
When Is It Acceptable to Break the Rules? Knowledge Representation of Moral Judgement Based on Empirical Data
Recursive Decomposition for Nonconvex Optimization
Don't Push the Button! Exploring Data Leakage Risks in Machine Learning and Transfer Learning
1st Place Solution for Waymo Open Dataset Challenge - 3D Detection and Domain Adaptation
Stable Homology-Based Cycle Centrality Measures for Weighted Graphs
Face Recognition with Machine Learning in OpenCV_ Fusion of the results with the Localization Data of an Acoustic Camera for Speaker Identification
Scoring Popularity in GitHub
Joint Transmit and Pinching Beamforming for PASS: Optimization-Based or Learning-Based?
Globally Optimal Resource Allocation Design for Discrete Phase Shift IRS-Assisted Multiuser Networks with Perfect and Imperfect CSI
Parameter-Efficient Fine-Tuning with Column Space Projection
Optimal Experiment Design for Causal Discovery from Fixed Number of Experiments
A Static Analysis of Popular C Packages in Linux
A deep learning approach to real-time parking occupancy prediction in spatio-termporal networks incorporating multiple spatio-temporal data sources
Stochastic 2-D Motion Planning with a POMDP Framework
DF-VO: What Should Be Learnt for Visual Odometry?
A Just-In-Time Networking Framework for Minimizing Request-Response Latency of Wireless Time-Sensitive Applications
OpenHype: Hyperbolic Embeddings for Hierarchical Open-Vocabulary Radiance Fields
Generating Shuttling Procedures for Constrained Silicon Quantum Dot Array
Visual Recognition of Isolated Swedish Sign Language Signs
Cypher4BIM: Releasing the Power of Graph for Building Knowledge Discovery
ResearchArena: Benchmarking LLMs' Ability to Collect and Organize Information as Research Agents
A Novel CNN Gradient Boosting Ensemble for Guava Disease Detection
Performance Analysis of Energy-Detection-Based Massive SIMO
Multi Point-Voxel Convolution (MPVConv) for Deep Learning on Point Clouds
DiNO-Diffusion. Scaling Medical Diffusion via Self-Supervised Pre-Training
The tree reconstruction game: phylogenetic reconstruction using reinforcement learning
Greening AI-enabled Systems with Software Engineering: A Research Agenda for Environmentally Sustainable AI Practices
The AI Co-Ethnographer: How Far Can Automation Take Qualitative Research?
Peer Learning for Unbiased Scene Graph Generation
Blockchain Governance: An Overview and Prediction of Optimal Strategies using Nash Equilibrium
On the number of terms of some families of the ternary cyclotomic polynomials Φ 3p 2 p 3
Data driven feedback linearization of nonlinear control systems via Lie derivatives and stacked regression approach
Extorsionware: Exploiting Smart Contract Vulnerabilities for Fun and Profit
Graph based Question Answering System
Foundations of scientific research (Foundations of Research Activities)
Explainable AI Systems Must Be Contestable: Here's How to Make It Happen
A Unified Framework for Rank-based Evaluation Metrics for Link Prediction in Knowledge Graphs
S-Packing Coloring of Cubic Halin Graphs
Solving multiple-criteria R&D project selection problems with a data-driven evidential reasoning rule
Taking Notes Brings Focus? Towards Multi-Turn Multimodal Dialogue Learning
Domain Adaptation for Industrial Time-series Forecasting via Counterfactual Inference
Causal inference in time series in terms of Rényi transfer entropy
On The Complexity of Maximizing Temporal Reachability via Trip Temporalisation
Cobb Angle Measurement of Scoliosis with Reduced Variability
Efficient Computation of the Permanent of Block Factorizable Matrices
A Survey on Tabular Data Generation: Utility, Alignment, Fidelity, Privacy, and Beyond
Scaling Graph Transformers: A Comparative Study of Sparse and Dense Attention
Automatic segmentation of novel coronavirus pneumonia lesions in CT images utilizing deep-supervised ensemble learning network
Energy stable finite element scheme for simulating flow dynamics of droplets on non-homogeneous surfaces
UAFS: Uncertainty-Aware Feature Selection for Problems with Missing Data
Technical Report: Gone in 20 Seconds - Overview of a Password Vulnerability in Siemens HMIs
Robust Confinement State Classification with Uncertainty Quantification through Ensembled Data-Driven Methods
SAM-Body4D: Training-Free 4D Human Body Mesh Recovery from Videos
An Adaptive Algorithm for Synchronization in Diffusively Coupled Systems
Compliant Hierarchical Control for Arbitrary Equality and Inequality Tasks with Strict and Soft Priorities
Investigations on End-to-End Audiovisual Fusion
Laderman matrix multiplication algorithm can be constructed using Strassen algorithm and related tensor's isotropies
Neural Network Approach for Non-Markovian Dissipative Dynamics of Many-Body Open Quantum Systems
Co-attention Graph Pooling for Efficient Pairwise Graph Interaction Learning
Hybrid LSMR algorithms for large-scale general-form regularization
Unsupervised Real Time Prediction of Faults Using the Support Vector Machine
Zonotope-Based Elastic Tube Model Predictive Control
Deep learning based electrical noise removal enables high spectral optoacoustic contrast in deep tissue
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
MGRegBench: A Novel Benchmark Dataset with Anatomical Landmarks for Mammography Image Registration
Generative Probabilistic Image Colorization
FAIR sharing of Chromatin Tracing datasets using the newly developed 4DN FISH Omics Format
Fast Uncertainty Estimates in Deep Learning Interatomic Potentials
Domain-Incremental Semantic Segmentation for Autonomous Driving under Adverse Driving Conditions
Coordinating Multiple Intelligent Reflecting Surfaces without Channel Information
A New Class of General Linear Method with Inherent Quadratic Stability for Solving Stiff Differential Systems
Predicting the Future is like Completing a Painting!
A generalized Hessian-based error estimator for an IPDG formulation of the biharmonic problem in two dimensions
Distributed Power Allocation in Multi-User Multi-Channel Relay Networks
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code
InEx: Hallucination Mitigation via Introspection and Cross-Modal Multi-Agent Collaboration
Unveiling Context-Aware Criteria in Self-Assessing LLMs
FedPIA - Permuting and Integrating Adapters leveraging Wasserstein Barycenters for Finetuning Foundation Models in Multi-Modal Federated Learning
Instance Scale, Numerical Properties and Design of Metaheuristics: A Study for the Facility Location Problem
On a minimum enclosing ball of a collection of linear subspaces
Optimal Clustering in Anisotropic Gaussian Mixture Models
Average Entropy Functions
AttributionLab: Faithfulness of Feature Attribution Under Controllable Environments
Learning Inter-Modal Correspondence and Phenotypes from Multi-Modal Electronic Health Records
Voting Classifier-based Intrusion Detection for IoT Networks
Network Architecture Search for Domain Adaptation