Results 141 to 150 of about 37,638 (267)
The Cost of a Nutritious Diet in Cafeterias: Evidence From US Military Dining Facilities
Applied Economic Perspectives and Policy, EarlyView.ABSTRACT Providing nutritious meals in institutional settings with financial constraints, such as military dining facilities, is challenging. The US Department of War (DoW) and US Department of Agriculture (USDA) collaborated to modernize the Basic Daily Food Allowance (BDFA) using an optimization model that incorporates service members' consumption ...
Linlin Fan +8 more
wiley +1 more source
, 2003 International audienceThe paper presents the formalization of SHA algorithms using the theorem prover ACL2.
Borrione, D., Toma, D.
core
HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ
Felsefe Dünyası, 2014 Bu yazıda, Hilbert’in biçimselleştirme programına kadar giden matematikfelsefesindeki önemli krizlerden bahsedilmiştir. Hilbert’in programınıngerçekleşemeyeceğini gösteren Gödel’in eksiklik teoremi gibi programınsonuçları ve nedenleri tartışılmıştır ...
Ahmet Çevik
doaj
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
Neural Network Formalization [PDF]
In order to assist the field of neural networks in its maturing, a formalization and a solid foundation are essential. Additionally, to permit the introduction of formal proofs, it is essential to have an all encompassing formal mathematical definition ...
Fiesler, Emile
core
, 2004 The dissertation is in the first place a treatment of mathematical interpretations. Interpretations themselves will be studied, but also shall they be used to study formal theories. Interpretations, when used in comparing theories, tell us, in a natural way, something about proof-strength of formal theories.
openaire +2 more sources
Farmers’ Protests in Germany: Media Coverage and Types of Bias
Agribusiness, EarlyView.ABSTRACT The German farmers’ protests of 2024 sparked widespread media coverage and public debate. Yet, media coverage was not always positive, reflecting the media's attention‐seeking and selective focus. Occurrences of farmers blocking media outlets reflected distrust in how their concerns were portrayed.
Felix Schlichte, Doris Läpple
wiley +1 more source
Agribusiness, EarlyView.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
The formalization of Message Sequence Charts
, 1996 We discuss the state of affairs with respect to the formalization of Message Sequence Charts (MSC) and identify which parts of the definition of MSC are still candidate for formalization. Further, we give a tutorial on the formal semantics of MSC.
Mauw, S.
core +1 more source
Bottom Up-Sharia Formalization in Indonesia’s Nation State
Jurnal Studi Pemerintahan, 2017 This paper describes the bottom up-Shariah formalization in the Indonesian na- tion-state. The Islamic movement has been fighting for the Islamic Sharia in the provinces of South Sulawesi, West Java, and Aceh.
HAEDAR NASHIR
doaj