Patrick Suppes

According to our database1, Patrick Suppes authored at least 43 papers between 1955 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

ACM Fellow

ACM Fellow 1994, "".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Machine learning for the recognition of emotion in the speech of couples in psychotherapy using the Stanford Suppes Brain Lab Psychotherapy Dataset.
CoRR, 2019

2016
Qualitative Axioms of Uncertainty as a Foundation for Probability and Decision-Making.
Minds Mach., 2016

2014
Positive technological and negative pre-test-score effects in a four-year assessment of low socioeconomic status K-8 student learning in computer-based Math and Language Arts courses.
Comput. Educ., 2014

The Future Role of Computation in Science and Society.
Proceedings of the New Directions in the Philosophy of Science, 2014

2011
Learning Pattern Recognition Through Quasi-Synchronization of Phase Oscillators.
IEEE Trans. Neural Networks, 2011

Future development of scientific structures closer to experiments: Response to F.A. Muller.
Synth., 2011

A Spline Framework for Estimating the EEG Surface Laplacian Using the Euclidean Metric.
Neural Comput., 2011

2009
Partial Orders of Similarity Differences Invariant Between EEG-Recorded Brain and Perceptual Representations of Language.
Neural Comput., 2009

EEG Classification by ICA Source Selection of Laplacian-Filtered Data.
Proceedings of the 2009 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Boston, MA, USA, June 28, 2009

2008
Quantifying inter-subject agreement in brain-imaging analyses.
NeuroImage, 2008

2007
Single-Trial Classification of MEG Recordings.
IEEE Trans. Biomed. Eng., 2007

Statistical concepts in philosophy of science.
Synth., 2007

Where do Bayesian priors come from?
Synth., 2007

INVITED: Quantum Mechanics and the Brain.
Proceedings of the Quantum Interaction, 2007

2006
Interpretation of perceptron weights as constructed time series for EEG classification.
Neurocomputing, 2006

Multichannel Classification of Single EEG Trials with Independent Component Analysis.
Proceedings of the Advances in Neural Networks - ISNN 2006, Third International Symposium on Neural Networks, Chengdu, China, May 28, 2006

2005
The pre-history of Kenneth Arrow's social choice and individual values.
Soc. Choice Welf., 2005

Psychological Nature of Verification of Informal Mathematical Proofs.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004
Semantic computations of truth based on associations already learned.
J. Appl. Log., 2004

Classification of individual trials based on the best independent component of EEG-recorded sentences.
Neurocomputing, 2004

2002
Representation and invariance of scientific structures.
CSLI lecture notes series 130, CSLI Publications, ISBN: 978-1-57586-333-7, 2002

2000
Quantifier-Free Axioms For Constructive Affine Plane Geometry.
Synth., 2000

1999
The Noninvariance Of Deterministic Causal Models.
Synth., 1999

1998
Robotic machine learning of anaphora.
Robotica, 1998

Successful pedagogical applications of symbolic computation.
Proceedings of the Computer-Human Interaction in Symbolic Computation, 1998

1996
Machine Learning Comprehension Grammars for Ten Languages.
Comput. Linguistics, 1996

1995
Comprehension Grammars Generated from Machine Learning of Natural Languages.
Mach. Learn., 1995

Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof.
J. Symb. Log., 1995

Machine Learning of Natural Language: Problems and Prospects.
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

1989
An Interactive Calculus Theorem-Prover for Continuity Properties.
J. Symb. Comput., 1989

Uses of Artificial Intelligence on Computer Based Instruction.
Proceedings of the Artificial Intelligence in Higher Education, 1989

1988
Philosophical Implications of Tarski's Work.
J. Symb. Log., 1988

An equational deductive system for the differential and integral calculus.
Proceedings of the COLOG-88, 1988

1987
Context-Fixing Semantics for Instructable Robots.
Int. J. Man Mach. Stud., 1987

1985
Natural-Language Interface for an Instructable Robot.
Int. J. Man Mach. Stud., 1985

1984
The Next Generation of Interactive Theorem Provers.
Proceedings of the 7th International Conference on Automated Deduction, 1984

1979
Current Trends in Computer-Assisted Instruction.
Adv. Comput., 1979

1978
Computer-based courses(Panel Discussion).
Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1976
Necessary and sufficient conditions for existence of a unique measure strictly agreeing with a qualitative probability ordering.
J. Philos. Log., 1976

1974
Computer-assisted instruction in mathematics and language arts for deaf students.
Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

1968
Computer-assisted instruction: an overview of operations and problems.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 2, 1968

1958
Foundational Aspects of Theories of Measurement.
J. Symb. Log., 1958

1955
A Note on Two-Place Predicates and Fitting Sequences of Measure Functions.
J. Symb. Log., 1955


  Loading...