Results 21 to 30 of about 2,335,361 (286)

Logical methods of system reliability analysis [PDF]

Tekhnologiya i Konstruirovanie v Elektronnoi Apparature, 2010
An automatical-logical model of system reliability has been introduced. Automaton's input processes model safety processes in system packages, and the it's output processes model safety processes inside system itself.
Levin V. I.
doaj   +2 more sources

Logical Problems in Analysis of Analogy

Philosophies, 2019
The paper discusses some logical problems concerning analogy. The traditional understanding of analogy as proportion (proportion) is inadequate, at least if proportionality is taken in mathematical sense.
Jan Woleński
doaj   +1 more source

Enhanced tracking and recognition of moving objects by reasoning about spatio-temporal continuity. [PDF]

, 2008
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three elements; an object tracker module, an object recognition/classification ...
Bennett, B., Cohn, AG, Hogg, DC, Magee, D.R.   +3 more
core   +1 more source

ЦЕННОСТНО-СМЫСЛОВЫЕ АСПЕКТЫ ПОДГОТОВКИ ЛИЧНОСТИ К ПРОФЕССИОНАЛЬНОЙ ДЕЯТЕЛЬНОСТИ

Научно-педагогическое обозрение, 2017
Развитие ценностно-смысловой сферы студентов вуза в ходе образовательного процесса способствует более успешной подготовке их к профессиональной деятельности, достижению зрелости.
Буравлева Наталья Анатольевна, Грицкевич Наталья Константиновна   +1 more
doaj   +1 more source

Suppression of dephasing by qubit motion in superconducting circuits [PDF]

, 2015
We suggest and demonstrate a protocol which suppresses dephasing due to the low-frequency noise by qubit motion, i.e., transfer of the logical qubit of information in a system of $n \geq 2$ physical qubits. The protocol requires only the nearest-neighbor
Averin, D. V., Han, Siyuan, Song, C., Wang, H., Xu, K., Zhong, Y. P.   +5 more
core   +2 more sources

Logical-semantic analysis of contrast (based on English economic terms)

Неофилология, 2023
The study is based on English economic terms and is devoted to the logical-semantic analysis of contrast according to the following language criteria or elements: relationship type, nomination type, implementation method, word-formation properties ...
L. M. Shakiryanov
doaj   +1 more source

Effect of Mathematics Anxiety and Intelligence on Students’ Logical Thinking Ability

Edumatika, 2021
This study aims to determine the effect of mathematics anxiety and intelligence on students' logical thinking skills. Which involved 96 respondents at high school.
Mhmd Habibi, Novia Wahyuni, Nur Rusliah, Muhammad Ilham, Intan Fitri   +4 more
doaj   +1 more source

Analysis of logics with arithmetic

CoRR
We present new results on finite satisfiability of logics with counting and arithmetic. One result is a tight bound on the complexity of satisfiability of logics with so-called local Presburger quantifiers, which sum over neighbors of a node in a graph. A second contribution concerns computing a semilinear representation of the cardinalities associated
Benedikt, M, Lu, C-H, Tan, T
openaire   +4 more sources

Real Analysis in Paraconsistent Logic [PDF]

Journal of Philosophical Logic, 2011
A logic \(S\) is paraconsistent if it lacks the rule ECQ (``ex contradictione quodlibet'', i.e., \(A,\lnot A\Rightarrow B\)) or, from another point of view, if inconsistent theories built upon \(S\) are not necessarily trivial (i.e., do not necessarily contain every well-formed formula). Paraconsistent mathematics is the development of mathematics in a
McKubre-Jordens, M, Weber, Z
openaire   +3 more sources

Composition of Logical Petri Nets and Compatibility Analysis

IEEE Access, 2017
Logical Petri nets (LPNs) can well describe and analyze batch processing functions and pass the value indeterminacy in cooperative systems. Their structure is simpler than their equivalent inhibition PNs.
Wenjing Luan, Liang QI, Yuyue Du
doaj   +1 more source