Results 221 to 230 of about 90,486 (306)

Formal Verification of Security Proofs of Cryptographic Schemes Using Probabilistic Hoare Logic

, 2012
Takahiro Kubota
openalex   +2 more sources

Performance Comparison Between Deep Learning Models for Fault Classification in Transmission Lines Using Time Series Data

Energy Science &Engineering, EarlyView.
Shows the state of the signal during the no fault. ABSTRACT Deep learning has become a vital tool for addressing complex challenges in power systems, particularly fault detection and classification in transmission lines. This study presents a comparative analysis of three advanced time‐series models like temporal convolutional networks (TCN ...
Nadeem Ahmed Tunio, Mohsin Ali Tunio, Muhammad Amir Raza, Muhammad Faheem, Ashfaque Ahmed Hashmani, Rumaisa Nadeem   +5 more
wiley   +1 more source

Multicriteria Risk Evaluation Model: Utilizing Fuzzy Logic for Improved Transparency and Quality of Risk Evaluation in Healthcare. [PDF]

Risk Manag Healthc Policy
Drnovšek R, Milavec Kapun M, Šteblaj S, Rajkovič U.   +3 more
europepmc   +1 more source

Mod Tanh‐Activated Physical Neural Network MPPT Control Algorithm for Varying Irradiance Conditions

Energy Science &Engineering, EarlyView.
The proposed MPPT controller (CRT‐POA‐PID) is implemented to enhance power efficiency in the PV system. The beta‐distributed point estimation technique is used for mismatch factor correction, improving performance. Simulations show a 98.42% efficiency improvement, a 4.54 dB reduction in total harmonic distortion, and faster convergence compared to ANN ...
Khuong Nguyen‐Vinh, Surender Rangaraju, Michal Jasinski   +2 more
wiley   +1 more source

Translating weighted probabilistic bits to synthetic genetic circuits. [PDF]

Plant Genome
Ciccone MD, Messina CD.
europepmc   +1 more source

Dempster-Shafer vs. Probabilistic Logic

, 2013
Dan Hunter
openalex   +2 more sources

Kullback–Leibler Divergence‐Based Fault Detection Scheme for 100% Inverter Interfaced Autonomous Microgrids

Energy Science &Engineering, EarlyView.
ABSTRACT The development of a dependable and secure protection system is critical for further integration of renewable energy sources into electrical energy systems. To address the bidirectional power flow and limited fault current contribution of 100% inverter‐based microgrids, this article presents a differential fault detection scheme (DFDI) based ...
Ali Mallahi, Iman Sadeghkhani
wiley   +1 more source

Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications

, 2013
Igor Cizelj, Călin Belta
openalex   +2 more sources

Static VAr Compensator Control Using Phasor Measurement Unit Feedback Signals for Voltage Stability Improvement in Power Systems

Energy Science &Engineering, EarlyView.
Static VAr Compensators can provide significant improvement in power system stability. Phasor Measurement Units are used in combination with SVCs for fast and reliable control of its operation. By combining the VAr control and Voltage Regulation control methods of the SVC, superior performance is obtained.
Faris Alsalem, Ayman Faza
wiley   +1 more source

Network dynamics-based subtyping of Alzheimer's disease with microglial genetic risk factors. [PDF]

Alzheimers Res Ther
Choi JH, Lee J, Kang U, Chang H, Cho KH.
europepmc   +1 more source