The system is initially specified using PN, simulated and formally verified, and then transformed into an intermediate format which is compiled into the machine code.
Otherwise it can be achieved by extending the sampling process (for example, by visiting more randomly-selected households than were initially specified).
In etsrp mutant fish, primitive erythroid cells marked by gata1 expression are initially specified but then later lost through apoptosis [15].
The OLPs are initially specified as proliferative, migratory precursor cells and do not become post-mitotic shortly after their specification as the neurons do [17].
This suggests the possibility that primitive erythrocytes are initially specified in ER71 null mice, but quickly die due to compromised vasculature as happens in fish.
It has been shown that in response to FGF signaling, cells of prospective caudal neural plate are initially specified either as cells of rostral hindbrain or as Hoxb4+/b8+/c9+ cells which are typical for caudal/thoracic/spinal region [55].
Presumptive mesoderm cells are initially specified prior to gastrulation in ventral regions of the embryo (Reeves and Stathopoulos 2009; Solnica-Krezel and Sepich 2012).
Latin hypercube sampling technique (Helton et al., 2005) is used to generate N points in the parameter space (Fig. 1A); N is initially specified by users.
In the short germ band mode of development, only the anterior-most segments are initially specified and subsequently the posterior segments are added sequentially from unsegmented posterior tissue, which is often called a posterior growth zone [ 72, 73].
Despite these differences, the initial specification of insulin-expressing cells occurs before an islet is formed in both animals, and these insulin-positive cells migrate and form an islet at a distance from where they are initially specified.
