Abstract: Systems, methods, electronic devices and computer-readable media for charting dental information are described. The method includes generating or retrieving a dental data set including separately-modifiable parameters defining dental information relative to a base parametric model, the parameters providing information for generating signals for displaying a three-dimensional (3D) representation of at least a portion of a dentition represented by the dental data set; receiving an input via the 3D representation; and based on the received input, adjusting at least one of the parameters.

Abstract: A virtual non-volatile memory is simulated for a virtual switch. Operating instructions from the non-volatile memory of a physical switch may be translated into a flash type file. The flash type file may be stored on a virtual storage area in the virtual switch. Operating instructions in the virtual switch may access the flash type file in the virtual storage area without the need to access the non-volatile memory in the physical switch.

Abstract: A computer-implemented process, computer program product, and apparatus for examining concurrent system state space models. A system has concurrent events to create a modeled system. A minimal chain decomposition of the modeled system is created to identify a set of chains. All chains in the set of chains are extended, and a first set of paths is generated, wherein the first set of paths is a minimal set of paths covering all states of the modeled system. The first set of paths is explored. It is optionally determined whether all transitions have been covered. Responsive to a determination that all transitions have not been covered, remaining paths are explored by traversing a graph induced by the modeled system using a depth-first strategy.

Abstract: The present invention comprises systems and methods for large eddy simulations using a scaled S-model, which may be scaled in both time and space. Prior large eddy simulation models require at least one special coefficient, which vary from case to case and need to be decided experimentally or empirically. In embodiments, the scaled S-model does not require any coefficient that varies case by case or needs to be decided experimentally or empirically.