Results 81 to 90 of about 102,741 (269)
Requirement patterns in deductive verification of poST Programs
Моделирование и анализ информационных системProcess-oriented programming is one of the approaches to developing control software. A process-oriented program is defined as a sequence of processes. Each process is represented by a set of named states containing program code that define the logic of ...
Ivan M. Chernenko +2 more
doaj +1 more source
A Galois connection between classical and intuitionistic logics. I: Syntax
, 2017 In a 1985 commentary to his collected works, Kolmogorov remarked that his 1932 paper "was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of logic.
Melikhov, Sergey A.
core
SAND, PLANTATION URBANISM AND THE EXTENDED POLITICAL ECOLOGY OF INFRASTRUCTURES IN INDIA
International Journal of Urban and Regional Research, EarlyView.Abstract Recently, large parts of India and the global South have witnessed widespread sand extraction from rural sites for urban infrastructure projects, causing extensive environmental damage. Critical scholarship has theorized these sites as new extractive frontiers that facilitate the needs of green energy transitions and planetary urbanization. In
Siddharth Menon
wiley +1 more source
The British Journal of Sociology, EarlyView.ABSTRACT Afropessimism is a critical framework that is often used to analyse anti‐Black violence and its deep entrenchment within systems and structures that perpetuate Black subjugation. By conceptualising Black life as ‘non‐life’, afropessimism examines how anti‐Black violence shapes health disparities, influencing who is deemed worthy of care and ...
Tanisha Spratt
wiley +1 more source
Real Estate Economics, EarlyView.Abstract Using a new dataset, we study the pricing of a partial interest in a lumpy asset. Ex ante, it is unclear what a partial interest is worth due to countervailing factors which include asset quality, control benefits, asymmetrical information, and illiquidity.
Kevin C. H. Chiang +2 more
wiley +1 more source
Human Resource Management Journal, EarlyView.ABSTRACT Institutional logics of the market, profession, and state act upon and define success in HR practitioners' work. We examine how HR professionals respond to these co‐existing logics in their day‐to‐day interactions with line managers. Findings based on interviews with 41 HR professionals reveal their navigation of logics as they choose whether ...
Helen Mortimore, Catherine O. Mackintosh
wiley +1 more source
Logics and admissible rules of constructive set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Iemhoff R, Passmann R.
europepmc +1 more source
Human Resource Management Journal, EarlyView.ABSTRACT This paper applies the concept of institutional habitus to analyse the accounts of participants on a talent management (TM) programme that is underpinned by an Exclusive/Developed talent philosophy. In doing so we reveal the structural presence of the organisation in shaping individual expectations and experience on TM programmes, adding to a ...
Tracy Scurry +2 more
wiley +1 more source
Humanimals: A Socio‐Ecological Reading of the Marseille Plague of 1720
Journal for Eighteenth-Century Studies, EarlyView.Abstract The aim of this article is to return to a small number of historically significant first‐person testimonies of the Marseille epidemic of 1720 in order to analyse in detail their construction and depiction of human exceptionality as a form of life in a time of plague.
David McCallam
wiley +1 more source