Results 71 to 80 of about 27,177 (320)
Access to Finance and Innovation in the Canadian Food Processing
Agribusiness, EarlyView.ABSTRACT Innovation is a presumed channel through which finance affects productivity, yet there is limited research testing the relationship between finance and innovation in the food manufacturing sector. The purpose of the paper is to explore the determinants (e.g., financing, R&D, firm size, expenditure on innovation) of the adoption of innovation ...
Getu Hailu, Deepananda Herath
wiley +1 more source
A derivation-loop method for temporal logic
Lietuvos Matematikos Rinkinys, 2019 Various types of calculi (Hilbert, Gentzen sequent, resolution calculi, tableaux) for propositional linear temporal logic (PLTL) have been considered in the literature.
Romas Alonderis, Haroldas Giedra
doaj +1 more source
Agribusiness, EarlyView.ABSTRACT This study analyzes the effects of value co‐creation and creation of shared value in agricultural input marketing. This study used a sample of 178 agricultural companies in Costa Rica. The data were analyzed using partial least squares structural equation modeling (PLS‐SEM) with SMART PLS software. Our findings reveal the significant influence
Luis Ricardo Solís‐Rivera +1 more
wiley +1 more source
Agribusiness, EarlyView.ABSTRACT This study examines food price inflation rate convergence among EU27 Member States from 2005 to 2024, focusing on structural breaks, external shocks, and regional disparities. Using panel unit root tests and club convergence analysis, the findings reveal no overall convergence but identify multiple convergence clubs.
Tibor Bareith, Imre Fertő
wiley +1 more source
A Criticism of Kripke’s Semantic for Intuitionistic Logic
O Que Nos Faz Pensar, 2016 This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the
Wagner de Campos Sanz
doaj
Partial cut elimination for propositional discrete linear time temporal logic
Lietuvos Matematikos Rinkinys, 2010 We consider propositional discrete linear time temporal logic with future and past operators of time. For each formula ϕ of this logic, we present Gentzen-type sequent calculus Gr(ϕ) with a restricted cut rule.
Jūratė Sakalauskaitė
doaj +1 more source
Advanced Intelligent Systems, EarlyView.Multi‐UAV systems face challenges in adversarial environments due to limited adaptability and interpretability. This study proposes a self‐organized approach using hierarchical probabilistic graphical models with density‐driven parameter estimation.
Yixin Huang +5 more
wiley +1 more source
Tool support for reasoning in display calculi [PDF]
, 2016 We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone.
Balco, Samuel +4 more
core +2 more sources
CoRoFR: Community Detection of Feature Graph Improves Feature Selection Using Robust Fuzzy Rough Set
Advanced Intelligent Systems, EarlyView.In machine learning, features often function as communities in many tasks, especially in medicine. However, existing feature selection methods struggle to mine feature collaborations, which can boost predictive performance. Moreover, they are noise‐sensitive, leading to suboptimal feature selection and accuracy degradation.
Duanyang Feng +4 more
wiley +1 more source
American Journal of Community Psychology, EarlyView.Abstract This study reports on a qualitative thematic analysis of secondary data from group session recordings collected as part of the Community Wise Optimization Trial. Community Wise is a multilevel behavioral intervention designed to increase critical consciousness and reduce substance use among formerly incarcerated men living in predominantly ...
Richmond E. Hayes +4 more
wiley +1 more source