Mod Tanh‐Activated Physical Neural Network MPPT Control Algorithm for Varying Irradiance Conditions
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+2 more
wiley +1 more source
Andreas Weiermann. How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study. The journal of symbolic logic, vol. 63 (1998), pp. 1348–1370. [PDF]
Thomas Strahm
openalex +1 more source
ABSTRACT The present article explores the frequency control of hybrid power systems integrated with electric vehicles (EVs). The hybrid power system is a complicated nonlinear entity that highlights the significant issue of dynamic control owing to inadequate damping under fluctuating load conditions.
Zahid Farooq+5 more
wiley +1 more source
Book Review: The search for mathematical roots, 1870-1940: Logics, set theories, and the foundations of mathematics from Cantor through Russell to Gödel [PDF]
William Ewald
openalex +1 more source
ABSTRACT This study focuses on wind turbine blade optimization using a MATLAB‐based algorithm, QBlade, and CFD software to improve the performance of micro‐horizontal axis wind turbines (HAWTs) in low wind speed environments, particularly for residential use.
Wissam K. Abbas+2 more
wiley +1 more source
Reasoning in Evaluation: Why Does It Matter?
ABSTRACT This article addresses two significant philosophical debates of importance to the evaluation context, which have transcended science and social sciences for centuries. These debates center around philosophical approaches and approaches to reasoning as they relate to evaluation.
Benjamin Harris, Lyn Alderman
wiley +1 more source
SORT LOGIC AND FOUNDATIONS OF MATHEMATICS
I have argued elsewhere that second order logic provides a foundation for mathematics much in the same way as set theory does, despite the fact that the former is second order and the latter first order, but second order logic is marred by reliance on ad hoc {\em large domain assumptions}.
openaire +5 more sources
Sergei Tupailo. Realization of analysis into explicit mathematics. The Journal of Symbolic Logic, vol. 66 (2001), pp. 1848–1864. [PDF]
Thomas Strahm
openalex +1 more source
A path to reconciliation between Indigenous and settler–colonial epistemologies
There is a movement across settler–colonial institutions of education and research to engage with Indigenous Peoples and Knowledges. Many settler and Indigenous governments are pursuing pathways to move forward together to address global problems such as climate change. However, given the pervasive history of exploitation and displacement of Indigenous
Joseph Gazing Wolf+20 more
wiley +1 more source
1936: Post, Turing and ‘a kind of miracle’ in mathematical logic [PDF]
Graham Hoare
openalex +1 more source