yusuke1997/dblp-id-title huggingface dataset:
Logic for Unambiguous Context-Free Languages
Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009
Scale-invariant temporal history (SITH): optimal slicing of the past in an uncertain world
SimuCourt: Building Judicial Decision-Making Agents with Real-world Judgement Documents
Guard Zones and the Near-Far Problem in DS-CDMA Ad Hoc Networks
Compressed CSI Feedback With Learned Measurement Matrix for mmWave Massive MIMO
A Unified Framework for Analyzing and Detecting Malicious Examples of DNN Models
A symbolic calculus for a class of quantum computing circuits
NN-EMD: Efficiently Training Neural Networks using Encrypted Multi-sourced Datasets
Superposition Yields Robust Neural Scaling
Evaluating Accuracy and Efficiency of HPC Solvers for Sparse Linear Systems with Applications to PDEs
Beyond Nash Equilibrium in Open Spectrum Sharing: Lorenz Equilibrium in Discrete Games
Machine learning for public policy: Do we need to sacrifice accuracy to make models fair?
The Graphon Limit Hypothesis: Understanding Neural Network Pruning via Infinite Width Analysis
Can this Model Also Recognize Dogs? Zero-Shot Model Search from Weights
Proceedings Seventh International Workshop on Verification and Program Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019
Unsupervised Event Outlier Detection in Continuous Time
The Runner-up Solution for YouTube-VIS Long Video Challenge 2022
Beyond Natural Motion: Exploring Discontinuity for Video Frame Interpolation
Black-Box Segmentation of Electronic Medical Records
Efficient LLM-Jailbreaking by Introducing Visual Modality
CFPL-FAS: Class Free Prompt Learning for Generalizable Face Anti-spoofing
Prototyping an End-to-End Multi-Modal Tiny-CNN for Cardiovascular Sensor Patches
Stackelberg-Pareto Synthesis (Full Version)
Thermal Neural Networks: Lumped-Parameter Thermal Modeling With State-Space Machine Learning
Building upon Fast Multipole Methods to Detect and Model Organizations
Active Sensing Strategy: Multi-Modal, Multi-Robot Source Localization and Mapping in Real-World Settings with Fixed One-Way Switching
Smart Camera Parking System With Auto Parking Spot Detection
DDxT: Deep Generative Transformer Models for Differential Diagnosis
Data Transmission based on Exact Inverse Periodic Nonlinear Fourier Transform, Part II: Waveform Design and Experiment
Perceptual Implications of Automatic Anonymization in Pathological Speech
Enhanced EZW Technique for Compression of Image by Setting Detail Retaining Pass Number
Machine Learning-Driven Student Performance Prediction for Enhancing Tiered Instruction
Evidence of Cognitive Deficits andDevelopmental Advances in Generative AI: A Clock Drawing Test Analysis
Regularising linear inverse problems under unknown non-Gaussian white noise
A Fair Model of Identity Information Exchange Leveraging Zero-Knowledge
LASER: Tuning-Free LLM-Driven Attention Control for Efficient Text-conditioned Image-to-Animation
Quantum Algorithms for Data Representation and Analysis
Wikipedia Vandal Early Detection: from User Behavior to User Embedding
EVAL: EigenVector-based Average-reward Learning
Harnessing the Power of LLM to Support Binary Taint Analysis
LinXGBoost: Extension of XGBoost to Generalized Local Linear Models
Privacy-Preserving Near Neighbor Search via Sparse Coding with Ambiguation
Enhanced Auto Language Prediction with Dictionary Capsule - A Novel Approach
Training Interpretable Convolutional Neural Networks by Differentiating Class-specific Filters
mSAM: Micro-Batch-Averaged Sharpness-Aware Minimization
Robust Evolutionary Multi-Objective Network Architecture Search for Reinforcement Learning (EMNAS-RL)
The Neuroticism Paradox: How Emotional Instability Fuels Collective Feelings
GCC-Plugin for Automated Accelerator Generation and Integration on Hybrid FPGA-SoCs
Oscillation Analysis and Damping Control for a Proposed North American AC-DC Macrogrid
Abstracting Geo-specific Terrains to Scale Up Reinforcement Learning
Mind The Facts: Knowledge-Boosted Coherent Abstractive Text Summarization
Machine learning surrogate models of many-body dispersion interactions in polymer melts
Improving the Speed of Response of Learning Algorithms Using Multiple Models
Explainable Deep Learning for Augmentation of sRNA Expression Profiles
Subcubic Equivalences Between Graph Centrality Measures and Complementary Problems
Black-Box Privacy Attacks on Shared Representations in Multitask Learning
Instance-aware Remote Sensing Image Captioning with Cross-hierarchy Attention
Sec2Sec Co-attention for Video-Based Apparent Affective Prediction
An Axiomatic Approach to Existence and Liveness for Differential Equations
DIFFQG: Generating Questions to Summarize Factual Changes
Robust Proximity Operations using Probabilistic Markov Models
Android Malware Clustering through Malicious Payload Mining
Combining Planning and Diffusion for Mobility with Unknown Dynamics
Barbie: Text to Barbie-Style 3D Avatars
LESS: Large Language Model Enhanced Semi-Supervised Learning for Speech Foundational Models
Synthetic Heuristic Evaluation: A Comparison between AI- and Human-Powered Usability Evaluation
A Grey-box Text Attack Framework using Explainable AI
Sketch Layer Separation in Multi-Spectral Historical Document Images
Reinforcement Learning Controllers for Soft Robots using Learned Environments
Orienting (hyper)graphs under explorable stochastic uncertainty
A symmetric LWE-based Multi-Recipient Cryptosystem
Accelerating DNA Sequence Analysis using Intel Xeon Phi
Finding cliques and dense subgraphs using edge queries
MProtect: Operating System Memory Management without Access
The VoicePrivacy 2022 Challenge Evaluation Plan
Deep Neural Networks Ensemble for Detecting Medication Mentions in Tweets
Branching Flows: Discrete, Continuous, and Manifold Flow Matching with Splits and Deletions
SED-MVS: Segmentation-Driven and Edge-Aligned Deformation Multi-View Stereo with Depth Restoration and Occlusion Constraint
Accelerating Minibatch Stochastic Gradient Descent using Stratified Sampling
Lung-DETR: Deformable Detection Transformer for Sparse Lung Nodule Anomaly Detection
Eliciting User Requirements for AI-Enhanced Learning Environments using a Participatory Approach
Weighted least-squares approximation with determinantal point processes and generalized volume sampling
Compiling Process Networks to Interaction Nets
API Misuse Correction: A Statistical Approach
Improving Variational Inference with Inverse Autoregressive Flow
Simultaneously Transmitting and Reflecting RIS-Aided Mobile Edge Computing: Computation Rate Maximization
Epidemiological data challenges: planning for a more robust future through data standards
Remote Inference over Dynamic Links via Adaptive Rate Deep Task-Oriented Vector Quantization
Advancing Digital Precision Medicine for Chronic Fatigue Syndrome through Longitudinal Large-Scale Multi-Modal Biological Omics Modeling with Machine Learning and Artificial Intelligence
Agent-Kernel: A MicroKernel Multi-Agent System Framework for Adaptive Social Simulation Powered by LLMs
A Variational Inference Framework for Soft-In-Soft-Out Detection in Multiple Access Channels
Towards Internet of Things (IOTS): Integration of Wireless Sensor Network to Cloud Services for Data Collection and Sharing
Citations to Australian Astronomy: 5 and 10 Year Benchmarks
Load Shaping Based Privacy Protection in Smart Grids: An Overview
Learning to Kindle the Starlight
Software Architecture for Mobile Robots
Echoes of the hexagon: remnants of hexagonal packing inside regular polygons
Measurements of Building Attenuation in 450 MHz LTE Networks
Predictive and statistical analyses for academic advisory support
On the Detection of High-Impact Refactoring Opportunities in Programs
Senti-iFusion: An Integrity-centered Hierarchical Fusion Framework for Multimodal Sentiment Analysis under Uncertain Modality Missingness
A.I. go by many names: towards a sociotechnical definition of artificial intelligence
Building one-time memories from isolated qubits
Queuing Methodology Based Power Efficient Routing Protocol for Reliable Data Communications in Manets
A simple geometric proof for the benefit of depth in ReLU networks
Tâtonnement Beyond Constant Elasticity of Substitution
SD-AODV: A Protocol for Secure and Dynamic Data Dissemination in Mobile Ad Hoc Network
Least-Squares Finite Element Method for Ordinary Differential Equations
First Principles based High-precision Modelling and Identification of Piezoelectric Fast Steering Mirror
IA aplicada al análisis del conflicto Irán-Israel: Mapeo de discursos en YouTube
Study of the Importance of Adequacy to Robot Verbal and Non Verbal Communication in Human-Robot interaction
Simplifying Complex Software Assembly: The Component Retrieval Language and Implementation
SPC-NeRF: Spatial Predictive Compression for Voxel Based Radiance Field
Shuffle PatchMix Augmentation with Confidence-Margin Weighted Pseudo-Labels for Enhanced Source-Free Domain Adaptation
A Novel Paradigm for Neural Computation: X-Net with Learnable Neurons and Adaptable Structure
CUPID: Evaluating Personalized and Contextualized Alignment of LLMs from Interactions
FAIR-SIGHT: Fairness Assurance in Image Recognition via Simultaneous Conformal Thresholding and Dynamic Output Repair
Deadline and Priority Constrained Immersive Video Streaming Transmission Scheduling
Mechanism Design for Fair Allocation
Machine-Learning the Classification of Spacetimes
MMCL: Boosting Deformable DETR-Based Detectors with Multi-Class Min-Margin Contrastive Learning for Superior Prohibited Item Detection
Efficient Relation-aware Neighborhood Aggregation in Graph Neural Networks via Tensor Decomposition
Deep Learning Framework for Digital Breast Tomosynthesis Reconstruction
Pituitary Adenoma Segmentation
A diffusion and clustering-based approach for finding coherent motions and understanding crowd scenes
Phase Retrieval via Smooth Amplitude Flow
Ensemble of Weak Spectral Total Variation Learners: a PET-CT Case Study
Over-crowdedness Alert! Forecasting the Future Crowd Distribution
Social Interaction-Aware Dynamical Models and Decision Making for Autonomous Vehicles
Stable Port-Hamiltonian Neural Networks
Label Dropout: Improved Deep Learning Echocardiography Segmentation Using Multiple Datasets With Domain Shift and Partial Labelling
Solving Multi-Group Neutron Diffusion Eigenvalue Problem with Decoupling Residual Loss Function
Smart Grid Architecture with High Proportion of Energy Utilization
SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
Adaptive Stochastic Gradient Descent for Fast and Communication-Efficient Distributed Learning
From Multi-agent to Multi-robot: A Scalable Training and Evaluation Platform for Multi-robot Reinforcement Learning
Conversational AI Systems for Social Good: Opportunities and Challenges
Some thoughts on catastrophic forgetting and how to learn an algorithm
Rethinking Counterfactual Data Augmentation Under Confounding
Vehicle-in-Virtual-Environment (VVE) Based Autonomous Driving Function Development and Evaluation Methodology for Vulnerable Road User Safety
An Empirical Analysis of the R Package Ecosystem
Robust Domain Generalization for Multi-modal Object Recognition
Parameter-Aware Ensemble SINDy for Interpretable Symbolic SGS Closure
Type-theoretical natural language semantics: on the system F for meaning assembly
In Generative AI We (Dis)Trust? Computational Analysis of Trust and Distrust in Reddit Discussions
Population Transformer: Learning Population-level Representations of Intracranial Activity
Visualising Emotional Landmarks in Cities
Joint Object and Part Segmentation using Deep Learned Potentials
LEREL: Lipschitz Continuity-Constrained Emotion Recognition Ensemble Learning For Electroencephalography
Privacy Auditing of Multi-domain Graph Pre-trained Model under Membership Inference Attacks
Bridging Classical and Quantum: Group-Theoretic Approach to Quantum Circuit Simulation
Small-Gain Nash: Certified Contraction to Nash Equilibria in Differentiable Games
Energy stable and momentum conserving interface stabilised finite element method for the incompressible Navier-Stokes equations
An empirical study on large scale text classification with skip-gram embeddings
(Fact) Check Your Bias
Graded Monads in the Semantics of Nominal Automata
Secret Key Generation Through a Relay
Joins of Hypergraphs and Their Spectra
Learning Goal-based Movement via Motivational-based Models in Cognitive Mobile Robots
A novel application for real-time arrhythmia detection using YOLOv8
Robust Cross-domain CT Image Reconstruction via Bayesian Noise Uncertainty Alignment
Shedding Light on the Adoption of Let's Encrypt
Multi-Scale Semantics-Guided Neural Networks for Efficient Skeleton-Based Human Action Recognition
Detecting individual internal displacements following a sudden-onset disaster using time series analysis of call detail records
Finding the right XAI method - A Guide for the Evaluation and Ranking of Explainable AI Methods in Climate Science
Cognitive-driven convolutional beamforming using EEG-based auditory attention decoding
Physics-informed Neural Network Modelling and Predictive Control of District Heating Systems
mCLARI: a shape-morphing insect-scale robot capable of omnidirectional terrain-adaptive locomotion in laterally confined spaces
CISCA and CytoDArk0: a Cell Instance Segmentation and Classification method for histo(patho)logical image Analyses and a new, open, Nissl-stained dataset for brain cytoarchitecture studies
Semi-discrete multi-to -one dimensional variational problems
On the Capacity of MISO Channels with One-Bit ADCs and DACs
Disentangling 3D Pose in A Dendritic CNN for Unconstrained 2D Face Alignment
On the Reachability of Networked Systems
Certain Bayesian Network based on Fuzzy knowledge Bases
An oscillation free local discontinuous Galerkin method for nonlinear degenerate parabolic equations
Splitting schemes for unsteady problems involving the grad-div operator
Quickest Search Over Multiple Sequences with Mixed Observations
Fast and Accurate Reconstruction of Compressed Color Light Field
DRASP: A Dual-Resolution Attentive Statistics Pooling Framework for Automatic MOS Prediction
A Dataset Generation Scheme Based on Video2EEG-SPGN-Diffusion for SEED-VD
Connecting the Persian-speaking World through Transliteration
Deep Ritz method for the spectral fractional Laplacian equation using the Caffarelli-Silvestre extension
Minimum Weight Euclidean t-spanner is NP-Hard
Cyber-Attack Detection in Discrete Nonlinear Multi-Agent Systems Using Neural Networks
Path Pooling: Train-Free Structure Enhancement for Efficient Knowledge Graph Retrieval-Augmented Generation
Parameter Synthesis Problems for one parametric clock Timed Automata
Incentive Mechanism Design for Federated Learning: Hedonic Game Approach
Instance Segmentation and Teeth Classification in Panoramic X-rays
Asking for Help Enables Safety Guarantees Without Sacrificing Effectiveness
Simulation Studies on Deep Reinforcement Learning for Building Control with Human Interaction
SuperCell: A Wide-Area Coverage Solution Using High-Gain, High-Order Sectorized Antennas on Tall Towers
High-Resolution Image Editing via Multi-Stage Blended Diffusion
Liber Mathematicae: A Web-Based Documentation and Collaboration Project for Mathematics
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings)
Reliable, Routable, and Reproducible: Collection of Pedestrian Pathways at Statewide Scale
Post Quantum Cryptography: Techniques, Challenges, Standardization, and Directions for Future Research
Reactive, Proactive, and Inductive Agents: An evolutionary path for biological and artificial spiking networks
Choreographies, Divided and Conquered
Persistent and Zigzag Homology: A Matrix Factorization Viewpoint
A Survey of Sustainability in Large Language Models: Applications, Economics, and Challenges
HEXA-MoE: Efficient and Heterogeneous-aware MoE Acceleration with ZERO Computation Redundancy
A proof of P != NP (New symmetric encryption algorithm against any linear attacks and differential attacks)
Estimation of Driver's Gaze Region from Head Position and Orientation using Probabilistic Confidence Regions
Emergency Response Inference Mapping (ERIMap): A Bayesian Network-based Method for Dynamic Observation Processing in Spatially Distributed Emergencies
Wireless Information and Energy Transfer for Decode-and-Forward Relying MIMO-OFDM Networks
Meshfree Methods on Manifolds for Hydrodynamic Flows on Curved Surfaces: A Generalized Moving Least-Squares (GMLS) Approach
Trading off Consistency and Dimensionality of Convex Surrogates for the Mode
Leveraging band diversity for feature selection in EO data
Homogeneous Wavelets and Framelets with the Refinable Structure
A Robust Power Model Training Framework for Cloud Native Runtime Energy Metric Exporter
Bio-inspired Rhythmic Locomotion in a Six-Legged Robot
Unsupervised word segmentation and lexicon discovery using acoustic word embeddings
Towards Comparative Physical Interpretation of Spatial Variability Aware Neural Networks: A Summary of Results
Galaxy-X: A Novel Approach for Multi-class Classification in an Open Universe
AADNet: An End-to-End Deep Learning Model for Auditory Attention Decoding
A.S.E: A Repository-Level Benchmark for Evaluating Security in AI-Generated Code
Learning Safe and Stable Motion Plans with Neural Ordinary Differential Equations
Saturated Drawings of Geometric Thickness k
Mitigating Procrastination in Crowdsourcing Via Efficient Scheduling Algorithm
Towards Annotation-Free Evaluation of Cross-Lingual Image Captioning
Applying Deep Reinforcement Learning to the HP Model for Protein Structure Prediction
Synthesizing Scientific Summaries: An Extractive and Abstractive Approach
Prepartition: Paradigm for the Load Balance of Virtual Machine Allocation in Data Centers
Vyākarana: A Colorless Green Benchmark for Syntactic Evaluation in Indic Languages
Leveraging Author-Specific Context for Scientific Figure Caption Generation: 3rd SciCap Challenge
Tracklet Association Tracker: An End-to-End Learning-based Association Approach for Multi-Object Tracking
Benchmarking preconditioned boundary integral formulations for acoustics
HiFusion: Hierarchical Intra-Spot Alignment and Regional Context Fusion for Spatial Gene Expression Prediction from Histopathology
Improving the Equation of Exchange for Cryptoasset Valuation Using Empirical Data
Electric Network Frequency Optical Sensing Devices
Scaling Reasoning, Losing Control: Evaluating Instruction Following in Large Reasoning Models
A Non Parametric Study of the Volatility of the Economy as a Country Risk Predictor
Cardiac and extracardiac discharge diagnosis prediction from emergency department ECGs using deep learning
MIR2: Towards Provably Robust Multi-Agent Reinforcement Learning by Mutual Information Regularization
Sound Matching an Analogue Levelling Amplifier Using the Newton-Raphson Method
Markov Decision Process Design: A Framework for Integrating Strategic and Operational Decisions
Communication-Efficient Soft Actor-Critic Policy Collaboration via Regulated Segment Mixture in Internet of Vehicles
The Unintended Consequences of Overfitting: Training Data Inference Attacks
Developing Effective Community Network Analysis Tools According to Visualization Psychology
A Report on Achieving Complete Regular-Expression Matching using Mealy Machines
Dynamic Spectrum Sharing in the Age of Millimeter Wave Spectrum Access
Resilience to the Flowing Unknown: an Open Set Recognition Framework for Data Streams
LLM-ABR: Designing Adaptive Bitrate Algorithms via Large Language Models
AugGen: Synthetic Augmentation Can Improve Discriminative Models
Quantifying the Value of Seismic Structural Health Monitoring for post-earthquake recovery of electric power system in terms of resilience enhancement
Interactive Overlays: A New Method for Generating Global Journal Maps from Web-of-Science Data
The mixed discontinuous Galerkin method for the Oseen eigenvalue problem
Advancing NLP Models with Strategic Text Augmentation: A Comprehensive Study of Augmentation Methods and Curriculum Strategies
Actors vs Shared Memory: two models at work on Big Data application frameworks
FNPF-SEM: A parallel spectral element model in Firedrake for fully nonlinear water wave simulations
ALF - A Fitness-Based Artificial Life Form for Evolving Large-Scale Neural Networks
Analysis of Random Sequential Message Passing Algorithms for Approximate Inference
PD-DWI: Predicting response to neoadjuvant chemotherapy in invasive breast cancer with Physiologically-Decomposed Diffusion-Weighted MRI machine-learning model
ISO/IEC-Compliant Match-on-Card Face Verification with Short Binary Templates
Practice Makes Perfect: Planning to Learn Skill Parameter Policies
Rewriting History: Repurposing Domain-Specific CGRAs
Traversability Aware Autonomous Navigation for Multi-Modal Mobility Morphobot (M4)
Seeing is Believing (and Predicting): Context-Aware Multi-Human Behavior Prediction with Vision Language Models
2022 Flood Impact in Pakistan: Remote Sensing Assessment of Agricultural and Urban Damage
Smoothed Inference for Adversarially-Trained Models
Multinomial Logistic Regression Algorithms via Quadratic Gradient
New self-dual additive $\mathbb{F}_4$-codes constructed from circulant graphs
RefQSR: Reference-based Quantization for Image Super-Resolution Networks
Abusive Advertising: Scrutinizing socially relevant algorithms in a black box analysis to examine their impact on vulnerable patient groups in the health sector
Split-by-edges trees
THINK: A Novel Conversation Model for Generating Grammatically Correct and Coherent Responses
Frugal Colouring of Graphs
Hashing for Similarity Search: A Survey
Dynamic Prioritization and Adaptive Scheduling using Deep Deterministic Policy Gradient for Deploying Microservice-based VNFs
When Distributed Consensus Meets Wireless Connected Autonomous Systems: A Review and A DAG-based Approach
GeoTree: a data structure for constant time geospatial search enabling a real-time mix-adjusted median property price index
On Stochastic Variance Reduced Gradient Method for Semidefinite Optimization
Confidence Conditioned Knowledge Distillation
PaMMA-Net: Plasmas magnetic measurement evolution based on data-driven incremental accumulative prediction
Categorical Equivalences from State-Effect Adjunctions
Coevolution of Network Structure and Content
Spatially Controlled Relay Beamforming: $2$-Stage Optimal Policies
Exploring Data-Efficient 3D Scene Understanding with Contrastive Scene Contexts
Benchmarking White Blood Cell Classification Under Domain Shift
Evolving parametrized Loss for Image Classification Learning on Small Datasets
Why Compress What You Can Generate? When GPT-4o Generation Ushers in Image Compression Fields
A Fuzzy View on k-Means Based Signal Quantization with Application in Iris Segmentation
A Multi-modal Approach to Single-modal Visual Place Classification
ColluEagle: Collusive review spammer detection using Markov random fields
A Study of Metrics of Distance and Correlation Between Ranked Lists for Compositionality Detection
Exact Algorithms for Solving Stochastic Games
Error Analysis of Kernel/GP Methods for Nonlinear and Parametric PDEs
DOEI: Dual Optimization of Embedding Information for Attention-Enhanced Class Activation Maps
Denoise-I2W: Mapping Images to Denoising Words for Accurate Zero-Shot Composed Image Retrieval
Representation Extraction and Deep Neural Recommendation for Collaborative Filtering
Multi-modal Tracking for Object based SLAM
Comparing Attention-based Convolutional and Recurrent Neural Networks: Success and Limitations in Machine Reading Comprehension
MetaBreak: Jailbreaking Online LLM Services via Special Token Manipulation
Enhancing Federated Learning with spectrum allocation optimization and device selection
AAM-Gym: Artificial Intelligence Testbed for Advanced Air Mobility
Gating is Weighting: Understanding Gated Linear Attention through In-context Learning
Duality between density function and value function with applications in constrained optimal control and Markov Decision Process
A scalable H-matrix approach for the solution of boundary integral equations on multi-GPU clusters
Towards Autotuning of OpenMP Applications on Multicore Architectures