Results 1 to 10 of about 18,871 (325)
Much room for change: access to surgical care for stateless individuals in Pakistan [PDF]
Globalization and Health, 2023 Background As developing countries take steps towards providing universal essential surgery, ensuring the equitable distribution of such care for underrepresented populations is a vital function of the global surgery community.
Humza Thobani +3 more
doaj +2 more sources
Stateful to Stateless: Modelling Stateless Ethereum [PDF]
Electronic Proceedings in Theoretical Computer Science, 2022 The concept of 'Stateless Ethereum' was conceived with the primary aim of mitigating Ethereum's unbounded state growth. The key facilitator of Stateless Ethereum is through the introduction of 'witnesses' into the ecosystem. The changes and potential consequences that these additional data packets pose on the network need to be identified and analysed ...
Johnson, Sandra +3 more
openaire +4 more sources
Status of the stateless population in Thailand: How does stigma matter in their life?
PLoS ONE, 2022 BackgroundThe stateless population in Thailand live by accessing all public services, including the health care system. Stigma is a crucial factor impacting these individuals' lives and their access to medical care.
Siwarak Kitchanapaibul +10 more
doaj +3 more sources
Electronic Proceedings in Theoretical Computer Science, 2011 We present a version of the HOL Light system that supports undoing definitions in such a way that this does not compromise the soundness of the logic. In our system the code that keeps track of the constants that have been defined thus far has been moved
Freek Wiedijk
doaj +5 more sources
UUM Journal of Legal Studies, 2022 Millions of people worldwide remain stateless with various breakdowns in many regions (UN, 2018). As of 2019, the United Nations High Commissioner for Refugees (hereinafter UNHCR) estimated a total of 3.9 million stateless people in the world (UNHCR ...
Kanageswary Sanggitha Selvakumaran +2 more
doaj +3 more sources
Manufacturing Statelessness [PDF]
American Journal of International Law, 2022 AbstractHaving recently emerged from its unenviable status as the runt of international law, the phenomenon of statelessness nonetheless eludes traditional international legal instruments. Confronted with questions of nationality that typically fall within the domain of sovereignty, international and regional human rights bodies struggle to rein in the
openaire +2 more sources
RULE OF LAW, STATELESS INDIANS AND EMPLOYMENT RIGHTS
UUM Journal of Legal Studies, 2020 This paper focuses on the Rule of Law and it’s reach in terms of the stateless Indian in Malaysia. The term rule of law has been a term used by politicians to secure political mileage during election campaign periods and continues to be used upon ...
Tamara Joan Duraisingam +2 more
doaj +5 more sources
PP5GS—An Efficient Procedure-Based and Stateless Architecture for Next-Generation Core Networks
IEEE Transactions on Network and Service Management, 2023 The introduction of the Service-Based Architecture (SBA) for the 5G Core Networks has drastically changed the way these networks are designed and operated.
Endri Goshi +5 more
semanticscholar +1 more source
A case for stateless mobile core network functions in space
Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, 2022 Is it worth and feasible to push mobile core network functions to low-earth-orbit (LEO) satellite mega-constellations? While this paradigm is being tested in space and promises new values, it also raises scalability, performance, and security concerns ...
Yuanjie Li +8 more
semanticscholar +1 more source
Stateless Model Checking under a Reads-Value-From Equivalence [PDF]
International Conference on Computer Aided Verification, 2021 Stateless model checking (SMC) is one of the standard approaches to the verification of concurrent programs. As scheduling non-determinism creates exponentially large spaces of thread interleavings, SMC attempts to partition this space into equivalence ...
Pratyush Agarwal +4 more
semanticscholar +1 more source