Modern computer server systems are increasingly managed at a low level by baseboard management controllers (BMCs). BMCs processors with access to the most critical parts of platform, below OS or hypervisor, including control over power delivery every system component. Buggy poorly designed BMC software not only poses security threat machine, it can permanently render hardware inoperative. Despi...

A fundamental question about cognition concerns how knowledge about a category is acquired through encounters with examples of the category. Amnesic patients and control subjects performed similarly at classifying novel patterns according to whether they belonged to the same category as a set of training patterns. In contrast, the amnesic patients were impaired at recognizing which dot patterns...

The effect of the knowledge acquisition bottleneck is still limiting the widespread use of knowledge-based systems (KBS), especially in the area of model-tracing tutors, as they demand the development of deep domain expertise, tutoring and student models. The MATHESIS meta-knowledge engineering framework for model-tracing tutors, presented in this article, aims at maximizing knowledge reuse. Th...

Mobile robots deployed in complex real-world domains typically find it difficult to process all sensor inputs or operate without substantial domain knowledge. At the same time, humans may not have the time and expertise to provide elaborate and accurate knowledge or feedback. The architecture described in this paper combines declarative programming and probabilistic sequential decision-making t...

one of the main subjects of rhetoric is assigning the truth and falsity of declarative sentences. if a proposition may be assessed as a truth or falsity, it will be considered as a declarative sentence, otherwise it will be compositional. there were some theologians and philosophers who brought up the discussion of truth and untruth of declaration for the first. although all literal proposition...

This research contributes to answer the question whether learning/cognitive styles of students serve as a justified starting point for creating target-group appropriate instruction. The study was realized in a self-regulated problem-based learning environment. Data of 56 participants on their individual learning styles, their acquired problem solution and their increase in declarative knowledge...

Many system building efforts in artificial intelligence intentionally begin with expressively rich and flexible declarative structures for the control of problem solving-especially when the best problem solving strategies are not known. However, as experience with a system increases, it sometimes becomes desirable to compile declarative knowledge into procedures for purposes of efficiency. We p...

Abstract Since the conception of pedagogical agents in multimedia environments, researchers have advocated for to be designed exhibit social cues that prime interaction target audience. One powerful cue has been agent gesturing. While most are created only use deictic (pointing) gestures, there is recent evidence perform all gesture types (iconic, metaphoric, deictic, and beat) with enhanced fr...