Results 31 to 40 of about 1,544 (260)
Revista Trabalho, Política e Sociedade, 2020 The article analyzes the development of the bourgeois conception of technological education withinthe process of institutionalizing and implementing the science and technology policy, later called the science, technology and ...
Zuleide S. Silveira
doaj +1 more source
Subsumption computed algebraically
Computers & Mathematics with Applications, 1992 AbstractThis paper deals with terminological representation languages for KL-ONE-type knowledge representation systems. Such languages are based on the two primitive syntactic types called concepts and roles, which are usually represented model-theoretically as sets and binary relations, respectively. Rather than following the model-theoretic route, we
Brink, C., Schmidt, R.
openaire +2 more sources
Real Subsumption of Labor Under Capital and Dispossession Practices. Questions to Michael Hardt.
Praktyka Teoretyczna, 2015 Real Subsumption of Labor Under Capital and Dispossession Practices. Questions to Michael Hardt.
Piotr Juskowiak
doaj +1 more source
Subsumption and Connection Graphs [PDF]
, 1981 A subsumption test based on the principal idea of Kowalski’s connection graph proof procedure is developed. In contrast to the standard test this new test is sufficiently efficient to permit the unrestricted use of the subsumption rule in practice. The test is not limited to the connection graph proof procedure, but most naturally embedded into it.
openaire +2 more sources
Advanced Materials, EarlyView.This work develops bias‐triggered conductivity relaxation as a novel technique to study oxygen reactions in mixed ionic‐electronic conducting thin films by integrating electrochemical titration and electrical conductivity relaxation to achieve synchronous multi‐parameter characterization, providing simultaneous electronic, ionic, and extraordinarily ...
Alexander Stangl +4 more
wiley +1 more source
Extraction of Poetic and Non-Poetic Relations From of-Prepositions Using WordNet
IEEE Access, 2022 The main goal of this paper is to extract the semantic relations underpinning the concepts of English prepositional of-constructions derived from poetic and non-poetic datasets, using Princeton WordNet.
Christiana Panayiotou
doaj +1 more source
, 1985 Subsumption algorithms are used in resolution oriented theorem proving to eliminate redundant clauses from the search space. In a recent paper, the authors have introduced a new subsumption algorithm DC (Division into Components) which is much more efficient than the standard algorithms. In the present paper two new results are stated.
Gottlob, G, Leitsch, A
openaire +2 more sources
Advanced Science, EarlyView.Expanded‐graphite/graphene‐nanoplatelet hybrids deliver a near‐order‐of‐magnitude thermal‐conductivity enhancement in paraffin phase‐change materials. A microCT‐informed 3D modeling framework resolves the percolating EG backbone and captures sub‐voxel GNP enrichment, quantitatively linking microstructure to heat flow and revealing a graphene‐enabled ...
Thomas Hoke +4 more
wiley +1 more source
The Bitter Taste of Brazil's Temporary Import Ban on Robusta Coffee
Agribusiness, EarlyView.ABSTRACT Brazil, a leading Robusta coffee producer and exporter, faced a significant drought in 2016–2017, which drastically reduced production and depleted stocks. Consequently, Brazil temporarily permitted the import of one million 60‐kg bags of Robusta coffee in the spring 2017. An import ban was imposed shortly afterward due to lobbying by domestic
Hanifi Otgun +2 more
wiley +1 more source
Annals of Gastroenterological Surgery, EarlyView.This study utilized high‐resolution CT colonography‐angiography to systematically classify vascular branching patterns in 591 patients. We defined four reproducible anatomical patterns each for right hemicolectomy and transverse colectomy, demonstrating that an independent‐origin middle colic artery consistently predicts shorter dissection distances ...
Takeharu Kato +8 more
wiley +1 more source