Model Pembelajaran Inquiri Dengan Bimbingan Individual Sebagai Upaya Untuk Meningkatkan Prestasi Belajar Penjasorkes Siswa Kelas IV Semester I SD Negeri 1peliatan Tahun Pelajaran 2016/2017

Penelitian ini dilaksanakan di SD Negeri 1 Peliatan di Kelas IV Semester I yang kemampuan siswanya untuk mata pelajaran Penjasorkes masih di bawah KKM 73.Tujuan penulisan penelitian tindakan kelas ini adalah untuk mengetahui apakah model pembelajaran Inquiri dapat meningkatkan prestasi belajar siswa.Metode pengumpulan datanya adalah tes prestasi belajar. Metode analisis datanya adalah deskriptif.Hasil yang diperoleh dari penelitian ini adalah model pembelajaran Inquiri dapat meningkatkan prestasi belajar siswa. Ini terbukti dari hasil yang diperoleh pada awalnya 67, pada siklus I menjadi 70 dan pada siklus II menjadi 74.Kesimpulan yang diperoleh dari penelitian ini adalah model pembelajaran Inquiri dapat meningkatkan prestasi belajar Penjasorkes siswa Kelas IV Semester I SD Negeri 1 Peliatan

RNA Binding Protein CUGBP2/CELF2 Mediates Curcumin-Induced Mitotic Catastrophe of Pancreatic Cancer Cells

Curcumin inhibits the growth of pancreatic cancer tumor xenografts in nude mice; however, the mechanism of action is not well understood. It is becoming increasingly clear that RNA binding proteins regulate posttranscriptional gene expression and play a critical role in RNA stability and translation. Here, we have determined that curcumin modulates the expression of RNA binding protein CUGBP2 to inhibit pancreatic cancer growth.In this study, we show that curcumin treated tumor xenografts have a significant reduction in tumor volume and angiogenesis. Curcumin inhibited the proliferation, while inducing G2-M arrest and apoptosis resulting in mitotic catastrophe of various pancreatic cancer cells. This was further confirmed by increased phosphorylation of checkpoint kinase 2 (Chk2) protein coupled with higher levels of nuclear cyclin B1 and Cdc-2. Curcumin increased the expression of cyclooxygenase-2 (COX-2) and vascular endothelial growth factor (VEGF) mRNA, but protein levels were lower. Furthermore, curcumin increased the expression of RNA binding proteins CUGBP2/CELF2 and TIA-1. CUGBP2 binding to COX-2 and VEGF mRNA was also enhanced, thereby increasing mRNA stability, the half-life changing from 30 min to 8 h. On the other hand, silencer-mediated knockdown of CUGBP2 partially restored the expression of COX-2 and VEGF even with curcumin treatment. COX-2 and VEGF mRNA levels were reduced to control levels, while proteins levels were higher.Curcumin inhibits pancreatic tumor growth through mitotic catastrophe by increasing the expression of RNA binding protein CUGBP2, thereby inhibiting the translation of COX-2 and VEGF mRNA. These data suggest that translation inhibition is a novel mechanism of action for curcumin during the therapeutic intervention of pancreatic cancers

Tool Support for Correctness-by-Construction

Correctness-by-Construction (CbC) is an approach to incrementally create formally correct programs guided by pre- and postcondition specifications. A program is created using refinement rules that guarantee the resulting implementation is correct with respect to the specification. Although CbC is supposed to lead to code with a low defect rate, it is not prevalent, especially because appropriate tool support is missing. To promote CbC, we provide tool support for CbC-based program development. We present CorC, a graphical and textual IDE to create programs in a simple while-language following the CbC approach. Starting with a specification, our open source tool supports CbC developers in refining a program by a sequence of refinement steps and in verifying the correctness of these refinement steps using the theorem prover KeY. We evaluated the tool with a set of standard examples on CbC where we reveal errors in the provided specification. The evaluation shows that our tool reduces the verification time in comparison to post-hoc verification