The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles a...
This paper studies the relative proof complexity of variations of a tableau method for Boolean circuit satisfiability checking obtained by restricting the use of the cut rule in s...
Relational OLAP tools and other database applications generate sequences of SQL statements that are sent to the database server as result of a single information request issued by...
Association of a presynaptic spike with a postsynaptic spike can lead to changes in synaptic efficacy that are highly dependent on the relative timing of the preand postsynaptic sp...
Finding relational expressions which exist frequently in one class of data while not in the other class of data is an interesting work. In this paper, a relational expression of th...
Lei Duan, Jie Zuo, Tianqing Zhang, Jing Peng, Jie ...