Results 1 to 10 of about 68,865 (316)
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
Information, 2020 Energy consumption is a relevant matter in the design of IoT applications. Edge units—sensors and actuators—save energy by operating intermittently. When idle, they suspend their operation, losing the content of the onboard memory.
Augusto Ciuffoletti
doaj +3 more sources
Moving Statelessness Forward on the International Agenda
Tilburg Law Review, 2014 This paper aims at shedding more light on the recent re-emergence of the issue of statelessness on the international agenda, from a government perspective.
Tamás Molnár
doaj +2 more sources
Tilburg Law Review, 2014 If rising seas render small islands uninhabitable, will displaced islanders become stateless? The modern intellectual and legal tradition tells us that states must have defined, habitable territory. If so, small islands will cease to be states, and their
Heather Alexander, Jonathan Simon
doaj +4 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 +3 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
Forced Migration Review, 2014 A group of people of nomadic lifestyle in eastern Afghanistan has reportedly recently been forcibly relocated because of their lack of identity documents: yet another cause of displacement in Afghanistan that requires a just and sustainable solution.
Maira Kuppers
doaj +2 more sources
Stateless process enactment [PDF]
Proceedings of the 14th Conference on Pattern Languages of Programs, 2007 John from the claims department at InsuranceCo is quite dissatisfied after his exploratory study of some popular work-flow engines available in the market. In his opinion, they all act like some "Big Brother" who needs complete control over all existing information systems.
Raf Haesen +5 more
openalex +4 more sources