yusuke1997/dblp-id-title huggingface dataset:
Computing a Minimum Color Path in Edge-Colored Graphs
Minimum and Maximum Category Constraints in the Orienteering Problem with Time Windows
Efficient Implementation of Color Coding Algorithm for Subgraph Isomorphism Problem
An Experimental Study of Algorithms for Geodesic Shortest Paths in the Constant-Workspace Model
A Combinatorial Branch and Bound for the Min-Max Regret Spanning Tree Problem
Navigating a Shortest Path with High Probability in Massive Complex Networks
Fast Public Transit Routing with Unrestricted Walking Through Hub Labeling
Automated Deep Learning for Threat Detection in Luggage from X-Ray Images
Fixed Set Search Applied to the Minimum Weighted Vertex Cover Problem
Internal Versus External Balancing in the Evaluation of Graph-Based Number Types
Hacker's Multiple-Precision Integer-Division Program in Close Scrutiny
Approximated ZDD Construction Considering Inclusion Relations of Models
Colorful Frontier-Based Search: Implicit Enumeration of Chordal and Interval Subgraphs
On New Rebalancing Algorithm
Voronoi Diagram of Orthogonal Polyhedra in Two and Three Dimensions
Searching for Best Karatsuba Recurrences
Assessing Algorithm Parameter Importance Using Global Sensitivity Analysis
Approximation Algorithms and an Integer Program for Multi-level Graph Spanners
Efficient Split-Radix and Radix-4 DCT Algorithms and Applications
Computing Treewidth via Exact and Heuristic Lists of Minimal Separators
Analysis of Experimental Algorithms - Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers
A Machine Learning Framework for Volume Prediction
Lagrangian Relaxation in Iterated Local Search for the Workforce Scheduling and Routing Problem
Faster Biclique Mining in Near-Bipartite Graphs
A Faster Convex-Hull Algorithm via Bucketing
Analysis of Max-Min Ant System with Local Search Applied to the Asymmetric and Dynamic Travelling Salesman Problem with Moving Vehicle
Student Course Allocation with Constraints
Improved Contraction Hierarchy Queries via Perfect Stalling
Quantum-Inspired Evolutionary Algorithms for Covering Arrays of Arbitrary Strength
Unit Disk Cover for Massive Point Sets
Effective Heuristics for Matchings in Hypergraphs
k-Maximum Subarrays for Small k: Divide-and-Conquer Made Simpler
Engineering a PTAS for Minimum Feedback Vertex Set in Planar Graphs
Constraint Generation Algorithm for the Minimum Connectivity Inference Problem
The Complexity of Subtree Intersection Representation of Chordal Graphs and Linear Time Chordal Graph Generation
KGAccel: A Domain-Specific Reconfigurable Accelerator for Knowledge Graph Reasoning
Neuro-Symbolic Discovery of Markov Population Processes
Logic Gate Neural Networks are Good for Verification
Taxonomic Networks: A Representation for Neuro-Symbolic Pairing
Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
Modularity in Query-Based Concept Learning
A Tutorial on Neural Network-Based Solvers for Hyperbolic Conservation Laws: Supervised vs. Unsupervised Learning, and Applications to Traffic Modeling
Real-Time Reachability for Neurosymbolic Reinforcement Learning-based Safe Autonomous Navigation
State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems
Bidirectional End-to-End Framework for Transfer from Abstract Models in Non-Markovian Reinforcement Learning
Stochastic Neural Simulation Relations for Control Transfer
Differentiable Synthesis of Behavior Tree Architectures and Execution Nodes
Interpretable Imitation Learning via Generative Adversarial STL Inference and Control
Neurosymbolic Finite and Pushdown Automata: Improved Multimodal Reasoning versus Vision Language Models (VLMs)
Assured Autonomy with Neuro-Symbolic Perception
Learning Minimal Neural Specifications
International Conference on Neuro-symbolic Systems, 28-30 May 2025, University of Pennsylvania, Philadelphia, Pennsylvania, USA
End-to-End Navigation with Vision-Language Models: Transforming Spatial Reasoning into Question-Answering
ChatHTN: Interleaving Approximate (LLM) and Symbolic HTN Planning
Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations
Knowledge-Enriched Machine Learning for Tabular Data
Learning Formal Specifications from Membership and Preference Queries
PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis
A Study of Modus Ponens in Transformer Models
L*LM: Learning Automata from Demonstrations, Examples, and Natural Language
Efficient Processing of Neuro-Symbolic AI: A Tutorial and Cross-Layer Co-Design Case Study
Why Neural Networks Can Discover Symbolic Structures with Gradient-based Training: An Algebraic and Geometric Foundation for Neurosymbolic Reasoning
Efficient Neuro-Symbolic Policy using In-Memory Computing
Mining Causal Signal Temporal Logic Formulas for Efficient Reinforcement Learning with Temporally Extended Tasks
From Road to Code: Neuro-Symbolic Program Synthesis for Autonomous Driving Scene Translation and Analysis
Expansion Span: Combining Fading Memory and Retrieval in Hybrid State Space Models
Four Principles for Physically Interpretable World Models
Formal Synthesis of Lyapunov Stability Certificates for Linear Switched Systems using ReLU Neural Networks
Learning Subject to Constraints via Abstract Gradient Descent
A Challenge to Build Neuro-Symbolic Video Agents
Automaton-Based Representations of Task Knowledge from Generative Language Models
Neuro-Symbolic Behavior Trees (NSBTs) and Their Verification
Neuro-Symbolic Generative Diffusion Models for Physically Grounded, Robust, and Safe Generation
Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
Specification-Guided Reinforcement Learning
Observability of Latent States in Generative AI Models
Autonomous and Intelligent Systems - First International Conference, AIS 2010, Povoa de Varzim, Portugal, June 21-23, 2010. Proceedings
NoC-MPSoC Performance Estimation with Synchronous Data Flow (SDF) Graphs
Tracking control of autonomous vehicles with slippage
Smart level sensor based on thermal resistance measurement with self calibration
Autonomous Self-aligning and Self-calibrating Capacitive Sensor System
Efficient deployment algorithms for mobile sensor networks
Three-Dimensional Path-Planning for a Communications and Navigation Aid Working Cooperatively with Autonomous Underwater Vehicles
Face Recognition with Weightless Neural Networks Using the MIT Database
Adaptive Fuzzy Logic Control for Time-Delayed Bilateral Teleoperation
Thermal Dynamic Modeling and Control of Injection Moulding Process
Trends in the Control Schemes for Bilateral Teleoperation with Time Delay
Bearing Only SLAM: A New Particle Filter Based Approach
An Heterogeneous Particle Swarm Optimizer with Predator and Scout Particles
Handwriting automatic classification: Application to ancient Greek inscriptions
MobiFuzzy: A Fuzzy Library to Build Mobile DSSs for Remote Patient Monitoring
Bilateral Teleoperation System with Time Varying Communication Delay: Stability and Convergence
Fuzzy controller for three phases induction motor drives
Sensorless control for synchronous motors
Nonlinear state estimation using interval computation in PMSM state observer simulation
Human-Machine Learning for Intelligent Aircraft Systems
Haptic Data Compression Based on Curve Reconstruction
Change analysis for gait impairment quantification in smart environments
Features' Weight Learning towards Improved Query Classification
Automated planning of tutorial dialogues
Sparse VSLAM with Camera-Equipped Quadrocopter
An Interval Type-2 Fuzzy Logic System for Human Silhouette Extraction in Dynamic Environments
Automated epileptic seizure onset detection
An Efficient Scheme for Color Edge Detection in Uniform Color Space
Sufficient Conditions for Global Synchronization of Continuous Piecewise Affine Systems
Pattern-Based Trace Correlation Technique to Compare Software Versions
Detection of Edges in Color Images: A Review and Evaluative Comparison of State-of-the-Art Techniques
Argo Vehicle Simulation of Motion Driven 3D LIDAR Detection and Environment Awareness
Multi-Cue Based Place Learning for Mobile Robot Navigation
Survey on team tracking techniques applied to sports
Combination of Error Detection Techniques in Automatic Speech Transcription
Online Incremental Learning of Inverse Dynamics Incorporating Prior Knowledge
A Novel Voting Scheme for ROVER Using Automatic Error Detection
Enabling a dialog - A C2I infrastructure for unmanned vehicles and sensors
Accessibility of Fuzzy Control Systems
Adapting Strategies to Opponent Models in Incomplete Information Games: A Reinforcement Learning Approach for Poker
Using a randomized path planner to generate 3D task demonstrations of robot operations
Control algorithms for stable range-of-motion behaviours of a multi degree-of-freedom robot
Bio-inspired Navigation of Mobile Robots
Towards Unified Performance Metrics for Multi-robot Human Interaction Systems
Hierarchical agent-based command and control system for autonomous underwater vehicles
Towards generalized performance metrics for human-robot interaction
Diastolic Timed Vibrator: Applying Direct Vibration in Diastole to Patients with Acute Coronary Ischemia during the Pre-hospitalization Phase
Optic disc and fovea detection via multi-scale matched filters and a vessels' directional matched filter
A testbed platform for assessing human-robot verbal interaction
Intelligent Control System Design for a Class of Nonlinear Mechanical Systems
Market-Based Framework for Mobile Surveillance Systems
P300 Speller Efficiency with Common Average Reference
Building a No Limit Texas Hold'em Poker Agent Based on Game Logs Using Supervised Learning
Autonomous and Intelligent Systems - Second International Conference, AIS 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings
Hybrid derivative-free EKF for USBL/INS tightly-coupled integration in AUV
Enhancement of the ROVER's Voting Scheme Using Pattern Matching
Thermal localization
Tactical Resource Planner for Workforce Allocation in Telecommunications
Autonomous Haulage Systems - Justification and Opportunity
Small Tree Probabilistic Roadmap Planner for Hyper-Redundant Manipulators
Augmented HE-Book: A Multimedia Based Extension to Support Immersive Reading Experience
Path planning for cooperative underwater range-only navigation using a single beacon
Experimental Comparison of Model-Based and Model-Free Output Feedback Control System for Robot Manipulators
An Interval Type-2 Fuzzy Logic System for the Modeling and Prediction of Financial Applications
Vehicular Ad-hoc Networks(VANETs): Capabilities, Challenges in Context-Aware Processing and Communication Gateway
Learning inverse dynamics for redundant manipulator control
Segmentation of fingerprint image by using polarimetric feature
Global Optimal Path Planning for Mobile Robots Based on Hybrid Approach with High Diversity and Memorization
Detecting Natural Gas Leaks Using Digital Images and Novelty Filters
A Fuzzy Logic Approach for Indoor Mobile Robot Navigation Using UKF and Customized RFID Communication
Question Type Classification Using a Part-of-Speech Hierarchy
Vehicular Ad-hoc Networks(VANETs): Capabilities, Challenges in Information Gathering and Data Fusion
Spatially Correlated Multi-modal Wireless Sensor Networks: A Coalitional Game Theoretic Approach
Toward Opportunistic Collaboration in Target Pursuit Problems
Cluster based wireless sensor network routings using Artificial Bee Colony Algorithm
A dynamic programming approach for the control of autonomous vehicles on planar motion
Analysis of Future Measurement Incorporation into Unscented Predictive Motion Planning
P-Map: An Intuitive Plot to Visualize, Understand, and Compare Variable-Gain PI Controllers
Modeling control situations in power system operations
Environment mapping using probabilistic quadtree for the guidance and control of autonomous mobile robots
Relay Node Positioning in Wireless Sensor Networks by Means of Evolutionary Techniques
Signal Processing and Pattern Recognition for Eddy Current Sensors, Used for Effective Land-Mine Detection
Systems combination in large vocabulary continuous speech recognition
Predicting the time to localized muscle fatigue using ANN and evolved sEMG feature
A software framework for multi-agent control of multiple autonomous underwater vehicles for underwater mine counter-measures
Nonlinear Maneuvering Control of Rigid Formations of Fixed Wing UAVs
Face Recognition Based on Kernelized Extreme Learning Machine
Exploring Wikipedia's Category Graph for Query Classification
Autonomous MEMS Inclinometer
A Multi-agent Framework with MOOS-IvP for Autonomous Underwater Vehicles with Sidescan Sonar Sensors
Search-and-Rescue-Operation with an Autonomously Acting Rescue Boat
Methods for acceleration of learning process of Reinforcement Learning Neuro-Fuzzy Hierarchical Politree model
A Novel Template Matching Approach to Speaker-Independent Arabic Spoken Digit Recognition
Autonomous Manipulation Combining Task Space Control with Recursive Field Estimation
Automatic Planning in a Robotized Cell
Indoor robot navigation through intelligent processing of RFID signal measurements
Extreme Learning Machine with Adaptive Growth of Hidden Nodes and Incremental Updating of Output Weights
Job Shop Scheduling with Transportation Delays and Layout Planning in Manufacturing Systems: A Multi-objective Evolutionary Approach
Redundant Reader Elimination Approaches for RFID Networks
Applying anti-flocking model in mobile surveillance systems
Refractive error detection via group sparse representation
Developing a Secure Distributed OSGi Cloud Computing Infrastructure for Sharing Health Records
A decision model of stroke patient rehabilitation with augmented reality-based games
Low Noise CMOS Chopper Amplifier for MEMS Gas Sensor
Evaluating approaches to adaptive landscape visualization construction
Cooperation in distributed surveillance
Reallocations in teams of UAVs using dynamic programming and mixed initiative interactions
Efficient deployment of connected sensing devices using circle packing algorithms
Velocity Measurement for Moving Surfaces by Using Spatial Filtering Technique Based on Array Detectors
Fading Compensation for Improved Indoor RF Tracking Based on Redundant RSS Readings
Autonomous and Intelligent Systems - Third International Conference, AIS 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings
Modeling Reliability in Wireless Sensor Networks
Detection and Tracking of Multiple Similar Objects Based on Color-Pattern
Have You Merged My Model? On The Robustness of Large Language Model IP Protection Methods Against Model Merging
Proceedings of the 1st ACM Workshop on Large AI Systems and Models with Privacy and Safety Analysis, LAMPS 2024, Salt Lake City, UT, USA, October 14-18, 2024
CryptoTrain: Fast Secure Training on Encrypted Dataset
ThreatKG: An AI-Powered System for Automated Open-Source Cyber Threat Intelligence Gathering and Management
Towards Large Language Model (LLM) Forensics Using LLM-based Invocation Log Analysis
PromptRobust: Towards Evaluating the Robustness of Large Language Models on Adversarial Prompts
Adversarial Attacks to Multi-Modal Models
How to Efficiently Manage Critical Infrastructure Vulnerabilities? Toward Large Code-graph Models
"Prompter Says": A Linguistic Approach to Understanding and Detecting Jailbreak Attacks Against Large-Language Models
Mitigating Unauthorized Speech Synthesis for Voice Protection
Detection and Attribution of Diffusion Model of Character Animation Based on Spatio-Temporal Attention
TrojFair: Trojan Fairness Attacks
The Acquisition of Model-Knowledge for a Model-Driven Machine Learning Approach
An Inference Engine for Representing Multiple Theories
Knowledge Representation and Organization in Machine Learning [Workshop, 1987, Schloß Ehringerfeld, Germany]
Explanation: A Source of Guidance for Knowledge Representation
The Central Role of Explannations in DISCIPLE
Sloppy Modeling
A Knowledge-Intensive Learning System for Document Retrieval
Constructing Expert Systems as Building Mental Models or Toward a Cognitive Ontology for Expert Systems
Demand-Driven Concept Formation
Knowledge Base Refinement Using Apprenticeship Learning Techniques
(Re)Presentation Issues in Second Generation Expert Systems
Some Aspects of Learning and Reorganization in an Analogical Representation
Using Attribute Dependencies for Rule Learning
Learning Disjunctive Concepts
Creating High Level Knowledge Structures from Simple Elements
The Use of Analogy in Incremental SBL
VMORPH: A Virtualization/Metamorphic Framework for Binary Obfuscation and Intellectual Property Protection
EVA: A Hybrid Cyber Range
The informational disorder and Artificial Intelligence; between major insidies and possible contrasting tools
Spoofing Detectability as a Property of Biometric Characteristics
Proceedings of the 4th Workshop on Distributed Ledger Technology co-located with the Italian Conference on Cybersecurity 2022 (ITASEC 2022), Rome, Italy, June 20, 2022
A Simulation-based and Data-driven Framework for Enabling the Analysis and Design of Business Processes based on Blockchain and Smart Contracts Solutions
A working experimentation model for cyber resilience regulatory sandboxes
Integrating Access Control and Business Process for GDPR Compliance: A Preliminary Study
Blockchain-based Invoice Factoring: from business requirements to commitments
How many bots are you following?
NIF: Reactive Injection Attack via Nmap Piggybacking
Unveiling Attack Patterns from CTF Network Logs with Process Mining Techniques
An Operational Framework for Incident Handling
A Report on the Security of Home Connections with IoT and Docker Honeypots
Implementing and testing RollJam on Software-Defined Radios
Darknet Security: A Categorization of Attacks to the Tor Network
On-Chain Global Maintenance Services
A Framework for Automating Security Assessments with Deductive Reasoning
Enhancing Training Time for Sustainability of Intrusion Detection Systems based on Machine Learning
Cyber Range for Industrial Control Systems (CR-ICS) for Simulating Attack Scenarios
Cognitive Filter Bubble: Investigating Bias and Neutrality Vulnerabilities of LLMs in Sensitive Contexts
Proceedings of the 3rd Distributed Ledger Technology Workshop Co-located with ITASEC 2020, Ancona, Italy, February 4, 2020
AgriChain: Blockchain Syntactic and Semantic Validation for Reducing Information Asymmetry In Agri-Food
A Study on Diem Distributed Ledger Technology
A game-based learning experience for improving cybersecurity awareness
Security in IoT Pairing & Authentication protocols, a Threat Model, a Case Study Analysis
A Stackelberg Approach to Federated Learning for Malware Detection
Modeling and Verification of the Worth-One-Minute Security Protocols
Devil in the Details: Assessing Automated Confidentiality Classifiers in the Context of NATO Documents
An Investigation on Voice Mimicry Attacks to a Speaker Recognition System
Windows Antivirus Evasion Techniques: How to Stay Ahead of the Hooks
Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), Salerno, Italy, April 8-12, 2024
C-OSINT: COVID-19 Open Source Artificial INTelligence Framework
A Comparative Analysis of Datasets for Intrusion Detection in Software-Defined Networks
Securing the Art Market with Distributed Public Ledgers
Proceedings of the Italian Conference on Cybersecurity (ITASEC 2022), Rome, Italy, June 20-23, 2022
Proceedings of the Italian Conference on Cybersecurity, ITASEC 2021, All Digital Event, April 7-9, 2021
Software Engineering for DApp Smart Contracts Managing Workers Contracts
Enhancing Malware Classification with Symbolic Features
From Firewalls to Functions and Back
Security Analysis of a Blockchain-based Protocol for the Certification of Academic Credentials
On the Feasibility of Android Stegomalware: A Detection Study
Ensemble Consensus: An Unsupervised Algorithm for Anomaly Detection in Network Security data
An Artificial Intelligence Cyberattack Detection System to Improve Threat Reaction in e-Health
Damn Vulnerable Application Scanner
Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning
Towards Cyber Resilience against APTs
Digital Authoritarianism: ICT-enabled Repression Across Regime Types
HDDroid: Federated Hyperdimensional Computing for Mobile Malware Detection
Exploiting the Blockchain to Guarantee GDPR Compliance while Consents Evolve under Data Owners' Control
The Case for Ultra High Speed Portable Network Security Filters
5G Security Assurance: Lessons Learned from 3GPP SCAS Tests on Virtualized Network Architectures
Optimizing 5G Protocol Fuzzing: Structure-Aware Techniques and Feedback Integration
An Unsupervised Behavioral Analysis of Highway Traffic Flow for Security Applications
Multilanguage Semantic Behavioural Algorithms to Discover Terrorist Related Online Contents
Robust Machine Learning for Malware Detection over Time
MITIGATE: An Innovative Cyber-Security Maritime Supply Chain Risk Management System
Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges
Towards User Recognition by Shallow Web Traffic Inspection
A Privacy-Preserving Approach for Vulnerability Scanning Detection
Micro-Mobility Security: A Holistic Approach via Mobile App Analysis
BinSAFE: Extending Functions Embeddings to Entire Binaries
"Safe Prescription": A Decentralized Blockchain Protocol to Manage Medical Prescriptions
On Identifying Repeated Patterns of OT Attacks with LOGistICS
How effective are Large Language Models (LLMs) at inferring people's personality based on texts they authored?
PowerDecode: A PowerShell Script Decoder Dedicated to Malware Analysis
A Behavior-Based Intrusion Detection System Using Ensemble Learning Techniques
Extending Domain Name Monitoring. Identifying Potentially Malicious Domains Using Hash Signatures of DOM Elements
Explaining Phishing Attacks: An XAI Approach to Enhance User Awareness and Trust
Exploiting Data Spaces to Enable Privacy Preserving Data Exchange in the Energy Supply Chain
Mina - A Blockchain in its True Sense
Hate Me, Hate Me Not: Hate Speech Detection on Facebook
Sharing Responsibilities through Distributed Key Generation in the Chirotonia e-Voting Framework
A Service Architecture for an Enhanced Cyber Threat Intelligence Capability
On the Feasibility of Covert Channels through Short-Message-Service
Towards the Responsible/Trustworthy AI in Multi-Domain Operations for Cyber Social Security: A Black-Box AML Case Study in the CAN Bus Frame Detection Task
LLM-based Fact-Checking: A Pipeline for Studying Information Disorder
Punish and Perish: The Human Factor in Cybersecurity
PAIDEUSIS: A Remote Hybrid Cyber Range for Hardware, Network, IoT Security Training
Multilevel Database Decomposition Framework
Cyber-DRIVE: Dynamic Risk Versatile Engine for Cyber Security Risk Analysis, Situational Awareness and Incident Response
Standard-Based Remote Attestation: The Veraison Project
Hardening Machine Learning based Network Intrusion Detection Systems with synthetic netflows
Advancing Internet-Connected Devices Posture Analysis with a Meta-Search Engine: A Case Study in Energy Systems
Blockchains Meet Distributed Hash Tables: Decoupling Validation from State Storage
Benchmarking Virtualized Page Permission for Malware Detection: a Web Server Case Study
Six Things I Hate About You (in Italian) and Six Classification Strategies to More and More Effectively Find Them
Scamming the Scammers: Using ChatGPT to Reply Mails for Wasting Time and Resources
MuAC: Access Control Language for Mutual Benefits
Static Analysis for GDPR Compliance
Building call graph of WebAssembly programs via abstract semantics
Enhancing Fraud Detection through Cascading Machine Learning Models and Clustering Techniques
Is Your Smartphone Really Safe? A Wake-up Call on Android Antivirus Software Effectiveness
On the Usage of ChatGPT for Integrating CAPEC Attacks into ADVISE Meta Ontology
Web-based Intelligence in Adaptive Security Models and Multidisciplinary Aspects of Activation and Analysis (in Italian)
Security Risks and Best Practices of MLOps: A Multivocal Literature Review
Proceedings of the Joint National Conference on Cybersecurity (ITASEC & SERICS 2025), Bologna, Italy, February 03-08, 2025