scholarly journals A Survey on Formal Specification and Verification of Smart Mass Transit Railway Interlocking System

2021 ◽  
Vol 11 (6) ◽  
pp. 671-682
Author(s):  
Lokanna Kadakolmath ◽  
Umesh D. Ramu
Keyword(s):  
Human Life ◽  
Mass Transit ◽  
Research Area ◽  
Requirements Specification ◽  
Urban Mobility ◽  
Functional Requirements ◽  
Catastrophic Loss ◽  
Specification And Verification ◽  
Active Research ◽  
Active Research Area

Nowadays interest in Smart Mass Transit Rail has grown-up to a large extent in a metropolitan area as the need for urban mobility has increased steadily. The reliability of software being used in such mass transit rail is crucial for us, specifically when software crashes may lead to catastrophic loss of human life and assets. For example, when we travel by metro it is essential for us that the interlocking system software controlling the metros are accurate so collisions and derailment are prevented. The reliability and safety of such interlocking systems are made on the precise functional requirements specification and verification respectively. Therefore, the precise functional requirements specification and verification of such interlocking systems represent a challenge in an active research area, so in this paper, we survey various articles in this field and discuss their consequences.

A Person-Centered Design Framework for Serious Games for Dementia

2020 ◽  
Vol 64 (1) ◽  
pp. 18-22
Author(s):  
Bella Yigong Zhang ◽  
Mark Chignell
Keyword(s):  
Theoretical Basis ◽  
Serious Games ◽  
Aging Population ◽  
Research Area ◽  
Design Framework ◽  
Strategic Design ◽  
Health And Wellbeing ◽  
Initial Design ◽  
Active Research ◽  
Active Research Area

With the rapidly aging population and the rising number of people living with dementia (PLWD), there is an urgent need for programming and activities that can promote the health and wellbeing of PLWD. Due to staffing and budgetary constraints, there is considerable interest in using technology to support this effort. Serious games for dementia have become a very active research area. However, much of the work is being done without a strong theoretical basis. We incorporate a Montessori approach with highly tactile interactions. We have developed a person-centered design framework for serious games for dementia with initial design recommendations. This framework has the potential to facilitate future strategic design and development in the field of serious games for dementia.

scholarly journals Digitization and Visualization of Folk Dances in Cultural Heritage: A Review

Inventions ◽  
2018 ◽  
Vol 3 (4) ◽  
pp. 72 ◽  
Author(s):  
Iris Kico ◽  
Nikos Grammalidis ◽  
Yiannis Christidis ◽  
Fotis Liarokapis
Keyword(s):  
Performance Evaluation ◽  
Cultural Heritage ◽  
Computer Science ◽  
Learning Process ◽  
Research Area ◽  
Active Research ◽  
Active Research Area

According to UNESCO, cultural heritage does not only include monuments and collections of objects, but also contains traditions or living expressions inherited from our ancestors and passed to our descendants. Folk dances represent part of cultural heritage and their preservation for the next generations appears of major importance. Digitization and visualization of folk dances form an increasingly active research area in computer science. In parallel to the rapidly advancing technologies, new ways for learning folk dances are explored, making the digitization and visualization of assorted folk dances for learning purposes using different equipment possible. Along with challenges and limitations, solutions that can assist the learning process and provide the user with meaningful feedback are proposed. In this paper, an overview of the techniques used for the recording of dance moves is presented. The different ways of visualization and giving the feedback to the user are reviewed as well as ways of performance evaluation. This paper reviews advances in digitization and visualization of folk dances from 2000 to 2018.

scholarly journals Enhancing Big Data Auditing

2018 ◽  
Vol 11 (1) ◽  
pp. 90
Author(s):  
Sara Alomari ◽  
Mona Alghamdi ◽  
Fahd S. Alotaibi
Keyword(s):  
Big Data ◽  
Research Area ◽  
Provable Data Possession ◽  
Integrity Verification ◽  
The Core ◽  
Outsourced Data ◽  
Active Research ◽  
Data Auditing ◽  
Active Research Area ◽  
Proof Of Retrievability

The auditing services of the outsourced data, especially big data, have been an active research area recently. Many schemes of remotely data auditing (RDA) have been proposed. Both categories of RDA, which are Provable Data Possession (PDP) and Proof of Retrievability (PoR), mostly represent the core schemes for most researchers to derive new schemes that support additional capabilities such as batch and dynamic auditing. In this paper, we choose the most popular PDP schemes to be investigated due to the existence of many PDP techniques which are further improved to achieve efficient integrity verification. We firstly review the work of literature to form the required knowledge about the auditing services and related schemes. Secondly, we specify a methodology to be adhered to attain the research goals. Then, we define each selected PDP scheme and the auditing properties to be used to compare between the chosen schemes. Therefore, we decide, if possible, which scheme is optimal in handling big data auditing.

scholarly journals E-Mail Usage in South Pacific Distance Education

2005 ◽  
pp. 1034-1039
Author(s):  
Jonathan Frank ◽  
Janet Toland ◽  
Karen D. Schenk
Keyword(s):  
Learning Styles ◽  
Research Area ◽  
Web Based ◽  
Group Interactions ◽  
Face To Face ◽  
Web Based Learning ◽  
Active Research ◽  
The Impact ◽  
E Mail ◽  
Active Research Area

The impact of cultural diversity on group interactions through technology is an active research area. Current research has found that a student’s culture appears to influence online interactions with teachers and other students (Freedman & Liu, 1996). Students from Asian and Western cultures have different Web-based learning styles (Liang & McQueen, 1999), and Scandinavian students demonstrate a more restrained online presence compared to their more expressive American counterparts (Bannon, 1995). Differences were also found across cultures in online compared to face-to-face discussions (Warschauer, 1996). Student engagement, discourse, and interaction are valued highly in “western” universities. With growing internationalization of western campuses, increasing use of educational technology both on and off campus, and rising distance learning enrollments, intercultural frictions are bound to increase.

scholarly journals Word and Chracter Segmentation in Devnagari and Odia Script – A Comparitive Analysis

2020 ◽  
Vol 9 (9) ◽  
pp. 377-382
Keyword(s):  
Character Recognition ◽  
Optical Character Recognition ◽  
Research Area ◽  
Character Segmentation ◽  
National Language ◽  
Eastern India ◽  
Regional Language ◽  
Optical Character ◽  
Active Research ◽  
Active Research Area

Optical Character Recognition has been an active research area in computer science for several years. Several research works undertaken on various languages in India. In this paper an attempt has been made to find out the percentage of accuracy in word and character segmentation of Hindi (National language of India) and Odia is one of the Regional Language mostly spoken in Odisha and a few Eastern India states. A comparative article has been published under this article. 10 sets of each printed Odia and Devanagari scripts with different word limits were used in this study. The documents were scanned at 300dpi before adopting pre-processing and segmentation procedure. The result shows that the percentage of accuracy both in word and character segmentation is higher in Odia language as compared to Hindi language. One of the reasons is the use of headers line in Hindi which makes the segmentation process cumbersome. Thus, it can be concluded that the accuracy level can vary from one language to the other and from word segmentation to that of the character segmentation.

scholarly journals Which OCR toolset is good and why? A comparative study

2021 ◽  
Vol 48 (2) ◽  
Author(s):  
Pooja Jain ◽  
◽  
Dr. Kavita Taneja ◽  
Dr. Harmunish Taneja ◽  
◽  
...  
Keyword(s):  
Comparative Study ◽  
Language Processing ◽  
Character Recognition ◽  
Optical Character Recognition ◽  
Research Area ◽  
Real World Applications ◽  
Banking Education ◽  
Active Research ◽  
Active Research Area ◽  
Computational Technology

Optical Character Recognition (OCR) is a very active research area in many challenging fields like pattern recognition, natural language processing (NLP), computer vision, biomedical informatics, machine learning (ML), and artificial intelligence (AI). This computational technology extracts the text in an editable format (MS Word/Excel, text files, etc.) from PDF files, scanned or hand-written documents, images (photographs, advertisements, and alike), etc. for further processing and has been utilized in many real-world applications including banking, education, insurance, finance, healthcare and keyword-based search in documents, etc. Many OCR toolsets are available under various categories, including open-source, proprietary, and online services. This research paper provides a comparative study of various OCR toolsets considering a variety of parameters.

scholarly journals E-Mail Usage in South Pacific Distance Education

2011 ◽  
pp. 2325-2332
Author(s):  
Jonathan Frank ◽  
Janet Toland ◽  
Karen D. Schenk
Keyword(s):  
Learning Styles ◽  
Research Area ◽  
Web Based ◽  
Group Interactions ◽  
Face To Face ◽  
Web Based Learning ◽  
Active Research ◽  
The Impact ◽  
E Mail ◽  
Active Research Area

The impact of cultural diversity on group interactions through technology is an active research area. Current research has found that a student’s culture appears to influence online interactions with teachers and other students (Freedman & Liu, 1996). Students from Asian and Western cultures have different Web-based learning styles (Liang & McQueen, 1999), and Scandinavian students demonstrate a more restrained online presence compared to their more expressive American counterparts (Bannon, 1995). Differences were also found across cultures in online compared to face-to-face discussions (Warschauer, 1996). Student engagement, discourse, and interaction are valued highly in “western” universities. With growing internationalization of western campuses, increasing use of educational technology both on and off campus, and rising distance learning enrollments, intercultural frictions are bound to increase.

Emotional Semantic Detection from Multimedia

2010 ◽  
pp. 126-146 ◽  
Author(s):  
Shang-fei Wang ◽  
Xu-fa Wang
Keyword(s):  
Content Analysis ◽  
Digital Media ◽  
Research Area ◽  
Multimedia Content ◽  
General Frame ◽  
Problem Resolution ◽  
Multimedia Content Analysis ◽  
Critical Problems ◽  
Active Research ◽  
Active Research Area

Recent years have seen a rapid increase in the size of digital media collections. Because emotion is an important component in the human classification and retrieval of digital media, emotional semantic detection from multimedia has been an active research area in recent decades. This chapter introduces and surveys advances in this area. First, the authors propose a general frame of research on affective multimedia content analysis, which includes physical, psychological and physiological space, alongside the relationships between the three. Second, the authors summarize research conducted on emotional semantic detection from images, videos, and music. Third, three typical archetypal systems are introduced. Last, explanations of several critical problems that are faced in database, the three spaces, and the relationships are provided, and some strategies for problem resolution are proposed.

Region Coverage and Protection with Sensors

2010 ◽  
pp. 63-78 ◽  
Author(s):  
Ted Brown ◽  
Peter Brass ◽  
Matthew P. Johnson ◽  
Simon Shamoun
Keyword(s):  
Intrusion Detection ◽  
Research Area ◽  
Barrier Coverage ◽  
Complete Coverage ◽  
Partial Coverage ◽  
Security Applications ◽  
Active Research ◽  
Coverage Problems ◽  
Hostile Environments ◽  
Active Research Area

Covering an area with sensors has been an active research area in recent years. Coverage problems for sensors include the positioning of the sensors in order to cover much or all of a region, once or many times, and using sensors whose coverage abilities vary. Certain problem extensions arise in security applications and when sensors are deployed in hostile environments: it may not be possible to safely enter the area, in which case sensors may be distributed randomly from a distance; even if the positions can be chosen, there may be some minimal placement error which must be compensated for; it may not be possible to provide complete coverage, in which case we may settle for partial coverage or only barrier coverage and position sensors for improved intrusion detection. Another factor to consider when parties are acting in a coalition is that differing types of sensors may be deployed by the different parties, which must be taken into account when choosing positions. This short survey deals with some recent results that are especially applicable to such settings.

Onto-VP2M

2017 ◽  
Vol 13 (3) ◽  
pp. 39-62 ◽  
Author(s):  
Fatma Ellouze ◽  
Mohamed Amine Chaâbane ◽  
Eric Andonoff ◽  
Rafik Bouaziz
Keyword(s):  
Business Process ◽  
Business Process Management ◽  
Process Management ◽  
Research Area ◽  
Collaborative Process ◽  
Subsea Pipeline ◽  
Context Reasoning ◽  
Active Research ◽  
Active Research Area

Collaborative process (CP) flexibility is an active research area in the field of business process management (BPM). It deals with both foreseen and unforeseen changes in the environment where CPs operate. In the literature, the version-based approach is largely used to cope with CP flexibility. However, BPM practitioners from various organizations can encounter some difficulties in a multi-version setting, of which when they must select the most appropriate CP version to be executed. Therefore, the aim of this article is to offer a solution to help them in this delicate task by proposing an ontology-based approach to model and query the context of versions of CP. More precisely, the authors recommend a new ontology, entitled BPM-Context-Onto, and a framework, entitled Onto-VP2M-Framework, providing support for (1) context version modeling in the BPM area, and (2) context-based querying exploiting reasoning mechanisms of the proposed ontology. The evaluation of the recommended framework shows that combining ontology with context reasoning is a promising idea in the BPM area. This novel framework has been examined within a real case study, namely the Subsea Pipeline CP.

Sign in / Sign up

Export Citation Format

Share Document