Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments

In this paper we promote introducing software verification and control flow graph similarity measurement in automated evaluation of students' programs. We present a new grading framework that merges results obtained by combination of these two approaches with results obtained by automated testing, leading to improved quality and precision of automated grading. These two approaches are also useful in providing a comprehensible feedback that can help students to improve the quality of their programs We also present our corresponding tools that are publicly available and open source. The tools are based on LLVM low-level intermediate code representation, so they could be applied to a number of programming languages. Experimental evaluation of the proposed grading framework is performed on a corpus of university students' programs written in programming language C. Results of the experiments show that automatically generated grades are highly correlated with manually determined grades suggesting that the presented tools can find real-world applications in studying and grading

Mineral Profile of Some Dried Fruits

The aim of this work was to determine the content of 16 elements in the seven samples of dried fruits: plums (Prunus domestica), figs (Ficus carica), apricots (Prunus armeniaca), white and black raisins (Vitis vinifera), dates (Phoenix dactylifera) and cranberries (Vaccinium oxycoccus), which are available in local markets. Inductively coupled plasma optical emission spectrometry (ICP-OES) was used after wet digestion method. Potassium is the most common macroelement while boron and zinc are the most common microelements. As, Cd and Hg were not detected while the content of Pb is below the MAC. The obtained results were statistically analyzed and compared with the literature values

"It happened, what's the problem?" and "A guide through the problem" - A model for consideration of ecological issues in chemistry education

In order to improve the ability to apply knowledge of chemistry (acquired in the existing educational system) in real life, the model for consideration of ecological issues was developed and applied in high school. The model consists of a continuous text "It Happened, What's the Problem?" and a test with non-continuous text "A Guide Through the Problem", which were prepared for consideration of the problem of eutrophication. All results obtained (average achievement of 70.9 +/- 14.3 %) showed that the application of the model enabled: understanding of an ecological problem based on scientific representations of the term eutrophication given in the continuous text, realization that pollution of the environment may be directly related to modern life, application of acquired knowledge of chemistry to observe and understand the cause and effect of eutrophication in the environment, to draw a scientific conclusion, and understanding the importance of science and technology discoveries for solving ecological problems. In addition, the model contributed to the development of student's environmental literacy (ecological knowledge and cognitive skills), ability to think critically, and provided possibilities for classroom knowledge to become applicable in real life

The Effects Of Two Fitness Programs With Different Metabolic Demands On Oxidative Stress In The Blood Of Young Females

The aim of the present study was to assess the effects of two metabolically different exercise programs on the redox state of women who were physically inactive before the beginning of the study. For this purpose, participants (women 25±5 years old) chose one of two popular fitness programs, Pilates or Tae Bo, and attended it 3 times a week for 12 weeks. At the beginning and end of the study, body composition analysis and venous blood sampling were performed. The levels of superoxide anion radical, hydrogen peroxide, nitric oxide and lipid peroxidation were measured in plasma, and the levels of reduced glutathione and the activity of superoxide dismutase and catalase were measured in erythrocytes. Only the Tae Bo program induced changes (positive) in body composition, whereas both exercise programs induced slight oxidative stress in exercisers. In the Tae Bo group, the levels of hydrogen peroxide were significantly increased, whereas the levels of reduced glutathione were decreased after three months of training. In the Pilates group, hydrogen peroxide and catalase activity were increased, and nitrites decreased. However, at the end of the study, those two groups had no significantly different values for any pro/antioxidant compared with the subjects who served as controls. This finding suggests that moderate physical activity, such as recreational fitness programs, may induce the increased production of reactive oxygen species but do not lead to a serious disturbance of the redox homeostasis of exercisers

The overexpression of SOX2 affects the migration of human teratocarcinoma cell line NT2/D1

The altered expression of the SOX2 transcription factor is associated with oncogenic or tumor suppressor functions in human cancers. This factor regulates the migration and invasion of different cancer cells. In this study we investigated the effect of constitutive SOX2 overexpression on the migration and adhesion capacity of embryonal teratocarcinoma NT2/D1 cells derived from a metastasis of a human testicular germ cell tumor. We detected that increased SOX2 expression changed the speed, mode and path of cell migration, but not the adhesion ability of NT2/D1 cells. Additionally, we demonstrated that SOX2 overexpression increased the expression of the tumor suppressor protein p53 and the HDM2 oncogene. Our results contribute to the better understanding of the effect of SOX2 on the behavior of tumor cells originating from a human testicular germ cell tumor. Considering that NT2/D1 cells resemble cancer stem cells in many features, our results could contribute to the elucidation of the role of SOX2 in cancer stem cells behavior and the process of metastasis

Covalent modification of single wall carbon nanotubes upon gamma irradiation in aqueous media

Single wall carbon nanotubes (SWCNTs) were exposed to gamma radiation, absorbing the doses of 25, 50 and 100 kGy in aqueous environment. After the irradiation treatment, the changes in the structure were studied using Fourier transform Infrared and Raman spectroscopy, thermogravimetric analysis and atomic force microscopy. Fourier Transform Infrared Spectroscopy has shown that the irradiation of SWCNTs in aqueous environment leads to covalent functionalization of SWCNTs. The irradiation of water leads to its radiolysis and the formation of free radical species of different types. These species react with nanotube sidewalls and in such way carboxylic and hydroxylic groups are covalently bonded to the sidewalls of SWCNTs. Thermogravimetric analysis was used to estimate the total amount of covalently bonded groups. The highest ratio of covalently bonded groups appears in nanotubes irradiated with the 100 kGy dose. Raman spectroscopy proved that the increase in irradiation doses leads to an increase of structural disorder of SWCNTs, presumably in the form of defects in carbon nanotube walls. Examination of I-D to I-G ratio shows a three times larger degree of structural disorder after the irradiation treatment with 100 kGy. The analysis of carbon nanotube Raman spectra RBM bands determined the presence of both semiconducting and metallic carbon nanotubes after gamma irradiation treatment. These measurements prove that gamma irradiation treatments have a nonselective effect regarding different chirality and therefore conductance of nanotubes. Atomic force microscopy shows a significant carbon nanotube shortening as the effect of gamma radiation treatment. Nanotubes with length between 500 nm and 1 mu m are predominant

Mutations in the PAH gene: A Tool for population genetics study

Fenilketonurija je urođena metabolička bolest prouzrokovana mutacijama u genu za fenilalanin hidroksilazu (PAH). U srpskoj populaciji je identifikovano 19 različitih PAH mutacija. PAH mutacije korišćene su kao molekularni markeri za populaciono-genetičko istraživanje. Niska vrednost homozigotnosti PAH gena (0,10) ukazuje na heterogenost fenilketonurije u Srbiji i odražava brojne migracije u regionu jugoistočne Evrope. U skladu sa tim, osmišljena je strategija molekularne dijagnostike fenilketonurije za Srbiju. U cilju rasvetljavanja porekla najčešće mutacije koja uzrokuje fenilketonuriju u Srbiji, L48S, urađena je haplotipska analiza PCR-RFLP metodom. Naši rezultati sugerišu da je L48S mutacija poreklom iz više populacija sa različitim genetičkim karakteristikama. .Phenylketonuria (PKU), an inborn error of metabolism, is caused by mutations in the phenylalanine hydroxylase (PAH) gene. In the Serbian population, 19 different PAH mutations have been identified. We used PAH mutations as molecular markers for population genetics study. The low homozygosity value of the PAH gene (0.10) indicates that PKU in Serbia is heterogeneous, reflecting numerous migrations throughout Southeast Europe. The strategy for molecular diagnostics of PKU was designed accordingly. To elucidate the origin of the most common (L48S) PKU mutation in Serbia, we performed haplotype analysis by PCR-RFLP. Our results suggest that the L48S mutation was imported into Serbia from populations with different genetic backgrounds

Antioxidant, antimicrobial and antiproliferative activities of five lichen species

The antioxidative, antimicrobial and antiproliferative potentials of the methanol extracts of the lichen species Parmelia sulcata, Flavoparmelia caperata, Evernia prunastri, Hypogymnia physodes and Cladonia foliacea were evaluated. The total phenolic content of the tested extracts varied from 78.12 to 141.59 mg of gallic acid equivalent (GA)/g of extract and the total flavonoid content from 20.14 to 44.43 mg of rutin equivalent (Ru)/g of extract. The antioxidant capacities of the lichen extracts were determined by 2,2-diphenyl-1-picrylhydrazyl (DPPH) radicals scavenging. Hypogymnia physodes with the highest phenolic content showed the strongest DPPH radical scavenging effect. Further, the antimicrobial potential of the lichen extracts was determined by a microdilution method on 29 microorganisms, including 15 strains of bacteria, 10 species of filamentous fungi and 4 yeast species. A high antimicrobial activity of all the tested extracts was observed with more potent inhibitory effects on the growth of Gram (+) bacteria. The highest antimicrobial activity among lichens was demonstrated by Hypogymnia physodes and Cladonia foliacea. Finally, the antiproliferative activity of the lichen extracts was explored on the colon cancer adenocarcinoma cell line HCT-116 by MTT (3-[4,5-dimethylthiazol-2-yl]-2,5-diphenyltetrazolium bromide) viability assay and acridine orange/ethidium bromide staining. The methanol extracts of Hypogymnia physodes and Cladonia foliacea showed a better cytotoxic activity than the other extracts. All lichen species showed the ability to induce apoptosis of HCT-116 cells. © 2011 by the authors; licensee MDPI, Basel, Switzerland

Gene Mutation Profiles in Primary Diffuse Large B Cell Lymphoma of Central Nervous System: Next Generation Sequencing Analyses

The existence of a potential primary central nervous system lymphoma-specific genomic signature that differs from the systemic form of diffuse large B cell lymphoma (DLBCL) has been suggested, but is still controversial. We investigated 19 patients with primary DLBCL of central nervous system (DLBCL CNS) using the TruSeq Amplicon Cancer Panel (TSACP) for 48 cancer-related genes. Next generation sequencing (NGS) analyses have revealed that over 80% of potentially protein-changing mutations were located in eight genes (CTNNB1, PIK3CA, PTEN, ATM, KRAS, PTPN11, TP53 and JAK3), pointing to the potential role of these genes in lymphomagenesis. TP53 was the only gene harboring mutations in all 19 patients. In addition, the presence of mutated TP53 and ATM genes correlated with a higher total number of mutations in other analyzed genes. Furthermore, the presence of mutated ATM correlated with poorer event-free survival (EFS) (p = 0.036). The presence of the mutated SMO gene correlated with earlier disease relapse (p = 0.023), inferior event-free survival (p = 0.011) and overall survival (OS) (p = 0.017), while mutations in the PTEN gene were associated with inferior OS (p = 0.048). Our findings suggest that the TP53 and ATM genes could be involved in the molecular pathophysiology of primary DLBCL CNS, whereas mutations in the PTEN and SMO genes could affect survival regardless of the initial treatment approach