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

$\beta$ Algorithm: A New Probabilistic Process Learning Approach for Big Data in Healthcare

IEEE Access, 2019
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

Business Strategy and the Environment, EarlyView.
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, Anna Marrucci, Camilla Ciappei   +2 more
wiley   +1 more source

Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates [PDF]

Computer Science Journal of Moldova, 2015
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]

, 2016
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  

A Michaelis‐Arbuzov‐Type Pathway to a Protected 2ʹ‐Deoxy‐2ʹ‐Selenomethyl‐Adenosine‐3ʹ,5ʹ‐Phosphoroselenolate Guanosine Dinucleotide for Use in Modified m7G Cap Synthesis

Chemistry – A European Journal, EarlyView.
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, Helen O. McCarthy, Mark G. McLaughlin   +2 more
wiley   +1 more source

Do Institutions Make Street‐Level Bureaucrats Prosocial? Agent‐Based Evidence Shows That New Public Management Does Not

European Policy Analysis, EarlyView.
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

Manuscrito, 2015
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

, 2016
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, D Galmiche, D Galmiche, D Larchey-Wendling, D Larchey-Wendling, D Larchey-Wendling, J Brotherston, J Brotherston, J Brotherston, JB Jensen, Peter Schroeder-Heister, PW O’Hearn, R Brochenin, R Dockins, S Brookes, S Demri, V Vafeiadis, Z Hóu   +17 more
core   +1 more source

Artificial intelligence in preclinical epilepsy research: Current state, potential, and challenges

Epilepsia Open, EarlyView.
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, Cesar Santana‐Gomez, Ruby G. Escalante, Dominique Duncan, Pedro F. Viana, Giulia Sofia Cereda, Naoto Kuroda, Aristea S. Galanopoulou   +7 more
wiley   +1 more source