Sciweavers

2672 search results - page 29 / 535
» Hybridizing Concept Languages
Sort
View
DNA
2003
Springer
101views Bioinformatics» more  DNA 2003»
14 years 23 days ago
A Lab-on-a-Chip Module for Bead Separation in DNA-Based Concept Learning
Affinity separation with magnetic beads is an important and widely used technique for DNA computing. We have designed and implemented an experimental lab-on-a-chip module for affin...
Hee-Woong Lim, Hae-Man Jang, Sung-Mo Ha, Young-Gyu...
SIGPLAN
2008
13 years 7 months ago
Rethinking pedagogy for teaching PL with more than PL concepts in mind
Depending on individual department goals, undergraduate computer science educators teach theoretical concepts and skills with varying priorities on preparing students for continui...
Lori L. Pollock
DLOG
2008
13 years 10 months ago
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes
Hybrid EL-TBoxes combine general concept inclusions (GCIs), which are interpreted with descriptive semantics, with cyclic concept definitions, which are interpreted with greatest f...
Franz Baader, Novak Novakovik, Boontawee Suntisriv...
HYBRID
1998
Springer
13 years 11 months ago
Equations on Timed Languages
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
Eugene Asarin