yusuke1997/dblp-id-title huggingface dataset:
Towards the AlexNet Moment for Homomorphic Encryption: HCNN, the First Homomorphic CNN on Encrypted Data With GPUs
Concept Stability Entropy: A Novel Group Cohesion Measure in Social Networks
Can Gamification Improve the Benefits of Student Response Systems in Learning? An Experimental Study
A VLSI Digital Circuit Platform for Performing Deterministic Stochastic Computing in the Time Dimension Using Fraction Operations on Rational Numbers
Network-on-Chip Multicast Architectures Using Hybrid Wire and Surface-Wave Interconnects
Massively Parallel Analog Computing: Ariadne's Thread Was Made of Memristors
Algorithm-Hardware Co-Design of Split-Radix Discrete Galois Transformation for KyberKEM
DP-PartFIM: Frequent Itemset Mining Using Differential Privacy and Partition
A Graph-Incorporated Latent Factor Analysis Model for High-Dimensional and Sparse Data
Toward Consistency of State in MMOGs Through Semantically Aware Contention Management
Earthquake Prediction Based on Spatio-Temporal Data Mining: An LSTM Network Approach
Leveraging Communicating UAVs for Emergency Vehicle Guidance in Urban Areas
A Flexible and Reliable RRAM-Based In-Memory Computing Architecture for Data-Intensive Applications
Intent-Based Security for Functional Safety in Cyber-Physical Systems
Sway: Traffic-Aware QoS Routing in Software-Defined IoT
FINISH: Efficient and Scalable NMF-Based Federated Learning for Detecting Malware Activities
SenseHash: Computing on Sensor Values Mystified at the Origin
Little Knowledge Isn't Always Dangerous - Understanding Water Distribution Networks Using Centrality Metrics
A Low-Cost Wireless Body Area Network for Human Activity Recognition in Healthy Life and Medical Applications
Comparison of the Effect of Interactive versus Passive Virtual Reality Learning Activities in Evoking and Sustaining Conceptual Change
Scan-Chain Intra-Cell Aware Testing
The e-LocGov Model for Introducing e-Governance into Local Governments: An Estonian Case Study
An Efficient Monte Carlo-Based Probabilistic Time-Dependent Routing Calculation Targeting a Server-Side Car Navigation System
IP Address Lookup by Using GPU
Detection of Limited Magnitude Errors in Emerging Multilevel Cell Memories by One-Bit Parity (OBP) or Two-Bit Parity (TBP)
Context-Aware Defenses to RFID Unauthorized Reading and Relay Attacks
Opening the Doors to Dynamic Camouflaging: Harnessing the Power of Polymorphic Devices
A Machine-Learning Model for Automatic Detection of Movement Compensations in Stroke Patients
An Interrelated Imitation Learning Method for Heterogeneous Drone Swarm Coordination
Low-Leakage 3D Stacked Hybrid NEMFET-CMOS Dual Port Memory
Open Data Categorization Based on Formal Concept Analysis
Memristive Crossbar Memory Lifetime Evaluation and Reconfiguration Strategies
Virtual Reality Simulation of a Quadrotor to Monitor Dependent People at Home
Semantic Link Network-Based Model for Organizing Multimedia Big Data
UAV-Aided Information Diffusion for Vehicle-to-Vehicle (V2V) in Disaster Scenarios
Spiker+: A Framework for the Generation of Efficient Spiking Neural Networks FPGA Accelerators for Inference at the Edge
Designing Mobile Technologies to Encourage Civic Engagement: The Role of Situated Motivational Affordances
Object-Based Video Coding by Visual Saliency and Temporal Correlation
A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models
A Mental Health Chatbot for Regulating Emotions (SERMO) - Concept and Usability Test
Learning From Summaries: Supporting e-Learning Activities by Means of Document Summarization
Efficient Hardware Implementation of Finite Field Arithmetic $AB+C$AB+C for Binary Ring-LWE Based Post-Quantum Cryptography
Low-Power Real-Time Seizure Monitoring Using AI-Assisted Sonification of Neonatal EEG
On Minimizing Energy Consumption in FiWi Enhanced LTE-A HetNets
A Game-Theoretical Scheme in the Smart Grid With Demand-Side Management: Towards a Smart Cyber-Physical Power Infrastructure
Semantic Access Control for Privacy Management of Personal Sensing in Smart Cities
Bridging the Gap between Resilient Networks-on-Chip and Real-Time Systems
$O(N)$O(N)-Space Spatiotemporal Filter for Reducing Noise in Neuromorphic Vision Sensors
Learning With Sharing: An Edge-Optimized Incremental Learning Method for Deep Neural Networks
Guest Editorial: IEEE Transactions on Emerging Topics in Computing Special Issue on Advanced Command, Control and On-Board Data Processing for Space Avionic Systems
First Tests of a New Facility for Device-Level, Board-Level and System-Level Neutron Irradiation of Microelectronics
Exploring Research in Blockchain for Healthcare and a Roadmap for the Future
Online Safety Checking for Delay Locked Loops via Embedded Phase Error Monitor
Fully Dynamic Inference With Deep Neural Networks
AxRMs: Approximate Recursive Multipliers Using High-Performance Building Blocks
Automata-Based Dynamic Fault Tolerant Task Scheduling Approach in Fog Computing
High-Performance and Robust Spintronic/CNTFET-Based Binarized Neural Network Hardware Accelerator
CRAM-Seq: Accelerating RNA-Seq Abundance Quantification Using Computational RAM
Hardware/Software Co-Design With ADC-Less In-Memory Computing Hardware for Spiking Neural Networks
ParticipAct: A Large-Scale Crowdsensing Platform
Can Algorithm Diversity in Stream Cipher Implementation Thwart (Natural and) Malicious Faults?
Privacy-Preserving Publicly Verifiable Outsourced Distributed Computation Scheme for Matrix Multiplication
A Rule Verification System for Smart Buildings
A 3.3 Gbps CCSDS 123.0-B-1 Multispectral & Hyperspectral Image Compression Hardware Accelerator on a Space-Grade SRAM FPGA
Range-Enhanced Packet Classification Design on FPGA
Enabling Authorized Encrypted Search for Multi-Authority Medical Databases
SelfVis: Self-Supervised Learning for Human Activity Recognition Based on Area Charts
Enhancing Knowledge Reusability: A Distributed Multitask Machine Learning Approach
Big Data Acquisition Under Failures in FiWi Enhanced Smart Grid
Energy Efficient Approximate Computing Framework for DNN Acceleration Using a Probabilistic-Oriented Method
OLT(RE) 2 : An On-Line On-Demand Testing Approach for Permanent Radiation Effects in Reconfigurable Systems
Blockchain-Based Edge Computing Data Storage Protocol Under Simplified Group Signature
CONSUMER: A Novel Hybrid Intrusion Detection System for Distribution Networks in Smart Grid
Utility Based Data Computing Scheme to Provide Sensing Service in Internet of Things
IoTility: Architectural Requirements for Enabling Health IoT Ecosystems
LSTable: A New White-Box Cipher for Embedded Devices in IoT Against Side-Channel Attacks
SafeProtect: Controlled Data Sharing With User-Defined Policies in Cloud-Based Collaborative Environment
Mist: Efficient Dissemination of Erasure-Coded Data in Data Centers
CRAM-Based Acceleration for Intermittent Computing of Parallelizable Tasks
Joint Crosstalk Aware Burst Error Fault Tolerance Mechanism for Reliable on-Chip Communication
A Cybersecurity Educated Community
SHARKS: Smart Hacking Approaches for RisK Scanning in Internet-of-Things and Cyber-Physical Systems Based on Machine Learning
A Web Back-End Database Leakage Incident Reconstruction Framework Over Unlabeled Logs
New Construction of Balanced Codes Based on Weights of Data for DNA Storage
Rei: A Reconfigurable Interconnection Unit for Array-Based CNN Accelerators
Quality-Aware Target Coverage in Energy Harvesting Sensor Networks
User-Habit-Oriented Authentication Model: Toward Secure, User-Friendly Authentication for Mobile Devices
Enabling Workforce Optimization in Constrained Attribute-Based Access Control Systems
A Comparative Study of Virtual Reality Methods of Interaction and Locomotion Based on Presence, Cybersickness, and Usability
Optimal Scheduling for Real-Time Jobs in Energy Harvesting Computing Systems
An IP Core Remote Anonymous Activation Protocol
ACBAM-Accuracy-Configurable Sign Inclusive Broken Array Booth Multiplier Design
PADS: Design and Implementation of a Cloud-Based, Immersive Learning Environment for Distributed Systems Algorithms
LDPC Soft Decoding with Improved Performance in 1X-2X MLC and TLC NAND Flash-Based Solid State Drives
Differential Privacy-Based Genetic Matching in Personalized Medicine
Guest Editorial: Thematic Section on Applications of Emerging Computing Technologies in Smart Manufacturing and Industry 4.0
An Analysis of Failure-Related Energy Waste in a Large-Scale Cloud Environment
Toward QoI and Energy-Efficiency in Internet-of-Things Sensory Environments
Energy-Aware Bio-Signal Compressed Sensing Reconstruction on the WBSN-Gateway
A Comprehensive Study of Security of Internet-of-Things
Guest Editors' Introduction: Special Issue on Emerging Technologies in Computer Design
Data Allocation for Hybrid Memory With Genetic Algorithm
Computing Arithmetic Functions Using Stochastic Logic by Series Expansion
Sparse Linear Integration of Content and Context Modalities for Semantic Concept Retrieval
Towards Maximum Energy Efficiency in Nanophotonic Interconnects with Thermal-Aware On-Chip Laser Tuning
Geometric Deep Learning Strategies for the Characterization of Academic Collaboration Networks
Engravings, Secrets, and Interpretability of Neural Networks
3D Invisible Cloak: A Robust Person Stealth Attack Against Object Detector in Complex 3D Physical Scenarios
Design and Analysis of Majority Logic-Based Approximate Adders and Multipliers
A Routing-Protocol-Independent Caching Framework for Mobile Clouds
Designing Energy Routing Protocol With Power Consumption Optimization in MANET
Cluster-Based Heuristic for High Level Synthesis Design Space Exploration
Noise-Shaping Binary-to-Stochastic Converters for Reduced-Length Bit-Streams
Security-Driven Task Scheduling Under Deadline Constraints for MPSoCs With Untrusted 3PIP Cores
Reinforcement Learning-Based Mobile Edge Computing and Transmission Scheduling for Video Surveillance
Removal Attacks on Logic Locking and Camouflaging Techniques
Online Resource Provisioning and Batch Scheduling for AIoT Inference Serving in an XPU Edge Cloud
Graph Embedding Techniques for Predicting Missing Links in Biological Networks: An Empirical Evaluation
Low-Power Approximate Logarithmic Squaring Circuit Design for DSP Applications
A Budget and Deadline Aware Task Assignment Scheme for Crowdsourcing Environment
Investigating and Mitigating Critical Faults in Floating-Point and Posit Arithmetic Hardware
Flexibility-Enhanced HTS System for Disaster Management: Responding to Communication Demand Explosion in a Disaster
Privacy-Preserving Reinforcement Learning Design for Patient-Centric Dynamic Treatment Regimes
HARPOCRATES: An Approach Towards Efficient Encryption of Data-at-Rest
Granularity-Driven Management for Reliable and Efficient Skyrmion Racetrack Memories
Relation Between Combinations of Personal Characteristic Types and Educational Effectiveness for a Controlled Project-Based Learning Course
BIC Codes: Bit Insertion-Based Constrained Codes With Error Correction for DNA Storage
Memristive Crossbar Array-Based Computing Framework via DWT for Biomedical Image Enhancement
Combining Trust Graphs and Keystroke Dynamics to Counter Fake Identities in Social Networks
Performance Enhancement of a Time-Delay PUF Design by Utilizing Integrated Nanoscale ReRAM Devices
PISA: A Non-Volatile Processing-in-Sensor Accelerator for Imaging Systems
Hardware Trojan Detection on a PCB Through Differential Power Monitoring
Gate-Level Side-Channel Leakage Ranking With Architecture Correlation Analysis
Multiclass Classification on High Dimension and Low Sample Size Data Using Genetic Programming
FacetsBase: A Key-Value Store Optimized for Querying on Scholarly Data
Reducing Energy Waste for Computers by Human-in-the-Loop Control
ClubCF: A Clustering-Based Collaborative Filtering Approach for Big Data Application
Detection and Threat Prioritization of Pivoting Attacks in Large Networks
MALITE: Lightweight Malware Detection and Classification for Constrained Devices
Toward Designing High-Speed Cost-Efficient Quantum Reversible Carry Select Adders
Data Sweeper: A Proactive Filtering Framework for Error-Bounded Sensor Data Collection
On the Design of Minimal-Cost Pipeline Systems Satisfying Hard/Soft Real-Time Constraints
Bayesian Cooperative Coalition Game as a Service for RFID-Based Secure QoS Management in Mobile Cloud
A High-Performance FPGA Architecture Using One-Level RRAM-Based Multiplexers
Fuzzy Clustered Federated Learning Algorithm for Solar Power Generation Forecasting
PlausMal-GAN: Plausible Malware Training Based on Generative Adversarial Networks for Analogous Zero-Day Malware Detection
Multi-Technique Redirected Walking Method
Extended File Hierarchy Access Control Scheme with Attribute-Based Encryption in Cloud Computing
Polynomial Vault: A Secure and Robust Fingerprint based Authentication
Efficient Parallel Binary Operations on Homomorphic Encrypted Real Numbers
Sudden Power-Outage Resilient In-Processor Checkpointing for Energy-Harvesting Nonvolatile Processors
EPIC: A Testbed for Scientifically Rigorous Cyber-Physical Security Experimentation
Hardware-Aware DNN Compression via Diverse Pruning and Mixed-Precision Quantization
Technology Development and Modeling of Switching Lattices Using Square and H Shaped Four-Terminal Switches
High Quality Down-Sampling for Deterministic Approaches to Stochastic Computing
A Novel Adaptive $360^{\circ }$360∘ Livestreaming With Graph Representation Learning Based FoV Prediction
MTFC: A Multi-GPU Training Framework for Cube-CNN-Based Hyperspectral Image Classification
Bag of Models Based Embeddings for Assessment of Neurological Disorders Using Speech Intelligibility
A Dynamic-Key Based Secure Scan Architecture for Manufacturing and In-Field IC Testing
A Pervasive Edge Computing Model for Proactive Intelligent Data Migration
Special Issue of the IEEE Transactions on Emerging Topics in Computing on Emerging Mobile and Ubiquitous Systems Part I
A Service-Based Joint Model Used for Distributed Learning: Application for Smart Agriculture
A Population Model for Academia: Case Study of the Computer Science Community Using DBLP Bibliography 1960-2016
Edgeless-GNN: Unsupervised Representation Learning for Edgeless Nodes
AWARE: Adaptive Way Allocation for Reconfigurable ECCs to Protect Write Errors in STT-RAM Caches
Joint Distribution Estimation and Naïve Bayes Classification Under Local Differential Privacy
SPACE: Finding Key-Speaker in Complex Multi-Person Scenes
MFDS-STGCN: Predicting the Behaviors of College Students With Fine-Grained Spatial-Temporal Activities Data
Towards Execution-Efficient LSTMs via Hardware-Guided Grow-and-Prune Paradigm
Fitness and Research Complexity Among Research-Active Universities in the World
Resistive CAM Acceleration for Tunable Approximate Computing
A Holistic Formulation for System Margining and Jitter Tolerance Optimization in Industrial Post-Silicon Validation
A Novel RFET-Based FPGA Architecture Based on Delay-Aware Packing Algorithm
Secure Data Sequence Query Framework Based on Multiple Fogs
Algebraic Attacks on Block Ciphers Using Quantum Annealing
Software Aging Detection and Rejuvenation Assessment in Heterogeneous Virtual Networks
A Privacy Enforcing Framework for Data Streams on the Edge
Guest Editorial: Introduction to the Special Section on Cyber Security Threats and Defense Advance
Software Aging Prediction for Cloud Services Using a Gate Recurrent Unit Neural Network Model Based on Time Series Decomposition
Transformer-Based Graph Neural Networks for Outfit Generation
Special Section on Emerging Topics in Hardware Computing Systems Security
Combined Symbol Error Correction and Spare Through-Silicon Vias for 3D Memories
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare
Predicting Aging-Related Bugs Using Network Analysis on Aging-Related Dependency Networks
Always on Voting: A Framework for Repetitive Voting on the Blockchain
Energy Cost Models of Smartphones for Task Offloading to the Cloud
High Performance Dynamic Resource Allocation for Guaranteed Service in Network-on-Chips
AGSEI: Adaptive Graph Structure Estimation With Long-Tail Distributed Implicit Graphs
Error in Ulps of the Multiplication or Division by a Correctly-Rounded Function or Constant in Binary Floating-Point Arithmetic
Receiver Consensus: On-Time Warning Delivery for Vehicular Ad-Hoc Networks
List-Free ID-Based Mutual Authentication and Key Agreement Protocol for Multiserver Architectures
DALTON - Deep Local Learning in SNNs via Local Weights and Surrogate-Derivative Transfer
Fair Influence Maximization in Social Networks: A Community-Based Evolutionary Algorithm
Resonant-Tunnelling Diodes as PUF Building Blocks
On-Chip Nanoscale Capacitor Decoupling Architectures for Hardware Security
Interference Mitigation for Cyber-Physical Wireless Body Area Network System Using Social Networks
Defect Analysis and Parallel Testing for 3D Hybrid CMOS-Memristor Memory
Construction of a Spike-Based Memory Using Neural-Like Logic Gates Based on Spiking Neural Networks on SpiNNaker
Agile: A Learning-Enabled Power and Performance-Efficient Network-on-Chip Design
ReMap: Reliability Management of Peak-Power-Aware Real-Time Embedded Systems Through Task Replication
DeepEcho: Echoacoustic Recognition of Materials Using Returning Echoes With Deep Neural Networks
BCIM: Efficient Implementation of Binary Neural Network Based on Computation in Memory
Guest Editorial: Special Section on eDemocracy and eGovernment (SIEDEG)
GLAMP: Generative Learning for Adversarially-Robust Malware Prediction
Guest Editorial: Special Issue on Emerging Trends in Education - Part I
Resource Allocation Optimization by Quantum Computing for Shared Use of Standalone IRS
Multi-View Partial Multi-Label Learning via Class Activation Specific Features Collaborative Learning
Physiological Information Leakage: A New Frontier in Health Information Security
A Novel Bio-Inspired Approach for High-Performance Management in Service-Oriented Networks
Virtual Reinforcement Learning for Defect Prediction in Smart Manufacturing
Fully Parallel, One-Cycle Random Shuffling for Efficient Countermeasure Against Side Channel Attack and Its Complexity Verification
Using Ontologies and Formal Concept Analysis to Integrate Heterogeneous Tourism Information
Guest Editorial: IEEE Transactions on Emerging Topics in Computing Special Issue on Design & Technology of Integrated Systems in Deep Submicron Era
The Social Internet of Thing (S-IOT)-Based Mobile Group Handoff Architecture and Schemes for Proximity Service
Reducing the Impact of Defects in Quantum-Dot Cellular Automata (QCA) Approximate Adders at Nano Scale
Tensor-Based Multiple Clustering Approaches for Cyber-Physical-Social Applications
PLAM: A Posit Logarithm-Approximate Multiplier
Detecting Activities of Daily Living and Routine Behaviours in Dementia Patients Living Alone Using Smart Meter Load Disaggregation
ALP: Alleviating CPU-Memory Data Movement Overheads in Memory-Centric Systems
A PUF Based on a Transient Effect Ring Oscillator and Insensitive to Locking Phenomenon
Digital Manipulatives as Scaffolds for Preschoolers' Language Development
An Approach to Optimise Resource Provision with Energy-Awareness in Datacentres by Combating Task Heterogeneity
Concurrency Analysis in Dynamic Dataflow Graphs
Remote Authentication via Biometrics: A Robust Video-Object Steganographic Mechanism Over Wireless Networks
Distributing Tourists among POIs with an Adaptive Trip Recommendation System
Towards Provably-Secure Analog and Mixed-Signal Locking Against Overproduction
Guest Editorial: Special Section on Emerging Topics in the Design of High Performance Internet Routers
Error Detection Schemes Assessed on FPGA for Multipliers in Lattice-Based Key Encapsulation Mechanisms in Post-Quantum Cryptography
Mitigating Process Variability for Non-Volatile Cache Resilience and Yield
Incentive Scheme for Cyber Physical Social Systems Based on User Behaviors
An Experience Replay Method Based on Tree Structure for Reinforcement Learning
BNN An Ideal Architecture for Acceleration With Resistive in Memory Computation
Intelligent Reflecting Surface (IRS) Allocation Scheduling Method Using Combinatorial Optimization by Quantum Computing
Evaluating Reliability of SSD-Based I/O Caches in Enterprise Storage Systems
Optimizing Network Traffic for Spiking Neural Network Simulations on Densely Interconnected Many-Core Neuromorphic Platforms
An Energy-Efficient Computing-in-Memory (CiM) Scheme Using Field-Free Spin-Orbit Torque (SOT) Magnetic RAMs
An Optimized Hardware Implementation of Modular Multiplication of Binary Ring LWE
Guest Editors' Introduction to the Joint Special Section on Secure and Emerging Collaborative Computing and Intelligent Systems
PABLO: A Variation-Robust PIM Architecture for Bulk Bitwise Logical Operations in DRAM
Distributed Client-Server Assignment for Online Social Network Applications
An Obfuscatable Designated Verifier Signature Scheme
Test Versus Security: Past and Present
LocalTGEP: A Lightweight Edge Partitioner for Time-Varying Graph
Service Composition in Cyber-Physical-Social Systems
A Two-Layer Dimension Reduction and Two-Tier Classification Model for Anomaly-Based Intrusion Detection in IoT Backbone Networks
Printability Enhancement with Color Balancing for Multiple Patterning Lithography
EIC Message
Designing an FPGA-Accelerated Homomorphic Encryption Co-Processor
SARVE-2: Exploiting Social Venue Recommendation in the Context of Smart Conferences
One-Spike SNN: Single-Spike Phase Coding With Base Manipulation for ANN-to-SNN Conversion Loss Minimization
Algorithmic-Level Approximate Computing Applied to Energy Efficient HEVC Decoding
Memory Physical Aware Multi-Level Fault Diagnosis Flow
A Parity-Preserving Reversible QCA Gate with Self-Checking Cascadable Resiliency
Scalable and RISC-V Programmable Near-Memory Computing Architectures for Edge Nodes
Temporal Factor-Aware Video Affective Analysis and Recommendation for Cyber-Based Social Media
Editorial Special Section on Emerging Edge AI for Human-in-the-Loop Cyber Physical Systems
Boosting Extra-Functional Code Reusability in Cyber-Physical Production Systems: The Error Handling Case Study
A User Centered Multi-Objective Handoff Scheme for Hybrid 5G Environments
Lightweight Privacy-Preserving Raw Data Publishing Scheme
Guest Editor's Introduction: Special Section on Reliability-Aware Design and Analysis Methods for Digital Systems: From Gate to System Level
Integrated Edge Computing and Blockchain: A General Medical Data Sharing Framework
SPRING: A Sparsity-Aware Reduced-Precision Monolithic 3D CNN Accelerator Architecture for Training and Inference
A Carpooling Recommendation System for Taxicab Services
Analysis of Design Parameters in Safety-Critical Computers
Manifold-Inspired Search-Based Algorithm for Automated Test Case Generation
Engaging Primary and Secondary School Students in Computer Science Through Computational Thinking Training
Temporal Dual-Attributed Network Generation Oriented Community Detection Model
Investigating the Resilience Source of Classification Systems for Approximate Computing Techniques
Two Double-Node-Upset-Hardened Flip-Flop Designs for High-Performance Applications
DWES: A Dynamic Weighted Evaluation System for Scratch based on Computational Thinking
Ubiquitous Monitoring for Industrial Cyber-Physical Systems Over Relay- Assisted Wireless Sensor Networks
A Binary-Activation, Multi-Level Weight RNN and Training Algorithm for ADC-/DAC-Free and Noise-Resilient Processing-in-Memory Inference With eNVM
Anatomy of On-Chip Memory Hardware Fault Effects Across the Layers
Highly Efficient Privacy Preserving Location-Based Services with Enhanced One-Round Blind Filter
DECC: Delay-Aware Edge-Cloud Collaboration for Accelerating DNN Inference
An Exploration of Applying Gate-Length-Biasing Techniques to Deeply-Scaled FinFETs Operating in Multiple Voltage Regimes
Use the Spear as a Shield: An Adversarial Example Based Privacy-Preserving Technique Against Membership Inference Attacks
Reduced Precision Redundancy for Reliable Processing of Data
NP-Dynamic Skybridge: A Fine-Grained 3D IC Technology with NP-Dynamic Logic