Results 11 to 20 of about 4,530 (127)
Iteration and iterative equation on lattices
, 2021 20 ...
Gopalakrishna, Chaitanya, Zhang, Weinian
openaire +2 more sources
From Iterative Algebras to Iterative Theories
Electronic Notes in Theoretical Computer Science, 2004 Iterative theories introduced by Calvin Elgot formalize potentially infinite computations as solutions of recursive equations. One of the main results of Elgot and his coauthors is a description of a free iterative theory as the theory of all rational trees. Their algebraic proof of this fact is extremely complicated.
Jiří Adámek +2 more
openaire +1 more source
Iterated binomial sums and their associated iterated integrals [PDF]
Journal of Mathematical Physics, 2014 We consider finite iterated generalized harmonic sums weighted by the binomial \documentclass[12pt]{minimal}\begin{document}$\binom{2k}{k}$\end{document}2kk in numerators and denominators. A large class of these functions emerges in the calculation of massive Feynman diagrams with local operator insertions starting at 3-loop order in the coupling ...
Ablinger, J. +3 more
openaire +5 more sources
Swarm‐Optimized ZnO/CdS/CIGS/GaAs Solar Cell for Enhanced Efficiency and Thermal Resilience
Advanced Energy and Sustainability Research, EarlyView.This article addresses the problem of optimizing the efficiency and thermal resilience of ZnO/CdS/CIGS solar cells, which are promising but still face challenges in maximizing performance under high‐temperature conditions and concentrated sunlight. The main issue is enhancing the efficiency of these cells while also ensuring that they can withstand the
Habib Ullah Manzoor +4 more
wiley +1 more source
Iterations and fixpoints [PDF]
Pacific Journal of Mathematics, 1977 Starting with a decreasing map φ: X —»X on a partially ordered set X we construct a map It φ which intuitively can be understood as the iteration (countable or transfinite) of φ. The main properties which It φ inherits from ψ are investigated. As application of the main result some fixpoint theorems are proved.
openaire +3 more sources
Dual Neural Network Framework with SPICE Integration for Fast and Accurate Transistor Modeling
Advanced Intelligent Systems, EarlyView.Neural network (NN)‐based compact transistor models are often deployed and evaluated standalone due to the lack of compatibility with existing simulation program with integrated circuit emphasis (SPICE) software. Herein, the proposed dual‐NN framework with the best trade‐off between high speed and high accuracy is integrated into commercial SPICE ...
Rodion Novkin, Hussam Amrouch
wiley +1 more source
Renewable Energy Source Integration With Intelligent Neuro‐Fuzzy Control for Microgrid System
Battery Energy, EarlyView.A Landsman converter with high amplification is employed to optimize voltage generated by solar panels due to their relatively low output. An unstable and often fluctuating converter output is stabilized by the ANFIS controller. The error signal is acquired through reference voltage comparison analysis V DC ref ${{V}}_{{{DC}}_{{ref}}}$ to the actual DC
Chaladi S. Ganga Bhavani +3 more
wiley +1 more source
Electronic Proceedings in Theoretical Computer Science, 2020 Iterative algorithms are traditionally expressed in ACL2 using recursion. On the other hand, Common Lisp provides a construct, loop, which -- like most programming languages -- provides direct support for iteration. We describe an ACL2 analogue loop$ of loop that supports efficient ACL2 programming and reasoning with iteration.
J. Strother Moore, Matt Kaufmann
openaire +3 more sources
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 +2 more
wiley +1 more source
Medical Physics, EarlyView.Abstract Background Semi‐supervised segmentation leverages sparse annotation information to learn rich representations from combined labeled and label‐less data for segmentation tasks. The Match‐based framework, by using the consistency constraint of segmentation results from different models/augmented label‐less inputs, is found effective in semi ...
Guoping Xu +5 more
wiley +1 more source