نتایج جستجو برای: mcnaughton function
تعداد نتایج: 1213156 فیلتر نتایج به سال:
S. Kim, L. G. Huey, R. E. Stickel, R. B. Pierce, G. Chen, M. A. Avery, J. E. Dibb, G. S. Diskin, G. W. Sachse, C. S. McNaughton, A. D. Clarke, B. E. Anderson, and D. R. Blake School of Earth and Atmospheric Sciences, Georgia Institute of Technology, USA NASA Langley Research Center, USA Institute for the Study of Earth, Oceans, and Space, University of New Hampshire, USA Department of Oceanogra...
BOOK REVIEWS Sulfur Pollution: Charges That EPA Distorted the Data Are Examined . Universities and the Law: Legislation, Regulation, Litigation. Plutonium: Its Morality Questioned by National Council ofChurches. Electron Microscopy: Imaging Molecules in Three Dimensions. The Coldest Planet: Methane Ice Found on Pluto. The Mackenzie-McNaughton Wartime Letters, reviewed by M. Gowing; Physiologica...
Y. Shinozuka, A. D. Clarke, P. F. DeCarlo, J. L. Jimenez, E. J. Dunlea, G. C. Roberts, J. M. Tomlinson, D. R. Collins, S. G. Howell, V. N. Kapustin, C. S. McNaughton, and J. Zhou School of Ocean and Earth Science and Technology, University of Hawaii, Honolulu, HI, USA Cooperative Institute for Research in the Environmental Sciences, University of Colorado, Boulder, CO, USA Dept. of Atmospheric ...
Section 2 of the 1957 Homicide Act is indefensible: the concept of 'mental responsibility' is a hybrid which turns the psychiatrist witness either into a thirteenth juryman or a spare barrister. But reform does not lie along the lines suggested by the Butler Committee or the Criminal Law Revision Committee. The latter leaves the jury with insufficient guidance; the former returns to the bad eig...
In this paper, we exhibit a one-to-one correspondence between ω-regular languages and a subclass of regular cost functions over finite words, called ω-regular like cost functions. This bridge between the two models allows one to readily import classical results such as the last appearance record or the McNaughton-Safra constructions to the realm of regular cost functions. In combination with ga...
We exhibit a rst-order deenable picture language which we prove is not expressible by any star-free picture expression, i. e., it is not star-free. Thus rst-order logic over pictures is strictly more powerful than star-free picture expressions are. This is in sharp contrast with the situation with words: the well-known McNaughton-Papert theorem states that a word language is expressible by a rs...
The word position automaton was introduced by Glushkov and McNaughton in the early 1960. This automaton is homogeneous and has (||E || + 1) states for a word expression of alphabetic width ||E ||. This kind of automata is extended to regular tree expressions. In this paper, we give an efficient algorithm that computes the Follow sets, which are used in different algorithms of conversion of a re...
7 Laura L Colgin, Stefan Leutgeb, Karel Jezek, Jill K Leutgeb, Edvard I Moser, 8 Bruce L McNaughton, May-Britt Moser 9 10 11 12 Kavli Institute for Systems Neuroscience and Centre for the Biology of Memory 13 MTFS 14 Olav Kyrres gate 9 15 Norwegian University of Science and Technology 16 NO-7489 Trondheim 17 Norway 18 Canadian Centre for Behavioural Neuroscience 19 The University of Lethbridge ...
chapter two presents three m-admissible function algebras ab, bd, and sl, to construct the universal abelian, band, and semilattice compactifications, respectively. the main results are (11.3), (12.3), and (12.4). some inclusion relationships between these function algebras and the other well-known ones, presented in section 8, are made via the devico of compactifications. chpter three is about...
In his Trial by medicine (1981) Roger Smith gave a magisterial account of the history of forensic psychiatry in the late-nineteenth century, mainly focusing on insanity pleas in the murder trials that took place after the McNaughton Rules of 1843. Smith's basic picture is that of a titanic battle of ideas between law and psychiatry, between the two incommensurable concepts about human agency. W...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید