Results 51 to 60 of about 47,472 (286)
Applied Economic Perspectives and Policy, EarlyView.ABSTRACT Amidst dwindling state funding and the legislative withdrawal from public university research support, a heightened political process shapes the allocation of scarce tax dollars. This article explores how advocacy within the political process influences funding support for higher education from state legislatures.
Gregory M. Perry +2 more
wiley +1 more source
Comparison of the Antioxidant Effect of Microencapsulated and Un-microencapsulated Sodium Selenite with Butyl Hydroxyanisole in Soybean Oil [PDF]
Pizhūhish va Nuāvarī dar ̒Ulūm va Sanāyi̒-i Ghaz̠āyī, 2020 Microencapsulation of sodium selenite (15000 ppm) was carried out, comprising the following combination: Arabic gum (25, 26, 27, 28 and 29%) and a proportionate amount of Farsi gum (1, 2, 3, 4 and 5%) and using the solvent evaporation method, where the ...
Sepideh Moshtaghi, Mohammad Goli
doaj +1 more source
LTL Fragments are Hard for Standard Parameterisations
, 2015 We classify the complexity of the LTL satisfiability and model checking problems for several standard parameterisations. The investigated parameters are temporal depth, number of propositional variables and formula treewidth, resp., pathwidth.
Lück, Martin, Meier, Arne
core +1 more source
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
LEARNING MODULE ANALYSIS OF PYTHAGOREAN THEOREM BASED ON SCIENTIFIC APPROACH
Aksioma: Jurnal Program Studi Pendidikan Matematika, 2023 One of the basic competencies in class VIII contains the Pythagorean theorem. Surveys on students who have studied it, they still remember that the proposition is related to a right triangle.
Yus Mochamad Cholily +1 more
doaj +1 more source
Discursive Formulas Derived from Propositional Predicates
Nauchnyi dialog, 2022 The study is in line with the work on discursive formulas — multiword idiomatic remarks in response to the words of the interlocutor. Discursive formulas based on propositional predicates on the material of several languages, are considered. Discursive formulas of agreement and confirmation, disagreement and denial, surprise are presented as the object
openaire +2 more sources
Near-Optimal Scheduling for LTL with Future Discounting [PDF]
, 2015 We study the search problem for optimal schedulers for the linear temporal logic (LTL) with future discounting. The logic, introduced by Almagor, Boker and Kupferman, is a quantitative variant of LTL in which an event in the far future has only ...
G Rahonis +13 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 the meaning of logical completeness [PDF]
Logical Methods in Computer Science, 2010 Goedel's completeness theorem is concerned with provability, while Girard's theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proofs.
Michele Basaldella, Kazushige Terui
doaj +1 more source
Cut formulas in propositional logic
Theoretical Computer Science, 1993 Cut formulas in propositional logic can speed up some proofs exponentially (a cut-free system is used as reference when we talk about speed-ups); it is hence important to study proof systems with cut, types of cut formulas (atomic cuts versus general cuts) and also relations between cut and techniques which may speed up proofs.
openaire +2 more sources