Results 181 to 190 of about 106,571 (322)

Completeness and interpolation for intuitionistic infinitary predicate logic, in connection to finitizing the class of representable Heyting polyadic algebras

, 2013
Tarek Sayed Ahmed
openalex   +2 more sources

Formal analysis of signal protocol based on logic of events theory. [PDF]

Sci Rep
Li Z, Xiao M, Xu R.
europepmc   +1 more source

avidaR: an R library to perform complex queries on an ontology-based database of digital organisms. [PDF]

PeerJ Comput Sci, 2023
Ortega R, Fortuna MA.
europepmc   +1 more source

One‐Way Versus Two‐Way Postacquisition Integration Efforts: Theory and Evidence

Journal of Economics &Management Strategy, EarlyView.
ABSTRACT We develop a theory of postacquisition integration that distinguishes between one‐way (acquirer‐only) and two‐way (mutual) effort strategies. We argue that the method of payment—cash versus shares—may serve as an ex ante commitment mechanism to a particular integration strategy, where cash deals align with unilateral effort, and share deals ...
Albert Banal‐Estañol, Joseph A. Clougherty, Jo Seldeslachts, Florian Szücs   +3 more
wiley   +1 more source

Transforming Ontology Web Language Elements into Common Terminology Service 2 Terminology Resources. [PDF]

J Pers Med
Mora S, Gazzarata R, Blobel B, Murgia Y, Giacomini M.   +4 more
europepmc   +1 more source

Algebraisable versions of predicate topological logic

, 2014
Tarek Sayed Ahmed
openalex   +2 more sources

The Ambiguous Ecologies of Agri‐Alternatives: Exploring the Calculus of Social Reproduction in Rural India

Journal of Agrarian Change, EarlyView.
ABSTRACT This paper advances scholarship on agri‐alternatives by probing the gap between romanticised narratives of how alternative farming transitions ought to be and the actual practices farmers enact in their fields. Focusing on moments when such alternatives encounter on‐the‐ground realities, we propose ambiguous ecologies as a lens to explore the ...
Arianna Tozzi, Enid Still
wiley   +1 more source

Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications. [PDF]

Sensors (Basel)
Im E, Choi M, Cho K.
europepmc   +1 more source

Finite-Degree Predicates and Two-Variable First-Order Logic

, 2015
Charles Paperman
openalex   +2 more sources

Racialized Labour in the Colonial Food Regime: The Whitening of England's Farmworkers

Journal of Agrarian Change, EarlyView.
ABSTRACT The crystallization of a colonial food regime in the 1870s centred around Britain is key to historical accounts of agrarian political economy. Yet such accounts have neglected the role of the agrarian proletariat in shaping this regime from below and its basis in racialized hierarchy.
Ben Richardson
wiley   +1 more source