98,250 research outputs found
An Eclipse Environment for Z
No full textThis thesis reports on the design, implementation and evaluation of a new interactive Z environment that is integrated into the Eclipse environment.
The Z language is a formal specification notation that is used to describe and model computer-based systems. For the widespread use of Z, it is desirable to integrate Z support with a mature and popular editing environment, such as Eclipse. Eclipse was chosen as the basis for the new Z environment because it is widely used, it provides rich functionality and it is designed to be extensible.
The Z environment described in this thesis extends Eclipse to provide a large set of useful features for editing and analyzing Z specifications, such as a table of Z symbols, constant detection of syntax and type errors, outlining facilities, cross-referencing of Z names and conversion between different Z markups. User feedback shows that the resulting Z environment is helpful for editing and correcting Z specifications.
The development of the Z support for Eclipse is a part of the CZT (Community Z Tools) project, which is a Java framework for building Z tools and provides parsers, typecheckers and other Z tools
Final word on Jersey Dutch
No full textIn this article, William Z. Shetter compares and contrasts the dialects that developed between different Dutch colonies in the New World. He explores in-depth the nuances of Jersey Dutch, and provides theories to explain how Dutch and colonial languages blended. The article is reprinted from American Speech, December 1958, Volum XXXIII, No. 4
Aquilonia messoria Ho 2019, comb. nov.
No full textAquilonia messoria (Olivier 1913a) comb. nov. Atyphella messoria Olivier 1913a: 421. Luciola (Luciola) messoria (Olivier). McDermott 1966: 110. Gilvainsula messoria (Olivier). Ballantyne & Lambkin 2009: 60 (figs 15, 16, 192, 195, 196, 199–203) Holotype. Male. PAPUA NEW GUINEA: Misima Island (MNHN). Diagnosi s. Dorsally pale yellowish brown; most obviously distinguished from Aquil. similismessoria comb. nov. which has black tipped elytral apices.Published as part of Ho, - Z., 2019, The Luciolinae of S. E. Asia and the Australopacific region: a revisionary checklist (Coleoptera: Lampyridae) including description of three new genera and 13 new species, pp. 1-174 in Zootaxa 4687 (1) on page 46, DOI: 10.11646/zootaxa.4687.1.1, http://zenodo.org/record/350809
(Z,Z)-3,6-Bis[(3,4,5-trimethoxyphenyl)-methylene]piperazine-2,5-dione
Get PDFThe title compound, C24H26N2O8, is a derivative of neihumicin, a cytotoxic antibiotic from Micromonospora neihuensis. The compound crystallizes as discrete molecules with crystallographic inversion symmetry. Intermolecular N-HO hydrogen bonds yield polymeric chains along the c axis. The trimethoxyphenylmethylene side chain is found to be in a Z configuration about the C=C double bond.Full Tex
Z-score analysis of previously analysed eukaryotic genomes.
No full textZ-scores representing deviation from dinucleotide controlled null simulations over the whole 3’ UTR sequence (a) and then each position individually (b) for three eukaryotic genomes.</p
Asymmetricata bicoloripes Ho 2019, comb. nov.
No full textAsymmetricata bicoloripes (Pic 1927) comb. nov. Figs 139, 140 Luciola bicoloripes Pic 1927: 37. McDermott 1966: 100. Type. Male. VIETNAM (as TONKIN). Labelled 1. Type (hand written); 2. TYPE (red printed label); Luciola bicoloripes n. sp. (handwritten); 4. Locality label unclear (handwritten). (MNHN). Diagnosis. Having bipartite LO in V7; the only species in this genus having both bipartite LO in V7 and pale brown dorsal colouration. Remarks. Tonkin (Vietnamese Bắc Kỳ) is the northernmost part of Viet Nam south of Yunnan Province in China and east of northern Laos. This species is not further distinguished here apart from the key to males. However it is reliably assigned here and was identified clearly in the collection of the MNHN by Ballantyne in 2013 as having bipartite LO in V7 and an asymmetrical abdominal T8.Published as part of Ho, - Z., 2019, The Luciolinae of S. E. Asia and the Australopacific region: a revisionary checklist (Coleoptera: Lampyridae) including description of three new genera and 13 new species, pp. 1-174 in Zootaxa 4687 (1) on page 48, DOI: 10.11646/zootaxa.4687.1.1, http://zenodo.org/record/350809
Experimental and Theoretical Studies of Resonance Raman Scattering:Temperature Effects in β-Carotene
No full text
- …
