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
  • Software Engineering
  • Formal Methods For Software

    • Formal methods for software

    AI-categorized content indicator

    Recently Published Articles

    |June 30, 2026

    Diagrammatic dataset on AI-generated formative feedback for XML-based UML models

    Janka Pecuchová, Ľubomír Benko, Martin Drlík

    |June 30, 2026

    Gamma Knife treatment planning using knowledge-based reinforcement learning

    Christopher Huynh, Björn Ahlgren, Beibei Zhang, Dominik Fay, Håkan Nordström, Mark Ruschin

    |June 30, 2026

    Coefficients of Repeatability for Likely Change: Comparison between PROMIS Computer Adaptive Tests and Short Forms

    M K Lee, D Cella, V Grzegorczyk, K J Ruddy, A L Cheville

    |June 30, 2026

    A Programmable Perfusion Platform with Temperature Monitoring Achieves Multiscale Cryopreservation

    Linshan Wang, Yuying Wang, Shiwen Wang, Jingyu Chen, Ruiwen Hu, Zhongrong Chen, Gang Zhao, Yue Cheng

    |June 30, 2026

    Trends and Outcomes in Technology-Assisted Total Knee Arthroplasty in the United States From 2020 to 2024

    Michael S Kim, Madison Brunette, Emily Pham, Kylen Soriano, Ryan DiGiovanni, Peter Hsiue

    |June 30, 2026

    Version upgrades in treatment planning Systems affect clinical application of a multi-Centre knowledge-based planning model

    Karen McGoldrick, Colin Hornby, Peter Griffin, Katrina Woodford, Flavio Nelli, Cathy Markham, Tomas Kron, Nick Hardcastle, Vanessa Panettieri

    |June 30, 2026

    VisionMetric Suite for periocular measurement in ophthalmic plastic surgery: a preliminary single-center validation study

    Tengfei Wang, Yunke Li, Kun Wang, Lingyi Zhang, Yingying Tian, Mengru Pang

    |June 30, 2026

    Effect of higher dose primaquine for the radical cure of <i>Plasmodium vivax</i> malaria in Indonesia: a systematic review and individual patient data meta-analysis

    Ihsan Fadilah, James A Watson, Ayodhia P Pasaribu, Inge Sutanto, Erni J Nelwan, Kartini Lidia, Megha Rajasekhar, Iqbal Rf Elyazar, Walter Rj Taylor, Kamala Thriemer, Nicholas Pj Day, Jeanne Rini Poespoprodjo, Julie A Simpson, Ric N Price, J Kevin Baird, Robert J Commons

    Pageof 90,770