In this paper, we show that first-order logic programs with monotone aggregates under the stable model semantics can be captured in classical first-order logic. More precisely, we extend the notion of ordered completi...
详细信息
Modern cloud infrastructures based on virtual hardware provide new opportunities and challenges for developers and system administrators alike. Most notable is the promise of resource elasticity, whereby the infrastru...
详细信息
This paper describes the development and evaluation of an intelligent web-based interface for editing mathematical text that assists the user with the aid of the predictive and corrective power of statistical language...
详细信息
This paper proposes a new algebraic system, Test Algebra (TA), for identifying faults in combinatorial testing for SaaS (Software-as-a-Service) applications. SaaS as a part of cloud computing is a new software deliver...
详细信息
ISBN:
(纸本)9781467361620
This paper proposes a new algebraic system, Test Algebra (TA), for identifying faults in combinatorial testing for SaaS (Software-as-a-Service) applications. SaaS as a part of cloud computing is a new software delivery model, and mission-critical applications are composed, deployed, and executed in cloud platforms. Testing SaaS applications is a challenging task because new applications need to be tested when they are composed before they can be deployed for execution. Combinatorial testing algorithms can be used to identify faulty configurations and interactions from 2-way all the way to k-way where k is the number of components in the application. The TA defines rules to identify faulty configurations and interactions. Using the rules defined in the TA, a collection of configurations can be tested concurrently in different servers and in any order and the results obtained will be still same due to the algebraic constraints.
The present authors recorded electroencephalograms (EEGs) from subjects viewing four types of line drawings of body part, tetrapod, home appliance, that were presented on a CRT. The authors investigated a single trial...
详细信息
The present authors recorded electroencephalograms (EEGs) from subjects viewing four types of line drawings of body part, tetrapod, home appliance, that were presented on a CRT. The authors investigated a single trial EEGs of the subject precisely after the latency at 400 ms, and determined effective sampling latencies for the discriminant analysis to some types of images. They sampled EEG data at latencies from 400 ms to 900 ms at 25 ms intervals by the four channels such as Fp2, F4, C4 and F8. Data were resampled -1 ms and -2 ms backward. Results of the discriminant analysis with jack knife method for four type objective varieties, the discriminant rates for two subjects were more than 95 %.
3D RRAM arrays are studied at the device- and architecture-levels. The memory cell performance for a horizontal cross-point is shown experimentally to be essentially comparable to vertical pillar-around geometry. Arra...
详细信息
3D RRAM arrays are studied at the device- and architecture-levels. The memory cell performance for a horizontal cross-point is shown experimentally to be essentially comparable to vertical pillar-around geometry. Array performances (read/write, energy, and speed) of different 3D architectures are investigated by SPICE simulation, showing horizontal stacked RRAM is superior but suffers from higher bit cost. Adopting a bi-layer pillar electrode structure is demonstrated to enlarge the array size in 3D vertical RRAM. Design guidelines are proposed for the 3D VRRAM: it shows that increasing the number of stacks of VRRAM while keeping the total bits the same, as well as scaling of feature size (F), are critical for reducing RC delay and energy consumption.
In this paper, we demonstrate six types of metamaterial absorbers （MMAs） by measuring their absorptivities in an X-band （8 12 GHz） rectangular waveguide. Some of the MMAs have been demonstrated previously by using...
详细信息
In this paper, we demonstrate six types of metamaterial absorbers （MMAs） by measuring their absorptivities in an X-band （8 12 GHz） rectangular waveguide. Some of the MMAs have been demonstrated previously by using the free space measurement method, and the others are proposed firstly in this paper. The measured results show that all of the six MMAs exhibit high absorptivities above 98%, which have similar absorbing characteristics to those measured in the free space. The numerically obtained surface current densities for each MMA show that the absorbing mechanism is the same as that under the free space conditions. Such a demonstration method is superior to the conventional free space measurement method due to the small-scale test samples required, the simple measure device, and its low cost. Most importantly, the proposed method opens a way to enable MMAs to be used in microwave applications such as matched terminations.
Abstract The module theorem by Janhunen et al. demonstrates how to provide a modular structure in answer set programming, where each module has a well-defined input/output interface which can be used to establish the ...
详细信息
Being able to answer questions with respect to a given text is the cornerstone of language understanding and at the primary school level students are taught how to answer various kinds of questions including why and h...
详细信息
暂无评论