Faculty

Institution

Unit

Venue

John Case

Professor Emeritus

University of Delaware

Affiliations

College of Engineering

Department of Computer and Information Sciences

John Case is currently serving as a College Of Engineering Professor Emeritus at University of Delaware.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

John Case

University of Delaware

Professor Emeritus

You can click a keyword to filter the displayed items

computer science machine learning theoretical computer science computational learning theory computational linguistics theory of computation machine learning research information science computational complexity information theory applied mathematics natural language processing computability theory linguistics computing education learning theory language learning logic in computer science inductive inference education computational complexity theory algorithmic information theory active learning program self-reference computational intelligence incremental learning lattice computers scientific computing information processing (psychology) educational theory noisy data spatial computing predictive learning abstraction (computer science) turing machine supervised learning memory-limited u-shaped learning robust learning not-so-nearly-minimal-size program inference positive data dynamic modeling fish biology process control automated deduction approximate reasoning automated reasoning mathematical sciences knowledge discovery educational psychology educational strategies intelligent computing ecology evolution system theory complexity reduction oscillation theory constructivism concept drift numerical computation inductive reasoning dynamic optimization logical formalism temporal logic formal mathematical reasoning computational logic algebraic logic symbolic learning unconventional computing infinitary self-reference u-shaped learning subrecursive programming systems reliable machines language learners predictive learning models iterative-with-counter learning automatic functions linear time computational paradigm natural computing algorithm design algorithmic development computational model theory

Notable Scholarly Works

Notable Federal Grants

Collaborators

Effectivity Questions for Kleene's Recursion Theorem. Theoretical Computer Science (2018)

John CaseSanjay JainFrank Stephan

computer sciencelogic in computer sciencerecursion theoremeffectivity questionstheoretical computer sciencetheory of computationcomputability theory

Connections Between Inductive Inference and Machine Learning. Encyclopedia of Machine Learning and Data Mining (2017)

John CaseSanjay Jain

inductive inferencemachine learning

Gold-Style Learning Theory. Springer eBooks (2016)

John Case

learning theoryeducational psychologyeducationeducational strategiesself-regulated learningeducational researchlearning sciencescomputational learning theorystatistical learning theoryexperiential learningeducational theorymachine learning researchcognitive sciencegold-style learning theoryreinforcement learningmachine learning

Learned Control of Body Patterning in Cuttlefish Sepia Officinalis (Cephalopoda). Journal of Molluscan Studies (2016)

Alexander R. HoughJohn CaseJean Geary Boal

fish biologyanatomydevelopmental biologybiologymorphology (biology)entomologymorphogenesis

Non-Obfuscated Unprovable Programs Many Resultant Subtleties. Logical Methods in Computer Science (2016)

John CaseMichael Ralston

computer sciencelogic in computer sciencetheoretical computer sciencenon-obfuscated unprovable programsmachine learning

Program Size Complexity of Correction Grammars in the Ershov Hierarchy. Lecture notes in computer science (2016)

John CaseJames S. Royer

informaticscomputer sciencecomputational complexityprogram size complexitycorrection grammarsnatural language processingershov hierarchymachine learning

Strongly Non-U-Shaped Language Learning Results by General Techniques. Information and Computation (2016)

John CaseTimo Kötzing

computer sciencegeneral techniquesinformation sciencecomputational linguisticsinformation theorynatural language processinglanguage learning

A Non-Uniformly C-Productive Sequence Non-Constructive Disjunctions. (2015)

John CaseMichael RalstonYohji Akama

non-uniformly c-productive sequencecomputer sciencenon-constructive disjunctionsmachine learning

Topological Separations in Inductive Inference. Theoretical Computer Science (2015)

John CaseTimo Kötzing

computer sciencetopological separationstheoretical computer sciencetheory of computationinductive inferencemachine learning

Automatic Learners With Feedback Queries. Journal of Computer and System Sciences (2014)

John CaseSanjay JainYuh Shin OngPavel SemukhinFrank Stephan

computer sciencecomputing educationfeedback queriesnatural language processingmachine learningautomatic learners

1
2
3
4
5
13
10 / page

John Case

Professor Emeritus

University of Delaware

Affiliations

College of Engineering

Department of Computer and Information Sciences

John Case is currently serving as a College Of Engineering Professor Emeritus at University of Delaware.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

John Case

University of Delaware

Professor Emeritus

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Effectivity Questions for Kleene's Recursion Theorem. Theoretical Computer Science (2018)

John CaseSanjay JainFrank Stephan

computer sciencelogic in computer sciencerecursion theoremeffectivity questionstheoretical computer sciencetheory of computationcomputability theory

Connections Between Inductive Inference and Machine Learning. Encyclopedia of Machine Learning and Data Mining (2017)

John CaseSanjay Jain

inductive inferencemachine learning

Gold-Style Learning Theory. Springer eBooks (2016)

John Case

Learned Control of Body Patterning in Cuttlefish Sepia Officinalis (Cephalopoda). Journal of Molluscan Studies (2016)

Alexander R. HoughJohn CaseJean Geary Boal

fish biologyanatomydevelopmental biologybiologymorphology (biology)entomologymorphogenesis

Non-Obfuscated Unprovable Programs Many Resultant Subtleties. Logical Methods in Computer Science (2016)

John CaseMichael Ralston

computer sciencelogic in computer sciencetheoretical computer sciencenon-obfuscated unprovable programsmachine learning

Program Size Complexity of Correction Grammars in the Ershov Hierarchy. Lecture notes in computer science (2016)

John CaseJames S. Royer

informaticscomputer sciencecomputational complexityprogram size complexitycorrection grammarsnatural language processingershov hierarchymachine learning

Strongly Non-U-Shaped Language Learning Results by General Techniques. Information and Computation (2016)

John CaseTimo Kötzing

computer sciencegeneral techniquesinformation sciencecomputational linguisticsinformation theorynatural language processinglanguage learning

A Non-Uniformly C-Productive Sequence Non-Constructive Disjunctions. (2015)

John CaseMichael RalstonYohji Akama

non-uniformly c-productive sequencecomputer sciencenon-constructive disjunctionsmachine learning

Topological Separations in Inductive Inference. Theoretical Computer Science (2015)

John CaseTimo Kötzing

computer sciencetopological separationstheoretical computer sciencetheory of computationinductive inferencemachine learning

Automatic Learners With Feedback Queries. Journal of Computer and System Sciences (2014)

John CaseSanjay JainYuh Shin OngPavel SemukhinFrank Stephan

computer sciencecomputing educationfeedback queriesnatural language processingmachine learningautomatic learners

1
2
3
4
5
13
10 / page

Similar Faculty Members

Oscar H. Ibarra

Institution

University of California, Santa Barbara

computer science

theoretical computer science

Ming-Yang Kao

Institution

Northwestern University

computer science

applied mathematics

Kfoury

Institution

Boston University

logic programming

mathematical logic

William Gasarch

Institution

University of Maryland, College Park

discrete algorithm

extremal graph theory

Steven Skiena

Institution

Stony Brook University

memetic computing

big data

Subhash Suri

Institution

University of California, Santa Barbara

computational geometry

computational paradigm

Bhaskar DasGupta

Institution

University of Illinois Chicago

network science

philosophy of computer science

Dana Angluin

Institution

Yale University

computational complexity

learning formal languages

Phokion G. Kolaitis

Institution

University of California, Santa Cruz

general system

computational complexity

Gyorgy Turan

Institution

University of Illinois Chicago

computational intelligence

automated reasoning

Similar Faculty Members

Oscar H. Ibarra

Institution

University of California, Santa Barbara

computer science

theoretical computer science

Ming-Yang Kao

Institution

Northwestern University

computer science

applied mathematics

Kfoury

Institution

Boston University

logic programming

mathematical logic

William Gasarch

Institution

University of Maryland, College Park

discrete algorithm

extremal graph theory

Steven Skiena

Institution

Stony Brook University

memetic computing

big data

Subhash Suri

Institution

University of California, Santa Barbara

computational geometry

computational paradigm

Bhaskar DasGupta

Institution

University of Illinois Chicago

network science

philosophy of computer science

Dana Angluin

Institution

Yale University

computational complexity

learning formal languages

Phokion G. Kolaitis

Institution

University of California, Santa Cruz

general system

computational complexity

Gyorgy Turan

Institution

University of Illinois Chicago

computational intelligence

automated reasoning