نتایج جستجو برای: mcnaughton function
تعداد نتایج: 1213156 فیلتر نتایج به سال:
abstract target-oriented approaches to translation studies are regarded as recent theories of translation. one of the most famous theories among these approaches is descriptive translation studies presented by toury (1995). this theory gives a new dimension to translation studies and gives importance to the descriptive rather than prescriptive studies. it also identifies three sets of transla...
The majority of techniques for separating multiple single-unit spike trains from a multi-unit recording rely on the assumption that different cells exhibit action potentials having unique amplitudes and waveforms. When this assumption fails, due to the similarity of spike shape among different cells or to the presence of complex spikes with declining intra-burst amplitude, these methods lead to...
To assess the effects of interactions between angular path integration and visual landmarks on the firing of hippocampal neurons, we recorded from CA1 pyramidal cells as rats foraged in two identical boxes with polarizing internal cues. In the same-orientation condition, following an earlier experiment by Skaggs and McNaughton, the boxes were oriented identically and connected by a corridor. In...
This paper is a contribution to the long standing open problem of uniform termination of Semi-Thue Systems that consist of one rule s → t. McNaughton previously showed that rules incapable of (1) deleting t completely from both sides, (2) deleting t completely from the left, and (3) deleting t completely from the right, have a decidable uniform termination problem. We use a novel approach to sh...
R. R. Rogers, J. W. Hair, C. A. Hostetler, R. A. Ferrare, M. D. Obland, A. L. Cook, D. B. Harper, S. P. Burton, Y. Shinozuka, C. S. McNaughton, A. D. Clarke, J. Redemann, P. B. Russell, J. M. Livingston, and L. I. Kleinman NASA Langley Research Center, Hampton, VA, USA SSAI/NASA Langley Research Center, Hampton, VA, USA University of Hawaii, Dept. of Oceanography, Honolulu, HI, USA BAERI/NASA A...
Balanced grammars are a generalization of parenthesis grammars in two directions. First, several kind of parentheses are allowed. Next, the set of right-hand sides of productions may be an infinite regular language. XML-grammars are a special kind of balanced grammars. This paper studies balanced grammars and their languages. It is shown that there exists a unique minimal balanced grammar equiv...
The notion of orbit finite data monoid was recently introduced by Bojańczyk as an algebraic object for defining recognizable languages of data words. Following Büchi’s approach, we introduce the new logic ‘rigidly guarded MSO’ and show that the data languages definable in this logic are exactly those recognizable by orbit finite data monoids. We also establish, following this time the approach ...
This is based on a preprint ([9]) which appeared in the Proceedings of the fourth Easter Conference on model theory, Gross Köris, 1986, 17-34, Seminarberichte 86, Humboldt University, Berlin, where, with G. Cherlin, we gave a detailed proof of a result of Alexei L. Semenov that the theory of (N,+, 2) is decidable and admits quantifier elimination in an expansion of the language containing the P...
One function of sleep is hypothesized to be the reprocessing and consolidation of memory traces (Smith, 1995; Gais et al., 2000; McGaugh, 2000; Stickgold et al., 2000). At the cellular level, neuronal reactivations during post-training sleep in animals have been observed in hippocampal (Wilson and McNaughton, 1994) and cortical (Amzica et al., 1997) neuronal populations. At the systems level, u...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید