Two new apterous species of the genus Lathrobium Gravenhorst, 1802 from Fujian Province, East China, Lathrobium daocongchaoi Peng & Li, sp. n. and Lathrobium fujianense Peng & Li,sp. n., are described and illustrated.

PENG Light is a controlled natural language designed to write unambiguous specifications that can be translated automatically via discourse representation structures into a formal target language. Instead of writing axioms in a formal language, an author writes a specification and the associated background axioms directly in controlled natural language. In this paper, we first review the contro...

background and purpose: highly consumption of antibiotics and their entrance into the environment has increased concerns all over the world. these compounds enter to the environment through an incomplete metabolism and a considerable amount of them cannot be removed using usual waste filtration systems. therefore, the present study aimed to investigate the feasibility of using ultraviolet radia...

In this paper we present PENG-D, a proposal for a controlled natural language that can be used for expressing knowledge about resources in the Semantic Web and for specifying ontologies in a human-readable way. After a brief overview of the main Semantic Web enabling technologies (and their deficiencies), we will show how statements and rules written in PENG-D are related to (a subset of) RDFS ...

In this case study we show how an unambiguous semantic representation can be constructed dynamically in left-to-right order while a text is written in PENG, a controlled natural language designed for knowledge representation. PENG can be used in contexts where precise texts (e.g. software specifications, axioms for formal ontologies, legal documents) need to be composed. Texts written in PENG l...

The combination of the piezoelectric materials and polymer is an effective way to make the piezoelectric nanogenerator (PENG) possess both the polymer's good flexibility and ferroelectric material's high piezoelectric coefficient. The volume ratio of ferroelectric material in the composite is an important factor that determines the PENG's output performance. In this paper, the BaTiO₃/polydimeth...

In ACISP 2006, Peng et al proposed a novel range test technique, which tests whether the integer encrypted in a ciphertext is in an interval range. Their solution is more efficient than any previous solution to range test. However, their technique only works in the passive adversary model, so cannot be widely applied. In this paper, the range test by Peng et al is optimised to be secure in the ...

Material of the paederine genus Lathrobium Gravenhorst, 1802 from the Chinese province of Guangxi is examined. Five apterous species are identified, two of which are described as new to science: L. damingense Peng & Li sp. n. (Daming Shan) and L. hujiayaoi Peng & Li sp. n. (Maoer Shan). The female sexual characters of L. proprium Peng & Li are described and illustrated for the first time. With ...