Bidirectional typing combines two modes of typing: type checking, which checks that a program satisfies known type, and synthesis, determines from the program. Using checking enables bidirectional to support features for inference is undecidable; using synthesis avoid large annotation burden explicitly typed languages. In addition, improves error locality. We highlight design principles underli...

objective(s):this study aims at exploring cytotoxic activity of different peptides derived from vsvg protein against mcf-7 and mda-mb-231 breast cancer cell lines and human embryonic kidney normal cell (hek 293).    materials and methods: the anticp web server was used to predict anticancer peptides. the cytotoxic activity of peptides with high score (p26, p7) and low score (p19) was examined b...

in determination of particular types of coagulate positive staphylococci (staphylococcus aurous) causing different diseases, especially hospital sepsis and food poisonings; 186 strains of coagulase positive staphylococci from different provinces in iran were phage typed. because of various sources of the strains, the results had some differences, as 15.8 percent or 15 strains separated from chi...

Original scientific paper Rock burst is a common serious geological hazard in underground engineering, which seriously affects the progress of projects. The mechanism of rock burst can be explained by the distribution law of rock fragments and its fractal characteristics. A simulation experiment of rock burst was conducted with the granite samples under a biaxial loading machine system to analy...

the aim of the study was to determine the resistance patterns of pseudomonas aeruginosa isolates recovered from patients with surgical wounds in hospitals and also to investigate their epidemiological relatedness using molecular typing techniques. twenty pseudomonas sp. isolated from surgical wounds were subjected to antibiotic susceptibility testing by disk diffusion, plasmid profile, sds-page...

pasteurella multocida is known as one of the main organisms causing pneumonia in sheep. as immunity in pasteurellosis is serogroup specific, identification of prevalent capsular group among endemic areas is essential. the aim of this study was to molecular identification and determine of the capsular type of the p. multocida strains isolated from sheep pneumonia in iran. bacteriological and bio...

Understanding the permeability-porosity relationships is key to improving reservoir prediction and exploitation especially in carbonate reservoirs, which are known for their complex textural diagenetic variation. Rock type classifications have long been proven be an effective technique establishing permeability- porosity relationships, enhance capability capture various flow behavior uncored zo...

In prion diseases, synapse dysfunction, axon retraction and loss of neuronal polarity precede neuronal death. The mechanisms driving such polarization defects, however, remain unclear. Here, we examined the contribution of RhoA-associated coiled-coil containing kinases (ROCK), key players in neuritogenesis, to prion diseases. We found that overactivation of ROCK signaling occurred in neuronal s...