-
181
The Logical Timestamp Skew Anomaly in Event-Replicated Transaction Schedulers
Published 2021-01-01“…An anomaly is presented wherein a strict serializable scheduler in one system produces a history that cannot be serially applied to even a weak prefix-consistent replica in logical timestamp order. …”
Get full text
Article -
182
Fuzzy Logic Approach to Determine the Optimum Nugget Production Capacity
Published 2020-06-01Get full text
Article -
183
as Shadow Education in Sweden: The Logic of Equality in “A School for All”
Published 2021-09-01“…Findings: Läxhjälp is conditioned by the logic of equality and changes in the governance of läxhjälp. …”
Get full text
Article -
184
Toward a Logic of the Organism: A Process Philosophical Consideration
Published 2021-12-01Get full text
Article -
185
A computational paradigm for dynamic logic-gates in neuronal activity
Published 2014-04-01“…In 1943 McCulloch and Pitts suggested that the brain is composed of reliable logic-gates similar to the logic at the core of today's computers. …”
Get full text
Article -
186
An Interval Temporal Logic for Time Series Specification and Data Integration
Published 2021-06-01“…It turns out that the relevant behavior concerns time intervals, not only accumulated history as it is described in other kinds of temporal logics. …”
Get full text
Article -
187
A History of BlockingQueues
Published 2012-09-01“…To this end, we propose to use history-based specifications: instead of describing method behaviour in terms of the object's state, we specify it in terms of the object's state history. …”
Get full text
Article -
188
Comparative studies of value orientations: potential, limitations, and the logic of development
Published 2015-12-01Get full text
Article -
189
Forecasting Model Based on Neutrosophic Logical Relationship and Jaccard Similarity
Published 2017-09-01“…Finally, based on the neutrosophic logical relationships and the status of history, a Jaccard similarity measure is employed to find the most proper logical rule to forecast its future. …”
Get full text
Article -
190
Skin diseases diagnosis support system using fuzzy logic
Published 2019“…Thus, this research has purposed a system to identify the type of eczema skin diseased based on factors such as skin irritation, skin condition, location of affection and family history The conceptual model also has been proposed as a logical diagram to show the system work. …”
Get full text
Undergraduates Project Papers -
191
Mass Psychology and Social History
Published 2020-06-01“…Thus, the dynamics of social-historical processes are determined not by economics and politics, but by the logic of the transformation of the archaic collective consciousness in the course of its individualization and demythologization.…”
Get full text
Article -
192
-
193
Assessment of the technical condition of heritage buildings with the use of fuzzy logic
Published 2023-06-01“…The impact of this limitation can be reduced by applying fuzzy logic. In the fuzzy logic model, as input variables the following were applied; assessments of the technical condition of individual elements of the object (underground structure, load-bearing walls, ceilings, roof, other elements) and an integral indicator of the technical condition of the entire historic object, calculated as the output value.…”
Get full text
Article -
194
Figuration Libre: On the History of the Association
Published 2018-10-01“…However, in the second half of the 1980s, the collective activity of artists ceased, completing the history of the association and the New Wave in France.…”
Get full text
Article -
195
Humanists from the Periphery: Professional Biographies in the Perspective of the Logic of the Field
Published 2024-01-01“… Humanists from the Periphery: Professional Biographies in the Perspective of the Logic of the Field Humanism can be studied from the perspective of the logic of the field, developed by P. …”
Get full text
Article -
196
-
197
Efficient loop-check for multimodal KD45n logic
Published 2021-06-01“…We introduce sequent calculus for multi-modal logic KD45n which uses efficient loop-check. Efficiency of the used loop-check is obtained by using marked modal operator squarei which is used as an alternative to sequent with histories ([2,3]).We use inference rules with or branches to make all rules invertible or semi-invertible. …”
Get full text
Article -
198
Competition in the history of economic thought
Published 1975“…This source of continuity is qualified, though, to the extent that the classical principle of competition is supported less and less by a direct intuitive appeal to empirical evidence and more and more by the resort to abstraction and the logical rigour of mathematical theory.</p> <p>5. 1889-91. …”
Thesis -
199
Inseparability of science history and discovery
Published 2010-04-01“…These revised logical progressions clearly show the inseparability of science history and discovery. …”
Get full text
Article -
200
Tales from Verification History
Published 2009“…In this talk, I will trace two threads in this tangled and colourful history: (1) Attempts to connect programming to logical reasoning, and (2) The drive to develop an algebra to model program behaviour. …”
Record