Filters








5,705 Hits in 6.4 sec

False categories in cognition: the Not-The-Liver fallacy

Felice L. Bedford
1997 Cognition  
The error involves how we identify meaningful processes and categories on the basis of data.  ...  Examples are given from three areas of cognition: (1) memory, where the misconception has fueled the popular implicit/explicit categories, (2) perception, where the misconception is used to re-evaluate  ...  The Not-the-Liver argument is not an argument against the existence of heterogeneous categories or fractionable categories or nonunitary categories or multi-level categories.  ... 
doi:10.1016/s0010-0277(97)00019-x pmid:9426502 fatcat:bbcdqvzxf5e3jlxkhqxhqb7dza

A Congruence for Petri Nets

Vladimiro Sassone, Paweł Sobociński
2005 Electronical Notes in Theoretical Computer Science  
We introduce a way of viewing Petri nets as open systems. This is done by considering a bicategory of cospans over a category of p/t nets and embeddings.  ...  Technically, our results are similar to the recent work by Milner on applying the theory of bigraphs to Petri Nets.  ...  Acknowledgement The authors thank the anonymous referee for several useful comments which have allowed us to the improve the article.  ... 
doi:10.1016/j.entcs.2005.02.008 fatcat:j5lawogclbbejeft7jmdqlxbwy

Visual Form Perception Can Be a Cognitive Correlate of Lower Level Math Categories for Teenagers

Jiaxin Cui, Yiyun Zhang, Dazhi Cheng, Dawei Li, Xinlin Zhou
2017 Frontiers in Psychology  
These results suggest that visual form perception is an important independent cognitive correlate of lower level math categories, including the approximate number system, digit comparison, and exact computation  ...  point of visuospatial processing and typical mathematical performance.  ...  AUTHOR CONTRIBUTIONS JC and XZ designed research; YZ and DC performed research; JC and YZ analyzed data; and JC, DL, and XZ wrote the paper. FUNDING  ... 
doi:10.3389/fpsyg.2017.01336 pmid:28824513 pmcid:PMC5543093 fatcat:hdofiwyiqzd43lvsqwyvsw534y

Pointing to places and spaces in a patient with visual form agnosia

David P. Carey, H. Chris Dijkerman, Kelly J. Murphy, Melvyn A. Goodale, A. David Milner
2006 Neuropsychologia  
Previous investigations of visuospatial abilities in the visual form agnosic patient D.F. suggest that her egocentric sensorimotor processing is intact while her 'allocentric' judgments of spatial position  ...  It is possible that D.F.'s degraded performance reflects a relative (though not complete) preservation of categorical coding within the ventral stream, despite a loss of coordinate coding there.  ...  Acknowledgements This work was supported by grant no. 052443 from the Wellcome Trust to A.D.M.  ... 
doi:10.1016/j.neuropsychologia.2006.01.024 pmid:16527317 fatcat:dpif4ii6ybab3apqpo4hlaelb4

Page 2086 of Journal of Cognitive Neuroscience Vol. 22, Issue 9 [page]

2010 Journal of Cognitive Neuroscience  
By comparison, the exact temporal dynamic of neural activity in these highly selective regions has received less attention.  ...  It is now well established that ventral occipito-temporal cortex is critically involved in object identification (Grill-Spector, 2003; Milner & Goodale, 1995; Ungerleider & Mishkin, 1982) and orderly organized  ... 

Institutions for behaviour specification [chapter]

J. L. Fiadeiro, J. F. Costa
1995 Lecture Notes in Computer Science  
In this framework, we characterise and relate the existence of adjoint situations between theories and models with the existence of terminal models and the difference between underspecification and nondeterminism  ...  such as [Sassone et al 93], and on our own past work relating specification logics and such process models [Fiadeiro and Costa 93, Fiadeiro et al 93, Sernadas et al 94] , we develop a notion of institution  ...  The classification on the relationship between the logic and the process models put forward in [Hennessy and Milner 85] concerns just the equivalence relations of the process model and the one induced  ... 
doi:10.1007/bfb0014433 fatcat:qfvkxbytzve4zhv7thitns4a5q

Port automata and the algebra of concurrent processes

Martha Steenstrup, Michael A. Arbib, Ernest G. Manes
1983 Journal of computer and system sciences (Print)  
We model a process-the unit of concurrent processing-as a port automaton, a certain type of nondeterministic sequential machine.  ...  We show how to compute the response of these automata, and study the properties of their port interconnections.  ...  (The exact definitions are not required for the present discussion; they may be found in Milne and Milner Finally, for any domain D, there is a domain 9(D), the powerdomain of D, whose members are a certain  ... 
doi:10.1016/0022-0000(83)90028-4 fatcat:laatnfl6l5fsjkkdjsfoobrxuq

Strategic processing and memory for temporal order in patients with frontal lobe lesions

Jennifer A. Mangels
1997 Neuropsychology  
effortful processes, such as the use of organizational strategies and control of interference.  ...  Results indicate that automatic procesging of temporal information is intact in patients with frontal lobe lesions but that strategic processing of this information is impaired.  ...  to the exact order of presentation (i.e., category clusters).  ... 
doi:10.1037//0894-4105.11.2.207 pmid:9110328 fatcat:k2e2xqieb5crblbt2sqlmsqm5i

Transition systems, link graphs and Petri nets

JAMES J. LEIFER, ROBIN MILNER
2006 Mathematical Structures in Computer Science  
The framework is applied to a particular graphical model, known as link graphs, which encompasses a variety of calculi for mobile distributed processes.  ...  The framework is based on s-categories, which are a new variety of categories within which reactive systems can be set up in such a way that labelled transition systems can be uniformly extracted.  ...  Acknowledgements The authors wish to thank the anonymous referees for their detailed reading and helpful comments, which have led to many clarifications and improvements in this paper.  ... 
doi:10.1017/s0960129506005664 fatcat:xzqb4zfhvzf6znk6wjoadivaee

RPO, Second-Order Contexts, and λ-Calculus [chapter]

Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
2008 Lecture Notes in Computer Science  
We show that, contrary to process calculi, one can deal directly with the λ-calculus syntax and apply Leifer-Milner technique to a category of contexts, provided that we work in the framework of weak bisimilarities  ...  However, even in the case of the transition system with minimal contexts, the resulting bisimilarity is infinitely branching, due to the fact that, in standard context categories, parametric rules such  ...  We show that, in principle, contrary to process calculi, one could deal directly with the λ-calculus syntax and apply Leifer-Milner technique to the category of term contexts induced by the λ-terms,  ... 
doi:10.1007/978-3-540-78499-9_24 fatcat:pf7no7ubovesxag35ylphb3p5y

Functional foods and health: a US perspective

J. A. Milner
2002 British Journal of Nutrition  
Unfortunately, defining the ideal diet is complicated by the numerous and diverse components that may influence biological processes.  ...  Inconsistencies in the literature may reflect the multi-factorial nature of these processes and the specificity that individual dietary constituents have in modifying genetic and epigenetic events.  ...  What is recognized is that the effect of food on health varies considerably among people, both in terms of its direction and magnitude (Clydesdale, 1998; Milner, 2000) .  ... 
doi:10.1079/bjn2002680 pmid:12495457 fatcat:rlz466wm35fpraplfa6zxdojua

The Role of the Dorsal Visual Processing Stream in Tool Identification

Jorge Almeida, Bradford Z. Mahon, Alfonso Caramazza
2010 Psychological Science  
Our results indicate that the dorsal stream, in isolation from the ventral stream, is agnostic as to the identity of the objects that it processes.  ...  We show that information originating from the dorsal stream influences not only decisions requiring the selection of superordinate category labels, but also decisions that entail the selection of a basic-level  ...  Declaration of Conflicting Interests The authors declared that they had no conflicts of interest with respect to their authorship or the publication of this article.  ... 
doi:10.1177/0956797610371343 pmid:20483820 pmcid:PMC2908271 fatcat:tcbg6hywhzfbdjjdztktlxly6i

The functional roles of prefrontal cortex in episodic memory. II. Retrieval

P. Fletcher
1998 Brain  
We examined the specific role of the prefrontal cortex during retrieval with the hypothesis that this region mediates monitoring processes necessary for optimal recall.  ...  Functional neuroimaging studies of memory retrieval show consistent activation of the right prefrontal and superior parietal cortex.  ...  ., R.S.J.F. and R.J.D. are supported by the Wellcome Trust. We thank Andrew Holmes for statistical advice.  ... 
doi:10.1093/brain/121.7.1249 pmid:9679777 fatcat:z5fn7plhybfb7ccgthlua3xc3y

Page 5439 of Mathematical Reviews Vol. , Issue 88j [page]

1988 Mathematical Reviews  
Benson, The category of Milner processes is exact (pp. 71-97); Glynn Winskel, Relating two models of hardware (pp. 98-113); D. E. Rydeheard and J. G.  ...  Strecker, A category of Galois connections (pp. 290-300).  ... 

Final coalgebras and the Hennessy–Milner property

Robert Goldblatt
2006 Annals of Pure and Applied Logic  
This applies to coalgebras of any functor on the category of sets for which the bisimilarity relation is transitive.  ...  The existence of a final coalgebra is equivalent to the existence of a formal logic with a set (small class) of formulas that has the Hennessy-Milner property of distinguishing coalgebraic states up to  ...  Introduction and Overview Coalgebras of functors T : Set → Set on the category of sets have proven useful in modelling notions associated with data structures, transition systems, and process algebras  ... 
doi:10.1016/j.apal.2005.06.006 fatcat:hftxeswvrbbvpacnjvujft62u4
« Previous Showing results 1 — 15 out of 5,705 results