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 application/pdf.
Filters
False categories in cognition: the Not-The-Liver fallacy
1997
Cognition
Preserved Fulltext
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
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
Frontiers in Psychology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2006
Neuropsychologia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
1995
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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
1983
Journal of computer and system sciences (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1997
Neuropsychology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Mathematical Structures in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2002
British Journal of Nutrition
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2010
Psychological Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
1998
Brain
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2006
Annals of Pure and Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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