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.
An approach is proposed to reasoning problems based on Petri nets (PNs). First, a method is presented modeling a world by describing Boolean variables as PN loops. Second, an algorithm is introduced to rearrange inference rules as conjunctive normal forms (CNFs), and, in turn, CNFs are transformed into linear constraints. Consequently, a knowledge base system (KBS) PN is obtained by designing monitor...
IoT systems deployed in industrial and smart factory settings generate large volumes of data at high velocity. Context awareness is mandatory for knowledge discovery and actionable insights from such high-velocity, high-volume IoT data streams. Changes to the context of a data stream are represented in the underlying data distribution. Research in concept drift aims to detect and adapt to such changes...
The number of elderly people over 60-year old is expected to reach 2 billion by 2050. With age people experience cognitive decline. While exercises are known to help, one of the age-associated issues is non-adherence. With the increasing adoption of technology by elderly, mobile devices become a good channel to deliver a persuasive solution. In this paper, we discuss the design and evaluation of Adherence...
The connectivity of industrial automation domain systems has been enhanced by the employment of information and communication technologies. This permits the implementation of systems that are aligned with the vision of the fourth industrial revolution, or Industry 4.0. In this scope, Cyber-Physical Systems (CPS), i.e., integration of cyber and physical systems, enables the control and monitoring of...
The Ambient intelligence (AmI) paradigm refers to electronic environments which are sensitive and responsive to the presence of people. Queue systems are practically used in various institutions and commercial enterprises constituting a challenge for the intelligent environments in smart cities. The management of the customer flows guarantees elimination or reduction of the queues as well as the economic...
If a target is flanked by non-target and incongruent stimuli, human response to the target is delayed (Eriksen flanker effect). The flanker effect is enhanced when the task is shared by two people and a person's target is flanked by non-target stimuli that are identical to his/her partner's target (Joint flanker effect). We aimed to test whether the joint flanker effect could occur in a virtual environment...
Some studies have suggested that nausea and vomiting are the most common postoperative complications and about 20 to 30% of postoperative patients have this problem [17]. According to types of surgery, anesthesia or surgical site may result in different complications. Postoperative nausea and vomiting can change because of taking medicine, ages and other factors. In the current medical environment,...
In the physical world, cause and effect are inseparable: ambient conditions trigger humans to perform actions, thereby driving status changes of objects. In video, these actions and statuses may be hidden due to ambiguity, occlusion, or because they are otherwise unobservable, but humans nevertheless perceive them. In this paper, we extend the Causal And-Or Graph (C-AOG) to a sequential model representing...
In order to permit competitive, the industry must ensure its technology position, companies must be able to develop services and products quickly and manage logistics and production systems efficiently. The backbone of a successful operation is a reliable, resilient, and secure communication infrastructure. The effective operation of networks is vital to the efficient governance, management, and monitoring...
Modern techniques widely applied in data mining, including computational intelligence and machine learning, have been fairly neglected in process mining. We conducted an exploratory study to use artificial neural networks to extract knowledge from an unstructured process in the distance learning domain. We discuss some possible benefits and limitations regarding the mining of unstructured processes...
Mobile devices continue to push the limits of contextually aware application intelligence. However, due to the complexity of contextual processing and programming, a centralized system that handles all mobile context processing is difficult to realize. The problem of defining such a contextual reasoning unit that uses an all-encompassing contextual ontology for all possible uses of context is not...
Root cause analysis includes the methods to identify the sources of errors in a network. Most techniques rely on knowledge models of the system, which are usually built by using network operators' expertise. This presents problems related to knowledge extraction, scalability, and understandability. We propose an offline method based on machine learning techniques for the automatic identification of...
Over these past years, formal reasoning about contracts between parties participating in a transaction has been increasingly explored in the literature. There has been a shift of view from one viewing contracts simply as properties to be satisfied by the parties, to one in which contracts are considered as first class syntactic objects and which can be reasoned about independently of the parties’...
This research proposes the use of a Belief Rule-Based (BRB) approach to assess an enterprise's level commitment to environmental issues. Participating companies will have to complete a structured questionnaire. An automated analysis of their responses will determine their environmental responsibility level. This is followed by a recommendation on how to progress to the next level. The recommended...
Heart failure is a significant concern for elderly people. Serious problems can result if elderly people do not take appropriate action to prevent medical issues. As a solution, smart watches can be used to monitor heart rate. These devices can also allow families, relatives, friends and health-care providers to visualise the heart rate data via a smartphone application or online website. Smart watches...
SOS is a new model for the online in situ characterization and analysis of complex high-performance computing applications. SOS employs a data framework with distributed information management and structured query and access capabilities. The primary design objectives of SOS are flexibility, scalability, and programmability. SOS provides a complete framework that can be configured with and used directly...
In the future patients will have a more active role in strengthening and maintaining their own health. Telehealth can empower and motivate patients by giving them the chance to stay in their own homes instead of going to the hospital. A telehealth system is deployed in a patient's home hence it will influence his or her everyday live. Therefore we believe that a telehealth system shall adapt its behavior...
Integrating logical and probabilistic reasoning and integrating reasoning over observations and predictions are two important challenges in AI. In this paper we propose P-MTL as an extension to Metric Temporal Logic supporting temporal logical reasoning over probabilistic and predicted states. The contributions are (1) reasoning over uncertain states at single time points, (2) reasoning over uncertain...
Two human factors studies were conducted to assess the effectiveness of intelligent agents' user interfaces that were designed based on the Situation awareness-based Agent Transparency (SAT) model. Results show that agents' transparency (based on the SAT model) can benefit operator performance and support proper calibration of trust in the agents. Increasing levels of transparency enhanced operator's...
The UK is one of these countries in Europe, which have the highest death rate from asthma, and the rules to identify asthma control steps are vague in the current official guideline of asthma management. In this research, diagnosis rules on asthma control steps are developed to supplement the current guideline and to assist patients to monitor and manage their asthma on daily basis. The main challenge...
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.