Knowing the precise format of a program’s input is a necessary prerequisite for systematic testing. Given a program and a small set of sample inputs, we (1) track the data flow of inputs to aggregate input fragments that share the same data flow through program execution into lexical and syntactic entities; (2) assign these entities names that are based on the associated variable and function i...

Let ∆F be the free energy difference between two equilibrium states of a system. An established method of numerically computing ∆F involves a single, long “switching simulation”, during which the system is driven reversibly from one state to the other (slow growth, or adiabatic switching). Here we study a method of obtaining the same result from numerous independent, irreversible simulations of...

In this paper, we demonstrate that probabilistic context free grammars (PCFGs) can be used to recognize events from a sensor data stream. A fast PCFG inference algorithm based on Stolcke(1994) and Chen(1996) is presented which utilizes the set of observation strings as training data. A realworld scenario is presented and we also show that multi-modal sensor information can be utilized using Dem...

background: cross-contamination between cells is a usual mistake at cell culture laboratories and cell banks worldwide. mrc5 diploid cell and rk-13, vero and hela continuous cell lines are used in different stages of human viral vaccines propagation at razi vaccine and serum research institute of iran. however diploid and continuous cells are propagated at separated cell culture laboratory and ...

haemorrhagic septicaemia (hs) vaccine which is prepared in razi institute is used in endemic areas ofiran. aluminum-hydroxide gel was used as adjuvant for preparing this vaccine. post-vaccinal shock reactionswere the main complaint after use of this vaccine. in a previous study, we could improve the vaccine byalum-precipitation pasteurella multocida cells and removing the liquid phase. in this ...

objectives: in present study, we studied the effect of teaching three painting methods (free method, subject selection method and complementary method) on creativity of children with learning disabilities. first, among all disabled students, who refer to bizhani center for learning disabilities in arak city, 60 subjects were randomly selected as statistical sample. thus, the 45 children, divide...