yusuke1997/dblp-id-title huggingface dataset:
On the geometry of k -SAT solutions: what more can PPZ and Schöning's algorithms do?
Retrosynthetic reaction prediction using neural sequence-to-sequence models
Implementing a Logical Inference System for Japanese Comparatives
Invariant Risk Minimisation for Cross-Organism Inference: Substituting Mouse Data for Human Data in Human Risk Factor Discovery
Reduced Switching Connectivity for Power-Efficient Large Scale Antenna Selection
Interactive Multi-Objective Evolutionary Optimization of Software Architectures
Collision Avoidance of 3-Dimensional Objects in Dynamic Environments
Context-Preserving Gradient Modulation for Large Language Models: A Novel Approach to Semantic Consistency in Long-Form Text Generation
Potential Function-based Framework for Making the Gradients Small in Convex and Min-Max Optimization
GPU-Based Interactive Visualization of Billion Point Cosmological Simulations
Dense Urban Channel Measurements for Utility Pole Fixed Wireless Links
Overview of RIS-Enabled Secure Transmission in 6G Wireless Networks
Deciding twin-width at most 4 is NP-complete
SoK: Gradient Leakage in Federated Learning
Aplicação de Large Language Models na Análise e Síntese de Documentos Jurídicos: Uma Revisão de Literatura
An Analysis of Action-Value Temporal-Difference Methods That Learn State Values
Closeness Centrality via the Condorcet Principle
Reparameterizing 4DVAR with neural fields
Generating Semantic Adversarial Examples via Feature Manipulation
Teola: Towards End-to-End Optimization of LLM-based Applications
Entanglement as an axiomatic foundation for statistical mechanics
Testing C k -freeness in bounded-arboricity graphs
Optimal Invariant Bases for Atomistic Machine Learning
Security Framework for IoT Devices against Cyber-Attacks
The Executable Digital Twin: merging the digital and the physics worlds
OATH: Efficient and Flexible Zero-Knowledge Proofs of End-to-End ML Fairness
Decouple to Reconstruct: High Quality UHD Restoration via Active Feature Disentanglement and Reversible Fusion
Superconvergent P1 honeycomb virtual elements and lifted P3 solutions
A study on the invariance in security whatever the dimension of images for the steganalysis by deep-learning
Learning in the Model Space for Fault Diagnosis
Attend and Diagnose: Clinical Time Series Analysis using Attention Models
Geoglyphs of Titicaca as an ancient example of graphic design
Abstract Geometrical Computation 8: Small Machines, Accumulations and Rationality
A continuous rating method for preferential voting. The complete case
Co-learning Planning and Control Policies Using Differentiable Formal Task Constraints
Online and Predictive Warning System for Forced Lane Changes using Risk Maps
Open the Black Box Data-Driven Explanation of Black Box Decision Systems
Sentiment-enhanced Multidimensional Analysis of Online Social Networks: Perception of the Mediterranean Refugees Crisis
Beyond the C: Retargetable Decompilation using Neural Machine Translation
Discrete Choice Multi-Armed Bandits
Multimodal Learning With Intraoperative CBCT & Variably Aligned Preoperative CT Data To Improve Segmentation
Differentiable Integrated Motion Prediction and Planning with Learnable Cost Function for Autonomous Driving
DRMC: A Generalist Model with Dynamic Routing for Multi-Center PET Image Synthesis
Performance Evaluation for MIMO In Vivo WBAN Systems
Attention improves concentration when learning node embeddings
Self-Supervised Learning in Electron Microscopy: Towards a Foundation Model for Advanced Image Analysis
Calcium Vulnerability Scanner (CVS): A Deeper Look
Revisiting wireless network jamming by SIR-based considerations and Multiband Robust Optimization
HeRAFC: Heuristic Resource Allocation and Optimization in MultiFog-Cloud Environment
Physics-Guided, Physics-Informed, and Physics-Encoded Neural Networks in Scientific Computing
A normal form for grid forming power grid components
Statistical NLP for Optimization of Clinical Trial Success Prediction in Pharmaceutical R&D
The word and order problems for self-similar and automata groups
Modeling Object Oriented Constraint Programs in Z
Maritime situational awareness using adaptive multi-sensor management under hazy conditions
Graph data augmentation with Gromow-Wasserstein Barycenters
Energy efficient mining on a quantum-enabled blockchain using light
Learning Sample Reweighting for Accuracy and Adversarial Robustness
Cryptocurrency Valuation: An Explainable AI Approach
Three-chromatic geometric hypergraphs
Constituent automorphism decoding of Reed-Muller codes
A FAIR and Free Prompt-based Research Assistant
A summary of the prevalence of Genetic Algorithms in Bioinformatics from 2015 onwards
A Monte Carlo Approach to Closing the Reality Gap
Low-cost analog signal chain for transmit-receive circuits of passive induction-based resonators
Privacy-Preserving Recommender Systems Challenge on Twitter's Home Timeline
Sentiment Analysis: Predicting Yelp Scores
Prior image-based medical image reconstruction using a style-based generative adversarial network
Designing AI-Enabled Games to Support Social-Emotional Learning for Children with Autism Spectrum Disorders
DigiVoice: Voice Biomarker Featurization and Analysis Pipeline
LI-GS: Gaussian Splatting with LiDAR Incorporated for Accurate Large-Scale Reconstruction
ALGAN: Time Series Anomaly Detection with Adjusted-LSTM GAN
Trust, Professional Vision and Diagnostic Work
A Locally Adapting Technique for Boundary Detection using Image Segmentation
Jumping champions and prime gaps using information-theoretic tools
NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool
A Comprehensive Survey on Integrating Large Language Models with Knowledge-Based Methods
A Simple Discrete-Time Survival Model for Neural Networks
The proximal distance algorithm
Nonlinear Controller Design for a Quadrotor with Inverted Pendulum
LPVcore: MATLAB Toolbox for LPV Modelling, Identification and Control
XMUSPEECH System for VoxCeleb Speaker Recognition Challenge 2021
On the Reduction of the Spherical Point-in-Polygon Problem for Antipode-Excluding Spherical Polygons
Unsupervised Word Translation Pairing using Refinement based Point Set Registration
Disentangling Neural Disjunctive Normal Form Models
A Formalisation of a Fast Fourier Transform
Are Chatbots Ready for Privacy-Sensitive Applications? An Investigation into Input Regurgitation and Prompt-Induced Sanitization
What Doubling Tricks Can and Can't Do for Multi-Armed Bandits
X-LoRa: An Open Source LPWA Network
An Efficient Method Based on Genetic Algorithms to Solve Sensor Network Optimization Problem
Efficient HDR Reconstruction from Real-World Raw Images
Monitoring Performance Metrics is not Enough to Detect Side-Channel Attacks on Intel SGX
Distributed Unknown Input Observers for Discrete-Time Linear Time-Invariant Systems
Quantifying Distribution Shift in Traffic Signal Control with Histogram-Based GEH Distance
FarsBase-KBP: A Knowledge Base Population System for the Persian Knowledge Graph
Dimensionality Increment of PMU Data for Anomaly Detection in Low Observability Power Systems
Energy Optimized Robot Arm Path Planning using Differential Evolution in Dynamic Environment
Distributed MIMO Systems with Oblivious Antennas
Finite matrix multiplication algorithms from infinite groups
Model-Agnostic Structured Sparsification with Learnable Channel Shuffle
A New Look at Generalized Orthogonal Matching Pursuit: Stable Signal Recovery under Measurement Noise
On the Robustness of Signal Characteristic-Based Sender Identification
Computation of Jacobi sums of order l 2 and 2l 2 with prime l
Optimal Importance Sampling via Stochastic Optimal Control for Stochastic Reaction Networks
Cleaning English Abstracts of Scientific Publications
Compressed sensing reconstruction using Expectation Propagation
PILAE: A Non-gradient Descent Learning Scheme for Deep Feedforward Neural Networks
A fast algorithm on average for solving the Hamilton Cycle problem
YOLOpeds: Efficient Real-Time Single-Shot Pedestrian Detection for Smart Camera Applications
Sufficient Conditions for Observability in Electrocardiography Problem
Sizing Battery Energy Storage and PV System in an Extreme Fast Charging Station Considering Uncertainties and Battery Degradation
Stream Differential Equations: Specification Formats and Solution Methods
CathAction: A Benchmark for Endovascular Intervention Understanding
Study of Polarization-Driven Shortening for Polar Codes Designed with the Gaussian Approximation
Wigner-Smith Time Delay Matrix for Acoustic Scattering: Computational Aspects
Analysing the coverage of the University of Bologna's publication metadata in an existing source of open research information
Robust Deep AUC Maximization: A New Surrogate Loss and Empirical Studies on Medical Image Classification
Virtual birefringence imaging and histological staining of amyloid deposits in label-free tissue using autofluorescence microscopy and deep learning
Projective Integration Methods in the Runge-Kutta Framework and the Extension to Adaptivity in Time
A Random Access G-Network: Stability, Stable Throughput, and Queueing Analysis
Partial Spread and Vectorial Generalized Bent Functions
Proceedings 12th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023
Cycle Detection in Computation Tree Logic
Adoção de Social CRM em Micro e Pequenas Empresas: Uma Análise do Mercado Santareno
Minimum Eccentric Connectivity Index for Graphs with Fixed Order and Fixed Number of Pending Vertices
Multi-Image Matching via Fast Alternating Minimization
Attention Condensation via Sparsity Induced Regularized Training
Accelerated Approximation of the Complex Roots and Factors of a Univariate Polynomial
Towards Closing the Loop in Robotic Pollination for Indoor Farming via Autonomous Microscopic Inspection
Recognizing Lawyers as AI Creators and Intermediaries in Contestability
The Discrete Fréchet Distance with Shortcuts via Approximate Distance Counting and Selection Techniques
Rethinking BPS: A Utility-Based Evaluation Framework
FL-DABE-BC: A Privacy-Enhanced, Decentralized Authentication, and Secure Communication for Federated Learning Framework with Decentralized Attribute-Based Encryption and Blockchain for IoT Scenarios
TS-LLaVA: Constructing Visual Tokens through Thumbnail-and-Sampling for Training-Free Video Large Language Models
Malicious Software Detection and Classification utilizing Temporal-Graphs of System-call Group Relations
A Low-complexity Structured Neural Network Approach to Intelligently Realize Wideband Multi-beam Beamformers
Coherence-driven inference for cybersecurity
Simulating H.P. Lovecraft horror literature with the ChatGPT large language model
Evidence of equilibrium dynamics in human social networks evolving in time
Enhanced Computationally Efficient Long LoRA Inspired Perceiver Architectures for Auto-Regressive Language Modeling
Artificial Intelligence Applications in Horizon Scanning for Infectious Diseases
It's a Feature, Not a Bug: Measuring Creative Fluidity in Image Generators
Analysis of the South Slavic Scripts by Run-Length Features of the Image Texture
Randomization matters. How to defend against strong adversarial attacks
Development of an Automated Web Application for Efficient Web Scraping: Design and Implementation
Fast and accurate normalization of vectors and quaternions
Explicit agreement extremes for a $2\times2$ table with given marginals
An Efficient Routing Protocol for Secured Communication in Cognitive Radio Sensor Networks
Real-time policy generation and its application to robot grasping
A Survey of Decentralized Online Learning
Beam-Guided Knowledge Replay for Knowledge-Rich Image Captioning using Vision-Language Model
Unsupervised record matching with noisy and incomplete data
An Analysis of Sentential Neighbors in Implicit Discourse Relation Prediction
Sampling-based Planning of In-Hand Manipulation with External Pushes
Physics-Informed Neural Nets-based Control
Semantic Enhanced Knowledge Graph for Large-Scale Zero-Shot Learning
Some Closed Classes of Three-Valued Logic Generated by Periodic Symmetric Functions
On filter design in deep convolutional neural network
Robustness to Multi-Modal Environment Uncertainty in MARL using Curriculum Learning
Robust Bayesian Inference for Discrete Outcomes with the Total Variation Distance
Five Key Enablers for Communication during and after Disasters
Challenges and Advancements in Modeling Shock Fronts with Physics-Informed Neural Networks: A Review and Benchmarking Study
DLBCL-Morph: Morphological features computed using deep learning for an annotated digital DLBCL image set
Final Results from and Exploitation Plans for MammoGrid
A Divide and Conquer Approximation Algorithm for Partitioning Rectangles
Impact of Power System Partitioning on the Efficiency of Distributed Multi-Step Optimization
On Symmetric Gauss-Seidel ADMM Algorithm for H ∞ Guaranteed Cost Control with Convex Parameterization
Plug-and-Play Grounding of Reasoning in Multimodal Large Language Models
PANDORA: Diffusion Policy Learning for Dexterous Robotic Piano Playing
TBDM-Net: Bidirectional Dense Networks with Gender Information for Speech Emotion Recognition
Efficient delivery of Robotics Programming educational content using Cloud Robotics
Implementing a Unification Algorithm for Protocol Analysis with XOR
Collective Adaptive Systems: Challenges Beyond Evolvability
Fourier Series and Transforms via Convolution
Predictive Models in Sequential Recommendations: Bridging Performance Laws with Data Quality Insights
RIS: Regularized Imaging Spectroscopy for STIX on-board Solar Orbiter
Is my attack tree correct? Extended version
Fully Automated Pancreas Segmentation with Two-stage 3D Convolutional Neural Networks
Efficient Robust Mean Value Calculation of 1D Features
Personalized Speech Enhancement: New Models and Comprehensive Evaluation
Transportation Proof of an inequality by Anantharam, Jog and Nair
Newvision: application for helping blind people using deep learning
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Syndrome-Coupled Rate-Compatible Error-Correcting Codes
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport
Gaussian process deconvolution
Mechanism Design for Value Maximizers
Water Disaggregation via Shape Features based Bayesian Discriminative Sparse Coding
Rényi Resolvability, Noise Stability, and Anti-contractivity
Joint Time-Vertex Fractional Fourier Transform
A novel distributed secondary frequency regulation scheme for power networks with high order turbine governor dynamics
Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data II: Rigorous Numerics
DisCo: Remedy Self-supervised Learning on Lightweight Models with Distilled Contrastive Learning
Optimal Workplace Occupancy Strategies during the COVID-19 Pandemic
Logic of subjective probability
Decaying momentum helps neural network training
EVA-Net: Interpretable Anomaly Detection for Brain Health via Learning Continuous Aging Prototypes from One-Class EEG Cohorts
Summarizing Normative Driving Behavior From Large-Scale NDS Datasets for Vehicle System Development
Stable Inverse Reinforcement Learning: Policies from Control Lyapunov Landscapes
Using multi-agent architecture to mitigate the risk of LLM hallucinations
A Comparison of Human and Machine Learning Errors in Face Recognition
Best Linear Unbiased Estimate from Privatized Histograms
Can You Fool AI by Doing a 180? - A Case Study on Authorship Analysis of Texts by Arata Osada
A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems
Space-time isogeometric method for a linear fourth order time dependent problem
L2M-Calib: One-key Calibration Method for LiDAR and Multiple Magnetic Sensors
The role of logical interpretations in program development
Superfast 1-Norm Estimation
Network Inference from Consensus Dynamics with Unknown Parameters
Bagged Polynomial Regression and Neural Networks
Is Leakage Power a Linear Function of Temperature?
HI-SLAM: Monocular Real-time Dense Mapping with Hybrid Implicit Fields
LiDAttack: Robust Black-box Attack on LiDAR-based Object Detection
Self-Supervised Conditional Distribution Learning on Graphs
Oh F**k! How Do People Feel about Robots that Leverage Profanity?
Characterizing User Mobility in Second Life
Spatio-seasonal risk assessment of upward lightning at tall objects using meteorological reanalysis data
Dynamic Discrete Tomography
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction
Fibonacci Graphs and their Expressions
Quantum Advantage and Y2K Bug: Comparison
On Evaluating Commercial Cloud Services: A Systematic Review
Physical Layer Security of RIS-Assisted Communications under Electromagnetic Interference
A Flexible Channel Coding Approach for Short-Length Codewords
Learning to detect cloud and snow in remote sensing images from noisy labels
The stochastic digital human is now enrolling for in silico imaging trials - Methods and tools for generating digital cohorts
The d * -space
Productively Expressing High-performance Spatial Designs of Givens Rotation-based QR Decomposition Algorithm
Stabilization-Free Virtual Element Methods
Information Systems Development and Evolution: A replication study on work distribution in Norwegian Organizations
Model Checking of Boolean Process Models
Critical Points of Neural Networks: Analytical Forms and Landscape Properties
Enumerating All Maximal Clique-Partitions of an Undirected Graph
Implementation of RPL in OMNeT++
Finetuning LLMs for Human Behavior Prediction in Social Science Experiments
On the molecular mechanism behind the bubble rise velocity jump discontinuity in viscoelastic liquids
Deployability-Centric Infrastructure-as-Code Generation: An LLM-based Iterative Framework
Design and Validation of a Bimanual Haptic Epidural Needle Insertion Simulator
A Robust Diarization System for Measuring Dominance in Peer-Led Team Learning Groups
Maximum bound principles for a class of semilinear parabolic equations and exponential time differencing schemes
Simultaneously Transmitting and Reflecting RIS (STAR-RIS) Assisted Multi-Antenna Covert Communications: Analysis and Optimization
PADAM: Parallel averaged Adam reduces the error for stochastic optimization in scientific machine learning
Searching for Voltage Graph-Based LDPC Tailbiting Codes with Large Girth
Certified Mitigation of Worst-Case LLM Copyright Infringement
'Computing' as Information Compression by Multiple Alignment Unification and Search
Local Score Dependent Model Explanation for Time Dependent Covariates
Anticipating Moves to Prevent Botnet Generated DDoS Flooding Attacks
Termination of rewrite relations on $λ$-terms based on Girard's notion of reducibility
The Delay-Insensitivity, the Hazard-Freedom, the Semi-Modularity and the Technical Condition of Good Running of the Discrete Time Asynchronous Automata
EXMOS: Explanatory Model Steering Through Multifaceted Explanations and Data Configurations
Comparing Toxicity Across Social Media Platforms for COVID-19 Discourse
Where2Start: Leveraging initial States for Robust and Sample-Efficient Reinforcement Learning
Online non-convex optimization with imperfect feedback
Decoupling Hierarchical Recurrent Neural Networks With Locally Computable Losses
Infinite Server Queueing Networks with Deadline Based Routing
Synthesis of AMBA AHB from Formal Specification
Numbers as Data Structures: The Prime Successor Function as Primitive
AB-Mapper: Attention and BicNet Based Multi-agent Path Finding for Dynamic Crowded Environment
On the Expressive Power of Neural Networks
Zero-shot Volumetric CT Super-Resolution using 3D Gaussian Splatting with Upsampled 2D X-ray Projection Priors
Characterization and Construction of a Family of Highly Symmetric Spherical Polyhedra with Application in Modeling Self-Assembling Structures
Stability Analysis and Controller Design for a Linear System with Duhem Hysteresis Nonlinearity
High Spectral Spatial Resolution Synthetic HyperSpectral Dataset form multi-source fusion
Semantic Guidance and Feedback for the Construction of Specifications and Implementations
A sparse approximate inverse for triangular matrices based on Jacobi iteration
PDSketch: Integrated Planning Domain Programming and Learning
Probabilistic PolarGMM: Unsupervised Cluster Learning of Very Noisy Projection Images of Unknown Pose
GoMS: Graph of Molecule Substructure Network for Molecule Property Prediction
Semiconductor Industry Trend Prediction with Event Intervention Based on LSTM Model in Sentiment-Enhanced Time Series Data
Reference-based Image Super-Resolution with Deformable Attention Transformer
Doubly Regularized Entropic Wasserstein Barycenters
Automated Huntington's Disease Prognosis via Biomedical Signals and Shallow Machine Learning
An Actor-Critic Contextual Bandit Algorithm for Personalized Mobile Health Interventions
Resolving Scale Ambiguity Via XSlit Aspect Ratio Analysis
Out-of-distribution Evidence-aware Fake News Detection via Dual Adversarial Debiasing
Sampling error mitigation through spectrum smoothing in ensemble data assimilation
Class dependency based learning using Bi-LSTM coupled with the transfer learning of VGG16 for the diagnosis of Tuberculosis from chest x-rays
JooFlux : modification de code à chaud et injection d'aspects directement dans une JVM 7
A comparison of smooth basis constructions for isogeometric analysis
NFResNet: Multi-scale and U-shaped Networks for Deblurring
Positivity and discretization of Fredholm integral operators
Confidence-Based Self-Training for EMG-to-Speech: Leveraging Synthetic EMG for Robust Modeling
Shield: Fast, Practical Defense and Vaccination for Deep Learning using JPEG Compression
Self-Replicating and Self-Employed Smart Contract on Ethereum Blockchain
Rank-Enhanced Low-Dimensional Convolution Set for Hyperspectral Image Denoising
Cross-language Learning with Adversarial Neural Networks: Application to Community Question Answering
Relief Impression Image Detection : Unsupervised Extracting Objects Directly From Feature Arrangements of Deep CNN
Robust semi-automatic vessel tracing in the human retinal image by an instance segmentation neural network
An Information-Theoretic Analysis of the Security of Communication Systems Employing the Encoding-Encryption Paradigm
Polarization Measurement of High Dimensional Social Media Messages With Support Vector Machine Algorithm Using Mapreduce
SASMU: boost the performance of generalized recognition model using synthetic face dataset
Lyapunov-based Adaptive Transformer (LyAT) for Control of Stochastic Nonlinear Systems
Hybrid-Vehfog: A Robust Approach for Reliable Dissemination of Critical Messages in Connected Vehicles
A mixed precision Jacobi SVD algorithm
AdaptGuard: Defending Against Universal Attacks for Model Adaptation
RIS-ADMM: An ADMM-Based Passive and Sparse Sensing Method with Interference Removal
CorticalFlow: A Diffeomorphic Mesh Deformation Module for Cortical Surface Reconstruction
Non-contact Atrial Fibrillation Detection from Face Videos by Learning Systolic Peaks
Bracketing Numbers of Convex Functions on Polytopes
The Estimation of Approximation Error using the Inverse Problem and the Set of Numerical Solutions
DELTAR: Depth Estimation from a Light-weight ToF Sensor and RGB Image
Ranking an Assortment of Products via Sequential Submodular Optimization
Superpixel-based and Spatially-regularized Diffusion Learning for Unsupervised Hyperspectral Image Clustering
Super-resolving Real-world Image Illumination Enhancement: A New Dataset and A Conditional Diffusion Model
Leveraging Large Language Models for Information Verification - an Engineering Approach
Max Entropy Moment Kalman Filter for Polynomial Systems with Arbitrary Noise
NatADiff: Adversarial Boundary Guidance for Natural Adversarial Diffusion
Polynomial convergence of iterations of certain random operators in Hilbert space
A Delay-Constrained General Achievable Rate and Certain Capacity Results for UWB Relay Channel
Wavelet Domain Residual Network (WavResNet) for Low-Dose X-ray CT Reconstruction
HexRAN: A Programmable Multi-RAT Platform for Network Slicing in the Open RAN Ecosystem
Multi-agents based User Values Mining for Recommendation