Results 121 to 130 of about 12,123 (304)
Energy Science &Engineering, EarlyView.This study introduces bipolar q‐fractional fuzzy sets and new aggregation operators to support renewable energy selection under uncertainty. The proposed decision‐making framework effectively integrates positive and negative evaluations, ensuring consistent ranking and robust performance, as demonstrated through practical analysis and comparative ...
Sagvan Y. Musa +3 more
wiley +1 more source
International Journal of Robust and Nonlinear Control, EarlyView., 2023 Abstract We propose a hierarchical energy management scheme for aggregating Distributed Energy Resources (DERs) for grid flexibility services. To prevent a direct participation of numerous prosumers in the wholesale electricity market, aggregators, as self‐interest agents in our scheme, incentivize prosumers to provide flexibility. We firstly model the
Xiupeng Chen +3 more
wiley +1 more source
Proof Normalization for a First-order Formulation of Higher-order Logic [PDF]
, 1998 Projet COQWe define a notion of cut and a proof reduction process for a class of theories, including all equational theories and a first-order formulation of higher-order logic. Proofs normalize for all equational theories.
Dowek, Gilles
core +1 more source
Existential instantiation and normalization in sequent natural deduction
, 1992 Cellucci, C., Existential instantiation and normalization in sequent natural deduction, Annals of Pure and Applied Logic 58 (1992) 111–148.A sequent conclusion natural deduction system is introduced in which classical logic is treated per se, not as a ...
CELLUCCI, Carlo
core +1 more source
, 2020 Several new asymmetric distributions have arisen naturally in the modeling extreme values are uncovered and elucidated. The present paper deals with the extreme value theorem (EVT) under exponential normalization.
Osama Mohareb Khaled +2 more
core +1 more source
Energy Science &Engineering, EarlyView.We present a smart solar tracking method using artificial intelligence to improve the efficiency of solar panels. Unlike traditional techniques, our system learns and adapts to changing sunlight conditions, ensuring faster and more reliable power generation for real‐world energy needs.
Rida Amine +5 more
wiley +1 more source
Evolutionary dynamics on a regular networked structured and unstructured multi‐population
International Journal of Robust and Nonlinear Control, EarlyView., 2023 Abstract In this paper, we study collective decision‐making in a multi‐population framework, where groups of individuals represent whole populations that interact by means of a regular network. Each group consists of a number of players and every player can choose between two options.
Wouter Baar +2 more
wiley +1 more source
Forced Draught Impact on Externally Venting Flames: An Experimental and Numerical Investigation
Fire and Materials, EarlyView.ABSTRACT Wind can significantly influence fire development and spread in urban and forest environments causing fatal consequences for the public, the first responders, and the environment. Wind‐driven fires can have a significant impact on structural fires as wind can increase the fire's intensity, development, and flame spread.
Anoop Subramania Warrier +5 more
wiley +1 more source
Fire and Materials, EarlyView.ABSTRACT Heat induced delamination (HID) is a phenomenon in engineered wood products which may result in the detachment of the bonded timber lamellae before charring propagates to the bond line interphase. This study aims to correlate the thermal degradation of two 1‐c‐polyurethane adhesives at the microscale to the thermo‐hydro‐mechanical behaviour of
A. Čolić +4 more
wiley +1 more source
Categorical Reconstruction of a Reduction Free Normalization Proof
, 1995 Introduction We present a categorical proof of the normalization theorem for simply typed -calculus, i.e. we derive a computable function nf which assigns to every typed -term a normal form, s.t.
Martin Hofmann +5 more
core +1 more source