6,318 research outputs found
Dilar spectabilis Zhang, Liu, H. Aspock & U. Aspock
No full text<i>Dilar spectabilis</i> Zhang, Liu, H. Aspöck & U. Aspöck <p> <i>Dilar spectabilis</i> Zhang, Liu, H. Aspöck & U. Aspöck, 2014a: 19. Type locality: China (Ningxia: Guyuan).</p> <p> <b>Materials examined.</b> 1♂, CHINA: Sichuan Province, Leshan, Mt. Emeishan [40°20′N, 117°08′E], 1800 m, 9.VII.1957, Mohua Cheng (CAU); 3♂, Sichuan Province, Leshan, Mt. Emeishan [40°20′N, 117°08′E], 2400–2500 m, 5.VII.2011, H. & U. Aspöck (HUAC); 3♂, CHINA: Xikang [this locality is the name of an old administrative province, comprising the present Sichuan Province and some parts of Xizang Autonomous Region], Yao Zhou (CAU).</p> <p> <b>Distribution.</b> China (Gansu, Henan, Ningxia, Shaanxi, Sichuan).</p> <p> <b>Remarks.</b> This species is recorded in southern China for the first time. The accurate collecting site of the three males from Xikang is unknown, but we estimate they were collected from Sichuan but not Xizang. The description of this species can be found in Zhang et al. (2014a) and thus there is no need to be repeatedly provided here.</p>Published as part of <i>Zhang, Wei, Liu, Xingyue, Aspöck, Horst & Aspöck, Ulrike, 2015, Revision of Chinese Dilaridae (Insecta: Neuroptera) (Part III): Species of the genus Dilar Rambur from the southern part of mainland China, pp. 451-494 in Zootaxa 3974 (4)</i> on page 486, DOI: 10.11646/zootaxa.3974.4.1, <a href="http://zenodo.org/record/236534">http://zenodo.org/record/236534</a>
Ck-Log, A Calculus for Knowledge Processing in Logic
No full textThis paper introduces the principal concepts in the organization and operation of the logic based knowledge processing system, called CK-LOG (A Calculus for Knowledge in Logics). CK-LOG uses the frame based system MDS (the Meta Description System) for knowledge representation and for modeling world states. It uses an inference engine based on Natural Deduction for stating and solving problems. As a knowledge processing system CK-LOG has several capabilities, which are new to the technology of knowledge representation systems: CK-LOG has special facilities to represent and reason about actions and their time dependencies. Actions that occur in a world state may create or destroy objects in the world or modify their properties, or prevent or support other actions. The effects of actions are described in CK-LOG using modal operators like CREATE, DESTROY, PREVENT, SUPPORT, KEEP, etc. These operator expressions are also used to represent and reason about possible worlds that the actions might lead to. Most significantly, CK-LOG is a logic-based knowledge processing system, just as PROLOG is logic based programming system. CK-LOG uses a three valued logical system with truth values T (true),? (Unknown) and F (false) to build partial models of world states, and the two valued logic's system of T and F in its theorem proving System. The use of the three valued logical system in its models of world states enables CK-LOG to do problem solving in the context of incomplete information about world states. The theorem proving system of CK-LOG uses a variant of the calculus of sequents first proposed by Kanger (which itself is a variant of Gentzen's system). The two variations in CK-LOG are, (i). the use of a new algorithm called the mating algorithm for testing proof terminations, and (ii) the use of specialized inference rules for reasoning about modal expressions using the possible world semantics.. The mating algorithm gives the theorem proving system of CK-LOG several new capabilities: to identify information that is pertinent to a given problem and retrieve it from its knowledge base, to update its models of possible worlds during the problem solving process based on the findings of the theorem proving system, to use these models of world states to test proof terminations, and to generate hypotheses during the problem solving process that are based on unknown information. These various features of CK-LOG are described here. The paper concludes with a discussion of the logic of frames as used in CK-LOG and establishes a condition called locality condition as a sufficient condition for creating knowledge representations with requisite completeness.Technical report DCS-TR-15
Effect of glutathione redox system on lysozyme refolding in size exclusion chromatography
No full text
Honokiol, a small molecular weight natural product, alleviates experimental mesangial proliferative glomerulonephritis.
No full textSurgical Outcome and Ocular Complications of Evisceration and Intraocular Prosthesis Implantation in Dogs with End Stage Glaucoma: a Review of 20 Cases
No full text
Highly parallel and energy-efficient exhaustive minimum distance search engine using hybrid digital/analog circuit techniques
No full textA minimum distance search engine (MDSE) is presented as a hardware. accelerator for various exhaustive pattern-matching systems. This chip executes highly parallel computations of L-1-norms between an input query and stored multiple reference records, and searches for the minimum distance among them in a highly parallel fashion. Our architectural-level estimation shows that this MDSE can reduce energy dissipation by orders of magnitude as the number of records increases, compared with the conventional systems. We have designed a prototype 4-bit 8-word MDSE composed of merged memory logic (MML) and digital/analog-mixed winner-take-all circuit (DAM-WTAC) by using hybrid digital/analog circuit techniques. It was fabricated with a 0.6-mum single-poly triple-metal CMOS technology. Experimental results show that our chip works properly at 3 V/10 MM and has approximately four times larger throughput as well as four times higher energy efficiency, compared with the existing 8-bit microcontrollers.The author would like to thank MICROS, IDEC and Samsung Electronics
Company for their support. They would also like to thank the
reviewers for their valuable comments and Dr. K. Kim, Samsung Electronics
Company, for useful discussion
- …
