A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is
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
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
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
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
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 ...
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
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
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-418.104.22.168 pmid:9110328 fatcat:k2e2xqieb5crblbt2sqlmsqm5i
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
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
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
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
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
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). ...
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