yusuke1997/dblp-id-title huggingface dataset:
On the effectiveness of transferability of adversarial Android malware samples against learning-based detectors
AI-Enhanced Photo Authenticity: A User-Focused Approach to Detecting and Analyzing Manipulated Images
Evaluation of Command and Speaker Recognition on Vietnamese Voice Dataset to Enhance Security
Landslide Detection with Unmanned Aerial Vehicles
A camera-based solution for customer behavior identification
A Framework for Evaluating Video Summary Approaches
A Transformer-based Approach for Dynamic Referee Assistance
U15-Logos: Unconstrained Logo Dataset with Evaluation by Deep learning Methods
FastTacotron: A Fast, Robust and Controllable Method for Speech Synthesis
An Automated Benchmarking Framework for Anomaly-based Intrusion Detection Systems
Supporting Thyroid Cancer Diagnosis based on Cell Classification over Microscopic Images
A Multi-Input Bi-LSTM Autoencoder Model with Wavelet Transform for Air Quality Prediction
Detecting Reflectional Symmetry of Binary Shapes Based on Generalized R-Transform
Performance Evaluation of Optimizers for Deformable-DETR in Natural Disaster Damage Assessment
Heritage Image Classification by Convolution Neural Networks
A method for text-based person search in Vietnamese language based on correlation filtering
A Novel Generative Model to Synthesize Face Images for Pose-invariant Face Recognition
A multi-scale context encoder for high quality restoration of facial images
BKSeg-Net: Segmentation of Ovarian Tumors from Ultrasound Images with Boundary Keypoints Loss
Transform an Electric Golf Cart into an Autonomous Vehicle
A multimodal Windows malware detection method based on hybrid analysis and graph representations
InstSynth: Instance-wise Prompt-guided Style Masked Conditional Data Synthesis for Scene Understanding
DF-FSOD: A Novel Approach for Few-shot Object Detection via Distinguished Features
Boundary delineation of reflux esophagitis lesions from endoscopic images using color and texture
Multi-task Learning based Voice Verification with Triplet Loss
Extracting Handwritten Regions In Japanese Document Images
Edge-Focus Thermal Image Super-Resolution using Generative Adversarial Network
Improving binary skin cancer classification based on best model selection method combined with optimizing full connected layers of Deep CNN
Evolving Prompts for Synthetic Image Generation with Genetic Algorithm
Exploring Low-Resource Machine Translation: Case Study of Lao-Vietnamese Translation
A Crowdsourcing Data Annotation System For Vietnamese Scene Text Detection
Transformer-based method for mathematical expression recognition in document images
CASQ: Enhancing Human-Object Interaction Detection via Supplementary Semantic Information for Interaction Queries
High-quality 3D Clothing Reconstruction and Virtual-Try-On: Pants case
ViQP: Dataset for Vietnamese Question Paraphrasing
Enhancing Biomedical Entity Normalization Through Re-ranking Based on Convolutional Neural Networks
Human action recognition from inertial sensors with Transformer
Fire Warning Based on Convolutional Neural Network and Inception Mechanism
Document Similarity with Bipartite Graph Matching for Cheapfake and Fake News Detection
Attention Pooling for Beta Wavelet Filters in Anomaly Classification with Graph Neural Network
Data Augmentation with Large Language Models for Vietnamese Abstractive Text Summarization
Improving the Hand Pose Estimation from Egocentric Vision via HOPE-Net and Mask R-CNN
Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers
Types, Subtypes, and ASL+
A Theory-based Typological Notion of Institutions
Unification of Theories: A Challenge for Computing Science
Minimal Term Rewriting Systems
Using Limits of Parchment to Systematically Construct Institutions of partial Algebras
Class-Sort Polymorphism in GLIDER
Label Algebras: A Systematic Use of Terms
Specifications with Observable Formulae and Observational Satisfaction Relation
Behavioural Specifications in Type Theory
Seven Years of COMPASS
Semantic Constructions in the Specification Language GLIDER
Implementation of Data Structures in an Imperative Framework
New Concepts of Amalgamation and Extension for a General Theory of Specifications
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions
On Fibred Adjunctions and Completeness for Fibred Categories
Institutional Frames
Towards a Theory for the Animation of Algebraic Specification
Axiomatic Specification of Large Information Systems: Experiences and Consequences
Context Institutions
Dynamical Behavior of Object Systems
Dynamic Abstract Data Types Based on Algebraic Graph Transformations
Swinging Data Types: Syntax, Semantics, and Theory
A Model for I/O in Equational Languages with Don't Care Non-determinism
The Lambda Calculus as an Abstract Data Type
What is an Abstract Data Type, after all?
Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers
Rewriting Techniques for Software Engineering
A Behavioural Algebraic Framework for Modular System Design with Reuse
Modular Termination of Term Rewriting Systems Revisited
Experiments with Partial Evaluation Domains for Rewrite Specifications
Implementation and Behavioural Equivalence: A Survey
An Institution of Object Behaviour
Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU + /LP Experience
A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types
The Larch Shared Language: Some Open Problems
A Lazy Approach to Partial Algebras
On the Operational Semantics of the Algebraic and Logic Programming Language LPG
Identity and Existence, and Types in Algebra - A Survey of Sorts
Behavioural Theories
Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers
Defining Equations in Terminal Coalgebras
On the Role of Category Theory in the Area of Algebraic Specification
An Object-Oriented Airport: Specification and Refinement in Maude
Reification - Changing Viewpoint but Preserving Truth
Event Logic for Specifying Abstract Dynamic Data Types
Relationships between Logical Frameworks
Algebraic Specification Languages: An Overview
Concurrent State Transformations on Abstract Data Types
The Use of Sorts in Algebraic Specifications
About the Correctness and Adequacy of PLUSS Specifications
Second-Order Proof Systems for Algebraic Specification Languages
Structured Inheritance for Algebraic Class Specifications
Sort Inheritance for Order-Sorted Equational Presentations
Generic Classes in an Object-Based Language
Translating TROLL light Concepts to Maude
Topological Methods for Algebraic Specification
Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules
On Certification of Specifications for TROLL light Objects
A View on Implementing Processes: Categories of Circuits
Algebraic Specification of Concurrency
A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets
An Algebraic Semantics for the Object Specification Language TROLL light
Behavioural Equivalence, Bisimulation, and Minimal Realisation
How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets
Formal Specifications and Test: Correctness and Oracle
A Category-Based Equational Logic Semantics to Constraint Programming
Two-Categorical Specification of Partial Algebras
Bulk Types and Query Language Design
A Semantic Basis of Logic-Independent Transformation
Institutions for Very Abstract Specifications
Overloading and Inheritance
Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness
Algebraic High-Level Nets: Petri Nets Revisited
Typing Abstract Data Types
The Object-Based Specification Language PI: Concepts, Syntax, and Semantics
Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems
Non-Equivalence of Categories for Equational Algebraic Specifications
Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics
From Abstract Data Types to Logical Frameworks
Unifying Theories in Different Institutions
Bounded Implementation of Algebraic Specifications
Local Specification of Distributed Families of Sequential Objects
Objects and their Specification
Termination of Curryfied Rewrite Systems
A Soft Stairway to Institutions
Towards an Algebraic Semantics for the Object Paradigm
Equations for Describing Dynamic Nets of Communicating Systems
Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case
Object-Oriented Functional Programming and Type Reconstruction
Institutions for Behaviour Specification
InterACT : An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation
Inductively Defined Relations: A Brief Tutorial (Extended Abstract)
Combining Algebraic and Set-Theoretic Specifications
Transactions in Object-Oriented Specifications
Unified Algebras and Abstract Syntax
Moving Between Logical Systems
Process Semantics of Temporal Logic Specifications
Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers
Social Distance Detection Using Wireless Signal in Social Networks
Correlate the Advanced Persistent Threat Alerts and Logs for Cyber Situation Comprehension
Insecurity of Anonymous Login with German Personal Identity Cards
Gamma Sampling for Intrusion Detection with Imbalanced Data
Attacks and Defenses in Location-Based Social Networks: A Heuristic Number Theory Approach
People Still Care About Facts: Twitter Users Engage More with Factual Discourse than Misinformation
Performance Evaluation of Fault Tolerant Routing Algorithm in Data Center Networks
The Social and Technological Incentives for Cybercriminals to Engage in Ransomware Activities
Publicly Verifiable Private Set Intersection from Homomorphic Encryption
The Revocable Attribute Based Encryption Scheme for Social Networks
Security and Privacy in Social Networks and Big Data - 10th International Symposium, SocialSec 2024, Abu Dhabi, United Arab Emirates, November 20-22, 2024, Proceedings
Find Referral Social Networks
Development of an Early Warning System for Network Intrusion Detection Using Benford's Law Features
Security and Privacy in Social Networks and Big Data - 8th International Symposium, SocialSec 2022, Xi'an, China, October 16-18, 2022, Proceedings
Security and Privacy in Social Networks and Big Data - 7th International Symposium, SocialSec 2021, Fuzhou, China, November 19-21, 2021, Proceedings
Security-Enhanced Timed-Release Encryption in the Random Oracle Model
Integer Version of Ring-LWE and Its Applications
Blockchain-Based Threshold Electronic Voting System
T-HIBE: A Trustworthy HIBE Scheme for the OSN Privacy Protection
A Secure Word Vector Training Scheme Based on Inner-Product Functional Encryption
Key Nodes Recognition in Opportunistic Network
Modeling Dynamics of Covid-19 Infected Population with PSO
A Secure Fine-Grained Identity-Based Proxy Broadcast Re-encryption Scheme for Micro-video Subscribing System in Clouds
Secure and Efficient Data Processing for Cloud Computing with Fine-Grained Access Control
Secure Aggregation of Smartwatch Health Data with LDP
Did State-Sponsored Trolls Shape the 2016 US Presidential Election Discourse? Quantifying Influence on Twitter
Causal Modeling for Cybersecurity
An Efficient Framework for Text Document Security and Privacy
Greedily Remove k Links to Hide Important Individuals in Social Network
Time Is on My Side: Forward-Replay Attacks to TOTP Authentication
A Novel Web Anomaly Detection Approach Based on Semantic Structure
Squeeze-Loss: A Utility-Free Defense Against Membership Inference Attacks
SmartAudit: Smart Contract Vulnerability Detection Using Transfer Learning
FriPEL: Friendship Privacy Educational Labware
Twitter Bots Influence on the Russo-Ukrainian War During the 2022 Italian General Elections
A Real-Time Audio and Video Streaming Transmission Scheme for Social Media
Secure Asynchronous Federated Learning for Edge Computing Devices
Web Scanner Detection Based on Behavioral Differences
Research on LDoS Attack Detection and Defense Mechanism in Software Defined Networks
Automatic Counting of Railway Tools Based on Deep Learning
A Novel Robust Image-Hashing Method for Content Authentication
Forward Calculation for Improving the Sensitivity of Multiple Perturbations in Magnetic Induction Tomography Based on Brain Tissue Structure
An Efficient and Secure Transmission Model Based on Compressive Sensing
An Elastic Data Processing Method Based on Data-Center-Platform
A Novel Lattice-Based Ciphertext-Policy Attribute-Based Proxy Re-encryption for Cloud Sharing
Temporal Analysis of Privacy Enhancing Technology Traffic Using Deep Learning
Authenticated Continuous Top-k Spatial Keyword Search on Dynamic Objects
Secure and Efficient k-Nearest Neighbor Query with Privacy-Preserving Authentication
Keeping Privacy Data Secure Under Factory Recovery
Security and Privacy in Social Networks and Big Data - 9th International Symposium, SocialSec 2023, Canterbury, UK, August 14-16, 2023, Proceedings
A Two-Fitness Resource Scheduling Strategy Based on Improved Particle Swarm Optimization
Distribution Key Scheme for Secure Group Management in VANET Using Polynomial Interpolation
Algorithm Substitution Attacks on Identity-Based Encryption
Design and Implementation of Medical Dispute Governance Based on Blockchain
Cyber Security Researchers on Online Social Networks: From the Lens of the UK's ACEs-CSR on Twitter
A Malicious URL Detection Model Based on Convolutional Neural Network
Advertising Strategy for Maximizing Profit Using CrowdSensing Trajectory Data
ELITE: Efficient and Secure Machine Learning for Intelligent Perception in Smart Road Infrastructure
FedBC: An Efficient and Privacy-Preserving Federated Consensus Scheme
On the Security of a Certificateless Public Verification Scheme for Cloud-Based Cyber-Physical-Social Systems
Risk Assessment of Heterogeneous CPS Systems Under Different Proportions of Links
A Novel Defending Scheme for Graph-Based Classification Against Graph Structure Manipulating Attack
Efficient and Secure Data Retrieval Scheme Using Searchable Encryption in Cloud Storage
Migration Privacy Protection Based on Scheduling Algorithm for Online Car-Hailing
The Movie Recommendation System Based on Differential Privacy
Graph Analysis of Blockchain P2P Overlays and Their Security Implications
Judicial Evidence Storage Scheme Based on Smart Contract
A Novel Measure to Quantify the Robustness of Social Network Under the Virus Attacks
A Secure and Efficient Data Sharing Framework with Delegated Capabilities in Hybrid Cloud
An Intelligent File Transfer Optimization for Poor Network Conditions
Investigating Influential COVID-19 Perspectives: A Multifaceted Analysis of Twitter Discourse
Detection of Privacy-Harming Social Media Posts in Italian
Security and Privacy in Social Networks and Big Data - 6th International Symposium, SocialSec 2020, Tianjin, China, September 26-27, 2020, Proceedings
QoSC: A QoS-Aware Storage Cloud Based on HDFS
FLAIR: A Federated Learning Approach Against Inference Attacks and Risks
An Efficient Influence Maximization Algorithm Based on Social Relationship Priority in Mobile Social Networks
The Relation Between Local and Global Influence of Individuals in Scale-Free Networks
Improved WAVE Signature and Apply to Post-quantum Blockchain
2018 International Symposium on Security and Privacy in Social Networks and Big Data, SocialSec 2018, Santa Clara, CA, USA, December 10-11, 2018
A Survey of Adversarial Examples and Deep Learning Based Data Hiding
A Hybrid Covert Channel with Feedback over Mobile Networks
Patch-Based Backdoors Detection and Mitigation with Feature Masking
An Efficient and Revocable Auditing Scheme for the Internet of Things
Anonymizing Global Edge Weighted Social Network Graphs
An Android Data Protection Scheme for System-as-Root Architectures
The impact of subjects and gender in value-added assessment of senior high school in China
Blockchain-Based Asymmetric Group Key Agreement Protocol for Mobile Ad Hoc Network
Learning from Imbalanced Data: A Comparative Study
Adaptive Adversarial Attack on Graph Embedding via GAN
A Defect Heterogeneous Risk Assessment Method with Misclassification Cost
Security and Privacy in Social Networks and Big Data - 5th International Symposium, SocialSec 2019, Copenhagen, Denmark, July 14-17, 2019, Revised Selected Papers
Analysis of the Performance of Hadoop Applications on Eucalyptus Cloud
Influence Detection in Agetech on Social Platforms Using Machine Learning and Classifier Calibration
Using M5Stack Core 2 ESP32 to Raise Children's Awareness About Cyber Security
D2D Authentication Scheme for IoT-enabled Smart Home
A Privacy-Preserving Federated Learning with Mutual Verification on Vector Spaces
ChatGPT Through the Users' Eyes: Sentiment Analysis of Privacy and Security Issues
A Method for Community Partition Based on Information Granularity
A VirtualXposed-Based Inline Hooking Framework for Android Native Methods
Effectiveness Analysis of Traditional Chinese Medicine for Anti-Alzheimer's Disease Based on Machine Learning
PassGrid: Towards Graph-Supplemented Textual Shoulder Surfing Resistant Authentication
Privacy-Preserving Nonlinear SVM Classifier Training Based on Blockchain
Exploit in Smart Devices: A Case Study
An Efficient Adaptive Fault Diagnosis Algorithm for Highly Scalable Data Center Networks
Realization of Safety Reinforced Terminal Equipment for Secondary System of Substation
The Impact of Synthetic Data on Membership Inference Attacks
Retrieve the Hidden Leaves in the Forest: Prevent Voting Spamming in Zhihu
Data Reconstruction Attack Against Principal Component Analysis
Pair-Wise Convolution Network with Transformers for Sequential Recommendation
Enhanced Twitter Sentiment Analysis by Using Feature Selection and Combination
Secure Data Storage Scheme of Judicial System Based on Blockchain
Extended Abstract: Evaluating Cross-Chain Platforms for EV Charging Payment Systems
Generating Adversarial Malware Examples with API Semantics-Awareness for Black-Box Attacks
Online Event Detection in Social Media with Bursty Event Recognition
Privacy-Preserving Graph Operations for Social Network Analysis
Edge Local Differential Privacy for Dynamic Graphs
A Secure and Privacy-Preserving Authentication Scheme in IoMT
Cloud-Aided Privacy Preserving User Authentication and Key Agreement Protocol for Internet of Things
Predicting Users' Emotional Intelligence with Social Networking Data
Automatic Classification Analysis of Tibetan Folk Music Based on Adaboost Algorithm
Extracting Common Features of Fake News by Multi-Head-Attention
Privacy-Enhanced Federated Learning with Weighted Aggregation
An RTP Extension for Reliable User-Data Transmission over VoIP Traffic
Detection and Defense Against DDoS Attack on SDN Controller Based on Feature Selection
An evaluation method of image scrambling degree based on pixel distribution
International Symposium on Security and Privacy in Social Networks and Big Data, SocialSec 2015, Hangzhou, China, November 16-18, 2015
Support-Set-Assured Parallel Outsourcing of Sparse Reconstruction Service for Compressive Sensing in Multi-clouds
Deep-learnt features for Twitter spam detection
Unsupervised Analysis of Encrypted Video Traffic Based on Levenshtein Distance
DMU-ABSE: Dynamic Multi-user Attribute-Based Searchable Encryption with File Deletion and User Revocation
A Methodology of Fake Cell Test Based on the RRC Redirection or Reselection Priorities from the 5G Network
A Network Security Situation Assessment Method Based on Multi-attention Mechanism and HHO-ResNeXt
Adaptive Crawling in Online Social Networks: a Matrix Factorization Based Approach
Reliability Analysis of Heterogeneous CPS Under Different Swapping Inter-links Strategies
Commodity-Tra: A Traceable Transaction Scheme Based on FISCO BCOS
Graph Matching Based Privacy-Preserving Scheme in Social Networks
Efficient and Secure Two-Party Distributed Signing Protocol for the GOST Signature Algorithm
A New Measure of Network Robustness: Network Cluster Entropy
Trajectory Privacy Protection Scheme for Different Travel Modes
Inner Product Encryption from Middle-Product Learning with Errors
Improved (t, n)-Threshold Proxy Signature Scheme
Adapt Swarm Path Planning for UAV Based on Artificial Potential Field with Birds Intelligence Extensions
Secure Government Data Sharing Based on Blockchain and Attribute-Based Encryption
A Configurable off-Policy Evaluation with Key State-Based Bias Constraints in AI Reinforcement Learning
Efficient Attribute-Based Proxy Re-encryption for Secure Deduplication
UAV-Enabled Social Internet of Vehicles: Roles, Security Issues and Use Cases
Proceedings of the 1st International Digital Preservation Interoperability Framework Symposium, INTL-DPIF '10, Dresden, Germany, April 21-23, 2010
Principle-based concepts for the long-term preservation of digital records
The Planets IF: a framework for integrated access to preservation tools
Digital preservation: communicating across cyberspace and time
Geo-Seas e-infrastructure
Digital preservation: the multimedia standards way
Developing a digital preservation programme at a national library
100 million hours of audiovisual content: digital preservation and access in the PrestoPRIME project
Digital archives for molecular microscopy
The METAFOR project: preserving data through metadata standards for climate models and simulations
MPEG-21 digital items in research and practice
Target Counting Using Binary Sensors Based on Disjoint Connected Subgraphs
A naming scheme to represent geographic areas in NDN
Adaptive regression algorithm for distributed dynamic clustering in wireless sensor networks
An artificial neural network based fault detection and diagnosis for wireless mesh networks
QoS support for bursty traffic in noisy channel via periodic reservations
Multi-Frame s-Persistent Neighbor Discovery strategy in DTNs with resource-constrained RFID devices
Optimizing the wireless sensor network lifetime under reliability constraint
A cross-layer autonomic architecture for QoS support in wireless networks
An energy-efficient clock synchronization protocol for Wireless Sensor Networks
Proceedings of the 3rd IFIP Wireless Days Conference 2010, Venice, Italy, October 20-22, 2010
Weak data secrecy via obfuscation in network coding based content distribution
A Comparative Analysis of Trust Models for Safety Applications in IoT-enabled Vehicular Networks
Cooperative D2D communications in the uplink of cellular networks with time and power division
Assisting V2V failure recovery using Device-to-Device communications
Instantaneous mobile video surveillance: A security & quality challenge
Investigating and Revealing Privacy Leaks in Mobile Application Traffic
A collision-aware backoff mechanism for IEEE 802.15.4 wireless sensor networks
Selective Frame Transmission for QoS provisioning in IEEE 802.11 networks
Traffic-Aware and Low-Overhead Routing Protocol for MANETs
A Collaborative Self-Monitoring System for highly reliable wireless sensor networks
Wireless Internet service providing for 5G with hybrid TV broadcast and visible light communications
Connectivity-aware Relay Node Deployment in Grid-based Wireless Sensor Networks
Equi-spaced relay selection in cooperative communication networks with power control
Energy-aware QoS uplink scheduling for UGS traffic services in WiMAX
SARA - A Semantic Access Point Resource Allocation Service for Heterogenous Wireless Networks
2-hop neighborhood information for cover set selection in mission-critical surveillance with Wireless Image Sensor Networks
CHARON: Routing in low-density opportunistic wireless sensor networks
Mobile PassPattern System (MPPS) advanced user authentication system for mobile devices