Study of cashew nuts variability and proposition of an analytical method
Global Journal of Pure and Applied Sciences, 2005 No abstract Keywords: cashew nuts; sampling method; efficiency curve; quality parametersGlobal Journal of Pure and Applied Sciences Vol 11(3) 2005: 411 ...
JM Yessoh, JP Cardot, NE Assidjo, A Soro
openaire +3 more sources
Completeness of Flat Coalgebraic Fixpoint Logics
, 2010 Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type.
Gastin, P. +3 more
core +1 more source
On linear and nonlinear acoustics in stratified variable-area ducts and atmospheres and Lighthill's proposition [PDF]
, 2021 Christopher D. Matzner, Stephen Ro
openalex +1 more source
A Proposition of Generalized Method for Forward Selection of Variables
Behaviormetrika, 1980 We propose a generalized method of variable selection, which is applied for the case, in which the number of the criterion variables exceeds two. By using the method, we can select criterion variables as well as explanatory variables simultaneously in canonical correlation analysis, using the G.C.D Generalized Coefficient of Determination as a ...
openaire +2 more sources
The Complexity of Computing Optimal Assignments of Generalized Propositional Formulae
, 1998 We consider the problems of finding the lexicographically minimal (or maximal) satisfying assignment of propositional formulae for different restricted formula classes.
Reith, Steffen, Vollmer, Heribert
core +1 more source
Hyperlogic: A System for Talking about Logics [PDF]
, 2019 Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional.
Kocurek, Alexander W.
core
A Decidable Class of Nested Iterated Schemata (extended version)
, 2010 Many problems can be specified by patterns of propositional formulae depending on a parameter, e.g. the specification of a circuit usually depends on the number of bits of its input.
Aravantinos, Vincent +2 more
core +1 more source
Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)
, 2011 This paper relates the well-known Linear Temporal Logic with the logic of propositional schemata introduced by the authors. We prove that LTL is equivalent to a class of schemata in the sense that polynomial-time reductions exist from one logic to the ...
Aravantinos, Vincent +2 more
core +1 more source
On the propositional calculus with a variable functor, $C \delta pC \delta Np \delta q$ [PDF]
, 1966 Shôtarô Tanaka
openalex +1 more source
Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting [PDF]
, 2015 Christopher Hampson, Agi Kurucz
openalex +1 more source