There is a growing trend in the cognitive sciences to conceive of cognitive behavior as being distributed across brain, body and environment. However, the implications of such dist...
The single stuck-at fault coverage is often seen as a figure-of-merit also for scan testing according to other fault models like transition faults, bridging faults, crosstalk faul...
We explored the possibility of predicting learners’ affective states (boredom, flow/engagement, confusion, and frustration) by monitoring variations in the cohesiveness of tutori...
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...