Discriminating Content Addressable Memories. - Carl H. Smith; Larry D. Wittie (Sagamore Computer Conference, 1974)

An Improved Bound for Detecting Looping Configurations in Deterministic DPA's. - Jan van Leeuwen; Carl H. Smith (Inf. Process. Lett., 1974)

Microprogrammed random access stored program machines. - Carl H. Smith; Jan van Leeuwen (SIGACT News, 1974)

Memory Hardware for High Speed Job Selection. - Carl H. Smith; Larry D. Wittie (IEEE Trans. Computers, 1976)

The Power of Parallelism for Automatic Program Synthesis - Carl H. Smith (FOCS, 1981)

The Power of Pluralism for Automatic Program Synthesis. - Carl H. Smith (J. ACM, 1982)

A Combinatorial Problem Concerning Processor Interconnection Networks. - Michael J. O'Donnell; Carl H. Smith (IEEE Trans. Computers, 1982)

Inductive Inference: Theory and Methods. - Dana Angluin; Carl H. Smith (ACM Comput. Surv., 1983)

On the Complexity of Inductive Inference (Preliminary Report). - Robert P. Daley; Carl H. Smith (MFCS, 1984)

On the complextiy of inductive inference. - Robert P. Daley; Carl H. Smith (Bull. EATCS, 1984)

A Proof of the Determinacy Property of the Data Flow Schema. - Nam Sung Woo; Carl H. Smith; Ashok K. Agrawala (Inf. Process. Lett., 1984)

A complexity measure for data flow models. - Howard E. Motteler; Carl H. Smith (Int. J. Parallel Program., 1985)

On the Inference of Sequences of Functions. - William I. Gasarch; Carl H. Smith (AII, 1986)

On the Inference of Programs Approximately Computing the Desired Function. - Carl H. Smith; Mahendran Velauthapillai (AII, 1986)

On the Complexity of Inductive Inference - Robert P. Daley; Carl H. Smith (Inf. Control., 1986)

A Recursion Theoretic Approach to Program Testing. - John C. Cherniavsky; Carl H. Smith (IEEE Trans. Software Eng., 1987)

A note on arbitrarily complex recursive functions. - Carl H. Smith (Notre Dame J. Formal Log., 1988)

On the notion of granularity. - Clyde P. Kruskal; Carl H. Smith (J. Supercomput., 1988)

Probability and Plurality for Aggregations of Learning Machines - Leonard Pitt; Carl H. Smith (Inf. Comput., 1988)

A Refutation of Barzdins' Conjecture. - Stuart A. Kurtz; Carl H. Smith (AII, 1989)

On the Role of Search for Learning. - Stuart A. Kurtz; Carl H. Smith (COLT, 1989)

Training Sequences. - Dana Angluin; William I. Gasarch; Carl H. Smith (Theor. Comput. Sci., 1989)

Trade-Off among Parameters Effecting Inductive Inference - Rusins Freivalds; Carl H. Smith; Mahendran Velauthapillai (Inf. Comput., 1989)

Learning Via Queries With Teams and Anomilies. - Efim B. Kinber; William I. Gasarch; Thomas Zeugmann; Mark G. Pleszkoch; Carl H. Smith (COLT, 1990)

On the Inference of Approximate Programs. - Carl H. Smith; Mahendran Velauthapillai (Theor. Comput. Sci., 1990)

Self-learning inductive inference machines. - Karlis Cerans; Carl H. Smith (Comput. Intell., 1991)

On Weyuker's Axioms For Software Complexity Measures. - John C. Cherniavsky; Carl H. Smith (IEEE Trans. Software Eng., 1991)

Memory Limited Inductive Inference Machines. - Rusins Freivalds; Carl H. Smith (SWAT, 1992)

Learning programs with an easy to calculate set of errors. - William I. Gasarch; Ramesh K. Sitaraman; Carl H. Smith; Mahendran Velauthapillai (Fundam. Informaticae, 1992)

Learning via Queries. - William I. Gasarch; Carl H. Smith (J. ACM, 1992)

On the Duality Between Mechanistic Learners and What it is They Learn. - Rusins Freivalds; Carl H. Smith (ALT, 1993)

Classification of predicates and languages. - Rolf Wiehagen; Carl H. Smith; Thomas Zeugmann (EuroCOLT, 1993)

On the impact of forgetting on learing machines. - Rusins Freivalds; Efim B. Kinber; Carl H. Smith (Bull. EATCS, 1993)

The Syntax of Parallelism. - Amihood Amir; Carl H. Smith (Fundam. Informaticae, 1993)

On the Role of Procrastination in Machine Learning - Rusins Freivalds; Carl H. Smith (Inf. Comput., 1993)

A recursive introduction to the theory of computation. - Carl H. Smith (Springer, 1994)

Co-learnability and FIN-identifiability of Enumerable Classes of Total Recursive Functions. - Rusins Freivalds; Dace Gobleja; Marek Karpinski; Carl H. Smith (AII/ALT, 1994)

Three Decades of Team Learning. - Carl H. Smith (AII/ALT, 1994)

Training Diagraphs. - Hsieh-Chang Tu; Carl H. Smith (AII/ALT, 1994)

Co-Learning of Total Recursive Functions. - Rusins Freivalds; Marek Karpinski; Carl H. Smith (COLT, 1994)

Choosing a learning team: a topological approach. - Kalvis Apsitis; Rusins Freivalds; Carl H. Smith (STOC, 1994)

On the Inductive Inference of Real Valued Functions. - Kalvis Apsitis; Rusins Freivalds; Carl H. Smith (COLT, 1995)

Probabilistic versus Deterministic Memory Limited Learning. - Rusins Freivalds; Efim B. Kinber; Carl H. Smith (GOSLER Final Report, 1995)

Classifying Recursive Predicates and Languages. - Rolf Wiehagen; Carl H. Smith; Thomas Zeugmann (GOSLER Final Report, 1995)

Measure, Category and Learning Theory. - Lance Fortnow; Rusins Freivalds; William I. Gasarch; Martin Kummer; Stuart A. Kurtz; Carl H. Smith; Frank Stephan 001 (ICALP, 1995)

Recursion Theoretic Models of Learning: Some Results and Intuitions. - Carl H. Smith; William I. Gasarch (Ann. Math. Artif. Intell., 1995)

Learning via Queries with Teams and Anomalies. - William I. Gasarch; Efim B. Kinber; Mark G. Pleszkoch; Carl H. Smith; Thomas Zeugmann (Fundam. Informaticae, 1995)

On the Intrinsic Complexity of Learning. - Rusins Freivalds; Efim B. Kinber; Carl H. Smith (Inf. Comput., 1995)

Training Digraphs. - Hsieh-Chang Tu; Carl H. Smith (Inf. Process. Lett., 1995)

On the Impact of Forgetting on Learning Machines. - Rusins Freivalds; Efim B. Kinber; Carl H. Smith (J. ACM, 1995)

On Learning Multiple Concepts in Parallel. - Efim B. Kinber; Carl H. Smith; Mahendran Velauthapillai; Rolf Wiehagen (J. Comput. Syst. Sci., 1995)

Generalization versus classification. - Rolf Wiehagen; Carl H. Smith (J. Exp. Theor. Artif. Intell., 1995)

General Inductive Inference Types Based on Linearly-Ordered Sets. - Andris Ambainis; Rusins Freivalds; Carl H. Smith (STACS, 1996)

Learning with Confidence. - Janis Barzdins; Rusins Freivalds; Carl H. Smith (STACS, 1996)

On Duality in Learning and the Selection of Learning Terms. - Kalvis Apsitis; Rusins Freivalds; Carl H. Smith (Inf. Comput., 1996)

Team Learning as a Game. - Andris Ambainis; Kalvis Apsitis; Rusins Freivalds; William I. Gasarch; Carl H. Smith (ALT, 1997)

Asymmetric Team Learning. - Kalvis Apsitis; Rusins Freivalds; Carl H. Smith (COLT, 1997)

Learning Formulae from Elementary Facts. - Janis Barzdins; Rusins Freivalds; Carl H. Smith (EuroCOLT, 1997)

Learning Small Programs with Additional Information. - Rusins Freivalds; Gints Tervits; Rolf Wiehagen; Carl H. Smith (LFCS, 1997)

Classifying Predicates and Languages. - Carl H. Smith; Rolf Wiehagen; Thomas Zeugmann (Int. J. Found. Comput. Sci., 1997)

Editor's Introduction. - Michael M. Richter; Carl H. Smith; Rolf Wiehagen; Thomas Zeugmann (ALT, 1998)

On the Power of Learning Robustly. - Sanjay Jain 001; Carl H. Smith; Rolf Wiehagen (COLT, 1998)

A Logic of Discovery. - Janis Barzdins; Rusins Freivalds; Carl H. Smith (Discovery Science, 1998)

On the Relative Sizes of Learnable Sets. - Lance Fortnow; Rusins Freivalds; William I. Gasarch; Martin Kummer; Stuart A. Kurtz; Carl H. Smith; Frank Stephan 001 (Theor. Comput. Sci., 1998)

On the Intrinsic Complexity of Learning Recursive Functions. - Efim B. Kinber; Christophe Papazian; Carl H. Smith; Rolf Wiehagen (COLT, 1999)

Inductive Inference with Procrastination: Back to Definitions. - Andris Ambainis; Rusins Freivalds; Carl H. Smith (Fundam. Informaticae, 1999)

The functions of finite support: a canonical learning problem. - Rusins Freivalds; Efim B. Kinber; Carl H. Smith (J. Exp. Theor. Artif. Intell., 1999)

On the Inductive Inference of Recursive Real-Valued Functions. - Kalvis Apsitis; Setsuo Arikawa; Rusins Freivalds; Eiju Hirowatari; Carl H. Smith (Theor. Comput. Sci., 1999)

CS1 and CS2 (panel session): foundations of computer science and discrete mathematics. - D. S. Tomer; Doug Baldwin; Carl H. Smith; Peter B. Henderson; Venu Vadisigi (SIGCSE, 2000)

Towards Axiomatic Basis of Inductive Inference. - Janis Barzdins; Rusins Freivalds; Carl H. Smith (FCT, 2001)

Robust Learning Is Rich. - Sanjay Jain 001; Carl H. Smith; Rolf Wiehagen (J. Comput. Syst. Sci., 2001)

On the role of search for learning from examples. - Stuart A. Kurtz; Carl H. Smith; Rolf Wiehagen (J. Exp. Theor. Artif. Intell., 2001)

Hierarchies of probabilistic and team FIN-learning. - Andris Ambainis; Kalvis Apsitis; Rusins Freivalds; Carl H. Smith (Theor. Comput. Sci., 2001)

Category, Measure, Inductive Inference: A Triality Theorem and Its Applications. - Rusins Freivalds; Carl H. Smith (LATIN, 2002)

Letter to the Editor. - Carl H. Smith (AI Mag., 2002)

UPSILON: Universal Programming System with Incomplete Lazy Object Notation. - Brian Postow; Kenneth W. Regan; Carl H. Smith (Fundam. Informaticae, 2002)

Learning by the Process of Elimination. - Rusins Freivalds; Marek Karpinski; Carl H. Smith; Rolf Wiehagen (Inf. Comput., 2002)

On the intrinsic complexity of learning recursive functions. - Sanjay Jain 001; Efim B. Kinber; Christophe Papazian; Carl H. Smith; Rolf Wiehagen (Inf. Comput., 2003)

Learning with belief levels. - Janis Barzdins; Rusins Freivalds; Carl H. Smith (J. Comput. Syst. Sci., 2008)

Experience Communication through Post Digital Design. - Carl H. Smith (EVA, 2013)

Context Engineering Hybrid Spaces for Perceptual Augmentation. - Carl H. Smith (EVA, 2014)

Context Engineering Experience Framework. - Carl H. Smith (EVA, 2016)

Affordances for Capturing and Re-enacting Expert Performance with Wearables. - Will Guest; Fridolin Wild; Alla Vovk; Mikhail Fominykh; Bibeg Limbu; Roland Klemke; Puneet Sharma; Jaakko Karjalainen; Carl H. Smith; Jazz Rasool; Soyeb Aswat; Kaj Helin; et al. (EC-TEL, 2017)

Visions of an Imagined Venice Suspended Between Memories and New Possibilities. - Carl H. Smith; Jazz Rasool; Nick Lambert; Robert Pepperell; Tony Langford; Lena Korkovelou (EVA, 2017)

Natural Media Workshop. - Carl H. Smith; Jazz Rasool; Nick Lambert; Robert Pepperell; Tony Langford; Kim H. Veltman (EVA, 2017)

The Seventh Ray: A Mixed Reality initiation experience. - Carl H. Smith; Sarah James (EVA, 2018)

XR for XR - Context Craft: An extended reality platform that transforms local environments through play. - Carl H. Smith; Jay F. Cousins (EVA, 2019)

Designing Interfaces for Creative Learning Environments Using the Transreality Storyboarding Framework. - Jazz Rasool; Judith Molka-Danielsen; Carl H. Smith (BDE, 2020)

EVA London 2020 Workshops. - Nick Lambert; Carl H. Smith (EVA, 2020)

Living in Parallel: Adventures in pluralism and double consciousness. - Carl H. Smith (EVA, 2020)

Techno-Hyperhumanism. - Carl H. Smith; Eddie Castañeda (EVA, 2020)

Transforming TEL for Human Flourishing: Learning Enhanced Technology (LET). - Carl H. Smith; Judith Molka-Danielsen; Jazz Rasool (TALE, 2020)

An Ecology for the Re-Enchantment of Life. - Carl Hayden Smith (EVA, 2021)

EVA London 2021 Workshops. - Carl Hayden Smith; Daniel Buzzo; Eyal Gruss (EVA, 2021)

The Museum of Consciousness: Interactive, audio-based exhibits for cultivating altered states of consciousness. - Carl Hayden Smith; Kenneth Shinozuka; Alex Zhao; Michael Ronen (EVA, 2021)

Transitioning from Transmedia to Transreality Storyboarding to Improve the Co-Creation of the Experience Space. - Jazz Rasool; Judith Molka-Danielsen; Carl H. Smith (HICSS, 2021)

Design and Deployment Considerations for Ethically Advanced Technologies for Human Flourishing in the Workplace. - Judith Molka-Danielsen; Jazz Rasool; Carl H. Smith (HWID, 2021)

Smith Digital Art and Identity Merging Human and Artificial Intelligence: Enter the Metaverse. - Tula Giannini; Jonathan P. Bowen; Chris Michaels; Carl Hayden Smith (EVA, 2022)

Umwelt Hacking: Can we sense like a forest, a mycelium network or an octopus? - Carl Hayden Smith; Roseanne Wakely (EVA, 2022)

Cyberdelics: Context Engineering Psychedelics to Develop Altered Traits. - Carl Hayden Smith; Melissa Warner (EVA, 2022)

Re-Enchantment with Technology and Ourselves: Constructing the technomancy and neuromancy framework. - Carl Hayden Smith; William L. J. Bigmore (EVA, 2023)

The Intentional Use of Sound Design in the Egyptian Temples and the Great Pyramid. - Carl Hayden Smith; Tom Middleton; Joe Crossley (EVA, 2023)

The Sacred Sound Chamber and The Cyberdelic Renaissance. - Carl Hayden Smith; Tom Middleton; Joe Crossley; Jose Montemayor Alba; Benjamin I. Outram; Melissa Warner (EVA, 2023)

The World as an Interface: Exploring the Ethical Challenges of the Emerging Metaverse. - Carl H. Smith; Judith Molka-Danielsen; Jazz Rasool; Jean-Brunel Webb-Benjamin (HICSS, 2023)

Hyperhumanism Versus Transhumanism in New Media Art. - Carl Hayden Smith; William L. J. Bigmore (The Arts and Computational Culture, 2024)

EVA 2024 Keynotes. - Nick Lambert; Carl H. Smith; David Hanson; Tom Middleton; Erinma Ochu; Katherine Green (EVA, 2024)

Holotechnica: Exploring the nexus of altered states and altered traits. - Carl Hayden Smith (EVA, 2024)

Hyperhumanism in the Age of Generative AI: The impact on human creativity and identity. - Carl Hayden Smith; Filip Lundström (EVA, 2024)

Hyperhuman Technology Anonymous. - Carl Hayden Smith; Filip Lundström (EVA, 2024)

Non-Pharmacological Induction of Altered States: Applying neural DMTx data to calibrate a multisensory stimulation protocol. - Gavin M. Lawson; Carl Hayden Smith; David J. Schwartzman (EVA, 2025)

Cyberdelics: Designing immersive media for transpersonal experiences. - Daniel Mirante; Carl Hayden Smith (EVA, 2025)

Hyperhuman Techniques and Technologies Database. - Carl Hayden Smith; Joel A. Dietz; Lukas Höller (EVA, 2025)

Hyperhuman Techniques and Technologies Database Workshop. - Carl Hayden Smith; Joel A. Dietz; Lukas Höller; Sahar Muhsin Laufman (EVA, 2025)

The Play Economy Mindset to AI-Driven Role-Play. - Carl Hayden Smith; Michael Ronen (EVA, 2025)

The challenges of consent in a decentralised metaverse: exploring ethically informed protections and standards to safeguard humans. - Carl Hayden Smith; Judith Molka-Danielsen; Jean-Brunel Webb-Benjamin; Jazz Rasool (Frontiers Virtual Real., 2025)