Search results for: comprehensive benefit

Authors: Heroda Gebru, Berhanu Seyoum, Melake Damena, Gezahegn Tesfaye

Abstract:

Background: In Ethiopia there is a population policy aimed at reducing fertility and increasing contraceptive prevalence. Objective: To assess the fertility preference and contraceptive use status of married women who were living in Dire Dawa administrative city. Methods: Cross sectional study which included a sample size of 421 married women of reproductive age were performed. Data was collected using structured questionnaire during house to house survey and semi-structured questionnaire during in-depth interview. Data was processed and analyzed using SPSS version 16 computer software. Univariate, bi variate and multi variate analysis was employed. Results: A total of 421 married women of reproductive age group were interviewed having a response rate of 100 percent. More than half (58.2%) of the respondent have desire of more children. While 41.8% want no more children. Regarding contraceptive use 52.5% of the respondents were using contraceptive at the time of survey. Fertility preference and contraceptive use were significantly associated with age of the respondent, history of child death, number of living children, religion and age at first birth. Conclusions: Those women with younger age group, who had no child death history and women with lesser number of surviving children were more likely desire additional children. Women with older age at first birth and protestant in religion were more likely practiced contraceptive use. Strong information and education regarding contraceptive for younger age group should be provided, advocacy at level of religious leader is important, comprehensive family planning counselling and education should be available for the community, husbands, and religious leaders and the aim for increasing contraceptive use should focus on the practical aspect.

Keywords: fertility preference, contraceptive use, univariate analysis, family planning

Procedia PDF Downloads 380

Authors: Kira Gulko Morse

Abstract:

Choosing one’s primary language may not be as common as choosing an additional foreign language to study or use during travel. In some instances, however, it becomes a matter of internal personal struggle, as language is tied not only to specific circumstances but also to human background and identity. This phenomenological qualitative study focuses on the factors affecting the decision of a person to undergo a language shift. Specifically, it considers how these factors relate to identity negotiation and expression. The data for the study include the analysis of published autobiographical narratives and personal interviews conducted using the Responsive Interviewing model. While research participants come from a variety of geographical locations and have used different reasons for undergoing their individual language shift, the study identifies a number of common features shared by all the participants. Specifically, while all the participants have been able to maintain their first language to varying degrees of proficiency, they have all completed the shift to establish a primary language different from their first. Additionally, the process of self-identification is found to be directly connected to the phenomenon of language choice for each of the participants. The findings of the study further tie the phenomenon of individual language shift to a more comprehensive issue of individual life choices – ethnic revival, immigration, and inter-cultural marriage among others. The study discusses varying language roles and the data indicate that language shift may occur whether it is a symbolic driving force or a secondary means in fulfilling a set life goal. The concept of language addition is suggested as an alternative to the arbitrariness of language shift. Thus, instead of focusing on subtractive bilingualism or language loss, the emphasis becomes the integration of languages within the individual. The study emphasizes the importance of the construct of personal choice in its connection to individual language shift. It places the focus from society onto an individual and the ability of an individual to make decisions in matters of linguistic identification.

Keywords: choice theory, identity negotiation, language shift, psycholinguistics

Procedia PDF Downloads 135

Authors: Akulov M. A., Zaharov V. O., Jurishhev P. E., Tomskij A. A.

Abstract:

Introduction: Spasticity is a severe consequence of stroke, leading to profound disability, decreased quality of life and decrease of rehabilitation efficacy [4]. Spasticity is often associated with pain syndrome, arising from joint damage of paretic limbs (postural arthropathy) or painful spasm of paretic limb muscles. It is generally accepted that injection of botulinum toxin into a cramped muscle leads to decrease of muscle tone and improves motion range in paretic limb, which is accompanied by pain alleviation. Study aim: To evaluate the change in pain syndrome intensity after incections of botulinum toxin A (Xeomin) in stroke patients with upper limb spasticity. Patients and methods. 21 patients aged 47-74 years were evaluated. Inclusion criteria were: acute stroke 4-7 months before the inclusion into the study, leading to spasticity of wrist and/or finger flexors, elbow flexor or forearm pronator, associated with severe pain syndrome. Patients received Xeomin as monotherapy 90-300 U, according to spasticity pattern. Efficacy evaluation was performed using Ashworth scale, disability assessment scale (DAS), caregiver burden scale and global treatment benefit assessment on weeks 2, 4, 8 and 12. Efficacy criterion was the decrease of pain syndrome by week 4 on PQLS and VAS. Results: The study revealed a significant improvement of measured indices after 4 weeks of treatment, which persisted until the 12 week of treatment. Xeomin is effective in reducing muscle tone of flexors of wrist, fingers and elbow, forearm pronators. By the 4th week of treatment we observed a significant improvement on DAS (р < 0,05), Ashworth scale (1-2 points) in all patients (р < 0,05), caregiver burden scale (р < 0,05). A significant decrease of pain syndrome by the 4th week of treatment on PQLS (р < 0,05) и VAS (р < 0,05) was observed. No adverse effect were registered. Conclusion: Xeomin is an effective treatment of pain syndrome in postural upper limb spasticity after stroke. Xeomin treatment leads to a significant improvement on PQLS and VAS.

Keywords: botulinum toxin, pain syndrome, spasticity, stroke

Procedia PDF Downloads 309

Authors: Ali Al-Yaaribi, Maria Kavussanu

Abstract:

Prosocial and antisocial behavior occurs in sport. Prosocial behavior is voluntary behavior intended to help or benefit another individual, while antisocial behavior is behavior intended to harm or disadvantage another individual. Previous sport morality research has investigated primarily antecedents of prosocial and antisocial behavior. However, the potential consequences of these behaviors remain unexplored. The aims of this study were to examine whether: (a) perceived prosocial and antisocial teammate behavior predicts task cohesion and burnout; (b) affect mediate these relationships; and (c) motivational climate moderates any of these effects. Participants were male (n = 96) and female (n = 176) teams sport players (Mage = 21.86, SD = 4.36), who completed questionnaires measuring the aforementioned variables. Mediation analysis (Hayes, 2013) indicated that prosocial teammate behavior positively predicted task cohesion and negatively predicted burnout; these effects were mediated by positive affect. Also, mastery climate moderated the positive effect of prosocial teammate behavior on task cohesion: The effect of antisocial teammate behavior on task cohesion was stronger for players who perceived a higher mastery climate created by their coaches. Performance climate moderated the negative effect of prosocial teammate behavior on burnout: This effect was only significant for players who perceived moderate or low levels of performance team climate. Antisocial teammate behavior negatively predicted task cohesion and positively predicted burnout, and these effects were mediated by negative affect. Also, performance climate moderated the positive effect of antisocial teammate behavior on burnout, such that the effect of antisocial teammate behavior on burnout was stronger for players who perceived a lower performance climate. The research findings shed some light on the potential role of prosocial and antisocial teammate behaviors as well as coach-created motivational climate on influencing players’ affect, task cohesion, and burnout. Coaches should focus on creating a mastery motivational climate and rewarding prosocial behavior while at the same time trying to deter antisocial behavior among teammates in order to enhance positive affect, task cohesion, and prevent experience of negative affect and burnout.

Keywords: mediation, moderation, morality, teams sport

Procedia PDF Downloads 355

Authors: Ramanen Sugunesegran, Michael L. Williams

Abstract:

Over the past two decades surgical approaches for mitral valve (MV) disease have evolved with the advent of minimally invasive techniques. Robotic mitral valve repair (RMVr) safety and efficacy has been well documented, however, mid- to long-term data are limited. The aim of this review was to provide a comprehensive analysis of the available mid- to long-term term data for RMVr. Electronic searches of five databases were performed to identify all relevant studies reporting minimum 5-year data on RMVr. Pre-defined primary outcomes of interest were overall survival, freedom from MV reoperation and freedom from moderate or worse mitral regurgitation (MR) at 5-years or more post-RMVr. A meta-analysis of proportions or means was performed, utilizing a random effects model, to present the data. Kaplan-Meier curves were aggregated using reconstructed individual patient data. Nine studies totaling 3,300 patients undergoing RMVr were identified. Rates of overall survival at 1-, 5- and 10-years were 99.2%, 97.4% and 92.3%, respectively. Freedom from MV reoperation at 8-years post RMVr was 95.0%. Freedom from moderate or worse MR at 7-years was 86.0%. Rates of early post-operative complications were low with only 0.2% all-cause mortality and 1.0% cerebrovascular accident. Reoperation for bleeding was low at 2.2% and successful RMVr was 99.8%. Mean intensive care unit and hospital stay were 22.4 hours and 5.2 days, respectively. RMVr is a safe procedure with low rates of early mortality and other complications. It can be performed with low complication rates in high volume, experienced centers. Evaluation of available mid-term data post-RMVr suggests favorable rates of overall survival, freedom from MV reoperation and freedom from moderate or worse MR recurrence.

Keywords: mitral valve disease, mitral valve repair, robotic cardiac surgery, robotic mitral valve repair

Procedia PDF Downloads 82

Authors: Jesus D. Cortes Gil, Fernanda Ewerling, Leonardo Ferreira, Aluisio J. D. Barros

Abstract:

Background: The sustainable development goals call for inclusive, equitable, and quality learning opportunities for all. This is especially important for children, to ensure they all develop to their full potential. We studied the prevalence and inequalities of suspected delay in child development in 63 low- and middle-income countries. Methods and Findings: We used the early child development module from national health surveys, which covers four developmental domains (physical, social-emotional, learning, literacy-numeracy) and provides a combined indicator (early child development index, ECDI) of whether children are on track. We calculated the age-adjusted prevalence of suspected delay at the country level and stratifying by wealth, urban/rural residence, sex of the child, and maternal education. We also calculated measures of absolute and relative inequality. We studied 330.613 children from 63 countries. The prevalence of suspected delay for the ECDI ranged from 3% in Barbados to 67% in Chad. For all countries together, 25% of the children were suspected of developmental delay. At regional level, the prevalence of delay ranged from 10% in Europe and Central Asia to 42% in West and Central Africa. The literacy-numeracy domain was by far the most challenging, with the highest proportions of delay. We observed very large inequalities, and most markedly for the literacy-numeracy domain. Conclusions: To date, our study presents the most comprehensive analysis of child development using an instrument especially developed for national health surveys. With a quarter of the children globally suspected of developmental delay, we face an immense challenge. The multifactorial aspect of early child development and the large gaps we found only add to the challenge of not leaving these children behind.

Keywords: child development, inequalities, global health, equity

Procedia PDF Downloads 119

Authors: Zahra Soltani Shal

Abstract:

Introduction: The COVID-19 pandemic marks an extraordinary global public health crisis unseen in the last century, with its rapid spread worldwide and associated mortality burden. Healthcare resilience during a pandemic is crucial not only for continuous and safe patients care but also for control of any outbreak. Aim: The present study was conducted to discover the organizational variables effective in increasing resilience and continuing the work of nurses in critical and stressful pandemic conditions. Method: The study population is nurses working in hospitals for patients with coronavirus. Sampling was done purposefully and information was collected from 15 nurses through In-depth semi-structured interviews. The interview was conducted to analyze the data using the framework analysis method consisting of five steps and is classified in the table. Results: According to the findings through semi-structural interviews, among organizational variables, organizational commitment (Affective commitment, continuous commitment, normative commitment) has played a prominent role in nurses' resilience. Discussion: despite the non-withdrawal of nurses and their resilience, due to the negative quality of their working life, the mentioned variable has affected their level of performance and ability and leads to fatigue and physical and mental exhaustion. Implications for practice: By equipping hospitals and improving the facilities of nurses, their organizational commitment can be increased and lead to their resilience in critical situations. Supervisors and senior officials at the hospitals should be responsible for nurses' health and safety. A clear and codified program in critical situations and comprehensive management is effective in improving the quality of the work-life of nurses. Creating an empathetic and interactive environment can help promote nurses' mental health.

Keywords: organizational commitment, quality of work life, nurses resilience, pandemic, coronavirus

Procedia PDF Downloads 162

Authors: Yu-Chen Chien, Sheng-Jung Ou, Shang-Ling Hsu

Abstract:

Many aboriginal tribes in the early modern began to actively promote tribal tourism. The tribe uses rich ecological environment and unique folk culture successfully attract crowds. In addition to the tribe in the construction level to consider the cultural heritage and living needs, in order to improve tribal tourism for the tribe to bring the benefits of all levels, as well as to avoid the tourism industry is too prosperous brought negative tourism impact. How to successfully create the conditions of mutual benefit of residents and tourists is an important issue common to many tribes. Hualien Turuku Hongye Tribe in Taiwan around the tourist resources are very rich. It is famous for its Hongye hot springs and Ruisui hot springs. Hongye tribe to develop tribal tourism is bound to use its own has three advantages: Truku culture, in the agricultural products experience and marketing, and the surrounding hot springs industry tourism benefits. Tribal Development Association in the past to promote these three advantages for tribal tourism. But due to the impact of many levels led to the tribes in the promotion of tourism on the ineffective. At present, in addition to the Hongye Tribal Development Association in promoting tribal tourism, local residents to promote cultural heritage workshop also gradually rise. Its purpose is to link local cultural resources, agricultural specialty resources, spa tourism industry, the revitalization of the internal development of the tribes at all levels. Each tribe to promote tribal tourism due to geographical environment, resource types have a different set of practices and patterns. This study explores the tourist opportunities and resource points of Hongye tribes, and tribal tourism has been to promote the operation practices and benefits. To understand the difficulties encountered in the implementation of tribal tourism and the impact of all levels. Reference successful development of domestic and foreign tourism tribal tribe case. Develop a questionnaire and using the questionnaire survey to understand tribal residents for the tribal tribes to promote tribal tourism views. Finally, it puts forward some suggestions and strategies to promote the tribal tourism in Hongye tribe.

Keywords: cultural tourism, tourism impact, aboriginal tribe, Hongye Tribe

Procedia PDF Downloads 286

Authors: Jacky Liu

Abstract:

This paper develops a team sports outcome prediction system with potential for wide-ranging applications across various disciplines. Despite significant advancements in predictive analytics, existing studies in sports outcome predictions possess considerable limitations, including insufficient feature engineering and underutilization of advanced machine learning techniques, among others. To address these issues, we extend the Sports Cross Industry Standard Process for Data Mining (SRP-CRISP-DM) framework and propose a unique, comprehensive predictive system, using National Basketball Association (NBA) data as an example to test this extended framework. Our approach follows a holistic methodology in feature engineering, employing both Time Series and Non-Time Series Data, as well as conducting Explanatory Data Analysis and Feature Selection. Furthermore, we contribute to the discourse on target variable choice in team sports outcome prediction, asserting that point spread prediction yields higher profits as opposed to game-winner predictions. Using machine learning algorithms, particularly XGBoost, results in a significant improvement in predictive accuracy of team sports outcomes. Applied to point spread betting strategies, it offers an astounding annual return of approximately 900% on an initial investment of $100. Our findings not only contribute to academic literature, but have critical practical implications for sports betting. Our study advances the understanding of team sports outcome prediction a burgeoning are in complex system predictions and pave the way for potential profitability and more informed decision making in sports betting markets.

Keywords: machine learning, team sports, game outcome prediction, sports betting, profits simulation

Procedia PDF Downloads 102

Authors: Malani Herath, Sohan Wijesekera, Jagath Munasingha

Abstract:

The impact of recent floods become significant, and the extraordinary flood events cause considerable damage to lives, properties, environment and negatively affect the whole development of Colombo urban region. Even though the Colombo urban region experiences recurrent flood impacts, several spatial planning interventions have been taken from time to time since early 20th century. All past plans have adopted a traditional approach to flood management, using infrastructural measures to reduce the chance of flooding together with rigid planning regulations. The existing flood risk management practices do not operate to be acceptable by the local community particular the urban poor. Researchers have constantly reported the differences in estimations of flood risk, priorities, concerns of experts and the local community. Risk-based decision making in flood management is not only a matter of technical facts; it has a significant bearing on how flood risk is viewed by local community and individuals. Moreover, sustainable flood management is an integrated approach, which highlights joint actions of experts and community. This indicates the necessity of further societal discussion on the acceptable level of flood risk indicators to prioritize and identify the appropriate flood management measures in Colombo. The understanding and evaluation of flood risk by local people are important to integrate in the decision-making process. This research questioned about the gap between the acceptable level of flood risk to spatial planners and to the local communities in Colombo. A comprehensive literature review was conducted to prepare a framework to analyze the public perception in Colombo. This research work identifies the factors that affect the variation of flood risk and acceptable levels to both local community and planning authorities.

Keywords: Colombo basin, public perception, urban flood risk, multi-criteria analysis

Procedia PDF Downloads 314

Authors: Megumi Nishida, Naoya Motegi, Takurou Kikuchi, Tomoko Tokumura

Abstract:

In recent years, power system has been changed and flexible power pricing system such as demand response has been sought in Japan. The demand response system is simple in the household sector and the owner, decision-maker, can gain the benefits of power saving. On the other hand, the execution of the demand response in the office building is more complex than household because various people such as owners, building administrators and occupants are involved in making decisions. While the owners benefit from the demand saving, the occupants are forced to be exposed to demand-saved environment certain benefits. One of the reasons is that building systems are usually centralized control and each occupant cannot choose either participate demand response event or not, and contribution of each occupant to demand response is unclear to provide incentives. However, the recent development of IT and building systems enables the personalized control of office environment where each occupant can control the lighting level or temperature around him or herself. Therefore, it can be possible to have a system which each occupant can make a decision of demand response participation in office building. This study investigates the personal behavior upon demand response requests, under the condition where each occupant can adjust their brightness individually in their workspace. Once workers participate in the demand response, their task lights are automatically turned off. The participation rates in the demand response events are compared between four groups which are divided by different motivation, the presence or absence of incentives and the way of participation. The result shows that there are the significant differences of participation rates in demand response event between four groups. The way of participation has a large effect on the participation rate. ‘Opt-out’ group, where the occupants are automatically enrolled in a demand response event if they don't express non-participation, will have the highest participation rate in the four groups. The incentive has also an effect on the participation rate. This study also reports that the impact of low illumination office environment on the occupants, such as stress or fatigue. The electrocardiogram and the questionnaire are used to investigate the autonomic nervous activity and subjective symptoms about the fatigue of the occupants. There is no big difference between dim workspace during demand response event and bright workspace in autonomic nervous activity and fatigue.

Keywords: demand response, illumination, questionnaire, electrocardiogram

Procedia PDF Downloads 351

Authors: Fabian Nde Fon

Abstract:

Decolonisation is one of the hottest topics in most African Universities; this is because many researchers focus on research that does not speak to their immediate community. This research looked at postgraduate research projects that can take students to the community to apply the knowledge that they have learned as an attempt to transform their community. In regards to this, an honours project was designed to try and provide a cheaper and continuous source of protein (egg) using amber-link layers and to investigate the potential of the project to promote postgraduate student development and entrepreneurship. Two ban layer production systems were created: (1) Production system one on a Hill (PS-I) and (2) Production system two in a valley, closer to a dam (PS-II) at Nqutshini, Gingindlovu, KwaZulu-Natal Province. Forty point-of-lay (18 weeks old) amber links were bought at Inverness Rearers and divided into PS-I (20), and PS-II (20), and each of the production systems was further divided into two groups of ten (PS-I-1 and PS-II-1 (partially supplemented) and PS-I-2 and PS-II-2 (supplemented with layer mash)) by a random selection. Birds' weights were balanced in each group to avoid bias. The two groups in each production system were caged separately (1.5x1.5m² for ten birds) and in close proximity. Partially supplemented birds received 0.6 kg of layer mash (60g/per bird/day) and kitchen leftovers daily, and supplemented birds were fed 1.2 kg of layer mash (120g/per bird/day). Egg collection was daily after feeding in the morning while was given ad libitium. The eggs were assessed for internal and external quality after weighing before recording. Egg production from fully supplemented birds (PS-I-2 and PS-II-2) was generally higher (P<0.05) than those of PS-I-1 and PS-II-1. The difference in production was only 6% in the valley while on the Hill, it was only 3%. However, some of the birds in the valley showed signs of respiratory infections, which was not observed with those on the Hill. There are no differences in the internal and external qualities of eggs (york colour and egg shell) determined. This implies that both systems were sustainable. It was suggested members in the community living at the valley or Hill can use these hardy layers as a cheaper source of protein and preferable to the partially supplemented systems because it is relatively cheaper. The smallholder farmers are still pursuing the project long after the students graduate; hence the benefit of the project is reciprocal for both the university and the community (entrepreneurship).

Keywords: animal nutrition, ban layer, production, postgraduate curricula, entrepreneurship

Procedia PDF Downloads 114

Authors: Ashleigh Beales, Anne Whitworth, Jade Cartwright

Abstract:

Background: While significant benefits of lexical retrieval intervention are evident within the Primary Progressive Aphasia (PPA) and Alzheimer’s disease (AD) literature, an understanding of the mechanisms that underlie change or improvement is limited. Change mechanisms have been explored in the non-progressive post-stroke literature that may offer insight into how interventions affect change with progressive language disorders. The potential influences of cognitive factors may also play a role here, interacting with the aims of intervention. Exploring how such processes have been applied is likely to grow our understanding of how interventions have, or have not, been effective, and how and why generalisation is likely, or not, to occur. Aims: This review of the literature aimed to (1) investigate the proposed mechanisms of change which underpin lexical interventions, mapping the PPA and AD lexical retrieval literature to theoretical accounts of mechanisms that underlie change within the broader intervention literature, (2) identify whether and which nonlinguistic cognitive functions have been engaged in intervention with these populations and any proposed influence, and (3) explore evidence of linguistic generalisation, with particular reference to change mechanisms employed in interventions. Main contribution: A search of Medline, PsycINFO, and CINAHL identified 36 articles that reported data for individuals with PPA or AD following lexical retrieval intervention. A review of the mechanisms of change identified 10 studies that used stimulation, 21 studies utilised relearning, three studies drew on reorganisation, and two studies used cognitive-relay. Significant treatment gains, predominantly based on linguistic performance measures, were reported for all client groups for each of the proposed mechanisms. Reorganisation and cognitive-relay change mechanisms were only targeted in PPA. Eighteen studies incorporated nonlinguistic cognitive functions in intervention; these were limited to autobiographical memory (16 studies), episodic memory (three studies), or both (one study). Linguistic generalisation outcomes were inconsistently reported in PPA and AD studies. Conclusion: This review highlights that individuals with PPA and AD may benefit from lexical retrieval intervention, irrespective of the mechanism of change. Thorough application of a theory of intervention is required to gain a greater understanding of the change mechanisms, as well as the interplay of nonlinguistic cognitive functions.

Keywords: Alzheimer's disease, lexical retrieval, mechanisms of change, primary progressive aphasia

Procedia PDF Downloads 203

Authors: Alejandro Molina-Villegas, Silvia Fernández-Sabido, Eduardo Mendoza-Vargas, Fátima Miranda-Pestaña

Abstract:

The automatic detection of indigenous languages ​​in digital texts is essential to promote their inclusion in digital media. Underrepresented languages, such as Maya, are often excluded from language detection tools like Google’s language-detection library, LANGDETECT. This study addresses these limitations by developing a hybrid language detection solution that accurately distinguishes Maya (YUA) from Spanish (ES). Two strategies are employed: the first focuses on creating a profile for the Maya language within the LANGDETECT library, while the second involves training a Naive Bayes classification model with two categories, YUA and ES. The process includes comprehensive data preprocessing steps, such as cleaning, normalization, tokenization, and n-gram counting, applied to text samples collected from various sources, including articles from La Jornada Maya, a major newspaper in Mexico and the only media outlet that includes a Maya section. After the training phase, a portion of the data is used to create the YUA profile within LANGDETECT, which achieves an accuracy rate above 95% in identifying the Maya language during testing. Additionally, the Naive Bayes classifier, trained and tested on the same database, achieves an accuracy close to 98% in distinguishing between Maya and Spanish, with further validation through F1 score, recall, and logarithmic scoring, without signs of overfitting. This strategy, which combines the LANGDETECT profile with a Naive Bayes model, highlights an adaptable framework that can be extended to other underrepresented languages in future research. This fills a gap in Natural Language Processing and supports the preservation and revitalization of these languages.

Keywords: indigenous languages, language detection, Maya language, Naive Bayes classifier, natural language processing, low-resource languages

Procedia PDF Downloads 16

Authors: Onesimus Bulus Shiaki

Abstract:

The study investigated the effect of cooperative learning strategy on mathematics achievement and retention among senior secondary school students of different abilities in Taraba State Nigeria. Cooperative learning strategy could hopefully contribute to students’ achievement which will spur the teachers to develop strategies for better learning. The quasi-experimental of pretest, posttest and control group design was adopted in this study. A sample of one hundred and sixty-four (164) Senior Secondary Two (SS2) students were selected from a population of twelve thousand, eight hundred and seventy-three (12,873) SS2 Students in Taraba State. Two schools with equivalent mean scores in the pre-test were randomly assigned to experimental and control groups. The experimental group students were stratified according to ability levels of low, medium and high. The experimental group was guided by the research assistants using the cooperative learning instructional package. After six weeks post-test was administered to the two groups while the retention test was administered two weeks after the post-test. The researcher developed a 50-item Mathematics Achievement Test (MAT) which was validated by experts obtaining the reliability coefficient of 0.87. Mean scores and standard deviations were used to answer the research questions while the Analysis of Co-variance (ANCOVA) was used to test the hypotheses. Major findings from the statistical analysis showed that cooperative learning strategy has a significant effect on the mean achievement of students as well as retention among students of high, medium and low ability in mathematics. However, cooperative learning strategy has no effect on the interaction of ability level and retention. Based on the results obtained, it was therefore recommended that the adoption of the use of cooperative learning strategy in the teaching and learning of mathematics in senior secondary schools be initiated, maintained and sustained for the benefit of senior secondary school students in Taraba State. Periodic Government sponsored in-service training in form of long vacation training programme, workshops, conferences and seminars on the nature, scope, and use of cooperative learning strategy should be organized for senior secondary school mathematics teachers in Taraba state.

Keywords: ability level, cooperative learning, mathematics achievement, retention

Procedia PDF Downloads 160

Authors: Arya Farjand

Abstract:

This study delves into the Early Pleistocene fauna of the Yuanmou Basin, highlighting two significant findings. The first is the discovery of exceptionally well-preserved canid coprolites, which provide a rare glimpse into the diet and ecological niche of these ancient carnivores. The analysis of these coprolites has revealed a diet rich in diverse prey species, suggesting a complex food web and a dynamic ecological environment. This discovery not only sheds light on the dietary habits of these canids but also offers broader insights into the region's ecological dynamics during the Early Pleistocene. Additionally, the preservation of these coprolites allows for detailed study of the carnivore's role in the ecosystem, including their interactions with other species and the overall health of the environment. The second major finding is the identification of a mustelid species, Eirictis yuanmouensis, from the same fossil horizon as the coprolites. This discovery is crucial for understanding the diversity and evolution of Mustelidae in the region. The detailed analysis of cranial and dental morphology of Eirictis yuanmouensis indicates unique adaptations that suggest a specialized ecological niche. This finding, in conjunction with the coprolite analysis, provides a comprehensive view of the ecological niches occupied by both mustelids and hyenas, enhancing our understanding of their adaptations and interactions within this paleoenvironment. The study's significance is further amplified by the analysis of pollen data from the same horizon, which indicates a paleoenvironment characterized by rapid climatic changes and a dominant semiarid climate. This combination of faunal and floral data paints a detailed picture of the Early Pleistocene environment in the Yuanmou Basin, offering valuable insights into the interactions between different carnivore species and their adaptation strategies in response to changing environmental conditions.

Keywords: Yuanmou Basin, coprolite, Hyaena, eirictis yuanmouensis, early pleistocene

Procedia PDF Downloads 31

Authors: Maram Shahad Dana Anfal

Abstract:

This research paper presents the design of a surveillance drone with computer-aided durability and model analyses that provides a cost-effective and efficient solution for various applications. The quadcopter's design is based on a lightweight and strong structure made of materials such as aluminum and titanium, which provide a durable structure for the quadcopter. The structure of this product and the computer-aided durability system are both designed to ensure frequent repairs or replacements, which will save time and money in the long run. Moreover, the study discusses the drone's ability to track, investigate, and deliver objects more quickly than traditional methods, makes it a highly efficient and cost-effective technology. In this paper, a comprehensive analysis of the quadcopter's operation dynamics and limitations is presented. In both simulation and experimental data, the computer-aided durability system and the drone's design demonstrate their effectiveness, highlighting the potential for a variety of applications, such as search and rescue missions, infrastructure monitoring, and agricultural operations. Also, the findings provide insights into possible areas for improvement in the design and operation of the drone. Ultimately, this paper presents a reliable and cost-effective solution for surveillance applications by designing a drone with computer-aided durability and modeling. With its potential to save time and money, increase reliability, and enhance safety, it is a promising technology for the future of surveillance drones. operation dynamic equations have been evaluated successfully for different flight conditions of a quadcopter. Also, CAE modeling techniques have been applied for the modal risk assessment at operating conditions.Stress analysis have been performed under the loadings of the worst-case combined motion flight conditions.

Keywords: drone, material, solidwork, hypermesh

Procedia PDF Downloads 144

Authors: F. Heyecan Giritli, Gizem Akgül

Abstract:

Because of the raising population of world; the need for houses, buildings and infrastructures are increasing rapidly. Energy and water consumption, waste production continues to increase. If this situation of resources continues, there will be a significant loss for next generations. Therefore, there are a lot of researches and solutions developed in the world. Also sustainability criteria are collected together by some countries to serve construction industry with certification systems. Sustainable building production process’s scope requires different path from traditional building production process. Moreover, the key objective of sustainable buildings is that the process includes whole life cycle duration. The process approaches from the decision of the project to the end of it; so the project team is needed from the beginning of the integrated project delivery model. Further more, by defining project team at the beginning of the project provides communication among the team members and defined problem solving and decision making methods. In this research includes the certification systems among the world to comprehend the head lines and assessment criteria. Therefore, it is understand that usually all green building criteria have the same contents. The aim of this research is to assess the sustainable project stakeholder’ perceptions in Turkish construction industry from the point of occupation, job title and years of experience. Therefore, a survey is made to assess the perceptions of each attendant. In Turkey, sustainability criteria are not clearly defined; on the other hand some regulations like waste management, energy efficiency are made by legal agencies. LEED certification system is the most popular system in Turkey that has attended and certificated. From the LEED official data, it’s understood that 308 project registered in Turkey. Therefore, LEED sustainability criteria are used in the survey. Head lines of LEED certification criteria; sustainable sites, water efficiency, energy and atmosphere, material and resources, indoor environmental quality, innovation and regional priority are indicated to assess the perceptions of survey participants. Moreover, only surveying of criteria are not enough; so the equipment, methods, risks and benefits also considered.

Keywords: LEED, sustainability, perceptions, stakeholders, construction, Turkey, risk, benefit

Procedia PDF Downloads 301

Authors: Emad A. S. Abu-Ayyash

Abstract:

Cohesive devices, the linguistic tools that are usually employed to hold the different parts of the text together, have been the focus of a significant number of discourse analysis studies. These linguistic tools have grabbed the attention of researchers since the inception of the first and most comprehensive model of cohesion in 1976. However, it was noticed that some cohesive devices (e.g., endophoric reference, conjunctions, ellipsis, substitution, and lexical ties) – being thought of as more popular than others (e.g., exophoric reference) – were over-researched. The present paper explores the usage of two cohesive devices that have been evidently almost absent from discourse analysis studies. These cohesive devices are exophoric and homophoric references, the linguistic items that can be interpreted in terms of the physical and cultural contexts of discourse. The significance of the current paper, therefore, stems from the fact that it attempts to fill a gap in the research conducted so far on cohesive devices. This study provides an explanation of the concepts of the cohesive devices that have been employed in a plethora of research on cohesion and elucidates the relevant context-related concepts. The paper also identifies the gap in cohesive devices research. Exophora and homophora, the least visited cohesive devices in previous studies, were qualitatively and quantitatively explored in six opinion articles, four produced by eight postgraduate English as a Foreign Language (EFL) students in a university in the United Arab Emirates and two by professional NS writers in the Independent and the Guardian. The six pieces were about the United Kingdom Independent Party (UKIP) leader’s call to ban the burqa in the UK and were analysed vis-a-vis the employment and function of homophora and exophora. The study found that both EFL students and native speakers employed exophora and homophora considerably in their writing to serve a variety of functions, including building assumptions, supporting main ideas, and involving the readers among others.

Keywords: cohesive devices, context, culture, exophoric reference, homophoric reference

Procedia PDF Downloads 123

Authors: Eugene Y. C. Wong

Abstract:

The increased market competition, customer expectation, and warehouse operating cost in third-party logistics have motivated the continuous exploration in improving operation efficiency in warehouse logistics. Cargo tracing in ordering picking process consumes excessive time for warehouse operators when handling enormous quantities of goods flowing through the warehouse each day. Internet of Things (IoT) with mobile cargo tracing apps and database management systems are developed this research to facilitate and reduce the cargo tracing time in order picking process of a third-party logistics firm. An operation review is carried out in the firm with opportunities for improvement being identified, including inaccurate inventory record in warehouse management system, excessive tracing time on stored products, and product misdelivery. The facility layout has been improved by modifying the designated locations of various types of products. The relationship among the pick and pack processing time, cargo tracing time, delivery accuracy, inventory turnover, and inventory count operation time in the warehouse are evaluated. The correlation of the factors affecting the overall cycle time is analysed. A mobile app is developed with the use of MIT App Inventor and the Access management database to facilitate cargo tracking anytime anywhere. The information flow framework from warehouse database system to cloud computing document-sharing, and further to the mobile app device is developed. The improved performance on cargo tracing in the order processing cycle time of warehouse operators have been collected and evaluated. The developed mobile voice picking and tracking systems brings significant benefit to the third-party logistics firm, including eliminating unnecessary cargo tracing time in order picking process and reducing warehouse operators overtime cost. The mobile tracking device is further planned to enhance the picking time and cycle count of warehouse operators with voice picking system in the developed mobile apps as future development.

Keywords: warehouse, order picking process, cargo tracing, mobile app, third-party logistics

Procedia PDF Downloads 374

Authors: Judith Klostermann, Miguel Segura, Wilma Jans, Dragana Bojovic, Isadora Christel Jimenez, Francisco Doblas-Reyees, Judit Snethlage

Abstract:

The Climate Data Store (CDS), developed by the Copernicus Climate Change Service (C3S) implemented by the European Centre for Medium-Range Weather Forecasts (ECMWF) on behalf of the European Union, is intended to become a key instrument for exploring climate data. The CDS contains both raw and processed data to provide information to the users about the past, present and future climate of the earth. It allows for easy and free access to climate data and indicators, presenting an important asset for scientists and stakeholders on the path for achieving a more sustainable future. The C3S Evaluation and Quality Control (EQC) is assessing the quality of the CDS by undertaking a comprehensive user requirement assessment to measure the users’ satisfaction. Recommendations will be developed for the improvement and expansion of the CDS datasets and products. User requirements will be identified on the fitness of the datasets, the toolbox, and the overall CDS service. The EQC function of the CDS will help C3S to make the service more robust: integrated by validated data that follows high-quality standards while being user-friendly. This function will be closely developed with the users of the service. Through their feedback, suggestions, and contributions, the CDS can become more accessible and meet the requirements for a diverse range of users. Stakeholders and their active engagement are thus an important aspect of CDS development. This will be achieved with direct interactions with users such as meetings, interviews or workshops as well as different feedback mechanisms like surveys or helpdesk services at the CDS. The results provided by the users will be categorized as a function of CDS products so that their specific interests will be monitored and linked to the right product. Through this procedure, we will identify the requirements and criteria for data and products in order to build the correspondent recommendations for the improvement and expansion of the CDS datasets and products.

Keywords: climate data store, Copernicus, quality, user engagement

Procedia PDF Downloads 146

Authors: Meha Singla, Shankhadeep Chaudhuri, Yadunandan Batchu

Abstract:

Rental Housing is a more cost effective and flexible housing solution for the low income families than home-ownership. While India is undergoing a new industrial metamorphosis with multiple government initiatives that emphasise on the growth of manufacturing sector through policy frameworks and corridor development proposals, there is going to be a huge influx of low-income working population to the upcoming urban centres. As per stats, about 70 per cent of the housing demand at these centres fall into the affordable segment. And in the midst of this rapid urbanisation and huge immigration of young population, there is a lack of proper rental housing framework in the country. A large number of immigrants will be unable to support home-ownership thereby leading to proliferation of slums in urban centres. As a result, there is a dire need for immediate articulation of a comprehensive rental housing policy and affordable housing initiatives. In this paper, CommonFloor attempts to analyse successful rental housing case studies of the world followed by establishing a correlation between the gap in urban rental housing stock and the per capita income statistics to devise rental housing affordability specific to major Indian cities (Delhi, Mumbai, Bangalore, Chennai). Further, with the corroboration of market price trends, it will try to locate feasible micro-markets for immediate rental housing action. Final research findings will provide key data points thereby helping to design the approach for efficient utilisation of unsold residential inventory in the country in order to compensate the rental housing deficiency. This data set is believed to express viable model(s) of the rental housing approach for the government and private participants.

Keywords: housing prices, migration of population, real estate, rental housing, rental markets, residential property market, urbanisation

Procedia PDF Downloads 307

Authors: Fatemeh Daneshvartarigh

Abstract:

New technologies and applications have radically altered construction techniques in recent years. In order to anticipate how the building will act, perform, and appear, these technologies encompass a wide range of visualization, simulation, and analytic tools. These new technologies and applications have a considerable impact on completing construction projects in today's (architecture, engineering and construction)AEC industries. The rate of changes in BIM-related topics is different worldwide, and it depends on many factors, e.g., the national policies of each country. Therefore, there is a need for comprehensive research focused on a specific area with common characteristics. Therefore, one of the necessary measures to increase the use of this new approach is to examine the challenges and obstacles facing it. In this research, based on the Delphi method, at first, the background and related literature are reviewed. Then, using the knowledge obtained from the literature, a primary questionnaire is generated and filled by experts who are selected using snowball sampling. It covered the experts' attitudes towards implementing BIM in renovation projects and their view of the benefits and obstacles in this regard. By analyzing the primary questionnaire, the second group of experts is selected among the participants to be interviewed. The results are analyzed using Theme analysis. Six themes, including Management support, staff resistance, client willingness, Cost of software and implementation, the difficulty of implementation, and other reasons, are obtained. Then a final questionnaire is generated from the themes and filled by the same group of experts. The result is analyzed by the Fuzzy Delphi method, showing the exact ranking of the obtained themes. The final results show that management support, staff resistance, and client willingness are the most critical barrier to BIM usage in renovation projects.

Keywords: building information modeling, BIM, BIM implementation, BIM barriers, BIM in renovation

Procedia PDF Downloads 166

Authors: H. Taylan Selamlar, I. Yavuz, G. Yapar

Abstract:

It is difficult to make predictions especially about the future and making accurate predictions is not always easy. However, better predictions remain the foundation of all science therefore the development of accurate, robust and reliable forecasting methods is very important. Numerous number of forecasting methods have been proposed and studied in the literature. There are still two dominant major forecasting methods: Box-Jenkins ARIMA and Exponential Smoothing (ES), and still new methods are derived or inspired from them. After more than 50 years of widespread use, exponential smoothing is still one of the most practically relevant forecasting methods available due to their simplicity, robustness and accuracy as automatic forecasting procedures especially in the famous M-Competitions. Despite its success and widespread use in many areas, ES models have some shortcomings that negatively affect the accuracy of forecasts. Therefore, a new forecasting method in this study will be proposed to cope with these shortcomings and it will be called ATA method. This new method is obtained from traditional ES models by modifying the smoothing parameters therefore both methods have similar structural forms and ATA can be easily adapted to all of the individual ES models however ATA has many advantages due to its innovative new weighting scheme. In this paper, the focus is on modeling the trend component and handling seasonality patterns by utilizing classical decomposition. Therefore, ATA method is expanded to higher order ES methods for additive, multiplicative, additive damped and multiplicative damped trend components. The proposed models are called ATA trended models and their predictive performances are compared to their counter ES models on the M3 competition data set since it is still the most recent and comprehensive time-series data collection available. It is shown that the models outperform their counters on almost all settings and when a model selection is carried out amongst these trended models ATA outperforms all of the competitors in the M3- competition for both short term and long term forecasting horizons when the models’ forecasting accuracies are compared based on popular error metrics.

Keywords: accuracy, exponential smoothing, forecasting, initial value

Procedia PDF Downloads 177

Authors: Yulan Wu

Abstract:

With the rapid development of social media, the issue of fake news has gained considerable prominence, drawing the attention of both the public and governments. The widespread dissemination of false information poses a tangible threat across multiple domains of society, including politics, economy, and health. However, much research has concentrated on supervised training models within specific domains, their effectiveness diminishes when applied to identify fake news across multiple domains. To solve this problem, some approaches based on domain labels have been proposed. By segmenting news to their specific area in advance, judges in the corresponding field may be more accurate on fake news. However, these approaches disregard the fact that news records can pertain to multiple domains, resulting in a significant loss of valuable information. In addition, the datasets used for training must all be domain-labeled, which creates unnecessary complexity. To solve these problems, an unsupervised domain knowledge discovery framework for fake news detection is proposed. Firstly, to effectively retain the multidomain knowledge of the text, a low-dimensional vector for each news text to capture domain embeddings is generated. Subsequently, a feature extraction module utilizing the unsupervisedly discovered domain embeddings is used to extract the comprehensive features of news. Finally, a classifier is employed to determine the authenticity of the news. To verify the proposed framework, a test is conducted on the existing widely used datasets, and the experimental results demonstrate that this method is able to improve the detection performance for fake news across multiple domains. Moreover, even in datasets that lack domain labels, this method can still effectively transfer domain knowledge, which can educe the time consumed by tagging without sacrificing the detection accuracy.

Keywords: fake news, deep learning, natural language processing, multiple domains

Procedia PDF Downloads 97

Authors: Hester Fass, Ofir Pinto

Abstract:

Research indicates gaps in education, employment rates and wages between people with disabilities and those without disabilities. One of the main tools available to reduce these gaps is vocational rehabilitation. In order to examine the effects of vocational rehabilitation, a follow-up study, based on comprehensive administrative data, was conducted. The study included 88,286 people with disabilities who participated in vocational rehabilitation of the National Insurance Institute of Israel (NII), and completed the process between 1999 and 2012. Research variables included: employment rates, job persistence and wage levels. This research, the first of its kind in Israel, has several unique aspects: a)a long-range follow-up study on people who completed vocational rehabilitation; b) examination of a broad population spectrum, including also people that are not eligible to disability pensions ; c) a comparison among those with work-related injuries, those injured in hostile acts and those injured in other circumstances; and finally d) the identification of the characteristics of those who are entitled to vocational rehabilitation but who do not participate in any vocational rehabilitation plan. The most notable results include: 1. Vocational rehabilitation contributed to employment, job persistence and wage levels. Participation in vocational rehabilitation resulted in an employment rate of 65% within two years after completing the program, and 73% eventually. Participation in a vocational rehabilitation plan also contributed to job persistence and wage levels. 2. Vocational rehabilitation plans aimed at integration in universal frameworks increased the chances of being employed, persisting at the job and receiving a higher wage than did the vocational rehabilitation aimed at selective frameworks (such as sheltered workshops). 3. The type of disability affected the chances of integration in a vocational rehabilitation plan and in the labor market. People with a disability from birth had greater chances of integration in a vocational rehabilitation plan, while the type of disability and its severity affected the chances of the person with disabilities to find employment.

Keywords: vocational rehabilitation, employment, job persistence, wages

Procedia PDF Downloads 453

Authors: Nguyen Chi Quang, Nguyen Duong Tri Nguyen

Abstract:

This article is the first step to research and outline the structure of the geotechnical database in the geological survey of a power project; in the context of this report creating the database that has been carried out for the Bac Ai pumped storage hydropower project. For the purpose of providing a method of organizing and storing geological and topographic survey data and experimental results in a spatial database, the RockWorks software is used to bring optimal efficiency in the process of exploiting, using, and analyzing data in service of the design work in the power engineering consulting. Three-dimensional (3D) geotechnical models are created from the survey data: such as stratigraphy, lithology, porosity, etc. The results of the 3D geotechnical model in the case of Bac Ai pumped storage hydropower project include six closely stacked stratigraphic formations by Horizons method, whereas modeling of engineering geological parameters is performed by geostatistical methods. The accuracy and reliability assessments are tested through error statistics, empirical evaluation, and expert methods. The three-dimensional model analysis allows better visualization of volumetric calculations, excavation and backfilling of the lake area, tunneling of power pipelines, and calculation of on-site construction material reserves. In general, the application of engineering geological modeling makes the design work more intuitive and comprehensive, helping construction designers better identify and offer the most optimal design solutions for the project. The database always ensures the update and synchronization, as well as enables 3D modeling of geological and topographic data to integrate with the designed data according to the building information modeling. This is also the base platform for BIM & GIS integration.

Keywords: database, engineering geology, 3D Model, RockWorks, Bac Ai pumped storage hydropower project

Procedia PDF Downloads 168

Authors: Brian Fleischli, Shani Robins

Abstract:

In recent years, the implementation of wisdom skills, including emotional intelligence, mindfulness, empathy, compassion, gratitude, realism (Cognitive-Behavioral Therapy), and humility, within K-12 educational settings has demonstrated significant benefits in reducing stress, anxiety, anger, and conflict among students. This study summarizes the findings of research conducted over several years, showcasing the positive outcomes associated with teaching these skills to elementary and high school students. Additionally, this overview includes an updated synthesis of current literature concerning the application and effectiveness of training these skill sets in K-12 schools. The research outcomes highlight substantial improvements in student well-being and behavior. Demonstrated with treatment group students exhibiting notable reductions in anger, anxiety, depression, and disruptive behaviors compared to control groups. For instance, fourth-grade students showed enhanced empathy, responsibility, and attention, particularly benefiting those with lower initial scores on these measures. Specific interaction effects suggest that older students and males particularly benefit from these interventions, showcasing the nuanced impact of wisdom skill training across different demographics. Furthermore, this presentation emphasizes the critical role of Social and Emotional Learning (SEL) programs in addressing the multifaceted challenges faced by children and adolescents, including mental health issues, academic performance, and social behaviors. The integration of wisdom skills into school curricula not only fosters individual growth and emotional regulation but also enhances overall school climate and academic achievement. In conclusion, the findings contribute to the growing body of empirical evidence supporting the efficacy of teaching wisdom skills in educational settings. The success of these interventions underscores the potential for widespread implementation of evidence-based programs to promote emotional well-being and academic success among students nationwide.

Keywords: wisdom skills, CBT, cognitive behavioral training, mindfulness, empathy, anxiety

Procedia PDF Downloads 45

Authors: Achim Kampker, Heiner H. Heimes, Mathias Ordung, Christoph Lienemann, Ansgar Hollah, Nemanja Sarovic

Abstract:

Electric cars with their fast innovation cycles and their disruptive character offer a high degree of freedom regarding innovative design for remanufacturing. Remanufacturing increases not only the resource but also the economic efficiency by a prolonged product life time. The reduced power train wear of electric cars combined with high manufacturing costs for batteries allow new business models and even second life applications. Modular and intermountable designed battery packs enable the replacement of defective or outdated battery cells, allow additional cost savings and a prolongation of life time. This paper discusses opportunities for future remanufacturing value chains of electric cars and their battery components and how to address their potentials with elaborate designs. Based on a brief overview of implemented remanufacturing structures in different industries, opportunities of transferability are evaluated. In addition to an analysis of current and upcoming challenges, promising perspectives for a sustainable electric car circular economy enabled by design for remanufacturing are deduced. Two mathematical models describe the feasibility of pursuing a circular economy of lithium ion batteries and evaluate remanufacturing in terms of sustainability and economic efficiency. Taking into consideration not only labor and material cost but also capital costs for equipment and factory facilities to support the remanufacturing process, cost benefit analysis prognosticate that a remanufacturing battery can be produced more cost-efficiently. The ecological benefits were calculated on a broad database from different research projects which focus on the recycling, the second use and the assembly of lithium ion batteries. The results of this calculations show a significant improvement by remanufacturing in all relevant factors especially in the consumption of resources and greenhouse warming potential. Exemplarily suitable design guidelines for future remanufacturing lithium ion batteries, which consider modularity, interfaces and disassembly, are used to illustrate the findings. For one guideline, potential cost improvements were calculated and upcoming challenges are pointed out.

Keywords: circular economy, electric mobility, lithium ion batteries, remanufacturing

Procedia PDF Downloads 358

Authors: Jean-François Pouilly

Abstract:

This study addresses the growing complexity of embedded systems and the critical need for secure, reliable software. Traditional cybersecurity testing methods, often conducted late in the development cycle, struggle to keep pace. This talk explores how formal methods, integrated with advanced analysis tools, empower C/C++ developers to 1) Proactively address vulnerabilities and bugs, which includes formal methods and abstract interpretation techniques to identify potential weaknesses early in the development process, reducing the reliance on penetration and fuzz testing in later stages. 2) Streamline development by focusing on bugs that matter, with close to no false positives and catching flaws earlier, the need for rework and retesting is minimized, leading to faster development cycles, improved efficiency and cost savings. 3) Enhance software dependability which includes combining static analysis using abstract interpretation with full context sensitivity, with hardware memory awareness allows for a more comprehensive understanding of potential vulnerabilities, leading to more dependable and secure software. This approach aligns with industry best practices (ISO2626 or ISO 21434) and empowers C/C++ developers to deliver robust, secure embedded systems that meet the demands of today's and tomorrow's applications. We will illustrate this approach with the TrustInSoft analyzer to show how it accelerates verification for complex cases, reduces user fatigue, and improves developer efficiency, cost-effectiveness, and software cybersecurity. In summary, integrating formal methods and sound Analyzers enhances software reliability and cybersecurity, streamlining development in an increasingly complex environment.

Keywords: safety, cybersecurity, ISO26262, ISO24434, formal methods

Procedia PDF Downloads 19