A New PVSS Scheme with a Simple Encryption Function

A Publicly Verifiable Secret Sharing (PVSS) scheme allows anyone to verify the validity of the shares computed and distributed by a dealer. The idea of PVSS was introduced by Stadler in [18] where he presented a PVSS scheme based on Discrete Logarithm. Later, several PVSS schemes were proposed. In [2], Behnad and Eghlidos present an interesting PVSS scheme with explicit membership and disputation processes. In this paper, we present a new PVSS having the advantage of being simpler while offering the same features.Comment: In Proceedings SCSS 2012, arXiv:1307.8029. This PVSS scheme was proposed to be used to provide a distributed Timestamping schem

Test Generation from Timed Pushdown Automata with Inputs and Outputs

International audienceWe consider in this paper the model of Timed Pushdown Automata with Inputs and Outputs (TPAIO), for which state reachability can only be solved in exponential time. We compute by means of a polynomial algorithm a reachability timed automaton (RTA), thus partial, of a TPAIO. When the algorithmis applied to untimed pushdown automata, the reachability is equivalent in both automata. But with the addition of clock constraints, reachability in the RTA is only a sufficient condition. To decide if a succession of timed transitions can be executed, we compute the backward closures of the clock constraints, and evaluate them by means of satisfiability decision procedures. Additionally, we compute a path table that relates a feasibletransition of the RTA to the corresponding path of the TPAIO. We accept the incompleteness of our method as a price to pay for efficiency. It can be used in test generation since testing is incomplete by nature. Test generation relies on unfolding the transitions of the reachability timed automaton thanks to the path table. Keywords: Timed Pushdown Automata; Reachability Timed Automata; Clock Constraints Backward Closure; Test Generationfrom Automata; Conformance Relation for TPAIO

Identification of Locus GH/Alui Polymorphisms of Kuantan and Pesisir Cattle

Kuantan cattle is a local beef cattle of Riau Province that adaptive and breed well along the Kuantan river flow, found in Indragiri Hulu Regency and Kuantan Singingi Regency, have smaller morphometric performance compared to other local beef cattle and are relatively the same as Pesisir cattle. One of the genetic markers of growth determinant in beef cattle is the GH/AluI gene locus. Identification of the diversity of the GH/Alu I gene was carried out using the PCR-RFLP. Fifty four samples of Kuantan cattle consisting of 25 samples from Indragiri Hulu Regency and 29 samples from Kuantan Singingi Regency, as well as 25 samples of Pesisir cattle from BPTU-HPT Padang Mengatas Payakumbuh, West Sumatra, were used in this study. The oligonucleotida forward F-5’GCTGCTCCTGAGGGCCCTTC-3’ and reverse R-5’CATGACCCTCAGGTACGTCTCCG-3’ used in this study along 211 bp of GH Gene. The PCR mixture consisted of DNA templates 20 - 25 ng, 0.4 µL  primer forward dan primer reverse (10 ng primer forward and primer reverse), 25 µL dream tag green master mix and ddH2O up to a 50 µL. PCR machine conditions consisted of 940C pradenaturation for 5 minutes, 940C denaturation for 30 seconds, annealing 650C for 1 minute, 720C extension for 50 seconds and 720C final extension for 5 minutes. Identification of GH gene diversity using AluI at an incubation temperature of 370C for 3 hours. The results in this study were found monomorphic of GH/AluI genes in Kuantan and Pesisir cattle. The monomorphic in Kuantan cattle can be used as an indicator to assess the purity of Kuantan cattle in this areas.

PRAKTIK KEHIDUPAN KEAGAMAAN TOKE KELAPA SAWIT

Penelitian ini bertujuan untuk mengetahui bagaimana Praktik Kehidupan Keagamaan Toke Kelapa Sawit di Dusun Tempel, Desa Pangarungan, Kecamatan Torgamba, Kabupaten Labuhan Batu Selatan. Jenis penelitian ini adalah penelitian kualitatif dan teknik pengumpulan data yang digunakan dalam penelitian ini adalah wawancara, observasi, dan dokumentasi tentang Praktik Kehidupan Keagamaa Toke Kelapa Sawit di Dusun Tempel, Desa Pangarungan, Kecamatan Torgamba, Kabupaten Labuhan Batu Selatan. Kesimpulan dari hasil penelitian ini dilihat dari latar belakang Toke kelapa sawit tersebut bahwasannya Toke tersebut adalah orang-orang Islam yang tradisional, kemudian pendidikan mereka yang merah, tetapi pergaulan sosial meraka tersebut sangat luas karena mereka mempunyai posisi penting yang ada di kampung tersebut.Kata Kunci : Perubahan, Praktik Kehidupan Keagamaan, Jual Bel

HUBUNGAN DUKUNGAN PETUGAS KESEHATAN DENGAN PERILAKU KONSUMSI NUTRISI PADA IBU POST SECTIO CAESAREA FASE IMMADIATELY DI RUANG NIFAS RUMAH SAKIT DAERAH BALUNG

Pendahuluan: Pada immediatly postpartum merupakan masa kritis bagi ibu maupun bayinya. Ibu sedang menjalani pemulihan fisik dan hormonal yang disebabkan oleh proses kelahiran serta pengeluaran plasenta. Metode: Dalam Penelitian ini menggunakan desain analitik korelasi dengan pendekatan Cross Sectional yang bertujuan untuk mengidentifikasi Hubungan Dukungan Petugas Kesehatan Dengan Perilaku Konsumsi Nutrisi Pada Ibu Post Secio Cesaria Masa Immadiately. Pada penelitian ini yang menjadi sampel adalah seluruh ibu post sectio caesarea fase immediately yang bersedia menjadi responden dalam hal ini sejumlah 30 responden. Teknik sampling dalam penelitian ini menggunakan Consecutive Sampling. Data dikumpulkan dengan menggunakan lembar kuesioner dengan skala likert. Hasil: dari dukungan petugas kesehatan didapatkan 20 responden (66.7%) mendapatkan dukungan yang optimal, selanjutnya 9 responden (23.3%) mendapatkan dukungan kurang optimal dan sisanya 1 responden (10%) mendapatkan dukungan tidak optimal. Hasil dari perilaku konsumsi nutrisi didapatkan 20 responden (66.7%) mengatakan perilaku konsumsi seimbang, selanjutnya 9 responden (23.3%) mengatakan perilaku konsumsi cukup seimbang, dan sisanya 1 responden (10%) mengatakan kurang seimbang. Hasil uji Spearman Rho (α= 0,05) diperoleh hasil Ρ Value= 0,00 berarti ada hubungan dukugan petugas kesehatan dengan perilaku pola konsumsi ibu Post Secio Cesaria Masa Immadiately. Diskusi: Rekomendasi penelitian ini adalah memberikan pendidikan pada ibu post Secio Cesaria dan nifas pada umumnya tentang betapa pentingnya dukungan terhadap pola konsumsi nutrisi pada ibu Kata kunci : Dukungan Petugas Kesehatan, Perilaku Konsumsi Nutrisi, Ibu Post Secio Cesaria Masa Immadiatel

Change-Oriented Organizational Citizenship Behavior pada karyawan: Bagaimana peranan kepemimpinan transformasional?

Abstract Change-Oriented Organizational Citizenship Behavior (OCB) is a constructive effort by individuals to identify and implement changes that companies need because behavior is not enough to help, but employee behavior is important in improving working methods, policies, and procedures to improve situations and performance. Transformational leadership can influence the emergence of Change-Oriented OCB behavior as an external factor because the motivation and invitation to bring about change in the organization make employees active participants in the development of the company. The aim of this study is to find out the relationship between transformational leadership and Change-Oriented OCB. This study is a quantitative correlational study involving a total population of 90 respondents. The scale of measurement of transformational leadership variables and Change-Oriented OCBs using the Likert scale. The results of the test were tested using product moment analysis. The correlation test results between transformational leadership and Change-Oriented OCBs produced a very significant positive relationship, which means that it can be concluded that the higher the transformational leader, the higher is the Change-Oriented OCB, on the contrary that the lower the transformational leadership, the lower is the changing-oriented OCB. Keywords: Change-Oriented OCB; Employee; Transformational Leadership   Abstrak Change-Oriented Organizational Citizenship Behavior (OCB) adalah usaha konstruktif yang dilakukan individu untuk mengidentifikasi dan menerapkan perubahan yang dibutuhkan perusahaan karena perilaku membantu saja tidak cukup melainkan perilaku karyawan penting dalam meningkatkan metode kerja, kebijakan, dan prosedur untuk memperbaiki situasi dan kinerja. Kepemimpinan transformasional dapat mempengaruhi munculnya perilaku Change-Oriented OCB sebagai faktor eksternal karena motivasi dan ajakan untuk memberikan perubahan pada organisasi membuat karyawan menjadi turut serta aktif pada perkembangan perusahaan. Tujuan dari penelitian ini adalah untuk mengetahui hubungan antara kepemimpinan transformasional dengan Change-Oriented OCB. Penelitian ini merupakan penelitian kuantitatif korelasional yang melibatkan keseluruhan populasi sejumlah 90 responden. Skala pengukuran pada variabel kepemimpinan transformasional dan Change-Oriented OCB menggunakan skala likert. Hasil penelitian diuji menggunakan uji analisis product moment. Hasil uji korelasi antara antara kepemimpinan transformasional dengan Change-Oriented OCB menghasilkan hubungan positif yang sangat signifikan, artinya dapat disimpulkan bahwa semakin tinggi kepemimpinan transformasional, maka semakin tinggi pula Change-Oriented OCB, sebaliknya bahwa semakin rendah kepemimpinan transformasional, maka semakin rendah pula Change-Oriented OCB. Kata kunci: Change-Oriented OCB; Karyawan; Kepemimpinan Transformasiona

Praktik Kehidupan Keagamaan Toke Kelapa Sawit di Dusun Tempel, Desa Pangarungan, Kecamatan Torgamba, Kabupaten Labuhanbatu Selatan.

Penelitian ini bertujuan untuk mengetahui bagaimana Praktik Kehidupan Keagamaan Toke Kelapa Sawit di Dusun Tempel, Desa Pangarungan, Kecamatan Torgamba, Kabupaten Labuhan Batu Selatan. Jenis penelitian ini adalah penelitian kualitatif dan teknik pengumpulan data yang digunakan dalam penelitian ini adalah wawancara, observasi, dan dokumentasi tentang Praktik Kehidupan Keagamaa Toke Kelapa Sawit di Dusun Tempel, Desa Pangarungan, Kecamatan Torgamba, Kabupaten Labuhan Batu Selatan. Kesimpulan dari hasil penelitian ini adalah dilihat dari latar belakang Toke kelapa sawit tersebut bahwasannya Toke tersebut adalah orang-orang islam yang tradisional, kemudian pendidikan mereka yang redah, tetapi pergaulan sosial meraka tersebut sangat luas karena mereka mempunyai posisi penting yang ada di kampung tersebut. Selanjutnya temuan menunjukkan bahwa dalam praktik perdagangan menunjukkan bahwa pedagang-pedagang itu diikat oleh norma dan ajaran-ajarn islam yang sangat ketat, meskipun mereka adalah umat muslim tetapi dalam praktik timbangan itu tidak semuanya praktik tersebut memperhitungkan nilai-nilai atau ajaran islam

Towards automated proofs of observational properties

Observational theories are a generalization of first-order theories where two objects are observationally equal if they cannot be distinguished by experiments with observable results. Such experiments, called contexts, are usually infinite. Therfore, we consider a special finite set of contexts, called cover-contexts, ''\emphcovering'' all the observable contexts. Then, we show that to prove that two objects are observationally equal, it is sufficient to prove that they are equal (in the classical sense) under these cover-contexts. We give methods based on rewriting techniques, for constructing such cover-contexts for interesting classes of observational specifications

Unlocking the Patterns of the Tunisian Durum Wheat Landraces Genetic Structure Based on Phenotypic Characterization in Relation to Farmer’s Vernacular Name

During the 1970s, Tunisian durum wheat landraces were replaced progressively by modern cultivars. These landraces are nowadays maintained by smallholder farmers in some ecological niches and are threatened gradually by extinction resulting in the narrowing of the genetic diversity. This study aims to investigate patterns of phenotypic variability using twelve quantitative traits in a panel of 189 durum wheat landraces and seven checks, based on farmer’s population name attribution and genetic structure. Our results showed high phenotypic variability among and within landraces and checks for ten out of twelve studied traits. The principal components analysis showed similar grouping using farmers name attribution and genetic structure using K = 6. These results confirmed the identification of a new gene pool in the oases of Tunisia, represented by the sub-population Jenah Zarzoura and the robustness and high relationships between phenotypic and genome-wide genetic structure using DArTseq method. These findings will enhance the conservation efforts of these landraces and their use in breeding efforts at national and international levels to adapt to dry conditions