Sciweavers

14783 search results - page 2608 / 2957
» Quantum Information Processing
Sort
View
IFM
2010
Springer
203views Formal Methods» more  IFM 2010»
15 years 3 months ago
A CSP Approach to Control in Event-B
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
Steve Schneider, Helen Treharne, Heike Wehrheim
IJAR
2010
153views more  IJAR 2010»
15 years 3 months ago
Diagnosis of dyslexia with low quality data with genetic fuzzy systems
For diagnosing dyslexia in early childhood, children have to solve non-writing based, graphical tests. Curently, these tests are processed by a human expert; applying artificial ...
Ana M. Palacios, Luciano Sánchez, Iné...
IJBRA
2010
89views more  IJBRA 2010»
15 years 3 months ago
Strategies for enhanced annotation of a microarray probe set
—We aim to determine the biological relevance of genes identified through microarray-mediated transcriptional profiling of Xenopus sensory organs and brain tissue. Genetic data...
TuShun R. Powers, Selene M. Virk, Elba E. Serrano
IJITM
2010
93views more  IJITM 2010»
15 years 3 months ago
A group evidential reasoning approach for enterprise architecture framework selection
: Enterprise architecture (EA) frameworks are used to ensure interoperability of information systems and improve the effectiveness and efficiency of business organisations. Several...
Faramak Zandi, Madjid Tavana
NAR
2008
101views more  NAR 2008»
15 years 3 months ago
RNALogo: a new approach to display structural RNA alignment
Regulatory RNAs play essential roles in many essential biological processes, ranging from gene regulation to protein synthesis. This work presents a web-based tool, RNALogo, to cr...
Tzu-Hao Chang, Jorng-Tzong Horng, Hsien-Da Huang
« Prev « First page 2608 / 2957 Last » Next »