Results 51 to 60 of about 102,741 (269)
Development of an Intelligent Energy Management System to Improve BESS State of Health
Battery Energy, EarlyView.The rise of renewable energy sources is accompanied by a depletion of raw materials used in batteries. The project summarized in this paper presents a control system aiming to reduce blackout occurrences in PV‐powered systems and increase the lifespan of batteries by 33%. ABSTRACT The energy management system (EMS) is becoming a focal point of research
Danny Khoury +5 more
wiley +1 more source
On Automated Lemma Generation for Separation Logic with Inductive Definitions [PDF]
, 2015 Separation Logic with inductive definitions is a well-known approach for deductive verification of programs that manipulate dynamic data structures. Deciding verification conditions in this context is usually based on user-provided lemmas relating the ...
B Cook +14 more
core +4 more sources
Decoding RNA–Protein Interactions: Methodological Advances and Emerging Challenges
Advanced Genetics, EarlyView.This review provides a comprehensive comparison of RNA‐ and protein‐centric methodologies for investigating RNA–protein interactions, emphasizing their respective advantages, limitations, and suitable applications. It highlights recent technological innovations, outlines strategic method selection criteria, and addresses key challenges.
Wenkai Yi, Jian Yan
wiley +1 more source
LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols
IEEE Access, 2019 Nowadays, more and more new cryptographic protocols are emerging, and the security analysis of emerging cryptographic protocols is increasingly important.
Jiawen Song +4 more
doaj +1 more source
Effectively Solving NP-SPEC Encodings by Translation to ASP [PDF]
, 2015 NP-SPEC is a language for specifying problems in NP in a declarative way. Despite the fact that the semantics of the language was given by referring to Datalog with circumscription, which is very close to ASP, so far the only existing implementations are
Drescher C. +3 more
core +1 more source
InfoMat, EarlyView.This study introduces a novel probabilistic bit (p‐bit) device utilizing advanced materials, hexagonal boron nitride (h‐BN) and tin disulfide (SnS2), to enhance durability and energy efficiency in computational applications. By leveraging the stochastic behavior of electron trapping and detrapping at the h‐BN/SnS2 interface, the device achieves ...
Joon‐Kyu Han +5 more
wiley +1 more source
The Negation of Content Participation of the Concept of Existence in Islamic Gnosis and Transcendent Theosophy [PDF]
حکمت معاصر, 2013 In science of logic equivocation and content participation has been described on the basis of the literary contractions among men of letters, but Mulla Sadra referring to that philosopher doesn't pay attention to these contractions, explains the two ...
Morteza Shajari, Leila Ghorbani Alvar
doaj
Refinement Calculus of Reactive Systems
, 2014 Refinement calculus is a powerful and expressive tool for reasoning about sequential programs in a compositional manner. In this paper we present an extension of refinement calculus for reactive systems.
Preoteasa, Viorel, Tripakis, Stavros
core +1 more source
Divergent Perception: Framing Creative Cognition Through the Lens of Sensory Flexibility
The Journal of Creative Behavior, EarlyView.ABSTRACT Creativity is a cornerstone of human evolution and is typically defined as the multifaceted ability to produce novel and useful artifacts. Although much research has focused on divergent thinking, growing evidence underscores the importance of perceptual processing in fostering creativity, particularly through perceptual flexibility.
Antoine Bellemare‐Pepin, Karim Jerbi
wiley +1 more source
Hybrid Coping: The Impact of Covid‐19 on Social Enterprise Resilience
Nonprofit Management and Leadership, EarlyView.ABSTRACT This article explores the impact of Covid‐19 on nonprofit resilience, utilizing the UK social enterprise ecosystem as the area of focus. The article engages the theoretical concepts of organizational resilience and community engagement; specifically, how these are impacted by exogenous shocks that change ecosystem dynamics. The article focuses
Richard Hazenberg +1 more
wiley +1 more source