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
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
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
Knowledge Formalization to Support Decision-Making in Heart Failure Treatment
Sign Up to like & getrecommendations! Published in 2018 at "Studies in health technology and informatics"
DOI: 10.3233/978-1-61499-921-8-137
Abstract: This paper presents medical knowledge representation of data provided within Clinical Practice Guidelines for Heart Failure. The formalization is provided in order to support taking decisions on an appropriate treatment strategy for a specific patient.… read more here.
Keywords: knowledge; knowledge formalization; heart failure; decision making ... See more keywords