Sciweavers

27 search results - page 2 / 6
» nca 2008
Sort
View
NCA
2008
IEEE
15 years 11 months ago
An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets
Chryssis Georgiou, Peter M. Musial, Alexander A. S...
125
Voted
NCA
2008
IEEE
15 years 4 months ago
Studying possibility in a clustering algorithm for RBFNN design for function approximation
Alberto Guillén, Héctor Pomares, Ign...
111
Voted
NCA
2008
IEEE
15 years 11 months ago
Persistent Logical Synchrony
Francesc D. Muñoz-Escoí, Rubé...
BMCBI
2008
129views more  BMCBI 2008»
15 years 5 months ago
Motif-directed network component analysis for regulatory network inference
Background: Network Component Analysis (NCA) has shown its effectiveness in discovering regulators and inferring transcription factor activities (TFAs) when both microarray data a...
Chen Wang, Jianhua Xuan, Li Chen, Po Zhao, Yue Wan...
164
Voted
NCA
2008
IEEE
15 years 11 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou