Results 61 to 70 of about 59,882 (275)
Completeness of Flat Coalgebraic Fixpoint Logics
, 2010 Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type.
Gastin, P. +3 more
core +1 more source
Agribusiness, EarlyView.Abstract The vegetable market experiences significant price fluctuations due to the complex interplay of trend, cyclical, seasonal, and irregular factors. This study takes Korean green onions as an example and employs the Christiano–Fitzgerald filter and the CensusX‐13 seasonal adjustment methods to decompose its price into four components: trend ...
Yiyang Qiao, Byeong‐il Ahn
wiley +1 more source
On linear and nonlinear acoustics in stratified variable-area ducts and atmospheres and Lighthill's proposition [PDF]
, 2021 Christopher D. Matzner, Stephen Ro
openalex +1 more source
Price Premiums for Single‐Name and Compound‐Name Geographical Indications in Swiss Cheese Trade
Agribusiness, EarlyView.ABSTRACT Geographical indications (GIs) have become increasingly important in agri‐food markets, especially in Europe. For Swiss cheese imports and exports, we analyze whether GIs are associated with higher trade prices. We find that price premiums can be obtained for both exports and imports. However, this is only the case for cheeses with single name
Judith Irek
wiley +1 more source
Efficient digital quadratic unconstrained binary optimization solvers for SAT problems
New Journal of PhysicsBoolean satisfiability (SAT) is a propositional logic problem of determining whether an assignment of variables satisfies a Boolean formula. Many combinatorial optimization problems can be formulated in Boolean SAT logic—either as k -SAT decision ...
Robert Simon Fong +2 more
doaj +1 more source
Agribusiness, EarlyView.ABSTRACT Smallholder farmers are reverting to traditional production methods due to the high opportunity costs and unintended consequences of new technologies. This study focuses on row planting technology, which is labor‐intensive and slow without mechanized operations.
Emmanuel Tetteh Jumpah +4 more
wiley +1 more source
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
Academia Green EnergyUsing renewable energy sources (RESs) has increased extensively to minimize global warming and greenhouse gases. This increase in the adoption of RESs has brought a considerable alteration in the topologies of traditional power networks to ...
Muhammed Cavus
doaj +1 more source
Tools for reformulating logical forms into zero-one mixed integer programs (MIPS) [PDF]
, 1992 A systematic procedure for transforming a set of logical statements or logical conditions imposed on a model into an Integer Linear Programming (ILP) formulation or a Mixed Integer Programming (MIP) formulation is presented.
Lucas, CA, Mitra, G, Moody, S
core
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