Results 31 to 40 of about 2,282,903 (300)

Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1 [PDF]

, 2017
In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic.
Ciuciura, Janusz, Janusz Ciuciura
core   +2 more sources

A thermal logic device based on fluid-solid interfaces [PDF]

, 2013
Thermal rectification requires that thermal conductivity not be a separable function of position and temperature. Investigators have considered inhomogeneous solids to design thermal rectifiers but manipulations of solid lattices are energy intensive. We
Ishwar K. Puri (8002337), Sohail Murad (2553256)   +1 more
core   +3 more sources

Design control system of auto air remaining machine based on programmable logic controller in the automotive manufacturing industry

MATEC Web of Conferences, 2018
This research was conducted in one of automotive manufacturing industry of shock absorber. Air remaining is the process of preparing Shock Absorber to achieve ideal conditions i.e. ready to test the quality of its damping power.
Ardi Syahril, Cascarine Laurentia Tricilya   +1 more
doaj   +1 more source

A Fuzzy Logic Approach for the Reduction of Mesh-Induced Error in CFD Analysis: A Case Study of an Impinging Jet

Entropy, 2019
A crucial step in any computational fluid dynamics (CFD) analysis is the discretization of the domain because it influences truncation errors, numerical stability, and the convergence of the model.
Marcin Sosnowski, Jaroslaw Krzywanski, Radomir Scurek   +2 more
doaj   +1 more source

What can functional transcranial Doppler ultrasonography reveal about the cerebral lateralization of writing

FEBS Letters, EarlyView.
Which brain hemisphere controls writing? This review synthesizes all five functional transcranial Doppler studies of writing (handwriting and typing) published to date in adults and children. Right‐handers show left‐hemispheric dominance for the linguistic component of writing (written word generation), whereas findings for left‐handers remain ...
Marietta Papadatou‐Pastou
wiley   +1 more source

Logic AND gate for fluid circuits Patent [PDF]

, 1970
Logic AND gate for fluid ...
Hellbaum, R. F.
core  

Amortised Resource Analysis with Separation Logic [PDF]

, 2010
Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete ...
Robert Atkey, Atkey, Robert
core   +1 more source

Evaluating GenAI‐produced feedback on undergraduate bioscience essays against good higher education feedback practice

FEBS Open Bio, EarlyView.
This pilot study investigates the potential of Generative AI to provide formative feedback to students. ChatGPT was prompted to provide feedback on Year 1 Bioscience essays, which were evaluated against established good feedback practices. GenAI‐authored feedback had useful elements, but was limited in scope. GenAI may have potential to provide instant,
Annabel Court, Nigel Francis, Andrew Shore, Stephen Rutherford   +3 more
wiley   +1 more source

Minimal Systems of Temporal Logic

, 2020
The article discusses minimal temporal logic systems built on the basis of classical logic as well as intuitionistic logic. The constructions of these systems are discussed as well as their basic properties.
Dariusz Surowik
core   +1 more source

Neutrosophic Quantum Theory: Partial Entanglement, Partial Effect of the Observer, and Teleportation [PDF]

Neutrosophic Sets and Systems
Quantum mechanics presents phenomena, such as entanglement and the observer effect, that challenge classical logical frameworks. Traditional binary and even fuzzy logic often prove insufficient in capturing the inherent imprecision, incompleteness, and ...
Florentin Smarandache
doaj   +1 more source