The paper addresses comprehensible proof presentation for teaching and learning that can be provided by an automated proof planner that is a component of the proof development environment mega. Starting from empirically discovered requirements for the comprehen-sibility of proofs we show that, given a proof plan representation of a proof, the problem of automatically presenting a mathematical p...

Possibility theory offers either a qualitative, or a numerical framework for representing uncertainty, in terms of dual measures of pos­ sibility and necessity. This leads to the ex­ istence of two kinds of possibilistic causal graphs where the conditioning is either based on the minimum, or on the product opera­ tor. Benferhat et al. [3] have investigated the connections between min-based grap...

We identify the problem of sharing Han character font across incompatible bitmap le formats and discuss the related issues. The ideal solution should meet the requirements including independence of character code schemes, such as GB2312-80, Big5, and Unicode, no conversion of existing bitmap font les, storage eeciency, exibility, exten-sibility, platform independence, as well as simplicity. Bas...

The objective of the research is to analyze, at simulation level, effect M-Quadrature Amplitude Modulation (M-QAM) technique, in downlink, for a converged Radio over Fiber (RoF) network infrastructure, implementing Ortho-gonal Frequency Division Multiplexing (OFDM) technique and Passive Optical Network architecture, with 10 Gbps capa-city (XG-PON). evaluation M-QAM modulation was done through p...

Relatively little is known concerning the main tenance of biochemical integrity of tissue after it has been heterologously transplanted. The pos sibility of tissue enzyme adaptation to the new host following such a transplant is not easily ruled out. This subject is of particular interest in view of the use of human tumor transplants in rodents as a screening method for antitumor agents. A rece...

Recently the authors have proposed a homogeneous and self-dual algorithm for solving the monotone complementarity problem (MCP) 5]. The algorithm is a single phase interior-point type method, nevertheless it yields either an approximate optimal solution or detects a possible infea-sibility of the problem. In this paper we specialize the algorithm to the solution of general smooth convex optimiz...

A framework for the validation of axiomatic structure metrics is presented. In a case study, the comprehen-sibility of type expressions in the functional programming language Miranda' has been investigated. A structure metric for the comprehensibility of type expressions has been developed together with internal and external axioms. This structure metric has been validated experimentally. The c...

This paper discusses the important issue of knowledge base comprehensibility and describes a technique for comprehensibility improvement. Com-prehensibility is often measured by simplicity of concept description. Even in the simplest form, however, there will be a number of dierent DNF (Disjunctive Normal Form) descriptions possible to represent the same concept, and each of these will have a d...