Results 61 to 70 of about 106,571 (322)

Mining predicate rules without minimum support threshold

Kuwait Journal of Science, 2021
Association rule mining (ARM) is used for discovering frequent itemsets for interesting relationships of associative and correlative behaviors within the data. This gives new insights of great value, both commercial and academic.
Hafiz Ishfaq Ahmad, Alex Tze Hiang Sim, Roliana Ibrahim, Syed Mazhar Ali Shah, Mohammad Abrar, Asma Gul   +5 more
doaj   +1 more source

Green Project Investments and Corporate Responsibilities: Enablers, Challenges, and Strategies for Mitigating Risks

Corporate Social Responsibility and Environmental Management, EarlyView.
ABSTRACT To achieve carbon neutrality, it is crucial that private commercial and noncommercial firms also do their bit to adopt and implement green projects (GPs). Nonetheless, there is a lack of scholarly understanding regarding the elements that influence the implementation of GP by private firms, as well as the barriers to GP adoption and strategies
Xiaozhen Guo, Meena Bhatia, Bhumika Gupta, Enrico Battisti   +3 more
wiley   +1 more source

Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter

, 2018
We prove that the positive fragment of first-order intuitionistic logic in the language with two variables and a single monadic predicate letter, without constants and equality, is undecidable.
Rybakov, Mikhail, Shkatov, Dmitry
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

Construction of Domain Knowledge Graph Base for Coal Mine Rock‐Burst Prediction and Prevention Based on Ontology

Energy Science &Engineering, EarlyView.
ABSTRACT In China, as the mining depth of coal mines increases, the occurrence conditions of coal seams are becoming increasingly complex, leading to a continuous rise in the risk of rock‐burst. The frequent occurrence of such accidents has caused severe losses to the safe production of coal mines.
Shuheng Zhong, Qi Wang, Haoliang Yin
wiley   +1 more source

Contexts in Dynamic Predicate Logic

Journal of Logic, Language and Information, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

Teaching Students to Understand Knowledge: Stress‐Testing the ‘Justified True Belief Account’ for Critical Thinking

Future in Educational Research, EarlyView.
ABSTRACT This conceptual essay, grounded in a close reading of Plato's Theaetetus, argues that before educators can effectively operationalise critical thinking as the rigorous evaluation ('stress‐testing') of competing knowledge claims, university students must first understand foundational epistemological principles rooted in Plato's tripartite ...
Gerry Dunne
wiley   +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

Renegotiating HRM Practices and Delivering Service Transformation of Frontline Workers: Insights From the UK's NHS Ambulance Trust During a Significant Disruption

Human Resource Management, EarlyView.
ABSTRACT We note that while the institutional environment determines the actions and structures of constituent organizations, there are still limited insights available in the literature on the nature and process of interactions between key stakeholders in ambulance services, especially as they respond during a significant crisis.
Ashish Malik, Paresh Wankhade, Swetketu Patnaik, Pawan Budhwar   +3 more
wiley   +1 more source

Predication in the logic terms.

Notre Dame Journal of Formal Logic, 1989
The paper contrasts modern predicate logic (MPL) and term/functor logic (TFL) on predication. A predication in TFL consists of two terms and a «logical copula» that has formal properties such as symmetry or transitivity. The predicative functors are shown to give TFL a slight advantage over MPL in expressive and inference power when dealing with ...
openaire   +3 more sources