Contemporary motivational theories of psychopathy (Lykken, 1995) employ constructs from Gray's Reinforcement Sensitivity Theory (RST; Gray, 1982), behavioral inhibition system (BIS) and behavioral activation system (BAS) functioning, to explain etiologic differences in psychopathy subtypes. Carver and White's (1994) BIS/BAS scales are the most widely used measures of these constructs, yet there...

In this paper we study, in the framework of mathematical logic, L(SBTA) i.e. the class of languages accepted by Systolic Binary Tree Automata. We set a correspondence (in the style of B uchi Theorem for regular languages) between L(SBTA) and MSOSig], i.e. a decid-able Monadic Second Order logic over a suitable innnite signature Sig. We also introduce a natural subclass of L(SBTA) which still pr...

The class of growing context-sensitive languages (GCSL) was proposed as a naturally defined subclass of contextsensitive languages whose membership problem is solvable in polynomial time. Growing context-sensitive languages and their deterministic counterpart calledChurch–Rosser languages (CRL) complement theChomskyhierarchy in a naturalway, as the classes filling the gap between context-free l...

In this paper, we study the complexity of deciding which player has a winning strategy in certain types of McNaughton games. These graph games can be used as models for computational problems and processes of infinite duration. We consider the cases (1) where the first player wins when vertices in a specified set are visited infinitely often and vertices in another specified set are visited fin...

9 5 6 © 2 0 0 5 B J U I N T E R N A T I O N A L after radical prostatectomy. New Engl J Med 2004; 35: 125–35 4 National Cancer Institute. SEER Cancer Statistics Review. http://seer.cancer.gov/ csr/1975_2002/results_merged/ topic_lifetime_risk.pdf [Accessed July 2005] 5 Thompson IM, Ankerst DP, Chi C et al. Operating characteristics of prostatespecific antigen in men with an initial PSA level of...

McClelland, McNaughton, O’Reilly [15] suggest that the brain’s way of overcoming catastrophic interference is by means of the hippocampusneocortex separation. French [8] has developed a memory model incorporating this separation into distinct areas, using pseudopatterns [23] to transfer information from one area to the other of the memory. This network gradually produces highly compact represen...

The dot-depth hierarchy of Brzozowski and Cohen classifies the star-free languages finite words. By a theorem McNaughton Papert, these are also first-order definable languages. rose to prominence following work Thomas, who proved an exact correspondence with quantifier alternation logic: each level in consists all that can be defined prescribed number blocks. One most famous open problems autom...

The variety of MV-algebras is the equivalent algebraic semantics of the infinitely-valued Lukasiewicz logic [1], and MVn-algebras are algebraic models of the Lukasiewicz logic with n truth values (2 ≤ n < ω). Recall that an algebra A ∈ V is said to be a free algebra in a variety V, if there exists a set A0 ⊂ A such that A0 generates A and every mapping f from A0 to any algebra B ∈ V can be exte...

This paper reports a series of 5 experiments concerned with a possible role for N-methyl-D-aspartate (NMDA) receptors in certain types of learning. The results show that chronic intraventricular infusion of the NMDA receptor antagonist D,L-2-amino-5-phosphonopentanoic acid (D,L-AP5) caused an impairment of spatial but not of visual discrimination learning in rats. Such selectivity of the learni...