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.
The flexibility of individual energy prosumers (producers and/or consumers) has drawn a lot of attention in recent years. Aggregation of such flexibilities provides prosumers with the opportunity to directly participate in the energy market and at the same time reduces the complexity of scheduling the energy units. However, aggregated flexibility should support normal grid operation. In this paper,...
Software Defined Networks (SDNs) provides a separation between the control plane and the forwarding plane of networks. The software implementation of the control plane and the built in data collection mechanisms of the OpenFlow protocol promise to be excellent tools to implement Machine Learning (ML) network control applications. A first step in that direction is to understand the type of data that...
The study aims to find out how email marketing can be applied to the development of internet marketing by Research and Technology Transfer Office (RTTO) in Bina Nusantara University. This research was designed using qualitative method and case study was adopted for the email marketing implementation. The data was collected from observation during the implementation of email marketing and visitor statistic...
It can be troublesome and challenging to diagnose and resolve problems caused by improper individual user account configurations on supercomputer systems. To assist individual users and those who support them in handling these issues efficiently and conveniently, we designed and created a new lightweight system utility named Sanity Tool. Sanity Tool includes a group of generic and machine-specific...
On the one hand, Constraint Satisfaction Problems (CSP) are a declarative and expressive approach for modeling problems. On the other hand, propositional satisfiability problem (SAT) solvers can handle huge SAT instances up to millions of variables and clauses. In this article, we present an approach for taking advantage of both CSP modeling and SAT solving. Our technique consists in expressively...
Despite the popularity of MPI for high performance computing, the startup of MPI programs faces a scalability challenge as both the execution time and memory consumption increase drastically at scale. We have examined this problem using the collective modules of Cheetah and Tuned in Open MPI as representative implementations. Previous improvements for collectives have focused on algorithmic advances...
In looking for a hotel, it is common to access a list of hotels matching a query which is arranged in a descending order of the average evaluation value. Since such a list does not reflect the preference of users, for many inexperienced users, it takes too long to determine a hotel. In this paper, we focus on the evaluation values given by contributors whose preferences are similar to the user's preference...
On the one hand, Constraint Satisfaction Problems (CSP) are a declarative and expressive approach for modeling problems. On the other hand, propositional satisfiability problem (SAT) solvers can handle huge SAT instances up to millions of variables and clauses. In this article, we present an approach for taking advantage of both CSP modeling and SAT solving. Our technique consists in expressively...
This work describes the Dynse framework, which uses dynamic selection of classifiers to deal with concept drift. Basically, classifiers trained on new supervised batches available over time are add to a pool, from which is elected a custom ensemble for each test instance during the classification time. The Dynse framework is highly customizable, and can be adapted to use any method for dynamic selection...
Literal Block Distance (LBD) is the criterion to evaluate the quality of learnt clauses and is used as a standard technique to reserve important ones in the reduction phase of state-of-the-art SAT solvers. A LBD of a clause can be updated (decreased) during the search when it is re-evaluated at the Boolean constraint propagation phase. The update is essential to evaluate the real LBD value of a learnt...
This paper derives an iterative algorithm for identifying a fractional Hammerstein non-linear system. Such system consists of a static non-linear block followed by a linear dynamic part. The proposed approach uses the hierarchical identification principle based on Levenberg-Marquardt algorithm and is able to estimate the parameters of both the linear part and the nonlinear part as well as the fractional...
Graphics Processing Units (GPUs) are gathering attention now and used in various fields. Accordingly, the demand for verification of GPU Programs is increasing. In this paper, we describe a method to detect bank conflict by using symbolic execution. Bank conflict is the bug happening when multiple processing units access the same bank in the shared memory at the same time. Symbolic execution is a...
In this paper, we describe the development of a spoken dialogue system based on PRINTEPS architecture. This spoken dialogue system is composed of five modules (speech recognition, language understanding, dialogue management, response generation, speech synthesis). In PRINTEPS, when calling the spoken dialogue system, system developers specify the small-scale dialogue goal. The system performs a dialogue...
Critical value reporting is crucial to patient care in the hospital setting, but some normal or non-critical values are valuable to clinical decision making as well. We designed a system that allows providers to subscribe to electronic notifications of laboratory results to improve workflow and potentially patient care.
Unfamiliar accent and lack of fluency in English language have been identified as key challenges for international faculty in USA universities and colleges, particularly non-native English speakers and writers. These can have negative effects such as loss of interest in a given course, and possibly lead to poor performance. Currently, there are little or no evidence that most USA universities have...
Satellite transmission based on IP may play important role for communication between event site and PPDR centers during large planned scenarios and disaster/unplanned ones. Geostationary SATCOM links that can be installed ad-hoc in any location present reliable and efficient way to transmit IP data even for voice communication based on VoIP. Using different mechanisms that handle multi connections...
In this Work In Progress paper, we describe an NSF-funded research project designed to enhance the presence, socialization, retention and advancement of junior and mid-career university faculty from underrepresented minorities (URM) (i.e., African American, Native American, Pacific Islander and Hispanic Faculty) in engineering disciplines. The understanding behind this project is that to increase...
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.