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.
In this study, we aim to improve security awareness education by developing standard, multilanguage and sustainable online course. This talk focuses on as follows: (1) the management of e-learning services on Moodle even with limited system resources. (2) the improvement of the course content. (3) user's behavior analysis of 2013-2015 academic year. Our course "Learn with Princess Rin Rin"...
The number of biological databases available both in the public domain and in private keep on increasing every day. Scientists and researchers need to analyze and make use of the data stored in different databases. One limitation is that these databases are stored in diverse formats. However, semantic web methods have introduced the Resource description format (RDF) to unify heterogeneous databases...
This paper examines advantages of cloud while supporting real-time service systems using Salesforce platform. We build here a service management platform for the Polish Billiards and Snooker Association (PBSA), based on a real-time system located in a cloud. It allows PBSA managers accomplish tasks in this system on-demand. And, it is deployed as a private cloud to grant an access only to the employees...
Curriculum design and implementation in higher medical education can be a great challenge. Although there are well-defined standards, such as the Curriculum Inventory and Competency Framework by MedBiquitous Consortium, existing systems are incapable of a visual representation of the various components, attributes, and relations. In this paper, we present the MEDCIN platform, a pilot tool which uses...
OpenEHR is an open standard specification for developing flexible electronic health record (EHR) management system. It defines the standard service models and APIs, and offers a whole lifetime data storage method to the patient's record. As an important OpenEHR system component, EHRServer plays the role of back-end services repository for data storage and query. It complies with the openEHR specifications...
Selecting, developing and deploying a document management system for engineering use involves the ability to follow an engineering revision process, integrate easily with engineering and corporate applications (custom or Commercial Off the Shelf (COTS)), uniting disparate on-premise and cloud systems, and integrating existing and evolved business processes and applications.
In this paper, we propose an optimization method of stochastic ADC and propose its automatic generation system. The proposed NOR-based comparator can achieve high clock frequency at low input voltage. The proposed asymmetric comparator works without analog reference voltages. The automatic generation system generates a stochastic ADC using design parameter dependency of stochastic ADCs in a database...
Code portability is a desirable non-functional requirement. The most established metric evaluating it consists of counting the number of instructions that use platform specific APIs. Generally, instructions using APIs are preceded or followed by related code that e.g. prepares some input for a call or analyses the return value. This paper proposes a taint analysis approach to identify code portions...
In monadic programming, datatypes are presented as free algebras, generated by data values, and by the algebraic operations and equations capturing some computational effects. These algebras are free in the sense that they satisfy just the equations imposed by their algebraic theory, and remain free of any additional equations. The consequence is that they do not admit quotient types. This is, of...
Two main techniques have been used so far to solve the #P-hard problem #SAT. The first one, used in practice, is based on an extension of DPLL for model counting called exhaustive DPLL. The second approach, more theoretical, exploits the structure of the input to compute the number of satisfying assignments by usually using a dynamic programming scheme on a decomposition of the formula. In this paper,...
Functional transductions realized by two-way transducers (equivalently, by streaming transducers and by MSO transductions) are the natural and standard notion of “regular” mappings from words to words. It was shown recently (LICS'13) that it is decidable if such a transduction can be implemented by some one-way transducer, but the given algorithm has non-elementary complexity. We provide an algorithm...
Hadoop is now the de facto standard for storing and processing big data, not only for unstructured data but also for some structured data. As a result, providing SQL analysis functionality to the big data resided in HDFS becomes more and more important. Hive is a pioneer system that supports SQL-like analysis to the data in HDFS. However, the performance of the early-version of Hive is not satisfactory...
The paper presents a number of research challenges for medical data storing into Health Information Systems (HIS), such as complex-data modeling features, advanced classification structures, integration of very complex data, and demonstrates how this area may benefit from the functionality offered by data warehousing. In addition it is presented a case study that configures a data warehouse developed...
In academic libraries, electronic resources usually dominate the expenditure, but their usage is not systematically analyzed. Usage analysis usually requires manual integration of reports from various vendors in different formats via diverse channels. This makes it difficult to evaluate the cost effectiveness. In this poster, we implemented a systematic model to aggregate heterogeneous resources for...
The task of traffic sign recognition is often considered to be solved after almost perfect results have been achieved on some public benchmarks. Yet, the closely related recognition of additional traffic signs is still lacking a solution. Following up on our earlier work on detecting additional traffic signs given a main sign detection [1], we here propose a complete pipeline for recognizing the content...
Bloom filters have been employed in various fields because of its simple and effective structure in identifying the membership of an input. Since a Bloom filter can produce false positives, the positive results of a Bloom filter should be identified whether the positives are true or not by accessing the original database. A complement Bloom filter (C-BF) was introduced to identify the true positiveness...
In this paper, an innovative approach for monitoring home electric power quality indicators is presented. Using an electric power analysis device (for this work purpose it will be a smart-meter) and a personal computer it is proved that it is possible to monitor and register electric power quality anomalies, such as long interruptions, voltage dips/swells and frequency oscillations. Through an application...
This paper introduces a novel method for the classification of healthy and apnea subjects using variational mode decomposition. The proposed method distinguishes the apnea and normal subjects with the help of an electrocardiogram (ECG) signal. Polysomnogram is the gold standard used for the identification of apnea subjects. This process is complex, expensive, and time-consuming. In this paper, both...
This paper presents the usability study of a cooking application, KitchenGeek with a wearable device, Smart M between two user groups, beginner and intermediate cookers to test if the application and device lowers the gap of time taken for both of the user groups to complete the cooking tasks. The results of this paper indicates that KitchenGeek and Smart M did lower the gap of time taken for task...
This paper presents a hardware realisation of a novel ECG baseline drift removal that preserves the ECG signal integrity. The microcontroller implementation detects the fiducial markers of the ECG signal and the baseline wander estimation is achieved through a weighted piecewise linear interpolation. This estimated drift is then removed to recover a “clean” ECG signal without significantly distorting...
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.