Andy Yu

Learn More
  • Gianfranco Ciardo, Ming-Ying Chung, Andrew S Miner, Robert L Jones, Robert M Marmorstein, Radu I Siminiceanu +1 other
  • 2004
The S m A r T (Stochastic Model checking Analyzer for Reliability and Timing) tool is a software package to study complex discrete-state systems. With S m A r T, it is possible to study the logical behavior of the system, by generating the state space underlying a complex model and asking temporal logic queries about its dynamic behavior, as done in(More)
  • Jose G Delgado-F 'rias, Andy Yu, Jabulani Nyathi
  • 2004
SbO state 0 X (don't care 0 1 0 (zero) 1 0 1 (one) 1 not allowed Abstract A novel ternary dynamic content addressable memory cell with coupled match lines is presented here. The dynamic C A M cell contains only four n-type transistors. This cell is capable of storing and matching three states, hence the term ternary; these states are: zero (0), one (1) and(More)
In silico transcriptome mining is a powerful tool for crustacean peptidome prediction. Using homology-based BLAST searches and a simple bioinformatics workflow, large peptidomes have recently been predicted for a variety of crustaceans, including the lobster, Homarus americanus. Interestingly, no in silico studies have been conducted on the eyestalk ganglia(More)
  • Gianfranco Ciardo, Ming-Ying Chung, Andrew S Miner, Robert L Jones, Robert M Marmorstein, Radu I Siminiceanu +1 other
  • 2013
The S m A r T (Symbolic Model-checking Analyzer for Reliability and Timing) tool is a software package to study complex discrete-state systems. With S m A r T, it is possible to study the logical behavior of the system, by generating the state space underlying a complex model and asking temporal logic queries about its dynamic behavior, as done in(More)
  • Wayland Yu, Andy Yu, Lai Chun, Wong
  • 2002
Semantic heterogeneity is the problem of determining whether a set of documents describe the same information. Two different documents may belong to different document types, using different document schemas, which makes it difficult to determine whether the two documents describe the same kinds of information. To deal with the problem, metadata can be used(More)
  • 1