Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

What is JoVE Visualize?

  1. Home
  3. Research Domains
  • Information And Computing Sciences
  • Theory Of Computation
  • Computational Logic And Formal Languages

    • Computational logic and formal languages

    AI-categorized content indicator

    Recently Published Articles

    |July 16, 2026

    Reclaiming AI as a Theoretical Tool for Cognitive Science

    Iris van Rooij, Olivia Guest, Federico Adolfi, Ronald de Haan, Antonina Kolokolova, Patricia Rich

    |July 16, 2026

    Patterns of depressive symptoms among older adults living in long-term care homes in China: a latent class analysis

    Hongwei Qi, Sihan Dong, Shaoqing Ge, Yuting Song

    |July 16, 2026

    CasPINS: an integrated web-based platform for CRISPR/TALEN gRNA design, primer generation, and indel decomposition analysis

    Rinki Dasgupta, Kaushik Das

    |July 16, 2026

    Rhinoplasty Difficulty Scale: Development and Psychometric Analysis of a Surgeon's Assessment of Rhinoplasty Technique and Nasal Deformity Correction

    Dean M Toriumi, Everett V Smith, Miguel Gonçalves Ferreira, Travis T Tollefson

    |July 16, 2026

    [Virtually planned correction of a forearm malunion with 3D-technology, a case presentation]

    Peter Axelsson, Katleen Libberecht, Per Fredrikson, Charlotte Stor Swinkels, Emilia Gryska, Anders Björkman

    |July 16, 2026

    CoDeRS: a computing degree program recommender system using machine learning algorithms

    Christian Alexandra Rances, Rassel Aviel Sipe, Sherwin Baris, Adrian Lopez, Asia Dominic Rosaldo, Rex Bringula, Saida Ulfa

    |July 16, 2026

    Gesture Production and Its Semantic Integration with Speech in a Heterogeneous Group of Cantonese-Speaking Children with Autism

    Xin Zhang, Xue-Ke Song, Wing-Chee So

    |July 16, 2026

    Bailey pairs and quantum <i>q</i>-series identities. I. The classical identities

    Jehanne Dousse, Jeremy Lovejoy

    Pageof 2,208,541