Computer-Science
Necessary and sufficient conditions for Boolean satisfiability
On a Certain NP-Complete Problem
The dual-process approach to human sociality: Meta-analytic evidence for a theory of internalized heuristics for self-preservation
Parametric Modelling Within Immersive Environments: Building a Bridge Between Existing Tools and Virtual Reality Headsets
Parallel Exploration via Negatively Correlated Search
Post-Quantum Cryptography: Riemann Primitives and Chrysalis
Towards joint decoding of binary Tardos fingerprinting codes
Comparative Analysis of Cryptography Library in IoT
Uneven illumination surface defects inspection based on convolutional neural network
Mind the Gap: Trade-Offs between Distributed Ledger Technology Characteristics
A Collaborative Ecosystem for Digital Coptic Studies
Testing of Support Tools for Plagiarism Detection
TS Cache: A Fast Cache with Timing-speculation Mechanism Under Low Supply Voltages
Reversible Data Hiding in Encrypted Images Using MSBs Integration and Histogram Modification
A Blockchain-Based Architecture for Traffic Signal Control Systems
S-ConvNet: A Shallow Convolutional Neural Network Architecture for Neuromuscular Activity Recognition Using Instantaneous High-Density Surface EMG Images
Operator Responsibility for Outcomes: A Demonstration of the ResQu Model
Time Distance: A Novel Collision Prediction and Path Planning Method
WaveletKernelNet: An Interpretable Deep Neural Network for Industrial Intelligent Diagnosis
Autonomous Intelligent Cyber-defense Agent (AICA) Reference Architecture. Release 2.0
Parallel Algorithm for Frequent Itemset Mining on Intel Many-core Systems
Optimization of Convolutional Neural Network Using the Linearly Decreasing Weight Particle Swarm Optimization