Search results for: matched savings programs
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 3375

Search results for: matched savings programs

3015 Integrating Renewable Energy Forecasting Systems with HEMS and Developing It with a Bottom-Up Approach

Authors: Punit Gandhi, J. C. Brezet, Tim Gorter, Uchechi Obinna

Abstract:

This paper introduces how weather forecasting could help in more efficient energy management for smart homes with the use of Home Energy Management Systems (HEMS). The paper also focuses on educating consumers and helping them make more informed decisions while using the HEMS. A combined approach of technical and user perspective has been selected to develop a novel HEMS-product-service combination in a more comprehensive manner. The current HEMS switches on/off the energy intensive appliances based on the fluctuating electricity tariffs, but with weather forecasting, it is possible to shift the time of use of energy intensive appliances to maximum electricity production from the renewable energy system installed in the house. Also, it is possible to estimate the heating/cooling load of the house for the day ahead demand. Hence, relevant insight is gained in the expected energy production and consumption load for the next day, facilitating better (more efficient, peak shaved, cheaper, etc.) energy management practices for smart homes. In literature, on the user perspective, it has been observed that consumers lose interest in using HEMS after three to four months. Therefore, to further help in better energy management practices, the new system had to be designed in a way that consumers would sustain their interaction with the system on a structural basis. It is hypothesized that, if consumers feel more comfortable with using such system, it would lead to a prolonged usage, including more energy savings and hence financial savings. To test the hypothesis, a survey for the HEMS is conducted, to which 59 valid responses were recorded. Analysis of the survey helped in designing a system which imparts better information about the energy production and consumption to the consumers. It is also found from the survey that, consumers like a variety of options and they do not like a constant reminder of what they should do. Hence, the final system is designed to encourage consumers to make an informed decision about their energy usage with a wide variety of behavioral options available. It is envisaged that the new system will be tested in several pioneering smart energy grid projects in both the Netherlands and India, with a continued ‘design thinking’ approach, combining the technical and user perspective, as the basis for further improvements.

Keywords: weather forecasting, smart grid, renewable energy forecasting, user defined HEMS

Procedia PDF Downloads 231
3014 Pain Management Program in Helping Community-Dwelling Older Adults and Their Informal Caregivers to Manage Pain and Related Situations

Authors: Mimi My Tse

Abstract:

The prevalence of chronic non-cancer pain is high among community-dwelling older adults. Pain affects physical and psychosocial abilities. Older adults tend to be less mobile and have a high tendency to fall risk. In addition, older adults with pain are depressed, anxious, and not too willing to join social activities. This will make them feel very lonely and social isolation. Instead of giving pain management education and programs to older adults/clients, both older adults and their caregivers, it is sad to find that the majority of existing services are given to older adults only. Given the importance of family members in increasing compliance with health-promoting programs, we proposed to offer pain management programs to both older adults with his/her caregiver as a “dyad.” We used the Health Promotion Model and implemented a dyadic pain management program (DPM). The DPM is an 8-week group-based program. The DPM comprises 4 weeks of center-based, face-to-face activities and 4 weeks of digital-based activities delivered via a WhatsApp group. There were 30 dyads (15 in the experimental group with DPM and 15 in the control group with pain education pamphlets). Upon the completion of DPM, pain intensity and pain interference were significantly lower in the intervention group as compared to the control group. At the same time, physical function showed significant improvement and lower depression scores in the intervention group. In conclusion, the study highlights the potential benefits of involving caregivers in the management of chronic pain for older adults. This approach should be widely promoted in managing chronic pain situations for community-dwelling older adults and their caregivers.

Keywords: pain, older adults, dyadic approach, education

Procedia PDF Downloads 78
3013 The Physical and Physiological Profile of Professional Muay Thai Boxers

Authors: Lucy Horrobin, Rebecca Fores

Abstract:

Background: Muay Thai is an increasingly popular combat sport worldwide. Further academic research in the sport will contribute to its professional development. This research sought to produce normative data in relation to the physical and physiological characteristics of professional Muay Thai boxers, as, currently no such data exists. The ultimate aim being to inform appropriate training programs and to facilitate coaching. Methods: N = 9 professional, adult, male Muay Thai boxers were assessed for the following anthropometric, physical and physiological characteristics, using validated methods of assessment: body fat, hamstring flexibility, maximal dynamic upper body strength, lower limb peak power, upper body muscular endurance and aerobic capacity. Raw data scores were analysed for mean, range and SD and where applicable were expressed relative to body mass (BM). Results: Results showed similar characteristics to those found in other combat sports. Low percentages of body fat (mean±SD) 8.54 ± 1.16 allow for optimal power to weight ratios. Highly developed aerobic capacity (mean ±SD) 61.56 ± 5.13 ml.min.kg facilitate recovery and power maintenance throughout bouts. Lower limb peak power output values of (mean ± SD) 12.60 ± 2.09 W/kg indicate that Muay Thai boxers are amongst the most powerful of combat sport athletes. However, maximal dynamic upper body strength scores of (mean±SD) 1.14 kg/kg ± 0.18 were in only the 60th percentile of normative data for the general population and muscular endurance scores (mean±SD) 31.55 ± 11.95 and flexibility scores (mean±SD) 19.55 ± 11.89 cm expressed wide standard deviation. These results might suggest that these characteristics are insignificant in Muay Thai or under-developed, perhaps due to deficient training programs. Implications: This research provides the first normative data of physical and physiological characteristics of Muay Thai boxers. The findings of this study would aid trainers and coaches when designing effective evidence-based training programs. Furthermore, it provides a foundation for further research relating to physiology in Muay Thai. Areas of further study could be determining the physiological demands of a full rules bout and the effects of evidence-based training programs on performance.

Keywords: fitness testing, Muay Thai, physiology, strength and conditioning

Procedia PDF Downloads 230
3012 Improving the Constructability of Highway Design Plans

Authors: R. Edward Minchin Jr.

Abstract:

The U.S. Federal Highway Administration (FHWA) Every Day Counts Program (EDC) has resulted in state DOTs putting evermore emphasis on speeding up the delivery of highway and bridge construction projects for use by the driving public. This has resulted in an increase in the use of alternative construction delivery systems such as design-build (D-B), construction manager at-risk (CMR) or construction manager/general contractor (CM/GC), and adding alternative technical concepts (ATCs) to traditional design-bid-build (DBB) contracts. ATCs have exhibited great potential for delivering substantial benefits like cost savings, increased constructability, and quicker project delivery. Previous research has found that knowledge of project constructability was lacking in state Department of Transportation (DOT) planning, programming, and environmental staffs. Many agencies have therefore relied on a set of ‘acceptable’ design solutions over the years of working with their local resource agencies. The result is that the permitting process for several government agencies has become increasingly restrictive with the result that the DOTs and their industry partners lose the ability to innovate after a permit is approved. The intent of this paper is to report on the research team’s progress in this ongoing effort furnish the United States government with a uniform set of guidelines for the application of constructability reviews during all phases of project development and delivery. The research uses surveys and interviews to determine which states have implemented formal programs to ensure that the constructor is furnished with a set of contract documents that affords said constructor with the best possible opportunity to successfully construct the project with the highest quality standards, within the contract duration and without exceeding the construction budget. Once these states are identified, workshops are held all over the nation, resulting in the team learning the best current practices and giving the team the ability to recommend new practices that will improve the process. The plan is for the FHWA to encourage or require state DOTs to use these practices on all federally funded highway and bridge construction projects. The project deliverable is a Guidebook for FHWA to use in disseminating the recommended practices to the states.

Keywords: alternative construction delivery, alternative technical concepts, constructability, construction design plans

Procedia PDF Downloads 216
3011 The Impact of Step-By-Step Program in the Public Preschool Institutions in Kosova

Authors: Rozafa Shala

Abstract:

Development of preschool education in Kosovo has passed through several periods. The period after the 1999 war was very intensive period when preschool education started to change. Step-by-step program was one of the programs which were very well extended during the period after the 1999 war until now. The aim of this study is to present the impact of the step-by-step program in the preschool education. This research is based on the hypothesis that: Step-by-step program continues to be present with its elements, in all other programs that the teachers can use. For data collection a questionnaire is constructed which was distributed to 25 teachers of preschool education who work in public preschool institutions. All the teachers have finished the training for step by step program. To support the data from the questionnaire a focus group is also organized with whom the critical issues of the program were discussed. From the results obtained we can conclude that the step-by-step program has a very strong impact in the preschool level. Many specific elements such as: circle time, weather calendar, environment inside the class, portfolios and many other elements are present in most of the preschool classes. The teacher's approach also has many elements of the step-by-step program.

Keywords: preschool education, step-by-step program, impact, teachers

Procedia PDF Downloads 350
3010 Peak Shaving in Microgrids Using Hybrid Storage

Authors: Juraj Londák, Radoslav Vargic, Pavol Podhradský

Abstract:

In this contribution, we focus on the technical and economic aspects of using hybrid storage in microgrids for peak shaving. We perform a feasibility analysis of hybrid storage consisting of conventional supercapacitors and chemical batteries. We use multiple real-life consumption profiles from various industry-oriented microgrids. The primary purpose is to construct a digital twin model for reserved capacity simulation and prediction. The main objective is to find the equilibrium between technical innovations, acquisition costs and energy cost savings

Keywords: microgrid, peak shaving, energy storage, digital twin

Procedia PDF Downloads 160
3009 A National Survey of Clinical Psychology Graduate Student Attitudes toward Psychotherapy Treatment Manuals: A Replication Study

Authors: B. Bergström, A. Ladd, A. Jones, L. Rosso, P. Michael

Abstract:

Attitudes toward treatment manuals serve as a meaningful predictor of general attitudes toward evidence-based practice. Despite demonstrating high effectiveness in treating many mental disorders, manualized treatments have been underutilized by practitioners. Thus, one can assess the state of the field regarding the adoption of evidence-based practices by surveying practitioner attitudes towards manualized treatments. This study is an adapted replication that assesses psychology graduate student attitudes towards manualized treatments, as a general marker for attitudes towards evidence-based practice. Training programs provide future clinicians with the foundation for critical skills in clinical practice. Research demonstrates that post-graduate continuing education has little to no effect on clinical practice; thus, graduate programs serve as the primary, and often final platform for all future practice. However, there are little empirical data identifying the attitudes and training of graduate students in utilizing manualized treatments. The empirical analysis of this study indicates an increase in positive attitudes among graduate student attitudes towards manualized treatments (within the United States), when compared to past surveys of professional psychologists. Findings from this study may inform graduate programs of barriers for students in developing positive attitudes toward manualized treatments and evidence-based practice. This study also serves as a preliminary predictor of the state-of-the field, in regards to professional psychologists attitudes towards evidence-based practice, if attitudes remain stable. This study indicates that the attitudes toward utilizing evidence-based practices, such as treatment manuals, has become more positive since year 2000.

Keywords: exposure therapy, evidence based practice, manualized treatments, student attitudes

Procedia PDF Downloads 162
3008 Optimized Scheduling of Domestic Load Based on User Defined Constraints in a Real-Time Tariff Scenario

Authors: Madia Safdar, G. Amjad Hussain, Mashhood Ahmad

Abstract:

One of the major challenges of today’s era is peak demand which causes stress on the transmission lines and also raises the cost of energy generation and ultimately higher electricity bills to the end users, and it was used to be managed by the supply side management. However, nowadays this has been withdrawn because of existence of potential in the demand side management (DSM) having its economic and- environmental advantages. DSM in domestic load can play a vital role in reducing the peak load demand on the network provides a significant cost saving. In this paper the potential of demand response (DR) in reducing the peak load demands and electricity bills to the electric users is elaborated. For this purpose the domestic appliances are modeled in MATLAB Simulink and controlled by a module called energy management controller. The devices are categorized into controllable and uncontrollable loads and are operated according to real-time tariff pricing pattern instead of fixed time pricing or variable pricing. Energy management controller decides the switching instants of the controllable appliances based on the results from optimization algorithms. In GAMS software, the MILP (mixed integer linear programming) algorithm is used for optimization. In different cases, different constraints are used for optimization, considering the comforts, needs and priorities of the end users. Results are compared and the savings in electricity bills are discussed in this paper considering real time pricing and fixed tariff pricing, which exhibits the existence of potential to reduce electricity bills and peak loads in demand side management. It is seen that using real time pricing tariff instead of fixed tariff pricing helps to save in the electricity bills. Moreover the simulation results of the proposed energy management system show that the gained power savings lie in high range. It is anticipated that the result of this research will prove to be highly effective to the utility companies as well as in the improvement of domestic DR.

Keywords: controllable and uncontrollable domestic loads, demand response, demand side management, optimization, MILP (mixed integer linear programming)

Procedia PDF Downloads 302
3007 Aligning Informatics Study Programs with Occupational and Qualifications Standards

Authors: Patrizia Poscic, Sanja Candrlic, Danijela Jaksic

Abstract:

The University of Rijeka, Department of Informatics participated in the Stand4Info project, co-financed by the European Union, with the main idea of an alignment of study programs with occupational and qualifications standards in the field of Informatics. A brief overview of our research methodology, goals and deliverables is shown. Our main research and project objectives were: a) development of occupational standards, qualification standards and study programs based on the Croatian Qualifications Framework (CROQF), b) higher education quality improvement in the field of information and communication sciences, c) increasing the employability of students of information and communication technology (ICT) and science, and d) continuously improving competencies of teachers in accordance with the principles of CROQF. CROQF is a reform instrument in the Republic of Croatia for regulating the system of qualifications at all levels through qualifications standards based on learning outcomes and following the needs of the labor market, individuals and society. The central elements of CROQF are learning outcomes - competences acquired by the individual through the learning process and proved afterward. The place of each acquired qualification is set by the level of the learning outcomes belonging to that qualification. The placement of qualifications at respective levels allows the comparison and linking of different qualifications, as well as linking of Croatian qualifications' levels to the levels of the European Qualifications Framework and the levels of the Qualifications framework of the European Higher Education Area. This research has made 3 proposals of occupational standards for undergraduate study level (System Analyst, Developer, ICT Operations Manager), and 2 for graduate (master) level (System Architect, Business Architect). For each occupational standard employers have provided a list of key tasks and associated competencies necessary to perform them. A set of competencies required for each particular job in the workplace was defined and each set of competencies as described in more details by its individual competencies. Based on sets of competencies from occupational standards, sets of learning outcomes were defined and competencies from the occupational standard were linked with learning outcomes. For each learning outcome, as well as for the set of learning outcomes, it was necessary to specify verification method, material, and human resources. The task of the project was to suggest revision and improvement of the existing study programs. It was necessary to analyze existing programs and determine how they meet and fulfill defined learning outcomes. This way, one could see: a) which learning outcomes from the qualifications standards are covered by existing courses, b) which learning outcomes have yet to be covered, c) are they covered by mandatory or elective courses, and d) are some courses unnecessary or redundant. Overall, the main research results are: a) completed proposals of qualification and occupational standards in the field of ICT, b) revised curricula of undergraduate and master study programs in ICT, c) sustainable partnership and association stakeholders network, d) knowledge network - informing the public and stakeholders (teachers, students, and employers) about the importance of CROQF establishment, and e) teachers educated in innovative methods of teaching.

Keywords: study program, qualification standard, occupational standard, higher education, informatics and computer science

Procedia PDF Downloads 143
3006 Delivering Comprehensive Sexuality Education to Students with Disability in Special Schools in Fiji

Authors: Sera Ratu, Jane Chivers, Jessica Botfield

Abstract:

Objectives: The Reproductive and Family Health Association of Fiji (RFHAF) and Family Planning Australia are working together to introduce quality comprehensive sexuality education into Special Schools - which are schools for students with disability. Sexual and reproductive health information is needed by students with disability attending Special Schools. Children with special needs go through the same changes as able-bodied children. The Fiji Disability Inclusion project is a three-year project that started in 2015. One of its objectives is to increase exposure to comprehensive sexuality education for primary and secondary school students with disability. Method: A baseline survey was undertaken with 72 students with disability; it included questions about puberty, sexual health, and relationships. 34 teachers also completed a survey about their views of sexuality education and confidence in delivering it. Consent was facilitated by running information sessions with teachers and parents. The process of gaining consent and completing the surveys was designed to be accessible to students with disability. Given the sensitive nature of reproductive and sexual health, and the potential vulnerability of young people with disability, ethical considerations were important in the design and implementation of the surveys, and ethics approval was obtained. Results: Findings from the surveys suggest that students have mixed knowledge and awareness of sexual health issues. Most teachers reported a need for their students to learn about sexuality and relationships. A positive outcome of conducting the surveys was that RFHAF staff reported they have developed skills and confidence in communicating with young people with a range of disabilities. They have a greater understanding of what students want to learn, and what teachers feel is important. Conclusions: These survey findings will assist RFHAF in developing comprehensive sexuality education programs that are relevant and accessible to students in Special Schools, and to develop an appropriate professional development program for teachers. Findings may also be applicable to other Special Schools when developing sexuality education programs. The education programs developed for students as part of this project, and the professional development programs for teachers, may be relevant to other countries.

Keywords: comprehensive sexuality education, delivery, sexual and reproductive health and rights, special schools

Procedia PDF Downloads 337
3005 Identification of Genomic Mutations in Prostate Cancer and Cancer Stem Cells By Single Cell RNAseq Analysis

Authors: Wen-Yang Hu, Ranli Lu, Mark Maienschein-Cline, Danping Hu, Larisa Nonn, Toshi Shioda, Gail S. Prins

Abstract:

Background: Genetic mutations are highly associated with increased prostate cancer risk. In addition to whole genome sequencing, somatic mutations can be identified by aligning transcriptome sequences to the human genome. Here we analyzed bulk RNAseq and single cell RNAseq data of human prostate cancer cells and their matched non-cancer cells in benign regions from 4 individual patients. Methods: Sequencing raw reads were aligned to the reference genome hg38 using STAR. Variants were annotated using Annovar with respect to overlap gene annotation information, effect on gene and protein sequence, and SIFT annotation of nonsynonymous variant effect. We determined cancer-specific novel alleles by comparing variant calls in cancer cells to matched benign cells from the same individual by selecting unique alleles that were only detected in the cancer samples. Results: In bulk RNAseq data from 3 patients, the most common variants were the noncoding mutations at UTR3/UTR5, and the major variant types were single-nucleotide polymorphisms (SNP) including frameshift mutations. C>T transversion is the most frequently presented substitution of SNP. A total of 222 genes carrying unique exonic or UTR variants were revealed in cancer cells across 3 patients but not in benign cells. Among them, transcriptome levels of 7 genes (CITED2, YOD1, MCM4, HNRNPA2B1, KIF20B, DPYSL2, NR4A1) were significantly up or down regulated in cancer stem cells. Out of the 222 commonly mutated genes in cancer, 19 have nonsynonymous variants and 11 are damaged genes with variants including SIFT, frameshifts, stop gain/loss, and insertions/deletions (indels). Two damaged genes, activating transcription factor 6 (ATF6) and histone demethylase KDM3A are of particular interest; the former is a survival factor for certain cancer cells while the later positively activates androgen receptor target genes in prostate cancer. Further, single cell RNAseq data of cancer cells and their matched non-cancer benign cells from both primary 2D and 3D tumoroid cultures were analyzed. Similar to the bulk RNAseq data, single cell RNAseq in cancer demonstrated that the exonic mutations are less common than noncoding variants, with SNPs including frameshift mutations the most frequently presented types in cancer. Compared to cancer stem cell enriched-3D tumoroids, 2D cancer cells carried 3-times higher variants, 8-times more coding mutations and 10-times more nonsynonymous SNP. Finally, in both 2D primary and 3D tumoroid cultures, cancer stem cells exhibited fewer coding mutations and noncoding SNP or insertions/deletions than non-stem cancer cells. Summary: Our study demonstrates the usefulness of bulk and single cell RNAseaq data in identifying somatic mutations in prostate cancer, providing an alternative method in screening candidate genes for prostate cancer diagnosis and potential therapeutic targets. Cancer stem cells carry fewer somatic mutations than non-stem cancer cells due to their inherited immortal stand DNA from parental stem cells that explains their long-lived characteristics.

Keywords: prostate cancer, stem cell, genomic mutation, RNAseq

Procedia PDF Downloads 20
3004 Enhancing Inservice Education Training Effectiveness Using a Mobile Based E-Learning Model

Authors: Richard Patrick Kabuye

Abstract:

This study focuses on the addressing the enhancement of in-service training programs as a tool of transforming the existing traditional approaches of formal lectures/contact hours. This will be supported with a more versatile, robust, and remotely accessible means of mobile based e-learning, as a support tool for the traditional means. A combination of various factors in education and incorporation of the eLearning strategy proves to be a key factor in effective in-service education. Key factor needs to be factored in so as to maintain a credible co-existence of the programs, with the prevailing social, economic and political environments. Effective in-service education focuses on having immediate transformation of knowledge into practice for a good time period, active participation of attendees, enable before training planning, in training assessment and post training feedback training analysis which will yield knowledge to the trainers of the applicability of knowledge given out. All the above require a more robust approach to attain success in implementation. Incorporating mobile technology in eLearning will enable the above to be factored together in a more coherent manner, as it is evident that participants have to take time off their duties and attend to these training programs. Making it mobile, will save a lot of time since participants would be in position to follow certain modules while away from lecture rooms, get continuous program updates after completing the program, send feedback to instructors on knowledge gaps, and a wholly conclusive evaluation of the entire program on a learn as you work platform. This study will follow both qualitative and quantitative approaches in data collection, and this will be compounded incorporating a mobile eLearning application using Android.

Keywords: in service, training, mobile, e- learning, model

Procedia PDF Downloads 219
3003 Modernization of the Economic Price Adjustment Software

Authors: Roger L. Goodwin

Abstract:

The US Consumer Price Indices (CPIs) measures hundreds of items in the US economy. Many social programs and government benefits index to the CPIs. In mid to late 1990, much research went into changes to the CPI by a Congressional Advisory Committee. One thing can be said from the research is that, aside from there are alternative estimators for the CPI; any fundamental change to the CPI will affect many government programs. The purpose of this project is to modernize an existing process. This paper will show the development of a small, visual, software product that documents the Economic Price Adjustment (EPA) for long-term contracts. The existing workbook does not provide the flexibility to calculate EPAs where the base-month and the option-month are different. Nor does the workbook provide automated error checking. The small, visual, software product provides the additional flexibility and error checking. This paper presents the feedback to project.

Keywords: Consumer Price Index, Economic Price Adjustment, contracts, visualization tools, database, reports, forms, event procedures

Procedia PDF Downloads 317
3002 Strengthening Adult Literacy Programs in Order to End Female Genital Mutilation to Achieve Sustainable Development Goals

Authors: Odenigbo Veronica Ngozi, Lorreta Chika Ukwuaba

Abstract:

This study focuses on how the strengthening adult literacy program can help accelerate transformative strategies to end female genital mutilation (FGM) in Nigeria, specifically in Nsukka Local Government Area. The research delves into the definition of FGM, adult literacy programs, and how to achieve ending FGM to attain Sustainable Development Goals (SDGs) in 2030. It further discusses the practice of FGM in Nigeria and emphasizes the statement of the problem. The main aim of the study is to investigate how strengthening adult literacy programs can help accelerate transformative strategies to end FGM in Nigeria and achieve SDGs in 2030. The researchers utilized a survey research design to conduct the study in Nsukka L.G.A. The population was composed of 26 facilitators and adult learners in five adult learning centers in the area. The entire population was used as a sample, and structured questionnaires were employed to elicit information. The items on the questionnaire were face-validated by three experts, and the reliability of the instrument was verified using Cronbach Alpha Reliability Technique. The research questions were analyzed using means and standard deviation while the hypothesis was tested at 0.05 level of degree of significance using a t-test. The findings show that through adult literacy program acceleration of transformative strategies, the practices of FGM can be ended. Strengthening adult literacy programs is a good channel to end or stop FGM through the knowledge and skill acquired from the learning centers. The theoretical importance of the study lies in the fact that it highlights the role of adult literacy programs in accelerating transformative strategies to combat harmful cultural practices such as FGM. It further supports the importance of education and knowledge in achieving sustainable development goals by 2030. Structured questionnaires were distributed to an entire population of 26 facilitators and adult learners in five adult learning centers in Nsukka L.G.A. The questionnaire items were face–validated by three experts, and the reliability of the instrument was verified using Cronbach Alpha Reliability Technique. The research questions were analyzed using means and standard deviation, while the hypothesis was tested using a t-test at 0.05 level of degree of significance. The study addressed the question of how strengthening adult literacy programs can help accelerate transformative strategies to end FGM in Nigeria and achieve SDGs by 2030. In conclusion, the study found that adult literacy is a good tool to end FGM in Nigeria. The recommendations were that government, non-governmental organizations (NGOs), Community-based organizations (CBOs), and individuals should support the funding and establishment of adult literacy centers in communities so as to reach every illiterate parent or individual and acquire the knowledge and skill needed to understand the negative effect of FGM in the life of a girl child.

Keywords: adult literacy, female genital mutilation, learning centers, SDGs, strengthening

Procedia PDF Downloads 69
3001 An Adaptive Conversational AI Approach for Self-Learning

Authors: Airy Huang, Fuji Foo, Aries Prasetya Wibowo

Abstract:

In recent years, the focus of Natural Language Processing (NLP) development has been gradually shifting from the semantics-based approach to deep learning one, which performs faster with fewer resources. Although it performs well in many applications, the deep learning approach, due to the lack of semantics understanding, has difficulties in noticing and expressing a novel business case with a pre-defined scope. In order to meet the requirements of specific robotic services, deep learning approach is very labor-intensive and time consuming. It is very difficult to improve the capabilities of conversational AI in a short time, and it is even more difficult to self-learn from experiences to deliver the same service in a better way. In this paper, we present an adaptive conversational AI algorithm that combines both semantic knowledge and deep learning to address this issue by learning new business cases through conversations. After self-learning from experience, the robot adapts to the business cases originally out of scope. The idea is to build new or extended robotic services in a systematic and fast-training manner with self-configured programs and constructed dialog flows. For every cycle in which a chat bot (conversational AI) delivers a given set of business cases, it is trapped to self-measure its performance and rethink every unknown dialog flows to improve the service by retraining with those new business cases. If the training process reaches a bottleneck and incurs some difficulties, human personnel will be informed of further instructions. He or she may retrain the chat bot with newly configured programs, or new dialog flows for new services. One approach employs semantics analysis to learn the dialogues for new business cases and then establish the necessary ontology for the new service. With the newly learned programs, it completes the understanding of the reaction behavior and finally uses dialog flows to connect all the understanding results and programs, achieving the goal of self-learning process. We have developed a chat bot service mounted on a kiosk, with a camera for facial recognition and a directional microphone array for voice capture. The chat bot serves as a concierge with polite conversation for visitors. As a proof of concept. We have demonstrated to complete 90% of reception services with limited self-learning capability.

Keywords: conversational AI, chatbot, dialog management, semantic analysis

Procedia PDF Downloads 136
3000 An Assessment of Experiential Learning Outcomes of Study Abroad Programs in Hospitality: A Learning Style Perspective

Authors: Radesh Palakurthi

Abstract:

The purpose of this study was to determine the impact of experiential learning on learning outcomes in hospitality education. This paper presents the results of an online survey of students from the U.S. studying abroad and their self-reported change in learning outcomes as assessed using the Core Competencies Model for the Hospitality Industry developed by Employment and Training Development Office of the U.S. Department of Labor. The impact of student learning styles on learning outcomes is also evaluated in this study. Kolb’s Learning Styles Inventory Model was used to assess students’ learning style. The results show that students reported significant improvements in their learning outcomes because of engaging in study abroad experiential learning programs. The learning styles of the students had significant effect on one of core learning outcomes- personal effectiveness.

Keywords: hospitality competencies, hospitality education, Kolb’s learning style inventory, learning outcomes, study abroad

Procedia PDF Downloads 221
2999 Enhancing Emotional Intelligence through Non-Verbal Communication Training in Higher Education Exchange Programs: A Longitudinal Study

Authors: Maciej Buczowski

Abstract:

This study investigates the impact of non-verbal communication training on enhancing the emotional intelligence (EI) of participants in higher education exchange programs. Recognizing the vital role EI plays in academic and professional success, particularly in multicultural environments, this research aims to explore the interplay between non-verbal cues and EI. Utilizing a longitudinal mixed-methods approach, the study will assess EI development over time among international students and faculty members. Participants will undergo a comprehensive non-verbal communication training program, covering modules on recognizing and interpreting emotional expressions, understanding cultural variations, and using non-verbal cues to manage interpersonal dynamics. EI levels will be measured using established instruments such as the Mayer-Salovey-Caruso Emotional Intelligence Test (MSCEIT) and the Emotional Quotient Inventory (EQ-i), supplemented by qualitative data from interviews and focus groups. A control group will be included to validate the intervention's effectiveness. Data collection at multiple time points (pre-training, mid-training, post-training, and follow-up) will enable tracking of EI changes. The study hypothesizes significant improvements in participants' EI, particularly in emotional awareness, empathy, and relationship management, leading to better academic performance and increased satisfaction with the exchange experience. This research aims to provide insights into the relationship between non-verbal communication and EI, potentially influencing the design of exchange programs to include EI development components and enhancing the effectiveness of international education initiatives.

Keywords: emotional intelligence, higher education exchange program, non-verbal communication, intercultural communication, cognitive linguistics

Procedia PDF Downloads 24
2998 Effect of Environmental Factors on Mosquito Larval Abundance in Some Selected Larval Sites in the Kintampo Area of Ghana

Authors: Yussif Tawfiq, Stephen Omari, Kwaku Poku Asante

Abstract:

The abundance of malaria vectors is influenced by micro-ecology, rainfall, and temperature patterns. The main objective of the study was to identify mosquito larval sites for future larval surveys and possible intervention programs. The study was conducted in Kintampo in central Ghana. Twenty larval sites were surveyed. Larval density was determined per cm² of water from each of the various sites. The dipper was used to fetch larvae from the larval sites, and a global positioning system (GPS) was used to identify larvae locations. There was a negative linear relationship between humidity, temperature, pH, and mosquito larval density. GPS of larval sites was taken for easy larval identification. There was the presence of Anopheles mosquito larvae in all polluted waters with Culex larval presence. This shows that Anopheles mosquito larvae are beginning to adapt to survival in polluted waters. The identified breeding sites are going to be useful for future larval surveys and will also help in intervention programs.

Keywords: larvae, GPS, dipper, larval density

Procedia PDF Downloads 86
2997 ‘Nature Will Slow You Down for a Reason’: Virtual Elder-Led Support Services during COVID-19

Authors: Grandmother Roberta Oshkawbewisens, Elder Isabelle Meawasige, Lynne Groulx, Chloë Hamilton, Lee Allison Clark, Dana Hickey, Wansu Qiu, Jared Leedham, Nishanthini Mahendran, Cameron Maclaine

Abstract:

In March of 2020, the world suddenly shifted with the onset of the COVID-19 pandemic; in-person programs and services were unavailable and a scramble to shift to virtual service delivery began. The Native Women’s Association of Canada (NWAC) established virtual programming through the Resiliency Lodge model and connected with Indigenous women, girls, Two-Spirit, transgender, and gender-diverse people across Turtle Island and Inuit Nunangat through programs that provide a safe space to slow down and reflect on their lives, environment, and well-being. To continue to grow the virtual Resiliency Lodge model, NWAC needed to develop an understanding of three questions: how COVID-19 affects Elder-led support services, how Elder-led support services have adapted during the pandemic, and what Wise Practices need to be implemented to continue to develop, refine, and evaluate virtual Elder-led support services specifically for Indigenous women, girls, two-Spirit, transgender, and gender-diverse people. Through funding from the Canadian Institute of Health Research (CIHR), NWAC gained deeper insight into these questions and developed a series of key findings and recommendations that are outlined throughout this report. The goals of this project are to contribute to a more robust participatory analysis that reflects the complexities of Elder-led virtual cultural responses and the impacts of COVID-19 on Elder-led support services; develop culturally and contextually meaningful virtual protocols and wise practices for virtual Indigenous-led support; and develop an Evaluation Strategy to improve the capacity of the Resiliency Lodge model. Significant findings from the project include Resiliency Lodge programs, especially crafting and business sessions, have provided participants with a sense of community and contributed to healing and wellness; Elder-led support services need greater and more stable funding to offer more workshops to more Indigenous women, girls, Two-Spirit, transgender, and gender-diverse people; and Elder- and Indigenous-led programs play a significant role in healing and building a sense of purpose and belonging among Indigenous people. Ultimately, the findings and recommendations outlined in this research project help to guide future Elder-led virtual support services and emphasize the critical need to increase access to Elder-led programming for Indigenous women, girls, Two-Spirit, transgender, and gender-diverse people.

Keywords: indigenous women, traditional healing, virtual programs, covid-19

Procedia PDF Downloads 139
2996 Making Waves: Preparing the Next Generation of Bilingual Medical Doctors

Authors: Edith Esparza-Young, Ángel M. Matos, Yaritza Gonzalez, Kirthana Sugunathevan

Abstract:

Introduction: This research describes the existing medical school program which supports a multicultural setting and bilingualism. The rise of Spanish speakers in the United States has led to the recruitment of bilingual medical students who can serve the evolving demographics. This paper includes anecdotal evidence, narratives and the latest research on the outcomes of supporting a multilingual academic experience in medical school and beyond. People in the United States will continue to need health care from physicians who have experience with multicultural competence. Physicians who are bilingual and possess effective communication skills will be in high demand. Methodologies: This research is descriptive. Through this descriptive research, the researcher will describe the qualities and characteristics of the existing medical school programs, curriculum, and student services. Additionally, the researcher will shed light on the existing curriculum in the medical school and also describe specific programs which help to serve as safety nets to support diverse populations. The method included observations of the existing program and the implementation of the medical school program, specifically the Accelerated Review Program, the Language Education and Professional Communication Program, student organizations and the Global Health Institute. Concluding Statement: This research identified and described characteristics of the medical school’s program. The research explained and described the current and present phenomenon of this medical program, which has focused on increasing the graduation of bilingual and minority physicians. The findings are based on observations of the curriculum, programs and student organizations which evolves and remains innovative to stay current with student enrollment.

Keywords: bilingual, English, medicine, doctor

Procedia PDF Downloads 139
2995 Peer-to-Peer Mentoring Program for University Students with Disabilities: Self-Report Measures and Academic Outcomes for Program Participants

Authors: Ashleigh Hillier, Jody Goldstein, Lauren Tornatore, Emily Byrne

Abstract:

As individuals with disabilities attend higher education in greater numbers, universities are seeking ways to support the retention and success of these students, beyond the academically based accommodations. Although mentoring programs for this population are being implemented more frequently, there is a lack of empirically validated outcomes which could promote program replication. The research objective of this exploratory study was to examine outcomes for students with disabilities participating in a peer-to-peer mentoring program. Mentees (students with disabilities) met with their mentor (trained upperclassman) once a week for an hour for one semester (14-weeks). Mentors followed a curriculum structured by monthly and weekly goals to guide the sessions. Curriculum topics included socializing on campus, peer pressure, time management, communicating with peers and professors, classroom etiquette, study skills, and seeking help and campus resources. Data was collected over a period of seven semesters resulting in seven separate cohorts (n=46). The impact of the program was measured using quantitative self-report measures as well as qualitative content analysis of focus groups. Academic outcomes (retention, credits earned, and GPA) were compared between those in the mentoring program and a matched group of students registered with Disability Services who did not receive mentoring. In addition, a one-year follow up was conducted to examine the longer term impact of participation. Findings indicated that mentoring had the most impact in knowing how things work at the university, knowing how and where to find opportunities to meet people on campus, and knowing how to access supports. Mentors also provided a supportive relationship to the mentees and helped with social skills. There were no significant differences in academic outcomes between those who were mentored and those in the comparison group. Most mentees reported continuing to benefit from the program one year on, providing support for the retention of knowledge gained and maintenance of positive outcomes over time. In conclusion, while a range of positive outcomes were evidenced, the model was limited in its impact more broadly, particularly with regards to academic success and impacting more complex challenges.

Keywords: mentor, outcomes, students with disabilities, university

Procedia PDF Downloads 144
2994 ScRNA-Seq RNA Sequencing-Based Program-Polygenic Risk Scores Associated with Pancreatic Cancer Risks in the UK Biobank Cohort

Authors: Yelin Zhao, Xinxiu Li, Martin Smelik, Oleg Sysoev, Firoj Mahmud, Dina Mansour Aly, Mikael Benson

Abstract:

Background: Early diagnosis of pancreatic cancer is clinically challenging due to vague, or no symptoms, and lack of biomarkers. Polygenic risk score (PRS) scores may provide a valuable tool to assess increased or decreased risk of PC. This study aimed to develop such PRS by filtering genetic variants identified by GWAS using transcriptional programs identified by single-cell RNA sequencing (scRNA-seq). Methods: ScRNA-seq data from 24 pancreatic ductal adenocarcinoma (PDAC) tumor samples and 11 normal pancreases were analyzed to identify differentially expressed genes (DEGs) in in tumor and microenvironment cell types compared to healthy tissues. Pathway analysis showed that the DEGs were enriched for hundreds of significant pathways. These were clustered into 40 “programs” based on gene similarity, using the Jaccard index. Published genetic variants associated with PDAC were mapped to each program to generate program PRSs (pPRSs). These pPRSs, along with five previously published PRSs (PGS000083, PGS000725, PGS000663, PGS000159, and PGS002264), were evaluated in a European-origin population from the UK Biobank, consisting of 1,310 PDAC participants and 407,473 non-pancreatic cancer participants. Stepwise Cox regression analysis was performed to determine associations between pPRSs with the development of PC, with adjustments of sex and principal components of genetic ancestry. Results: The PDAC genetic variants were mapped to 23 programs and were used to generate pPRSs for these programs. Four distinct pPRSs (P1, P6, P11, and P16) and two published PRSs (PGS000663 and PGS002264) were significantly associated with an increased risk of developing PC. Among these, P6 exhibited the greatest hazard ratio (adjusted HR[95% CI] = 1.67[1.14-2.45], p = 0.008). In contrast, P10 and P4 were associated with lower risk of developing PC (adjusted HR[95% CI] = 0.58[0.42-0.81], p = 0.001, and adjusted HR[95% CI] = 0.75[0.59-0.96], p = 0.019). By comparison, two of the five published PRS exhibited an association with PDAC onset with HR (PGS000663: adjusted HR[95% CI] = 1.24[1.14-1.35], p < 0.001 and PGS002264: adjusted HR[95% CI] = 1.14[1.07-1.22], p < 0.001). Conclusion: Compared to published PRSs, scRNA-seq-based pPRSs may be used not only to assess increased but also decreased risk of PDAC.

Keywords: cox regression, pancreatic cancer, polygenic risk score, scRNA-seq, UK biobank

Procedia PDF Downloads 101
2993 Online Postgraduate Students’ Perceptions and Experiences With Student to Student Interactions: A Case for Kamuzu University of Health Sciences in Malawi

Authors: Frazer McDonald Ng'oma

Abstract:

Online Learning in Malawi has only immersed in recent years due to the need to increase access to higher education, the need to accommodate upgrading students who wish to study on a part time basis while still continuing their work, and the COVID-19 pandemic, which forced the closure of schools resulting in academic institutions seeking alternative modes of teaching and Learning to ensure continued teaching and Learning. Realizing that this mode of Learning is becoming a norm, institutions of higher Learning have started pioneering online post-graduate programs from which they can draw lessons before fully implementing it in undergraduate programs. Online learning pedagogy has not been fully grasped and institutions are still experimenting with this mode of Learning until online Learning guiding policies are created and its standards improved. This single case descriptive qualitative research study sought to investigate online postgraduate students’ perceptions and experiences with Student to student interactive pedagogy in their programs. The results of the study are to inform institutions and educators how to structure their programs to ensure that their students get the full satisfaction. 25 Masters students in 3 recently introduced online programs at Kamuzu University of Health Sciences (KUHES), were engaged; 19 were interviewed and 6 responded to questionnaires. The findings from the students were presented and categorized in themes and subthemes that emerged from the qualitative data that was collected and analysed following Colaizzi’s framework for data analysis that resulted in themes formulation. Findings revealed that Student to student interactions occurred in the online programme during live sessions, on class Whatsapp group, in discussion boards as well as on emails. Majority of the students (n=18) felt the level of students’ interaction initiated by the institution was too much, referring to mandatory interactions activities like commenting in discussion boards and attending to live sessons. Some participants (n=7) were satisfied with the level of interaction and also pointed out that they would be fine with more program-initiated student–to–student interactions. These participants attributed having been out of school for some time as a reason for needing peer interactions citing that it is already difficult to get back to a traditional on-campus school after some time, let alone an online class where there is no physical interaction with other students. In general, majority of the participants (n=18) did not value Student to student interaction in online Learning. The students suggested that having intensive student-to-student interaction in postgraduate online studies does not need to be a high priority for the institution and they further recommended that if a lecturer decides to incorporate student-to-student activities into a class, they should be optional.

Keywords: online learning, interactions, student interactions, post graduate students

Procedia PDF Downloads 71
2992 A Novel Approach for Energy Utilisation in a Pyrolysis Plant

Authors: S. Murugan, Bohumil Horak

Abstract:

Pyrolysis is one of the possible technologies to derive energy from waste organic substances. In recent years, pilot level and demonstrated plants have been installed in few countries. The heat energy lost during the process is not effectively utilized resulting in less savings of energy and money. This paper proposes a novel approach to integrate a combined heat and power unit(CHP) and reduce the primary energy consumption in a tyre pyrolysis pilot plant. The proposal primarily uses the micro combined heat and power concept that will help to produce both heat and power in the process.

Keywords: pyrolysis, waste tyres, waste plastics, biomass, waste heat

Procedia PDF Downloads 328
2991 Health Promotion Intervention to Enhance Health Outcomes for Older Adults

Authors: Elizabeth Waleola Afolabi-Soyemi

Abstract:

As the population of older adults continues to grow, improving health outcomes for this demographic has become an increasingly important public health goal. Health promotion interventions have been developed to address the unique health needs and challenges faced by older adults. This abstract reviews the literature on health promotion interventions for older adults and their effectiveness in improving health outcomes. Various interventions have been found to be effective, including physical activity programs, nutrition education, medication management, and social support programs. These interventions have been shown to improve outcomes such as functional status, quality of life, and disease management. Despite the success of these interventions, there are still barriers to their implementation, such as a lack of access to resources and inadequate funding. Further research is needed to identify effective strategies for overcoming these barriers and to develop more tailored interventions for specific populations of older adults. Overall, health promotion interventions have great potential to improve the health outcomes and quality of life of older adults and should be a priority for public health efforts.

Keywords: health, humanity, health promotion, older adults

Procedia PDF Downloads 98
2990 Youths Economic Empowerment through Vocational Agricultural Enterprises (Entrepreneurship) for Sustainable Agriculture in Nigeria: Constraints and Initiatives for Improvement

Authors: Thomas Ogilegwu Orohu

Abstract:

This paper presents agricultural education as a vocational study, an impetus for youths, economic empowerment. The survival of Nigeria’s agriculture rests squarely on the youth who are the farmers and leaders of tomorrow. Hitherto, the teaching and learning of agriculture has proceeded in such a manner that graduates of such programs have failed to make the successful launch into the world of agricultural enterprises (entrepreneurship). Major constraints that predisposed this anomalous situation were identified to include poor policy framework, socio-economic pressures, undue parental and peer influences, improper value orientation and of course, the nature of curricula. In response to the situation, some programs and/or initiatives aimed at inculcating entrepreneurial skills were proposed by this paper with identified target beneficiaries. The initiatives bordered on curricular reorientation that integrate entrepreneurship/enterprise education, retraining of graduates, financial support system among others.

Keywords: Program initiatives. vocational agriculture, youths’ empowerment, introduction

Procedia PDF Downloads 310
2989 Identifying Temporary Housing Main Vertexes through Assessing Post-Disaster Recovery Programs

Authors: S. M. Amin Hosseini, Oriol Pons, Carmen Mendoza Arroyo, Albert de la Fuente

Abstract:

In the aftermath of a natural disaster, the major challenge most cities and societies face, regardless of their diverse level of prosperity, is to provide temporary housing (TH) for the displaced population (DP). However, the features of TH, which have been applied in previous recovery programs, greatly varied from case to case. This situation demonstrates that providing temporary accommodation for DP in a short period time and usually in great numbers is complicated in terms of satisfying all the beneficiaries’ needs, regardless of the societies’ welfare levels. Furthermore, when previously used strategies are applied to different areas, the chosen strategies are most likely destined to fail, unless the strategies are context and culturally based. Therefore, as the population of disaster-prone cities are increasing, decision-makers need a platform to help to determine all the factors, which caused the outcomes of the prior programs. To this end, this paper aims to assess the problems, requirements, limitations, potential responses, chosen strategies, and their outcomes, in order to determine the main elements that have influenced the TH process. In this regard, and in order to determine a customizable strategy, this study analyses the TH programs of five different cases as: Marmara earthquake, 1999; Bam earthquake, 2003; Aceh earthquake and tsunami, 2004; Hurricane Katrina, 2005; and, L’Aquila earthquake, 2009. The research results demonstrate that the main vertexes of TH are: (1) local characteristics, including local potential and affected population features, (2) TH properties, which needs to be considered in four phases: planning, provision/construction, operation, and second life, and (3) natural hazards impacts, which embraces intensity and type. Accordingly, this study offers decision-makers the opportunity to discover the main vertexes, their subsets, interactions, and the relation between strategies and outcomes based on the local conditions of each case. Consequently, authorities may acquire the capability to design a customizable method in the face of complicated post-disaster housing in the wake of future natural disasters.

Keywords: post-disaster temporary accommodation, urban resilience, natural disaster, local characteristic

Procedia PDF Downloads 243
2988 Preventative Programs for At-Risk Families of Child Maltreatment: Using Home Visiting and Intergenerational Relationships

Authors: Kristina Gordon

Abstract:

One in three children in the United States is a victim of a maltreatment investigation, and about one in nine children has a substantiated investigation. Home visiting is one of several preventative strategies rooted in an early childhood approach that fosters maternal, infant, and early childhood health, protection, and growth. In the United States, 88% of states report administering home visiting programs or state-designed models. The purpose of this study was to conduct a systematic review on home visiting programs in the United States focused on the prevention of child abuse and neglect. This systematic review included 17 articles which found that most of the studies reported optimistic results. Common across studies was program content related to (1) typical child development, (2) parenting education, and (3) child physical health. Although several factors common to home visiting and parenting interventions have been identified, no research has examined the common components of manualized home visiting programs to prevent child maltreatment. Child maltreatment can be addressed with home visiting programs with evidence-based components and cultural adaptations that increase prevention by assisting families in tackling the risk factors they face. An innovative approach to child maltreatment prevention is bringing together at-risk families with the aging community. This innovative approach was prompted due to existing home visitation programs only focusing on improving skillsets and providing temporary relationships. This innovative approach can provide the opportunity for families to build a relationship with an aging individual who can share their wisdom, skills, compassion, love, and guidance, to support families in their well-being and decrease child maltreatment occurrence. Families would be identified if they experience any of the risk factors, including parental substance abuse, parental mental illness, domestic violence, and poverty. Families would also be identified as at risk if they lack supportive relationships such as grandparents or relatives. Families would be referred by local agencies such as medical clinics, hospitals, schools, etc., that have interactions with families regularly. The aging community would be recruited at local housing communities and community centers. An aging individual would be identified by the elderly community when there is a need or interest in a relationship by or for the individual. Cultural considerations would be made when assessing for compatibility between the families and aging individuals. The pilot program will consist of a small group of participants to allow manageable results to evaluate the efficacy of the program. The pilot will include pre-and post-surveys to evaluate the impact of the program. From the results, data would be created to determine the efficacy as well as the sufficiency of the details of the pilot. The pilot would also be evaluated on whether families were referred to Child Protective Services during the pilot as it relates to the goal of decreasing child maltreatment. The ideal findings will display a decrease in child maltreatment and an increase in family well-being for participants.

Keywords: child maltreatment, home visiting, neglect, preventative, abuse

Procedia PDF Downloads 116
2987 Portable Glove Controlled Video Game for Hand Rehabilitation

Authors: Vinesh Janarthanan, Mohammad H. Rahman

Abstract:

There are numerous neurological conditions that may result in a loss of motor function. Such conditions may include cerebral palsy, Parkinson’s disease, stroke or multiple sclerosis. Due to impaired motor function, specifically in the hand and arm, living independently becomes tremendously more difficult. Rehabilitation programs are the main method to treat these kinds of disabled individuals. However, these programs require longtime commitment from the clinicians/therapists, demand person to person caring, and typically the treatment duration is usually very long. Aside from the treatment received from the therapist, the continuation of neuroplasticity at home is essential to maximizing development and restoring the biological function. To contribute in this area, we have researched and developed a portable and comfortable hand glove for fine motor skills rehabilitation. The glove provides interactive home-based therapy to engage the patient with simple games. The key to this treatment is the repetition of moving the hand and being capable of positioning the hand in various ways.

Keywords: home based, wearable sensors, glove, rehabilitation, motor function, video games

Procedia PDF Downloads 147
2986 A Formal Property Verification for Aspect-Oriented Programs in Software Development

Authors: Moustapha Bande, Hakima Ould-Slimane, Hanifa Boucheneb

Abstract:

Software development for complex systems requires efficient and automatic tools that can be used to verify the satisfiability of some critical properties such as security ones. With the emergence of Aspect-Oriented Programming (AOP), considerable work has been done in order to better modularize the separation of concerns in the software design and implementation. The goal is to prevent the cross-cutting concerns to be scattered across the multiple modules of the program and tangled with other modules. One of the key challenges in the aspect-oriented programs is to be sure that all the pieces put together at the weaving time ensure the satisfiability of the overall system requirements. Our paper focuses on this problem and proposes a formal property verification approach for a given property from the woven program. The approach is based on the control flow graph (CFG) of the woven program, and the use of a satisfiability modulo theories (SMT) solver to check whether each property (represented par one aspect) is satisfied or not once the weaving is done.

Keywords: aspect-oriented programming, control flow graph, property verification, satisfiability modulo theories

Procedia PDF Downloads 176