Results 131 to 140 of about 37,011 (230)
Conservative Overloading in Higher-Order Logic
Overloading in the context of higher-order logic has been used for some time now. Isabelle is the only proof-assistant that actually implements overloading within the logic instead of merely instrumenting the pretty-printing machinery on top of the logic.
Steven Obua
core
ABSTRACT Growing demand for healthier beverages is driving innovation in the wine sector, with dealcoholized wine emerging as a promising alternative. However, little is known about the contextual conditions under which consumers would choose dealcoholized wine, particularly in countries with strong wine traditions. To fill this gap, this work examines
Giovanna Piracci +4 more
wiley +1 more source
The Impact of Perceived Algorithmic Control on Gig Workers' Turnover Intention: Mediating Roles of Perceived Usefulness and Psychological Contract Breach. [PDF]
Wu A, Zhang S, Sun L, Yuan X, Wang X.
europepmc +1 more source
Keeping Pace or Falling Behind? The Depth of Latin American Trade Agreements
ABSTRACT This article examines whether Latin American countries are keeping pace with global trends in trade agreement depth or falling behind. Using 681 agreements (1970–2019), we develop the Depth Index of Trade Agreements (DITA) to weight provisions endogenously through factor analysis based on co‐occurrence patterns.
Raphael Gomes da Silva +2 more
wiley +1 more source
Foreign labor, peer‐networking and agricultural efficiency in the Italian dairy sector
Abstract While the presence of immigrants in the agricultural sector is widely acknowledged, the empirical evidence on its economic consequences is lacking, especially from a microeconomic perspective. Using the Farm Accountancy Data Network panel data for Italian dairy farms in the period 2008–2018, the present study investigates the relationship ...
Federico Antonioli +2 more
wiley +1 more source
The Bitter Taste of Brazil's Temporary Import Ban on Robusta Coffee
ABSTRACT Brazil, a leading Robusta coffee producer and exporter, faced a significant drought in 2016–2017, which drastically reduced production and depleted stocks. Consequently, Brazil temporarily permitted the import of one million 60‐kg bags of Robusta coffee in the spring 2017. An import ban was imposed shortly afterward due to lobbying by domestic
Hanifi Otgun +2 more
wiley +1 more source
ABSTRACT Innovation is essential for competitiveness in agribusiness facing dynamic environments. This study examines how market orientation, marketing, relational, and social capabilities influence innovation performance. Using data from 751 Spanish firms and a multi‐method approach that integrates Structural Equation Modeling (PLS‐SEM), Necessary ...
Beatriz Corchuelo Martínez‐Azúa +1 more
wiley +1 more source
Strong-Ties and Weak-Ties Rationalities: Predicting Public Stigma, Support Networks, and Health Behaviours During the COVID-19 Pandemic Across Four Societies. [PDF]
Ting RS +7 more
europepmc +1 more source
ABSTRACT In May 2020, China abruptly suspended imports from several major Australian beef processors, escalating a diplomatic dispute between the two countries. This trade measure disrupted one of the largest beef export relationships in the world almost overnight.
K. Aleks Schaefer, Youngjune Kim
wiley +1 more source

