Results 231 to 240 of about 1,320,893 (348)

On the optimal approximation of queries using tractable propositional languages

International Conference on Database Theory, 2011
Robert Fink, Dan Olteanu
semanticscholar   +1 more source

Investigating the Credibility of SoTL Research in Australia: A Case Study of Key Issues for Intending SoTL Academics

Future in Educational Research, EarlyView.
ABSTRACT This paper is concerned with the credibility of the scholarship of teaching and learning (SoTL) research within the research framework of Australian universities. We report on our project in which we surveyed 63 research leaders in 26 of Australia's 37 public universities.
Silvia McCormack, Paula Baron
wiley   +1 more source

Short propositional refutations for dense random 3CNF formulas

, 2014
Sebastian Müller, Iddo Tzameret
openalex   +1 more source

Space‐Time Modeling and Numerical Simulations of Non‐Newtonian Fluids Using Internal Variables

International Journal for Numerical Methods in Fluids, EarlyView.
Based on Hamilton's principle, the study focuses on a novel strategy for the modeling of non‐Newtonian fluids with the help of internal variables. Here, the viscosity evolves locally in space and time. Three configurations are numerically implemented, namely channel flow, a benchmark, and a lid‐driven cavity.
Philipp Junker, Thomas Wick
wiley   +1 more source

Stone obstacle detection method on the vegetation with LIDAR intensity of the ground surface for brush cutting robot (Proposition of correction formula for LIDAR intensity under the influence of wetness and ambient light)

, 2014
Shinya Ohkawa, Yoshihiro Takita, Hisashi DATE   +2 more
openalex   +2 more sources

Short Propositional Refutations for Dense Random 3CNF Formulas [PDF]

, 2012
Sebastian Müller, Iddo Tzameret
openalex   +1 more source

On the complexity of propositional knowledge base revision, updates, and counterfactuals

Artificial Intelligence, 1992
Thomas Eiter, G. Gottlob
semanticscholar   +1 more source

On the Behavior of Two C1 Finite Elements Versus Anisotropic Diffusion

International Journal for Numerical Methods in Fluids, EarlyView.
Bi‐cubic Hemite‐Bézier and reduced cubic Hsieh‐Clough‐Tocher finite elements, of class C1, are compared for the solution of a highly anisotropic diffusion equation. They are tested numerically for various ratios of the diffusion coefficients on different meshes, even aligned with the anisotropy.
Blaise Faugeras, Hervé Guillard, Boniface Nkonga, Francesca Rapetti   +3 more
wiley   +1 more source

An experimental study of classical truth logic on multi-propositions consistent and incompatible: Dual-process theories and modal syllogistic of deduction. [PDF]

PLoS One
Waheed S, Waheed A, Habib S.
europepmc   +1 more source

Proposition of a hybrid price index formula for the Consumer Price Index measurement

, 2020
Jacek Białek
openalex   +2 more sources