yusuke1997/dblp-id-title huggingface dataset:
Impact of shunt active harmonic filter on harmonic current distortion of voltage source inverter-fed drives
Determining the reactive power from the active power in single phase systems using the extended newton-phaselet method
Design and Evaluation Criteria for High Power Drives
Control strategy for a high power DC transformer with soft switching scheme for mining applications
DC-Link Current Ripple Mitigation of Three-Phase NPC Converters Using Mixed Phase-Disposition Modulation Schemes
Wind diesel battery hybrid system with power quality improvement for remote communities
New Transmission-Line-Parameter Estimation with Synchronization-Mismatch-Free Fault Location
Design of Speed Control Loop of A Variable Speed Diesel Engine Generator by Electric Governor
A Three-Phase Bidirectional DC-DC Converter for Automotive Applications
Current Measurement Gain Tuning Using High Frequency Signal Injection
Floating, Production, Storage, and Offloading Unit: A Case Study Using Variable Frequency Drives
Diagnostics of Insulation Condition and Risk Evaluation of Electrical Machines Employed in Mining Application
Coordinated Control of Grid-connected PMSG Based Wind Energy System with STATCOM and Supercapacitor Energy Storage
Modulation Error Control for Medium Voltage Drives with LC-Filters and Synchronous Optimal Pulse Width Modulation
A New IoT Architecture with Ensemble Machine Learning for Harmonic Monitoring in Grid-Tied Offshore Wind Power Plants
To Bond or Not to Bond: That Is the Question
Development of AI-Driven Lane Detection and Traffic Sign Recognition with DeepLabV3+ and ResNet101
Distributed Coordination of Networked Microgrids for Voltage Support in Bulk Power Grids
Virtual relay design for feeder protection testing with online simulation
A frequency adaptive three-phase Sequence Detector Synchronization System for power systems applications
A multi-layer optimal chiller operation management framework
Statistical process control of the tribocharging of polymer slabs in frictional sliding contact
An interconnection-damping-assignment passivity-based controller for a DC-DC boost converter with a constant power load
A New H7 Transformer-less Single-Phase Inverter to Improve the Performance of Grid-Connected Solar Photovoltaic Systems
Integrated Control and Protection Scheme for Seamless Operation of Microgrid
Modeling of trajectories in an electrodynamic screen for obtaining maximum particle removal efficiency
Lightning protection of the Parthenon: A fractal-based approach
PLC-based Impedance Measurement and Current Injection Response Analysis
Empowering Wireless Charging: Advancements in Voltage Gain Using Switched-Inductor-Capacitor Converter With Voltage Doubler
Performance Comparison and Winding Fault Detection of Duplex 2-Phase and 3-Phase Fault-Tolerant Permanent Magnet Brushless Machines
A Contactless Insulator Contamination Levels Detecting Method Based on Infrared Images features and RBFNN
MPCC with Novel Cost Function for MTPA and Feedback Flux Weakening of IPMSM Drives
GICharm: A System level Analysis tool for Geomagnetic Disturbance related harmonics
Steel Manufacturer Small-Scale Prototype Focused on Industry Application Research
A Polynomial Chaos-based Approach to Quantify Uncertainties of Correlated Renewable Energy Sources on Voltage Regulation
Robust Active Disturbance Rejection Control Based on Optimized Extended State Observer via Adaptive Neural-Network for Induction Motor Drive
Determining Relationship Between Load Type and Its Components in Distribution System Reconfiguration
A distribution grid tied multifunctional SPV system operating with control approach based on decoupled adaptive neural network
Collection of Fine Particles by Novel Wet Electrostatic Precipitator
Parameter identification method for a 3-phase induction heating system
A Cyber-Physical Smart Grid Testbed for Validation of GOOSE-Based Protection Strategies
Disturbance Rejection Based Model Predictive Control for DC-DC Converters in Photovoltaic and Battery Energy Systems of DC-Microgrid
Black Start Strategy of DRU-Based Low-Frequency AC Transmission System for Offshore Wind Power Integration
Optimal Energy Pricing and Dispatch for a Multi-Microgrid Industrial Park Operating Based on Just-In-Time Strategy
Dynamic Clustering Enhanced Ensemble Learning for Distributed Photovoltaic Power Forecasting
Advanced Technology to Increase the Use of PV Energy in Copper Electrowinning
Design and Implementation of Multi-port Energy Routers Towards Future Energy Internet
Optical Characterization of Buruli Ulcer by Diffuse Reflectance using LEDs illumination
Design of an Adaptive Neural Network Controller for a Bidirectional Interlinking Converter in a Hybrid Ac/Dc Microgrid
A systematic approach for medium voltage power factor correction design
ROS-Gazebo and MATLAB Simulations of a Multi-purpose Ground Vehicle
Piecewise Control System Design Based on Modeling Algorithms Using Numerical Data
A Random Access Protocol Based on Idle Pilot Reallocation for Crowded Massive MIMO Systems
A Support Tool for Rapid Deployment of Large Scale Distributed Sensing Systems
Reference Trajectory based Iterative Learning Control for Precision Linear Motor Systems
Multi Sensor based Bearing Fault Diagnosis of Switched Reluctance Motor for Electric Vehicle
Low-cost Biomechanical System for Posture Rectification using IoT Technology
Design and Analysis of Diode Envelope Detector Based on Multisim
Corn Ear Quality Recognition Based on DCGAN Data Enhancement and Transfer Learning
Research of STF-CKF-SLAM algorithm using Variational Bayes
Exploitation Simulation of DNS Spoofing and Ransomware In a Virtualized Android Device
ICECC 2022: The 5th International Conference on Electronics, Communications and Control Engineering, Higashi-ku, Japan, March 25 - 27, 2022
Mask Wearing Detection in Dim Lighting Conditions based on Improved YOLOv5
ICECC 2021: The 4th International Conference on Electronics, Communications and Control Engineering, Seoul, Republic of Korea, April 9 - 11, 2021
Optimization on Replication Performance via Balance Quorum (BQ) and Data Center Selection Method (DCSM) Algorithms in Cloud Environment
No Reference Stereoscopic Video Quality Assessment Considering Self-Attention and Different Resolution Level
Cyber Resilience: Research Opportunities
A state estimator of UAV using time-delayed position and IMU data
Hand Gesture Authentication Using Optimal Feature Selection and Dynamic Time Warping based K-nearest Neighbor
Identifying Users based on their Activity Pattern using Machine Learning
A Detection of Snore based on Breathing Sound Signal for Healthcare
Evaluation of Power Consumption of Entry-Level and Mid-Range Multi-Core Mobile Processor
Enhanced Authentication Mechanism for Automated Teller Machine (ATM) through Implementation of Soft Two-Factor Authentication
A Multi-core LC-based Digitally Controlled Oscillator in 55 nm CMOS
Performance Assessment of Equipment Management Based on Cloud Model
Visual Representation Model for fMRI-based Brain Decoding
QLSFC: An Intelligent Security Function Chain with Q-Learning in SDN/NFV Network
A Temperature-stable dB-linear Dynamic Range Enhanced VGA
Satellite Network State Prediction and Route Planning Policy Using the MPNN Algorithm
Application of Particle Swarm Optimization Algorithm in Power Source Thermal Transient Prediction
Simulating Dispersion of Field-burning Smoke with Cellular Automata
A High-Linearity CMOS Receiver based on N-path Technology in Wideband Operation
Face Recognition (FR) Integration on MABIS: A Mobile Automated Biometric Identification System for Law Enforcement in the Philippines
Design of a Water Collector for High Andean Areas using Peltier Cells and Solar Panels
Classification of Tajweed Al-Qur'an on Images Applied Varying Normalized Distance Formulas
Linear Active Disturbance Rejection Control for Course Keeping in Harbor
Operational Amplifier Based System Development of KAP Measurement
An mmWave Hybrid Beamforming for Steady High-Speed Railway Communications
Proceedings of the 6th International Conference on Electronics, Communications and Control Engineering, ICECC 2023, Fukuoka, Japan, March 24-26, 2023
Conjecture of Quantum Entanglement as a General Mode for Information Transmission
A Model for Victim-Rescuer Communications under Collapsed Structures using Node MCU ESP8266
MBPC Predictive Control Model of a Photovoltaic System for Level Control of a Water Pump
Adaptability of Simple Classifier and Active Learning in Music Emotion Recognition
Accelerating Matrix Power Operations with GPUs
Reduction of Threading Dislocation by Using Pattern Sapphire Substrate on GaN to Enhance Schottky Diode's Performance
Power Flow Analysis Technique for a Networked Microgrid under Grid-Connected and Islanded Operations
User Experience Design in E-Consultation on General Legal Criminals: The Utilization of Alternative Design
Big Health Data Resource Integration Method Based on Hybrid Cloud and Fog Computing
A Study on Long Range Radio Communication for Environmental Monitoring Applications
A Machine Learning Based Fuel Consumption Saving Method with Time and Environment Dependency Aware Management
Fault Detection System of Road Equipment for the Internet of Vehicles
Mel-spectrogram based Approach for Fault Detection in Ball Bearing using Convolutional Neural Network
Using Augmented Reality (AR) to Educate the Student: Bridging the Communication for Internet Addiction
Low-cost Pulse Oximeter for the Measurement of Respiratory Variables using LABVIEW
How Similar is Similar: A Comparison of Bahasa Indonesia and Bahasa Malaysia
ICECC 2020: The 3rd International Conference on Electronics, Communications and Control Engineering, Bali, Indonesia, April, 2020
Solvability and Stability Conditions for the Power Flow equation of DC Microgrid under Master-Slave Control
Distributed Internet of Things Load Balancing using Deep Reinforcement Learning
Performance Comparison of Unsupervised Deep Hashing with Data-independent Hashing for Content-Based Audio Retrieval
Research on Valuation Level Analysis and Prediction Method of Listed Enterprises Based on Market Sales Ratio
Resonance Frequency-Based Desulfator Design for Lead-Acid Batteries
Analysis of Temperature Performance Measurement Demand in Pharmaceutical Cold Storage
Prediction Model of Lake Water Volume Based on K-Means
On the Existence of Unknown Rearrangeable Banyan-type Networks
Enterprise Resource Planning (ERP) System Customization with the Inventory Management Module: Case Study of Rumah Yatim
Graph Structure Exploration for Reinforcement Learning State Embedding - Train Tetris Agent with Graph Neural Network
AI Hardware Oriented Trojan Detection Architecture
Study on the Characteristic of Natural Cavitation with Large Cavitation Number
FirstVR: A Muscle Deformation Sensors Array Device to Detect Finger Gestures and Noise Reduction Case
Designing Secure and Scalable end-to-end Private Network Connections between sites via Overlay Tunnels
A Literature Review on the Various Trends of Digital Forensics Usage in Combating Cybercrimes
Automation of separating screen with particle size regulation
Automation of a Valve Manufacturing Process with 7 Mechatronic Stations and a Robotic Arm through a Network of Profibus DP Industrial Protocol with Master-Slave Configuration
Enhancing Red Tide Image Recognition using Hierarchical Learning Approach based on Semantic Feature
Proceedings of the 2nd International Conference on Electronics, Communications and Control Engineering, ICECC 2019, Phuket, Thailand, April 13 - 16, 2019
Interaction with the Mercurial Robot: Work Assisting Robot Express the Tiredness
Simulation of Independent Speed Steering Control of Four In-wheel BLDC Motors Direct Drive for Electric Vehicle Using Hybrid Fuzzy-PI Controller in MATLAB GUI
Honeypot Detection Method Based on Anomalous Requests Response Differences
Security Vulnerability Analysis using Penetration Testing Execution Standard (PTES): Case Study of Government's Website
An Enhanced Prony Algorithm for On-line Detection of Small Signal Oscillations for Synchrophasor Application
Enhance Algan/Gan Hemts Electrical Performance by Using Patterned Sapphire Substrate
Detection of Stator Faults in Induction Motors Using Alpha-Beta Transform and Image Analysis
Biomechanical Signal Measurement of the Hand and Condition Assessment System using Fuzzy Logic in Parkinson's Patients
An Image Processing Method for Intelligent Vehicle based on MT9V034
A Fast Yield Estimation Approach Considering Foundry Variation for Analog Design
Design of 0.6v 0.01mm2 Sub Sampling PLL Based On Dynamic Double Loops
An Efficient SSHI Interface circuit with Self-adaptive Switch Control for Piezoelectric Energy Harvesting
Systematic Vandermonde CODEC PE for Erasure Codes
An Interpolation Comparative Analysis for Missing Internet Traffic Data
Image Recognition Accuracy, Number of Parameters and Computational Complexity Using Channel Reduction by Dimensional Compression and Attention Function
Multi-objective Optimal Configuration Method for Off-grid Integrated Energy System
Implementation and Evaluation of the Lightweight Cipher SPARKLE
Gesture Recognition System using Optical Muscle Deformation Sensors
Compressive Sensing in Lung Cancer Images for Telemedicine Application
Applications Supercapacitor as a Power Source for Emergency Lighting
Design of a hybrid fiber optic coaxial transmission medium
Low-cost Electrostimulator based on Kotz Waves for the Intensification of Abdominal Muscle Activity
A Fast Aging Simulation Based On Delta Model For Analog Circuit Modification and Verification
Mitigation of Greenhouse Emissions from Transportation Systems Through Modelling and Data
A Cloud Computing Resource Optimal Allocation Scheme Based on Data Correlation Analysis
Autonomous Navigational System for an Industrial AGV using ROS and ZED Stereo Camera
Design and FPGA verification of All-digital Low Order Sigma Delta Modulator with Simple Structure
Satellite Imagery Processing using NDVI for the Detection of Illegal Mining in Chaspa, Puno - Peru
Improved Detection and Recognition of Sea Surface Ships Based on YOLOv3
Remote acquisition and processing of cardiac signals using Arduino and Matlab
Real-time Location based Bluetooth MESH with PUB/SUB Two-way Communication
Explainable AI based Adversarial Examples and its Evaluation
In Deep Security Management Strategy: Vulnerability Assessment Within Educational Institution
A 62.5MHz Bandwidth Third-Order VCO-based Sigma-Delta ADC with a Hybrid Architecture
Characterization of a prototype of atmospheric water collector using Peltier cells model TEC1-12706
Growth Mechanism of Gan Growing on Dome-Shaped Patterned-Sapphire Substrates
Assistant Delivery Robot for Nursing Home using ROS: Robotic prototype for medicine delivery and vital signs registration
Logistic Model-based Measurement and Analysis of Factors Affecting Poverty in Underdeveloped Areas
Design of Microstrip Antenna for Mobile Communication Based on Substrate Integrated Waveguide
An IoT-based Water Level Monitoring and Management System for Open Ditch Drainage
Interval Type-2 Fuzzy Control for Multi-Agent Systems: Application to Formation and Containment Problem of Unmanned Surface Vessels
Design of an IoT Intelligent Container for the Detection and Classification of Recyclable Waste using OpenCV
Graphical User Interface (GUI) Based on the Association of Contextual Cues to Support the Taking of Medications in Older Adults
Fingerprint-based Indoor Localization via Deep Learning
Design and Implementation of a Portable Audio Signal Spectrum Analyzer for Noise Management
Research on the Dynamic Dispatching Algorithm of Cloud Data Center Resource
Regression-based Path Loss Model Correction to Construct Fingerprint Database for Indoor Localization
Design of an alert and monitoring system of vital signs with virtual assistance for older adults with visual disabilities
Salp Swarm Algorithm-Based Nonlinear Robust Control of Magnetic Levitation System Using Feedback Linearization Approach
Power Optimization and Performance Analysis of Underwater Optical Wireless Communication System with MIMO-NOMA under Weak Oceans Turbulence
Prototype of a sensory network of IR signaling by means of an electronic anticovid face shield for the targeting of blind people in Callao, Peru
A Variable Step Size Adaptive Filtering Algorithm with Feedback Mechanism
Invariant properties in a dialog system
L.0: a parallel executable temporal logic language
Adding relational abstraction to programming languages
Application of formal methods to system and software specification
Formal methods in transformational derivation of programs
Applying VDM to large developments
Formal specification for a clinical cyclotron control system
Toward special-purpose program verification
The algebraic specification language LOTOS: an industrial experience
Formal methods in mathematics
Constructing programs in a calculus of lazy interpreters
The role of formal reusable frameworks
Formalised development of software by machine assisted transformation
Structured analysis - formal design, using stream and object oriented formal specifications
Experience with the Larch Prover
Verified program support environments
On the soundness of graphical representations of interconnected processes in LOTOS
Making languages more powerful by removing limitations
Formal manipulation of modular software systems
Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990
Experience with an Estelle development system
Truth - A verification platform for concurrent systems
PAMELA+PVS Verification of Sequential Programs
Lutess: a testing environment for synchronous software
Model Elimination with Simplification and its Application to Software Verification
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems
Applications of the Rel View System
ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies
Towards Light-Weight Verification and Heavy-Weight Testing
Modular reasoning about structured TLA specifications
Tool Integration in the UniForM-Workbench
Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998
Synchronie Workbench
Formal Verification of Statemate-Statecharts
The Term Graph Programming System HOPS
SFI: a Feature Integration Tool
Formal Methods and Tools: Introduction and Overview
Correct Programs without Proof? On Checker-Based Program Verification
Wearable Theatre - Immersive Storytelling and Theatrical VR
Proceedings of the XChange Reality! 2020, XCR 2020, St. Pölten, Austria, April 27-30, 2020
TESTeLAB & Guests: Expanded Animation Worlds (Work in Progress)
Gamifying the Museological Experience
A Proposal for Augmented Situated Visualization Towards EMC Testing
iFAR: mobileAR for Cultural Heritage
E-mpathy and the Phantom Limb Sensation: A Multisensory Experience for Embodiment of Amputation
Design and Implementation of Asynchronous Remote Support
R?ddle: A Fully Decentralized Mobile Game for Fun and Profit
A Tokenomics Conceptual Goal Model
"Are You What You Claim to Be?" Attribute Validation with IOTA for Multi Authority CP-ABE
A Balanced Routing Algorithm for Blockchain Offline Channels Using Flocking
A Survey of Decentralized Storage and Decentralized Database in Blockchain-Based Proposed Systems: Potentials and Limitations
Cryptocurrencies and Price Prediction: A Survey
Privacy in Financial Information Networks: Directions for the Development of Legal Privacy-Enhancing Financial Technologies
Establish Trust for Sharing Data for Smart Territories Thanks to Consents Notarized by Blockchain
Probabilistic Optimization of Optimistic Finality for the Waterfall Consensus Protocol
Mitigation of Scaling Effects in NTF-Based Ticketing Systems
Fuzzy Rules Based Solution for System Administration Security Management via a Blockchain
JabberWok: Blockchain Enabled Decentralized Crowdsourced Data Platform
Extending Trusted DApp Modeling for Decentralized Autonomous Organization Development
Severity Analysis of Web3 Security Vulnerabilities Based on Publicly Bug Reports
Towards Cost-Efficient Management for Power Purchase Agreements Using Blockchain Technology
Exploring User Acceptance of Blockchain-Based Student Certificate Sharing System: A Study on Non-Fungible Token (NFT) Utilization
Lightning Network: A Comparative Review of Transaction Fees and Data Analysis
Managing Write Access Without Token Fees in Leaderless DAG-Based Ledgers
Designing the Chain of Custody Process for Blockchain-Based Digital Evidences
SmartTwin: A Blockchain-Based Software Framework for Digital Twins Using IoT
Towards Informational Self-determination: Data Portability Requests Based on GDPR by Providing Public Platforms for Authorised Minimal Invasive Privacy Protection
Digital Content Verification Using Hyperledger BESU
Analysis of Costs for Smart Contract Execution
Implementation and Evaluation of a Visual Query Language in the Context of Blockchain
Sandboxes and Testnets as "Trading Zones" for Blockchain Governance
Smart Contract Analyzer. A Tool for Detecting Fraudulent Token Contracts
ChronoEOS: Configuration Control System Based on EOSIO Blockchain for On-Running Forensic Analysis
Prototyping a Smart Contract Application for Fair Reward Distribution in Software Development Projects
A Study on Recent Trends of Consensus Algorithms for Private Blockchain Network
Detecting Fraudulent Wallets in Ethereum Blockchain Combining Supervised and Unsupervised Techniques - Using Autoencoders and XGboost
Investigation on Vulnerabilities Location in Solidity Smart Contracts
Blockchain and Applications, 6th International Congress, Salamanca, Spain, 26-28 June 2024
Enhancing IoT Security Through IOTA-Based Identity Management and Machine Learning
A Benchmarking Study of Blockchain-Based Technology Implementation Cost: Public and Private Blockchain for Enterprise Level Organization Using Benchmarking Model
Development of an Open Source IoT-Blockchain Platform for Traceability of Fresh Products from Farm to Fork
Blockchain Assisted Voting in Academic Councils
Blockchain and Applications, 4th International Congress, BLOCKCHAIN 2022, L'Aquila, Italy, 13-15 July 2022
Blockchain and Applications - 3rd International Congress, BLOCKCHAIN 2021, Salamanca, Spain, 6-8 October, 2021
Implementation of Blockchain in the Digital Chain of Custody to Enhance Digital Data Assurance
Data Analysis and Core Findings of Pakistan's National Population Census for a Blockchain-Based Solution
Blockchain Consensus Algorithms: A Survey
Sharding-Based Proof-of-Stake Blockchain Protocol: Security Analysis
Interoperable Industry 4.0 Plant Blockchain and Data Homogenization via Decentralized Oracles
Blockchain-Based Controller Recovery and SDN Forwarding Device Rule Migration for UAVs
Development and Evaluation of a Framework for the Design and Management of Blockchain-Based Process Chains in a Circular Economy
Assigning Monetary Value to Data for Optimizing Decentralized Storage
On (Multi-stage) Proof-of-Works
BlockFLow: Decentralized, Privacy-Preserving, and Accountable Federated Machine Learning
Objective-Aware Reputation-Enabled Blockchain-Based Federated Learning
An Application of Blockchain for Small Size Loans
IPFS and Hyperledger Fabric: Integrity of Data in Healthcare
Performance Evaluation of Quantum-Resistant Cryptography on a Blockchain
An Investigation of Scalability for Blockchain-Based E-Voting Applications
The Communicational Universe of Cryptocurrencies. An Approach to the Current Scientific Importance
Tokenizing the Portuguese Accounting Standards System
Student Certificate Sharing System Using Blockchain and NFTs
Case Study: The Automation of an over the Counter Financial Derivatives Transaction Using the CORDA Blockchain
Anticipatory Policy as a Design Challenge: Experiments with Stakeholders Engagement in Blockchain and Distributed Ledger Technologies (BDLTs)
Industry 4.0 Business-Oriented Blockchain Design Decision Tree
Towards a Secure Data Exchange in IIoT
Digital Identity Using Hyperledger Fabric as a Private Blockchain-Based System
Blockchain and Biometrics: A First Look into Opportunities and Challenges
How Decentralized Autonomous Organizations are Affecting Real Estate
FPCS: Solving n-Spends on a UTXO-Based DLT