Results 101 to 110 of about 27,469 (324)
A formal model of Algorand smart contracts [PDF]
arXiv, 2020 We develop a formal model of Algorand stateless smart contracts (stateless ASC1.) We exploit our model to prove fundamental properties of the Algorand blockchain, and to establish the security of some archetypal smart contracts. While doing this, we highlight various design patterns supported by Algorand.
arxiv
Reinforcement Learning in Modern Biostatistics: Constructing Optimal Adaptive Interventions
International Statistical Review, EarlyView.Summary In recent years, reinforcement learning (RL) has acquired a prominent position in health‐related sequential decision‐making problems, gaining traction as a valuable tool for delivering adaptive interventions (AIs). However, in part due to a poor synergy between the methodological and the applied communities, its real‐life application is still ...
Nina Deliu +2 more
wiley +1 more source
DSCMC: Distributed Stateless Code Model Checker [PDF]
Trustworthy Computing Laboratory, School of Computer Engineering,
Iran University of Science and Technology, Tehran, Iran, 2014, 2016 Stateless code model checking is an effective verification technique, which is more applicable than stateful model checking to the software world. Existing stateless model checkers support the verification of neither LTL formulae nor the information flow security properties.
arxiv
Optimizing the assignment decisions in the refugee resettlement process
International Transactions in Operational Research, EarlyView.Abstract The number of asylum applications in the European Union has significantly increased in recent years, highlighting the need for effective decision‐making in the resettlement process. This research focuses on the refugee status and the resettlement process that transfers refugees from an asylum country to a receiving country. Integration plays a
Jesica de Armas +3 more
wiley +1 more source
UNHCR and responses to statelessness [PDF]
Forced Migration Review, 2009 UNHCR and other actors have stepped up efforts to address statelessness. However, the global impact of statelessness is not yet sufficiently understood and far more needs to be done.
Mark Manly, Santhosh Persaud
doaj
A measure of state transition of collective of stateless automata in discrete environment [PDF]
arXiv, 2010 In this work a collective of interacting stateless automata in a discrete geometric environment is considered as an integral automata-like computational dynamic object. For such distributed on the environment object different approaches to definition of the measure of state transition are possible.
arxiv
Journal of Advanced Nursing, Volume 81, Issue 6, Page 2929-2945, June 2025.ABSTRACT Aim To map the existing evidence and identify research gaps regarding the self‐management of prediabetes or type 2 diabetes among first‐generation immigrants ≥ 18 years. Design A scoping review followed the JBI guidelines and was in accordance with the PRISMA extension for Scoping Reviews.
Min Zhang +3 more
wiley +1 more source
Looking Beyond Invisibility: Rohingyas’ Dangerous Encounters with Papers and Cards
Tilburg Law Review, 2019 State registration and identity documents are often promoted as a way to lift an individual out of the condition of statelessness and begin to redress their deficit of rights.
Natalie Brinham
doaj +1 more source
Implementing Behavior Trees using Three-Valued Logic [PDF]
arXiv, 2020 With consideration to behavior trees and their relevance to planning and control, within and without game development, the distinction between stateful and stateless models is discussed; a three-valued logic bridging traditional control flow with behavior trees is introduced, and a C# implementation is presented.
arxiv
Gilroy's Black Atlantic diaspora: climate displacement and rights‐bearing beyond the nation
Nations and Nationalism, EarlyView.Abstract Nationalism studies have only recently started to grapple with the Anthropocene as a foundational shift for the discipline. One of the effects of climate change is the forced displacement of large populations, and if access to rights cannot be ensured outside the structures of territorial sovereignty, this migration could easily translate into
Nanna Lilletvedt Sæten
wiley +1 more source