Search results for: formal verification
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 1369

Search results for: formal verification

649 Application of Grey Theory in the Forecast of Facility Maintenance Hours for Office Building Tenants and Public Areas

Authors: Yen Chia-Ju, Cheng Ding-Ruei

Abstract:

This study took case office building as subject and explored the responsive work order repair request of facilities and equipment in offices and public areas by gray theory, with the purpose of providing for future related office building owners, executive managers, property management companies, mechanical and electrical companies as reference for deciding and assessing forecast model. Important conclusions of this study are summarized as follows according to the study findings: 1. Grey Relational Analysis discusses the importance of facilities repair number of six categories, namely, power systems, building systems, water systems, air conditioning systems, fire systems and manpower dispatch in order. In terms of facilities maintenance importance are power systems, building systems, water systems, air conditioning systems, manpower dispatch and fire systems in order. 2. GM (1,N) and regression method took maintenance hours as dependent variables and repair number, leased area and tenants number as independent variables and conducted single month forecast based on 12 data from January to December 2011. The mean absolute error and average accuracy of GM (1,N) from verification results were 6.41% and 93.59%; the mean absolute error and average accuracy of regression model were 4.66% and 95.34%, indicating that they have highly accurate forecast capability.

Keywords: rey theory, forecast model, Taipei 101, office buildings, property management, facilities, equipment

Procedia PDF Downloads 422
648 Research the Causes of Defects and Injuries of Reinforced Concrete and Stone Construction

Authors: Akaki Qatamidze

Abstract:

Implementation of the project will be a step forward in terms of reliability in Georgia and the improvement of the construction and the development of construction. Completion of the project is expected to result in a complete knowledge, which is expressed in concrete and stone structures of assessing the technical condition of the processing. This method is based on a detailed examination of the structure, in order to establish the injuries and the elimination of the possibility of changing the structural scheme of the new requirements and architectural preservationists. Reinforced concrete and stone structures research project carried out in a systematic analysis of the important approach is to optimize the process of research and development of new knowledge in the neighboring areas. In addition, the problem of physical and mathematical models of rational consent, the main pillar of the physical (in-situ) data and mathematical calculation models and physical experiments are used only for the calculation model specification and verification. Reinforced concrete and stone construction defects and failures the causes of the proposed research to enhance the effectiveness of their maximum automation capabilities and expenditure of resources to reduce the recommended system analysis of the methodological concept-based approach, as modern science and technology major particularity of one, it will allow all family structures to be identified for the same work stages and procedures, which makes it possible to exclude subjectivity and addresses the problem of the optimal direction. It discussed the methodology of the project and to establish a major step forward in the construction trades and practical assistance to engineers, supervisors, and technical experts in the construction of the settlement of the problem.

Keywords: building, reinforced concrete, expertise, stone structures

Procedia PDF Downloads 319
647 Value-Based Argumentation Frameworks and Judicial Moral Reasoning

Authors: Sonia Anand Knowlton

Abstract:

As the use of Artificial Intelligence is becoming increasingly integrated in virtually every area of life, the need and interest to logically formalize the law and judicial reasoning is growing tremendously. The study of argumentation frameworks (AFs) provides promise in this respect. AF’s provide a way of structuring human reasoning using a formal system of non-monotonic logic. P.M. Dung first introduced this framework and demonstrated that certain arguments must prevail and certain arguments must perish based on whether they are logically “attacked” by other arguments. Dung labelled the set of prevailing arguments as the “preferred extension” of the given argumentation framework. Trevor Bench-Capon’s Value-based Argumentation Frameworks extended Dung’s AF system by allowing arguments to derive their force from the promotion of “preferred” values. In VAF systems, the success of an attack from argument A to argument B (i.e., the triumph of argument A) requires that argument B does not promote a value that is preferred to argument A. There has been thorough discussion of the application of VAFs to the law within the computer science literature, mainly demonstrating that legal cases can be effectively mapped out using VAFs. This article analyses VAFs from a jurisprudential standpoint to provide a philosophical and theoretical analysis of what VAFs tell the legal community about the judicial reasoning, specifically distinguishing between legal and moral reasoning. It highlights the limitations of using VAFs to account for judicial moral reasoning in theory and in practice.

Keywords: nonmonotonic logic, legal formalization, computer science, artificial intelligence, morality

Procedia PDF Downloads 59
646 The Social Enterprise Model And Its Beneficiaries

Authors: Lorryn Williams

Abstract:

This study will explore how the introduction of the for-profit social enterprise model affects the real lives of the individuals and communities that this model aims to help in South Africa. The congruence between organisational need construction and the real needs of beneficiaries, and whether the adoption of a profit driven model, such as social entrepreneurship, supports or discards these needs is key to answering the former question. By making use of qualitative methods, the study aims to collect empirical evidence that either supports the social entrepreneurship approach when compared to other programs such as vocational training programs or rejects it as less beneficial. It is the objective of this research to provide an answer to the question of whether the social enterprise model of conducting charity leaves the beneficiaries of non-profit organisations in a generally better or worse off position. The study will specifically explore the underlying assumptions the social entrepreneurship model makes, since the assumptions made concerning the uplifting effects it has on its beneficiaries may produce either real or assumed change for beneficiaries. The meaning of social cohesion and social capital for these organisations, the construction of beneficiary dependence and independence, the consideration of formal and informal economies beneficiaries engage in, and the extent to which sustainability is used as a brand, will be investigated. Through engaging the relevant literature, experts in the field of non-profit donorship and need implementation, organisations who have both adopted social enterprise programs and not, and most importantly, the beneficiaries themselves, it will be possible to provide answers to questions this study aims to answer.

Keywords: social enterprise, beneficiaries, profit driven model, non-profit organizations

Procedia PDF Downloads 126
645 Population Stereotype Production, User Factors, and Icon Design for Underserved Communities of Rural India

Authors: Avijit Sengupta, Klarissa Ting Ting Cheng, Maffee Peng-Hui Wan

Abstract:

This study investigates the influence of user factors and referent characteristics on representation types generated using the stereotype production method for designing icons. Sixty-eight participants of farming communities were asked to draw images based on sixteen feature referents. Significant statistical differences were found between the types of representations generated for contextual and context-independent referents. Strong correlations were observed between years of formal education and total number of abstract representations produced for both contextual and context-independent referents. However, representation characteristics were not influenced by other user factors such as participants’ experience with mobile phone and years of farming experience. A statistically significant tendency of making concrete representations was observed for both contextual and context-independent referents. These findings provide insights on community members’ involvement in icon design and suggest a consolidated icon design strategy based on population stereotype, particularly for under-served rural communities of India.

Keywords: abstract representation, concrete representation, participatory design, population stereotype

Procedia PDF Downloads 362
644 Utilization of Traditional Medicine for Treatment of Selected Illnesses among Crop-Farming Households in Edo State, Nigeria

Authors: Adegoke A. Adeyelu, Adeola T. Adeyelu, S. D. Y. Alfred, O. O. Fasina

Abstract:

This study examines the use of traditional medicines for the treatment of selected illnesses among crop-farming households in Edo State, Nigeria. A sample size of ninety (90) households were randomly selected for the study. Data were collected with a structured questionnaire alongside focus group discussions (FGD). Result shows that the mean age was 50 years old, the majority (76.7%) of the sampled farmers were below 60 years old. The majority (80.0%) of the farmers were married, about (92.2%) had formal education. It exposes that the majority of the respondents (76.7%) had household size of between 1-10 persons, about 55.6% had spent 11 years and above in crop farming. malaria (8th ), waist pains (7th ), farm injuries ( 6th ), cough (5th), acute headache(4th), skin infection (3rd), typhoid (2nd) and tuberculosis (1st ) were the most and least treated illness. Respondents (80%) had spent N10,000.00 ($27) and less on treatment of illnesses, 8.9% had spent N10,000.00-N20,000.0027 ($27-$55) 4.4% had spent between N20,100-N30,000.00 ($27-$83) while 6.7% had spent more than N30,100.00 ($83) on treatment of illnesses in the last one (1) year prior to the study. Age, years of farming, farm size, household size, level of income, cost of treatment, level of education, social network, and culture are some of the statistically significant factors influencing the utilization of traditional medicine. Farmers should be educated on methods of preventing illnesses, which is far cheaper than the curative.

Keywords: crop farming-households, selected illnesses, traditional medicines, Edo State

Procedia PDF Downloads 177
643 Parametric Study for Optimal Design of Hybrid Bridge Joint

Authors: Bongsik Park, Jae Hyun Park, Jae-Yeol Cho

Abstract:

Mixed structure, which is a kind of hybrid system, is incorporating steel beam and prestressed concrete beam. Hybrid bridge adopting mixed structure have some merits. Main span length can be made longer by using steel as main span material. In case of cable-stayed bridge having asymmetric span length, negative reaction at side span can be restrained without extra restraining devices by using weight difference between main span material and side span material. However angle of refraction might happen because of rigidity difference between materials and stress concentration also might happen because of abnormal loading transmission at joint in the hybrid bridge. Therefore the joint might be a weak point of the structural system and it needs to pay attention to design of the joint. However, design codes and standards about the joint in the hybrid-bridge have not been established so the joint designs in most of construction cases have been very conservative or followed previous design without extra verification. In this study parametric study using finite element analysis for optimal design of hybrid bridge joint is conducted. Before parametric study, finite element analysis was conducted based on previous experimental data and it is verified that analysis result approximated experimental data. Based on the finite element analysis results, parametric study was conducted. The parameters were selected as those have influences on joint behavior. Based on the parametric study results, optimal design of hybrid bridge joint has been determined.

Keywords: parametric study, optimal design, hybrid bridge, finite element analysis

Procedia PDF Downloads 409
642 The Study of Applying Models: House, Temple and School for Sufficiency Development to Participate in ASEAN Economic Community: A Case Study of Trimitra Temple (China Town) Bangkok, Thailand

Authors: Saowapa Phaithayawat

Abstract:

The purposes of this study are: 1) to study the impact of the 3-community-core model: House (H), Temple (T), and School (S) with the co-operation of official departments on community development to ASEAN economic community involvement, and 2) to study the procedures and extension of the model. The research which is a qualitative research based on formal and informal interviews. Local people in a community are observed. Group interview is also operated by executors and cooperators in the school in the community. In terms of social and cultural dimension, the 3-community-core model consisting of house, temple and school is the base of Thai cultures bringing about understanding, happiness and unity to the community. The result of this research is that the official departments in accompanied with this model developers cooperatively work together in the community to support such factors as budget, plan, activities. Moreover, the need of community, and the continual result to sustain the community are satisfied by the model implementation. In terms of the procedures of the model implementation, executors and co-operators can work, coordinate, think, and launch their public relation altogether. Concerning the model development, this enables the community to achieve its goal to prepare the community’s readiness for ASEAN Economic Community involvement.

Keywords: ASEAN Economic Community, the applying models and sufficiency development, house, temple, school

Procedia PDF Downloads 295
641 A Scoping Review to Explore the Policies and Procedures Addressing the Implementation of Inclusive Education in BRICS Countries

Authors: Bronwyn S. Mthimunye, Athena S. Pedro, Nicolette V. Roman

Abstract:

Inclusive education is a global concern, in the context of Brazil, Russia, India, China, and South Africa. These countries are all striving for inclusive education, as there are many children excluded from formal schooling. The need for inclusive education is imperative, given the increase in special needs diagnoses. Many children confronted with special needs are still not able to exercise their basic right to education. The aim of conducting this scoping review was to explore the policies and procedures addressing the implementation of inclusive education in Brazil, Russia, India, China, and South Africa. The studies included were published between 2006-2016 and located in Academic Search Complete, ERIC, Medline, PsycARTICLES, JSTOR, and SAGE Journals. Seven articles were included in which all of the articles reported on inclusive education and the status of implementation. The findings identified many challenges faced by Brazil, Russia, India, China, and South Africa that affect the implementation of policies and programmes. Challenges such as poor planning, resource-constrained communities, lack of professionals in schools, and the need for adequate teacher training were identified. Brazil, Russia, India, China, and South Africa are faced with many social and economic challenges, which serves as a barrier to the implementation of inclusive education.

Keywords: special needs, inclusion, education, scoping review

Procedia PDF Downloads 280
640 Steps towards the Development of National Health Data Standards in Developing Countries

Authors: Abdullah I. Alkraiji, Thomas W. Jackson, Ian Murray

Abstract:

The proliferation of health data standards today is somewhat overlapping and conflicting, resulting in market confusion and leading to increasing proprietary interests. The government role and support in standardization for health data are thought to be crucial in order to establish credible standards for the next decade, to maximize interoperability across the health sector, and to decrease the risks associated with the implementation of non-standard systems. The normative literature missed out the exploration of the different steps required to be undertaken by the government towards the development of national health data standards. Based on the lessons learned from a qualitative study investigating the different issues to the adoption of health data standards in the major tertiary hospitals in Saudi Arabia and the opinions and feedback from different experts in the areas of data exchange and standards and medical informatics in Saudi Arabia and UK, a list of steps required towards the development of national health data standards was constructed. Main steps are the existence of: a national formal reference for health data standards, an agreed national strategic direction for medical data exchange, a national medical information management plan and a national accreditation body, and more important is the change management at the national and organizational level. The outcome of this study can be used by academics and practitioners to develop the planning of health data standards, and in particular those in developing countries.

Keywords: interoperabilty, medical data exchange, health data standards, case study, Saudi Arabia

Procedia PDF Downloads 322
639 Healing in Lourdes: Qualitative Research with Pilgrims and Their Carers

Authors: Emmylou Rahtz, Sarah Goldingay, Sara Warber, Ann Arbor, Paul Dieppe

Abstract:

Introduction: Lourdes is a Catholic, Marian healing venue in South West France. Many miraculous cures have been attributed to visits there. In addition, many visitors seem to experience improvements in health and wellbeing, in the absence of a cure of disease. We wanted to investigate that phenomenon. Methods: We spent 10 days in Lourdes in 2017, carrying out ethnographic research, talking to many visitors, and carrying out formal, recorded interviews with several pilgrims, doctors, nurses, helpers, and priests. Results: Profound experiences and improvements in health and wellbeing were commonly reported. A number of ‘noetic’ experiences were also described. The paper will illustrate these phenomena. In addition, many participants in the research talked about why being in Lourdes was so beneficial to them. The community spirit, ethos of prayer, flow, synchronicity, and ability to find new meaning for life’s ills were cited as likely reasons. Conclusions: We believe that the ‘real miracle’ of Lourdes is the fact that of the many hundreds of thousands of people who go there each year, many find great benefit in health and wellbeing. It is likely that this is due to the ethos of the place, the community spirit, non-judgmental approach and loving acceptance of all aspects of humanity. Acknowledgments: We thank the BIAL foundation for generous funding of this research, and Dr. Alessandro de Franciscis and his team for facilitating our work, as well as all those who participated.

Keywords: healing, miracles, noetic experiences, wellbeing

Procedia PDF Downloads 126
638 Biosignal Recognition for Personal Identification

Authors: Hadri Hussain, M.Nasir Ibrahim, Chee-Ming Ting, Mariani Idroas, Fuad Numan, Alias Mohd Noor

Abstract:

A biometric security system has become an important application in client identification and verification system. A conventional biometric system is normally based on unimodal biometric that depends on either behavioural or physiological information for authentication purposes. The behavioural biometric depends on human body biometric signal (such as speech) and biosignal biometric (such as electrocardiogram (ECG) and phonocardiogram or heart sound (HS)). The speech signal is commonly used in a recognition system in biometric, while the ECG and the HS have been used to identify a person’s diseases uniquely related to its cluster. However, the conventional biometric system is liable to spoof attack that will affect the performance of the system. Therefore, a multimodal biometric security system is developed, which is based on biometric signal of ECG, HS, and speech. The biosignal data involved in the biometric system is initially segmented, with each segment Mel Frequency Cepstral Coefficients (MFCC) method is exploited for extracting the feature. The Hidden Markov Model (HMM) is used to model the client and to classify the unknown input with respect to the modal. The recognition system involved training and testing session that is known as client identification (CID). In this project, twenty clients are tested with the developed system. The best overall performance at 44 kHz was 93.92% for ECG and the worst overall performance was ECG at 88.47%. The results were compared to the best overall performance at 44 kHz for (20clients) to increment of clients, which was 90.00% for HS and the worst overall performance falls at ECG at 79.91%. It can be concluded that the difference multimodal biometric has a substantial effect on performance of the biometric system and with the increment of data, even with higher frequency sampling, the performance still decreased slightly as predicted.

Keywords: electrocardiogram, phonocardiogram, hidden markov model, mel frequency cepstral coeffiecients, client identification

Procedia PDF Downloads 263
637 Aerodynamic Analysis by Computational Fluids Dynamics in Building: Case Study

Authors: Javier Navarro Garcia, Narciso Vazquez Carretero

Abstract:

Eurocode 1, part 1-4, wind actions, includes in its article 1.5 the possibility of using numerical calculation methods to obtain information on the loads acting on a building. On the other hand, the analysis using computational fluids dynamics (CFD) in aerospace, aeronautical, and industrial applications is already in widespread use. The application of techniques based on CFD analysis on the building to study its aerodynamic behavior now opens a whole alternative field of possibilities for civil engineering and architecture; optimization of the results with respect to those obtained by applying the regulations, the possibility of obtaining information on pressures, speeds at any point of the model for each moment, the analysis of turbulence and the possibility of modeling any geometry or configuration. The present work compares the results obtained on a building, with respect to its aerodynamic behavior, from a mathematical model based on the analysis by CFD with the results obtained by applying Eurocode1, part1-4, wind actions. It is verified that the results obtained by CFD techniques suppose an optimization of the wind action that acts on the building with respect to the wind action obtained by applying the Eurocode1, part 1-4, wind actions. In order to carry out this verification, a 45m high square base truncated pyramid building has been taken. The mathematical model on CFD, based on finite volumes, has been calculated using the FLUENT commercial computer application using a scale-resolving simulation (SRS) type large eddy simulation (LES) turbulence model for an atmospheric boundary layer wind with turbulent component in the direction of the flow.

Keywords: aerodynamic, CFD, computacional fluids dynamics, computational mechanics

Procedia PDF Downloads 127
636 Towards Developing Social Assessment Tool for Siwan Ecolodge Case Study: Babenshal Ecolodge

Authors: Amr Ali Bayoumi, Ola Ali Bayoumi

Abstract:

The aim of this research is enhancing one of the main aspects (Social Aspect) for developing an eco-lodge in Siwa oasis in Egyptian Western Desert. According to credible weightings built in this research through formal and informal questionnaires, the researcher detected one of the highest credible aspects, 'Social Aspect': through which it carries the maximum priorities among the total environmental and economic categories. From here, the researcher suggested the usage of ethnographic design approach and Space Syntax as observational and computational methods for developing future Eco-lodge in Siwa Oasis. These methods are used to study social spaces of Babenshal eco-lodge as a case study. This hybrid method is considered as a beginning of building Social Assessment Tool (SAT) for ecological tourism buildings located in Siwa as a case of Egyptian Western desert community. Towards livable social spaces, the proposed SAT was planned to be the optimum measurable weightings for social aspect's priorities of future Siwan eco-lodge(s). Finally, recommendations are proposed for enhancing SAT to be more correlated with sensitive desert biome (Siwa Oasis) to be adapted with the continuous social and environmental changes of the oasis.

Keywords: ecolodge, social aspect, space syntax, Siwa Oasis

Procedia PDF Downloads 113
635 The Theory of the Mystery: Unifying the Quantum and Cosmic Worlds

Authors: Md. Najiur Rahman

Abstract:

This hypothesis reveals a profound and symmetrical connection that goes beyond the boundaries of quantum physics and cosmology, revolutionizing our understanding of the fundamental building blocks of the cosmos, given its name ‘The Theory of the Mystery’. This theory has an elegantly simple equation, “R = ∆r / √∆m” which establishes a beautiful and well-crafted relationship between the radius (R) of an elementary particle or galaxy, the relative change in radius (∆r), and the mass difference (∆m) between related entities. It is fascinating to note that this formula presents a super synchronization, one which involves the convergence of every basic particle and any single celestial entity into perfect alignment with its respective mass and radius. In addition, we have a Supporting equation that defines the mass-radius connection of an entity by the equation: R=√m/N, where N is an empirically established constant, determined to be approximately 42.86 kg/m, representing the proportionality between mass and radius. It provides precise predictions, collects empirical evidence, and explores the far-reaching consequences of theories such as General Relativity. This elegant symmetry reveals a fundamental principle that underpins the cosmos: each component, whether small or large, follows a precise mass-radius relationship to exert gravity by a universal law. This hypothesis represents a transformative process towards a unified theory of physics, and the pursuit of experimental verification will show that each particle and galaxy is bound by gravity and plays a unique but harmonious role in shaping the universe. It promises to reveal the great symphony of the mighty cosmos. The predictive power of our hypothesis invites the exploration of entities at the farthest reaches of the cosmos, providing a bridge between the known and the unknown.

Keywords: unified theory, quantum gravity, mass-radius relationship, dark matter, uniform gravity

Procedia PDF Downloads 53
634 Investigating Iraqi EFL University Students' Productive Knowledge of Grammatical Collocations in English

Authors: Adnan Z. Mkhelif

Abstract:

Grammatical collocations (GCs) are word combinations containing a preposition or a grammatical structure, such as an infinitive (e.g. smile at, interested in, easy to learn, etc.). Such collocations tend to be difficult for Iraqi EFL university students (IUS) to master. To help address this problem, it is important to identify the factors causing it. This study aims at investigating the effects of L2 proficiency, frequency of GCs and their transparency on IUSs’ productive knowledge of GCs. The study involves 112 undergraduate participants with different proficiency levels, learning English in formal contexts in Iraq. The data collection instruments include (but not limited to) a productive knowledge test (designed by the researcher using the British National Corpus (BNC)), as well as the grammar part of the Oxford Placement Test (OPT). The study findings have shown that all the above-mentioned factors have significant effects on IUSs’ productive knowledge of GCs. In addition to establishing evidence of which factors of L2 learning might be relevant to learning GCs, it is hoped that the findings of the present study will contribute to more effective methods of teaching that can better address and help overcome the problems IUSs encounter in learning GCs. The study is thus hoped to have significant theoretical and pedagogical implications for researchers, syllabus designers as well as teachers of English as a foreign/second language.

Keywords: corpus linguistics, frequency, grammatical collocations, L2 vocabulary learning, productive knowledge, proficiency, transparency

Procedia PDF Downloads 232
633 Mammographic Multi-View Cancer Identification Using Siamese Neural Networks

Authors: Alisher Ibragimov, Sofya Senotrusova, Aleksandra Beliaeva, Egor Ushakov, Yuri Markin

Abstract:

Mammography plays a critical role in screening for breast cancer in women, and artificial intelligence has enabled the automatic detection of diseases in medical images. Many of the current techniques used for mammogram analysis focus on a single view (mediolateral or craniocaudal view), while in clinical practice, radiologists consider multiple views of mammograms from both breasts to make a correct decision. Consequently, computer-aided diagnosis (CAD) systems could benefit from incorporating information gathered from multiple views. In this study, the introduce a method based on a Siamese neural network (SNN) model that simultaneously analyzes mammographic images from tri-view: bilateral and ipsilateral. In this way, when a decision is made on a single image of one breast, attention is also paid to two other images – a view of the same breast in a different projection and an image of the other breast as well. Consequently, the algorithm closely mimics the radiologist's practice of paying attention to the entire examination of a patient rather than to a single image. Additionally, to the best of our knowledge, this research represents the first experiments conducted using the recently released Vietnamese dataset of digital mammography (VinDr-Mammo). On an independent test set of images from this dataset, the best model achieved an AUC of 0.87 per image. Therefore, this suggests that there is a valuable automated second opinion in the interpretation of mammograms and breast cancer diagnosis, which in the future may help to alleviate the burden on radiologists and serve as an additional layer of verification.

Keywords: breast cancer, computer-aided diagnosis, deep learning, multi-view mammogram, siamese neural network

Procedia PDF Downloads 116
632 Fight against Money Laundering with Optical Character Recognition

Authors: Saikiran Subbagari, Avinash Malladhi

Abstract:

Anti Money Laundering (AML) regulations are designed to prevent money laundering and terrorist financing activities worldwide. Financial institutions around the world are legally obligated to identify, assess and mitigate the risks associated with money laundering and report any suspicious transactions to governing authorities. With increasing volumes of data to analyze, financial institutions seek to automate their AML processes. In the rise of financial crimes, optical character recognition (OCR), in combination with machine learning (ML) algorithms, serves as a crucial tool for automating AML processes by extracting the data from documents and identifying suspicious transactions. In this paper, we examine the utilization of OCR for AML and delve into various OCR techniques employed in AML processes. These techniques encompass template-based, feature-based, neural network-based, natural language processing (NLP), hidden markov models (HMMs), conditional random fields (CRFs), binarizations, pattern matching and stroke width transform (SWT). We evaluate each technique, discussing their strengths and constraints. Also, we emphasize on how OCR can improve the accuracy of customer identity verification by comparing the extracted text with the office of foreign assets control (OFAC) watchlist. We will also discuss how OCR helps to overcome language barriers in AML compliance. We also address the implementation challenges that OCR-based AML systems may face and offer recommendations for financial institutions based on the data from previous research studies, which illustrate the effectiveness of OCR-based AML.

Keywords: anti-money laundering, compliance, financial crimes, fraud detection, machine learning, optical character recognition

Procedia PDF Downloads 122
631 Income Diversification of Small Holder Farmers in Bosso Local Government Area of Niger State, Nigeria

Authors: Oladipo Joseph Ajayi, Yakubu Muhammed, Caleb Galadima

Abstract:

This study was conducted to examine the income diversification of smallholder farmers in Bosso Local Government area of Niger state, Nigeria. The specific objectives were to examine the socio-economic characteristics of the farmers, identify the sources of income among the farmers, determine the pattern of income diversification and evaluate the determinants of income diversification of farmers in the study area. A multi-stage sampling technique was used to select 94 respondents for the study. Primary data were used, and these were collected with aid of a well structured interview schedule. Descriptive statistics, diversity index, and Tobit regression model were employed to analyze the data. The mean age of the farmers was 44 years. The average household size was 8 members per household, and the average farming experience was 12 years. 21.27 percent did not have formal education. It was further found that 69.1 percent of the respondents had an income diversity index of 0.3-0.4. This indicated that their level of income diversification was moderately low. The determinants of income diversification in the study area were education, household size, marital status, and primary income. These variables were positively related to income diversification. The study revealed that diversification into various income sources has helped to increase household income to sustain the family demands even though their level of income diversification was low within the study area.

Keywords: diversification, income, households, smallholder farmers

Procedia PDF Downloads 229
630 In Working, Career Is Not Everything: A Case Study of Family Friendly Policies on Bank Company

Authors: Trias Setiawati, Rizkika Awalia

Abstract:

The study title is “In Working, Career is not everything: A Case Study of Family Friendly Policies (FFP) on Bank Company.” This study aims to describe the application of FFP in the banking, especially Bank Rakyat Indonesia or BRI (Indonesian People Bank) in Katamso Branch Office in Yogyakarta Katamso Branch Office in Yogyakarta (KBOY) as a support company to create a work-life balance, as well as the achievement of career and family harmony is seen from the work-family conflict faced by the employees. The importance of the application of FFP in an organization is basically to build competitive advantage of a company. This study used qualitative research methods with a case study approach in BRI in KBOY. Data collection techniques used non-participant observation and in-depth structured interviews with three employees. The results showed that FFP is in general adoption and not optimal yet. Optimal FFP policy is not yet implemented; it just in the in-formal policies such as the lack of flexible-time, the lack of daycare, the lack of counseling for employees of personal nature, despite it was the availability of lactation rooms for feeding. The employees found difficulties in balancing between achieving careers at work and reaching family harmony. Not pursued a career does not mean that they do not want to reach a better position, but they do not want to ignore the family harmony because of the hours of work overload.

Keywords: career, family friendly policies, work-family balance, work-family conflict

Procedia PDF Downloads 401
629 Debate between Breast Milk and Formula Milk in Nutritional Value

Authors: Nora Alkharji, Wafa Fallatah

Abstract:

Introduction: One of the major issues to consider when is deciding on what to feed a baby is the quality of the food itself. Whilst commercially prepared infant formulas are a nutritious alternative to breast milk, and even contain some vitamins and nutrients, most major medical organizations consider breastfeeding the best nutritional option for babies. Choosing whether to breastfeed or formula feed your baby is one of the first decisions expectant parents will make. The American Academy of Pediatrics (AAP) is in agreement with other organizations such as the American Medical Association (AMA), the American Dietetic Association (ADA), and the World Health Organization (WHO) in recommending breastfeeding as the best nutrition for babies and best suited for a baby's digestive system. In addition, breastfeeding helps in the combatting of infections, prevention of allergies, and protection against various chronic conditions. The decision to breastfeed or formula feed one’s baby is a very personal one. However, certain points need to be clarified regarding the nutritional value of breastfeeding versus formula feeding to allow for informed decision-making. Methodology: -A formal debate about whether to breastfeed or formula feed babies as the better choice. -There will be two debaters, both lactation consultants -Arguments will be based on evidence-based medicine -Duration period of debated: 45 min Result: Clarification and heightened awareness of the benefits of breastfeeding. Conclusion: This debate will make the choice between breastfeeding or formula feeding a relatively easy one to make by both health worker and parents.

Keywords: breastmilk, formula milk, nutritional, comparison

Procedia PDF Downloads 450
628 Automated Fact-Checking by Incorporating Contextual Knowledge and Multi-Faceted Search

Authors: Wenbo Wang, Yi-Fang Brook Wu

Abstract:

The spread of misinformation and disinformation has become a major concern, particularly with the rise of social media as a primary source of information for many people. As a means to address this phenomenon, automated fact-checking has emerged as a safeguard against the spread of misinformation and disinformation. Existing fact-checking approaches aim to determine whether a news claim is true or false, and they have achieved decent veracity prediction accuracy. However, the state-of-the-art methods rely on manually verified external information to assist the checking model in making judgments, which requires significant human resources. This study introduces a framework, SAC, which focuses on 1) augmenting the representation of a claim by incorporating additional context using general-purpose, comprehensive, and authoritative data; 2) developing a search function to automatically select relevant, new, and credible references; 3) focusing on the important parts of the representations of a claim and its reference that are most relevant to the fact-checking task. The experimental results demonstrate that 1) Augmenting the representations of claims and references through the use of a knowledge base, combined with the multi-head attention technique, contributes to improved performance of fact-checking. 2) SAC with auto-selected references outperforms existing fact-checking approaches with manual selected references. Future directions of this study include I) exploring knowledge graphs in Wikidata to dynamically augment the representations of claims and references without introducing too much noise, II) exploring semantic relations in claims and references to further enhance fact-checking.

Keywords: fact checking, claim verification, deep learning, natural language processing

Procedia PDF Downloads 43
627 Kebbi State University of Science and Technology, Aliero, Kebbi State

Authors: Ugbajah Maryjane

Abstract:

The study examined the production of grass cutter and the constraints in Anambra state, Nigeria. Specifically, it described socio-economic characteristics of the respondents, determinants of net farm income and constraints to grass cutter production. Multistage and random sampling methods were used to select 50 respondents for this study. Primary data were collected by means of structured questionnaire. Non-parametric and parametric statistical tools including frequency percentage mean ranking counts, cost and returns and returns and multiple regression were deployed for data analysis. Majority 84% produce on small scale, 64 % had formal education 68% had 3-4 years of farming experience hence small scaled production were common. The income (returns) on investment was used as index of profitability, gross margin (#5,972,280), net farm income (#5,327,055.2) net return on investment (2.5) and return on investment 3.1. Net farm income was significantly influence by stock size and years of farming experience. Grass cutter farmers production problem would be ameliorated by the expression of extension education awareness campaigns to discourage unhealthy practices such as indiscriminant bush burning, use of toxic chemicals as baits, and provision of credits to the farmers.

Keywords: socio-economic factors, profitability, awareness, toxic chemicals, credits

Procedia PDF Downloads 393
626 Situated Urban Rituals: Rethinking the Meaning and Practice of Micro Culture in Cities in East Asia

Authors: Heide Imai

Abstract:

Contemporary cities, especially in Japan, have reached an indescribable complexity and excessive, global investments blur formal, rooted structures. Modern urban agglomerations blindly trust a macro understanding, whereas everyday activities which portray the human degree of living space are being suppressed and erased. The paper will draw upon the approach ‘Micro-Urbanism’ which focus on the sensitive and indigenous side of contemporary cities, which in fact can hold the authentic qualities of a city. Related to this approach is the term ‘Micro-Culture’ which is used to clarify the inner realities of the everyday living space on the example of the Japanese urban backstreet. The paper identifies an example of a ‘micro-zone’ in terms of ‘street space’, originally embedded in the landscape of the Japanese city. And although the approach ‘Micro-Urbanism’ is more complex, the understanding of the term can be tackled by a social analysis of the street, as shown on the backstreet called roji and closely linked examples of ‘situated’ urban rituals like (1) urban festivities, (2) local markets/ street vendors and (3) artistic, intellectual tactics. Likewise, the paper offers insights in a ‘community of streets’ which boundaries are specially shaped by cultural activity and social networks.

Keywords: urban rituals, community, streets as micro-zone, everyday space

Procedia PDF Downloads 290
625 Micro Waqf Banks as an Alternative Financing Micro Business in Indonesia

Authors: Achmad Muchaddam Fahham, Sony Hendra Permana

Abstract:

For rural communities and micro-entrepreneurs, access to formal financial institutions is very difficult. So, borrowing to moneylenders is the most possible way to fulfill their needs. But actually it does not solve their problems, precisely their problems are increasing because they have to pay at very high-interest rates. For this reason, microfinance institution is very important as a solution for rural communities and micro-entrepreneurs who need loans to fulfill their needs. This paper aims to describe the role of micro waqf banks in Indonesia as an alternative funding for rural communities and micro-entrepreneurs. This research is descriptive using a qualitative approach. The interview technique was also carried out with key informants who understood sharia microfinance institutions. The results of the study revealed that the micro waqf bank is Islamic microfinance institutions which targeted the micro business sector by channeling small financing with a maximum financing of Rp1 million. The funding of this micro waqf bank comes from donors who donate funds through the Amil Zakat institution. The margins imposed on borrowers are as high as 3 percent per year, with payment schemes in installments every week, so it is made easier for borrower. In addition, financing is followed by training and mentoring so that borrower is able to utilize the loan for productive business activities. In the end, it is hoped that this micro waqf bank can become an incubator for micro businesses in Indonesia.

Keywords: micro business, micro waqf banks, micro-entrepreneurs, Amil Zakat institution

Procedia PDF Downloads 145
624 Effect of Climate Variability on Honeybee's Production in Ondo State, Nigeria

Authors: Justin Orimisan Ijigbade

Abstract:

The study was conducted to assess the effect of climate variability on honeybee’s production in Ondo State, Nigeria. Multistage sampling technique was employed to collect the data from 60 beekeepers across six Local Government Areas in Ondo State. Data collected were subjected to descriptive statistics and multiple regression model analyses. The results showed that 93.33% of the respondents were male with 80% above 40 years of age. Majority of the respondents (96.67%) had formal education and 90% produced honey for commercial purpose. The result revealed that 90% of the respondents admitted that low temperature as a result of long hours/period of rainfall affected the foraging efficiency of the worker bees, 73.33% claimed that long period of low humidity resulted in low level of nectar flow, while 70% submitted that high temperature resulted in improper composition of workers, dunes and queen in the hive colony. The result of multiple regression showed that beekeepers’ experience, educational level, access to climate information, temperature and rainfall were the main factors affecting honey bees production in the study area. Therefore, beekeepers should be given more education on climate variability and its adaptive strategies towards ensuring better honeybees production in the study area.

Keywords: climate variability, honeybees production, humidity, rainfall and temperature

Procedia PDF Downloads 252
623 An Assessment of Radio-Based Education about Female Genital Cutting and Health and Human Rights Issues in Douentza, Mali

Authors: Juliet Sorensen, Megan Schliep

Abstract:

Introduction: After a multidisciplinary assessment of health and human rights issues in central Mali, a musical album was created in 2014 in Douentza, Mali to provide health information on female genital mutilation/cutting (FGM/C), malaria, HIV/AIDS, girls’ education, breastfeeding, and sanitation. The objective of this study was to assess the impact of this album. Methods: A mixed-methods assessment was conducted with 149 individuals across 10 villages in Douentza Cercle. Analyses focused on the association of radio listening habits, age, sex, ethnicity and education with a public health knowledge score. Results: Over 90% of respondents reported daily radio listening, many listening five or more hours per day. Potential risks of FGM/C cited by participants included death (59%), difficulty in childbirth (48%), sterility (34%), and fistula (33%); when asked about their level of control over FGM/C, 28% stated they would never cut their daughters. Being a listener for 1-5 hours per day was associated with a 11.5% higher score of 'public health knowledge' compared to those listening only a little or not at all (p < 0.01). Education (marginal versus no formal education) was associated with 7.6% increased score (p < 0.01). Conclusion: Radio appears to be a significant part of community members’ daily routines and may be a valuable medium for transmitting information, particularly for lower literacy individuals.

Keywords: female genital cutting, public health and social justice education, radio, Mali

Procedia PDF Downloads 265
622 A Comparative Analysis of Asymmetric Encryption Schemes on Android Messaging Service

Authors: Mabrouka Algherinai, Fatma Karkouri

Abstract:

Today, Short Message Service (SMS) is an important means of communication. SMS is not only used in informal environment for communication and transaction, but it is also used in formal environments such as institutions, organizations, companies, and business world as a tool for communication and transactions. Therefore, there is a need to secure the information that is being transmitted through this medium to ensure security of information both in transit and at rest. But, encryption has been identified as a means to provide security to SMS messages in transit and at rest. Several past researches have proposed and developed several encryption algorithms for SMS and Information Security. This research aims at comparing the performance of common Asymmetric encryption algorithms on SMS security. The research employs the use of three algorithms, namely RSA, McEliece, and RABIN. Several experiments were performed on SMS of various sizes on android mobile device. The experimental results show that each of the three techniques has different key generation, encryption, and decryption times. The efficiency of an algorithm is determined by the time that it takes for encryption, decryption, and key generation. The best algorithm can be chosen based on the least time required for encryption. The obtained results show the least time when McEliece size 4096 is used. RABIN size 4096 gives most time for encryption and so it is the least effective algorithm when considering encryption. Also, the research shows that McEliece size 2048 has the least time for key generation, and hence, it is the best algorithm as relating to key generation. The result of the algorithms also shows that RSA size 1024 is the most preferable algorithm in terms of decryption as it gives the least time for decryption.

Keywords: SMS, RSA, McEliece, RABIN

Procedia PDF Downloads 146
621 Assessment of Climate Change Impact on Meteorological Droughts

Authors: Alireza Nikbakht Shahbazi

Abstract:

There are various factors that affect climate changes; drought is one of those factors. Investigation of efficient methods for estimating climate change impacts on drought should be assumed. The aim of this paper is to investigate climate change impacts on drought in Karoon3 watershed located south-western Iran in the future periods. The atmospheric general circulation models (GCM) data under Intergovernmental Panel on Climate Change (IPCC) scenarios should be used for this purpose. In this study, watershed drought under climate change impacts will be simulated in future periods (2011 to 2099). Standard precipitation index (SPI) as a drought index was selected and calculated using mean monthly precipitation data in Karoon3 watershed. SPI was calculated in 6, 12 and 24 months periods. Statistical analysis on daily precipitation and minimum and maximum daily temperature was performed. LRAS-WG5 was used to determine the feasibility of future period's meteorological data production. Model calibration and verification was performed for the base year (1980-2007). Meteorological data simulation for future periods under General Circulation Models and climate change IPCC scenarios was performed and then the drought status using SPI under climate change effects analyzed. Results showed that differences between monthly maximum and minimum temperature will decrease under climate change and spring precipitation shall increase while summer and autumn rainfall shall decrease. The precipitation occurs mainly between January and May in future periods and summer or autumn precipitation decline and lead up to short term drought in the study region. Normal and wet SPI category is more frequent in B1 and A2 emissions scenarios than A1B.

Keywords: climate change impact, drought severity, drought frequency, Karoon3 watershed

Procedia PDF Downloads 223
620 Factors Affecting the Caregiving Experience of Children with Parental Mental Illnesses: A Systematic Review

Authors: N. Anjana

Abstract:

Worldwide, the prevalence of mental illnesses is increasing. The issues of persons with mental illness and their caregivers have been well documented in the literature. However, data regarding the factors affecting the caregiving experience of children with parental mental illnesses is sparse. This systematic review aimed to examine the existing literature of the factors affecting the caregiving experience of children of parents with mental illnesses. A comprehensive search of databases such as PubMed, EBSCO, JSTOR, ProQuest Central, Taylor and Francis Online, and Google Scholar were performed to identify peer-reviewed papers examining the factors associated with caregiving experiences of children with parental mental illnesses such as schizophrenia and major depression, for the 10-year period ending November 2019. Two researchers screened studies for eligibility. One researcher extracted data from eligible studies while a second performed verification of results for accuracy and completeness. Quality appraisal was conducted by both reviewers. Data describing major factors associated with caregiving experiences of children with parental mental illnesses were synthesized and reported in narrative form. Five studies were considered eligible and included in this review. Findings are organized under major themes such as the impact of parental mental illness on children’s daily life, how children provide care to their mentally ill parents as primary carers, social and relationship factors associated with their caregiving, positive and negative experiences in caregiving and how children cope with their experiences with parental mental illnesses. Literature relating to the caregiving experiences of children with parental mental illnesses is sparse. More research is required to better understand the children’s caregiving experiences related to parental mental illnesses so as to better inform management for enhancing their mental health, wellbeing, and caregiving practice.

Keywords: caregiving experience, children, parental mental illnesses, wellbeing

Procedia PDF Downloads 123