Results 221 to 230 of about 138,161 (315)
An Intuitionistic Version of Computation Tree Logic
La mia tesi presenta una versione intuizionista della logica temporale CTL, conosciuta come Intuitionistic Computation Tree Logic (ICTL). Ho concentrato i miei sforzi nello sviluppo e nella comprensione di ICTL, che unisce la logica intuizionista e la Computation Tree Logic (CTL).
Andrea Capone +2 more
openaire +1 more source
A new energy paradigm assisted by AI. ABSTRACT The tremendous penetration of renewable energy sources and the integration of power electronics components increase the complexity of the operation and power system control. The advancements in Artificial Intelligence and machine learning have demonstrated proficiency in processing tasks requiring ...
Balasundaram Bharaneedharan +4 more
wiley +1 more source
Coalescent theory of the ψ directionality index. [PDF]
Lappo E, Rosenberg NA.
europepmc +1 more source
This study reveals the temporal and spatial evolution law of roof separation under the karst aquifer and the dynamic water inrush mechanism of roof separation. The FAHP–EWM–CRITIC combination weighting method was established to obtain the risk zoning of bed separation water inrush in a karst landform mining area. ABSTRACT Coalfields in northern Guizhou
Xilong Zhu +5 more
wiley +1 more source
Spatially programmable origami networks enable high-density mechanical computing for autonomous robotics. [PDF]
Hu X, Tan T, Chen Y, Yan Z.
europepmc +1 more source
A hybrid Fuzzy–SVM framework for real‐time dust detection and thermal mapping in PV panels. ABSTRACT Dust accumulation significantly degrades the energy output of photovoltaic (PV) panels, particularly in arid and semi‐arid regions. While existing studies have separately explored image‐based dust detection, environmental modeling, and machine learning (
Debasish Sarker +4 more
wiley +1 more source
Local clustering decoder as a fast and adaptive hardware decoder for the surface code. [PDF]
Ziad AB +6 more
europepmc +1 more source
Abstract This article explores how Afro‐Brazilian communities in Pernambuco respond to state‐led industrial development through culturally rooted practices of resistance and repair. Drawing on archival and ethnographic research in the coastal municipalities of Cabo de Santo Agostinho and Ipojuca, this study traces the effects of Brazil's large‐scale ...
Shelly Annette Biesel
wiley +1 more source
Blockchain consensus mechanism and method for peer-to-peer electricity trading. [PDF]
Wang N, Chen Y, Zhai F, Li B.
europepmc +1 more source
Abstract This article explores how queerness and religion intersect in a unique enactment of Bathukamma, a flower festival honoring the female divine in Hyderabad, the capital of the South Indian state of Telangana. Drawing on theories of figuration, I analyze how local queer organizations celebrate the festival in a way that engages two distinctive ...
Stefan Binder
wiley +1 more source

