Constraint-based causal discovery algorithms, such as the PC algorithm, rely on conditional independence tests and are otherwise independent of the actual distribution of the data. In case of continuous variables, the...
详细信息
Skolemization is a well-known method for removing existential quantifiers from a logical formula. Although it always yields a satisfiability-preserving transformation step, classical Skolemization in general does not ...
详细信息
ISBN:
(纸本)9789746152969
Skolemization is a well-known method for removing existential quantifiers from a logical formula. Although it always yields a satisfiability-preserving transformation step, classical Skolemization in general does not preserve the logical meaning of a source formula. Based on a general framework for generating and extending logical structures on specialization systems, we develop in this paper a theory for extending a space of logical formulas by incorporation of function variables and show how meaning-preserving Skolemization can be achieved in an obtained extended space. A procedure for converting a logical formula into an equivalent one in a conjunctive normal form on the extended space is described. This work lays a crucial theoretical foundation for solving logical problems involving existential quantifications based on meaning-preserving formula transformation.
In this paper, we examine the influence of overconfidence in parameter specification on the performance of a Bayesian network model in the context of Hepar II, a sizeable Bayesian network model for diagnosis of liver ...
详细信息
In this paper, we examine the influence of overconfidence in parameter specification on the performance of a Bayesian network model in the context of Hepar II, a sizeable Bayesian network model for diagnosis of liver disorders. We enter noise in the parameters in such a way that the resulting distributions become biased toward extreme probabilities. We believe that this offers a systematic way of modeling expert overconfidence in probability estimates. It appears that the diagnostic accuracy of Hepar II is less sensitive to overconfidence in probabilities than it is to underconfidence and to random noise, especially when noise is very large.
Clinical guidelines usually need to be adapted to fit local practice before they can be actually used by clinicians. Reasons for adaptation include variations of institution setting such as type of practice and locati...
详细信息
Recommendation accuracy is especially important in mobile e-commerce environments due to the limited screen size of mobile devices and relatively expensive connection costs. Mobile content tends to be fashionable and ...
详细信息
ISBN:
(纸本)1601320639
Recommendation accuracy is especially important in mobile e-commerce environments due to the limited screen size of mobile devices and relatively expensive connection costs. Mobile content tends to be fashionable and are geared for young users. This paper presents a novel method of building a more accurate recommender system for mobile content in a mobile ecommerce environment. The method is based on collaborative filtering, and models content diffusion and user preference transition and incorporates them in constructing pseudo ratings from implicit feedback data. In a variety of experiments, recommender systems based on the method showed significantly better recommendation accuracy than a pure collaborative filtering-based recommender system.
Teaching engineering and technology subjects involves conveying understanding of abstract information structures and processes such as complex telecommunications protocols, complex mathematical concepts, and data stru...
详细信息
Teaching engineering and technology subjects involves conveying understanding of abstract information structures and processes such as complex telecommunications protocols, complex mathematical concepts, and data structures. These are multidimensional and can be difficult to grasp quickly. Supported by a Hewlett-Packard (HP) Technology for Teaching grant, the School of Engineering and Technology at National University has embarked on a project to enable students to grasp these complex concepts more quickly and easily, using continuous dialog among students and instructors as the structures are first introduced and then examined from multiple perspectives through real-time interaction among students, small groups, and instructors. HP Wireless Tablet PCs are used to discuss and experiment with diagrams and processes in realtime. This allows combining lectures and problem-solving sessions into a single class session. Our hypothesis is that: 1) an in-depth learning of theory is accomplished, and 2) student engagement is enhanced. Presentation of theory by the instructor is integrated with application while the theory is still in the student's short-term memory. Students no longer have to wait for a separate session such as a recitation session to apply the concepts. This approach often takes less time. In addition to accelerating the learning process, expert instructors find this approach more rewarding as students grasp new concepts more quickly. Analysis of data captured from both students and instructors are presented to support our hypotheses, and our results are compared with similar research carried out by other universities. In addition, the level of interaction enabled by the use of HP Tablets in on-line classes is discussed. The best teaching tools available in existing on-line teaching platforms are compared with the additional tools available in on-site courses when every student has a wireless Tablet PC and specific recommendations are made to on-line teachi
A pulsed power system has been constructed to explore conditions under which accurate pulsed power measurements can be made with both a thermal sensor and a diode sensor. For the thermal sensor, pulsed power is estima...
详细信息
A pulsed power system has been constructed to explore conditions under which accurate pulsed power measurements can be made with both a thermal sensor and a diode sensor. For the thermal sensor, pulsed power is estimated from a simple calculation based on the average power of the pulsed RF signal. For the diode sensor, gating is used to enable direct measurement of the pulsed power. As expected, the results of measurements taken with varying pulse lengths and a constant period show that the dynamic range of the thermal sensor is approximately proportional to the pulse length. The results also indicate that, while a thermal sensor can provide accurate results for many situations, the diode sensor can be used to measure with higher precision than the thermal sensor for lower duty cycles. The paper demonstrates a benchmarking procedure that can be used to explore limitations and capabilities of power sensors as well as elements such as the input RF switch used for pulsed power measurements.
Emerging 64 bitOSpsilas supply a huge amount of memory address space that is essential for new applications using very large data. It is expected that the memory in connected nodes can be used to store swapped pages e...
详细信息
Emerging 64 bitOSpsilas supply a huge amount of memory address space that is essential for new applications using very large data. It is expected that the memory in connected nodes can be used to store swapped pages efficiently, especially in a dedicated cluster which has a high-speed network such as 10 GbE and Infiniband. In this paper, we propose the distributed large memory system (DLM), which provides very large virtual memory by using remote memory distributed over the nodes in a cluster. The performance of DLM programs using remote memory is compared to ordinary programs using local memory. The results of STREAM, NPB and Himeno benchmarks show that the DLM achieves better performance than other remote paging schemes using a block swap device to access remote memory. In addition to performance, DLM offers the advantages of easy availability and high portability, because it is a user-level software without the need for special hardware. To obtain high performance, the DLM can tune its parameters independently from kernel swap parameters. We also found that DLMpsilas independence of kernel swapping provides more stable behavior.
暂无评论