Research laboratory of electronics

This paper describes a COMIT program that proves the validity of logical arguments expressed in a restricted form of ordinary English. Some special features include its ability to translate an input argument into logical notation in four progressively refined ways, of which the first pertains to propositional logic and the last three to first-order functional logic; and its ability in many cases to select the "correct" logical translation of an argument, i.e., the translation that yields the simplest proof....

27p nghetay_1 06-04-2013 43 3   Download

Hindawi Publishing Corporation EURASIP Journal on Advances in Signal Processing Volume 2008, Article ID 286168, 10 pages doi:10.1155/2008/286168 Research Article Extension of Pairwise Broadcast Clock Synchronization for Multicluster Sensor Networks Kyoung-Lae Noh,1 Yik-Chung Wu,2 Khalid Qaraqe,3 and Bruce W. Suter4 1 Digital Solution Center, Corporate Technology Operations, Samsung Electronics Co., Ltd., South Korea of Electrical and Electronic Engineering, The University of Hong Kong, Hong Kong 3 Texas A&M University at Qatar, P.O.

10p dauphong18 24-02-2012 78 6   Download

Aidan Budd*, Stephanie Blandin*, Elena A Levashina† and Toby J Gibson* Addresses: *European Molecular Biology Laboratory, 69012 Heidelberg, Germany. †UPR 9022 du CNRS, IBMC, rue René Descartes, F-67087 Strasbourg CEDEX, France. Correspondence: Toby J Gibson. E-mail: toby.gibson@embl.de reviews Published: 26 May 2004 Genome Biology 2004, 5:R38 The electronic version of this article is the complete one and can be found online at http://genomebiology.com/2004/5/6/R38 Received: 20 February 2004 Revised: 2 April 2004 Accepted: 8 April 2004 © 2004 Budd et al.

0p thulanh21 15-11-2011 53 4   Download

Department of Genome Sciences, Life Sciences Division, Lawrence Berkeley National Laboratory, One Cyclotron Rd, Berkeley, CA 94720, USA. †Department of Biology, University of Pennsylvania, 324 Leidy Laboratories, Philadelphia, PA 19104, USA. ‡Center for Integrative Genomics, Department of Molecular and Cell Biology, University of California, Berkeley, CA 94720, USA. §Current address: Department of Genetics, Washington University, 4566 Scott Ave, St. Louis, MO 63110, USA. Correspondence: Justin C Fay. E-mail: jfay@genetics.wustl.

0p thulanh21 15-11-2011 59 2   Download

Meeting report Celebrating 40 years of biochemistry in Europe Errol C Friedberg* and Tomas Lindahl† Addresses: *Laboratory of Molecular Pathology, Department of Pathology, University of Texas Southwestern Medical Center, Dallas, TX 75390, USA, †Cancer Research UK London Research Institute, Clare Hall Laboratories, South Mimms, Hertfordshire EN6 3LD, UK. Correspondence: Errol C Friedberg. E-mail: friedberg.errol@pathology.swmed.

3p thulanh19 09-11-2011 50 1   Download