Search results for 'Henk A. Dijkstra' (try it on Scholar)

20 found
Sort by:
  1. Joel Katzav, Henk A. Dijkstra & A. T. J. de Laat (2012). Assessing Climate Model Projections: State of the Art and Philosophical Reflections. Studies in History and Philosophy of Science Part B 43 (4):258-276.score: 960.0
    The present paper draws on climate science and the philosophy of science in order to evaluate climate-model-based approaches to assessing climate projections. We analyze the difficulties that arise in such assessment and outline criteria of adequacy for approaches to it. In addition, we offer a critical overview of the approaches used in the IPCC working group one fourth report, including the confidence building, Bayesian and likelihood approaches. Finally, we consider approaches that do not feature in the IPCC reports, including three (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Katinka Dijkstra, Anita Eerland, Josjan Zijlmans & Lysanne S. Post (2012). How Body Balance Influences Political Party Evaluations: A Wii Balance Board Study. Frontiers in Psychology 3.score: 420.0
    Embodied cognition research has shown how actions or body positions may affect cognitive processes, such as autobiographical memory retrieval or judgments. The present study examined the role of body balance (to the left or the right) in participants on their attributions to political parties. Participants thought they stood upright on a Wii™ Balance Board, while they were actually slightly tilted to the left or the right. Participants then ascribed fairly general political statements to one of ten political parties that are (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Pieter Dijkstra, Floris Bex, Henry Prakken & Kees Vey Mestdagdeh (2005). Towards a Multi-Agent System for Regulated Information Exchange in Crime Investigations. Artificial Intelligence and Law 13 (1):133-151.score: 420.0
    This paper outlines a multi-agent architecture for regulated information exchange of crime investigation data between police forces. Interactions between police officers about information exchange are analysed as negotiation dialogues with embedded persuasion dialogues. An architecture is then proposed consisting of two agents, a requesting agent and a responding agent, and a communication language and protocol with which these agents can interact to promote optimal information exchange while respecting the law. Finally, dialogue policies are defined for the individual agents, specifying their (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Geske Dijkstra (1995). [Book Review] Industrialization in Sandinista Nicaragua, Policy and Practice in a Mixed Economy. [REVIEW] Science and Society 59 (1):104-106.score: 360.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Jitse Dijkstra & Geoffrey Greatrex (2009). Patriarchs and Politics in Constantinople in the Reign of Anastasius (with a Reedition of O.Mon.Epiph. 59). Millennium 6 (1).score: 360.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Pieter Dijkstra, Floris Bex, Henry Prakken & Kees de Vey Mestdagh (2005). Towards a Multi-Agent System for Regulated Information Exchange in Crime Investigations. Artificial Intelligence and Law 13 (1):133-151.score: 360.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Jack A. Adams & Sanne Dijkstra (1966). Short-Term Memory for Motor Responses. Journal of Experimental Psychology 71 (2):314.score: 280.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Koen A. Dijkstra, Joop van der Pligt & Gerben A. van Kleef (forthcoming). Effects of Processing Style on Responsiveness to Affective Stimuli and Processing Fluency. Cognition and Emotion:1-12.score: 240.0
  9. Katinka Dijkstra, Michael P. Kaschak & Rolf A. Zwaan (2007). Body Posture Facilitates Retrieval of Autobiographical Memories. Cognition 102 (1):139-149.score: 240.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Jaime Bohórquez V. (2008). Intuitionistic Logic According to Dijkstra's Calculus of Equational Deduction. Notre Dame Journal of Formal Logic 49 (4):361-384.score: 54.0
    Dijkstra and Scholten have proposed a formalization of classical predicate logic on a novel deductive system as an alternative to Hilbert's style of proof and Gentzen's deductive systems. In this context we call it CED (Calculus of Equational Deduction). This deductive method promotes logical equivalence over implication and shows that there are easy ways to prove predicate formulas without the introduction of hypotheses or metamathematical tools such as the deduction theorem. Moreover, syntactic considerations (in Dijkstra's words, "letting the (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Derek Partridge (1995). On the Difficulty of Really Considering a Radical Novelty. Minds and Machines 5 (3):391-410.score: 54.0
    The fundamental assumptions in Dijkstra''s influential article on computing science teaching are challenged. Dijkstra''s paper presents the radical novelties of computing, and the consequent problems that we must tackle through a formal, logic-based approach to program derivation. Dijkstra''s main premise is that the algorithmic programming paradigm is the only one, in fact, the only possible one. It is argued that there is at least one other, the network-programming paradigm, which itself is a radical novelty with respect to (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Juan C. Agudelo & Walter Carnielli (2011). Polynomial Ring Calculus for Modal Logics: A New Semantics and Proof Method for Modalities. Review of Symbolic Logic 4 (1):150-170.score: 54.0
    A new (sound and complete) proof style adequate for modal logics is defined from the polynomial ring calculus (PRC). The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra–Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S5, and can be easily (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. Robert J. Hartsuiker Eva Van Assche, Wouter Duyck (2012). Bilingual Word Recognition in a Sentence Context. Frontiers in Psychology 3.score: 54.0
    This article provides an overview of bilingualism research on visual word recognition in isolation and in sentence context. Many studies investigating the processing of words out-of-context have shown that lexical representations from both languages are activated when reading in one language (language-nonselective lexical access). A newly developed research line asks whether language-nonselective access generalizes to word recognition in sentence contexts, providing a language cue and/or semantic constraint information for upcoming words. Recent studies suggest that the language of the preceding words (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. Lysanne S. Post Katinka Dijkstra, Anita Eerland, Josjan Zijlmans (2012). How Body Balance Influences Political Party Evaluations: A Wii Balance Board Study. Frontiers in Psychology 3.score: 42.0
    Embodied cognition research has shown how actions or body positions may affect cognitive processes, such as autobiographical memory retrieval or judgments. The present study examined the role of body balance (to the left or the right) in participants on their attributions to political parties. Participants thought they stood upright on a Wii™ Balance Board, while they were actually slightly tilted to the left or the right. Participants then ascribed fairly general political statements to one of ten political parties that are (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. F. X. Alario, S. Allen, G. T. M. Altmann, P. Bach, C. Becchio, I. Blanchette, L. Boroditsky, A. Brown, R. Campbell & U. Cartwright-Finch (2007). Dehaene-Lambertz, G., 261 Dijkstra, K., 139 Dumay, N., 341. Cognition 102:486-487.score: 36.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  16. Christopher Manning, Parsing and Hypergraphs.score: 24.0
    While symbolic parsers can be viewed as deduction systems, this view is less natural for probabilistic parsers. We present a view of parsing as directed hypergraph analysis which naturally covers both symbolic and probabilistic parsing. We illustrate the approach by showing how a dynamic extension of Dijkstra’s algorithm can be used to construct a probabilistic chart parser with an Ç´Ò¿µ time bound for arbitrary PCFGs, while preserving as much of the flexibility of symbolic chart parsers as allowed by the (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Dan Klein & Christopher D. Manning, Parsing and Hypergraphs.score: 24.0
    While symbolic parsers can be viewed as deduction systems, this view is less natural for probabilistic parsers. We present a view of parsing as directed hypergraph analysis which naturally covers both symbolic and probabilistic parsing. We illustrate the approach by showing how a dynamic extension of Dijkstra’s algorithm can be used to construct a probabilistic chart parser with an Ç´Ò¿µ time bound for arbitrary PCFGs, while preserving as much of the flexibility of symbolic chart parsers as allowed by the (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  18. Kalpesh Kapoor, Kamal Lodaya & Uday S. Reddy (2011). Fine-Grained Concurrency with Separation Logic. Journal of Philosophical Logic 40 (5):583-632.score: 24.0
    Reasoning about concurrent programs involves representing the information that concurrent processes manipulate disjoint portions of memory. In sophisticated applications, the division of memory between processes is not static. Through operations, processes can exchange the implied ownership of memory cells. In addition, processes can also share ownership of cells in a controlled fashion as long as they perform operations that do not interfere, e.g., they can concurrently read shared cells. Thus the traditional paradigm of distributed computing based on locations is replaced (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  19. Paola E. Dussias Jason W. Gullifer, Judith F. Kroll (2013). When Language Switching has No Apparent Cost: Lexical Access in Sentence Context. Frontiers in Psychology 4.score: 24.0
    We report two experiments that investigate the effects of sentence context on bilingual lexical access in Spanish and English. Highly proficient Spanish-English bilinguals read sentences in Spanish and English that included a marked word to be named. The word was either a cognate with similar orthography and/or phonology in the two languages, or a matched non-cognate control. Sentences appeared in one language alone (i.e., Spanish or English) and target words were not predictable on the basis of the preceding semantic context. (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  20. Ton Dijkstra Walter J. B. Van Heuven, Kathy Conklin, Emily L. Coderre, Taomei Guo (2011). The Influence of Cross-Language Similarity on Within- and Between-Language Stroop Effects in Trilinguals. Frontiers in Psychology 2.score: 12.0
    This study investigated effects of cross-language similarity on within- and between-language Stroop interference and facilitation in three groups of trilinguals. Trilinguals were either proficient in three languages that use the same script (alphabetic in German-English-Dutch trilinguals), two similar scripts and one different script (Chinese and alphabetic scripts in Chinese-English-Malay trilinguals), or three completely different scripts (Arabic, Chinese, and alphabetic in Uyghur-Chinese-English trilinguals). The results revealed a similar magnitude of within-language Stroop interference for the three groups, whereas between-language interference was modulated (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation