To Formalize or Not to Formalize: Women Entrepreneurs’ Sensemaking of Business Registration in the Context of Nepal
Sign Up to like & getrecommendations! Published in 2020 at "Journal of Business Ethics"
DOI: 10.1007/s10551-020-04541-1
Abstract: Despite the depiction of decisions to formalize informal firms as rational and ethical, many entrepreneurs in developing countries continue to operate informally regardless of its perceived illicit status. While existing research on why entrepreneurs choose… read more here.
Keywords: formalize formalize; informal economy; formalize women; women entrepreneurs ... See more keywords
Formalization of the Resolution Calculus for First-Order Logic
Sign Up to like & getrecommendations! Published in 2017 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-017-9447-z
Abstract: I present a formalization in Isabelle/HOL of the resolution calculus for first-order logic with formal soundness and completeness proofs. To prove the calculus sound, I use the substitution lemma, and to prove it complete, I… read more here.
Keywords: resolution; first order; calculus; order logic ... See more keywords
Selected Extended Papers of ITP 2017
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-018-09500-0
Abstract: This special issue contains extended versions of selected contributions of the eighth International Conference on Interactive Theorem Proving (ITP 2017). The conference was held in Brasília, Brazil, on September 2017 and its proceedings appeared as… read more here.
Keywords: itp 2017; selected extended; extended papers; conference ... See more keywords
Formalization of Geometric Algebra in HOL Light
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-018-9498-9
Abstract: Although the theories of geometric algebra (GA) are widely applied in engineering design and analysis, the studies on their formalization have been scarcely conducted. This paper proposes a relatively complete formalization of GA in HOL… read more here.
Keywords: geometric algebra; formalization geometric; algebra hol; formalization ... See more keywords
Territorialities, spatial inequalities and the formalization of land rights in Central Benin
Sign Up to like & getrecommendations! Published in 2019 at "Africa"
DOI: 10.1017/s0001972019000111
Abstract: Abstract The formalization of ‘informal’ customary land rights is at the core of current rural land policies in Africa. The dubious impacts of such policies on agricultural production, and the recomposition of land rights and… read more here.
Keywords: land rights; spatial inequalities; formalization; central benin ... See more keywords
Managing formalization to increase global team effectiveness and meaningfulness of work in multinational organizations
Sign Up to like & getrecommendations! Published in 2019 at "Journal of International Business Studies"
DOI: 10.1057/s41267-019-00226-8
Abstract: Global teams may help to integrate across locations, and yet, with formalized rules and procedures, responsiveness to those locations’ effectiveness, and the team members’ experiences of work as meaningful may suffer. We employ a mixed-methods… read more here.
Keywords: los; que; como; formalization ... See more keywords
How do family SMEs build organizational resilience? An analysis of the agri-food supply chain
Sign Up to like & getrecommendations! Published in 2025 at "Journal of Risk Research"
DOI: 10.1080/13669877.2025.2539112
Abstract: Abstract Traditionally, resilience in family firms has been studied ex post, analyzing outcomes after a crisis. However, the ex ante perspective—the active process of building resilience—remains largely unexplored. This is crucial for family-owned SMEs given… read more here.
Keywords: family; agri food; family smes; formalization ... See more keywords
The Formalization of Banking Supervision in Japan and Sweden
Sign Up to like & getrecommendations! Published in 2019 at "Social Science Japan Journal"
DOI: 10.1093/ssjj/jyz011
Abstract: This study examines the formalization of banking supervision in Japan and Sweden that occurred in the decades around 1900. Using an incremental change approach, we examine the respective cases along three dimensions: (a) the legal… read more here.
Keywords: formalization banking; formalization; supervision; japan sweden ... See more keywords
To be, or not to be in formalization: the relationship between HR practices and work engagement in the aviation industry
Sign Up to like & getrecommendations! Published in 2024 at "Aircraft Engineering and Aerospace Technology"
DOI: 10.1108/aeat-09-2023-0230
Abstract: Purpose This study aims to examine the moderating role of formalization in the relationship between human resources (HR) practices and work engagement (WE) in aviation industry employees. The research revealed the moderator role of formalization,… read more here.
Keywords: aviation; aviation industry; formalization; formalization relationship ... See more keywords
The Jordan Compact, Refugee Labour and the Limits of Indicator‐oriented Formalization
Sign Up to like & getrecommendations! Published in 2024 at "Development and Change"
DOI: 10.1111/dech.12824
Abstract: This article explores the significance of initiatives to formalize the labour market participation of refugees. Many practitioners believe that formalization is a panacea for improving the lives of marginalized workers, including refugees. This article argues,… read more here.
Keywords: jordan compact; indicator oriented; article; formalization ... See more keywords
A NEW FORMALIZATION OF DECISION-MAKERS' NEEDS
Sign Up to like & getrecommendations! Published in 2018 at "International Journal of Geomate"
DOI: 10.21660/2018.49.190317
Abstract: The development of a BI project goes through several phases. The analysis phase remains an upstream phase, which requires further investigation to overcome the major problems that arise during this phase and to anticipate the… read more here.
Keywords: decision makers; formalization decision; new version; makers needs ... See more keywords