Sciweavers

1632 search results - page 325 / 327
» Using Java to develop Web based tutorials
Sort
View
FOSSACS
2005
Springer
14 years 1 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
SAC
2003
ACM
14 years 23 days ago
iGrocer- A Ubiquitous and Pervasive Smart Grocery Shopping System
Emerging Smart phones are poised to give a whole new dimension to the way we shop, bank, and go about many of our everyday activities. iGrocer is a smart grocery shopping assistant...
Sangeetha Shekar, Prashant Nair, Abdelsalam Helal
BMCBI
2007
132views more  BMCBI 2007»
13 years 7 months ago
TPRpred: a tool for prediction of TPR-, PPR- and SEL1-like repeats from protein sequences
Background: Solenoid repeat proteins of the Tetratrico Peptide Repeat (TPR) family are involved as scaffolds in a broad range of protein-protein interactions. Several resources ar...
Manjunatha R. Karpenahalli, Andrei N. Lupas, Johan...
BMCBI
2010
240views more  BMCBI 2010»
13 years 7 months ago
CircuitsDB: a database of mixed microRNA/transcription factor feed-forward regulatory circuits in human and mouse
Background: Transcription Factors (TFs) and microRNAs (miRNAs) are key players for gene expression regulation in higher eukaryotes. In the last years, a large amount of bioinforma...
Olivier Friard, Angela Re, Daniela Taverna, Michel...
NAR
2006
142views more  NAR 2006»
13 years 7 months ago
miRNAMap: genomic maps of microRNA genes and their target genes in mammalian genomes
Recent work has demonstrated that microRNAs (miRNAs) are involved in critical biological processes by suppressing the translation of coding genes. This work develops an integrated...
Paul Wei-Che Hsu, Hsien-Da Huang, Sheng-Da Hsu, Li...