Order:
Disambiguations
J. I. Zucker [7]J. Zucker [6]Jeffery Zucker [2]Joel Zucker [1]
Jean-Michel Zucker [1]Jean-Daniel Zucker [1]
  1.  79
    The adequacy problem for inferential logic.J. I. Zucker & R. S. Tragesser - 1978 - Journal of Philosophical Logic 7 (1):501 - 516.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  2.  26
    (1 other version)Cut-elimination and normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1.
  3.  35
    Perceptual learning and the technology of expertise.Philip J. Kellman, Christine Massey, Zipora Roth, Timothy Burke, Joel Zucker, Amanda Saw, Katherine E. Aguero & Joseph A. Wise - 2008 - Pragmatics and Cognition 16 (2):356-405.
    Learning in educational settings most often emphasizes declarative and procedural knowledge. Studies of expertise, however, point to other, equally important components of learning, especially improvements produced by experience in the extraction of information: Perceptual learning. Here we describe research that combines principles of perceptual learning with computer technology to address persistent difficulties in mathematics learning. We report three experiments in which we developed and tested perceptual learning modules to address issues of structure extraction and fluency in relation to algebra and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  67
    (1 other version)The adequacy problem for classical logic.J. I. Zucker - 1978 - Journal of Philosophical Logic 7 (1):517 - 535.
  5.  35
    The correspondence between cut-elimination and normalization II.J. Zucker - 1974 - Annals of Mathematical Logic 7 (2):113.
  6.  12
    A French Perspective On Hospital Ethics Committees.Jean-Christophe Mino, Laure Copel & Jean-Michel Zucker - 2008 - Cambridge Quarterly of Healthcare Ethics 17 (3):300-307.
    In this article we highlight the main points of the development of bioethics and ethics committees in France. We argue that the French cultural context of medicine and its current political transformations favor new models of hospital ethics committee and we provide an example of such a model developed at Paris's Institut Curie, the oldest French cancer treatment and research centre.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  58
    Interpretable and accurate prediction models for metagenomics data.Edi Prifti, Antoine Danchin, Jean-Daniel Zucker & Eugeni Belda - 2020 - Gigascience 9 (3):giaa010.
    Background: Microbiome biomarker discovery for patient diagnosis, prognosis, and risk evaluation is attracting broad interest. Selected groups of microbial features provide signatures that characterize host disease states such as cancer or cardio-metabolic diseases. Yet, the current predictive models stemming from machine learning still behave as black boxes and seldom generalize well. Their interpretation is challenging for physicians and biologists, which makes them difficult to trust and use routinely in the physician-patient decision-making process. Novel methods that provide interpretability and biological insight (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  7
    (2 other versions)Tableau Systems for First Order Number Theory and Certain Higher Order Theories.J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  28
    Equational Theories and Equivalences of Programs.B. Courcelle, B. Domolki, T. Gergely, J. W. de Bakker, J. I. Zucker & E. Engeler - 1984 - Journal of Symbolic Logic 49 (3):990-991.
  10.  14
    Provable computable selection functions on abstract structures.J. Tucker & J. Zucker - 1992 - In Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.), Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990. New York: Cambridge University Press. pp. 275.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  21
    (1 other version)Review: Solomon Feferman, Computation on Abstract Data Types. The Extensional Approach, with an Application to Streams. [REVIEW]Jeffery Zucker - 2002 - Bulletin of Symbolic Logic 8 (4):538-542.
  12.  31
    (1 other version)Eduard Wette. Definition eines formalen Systems konstruktiver Arithmetik. Foundations of mathemattes, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag New York Inc., 1969, pp. 130–195. [REVIEW]G. Kreisel & J. Zucker - 1972 - Journal of Symbolic Logic 37 (1):203-204.