Sciweavers

2529 search results - page 88 / 506
» The Logical Structure of Binding
Sort
View
BMCBI
2008
110views more  BMCBI 2008»
14 years 10 months ago
Determining significance of pairwise co-occurrences of events in bursty sequences
Background: Event sequences where different types of events often occur close together arise, e.g., when studying potential transcription factor binding sites (TFBS, events) of ce...
Niina Haiminen, Heikki Mannila, Evimaria Terzi
BMCBI
2008
111views more  BMCBI 2008»
14 years 10 months ago
Molecular docking studies of dithionitrobenzoic acid and its related compounds to protein disulfide isomerase: computational scr
Background: Entry of HIV-1 into human lymphoid requires activities of viral envelope glycoproteins gp120 and gp41, and two host-cell proteins, the primary receptor CD4 and a chemo...
Uthaman Gowthaman, Mannu Jayakanthan, Durai Sundar
AMAI
2004
Springer
15 years 3 months ago
Deductive Algorithmic Knowledge
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
Riccardo Pucella
GLVLSI
2003
IEEE
195views VLSI» more  GLVLSI 2003»
15 years 3 months ago
A pipelined clock-delayed domino carry-lookahead adder
Clock-delayed (CD) domino is a dynamic logic family developed to provide both inverting and non-inverting logic on single-rail gates. It is self-timed and can be easily pipelined ...
Bhushan A. Shinkre, James E. Stine
CORR
2007
Springer
177views Education» more  CORR 2007»
14 years 10 months ago
N3Logic: A Logical Framework For the World Wide Web
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...
Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi ...