Results 1 to 10 of about 82,276 (357)
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 +9 more sources
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 ...
Sandra Johnson +3 more
openalex +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
Impact of the health insurance scheme for stateless people on inpatient utilization in Kraburi Hospital, Thailand [PDF]
Risk Management and Healthcare Policy, 2016 Rapeepong Suphanchaimat,1,2 Phusit Prakongsai,1 Supon Limwattananon,1,3 Anne Mills2 1International Health Policy Program (IHPP), Ministry of Public Health, Faculty of Public Health and Policy, Nonthaburi, Thailand; 2London School of Hygiene and Tropical ...
Suphanchaimat R +3 more
doaj +3 more sources
Statelessness and Microfinance: Can Microfinance Improve the Living Conditions of the Stateless?
Tilburg Law Review, 2014 This paper studies how microfinance can operate in stateless communities and whether it can have a positive long-term impact on such a clientele. First, the principles of microfinance are presented and linked to the needs of the stateless. Then a project
Brian P. Colgan, Ondrej Kolínský
doaj +2 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
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
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
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