In this paper we describe the theorems and other related material when performing model-checking. These theorems form the basis for using model-checking as a tool for code optimization and distribution of stream graphs onto heterogeneous multi-processor architectures.

Details and elements of structures, which are made functionally heterogeneous materials have the property shape memory behave pseudo-elastically, may be under influence complex loads in process manufacturing operation. Uneven heating bodies combination with force factors can lead to large deformations material deformation processes. The existing models behavior such do not take into account non...

NUCLEAR R1BONUCLEOPROTEIN PA TICLES .................................................................... 461 Evidence for, and lsolation of, hnRNP Particles ....................................................... 461 General Structural Features of hnRNP articles ...................................................... 467 Proteins of hnRNP Particles ..................................................

We develop a multiscale Eulerian–Lagrangian localized adjoint method for transient linear advection– diffusion equations with oscillatory coefficients, which arise in mathematical models for describing flow and transport through heterogeneous porous media, composite material design, and other applications.

Background: Nowadays, advanced radiotherapy equipment includes algorithms to calculate dose. The verification of the calculated doses is important to achieve accurate results. Mostly homogeneous dosimetric phantoms are available commercially which do not mimic the actual patient anatomy; therefore, an indigenous heterogeneous pelvic phantom mimicking actual human pelvic region has been used to ...

TLR signaling is associated with the transcription of various proinflammatory cytokines, including TNF-α, IL-6, and IL-1β. After transcription, the mRNA of these proinflammatory cytokines needs to be tightly controlled at the posttranscriptional level to achieve an optimal expression. However, the precise mechanism of posttranscriptional regulation is not fully understood. In the current study,...