97,806 research outputs found
Hypotrachyna nagalandica Divakar, A. Crespo, Sipman, Elix, comb. nov.
No full textHypotrachyna nagalandica (K. Singh & Sinha) Divakar, A. Crespo, Sipman, Elix & Lumbsch, comb. nov. MycoBank No.: MB 803590 Parmelina nagalandica K. Singh & Sinha (1993: 464); Parmelinopsis nagalandica (K. Singh & Sinha) Divakar & Upreti (2005: 288).Published as part of Divakar, Pradeep K., Crespo, Ana, Núñez-Zapata, Jano, Flakus, Adam, Sipman, Harrie J. M., Elix, John A. & Lumbsch, H. Thorsten, 2013, A molecular perspective on generic concepts in the Hypotrachyna clade (Parmeliaceae, Ascomycota), pp. 21-38 in Phytotaxa 132 (1) on page 34, DOI: 10.11646/phytotaxa.132.1.2, http://zenodo.org/record/508604
Hypotrachyna jamesii Divakar, A. Crespo, Sipman, Elix, comb. nov.
No full textHypotrachyna jamesii (Hale) Divakar, A. Crespo, Sipman, Elix & Lumbsch, comb. nov. MycoBank No.: MB 803587 Parmelia jamesii Hale (1972: 179); Parmelina jamesii (Hale) Hale (1976: 35); Parmelinopsis jamesii (Hale) Elix & Hale (1987: 242). Hypotrachyna megadactyla (Aptroot) Divakar, A. Crespo, Sipman, Elix & Lumbsch, comb. nov. MycoBank No.: MB 803588 Parmelinopsis megadactyla Aptroot (1991: 242). Hypotrachyna microlobulata (D.D. Awasthi) Divakar, A. Crespo, Sipman, Elix & Lumbsch, comb. nov. MycoBank No.: MB 803589 Parmelia microlobulata Awasthi (1976: 182); Parmelinopsis microlobulata (D.D. Awasthi) Elix & Hale (1987: 242).Published as part of Divakar, Pradeep K., Crespo, Ana, Núñez-Zapata, Jano, Flakus, Adam, Sipman, Harrie J. M., Elix, John A. & Lumbsch, H. Thorsten, 2013, A molecular perspective on generic concepts in the Hypotrachyna clade (Parmeliaceae, Ascomycota), pp. 21-38 in Phytotaxa 132 (1) on pages 33-34, DOI: 10.11646/phytotaxa.132.1.2, http://zenodo.org/record/508604
Hypotrachyna neodamaziana Divakar, A. Crespo, Sipman, Elix, comb. nov.
No full textHypotrachyna neodamaziana (Elix & J. Johnst.) Divakar, A. Crespo, Sipman, Elix & Lumbsch, comb. nov. MycoBank No.: MB 803591 Parmelina neodamaziana Elix & Johnston (1986: 155); Parmelinopsis neodamaziana (Elix & J. Johnst.) Elix & Hale (1987: 243).Published as part of Divakar, Pradeep K., Crespo, Ana, Núñez-Zapata, Jano, Flakus, Adam, Sipman, Harrie J. M., Elix, John A. & Lumbsch, H. Thorsten, 2013, A molecular perspective on generic concepts in the Hypotrachyna clade (Parmeliaceae, Ascomycota), pp. 21-38 in Phytotaxa 132 (1) on page 34, DOI: 10.11646/phytotaxa.132.1.2, http://zenodo.org/record/508604
Hypotrachyna neoprotocetrarica Divakar, A. Crespo, Sipman, Elix, nom. nov.
No full textHypotrachyna neoprotocetrarica Divakar, A. Crespo, Sipman, Elix & Lumbsch, nom. nov. MycoBank No.: MB 803592 Parmelinopsis protocetrarica Elix (1993a: 119); non Hypotrachyna protocetrarica Elix, T.H. Nash & Sipman in Sipman et al. (2009: 127). Hypotrachyna schindleri (Hale) Divakar, A. Crespo, Sipman, Elix & Lumbsch, comb. nov. MycoBank No.: MB 803593 Parmelina schindleri Hale (1976: 44); Parmelinopsis schindleri (Hale) Elix & Hale (1987: 243).Published as part of Divakar, Pradeep K., Crespo, Ana, Núñez-Zapata, Jano, Flakus, Adam, Sipman, Harrie J. M., Elix, John A. & Lumbsch, H. Thorsten, 2013, A molecular perspective on generic concepts in the Hypotrachyna clade (Parmeliaceae, Ascomycota), pp. 21-38 in Phytotaxa 132 (1) on page 34, DOI: 10.11646/phytotaxa.132.1.2, http://zenodo.org/record/508604
Hypotrachyna expallida Divakar, A. Crespo, Sipman, Elix, comb. nov.
No full textHypotrachyna expallida (Kurok.) Divakar, A. Crespo, Sipman, Elix & Lumbsch, comb. nov. MycoBank No.: MB 803585 Parmelia expallida Kurokawa (1968: 191); Parmelina expallida (Kurok.) Hale (1974a: 482); Parmelinopsis expallida (Kurok.) Elix & Hale (1987: 242).Published as part of Divakar, Pradeep K., Crespo, Ana, Núñez-Zapata, Jano, Flakus, Adam, Sipman, Harrie J. M., Elix, John A. & Lumbsch, H. Thorsten, 2013, A molecular perspective on generic concepts in the Hypotrachyna clade (Parmeliaceae, Ascomycota), pp. 21-38 in Phytotaxa 132 (1) on page 33, DOI: 10.11646/phytotaxa.132.1.2, http://zenodo.org/record/508604
Hypotrachyna heteroloba Divakar, A. Crespo, Sipman, Elix, comb. nov.
No full textHypotrachyna heteroloba (Zahlbr.) Divakar, A. Crespo, Sipman, Elix & Lumbsch, comb. nov. MycoBank No.: MB 803586 Parmelia heteroloba Zahlbruckner (1909: 171); Parmelina heteroloba (Vain.) Hale (1974a: 482); Parmelinopsis heteroloba (Vain.) Elix & Hale (1987: 242).Published as part of Divakar, Pradeep K., Crespo, Ana, Núñez-Zapata, Jano, Flakus, Adam, Sipman, Harrie J. M., Elix, John A. & Lumbsch, H. Thorsten, 2013, A molecular perspective on generic concepts in the Hypotrachyna clade (Parmeliaceae, Ascomycota), pp. 21-38 in Phytotaxa 132 (1) on page 33, DOI: 10.11646/phytotaxa.132.1.2, http://zenodo.org/record/508604
Hypotrachyna cleefii Divakar, A. Crespo, Sipman, Elix, comb. nov.
No full text<i>Hypotrachyna cleefii</i> (Sipman) Divakar, A. Crespo, Sipman, Elix & Lumbsch, <i>comb. nov.</i> MycoBank No.: <p>MB 803583</p> <p> <i>Parmelina cleefii</i> Sipman (1980: 352); <i>Parmelinopsis cleefii</i> (Sipman) V. Marcano & Sipman in Marcano <i>et al</i>. (1996: 214).</p> <p> <i>Hypotrachyna ectypa</i> (Brusse) Divakar, A. Crespo, Sipman, Elix & Lumbsch, <i>comb. nov.</i> MycoBank No.: MB 803584</p> <p> <i>Parmelia ectypa</i> Brusse (1991: 164); <i>Parmelinopsis ectypa</i> (Brusse) DePriest & Hale (1998: 203).</p>Published as part of <i>Divakar, Pradeep K., Crespo, Ana, Núñez-Zapata, Jano, Flakus, Adam, Sipman, Harrie J. M., Elix, John A. & Lumbsch, H. Thorsten, 2013, A molecular perspective on generic concepts in the Hypotrachyna clade (Parmeliaceae, Ascomycota), pp. 21-38 in Phytotaxa 132 (1)</i> on page 33, DOI: 10.11646/phytotaxa.132.1.2, <a href="http://zenodo.org/record/5086040">http://zenodo.org/record/5086040</a>
Formal Development of a Total Order Broadcast for Distributed Transactions using Event-B
No full textAbstract. In a replicated database system, copies of the database are kept across several sites for fault-tolerance and availability. Data access in such systems is usually done within a transactional framework. A read-only transaction accesses data locally and an update transaction modifies the database at all sites. Total order broadcast primitives have been proposed to support transactions and allow fault-tolerant cooperation between the sites in a distributed system. In this paper, we identify and analyze the problem of formation of deadlocks among conflicting update transactions due to race conditions and outline how a system of total order broadcast prevents deadlocks and transaction failures. Later we outline how a refinement based approach with Event-B can be used for formal development of the models of total order broadcast. In this approach we begin with the abstract model of a total order broadcast and verify that the required ordering properties are preserved by the system. total order can correctly be implemented by using a notion of sequence number. This technique requires us to discharge proof obligations due to consistency and refinement checking. To discharge the proof obligations we are required to discover invariants that describes the relationship between the abstract total order and the underlying mechanism.
Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B
No full textCausal and total order broadcast has been proposed as a mechanism to provide fault tolerance for constructing reliable distributed systems. The use of formal methods to develop a model of a system, specifying critical properties and the verification of them is a way of obtaining better design of dependable services. Event B is a formal technique which provides a framework for developing mathematical models of distributed systems by rigorous description of the problem, gradually introducing solutions in the refinement steps, and verification of solutions by discharge of proof obligations. In this paper, we present a formal development of a system in Event B where processes communicate by broadcast and the messages are delivered following a causal and a total order. We first present separate models of a broadcast system each for a causal order and a total order. Subsequently, we verify that the models of the system preserves the required ordering properties. Further, we develop a model of a system satisfying both causal and a total order on the messages. Later in the refinement, we outline how these ordering properties can correctly be implemented by the vector clocks. In this approach we discover some interesting invariant properties which describes the relationship of abstract causal and total order with the vector clocks and the sequence numbers
Joshua Davis: Author of Spare Parts
Get PDFCitation: K-State First (2016). Joshua Davis: Author of Spare Parts [Flier]. Manhattan, Kansas: K-State First.Flyer advertising Joshua Davis's author talk at Kansas State University
- …
