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

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.

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

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

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

ISOLASI DAN KARAKTERISASI PLANT GROWTH PROMOTING RHIZOBACTERIA DARI RIZOSFER KEBUN KARET RAKYAT

ABSTRACT   The diversity of vegetation that grows on the ground will affect the number and type of microbes in the rhizosphere of folk rubber plantations. The purpose of this research is to know the population, genus, and biological activity of PGPR bacteria (IAA hormone producers, phosphate solvents and biocontrol agents) originating from the rhizosphere of folk rubber plantations. This research was conducted from March to May 2018 at the Laboratory of Pathology, Entomology and Microbiology Faculty of Agriculture and Animal Sciences, Islamic State University Sultan Syarif Kasim Riau and UPT Health and Environment Laboratory. This research used an observation method by taking soil samples that are composted, and data are presented in descriptive form. The parameters observed in this research were soil pH, bacterial population, characterization of PGPR bacteria includes macroscopic, microscopic, biochemical reaction test and PGPR bacterial biological activity (IAA test qualitatively, phosphate solvent test and in-vitro inhibitory test). The results showed that the pH of the soil obtained at a depth of 0-20 cm was 3.19 with a bacterial population of 1.06 × 106 CFU/g of soil. A total of 4 isolates were able to produce IAA hormones namely genus Bacillus sp.1, Bacillus sp.2, Bacillus sp.3, and Bacillus sp.5. A total of 2 isolates were able to dissolve foster, namely genus Bacillus sp.1 and Bacillus sp.2 and 2 isolates were able to play a role as inhibitory power against Fusarium sp. namely the genus Bacillus sp. 4 and Bacillus sp.5. There were 5 isolates of PGPR bacteria that had different biological activity abilities, namely genus Bacillus sp.1, Bacillus sp.2, Bacillus sp.3, Bacillus sp.4, and Bacillus sp.5

Penentuan Komposisi Bahan Makanan Bagi Penderita Gagal Ginjal Akut Dengan Algoritma Genetika

AbstrakPenyakit ginjal merupakan penyakit yang  ganas, dimana jika penanganan yang dilakukan secara tidak tepat, maka akan mempengaruhi kualitas hidup penderitanya. Selain mengandalkan perawatan medis, individu yang menderita penyakit ini harus sadar diri dengan kondisi kesehatannya. Untuk mengatur diet makanannya, penderita memerlukan suatu sistem yang mampu menentukan komposisi bahan makanan bagi penderita penyakit ginjal secara cepat dan tepat. Oleh karena itu penulis memberikan solusi berupa sistem penentuan bahan makanan apa saja yang tepat gizi bagi penderita penyakit ginjal akut menggunakan algoritma genetika, dimana pengodean yang digunakan adalah real code. Nilai Gizi dari makanan diambil dari PUGS (Pedoman Umum Gizi Seimbang) dan ensiklopedi. Algoritma yang digunakan dalam penentuan komposisi bahan makanan bagi penderita gagal ginjal akut ini ialah algoritma genetika, langkahnya meliputi : inisialisasi kromosom dimana setiap kromosom terdapat 5 gen berupa indeks dari bahan makanan, kemudian dilakukan inisialisasi probabilitas crossover dan mutasi untuk proses reproduksi, dilanjutkan dengan evaluasi menggunakan perhitungan fitness yang disesuaikan dengan rumus, dan tahap akhir ialah melakukan seleksi dengan menggunakan elitism selection untuk menghasilkan kandidat bahan makanan baru untuk diproses pada iterasi berikutnya.Kata kunci: komposisi bahan makanan, gagal ginjal akut, algoritma genetikaAbstractKidney disease is a malignant disease, where if the treatment is done incorrectly, the sufferer’s qualitiy of liife can be affected by incorrect treatment. In addition to relying on medical care, individuals who suffer from this disease should be aware of themselves with the condition of his health. To arrange food diet, the patient requires a system that can determine the composition of food for kidney disease quickly and accurately. Therefore, the authors provide a solution with determination system for any food ingredient proper nutrition for patients with chronic kidney disease using genetic algorithms, where the coding used is real code. Nutritional value of food taken from PUGS (General Guidelines Balanced Nutrition) and encyclopedia. The algorithm used in determining the composition of foodstuffs for patients with acute renal failure this is a genetic algorithm, the steps include: initialization chromosome where each chromosome there are five genes in the form of index of groceries, then do the initialization probability of crossover and mutation to the reproductive process, followed by an evaluation using fitness calculations to the formula, and the final stage is to make the selection by using elitism candidate selection to produce new food material to be processed in the next iteration.Keywords: food composition, acute renal failure, genetic algorith

Penentuan Komposisi Bahan Makanan Bagi Penderita Gagal Ginjal Akut Dengan Algoritma Genetika

Abstrak Penyakit ginjal merupakan penyakit yang  ganas, dimana jika penanganan yang dilakukan secara tidak tepat, maka akan mempengaruhi kualitas hidup penderitanya. Selain mengandalkan perawatan medis, individu yang menderita penyakit ini harus sadar diri dengan kondisi kesehatannya. Untuk mengatur diet makanannya, penderita memerlukan suatu sistem yang mampu menentukan komposisi bahan makanan bagi penderita penyakit ginjal secara cepat dan tepat. Oleh karena itu penulis memberikan solusi berupa sistem penentuan bahan makanan apa saja yang tepat gizi bagi penderita penyakit ginjal akut menggunakan algoritma genetika, dimana pengodean yang digunakan adalah real code. Nilai Gizi dari makanan diambil dari PUGS (Pedoman Umum Gizi Seimbang) dan ensiklopedi. Algoritma yang digunakan dalam penentuan komposisi bahan makanan bagi penderita gagal ginjal akut ini ialah algoritma genetika, langkahnya meliputi : inisialisasi kromosom dimana setiap kromosom terdapat 5 gen berupa indeks dari bahan makanan, kemudian dilakukan inisialisasi probabilitas crossover dan mutasi untuk proses reproduksi, dilanjutkan dengan evaluasi menggunakan perhitungan fitness yang disesuaikan dengan rumus, dan tahap akhir ialah melakukan seleksi dengan menggunakan elitism selection untuk menghasilkan kandidat bahan makanan baru untuk diproses pada iterasi berikutnya. Kata kunci: komposisi bahan makanan, gagal ginjal akut, algoritma genetika Abstract Kidney disease is a malignant disease, where if the treatment is done incorrectly, the sufferer’s qualitiy of liife can be affected by incorrect treatment. In addition to relying on medical care, individuals who suffer from this disease should be aware of themselves with the condition of his health. To arrange food diet, the patient requires a system that can determine the composition of food for kidney disease quickly and accurately. Therefore, the authors provide a solution with determination system for any food ingredient proper nutrition for patients with chronic kidney disease using genetic algorithms, where the coding used is real code. Nutritional value of food taken from PUGS (General Guidelines Balanced Nutrition) and encyclopedia. The algorithm used in determining the composition of foodstuffs for patients with acute renal failure this is a genetic algorithm, the steps include: initialization chromosome where each chromosome there are five genes in the form of index of groceries, then do the initialization probability of crossover and mutation to the reproductive process, followed by an evaluation using fitness calculations to the formula, and the final stage is to make the selection by using elitism candidate selection to produce new food material to be processed in the next iteration. Keywords: food composition, acute renal failure, genetic algorith

Plasma haptoglobin and immunoglobulins as diagnostic indicators of deoxynivalenol intoxication

This study aimed to discover potential biomarkers for dioxynivalenol (DON) intoxication. B6C3F1 male mice were orally exposed to 0.83, 2.5 and 7.5 mg/kg body weight (bw) DON for 8 days and the differential protein expressions in their blood plasma were determined by SELDI - Time-of-Flight/Mass Spectrometry (TOF/MS) and the immunoglobulins (Igs) G, A, M and E in the serum were investigated. 11.7 kDa protein was significantly highly expressed according to DON administration and this protein was purified by employing a methyl ceramic HyperD F column with using optimization buffer for adsorption and desorption. The purified protein was identified as a haptoglobin precursor by peptide mapping with using LC/Q-TOF/MS and MALDI-TOF/MS and this was confirmed by western blotting and ELISA. IgG and IgM in serum were decreased in a dose-dependent manner and IgA was decreased at 7.5 mg/kg bw DON administration, but the IgE level was not changed. To compare the expressions of haptoglobin and the Igs patterns between aflatoxin B1 (AFB1), zearalenone (ZEA) and DON intoxications, rats were orally administered with AFB1 1.0, ZEA 240 and DON 7.5 mg/kg bw for 8 days. Haptoglobin was increased only at DON 7.5 mg/kg bw, while it was slightly decreased at ZEA 240 mg/kg bw and it was not detected at all at AFB1 1.0 mg/kg bw. IgG and IgA were decreased by DON, but IgG, IgA, IgM and IgE were all increased by AFB1. No changes were observed by ZEA administration. These results show that plasma haptoglobin could be a diagnostic biomarker for DON intoxication when this is combined with examining the serum Igs