16568 search results - page 3139 / 3314 » Structured Data on the Web |
109
click to vote
INFORMATICALT
2011
14 years 6 months ago
2011
Detecting communities in real world networks is an important problem for data analysis in science and engineering. By clustering nodes intelligently, a recursive algorithm is desig...
NAR
2011
14 years 6 months ago
2011
The procedure of drug approval is time-consuming, costly and risky. Accidental findings regarding multispecificity of approved drugs led to block-busters in new indication areas. ...
161
click to vote
SCP
2011
14 years 6 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
100
click to vote
TASLP
2011
14 years 6 months ago
2011
—This paper presents a blind source separation method for convolutive mixtures of speech/audio sources. The method can even be applied to an underdetermined case where there are ...
103
click to vote
TCOM
2011
14 years 6 months ago
2011
—Low-density parity-check (LDPC) codes are gaining interest for high data rate applications in both terrestrial and spatial communications. They can be designed and studied throu...