Results 261 to 270 of about 88,869 (296)

Temporal variability of dissolved P speciation in a eutrophic reservoir—implications for predicating algal growth

Water Research, 2003
La Trobe University Faculty of Science, Technology and Engineering Murray Darling Freshwater Research CentreMDFRC item.Weak-anion exchange chromatography was used to explore the temporal variability in the speciation of dissolved P in the surface layer of a eutrophic reservoir.
Baldwin, D. S., Whittington, J., Oliver, R.   +2 more
openaire   +2 more sources

Variable Binding and Predicate Representation in a Behavior-Based Architecture

, 1996
Ian Horswill
openaire   +2 more sources

Elementary categorial logic, predicates of variable degree, and theory of quantity

Journal of Philosophical Logic, 1989
The basic categorial structure of classical predicate logic is given by the distinction of predicates (of a fixed arity or type) and individuals. The author first discusses much more general systems of categorial structures which analogously can be basic for logical systems with a metatheory quite similar to the ``usual'' one.
openaire   +1 more source

Quantificational Variability II: Adverbial Modification of Interrogative-Embedding Predicates

2002
Abstract In this chapter, I consider some cases of what have been argued to be cases of quantificational variability (see, for example, Ginzburg 1995 b). I shall argue that these are instances that involve adverbial modification of the predicates themselves rather than modification of the embedded interrogatives.
openaire   +1 more source

How Predicates Improve Solving of Supply Chain Problems Using Linear Programming with Binary Variables

Vincent Giard
openaire   +2 more sources

Reductions for the satisfiability with a simple interpretation of the predicate variable

, 1984
Michael Deutsch
openaire   +2 more sources

Hybrid cegar: combining variable hiding and predicate abstraction

2007 IEEE/ACM International Conference on Computer-Aided Design, 2007
null Chao Wang, null Hyondeuk Kim, null Aarti Gupta   +2 more
openaire   +1 more source

FDA-cleared artificial intelligence and machine learning-based medical devices and their 510(k) predicate networks

The Lancet Digital Health, 2023
exaly  

From complementizing to modifying status: On the grammaticalization of the complement-taking-predicate-clauses chances are and odds are

Language Sciences, 2021
Belén Méndez-Naya
exaly  

Discriminative predicate path mining for fact checking in knowledge graphs

Knowledge-Based Systems, 2016
Baoxu Shi, Tim Weninger
exaly