Results 101 to 110 of about 31,249 (277)
Systems Research and Behavioral Science, EarlyView.ABSTRACT Higher education institutions operate in complex environments that challenge conventional approaches to quality assurance, improvement and enhancement. Drawing on organisational cybernetics and complexity‐aware evaluation, this study develops a viable change framework (VCF) linking a programme's theory of change (ToC) with a viable system ...
Andrea Clark, Sarah Carr, Jeff Foote
wiley +1 more source
Theoretical Computer Science, 1991 AbstractWe introduce a logical notion of well-guardedness for recursive terms on arbitrary signatures defined in Plotkin's framework of structural operational specifications, restricted by se Simone's realizability requirements. We then suggest a simpler form for the logical rule that gives the behaviour of a recursively defined expression in terms of ...
Éric Badouel, Philippe Darondeau
openaire +1 more source
, 2002 We introduce a variant of Spector's bar recursion (called "modified bar recursion'') in finite types to give a realizability interpretation of the classical axiom of countable choice allowing for the extraction of witnesses from proofs of Sigma_1 ...
Oliva, Paulo B., Berger, Ulrich
core
Severity‐Based Reliability Assessment of Energy Communities
Safety Science and Technology, EarlyView.We develop a severity‐based semi‐Markov framework that replaces binary generation‐demand adequacy with a time‐varying, multistate classification of renewable‐energy shortfalls. The method quantifies shortfall probability, magnitude, persistence, first‐passage time, and unsafe occupation, and derives a cyclo‐stationary severity law to support safety ...
Guglielmo D'Amico +2 more
wiley +1 more source
Systems Engineering, EarlyView.ABSTRACT Mission Engineering is maturing as a Systems Engineering discipline, yet adoption of its common frameworks remains stratified. This study examines whether selective adoption is observable across ME scholarship and develops a framework to address identified barriers.
James Moreland +4 more
wiley +1 more source
Single‐image deraining algorithm based on multi‐stage recurrent network
IET Image ProcessingThe damage caused by the rain streak attached to the rainy image to the background seriously affects the analysis of image information and subsequent research.
Chen Li, Xueting Li, Yecai Guo, Jia Li
doaj +1 more source
Proceedings of the National Academy of Sciences, 1968 Eilenberg, S., Elgot, C. C.
openaire +3 more sources
Against All Odds?—A Surprisingly Not So Easy Dice Game
Teaching Statistics, EarlyView.ABSTRACT A game with 11 players, 2 dice, and simple rules. However, it turns out that the best strategy is not only absent from the literature, but that misconceptions about winning strategies also prevail among surveyed students. This makes it all the more surprising that it is not so easy to get to the bottom of the game mathematically.
Christoph Oberbucher +1 more
wiley +1 more source
Enabling Deep Recursion in C++
ComputersRecursion is often presented as a nice and illustrative technique, only to later conclude that it should (almost) never be used due to potential problems with call stack overflow.
Saša N. Malkov +2 more
doaj +1 more source
Energy Internet, EarlyView.ABSTRACT Power system operation is inherently a sequential decision‐making problem, traditionally addressed through optimisation models built upon high‐quality load forecasts. However, the rapid proliferation of renewable generation and price‐responsive demands, such as electric vehicles and merchant energy storage, has introduced multiple sources of ...
Wei Wei, Runze Liang
wiley +1 more source