Results 51 to 60 of about 101,814 (276)
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
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
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
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
Environmental Policy and Governance, EarlyView.ABSTRACT In this paper, we consider knowledge cumulation in one of the most polarized areas of environmental governance research: forest carbon offsetting in developing countries. Our specific contribution is a critical review of the ontological and epistemological positioning of 31 studies published in the peer‐reviewed literature on forest carbon ...
Mark Purdon, Patrick Byakagaba
wiley +1 more source
Future in Educational Research, EarlyView.ABSTRACT This conceptual essay, grounded in a close reading of Plato's Theaetetus, argues that before educators can effectively operationalise critical thinking as the rigorous evaluation ('stress‐testing') of competing knowledge claims, university students must first understand foundational epistemological principles rooted in Plato's tripartite ...
Gerry Dunne
wiley +1 more source
Human Resource Management, EarlyView.ABSTRACT We note that while the institutional environment determines the actions and structures of constituent organizations, there are still limited insights available in the literature on the nature and process of interactions between key stakeholders in ambulance services, especially as they respond during a significant crisis.
Ashish Malik +3 more
wiley +1 more source
Anticipation as prediction in the predication of data types [PDF]
, 2009 Every object in existence has its type. Every subject in language has its predicate. Every intension in logic has its extension. Each therefore has two levels but with the fundamental problem of the relationship between the two.
Heather, Michael, Rossiter, Nick
core
, 2016 Quantified Boolean formulas (QBFs) generalize propositional formulas by admitting quantifications over propositional variables. QBFs can be viewed as (restricted) formulas of first-order predicate logic and easy translations of QBFs into first-order ...
Egly, Uwe
core +2 more sources
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