Results 291 to 300 of about 420,653 (327)

A Temporal Logic Characterisation of Oservational Determinism

19th IEEE Computer Security Foundations Workshop (CSFW'06), 2006
This paper studies observational determinism, a generalisation of non-interference for multi-threaded programs. Standard notions of non-interference only consider input and output of programs, but to ensure the security of multithreaded programs, one has to consider execution traces.
Marieke Huisman, Pratik Worah, Kim Sunesen   +2 more
openaire   +1 more source

Factors Influencing Deep Learning in Tourism Consumer Behavior Courses: A Study Based on Constructivism and Reciprocal Determinism

International Journal of Instruction
The research aims to clarify the influencing factors of deep learning among students and improve their level of deep learning in tourism consumer behavior courses.
Yating Zheng, N. Nasri, K. Jamaludin
semanticscholar   +1 more source

The Political Determinism of the RSFSR’s Economic Policy in the Market Reforms of 1991

Moscow University Bulletin. Series 21. Public administration
Study examines the interplay between political motivations and the formulation of economic policy in the state decision-making process that initiated radical market reforms in Russia in October 1991.
I. S. Logvenkov
semanticscholar   +1 more source

Logical Form as a Determinant of Cognitive Processes

2010
We discuss a research program on reasoning patterns in subjects with autism, showing that they fail to engage in certain forms of non-monotonic reasoning that come naturally to neurotypical subjects. The striking reasoning patterns of autists occur both in verbal and in non-verbal tasks.
openaire   +3 more sources

Ancient Discussion on Determinism from the Perspective of a Branching Time

Studia z Historii Filozofii
The paper is devoted to the problem of the Master Argument– a historical argu ment of the Greek philosopher Diodorus Cronus. The objective of Diodorus’ argument was to evidence the correctness of the temporarily defined modalities: necessity and ...
A. Parol, Michał Oleksowicz
semanticscholar   +1 more source

Completeness of coalition logics with seriality, independence of agents, or determinism

Journal of Logic, Language and Information
Coalition Logic is a central logic in logical research on strategic reasoning. In a recent paper, Li and Ju argued that generally, models of Coalition Logic, concurrent game models, have three too strong assumptions: seriality, independence of agents ...
Yinfeng Li, Fengkui Ju
semanticscholar   +1 more source

On the Determination of Complete Sets of Logical Functions

IEEE Transactions on Computers, 1968
Abstract—A procedure is described, based on a theorem of Post, for determining the nonredundant complete sets of logical functions. Kudielka and Oliva's determination of these functions for two and three variables was verified by means of this procedure in less than a minute of computer time.
Stanley R. Petrick, George C. Sethares
openaire   +1 more source

Optimizing the Functional Deployment on Multicore Platforms with Logical Execution Time

IEEE Real-Time Systems Symposium, 2019
The move to multicore systems requires methods and tools to support the designer in the partitioning of functions among the available cores and the definition of the task model.
P. Pazzaglia, Alessandro Biondi, M. Natale   +2 more
semanticscholar   +1 more source

Hegel's logical determinations.

2009
The system of logical determinations outlined in Hegel's Science of Logic is capable of further development because it is an aspect of a living process called the Idea. The system does not develop by the addition of new categories of thought, rather it develops when philosophers achieve insights into the nuances in the ways the logical determinations ...
openaire   +2 more sources

Equivalence of finite non-deterministic logical matrices is undecidable

Studia Logica: An International Journal for Symbolic Logic
The notion of a non-deterministic logical matrix (where connectives are interpreted as multi-functions) extends the traditional semantics for propositional logics based on logical matrices (where connectives are interpreted as functions).
C. Caleiro, P. Filipe, Sérgio Marcelino
semanticscholar   +1 more source