Results 51 to 60 of about 27,151 (281)
Advanced Energy and Sustainability Research, EarlyView.This study explores Cs2PtX6 (X = Cl, Br) lead‐free perovskites as sustainable photocatalysts for solar‐driven water splitting. Cs2PtBr6 outperforms Cs2PtCl6 in oxygen evolution due to its narrower bandgap and efficient charge carrier dynamics, enabling enhanced light absorption and charge separation.
Kevin Mego +3 more
wiley +1 more source
Automated Synthesis of Tableau Calculi [PDF]
Logical Methods in Computer Science, 2011 This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method
Renate A. Schmidt, Dmitry Tishkovsky
doaj +1 more source
Logical equivalence between generalized urn models and finite automata
, 2005 To every generalized urn model there exists a finite (Mealy) automaton with identical propositional calculus.
A. Dvurečenskij +6 more
core +2 more sources
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
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
Grouping based calculus for propositional linear temporal logic
Lietuvos Matematikos RinkinysIn this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the ...
Kostas Ragauskas, Adomas Birštunas
doaj +3 more sources
Graphical Sequent Calculi for Modal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The syntax of modal graphs is defined in terms of the continuous cut and broken cut following Charles Peirce's notation in the gamma part of his graphical logic of existential graphs.
Minghui Ma, Ahti-Veikko Pietarinen
doaj +1 more source
A Nonmonotonic Sequent Calculus for Inferentialist Expressivists [PDF]
, 2016 I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical ...
Hlobil, Ulf
core
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
Intersection Types for the lambda-mu Calculus [PDF]
Logical Methods in Computer Science, 2018 We introduce an intersection type system for the lambda-mu calculus that is invariant under subject reduction and expansion. The system is obtained by describing Streicher and Reus's denotational model of continuations in the category of omega-algebraic ...
Steffen van Bakel +2 more
doaj +1 more source