We survey known results regarding locally testable codes and locally testable proofs (known as PCPs), with emphasis on the length of these constructs. Local testability refers to a...
Video game development is an attractive career objective for many computer science students. Colleges are starting degree programs and specializations to serve this interest, but ...
This paper provides a survey of approaches for special relativistic visualization. Visualization techniques are classified into three categories: Minkowski spacetime diagrams, dep...
There is a huge amount of historical documents in libraries and in various National Archives that have not been exploited electronically. Although automatic reading of complete pa...
We consider problems requiring to allocate a set of rectangular items to larger rectangular standardized units by minimizing the waste. In two-dimensional bin packing problems the...