Although we always associate the oceans to blue color, other colors such as green, brown, and even yellowish can be observed. The diverse color palette presented in water bodies is due presence of colored components that interact with light water. Those are, for instance, (1) itself, which gives a oceans; (2) very tiny plants give greenish water; (3) dissolved compounds turns into brown-yellowi...

The satisfiability problem for conjunctions of quantifier-free literals in first-order theories T of interest –“T -solving” for short– has been deeply investigated for more than three decades from both theoretical and practical perspectives, and it is currently a core issue of state-of-the-art SMT solving. Given some theory T of interest, a key theoretical problem is to establish the computatio...

We consider a generalization of Turán’s theorem for edge-colored graphs. Suppose that R (red) and B (blue) are graphs on the same vertex set of size n. We conjecture that if R and B each have more than (1− 1/k)n/2 edges, and K is a (k+ 1)-clique whose edges are arbitrarily colored with red and blue, then R ∪B contains a colored copy of K, for all k + 1 6∈ {4, 6, 8}. If k + 1 ∈ {4, 6, 8}, then t...

meant by the term "'problem behaviors." Nowhere was the subject population clearly described. The strategy of allowing each parent to pick items from five different behavioral checklists leads irrevocably to a case study approach; that is, 22 "studies," each with an N of 1. Such an approach precludes the possibility of deriving scientific generalizations. Moreover, each of the behavioral rating...