This paper connects two fundamental ideas from theoretical computer science: hard-core set construction, a type of hardness amplification from computational complexity, and boosti...
Innovation in the small business can be conceived of as a management process and challenge. This process, when mapped, offers a framework that can be used to encourage and enhance...
Abstract. Distributed Objects DO as de ned by OMG's CORBA architecture provide a model for object-oriented parallel distributed computing. The parallelism in this model howeve...
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
In 1999, most computer science students participate in at least one group project in some class prior to graduation. However, assessing individual student contributions to a group...