Improving Implementation of an Electronic Prescription System for COVID-19 Vaccination in the Czech Republic: Process Modeling Approach.

Background: It is very difficult to find a consensus that will be accepted by most players when creating health care legislation. The Czech electronic prescription system was launched in 2011 and new functions were introduced in 2018. To ensure that these functions will not conflict with any other existing law, a process modeling tool based on the patent "Method and system for automated requirements modeling" was used successfully in the Czech Republic for the first time.

Experience with Teaching Different Modeling Techniques on the example of Glucose Insulin Regulation Model.

In order to teach different modeling techniques we demonstrate equation-based, block-schema based, compartment and component-based modeling using acausal and object-oriented modeling language - Modelica. Hands-on implementation using all these techniques and comparing them towards same system (in our case glucose-insulin regulation) we teach pros and cons of each technique. Equation-based or block-schema based may be rapidly implemented from literature.

Development of In-Browser Simulators for Medical Education: Introduction of a Novel Software Toolchain.

Background: Simulators used in teaching are interactive applications comprising a mathematical model of the system under study and a graphical user interface (GUI) that allows the user to control the model inputs and visualize the model results in an intuitive and educational way. Well-designed simulators promote active learning, enhance problem-solving skills, and encourage collaboration and small group discussion. However, creating simulators for teaching purposes is a challenging process that requires many contributors including educators, modelers, graphic designers, and programmers.

Testing Computer Models Predicting Human Responses to a High-Salt Diet.

Recently, mathematical models of human integrative physiology, derived from Guyton's classic 1972 model of the circulation, have been used to investigate potential mechanistic abnormalities mediating salt sensitivity and salt-induced hypertension. We performed validation testing of 2 of the most evolved derivatives of Guyton's 1972 model, Quantitative Cardiovascular Physiology-2005 and HumMod-3.0.