Lipogranulomatosis or Farber's disease in a rare autosomal recessive disorder characterized by swollen, tender joints, periarticular and subcutaneous nodules, horsncss and progressive aphonia. Hepatosplcnomcgaly and C.N.S. involvements arc also reported in certain patients. The disorder is caused by a deficiency of acid ceramidase which may be best diagnosed by missing ceramidasc activity at a...

Conditional inference patterns are influenced by the availability of counterexamples. We show that aside of the semantic counterexamples that are stored in long-term memory, there is an additional pool of counterexamples that stem from conversational implicatures. Experiment 1 showed that for young adults the retrieval of pragmatic counterexamples requires working memory resources. Experiment 2...

We consider two variants of a model for learning languages in the limit from positive data and a limited number of short negative counterexamples (counterexamples are considered to be short if they are smaller that the largest element of input seen so far). Negative counterexamples to a conjecture are examples which belong to the conjectured language but do not belong to the input language. Wit...

We bring together several new results related to the classical Sylvester-Gallai Theorem and its recently noted sharp dual. In 1951 Dirac and Motzkin conjectured that a configuration of n not all collinear points must admit at least n/2 ordinary connecting lines. There are two known counterexamples, when n = 7 and n = 13. We provide a construction that yields both counterexamples and show that t...

Counterexamples for specification violations provide engineers with important debugging information. Although counterexamples are considered one of the main advantages of model checking, state-of the art model checkers are restricted to relatively simple counterexamples, and surprisingly little research effort has been put into counterexamples. In this paper, we introduce a new general framewor...

A new approach to counterexamples to A new approach to counterexamples to L The derivation of counterexamples to L 1 estimates can be reduced to a geometric decomposition procedure along rank-one lines in matrix space. We illustrate this concept in two concrete applications. Firstly, we recover a celebrated, and rather complex, counterexample by Ornstein, proving the failure of Korn's inequalit...

In a publication by Noy and Ribó, it was shown that recursively constructible families of graphs are recursive. The authors also conjecture that the converse holds; that is, recursive families are also recursively constructible. In this paper, we provide two specific counterexamples to this conjecture, which we then extend to an infinite family of counterexamples.