An attack on a fundamental proof technique reveals a glaring security issue for blockchains and other digital encryption ...

An approach to the 3D intelligent video surveillance based on the means of the object-oriented logic programming is proposed. In contrast to the conventional 2D video surveillance, the methods of 3D ...

Defense Logistics Agency R&D leaders visited subordinate commands and directorates to identify enterprise problem statements.

Problem solving, worked examples, and erroneous examples have proven to be effective learning activities in Intelligent Tutoring Systems (ITSs). However, it is generally unknown how to select learning ...