The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Verification of concurrent systems is difficult because of their inherent nondeterminism. Modern verification requires clean specifications of inter-thread interferences and modular reasoning over separated components. But for message-passing models, a general reasoning system, which meets these standards, is still in demand. Here we propose a new logic for verifying distributed programs modularly...
The final report of the World Commission on the Environment and Development, also known as the Brundtl and Report, defines sustainable development as" development that meets the needs of the present without compromising the ability of future generations to meet their own needs". Subsequent international efforts such as the Rio de Janeiro Conference in 1992, the publication of Agenda 21,...
It is over thirty years since I developed interval temporal logic and the accompanying logic of action and time. Overall, these theories have held up well and, with some extensions over the years, have remained useful in our work on AI planning/reasoning systems and natural language understanding. Recently I have become interested in systems that can learn by reading, and specifically, that can learn...
Knowledge-innovation talents, as the core element of competition and technological development, are the first strategic resources of the national and regional development. Then, the innovation capacity of technological innovators is the fundamental factor which influences the effect of the technology and knowledge innovators and is also the research focus of this essay. According to the AHP, the paper...
With the acceleration of rural-urban land conversion and the development of our society. It is important to evaluate the external benefits loss in rural-urban land conversion. In this paper, the author's use the contingent valuation method (CVM) to evaluate the external benefits loss of rural-urban land conversion in Hongshan District, Wuhan. Several conclusions can be drawn from the study. Firstly,...
Decision makers are required to make critical decisions throughout all stages of a life-cycle in large-scale projects. These decisions are important as they impact upon the outcome and the success of projects. In this paper we present an evidential reasoning framework to aid decision-makers in the decision making process. This approach utilizes the Dezert-Smarandache Theory (DSm) to fuse heterogeneous...
As the large number of feature attributes in Case-based reasoning system (CBR) brings a huge information redundancy which reduces the retrieval efficiency, a novel reduction method based on Water-Filling is proposed to remove those unnecessary attributes. In the method, the importance of each attribute could be calculated by utilizing the ratio of the standard deviation and the mean value of each...
Based on the review of past research papers, this article analyzes the functioning mechanism of accumulated points which are tightly connected with the choices of individual effort by two dimensions of "self-consciousness" (private self-consciousness, public self-consciousness). We advance related hypotheses and validate those hypotheses by survey samples. We draw the conclusion that medium...
It is observed that clinical decision support (CDS) and electronic health records (EHR) should be integrated so that their contribution to improving the quality of health care is enhanced. In this paper, we present results from a review on the related literature. The aim of this review was to find out to what extent CDS developers have actually considered EHR integration in developing CDS. We have...
The purpose of the present study was to examine children's moral disengagement as it related to children's social behavior, including prosocial behavior and aggressive behavior. A multimethod approach (self-report and peer ratings) was used to evaluated the relationship of moral disengagement with social behavior in middle childhood. Hierarchical regression analysis was conducted using a sample of...
In order to find out effective methods to improve scientific literacy level of contemporary college students, this study establishes system of evaluation indicator in the field of scientific awareness degree, scientific understanding degree, scientific influence degree and scientific attendance degree. The study uses AHP to grant each indicator right, adopts CQA (classification quantification assignment)...
Compliance management (CM) is the management process that an organization implements to ensure organizational compliance with relevant requirements and expectations. Compliance auditing (CA) is a child-process of CM where compliance rules and policies are individually checked against the organization to determine the level of compliance achieved by the organization. In this paper, we arrange organizational...
Statistical graphs are ubiquitous mechanisms for data visualization such that most, if not all, enterprises communicate information through them. However, many graphs are stored as unstructured images or proprietary binary objects, making them difficult to work with beyond the reports in which they are embedded. While graphs can be mapped to more common XML representations, these lack expressive semantics...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.