In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the relational domains with the states and actions in relational form. In the model, the logical negation is represented explicitly, so that the abstract state space can be constructed from the goal state(s) of a given ta...

Validation is an essential and important step before the application of remote sensing products. This paper introduces a prototype of the validation network for remote sensing products in China (VRPC). The VRPC aims to improve remote sensing products at a regional scale in China. These improvements will enhance the applicability of the key remote sensing products in understanding and interpreta...

This paper describes a prototype of software system of neural network control of telemetry data for malfunction diagnosis of spacecraft subsystems. The prototype is used for testing of intelligent technologies for processing information about a spacecraft subsystems state, prediction and detection of irregularities of the spacecraft subsystem modes. The Information obtained from on-board data s...

background drug design against human immunodeficiency virus type 1 (hiv-1) integrase through its mechanistic study is of great interest in the area in biological research. the main obstacle in this area is the absence of the full-length crystal structure for hiv-1 integrase to be used as a model. a complete structure, similar to hiv-1 of a prototype foamy virus integrase in complex with dna, in...

Virtual memory-mapped communication (VMMC) is a communication model providing direct data transfer between the sender's and receiver's virtual address spaces. This model eliminates operating system involvement in communication, provides full protection, supports user-level bu er management and zero-copy protocols, and minimizes software communication overhead. This paper describes system softwa...

This paper presents virtual allocation, a scheme for flexible storage allocation. It separates storage allocation from the file system. It employs an allocate-on-write strategy, which lets applications fit into the actual usage of storage space without regard to the configured file system size. This improves flexibility by allowing storage space to be shared across different file systems. This ...