Results for 'Jan van Bakel'

998 found
Order:
  1. Automatic Semantic Interpretation: A Computer Model of Understanding Natural Language.Jan van Bakel - 1984 - Foris Publications.
  2.  19
    Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing.Steffen van Bakel - 2004 - Notre Dame Journal of Formal Logic 45 (1):35-63.
    This paper defines reduction on derivations (cut-elimination) in the Strict Intersection Type Assignment System of an earlier paper and shows a strong normalization result for this reduction. Using this result, new proofs are given for the approximation theorem and the characterization of normalizability of terms using intersection types.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  18
    Comparing Cubes of Typed and Type Assignment Systems.Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca & Pawel Urzyczyn - 1997 - Annals of Pure and Applied Logic 86 (3):267-303.
    We study the cube of type assignment systems, as introduced in Giannini et al. 87–126), and confront it with Barendregt's typed gl-cube . The first is obtained from the latter through applying a natural type erasing function E to derivation rules, that erases type information from terms. In particular, we address the question whether a judgement, derivable in a type assignment system, is always an erasure of a derivable judgement in a corresponding typed system; we show that this property holds (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  22
    Completeness and Partial Soundness Results for Intersection and Union Typing for Http://Ars. Els-Cdn. Com/Content/Image/Http://Origin-Ars. Els-Cdn. Com/Content/Image/1-S2. 0-S0168007210000515-Si1. Gif"/>. [REVIEW]Steffen van Bakel - 2010 - Annals of Pure and Applied Logic 161 (11):1400-1430.
  5.  8
    Completeness and Partial Soundness Results for Intersection and Union Typing for Λ ¯ Μ Μ ̃.Steffen van Bakel - 2010 - Annals of Pure and Applied Logic 161 (11):1400-1430.
    This paper studies intersection and union type assignment for the calculus , a proof-term syntax for Gentzen’s classical sequent calculus, with the aim of defining a type-based semantics, via setting up a system that is closed under conversion. We will start by investigating what the minimal requirements are for a system, for to be complete ; this coincides with System , the notion defined in Dougherty et al. [18]; however, we show that this system is not sound , so our (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  8
    Preface.Steffen van Bakel, Stefano Berardi & Ulrich Berger - 2010 - Annals of Pure and Applied Logic 161 (11):1313-1314.
  7.  4
    Preface.Steffen van Bakel, Stefano Berardi & Ulrich Berger - 2013 - Annals of Pure and Applied Logic 164 (6):589-590.
  8.  1
    Preface.Steffen van Bakel & Stefano Berardi - 2008 - Annals of Pure and Applied Logic 153 (1-3):1-2.
  9.  4
    Validity of the Parental Burnout Inventory Among Dutch Employees.Hedwig J. A. Van Bakel, Marloes L. Van Engen & Pascale Peters - 2018 - Frontiers in Psychology 9.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  1
    Necessary Condition Analysis: Type I Error, Power, and Over-Interpretation of Test Results. A Reply to a Comment on NCA. Commentary: Predicting the Significance of Necessity.Jan Dul, Erwin van der Laan, Roelof Kuik & Maciej Karwowski - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Jan van Ruusbroec, Die Geestelike Brulocht, Ed. J. Alaerts and Trans. H. Rolfson. Introduction by P. Mommaerts.(Corpus Christianorum, Continuatio Mediaeualis, 103.) Turnhout: Brepols, 1988. Paper. Pp. 728. [REVIEW]John Van Engen - 1991 - Speculum 66 (4):946-948.
    No categories
     
    Export citation  
     
    Bookmark  
  12.  74
    Abstract Concepts Require Concrete Models: Why Cognitive Scientists Have Not Yet Embraced Nonlinearly Coupled, Dynamical, Self-Organized Critical, Synergistic, Scale-Free, Exquisitely Context-Sensitive, Interaction-Dominant, Multifractal, Interdependent Brain-Body-Niche Systems.Eric-Jan Wagenmakers, Han L. J. van der Maas & Simon Farrell - 2012 - Topics in Cognitive Science 4 (1):87-93.
    After more than 15 years of study, the 1/f noise or complex-systems approach to cognitive science has delivered promises of progress, colorful verbiage, and statistical analyses of phenomena whose relevance for cognition remains unclear. What the complex-systems approach has arguably failed to deliver are concrete insights about how people perceive, think, decide, and act. Without formal models that implement the proposed abstract concepts, the complex-systems approach to cognitive science runs the danger of becoming a philosophical exercise in futility. The complex-systems (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13.  66
    Making Sense of Corporate Social Responsibility.Jacqueline Cramer, Jan Jonker & Angela van der Heijden - 2004 - Journal of Business Ethics 55 (2):215 - 222.
    This paper provides preliminary insights into the process of sense-making and developing meaning with regard to corporate social responsibility (CSR) within 18 Dutch companies. It is based upon a research project carried out within the framework of the Dutch National Research Programme on CSR. The paper questions how change agents promoting CSR within these companies made sense of the meaning of CSR. How did they use language (and other instruments) to stimulate and underpin the contextual essence of CSR? Why did (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  14.  38
    Theory and Practice in Air-Pump Construction: The Cooperation Between Willem Jacob's Gravesande and Jan van Musschenbroek.Anne C. van Helden - 1994 - Annals of Science 51 (5):477-495.
    In 1714, the Dutch scholar Willem Jacob's Gravesande published a theoretical essay on how to optimize the air-pump. Although his paper did not attract much attention, there was one important supplier of air-pumps who knew about it: the Leiden instrument maker Jan van Musschenbroek. 's Gravesande and he cooperated intensively between 1717 and 1742. Among other things, this cooperation resulted in two new air-pump designs to replace Musschenbroek's own models. A closer analysis of's Gravesande's influence on Musschenbroek's repertoire reveals that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  81
    The Ethics of Insider Trading Revisited.Peter-Jan Engelen & Luc Van Liedekerke - 2007 - Journal of Business Ethics 74 (4):497 - 507.
    Following Manne (1966, Insider Trading and the Stock Market (New York, Free Press)) we introduce a distinction between insider trading and market manipulation on the one hand and corporate insiders versus misappropriators on the other hand. This gives rise to four types of alleged inside transactions. We argue that the literature on insider trading has often targeted inside transactions type II, III and IV but that these arguments do not necessarily hold for type I transactions. We look for consequentionalist as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  16.  31
    John Horty, Agency and Deontic Logic.Jan Broersen & Leendert van der Torre - 2003 - Artificial Intelligence and Law 11 (1):45-61.
  17.  15
    Reasoning About Update Logic.Jan Van Eijck & Fer-Jan De Vries - 1995 - Journal of Philosophical Logic 24 (1):19 - 45.
    Logical frameworks for analysing the dynamics ofinformation processing abound [4, 5, 8, 10, 12, 14, 20, 22]. Some of these frameworks focus on the dynamics of the interpretation process, some on the dynamics of the process of drawing inferences, and some do both of these. Formalisms galore, so it is felt that some conceptual streamlining would pay off. This paper is part of a larger scale enterprise to pursue the obvious parallel between information processing and imperative programming. We demonstrate that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  5
    Analysing Group Differences in Intelligence Using the Psychometric Meta-Analytic Method of Correlated Vectors Hybrid Model: A Reply to Wicherts (2018) Attacking a Strawman.Jan te Nijenhuis & Michael van den Hoek - 2018 - Journal of Biosocial Science 50 (6):870-871.
    SummaryWicherts criticizes the use of the method of correlated vectors when testing Spearman’s hypothesis. It is argued that Wicherts ignores the psychometric meta-analytic method of correlated vectors hybrid model and so is attacking a strawman.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  9
    When Do Firms Invest in Corporate Social Responsibility? A Real Option Framework.Danny Cassimon, Peter-Jan Engelen & Luc Van Liedekerke - 2016 - Journal of Business Ethics 137 (1):15-29.
    In this paper, the process for firms to decide whether or not to invest in corporate social responsibility is treated from a real option perspective. We extend the Husted framework with an important extra parameter that allows us to understand the timing of CSR investment and explain why some companies drag their feet over CSR investments. Our model explicitly allows for the impact of the opportunity cost of delaying the CSR investment decision, providing firms with tools to determine the optimal (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  82
    Jan van der Stoep, Pierre Bourdieu en de politieke filosofie van het multiculturalisme. Kampen 2005: Kok. 268 pagina’s. ISBN 9043511986. [REVIEW]B. C. Wearne - 2006 - Philosophia Reformata 71 (2):195-198.
    Review of Jan van der Stoep's published PhD dissertation on the work of Pierre Bourdieu.en de politieke filosofie van het multiculturalisme Kok Kampen 2005. My review is in English. van der Stoep's book is in Dutch with an English summary.
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Bosch, R., see Bagaria, J. Cholak, P., see Ash, CJ.U. Engberg, G. Winskel, S. Ghilardi, G. Meloni, P. Matet, D. Skvortsov, S. van Bakel, L. Liquori, S. Ronchi Della Rocca & P. Urzyczyn - 1997 - Annals of Pure and Applied Logic 86:305.
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  3
    Déterminants et fréquence du non-emploi chez des mères d’enfant en situation de handicap.Audrey Guyard, Marielle Lachenal, Sophie Ihl, Marit van Bakel, Jérôme Fauconnier & Christine Cans - 2013 - Alter - European Journal of Disability Research / Revue Européenne de Recherche Sur le Handicap 7 (3):176-192.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. "Jan van Eyck's Arnolfini Portrait": Business as Usual?Linda Seidel - 1989 - Critical Inquiry 16 (1):55-86.
    This essay had its beginnings in my desire to reexamine the Arnolfini portrait from the perspective of Giovanna Cenami, the demure young woman who stands beside the cloaked and hated man on the fifteenth-century panel in London. Even though she shares the formal prominence with the man in Jan van Eyck’s unprecedented composition, she has been paid scant attention in the literature on the painting. I anticipated, as I began my work that inspection of the female subject of the panel (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  37
    Engineering and the Problem of Moral Overload.Jeroen Van den Hoven, Gert-Jan Lokhorst & Ibo Van de Poel - 2012 - Science and Engineering Ethics 18 (1):143-155.
    When thinking about ethics, technology is often only mentioned as the source of our problems, not as a potential solution to our moral dilemmas. When thinking about technology, ethics is often only mentioned as a constraint on developments, not as a source and spring of innovation. In this paper, we argue that ethics can be the source of technological development rather than just a constraint and technological progress can create moral progress rather than just moral problems. We show this by (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  25.  9
    Die Geestelike Brulocht.Jan van Ruusbroec, J. Alaerts, H. Rolfson, P. Mommaerts.John Van Engen - 1991 - Speculum 66 (4):946-948.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  14
    Die aristotelische Lehre vom nous in ihrer ontologischen Verwurzelung.Jan van Der Meulen - 1960 - Zeitschrift für Philosophische Forschung 14 (4):526 - 535.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  16
    Ist eine Wesensbestimmung des "Europäischen Menschen" Möglich?Jan van Der Meulen - 1960 - Zeitschrift für Philosophische Forschung 14 (1):113 - 116.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. The Oxford Handbook of Modality and Mood.Jan Nuyts & Johan van der Auwera (eds.) - 2016 - Oxford University Press UK.
    This handbook offers an in depth and comprehensive state of the art survey of the linguistic domains of modality and mood. An international team of experts in the field examine the full range of methodological and theoretical approaches to the many facets of the phenomena involved. Following an opening section that provides an introduction and historical background to the topic, the volume is divided into five parts. Parts 1 and 2 present the basic linguistic facts about the systems of modality (...)
     
    Export citation  
     
    Bookmark   1 citation  
  29.  8
    Jan Van Eyck Als Erzähler: Frühe Tafelbilder Im Umkreis Der New Yorker Doppeltafel. [REVIEW]Jeffrey Smith - 1985 - Speculum 60 (3):638-641.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  18
    Jan van Eyck Als Erzähler: Frühe Tafelbilder Im Umkreis der New Yorker Doppeltafel. Hans Belting, Dagmar Eichberger.Jeffrey Chipps Smith - 1985 - Speculum 60 (3):638-641.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  6
    Le Paradigme Interreligieux Dans les Manuels D’Apologétique Utilisés Dans L’Enseignement Religieux Catholique Et Francophone au Québec.Jan Van Wiele - 2003 - Laval Théologique et Philosophique 59 (2):345-367.
    Résumé Grâce à l’analyse de manuels scolaires, qui, par leur caractère succinct, se manifestent comme des sources principales pour reconstituer des mentalités théologiques, nous cherchons dans cette étude à découvrir quel était le paradigme interreligieux qui prévalait dans les cercles catholiques du Canada français avant et pendant Vatican II. Nous avons essayé de mettre au point la relation entre le paradigme interreligieux et la représentation des religions non chrétiennes dans les manuels d’apologétique utilisés dans l’enseignement religieux catholique et francophone au (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  9
    Maintien Et Transformation de Frontières? Identité Culturelle Et Représentation de L’Islam.Jan Van Wiele - 2005 - Laval Théologique et Philosophique 61 (1):135-174.
    Cette étude a été conçue comme une recherche interdisciplinaire historique, pédagogique, anthropologique et théologique, avec pour but d’examiner comment l’identité catholique a été forgée et maintenue au moyen de représentations de « soi-même » et de « l’autre » non chrétien, c’est-à-dire l’islam, dans le cadre narratif et discursif des manuels d’histoire de l’Église utilisés dans l’enseignement de la religion au primaire et au secondaire, au Canada francophone et en Belgique. Ces dernières années, de nombreuses recherches ont porté sur la (...)
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Jan van Eyck Das Arnolfini-Doppelbildnis. Reflexionen Tiber Die Malerei.Yvonne Yiu - 2001 - Nexus 51.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  34.  14
    Group Differences in Mean Intelligence for the Dutch and Third World Immigrants.Jan Te Nijenhuis & Henk van der Flier - 2001 - Journal of Biosocial Science 33 (3):469-475.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  14
    Health Care and the Principle of Fair Equality of Opportunity.Gert Jan van der Wilt - 1994 - Bioethics 8 (4):329-349.
  36. New Beginnings in Literary Studies.Jan Auracher & Willie van Peer (eds.) - 2008 - Cambridge Scholars Press.
     
    Export citation  
     
    Bookmark  
  37.  17
    Gert-Jan van der Heiden: Ontology After Ontotheology: Plurality, Event, and Contingency in Contemporary Philosophy. [REVIEW]Harris Bechtol - 2015 - Continental Philosophy Review 48 (4):497-504.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  26
    Book Review: Dennis Hirota, Ed., Toward a Contemporary Understanding of Pure Land Buddhism: Creating a Shin Buddhist Theology in a Religiously Plural World. [REVIEW]Jan Van Bragt - 2001 - Japanese Journal of Religious Studies 28 (1-2):188-192.
  39.  13
    Book Review: Keta Masako, Shūkyōkeiken No Tetsugaku: Jōdokyō Sekai No Kaimei. [REVIEW]Jan Van Bragt - 1993 - Japanese Journal of Religious Studies 20 (2-3):252-255.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  9
    Book Review: Martin Repp, Hōnens religioses Denken. Eine Untersuchung zu Strukturen religioser Erneuerung. [REVIEW]Jan Van Bragt - 2006 - Japanese Journal of Religious Studies 33 (1):205-208.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Kyoto Philosophy—Intrinsically Nationalistic?Jan Van Bragt - 1995 - In James W. Heisig & John C. Maraldo (eds.), Rude Awakenings: Zen, the Kyoto School, & the Question of Nationalism. University of Hawai'i Press.
  42.  2
    The Fourteenth Annual Meeting of the Japan Society for Buddhist-Christian Studies.Jan Van Bragt - 1996 - Buddhist-Christian Studies 16:199-202.
  43.  44
    What an Agent Ought To Do.Jan Broersen & Leendert van der Torre - 2003 - Artificial Intelligence and Law 11 (1):45-61.
  44.  2
    Introduction to the Special Issue: Current Developments in Cultivation Research.Jan Van den Bulck - 2004 - Communications 29 (3):273-275.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  1
    Towards Media Effect Case Reports.Jan van den Bulck - 2003 - Communications 28 (4):427-433.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  6
    Television Viewing and Adolescent Females’ Body Dissatisfaction: The Mediating Role of Opposite Sex Expectations.Jan Van den Bulck, Kathleen Beullens & Steven Eggermont - 2005 - Communications 30 (3):343-357.
    This study explored the relationship between both overall television viewing and romantic youth drama viewing, as well as of females’ concerns about boys’ attractiveness expectations on the one hand, and body image dissatisfaction on the other. Participants were 411 adolescent girls who completed self-report measures on body dissatisfaction, television viewing, and concerns about appearance expectations. Our results indicated that there was both a direct and indirect relationship between romantic youth drama viewing and body satisfaction. Girls who spent more time watching (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Do Minorities Need Cultural Rights? The Case of the Griqua People in South Africa.Jan van der Stoep In Conversation, Cecil le Fleur & Johannes Kraalshoek - 2008 - In Steve De Gruchy, Nico Koopman & S. Strijbos (eds.), From Our Side: Emerging Perspectives on Development and Ethics. Unisa Press.
  48.  24
    The Pleasure of Being (There?): An Explorative Study Into the Effects of Presence and Identification on the Enjoyment of an Interactive Theatrical Performance Using Omnidirectional Video. [REVIEW]Jan Decock, Jan Van Looy, Lizzy Bleumers & Philippe Bekaert - 2014 - AI and Society 29 (4):449-459.
  49.  29
    Jan Van Eyck Going Beyond Color: The Grisailles in the Ghent Altar-Piece.Marc De Mey - 2001 - Philosophica 68.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  2
    Irritating, Shocking, and Intolerable TV Programs: Norms, Values, and Concerns of Viewers in The Netherlands.Jan van Dijk, Allerd Peeters & Ard Heuvelman - 2005 - Communications 30 (3):325-342.
    This study investigates the negative reactions of Dutch viewers to the content of television programs. The results show that a vast majority is sometimes irritated by TV programs, that a somewhat smaller majority is sometimes shocked by the programs, and that one fifth of the viewing population consider certain programs to be intolerable. The most frequently mentioned genres are games, shows, and related entertainment programs, while reality TV, news and current affairs, and sex are primarily evaluated as irritating. It appears (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 998