Timing the clinical onset of epileptic spasms in infantile epileptic spasms syndrome: A tertiary health center's experience.

Objective: Lead time to treatment (clinical onset of epileptic spasms [ES] to initiation of appropriate treatment) is known to predict outcomes in infantile epileptic spasms syndrome (IESS). Timing the clinical onset of ES is crucial to establish lead time. We investigated how often ES onset could be established to the nearest week.

Delays to care in infantile epileptic spasms syndrome: Racial and ethnic inequities.

Objective: Non-Hispanic (NH) Black children are less likely to receive a standard treatment course for infantile epileptic spasms syndrome (IESS) than White/NH children at pediatric tertiary care epilepsy centers in the United States. However, if inequities exist in time to diagnosis is unknown. Diagnostic delays as little as 1 week can be associated with worse developmental outcomes.

starMC: an automata based CTL* model checker.

Model-checking of temporal logic formulae is a widely used technique for the verification of systems. CTL is a temporal logic that allows to consider an intermix of both branching behaviours (like in CTL) and linear behaviours (LTL), overcoming the limitations of LTL (that cannot express "possibility") and CTL (cannot fully express fairness). Nevertheless CTL model-checkers are uncommon.