Results 51 to 60 of about 109,843 (305)
Finite predicate-driven logic networks method for enhanced education data analysis
The subject matter of the study is intelligent data analysis in the field of academic information. The goal of the study is to create a mathematical model for analyzing students' academic information using the predicate-driven logic networks method ...
Zoia Dudar, Andrii Kozyriev
doaj +1 more source
In this paper, a new process learning framework that is based on probabilistic learning and predicate logic is proposed. The input of this framework is a set of log files, and the output is a probabilistic predicate-based workflow that describes the ...
Maha Zayoud, Yehia Kotb, Sorin Ionescu
doaj +1 more source
Leading With Contrast: How CEO Narcissism and Humility Shape Environmental Performance
ABSTRACT Firms face growing pressure to improve environmental performance, yet the psychological traits of CEOs remain an underexplored driver of sustainability outcomes. Building on paradox theory, this study investigates how the coexistence of humility and narcissism in CEOs shapes the environmental performance of European manufacturing firms.
Diletta Vianello +2 more
wiley +1 more source
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates [PDF]
In the paper we investigate semantic properties of program-oriented algebras and logics defined for classes of quasiary predicates. Informally speaking, such predicates are partial predicates defined over partial states (partial assignments) of variables.
Mykola Nikitchenko, Stepan Shkilniak
doaj
The 1900 Turn in Bertrand Russell’s Logic, the Emergence of his Paradox, and the Way Out [PDF]
Russell’s initial project in philosophy (1898) was to make mathematics rigorous reducing it to logic. Before August 1900, however, Russell’s logic was nothing but mereology. First, his acquaintance with Peano’s ideas in August 1900 led him to discard the
Milkov, Nikolay
core
Here we report a synthesis of the dinucleotide 4 for a projected future total synthesis of the m7G cap 1. Highlights of the route include: 1) a 3ʹ‐H‐phosphonate/5ʹ‐selenocyanate Michaelis‐Arbuzov coupling to forge the 3ʹ,5ʹ‐phosphoroselenolate; 2) an Amosova reductive selenomethylation to install the 2ʹ‐SeMe; 3) a solid CPR II 5ʹ‐O‐phosphitylation; and
K. Lawrence E. Hale +2 more
wiley +1 more source
ABSTRACT Does street‐level bureaucrats' (SLBs) willingness to sacrifice their own self‐interests to meet the needs of their clients vary depending on their contexts? To date, it has been very challenging to empirically examine how SLBs who have different orientations toward social values might act in different institutional and administrative contexts.
Nissim Cohen, Teddy Lazebnik
wiley +1 more source
THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION
This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze . We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us
MÉVEN CADET, MARCO PANZA
doaj +1 more source
Completeness for a First-order Abstract Separation Logic
Existing work on theorem proving for the assertion language of separation logic (SL) either focuses on abstract semantics which are not readily available in most applications of program verification, or on concrete models for which completeness is not ...
AS Troelstra +17 more
core +1 more source
Artificial intelligence in preclinical epilepsy research: Current state, potential, and challenges
Abstract Preclinical translational epilepsy research uses animal models to better understand the mechanisms underlying epilepsy and its comorbidities, as well as to analyze and develop potential treatments that may mitigate this neurological disorder and its associated conditions. Artificial intelligence (AI) has emerged as a transformative tool across
Jesús Servando Medel‐Matus +7 more
wiley +1 more source

