We present narrowing calculi that are computation models of functional-logic programming languages. The narrowing calculi are based on the notion of the leftmost outside-in reduction of Huet and Lévy. We note the...
We present narrowing calculi that are computation models of functional-logic programming languages. The narrowing calculi are based on the notion of the leftmost outside-in reduction of Huet and Lévy. We note the correspondence between the narrowing and reduction derivations, and define the leftmost outside-in narrowing derivation. We then give a narrowing calculus OINC that generates the leftmost outside-in narrowing derivations. It consists of several inference rules that perform the leftmost outside-in narrowing. We prove the completeness of OINC using an ordering defined over a narrowing derivation space. To use the calculus OINC as a model of computation of functional-logic programming, we extend OINC to incorporate strict equality. The extension results in a new narrowing calculus, s-OINC. We show also that s-OINC enjoys the same completeness property as OINC.
A neural network model that recognizes sequential patterns without expanding them into spatial patterns is presented. This model forms trajectory attractors in the state space of a fully recurrent network by a simple ...
详细信息
A neural network model that recognizes sequential patterns without expanding them into spatial patterns is presented. This model forms trajectory attractors in the state space of a fully recurrent network by a simple learning algorithm using nonmonotonic dynamics. When a sequential pattern is input after learning, the network state is attracted to the corresponding learned trajectory and the incomplete part of the input pattern is restored in the input part of the model;at the same time, the output part indicates which sequential pattern is being input. In addition, this model can recognize learned patterns correctly even if they are temporally extended or contracted.
Most of Household Hazardous Waste (HHW) is currently mixed with domestics waste. So that, it can impact human health and environmental quality. One important aspect in the management strategy is to determine the quant...
详细信息
Electric vehicles (EV s) boast zero tailpipe emissions, directly improving air quality and lowering greenhouse gas emissions. Despite the promise of EVs for sustainable transportation, their limited range is a key cha...
详细信息
In Indonesia, stunting is a serious problem that has drawn a lot of attention from the government. This study offers a novel strategy for preventing stunting by combining the 5-Desk Model used in integrated health pos...
详细信息
The purpose of this research is to propose a quantitative analysis method to analyze the relationship between the feedforward controller and feedback controller in a motion learning process, and also to assess the eff...
详细信息
The purpose of this research is to propose a quantitative analysis method to analyze the relationship between the feedforward controller and feedback controller in a motion learning process, and also to assess the effectiveness of this method by experiments. To analyze the mechanisms of the motion control systems, we propose: 1) a control gain identification method, 2) a squared-error separation method, 3) a gradient separation method, and 4) a pattern correlation method. The inverted pendulum is used to evaluate the effectiveness of these methods. Experiments show that the proposed methods are an effective way to separate the motor control system into feedforward control and feedback control. They also disclose the fact that there are two learning processes; one of which mainly performs feedback control and the other mainly feedforward control.
In neural networks based on a distributed information representation, when different patterns are to be recalled from the same input by association depending on the context, the usual method is to concatenate the patt...
详细信息
Accurate reconstruction of attenuation maps from incomplete sinograms are required in some cases of SPECT and PET imaging. This paper proposes a new method to directly reconstruct segmented attenuation maps from the i...
详细信息
Accurate reconstruction of attenuation maps from incomplete sinograms are required in some cases of SPECT and PET imaging. This paper proposes a new method to directly reconstruct segmented attenuation maps from the incomplete sinograms. The proposed method is based on an image labeling technique where an optimum label configuration minimizing some energy function is found by using a stochastic sampling with simulated annealing. Unlike ordinary image labeling techniques, however, the authors introduce a powerful constraint called the topology-preserving constraint. This constraint reduces the search space to a set of label configurations having the same topology as the known topology of the attenuation map in question. The experimental results demonstrate that the topology-preserving constraint is powerful enough to reconstruct accurate segmented attenuation maps from the incomplete sinograms. The proposed method is tested with simulated data and PET transmission data.
A function generator that converts a discrete time signal to its interpolation by a quadratic spline function with no phase distortions is described. The generator synthesizes the output as a linear combination of B-s...
详细信息
A function generator that converts a discrete time signal to its interpolation by a quadratic spline function with no phase distortions is described. The generator synthesizes the output as a linear combination of B-spline functions generated coherently and continuously. The method reduces the total scale of the circuitry and improves the accuracy in the final output waveform. An implementation of the spline function generator is described.< >
In the modern era, an increasing number of diseases are emerging because of human lifestyle choices and bacterial transmission. Gastritis, characterized by inflammation in the stomach lining leading to frequent abdomi...
In the modern era, an increasing number of diseases are emerging because of human lifestyle choices and bacterial transmission. Gastritis, characterized by inflammation in the stomach lining leading to frequent abdominal pain, is one such ailment. Recognizing the significance of addressing these health issues, there is a need for an expert system application specifically designed for diagnosing gastritis. The primary objective is to disseminate information to the public regarding the early symptoms of gastritis, promoting awareness from a young age. The research method used is the web-based Expert System Development Life Cycle (ESDLC). The diagnostic process employs the Certainty Factor (CF) method to ensure accurate results. By utilizing symptom CF values chosen by the user, the Certainty Factor approach facilitates a diagnosis based on calculations established by medical specialists. The research culminates in the development of an expert system application capable of accurately diagnosing the disease Android based. The accuracy rates for the first, second, and third test cases are reported as 98.848%, 99.8464%, and 99.99115264%, respectively. System testing, conducted through black-box testing, validates the application's functionality, demonstrating a 100% success rate for each component.
暂无评论