The REDfly database of Drosophila transcriptional cis-regulatory elements provides the broadest and most comprehensive available resource for experimentally validated cis-regulato...
Steven M. Gallo, Dave T. Gerrard, David Miner, Mic...
In the recent years, the usage of 3D cyberworlds for educational purposes has increased. The metaphors behind the design of virtual places are quite diverse, from replication of r...
R-automata are finite state machines extended with counters which can be incremented or reset to zero along the transitions. The universality question asks whether there is a cons...
We investigate the relationship of (jumps of) the degrees of splittings of a computably enumerable set and the degree of the set. We prove that there is a high computably enumerab...
ed abstract data types: Building blocks for collaborative applications Hyun-Gul Roha,∗ , Myeongjae Jeonb , Jin-Soo Kimc , Joonwon Leec a Department of Computer Science, KAIST, Da...
Hyun-Gul Roh, Myeongjae Jeon, Jinsoo Kim, Joonwon ...