On conservativity of concurrent Haskell

The calculus CHF models Concurrent Haskell extended by concurrent, implicit futures. It is a process calculus with concurrent threads, monadic concurrent evaluation, and includes a pure functional lambda-calculus which comprises data constructors, case-expressions, letrec-expressions, and Haskell’s seq. Futures can be implemented in Concurrent Haskell using the primitive unsafeInterleaveIO, which is available in most implementations of Haskell. Our main result is conservativity of CHF, that is, all equivalences of pure functional expressions are also valid in CHF. This implies that compiler optimizations and transformations from pure Haskell remain valid in Concurrent Haskell even if it is extended by futures. We also show that this is no longer valid if Concurrent Haskell is extended by the arbitrary use of unsafeInterleaveIO

From Cognition to Consciousness:\ud a discussion about learning, reality representation and decision making.

The scientific understanding of cognition and consciousness is currently hampered by the lack of rigorous and universally accepted definitions that permit comparative studies. This paper proposes new functional and un- ambiguous definitions for cognition and consciousness in order to provide clearly defined boundaries within which general theories of cognition and consciousness may be developed. The proposed definitions are built upon the construction and manipulation of reality representation, decision making and learning and are scoped in terms of an underlying logical structure. It is argued that the presentation of reality also necessitates the concept of ab- sence and the capacity to perform transitive inference. Explicit predictions relating to these new definitions, along with possible ways to test them, are also described and discussed

An ERP study of low and high relevance semantic features

It is believed that the N400 elicited by concepts belonging to Living is larger than N400 to Non-living. This is considered as evidence that concepts are organized, in the brain, on the basis of categories. We conducted a feature-verification experiment where Living and Non-living concepts were matched for relevance of semantic features. Relevance is a measure of the contribution of semantic features to the “core” meaning of a concept. We found that when relevance is low the N400 is large. In addition, we found that when the two categories of Living and Non-living are equated for relevance the seemingly category effect at behavioral and neural level disappeared. In sum, N400 is sensitive, rather than to categories, to semantic features, thus showing that previously reported effects of semantic categories may arise as a consequence of the differing relevance of concepts belonging to Living and Non-living categories

An abstract machine for concurrent Haskell with futures

We show how Sestoft’s abstract machine for lazy evaluation of purely functional programs can be extended to evaluate expressions of the calculus CHF – a process calculus that models Concurrent Haskell extended by imperative and implicit futures. The abstract machine is modularly constructed by first adding monadic IO-actions to the machine and then in a second step we add concurrency. Our main result is that the abstract machine coincides with the original operational semantics of CHF, w.r.t. may- and should-convergence

Spontaneous eye movements during passive spoken language comprehension reflect grammatical processing

Language is tightly connected to sensory and motor systems. Recent research using eye- tracking typically relies on constrained visual contexts, viewing a small array of objects on a computer screen. Some critiques of embodiment ask if people simply match their simulations to the pictures being presented. This study compared the comprehension of verbs with two different grammatical forms: the past progressive form (e.g., was walking), which emphasizes the ongoing nature of actions, and the simple past (e.g., walked), which emphasizes the end-state of an action. The results showed that the distribution and timing of eye movements mirrors the underlying conceptual structure of this linguistic difference in the absence of any visual stimuli. Thus, eye movement data suggest that visual inputs are unnecessary to solicit perceptual simulations

The Green Economy and Job Creation: Inclusion of People with Disabilities

The percentage of total employment associated with green goods and services has increased in the United States over the past several years, presenting employment opportunities in a number of related emerging fields. As employment options arise to provide green goods and services, people with disabilities should have equitable employment opportunities in this growth sector of the American economy. A focused strategy to train and engage people with disabilities in the green economy can provide a talented and largely untapped segment of the U.S. workforce, a greater opportunity to participate in this growing employment sector than previously realized

Combat and Warfare in the Early Paleolithic and Medically Unexplained Musculo-Facial Pain in the 21st Century War Veterns and Active-Duty Military Personnel

In a series of recent articles, we suggest that family dentists, military dentists and psychiatrists with expertise in posttraumatic stress disorder (especially in the Veterans Health Administration) are likely to see an increased number of patients with symptomatic jaw-clenching and early stages of tooth- grinding (Bracha et al., 2005). Returning warfighters and other returnees from military deployment may be especially at risk for high rates of clenching- induced masticatory muscle disorders at early stages of incisor grinding. The literature we have recently reviewed strongly supports the conclusion that clenching and grinding may primarily be a manifestation of experiencing extreme fear or severe chronic distress (respectively). We have recently reviewed the clinical and paleoanthropological literature and have noted that ancestral warfare and ancestral combat, in the early Paleolithic Environment of Evolutionary Adaptedness (EEA) may be a neglected factor explaining the conservation of the archaic trait of bite-muscle strengthening. We have hypothesized that among ancestral warriors, jaw clenching may have rapidly strengthened the two primary muscles involved in biting, the masseter muscles and the much larger temporalis muscles. The strengthening of these muscles may have served the purpose of enabling a stronger, deeper, and therefore more lethal, defensive bite for early Paleolithic humans. The neuroevolutionary perspective presented here may be novel to many dentists. However, it may be useful in patient education and in preventing progression from jaw-clenching to chronic facial pain

Changes in Striatal N-methyl-D-aspartate (NMDA) Stimulation of Dopamine Release and Receptor Subunit Expression During Expression of and Recovery from MPTP-Induced Parkinsonism

Normal and 1-methyl-4-phenyl-1,2,3,6-tetrahydropyridine(MPTP)-treated cats were used to examine changes in N-methyl-D-aspartate (NMDA) receptor function. In vivo microdialysis studies showed that NMDA-stimulated dopamine (DA) release was similar in the normal dorso-lateral and ventro-medial caudate nucleus. In symptomatic animals, NMDA-stimulated DA release was significantly decreased in both striatal regions. In symptomatic animals, NMDA-stimulated dopamine release was significantly decreased in both striatal regions. In recovered animals, the dorsal striatum and ventral striatum demonstrated an upregulation in NMDA-stimulated dopamine release compared to symptomatic animals. Receptor autoradiography showed no significant differences in NMDA receptor binding between normal, symptomatic, and recovered animals in the dorso-lateral caudate. NMDA receptor binding was, however, upregulated in the ventro-medial caudate of recovered animals. With Western analysis, NR1 and NR2A subunit levels in the dorso-lateral caudate were shown to decrease significantly in symptomatic animals compared to normal and then increase in recovered animals compared to symptomatic animals. In the ventro-medial caudate, NR1 and NR2A levels in the symptomatic group were significantly increased compared to normal and recovered groups. These data suggest that there may be recovery-induced changes in the functional regulation of the NMDA receptors in the striatum contributing to the behavioral recovery seen in this model

Generalization of Extended Baum-Welch Parameter Estimation for Discriminative Training and Decoding

We demonstrate the generalizability of the Extended Baum-Welch (EBW) algorithm not only for HMM parameter estimation but for decoding as well.\ud We show that there can exist a general function associated with the objective function under EBW that reduces to the well-known auxiliary function used in the Baum-Welch algorithm for maximum likelihood estimates.\ud We generalize representation for the updates of model parameters by making use of a differentiable function (such as arithmetic or geometric\ud mean) on the updated and current model parameters and describe their effect on the learning rate during HMM parameter estimation. Improvements on speech recognition tasks are also presented here