Results 71 to 80 of about 1,320,893 (348)
LEARNING MODULE ANALYSIS OF PYTHAGOREAN THEOREM BASED ON SCIENTIFIC APPROACH
Jurnal Pendidikan Matematika dan IPA, 2022 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
Forgetting complex propositions
, 2015 This paper uses possible-world semantics to model the changes that may occur in an agent's knowledge as she loses information. This builds on previous work in which the agent may forget the truth-value of an atomic proposition, to a more general case ...
Fernández-Duque, David +4 more
core +1 more source
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
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? [PDF]
Logical Methods in Computer Science, 2018 Many reasoning problems are based on the problem of satisfiability (SAT). While SAT itself becomes easy when restricting the structure of the formulas in a certain way, the situation is more opaque for more involved decision problems.
Nadia Creignou +2 more
doaj +1 more source
In Search of a Feminist Theory of Expression
Nordic Wittgenstein Review, 2022 In the Tractactus Logico Philosophicus, Wittgenstein concludes that what cannot be spoken about is better left unsaid, which would correspond to everything that is not scientific language susceptible of being formalized in the propositional framework ...
Luz Ascarate
doaj +1 more source
On good algorithms for determining unsatisfiability of propositional formulas
Discrete Applied Mathematics, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John Franco, Ram Swaminathan
openaire +3 more sources
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
Stable Models of Fuzzy Propositional Formulas [PDF]
, 2014 We introduce the stable model semantics for fuzzy propositional formulas, which generalizes both fuzzy propositional logic and the stable model semantics of Boolean propositional formulas. Combining the advantages of both formalisms, the introduced language allows highly configurable default reasoning involving fuzzy truth values.
Yi Wang, Joohyung Lee
openaire +2 more sources
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
The ghosts of forgotten things: A study on size after forgetting
, 2020 Forgetting is removing variables from a logical formula while preserving the constraints on the other variables. In spite of being a form of reduction, it does not always decrease the size of the formula and may sometimes increase it.
Liberatore, Paolo
core