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.
Consumption charge on electricity is one of the issues faced by dormitories, room for rent, apartment and the like. Ideally, tenants must only pay what they have used for a specific period of time, but inevitably sometimes, they pay beyond their actual use simply because of unavailability of a meter or machine that could measure their actual use individually. Due to this practice and the current scheme...
Polypharmacy in older adults has been shown to be a significant risk factor for adverse drug events. Pharmacogenomic testing provides insights regarding individual drug efficacy and may be instrumental in optimizing medication regimen. However, majority of current pharmacogenomic decision support tools provide assessment only of single drug-gene interactions without taking into account complex drug-drug...
Improving in the quality of life by expanding functionality and durability while continually reducing the fabrication costs and maintaining the possibility of local fabrication, these are the four key design requirements for lower-limb prosthetics with humanitarian applications. Currently, however, there are few foot prostheses that meet these requirements. The solutions available world-wide include...
An inherent variable stiffness approach was proposed to suppress the rebound and impact of the electrostatic switch due to waveform deviations. A simple clamped-guided beam spring with large deflection, which generated inherent cubic nonlinear restoring force, was adopted for implementation of the approach. The initial stiffness is very small but increases significantly with the displacement. In this...
Several cases are known where faults in spreadsheets have caused severe losses of money for companies. Besides other factors, the non-existence of advanced testing and debugging mechanisms in environments like MS Excel causes faults in spreadsheets to remain undetected. In this paper we describe the main functionality of the EXQUISITE tool, a software system and add-in to MS Excel that was developed...
Regression testing is an important part of software development, but it can be very time consuming. Regression test selection (RTS) aims to speed up regression testing by running only impacted tests—the subset of tests that can change behavior due to code changes. We present STARTS, a tool for STAtic Regression Test Selection. Unlike dynamic RTS, STARTS requires no code instrumentation or runtime...
Multi-objective optimization plays an important role when one has fitness functions that are somehow conflicting with each other. Also, parameter-dependent machine learning techniques can benefit from such optimization tools. In this paper, we propose a multi-objective-based strategy approach to build compact though representative training sets for Optimum-Path Forest (OPF) learning purposes. Although...
In this work-in-progress paper, we present a framework for developing an individual's capacity to engage in curricular culture change. It is part of a larger project that looks at curricular change through a cultural lens by analyzing cross-institutional curricular collaborations. An individual's capacity depends on three aspects: transferability (the presence of a testable hypothesis for transferring...
Listening to music can reduce stress. This research is to study the development of music mood application called DeMuse. It mainly concerns with the users' favorable and recommended music genre. In addition, DeMuse will be presented in health and fitness category of mood music based mobile application. In order to complete DeMuse, it will carry out the identification of the features for the particular...
Automatic loop-invariant generation is important in program analysis and verification. In this paper, we propose to generate loop-invariants automatically through learning and verification. Given a Hoare triple of a program containing a loop, we start with randomly testing the program, collect program states at run-time and categorize them based on whether they satisfy the invariant to be discovered...
The emergence of large-scale dynamic sets in real applications creates stringent requirements for approximate set representation structures: 1) the capacity of the set representation structures should support flexibly extending or reducing to cope with dynamically changing of set size; 2) the set representation structures should support reliable delete operation. Existing techniques for approximate...
Patient portal is a website that provides patients a safe and secured access to their personal health information and offers some significant functionality. This paper proposes an outline for the future of the health care services in the UAE which will introduce a new level of health care to encourage operational and human effort savings. This is accomplished by proposing a framework which adopts...
Solar direct-drive (SDD) appliances including refrigerators and freezers are widely used for storing vaccines and other medical products in locations without reliable mains electricity. The capacity of the solar array powering an SDD appliance must be large enough to provide sufficient compressor runtime during periods of reduced solar irradiance. SDD appliance solar arrays therefore create useful...
This paper describes the use of electromagnets to launch Unmanned Arial Vehicle (UAV). The name of the system is Electromagnetic UAV launcher. It harnesses the power of electromagnets to accelerate Unmanned Arial Vehicles on the runway. Enabling shorter runway distance and quicker takeoff. This paper describes the working of E-UAV launcher and the operation of individual components. Building and testing...
Rounding errors are introduced pervasively when using floating-point arithmetic to approximate real arithmetic. The accumulation or catastrophic cancellation of rounding errors in numerical programs may produce high inaccuracy results, which can cause serious software failures once being triggered. High inaccuracies are known hard to debug and fix manually for developers. Hence, the automated techniques...
We present the Configurable Advanced Verification of Software (CAVS), a prototype tool that automatically generates an efficient set of test cases from descriptions of required interface behavior based on Unified Modeling Language (UML) artifacts. The input to CAVS consists of enhanced UML activity diagrams that define the required behavior of a software component as observed on its interfaces. CAVS...
This paper presents some features of a multi-link space robot ground testing. The scope of the paper comprises the design of the space robot prototype, the architecture of the active ground testing facility and the integrated control system for the robot and the facility. The space robot prototype has two manipulators, which allow the robot to autonomously “walk” from one spacecraft grapple point...
Oscillation of 1MW at quad-frequency 203GHz, 170 GHz, 137GHz and 104GHz were demonstrated with a high-order mode (TE31,11) gyrotron developed for ITER. The final design of the ITER equatorial launcher has being implemented. The RF prototype testing to validate the millimeter wave design of the launcher were carried out and the results confirmed the steering range and quality of mm-wave beam and in-directly...
Peat land fires monitoring that has the highest accuracy is ASMC with an accuracy rate of 60%. So, it takes a peat land fire detector design, in order to mitigate catastrophic fires in peat land. Peat in Riau Province is generally of woody type, therefor the research focus on woody type peat land monitoring. Sensor LM35 is used for this detection system. This sensor works by using the characteristics...
As wireless and telecommunicaton infrastructure communications have been integrated into modern vehicle systems (i.e., infotainment systems and vehicle to vehicle systems), the security implications on the relatively unchanged underlying network protocols inside the vehicles are investigated by researchers and industrial experts in the corresponding domain. Some researchers have achieved the investigation...
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.