Search results for: formal verification

Authors: Abhilasha Dadhich, Manisha Mathur, Sanjay Kumar, Hemant Dadhich

Abstract:

The camel (Camelus dromedarius) is an important animal component of the fragile desert eco-system of India. Apart from others, impaired milk and meat production decrease in performance and even death are some of the major consequences of parasitic disease like coccidiosis in camel. Coccidiosis which is an acute invasion and destruction of intestinal mucosa by protozoa of the genera Eimeria or isospora spp. Post-Mortem examinations of 5 carcasses of dromedary of different age groups aged from 2 to 5 years were conducted. The history indicated that the camels were suffering from diarrhoea, dysentery, pyrexia, inappetence, weight loss, and emaciation. Post mortem examinations showed macroscopic and microscopic alterations in the small intestine, particularly in jejunum and ileum regions. The mucosae were congested, and haemorrhagic on which there were numerous whitish-grey nodular foci were observed. The affected intestinal tissue specimens were preserved in 10% formal saline and processed mechanically for paraffin embedding by acetone and benzene technique. The sections were stained with haematoxylin and eosin method of staining for histopathological examinations. Histologically, typical lesions such as congestion and haemorrhages were present. The intestinal villi were oedematous; mucosa degenerated and desquamated, along with infiltration of eosinophils and macrophages. Crypts of lieberkuhn were obliterated due to presence of schizonts in lamina propria. Older camels served as the source of spread of coccidial infection and were also predisposed to secondary infections.

Keywords: camel, coccidiosis, Eimeria, histopathology

Procedia PDF Downloads 168

Authors: Sisaye Tamrat Ayalew

Abstract:

This paper focuses on the educational philosophy of universities in Ethiopia and the debates surrounding it. It highlights the contradictory views on the role of universities, with some perceiving them as practical problem-solving institutions and others emphasizing the production and dissemination of knowledge. The aim of this study is to critically explore the debates around the educational philosophy of universities in Ethiopia. It also seeks to examine how the understanding of this philosophy contributes to the marginalization of youth in the country. This research adopts a phenomenological qualitative research design. It aims to understand the impact of socio-economic and political factors on university education and how youth from disadvantaged backgrounds experience marginalization in the job market. The study reveals that the understanding of educational philosophy varies across different contexts and over time. In the Ethiopian context, the philosophy of universities lacks a disinterested pursuit of knowledge and instrumentalist epistemology. Instead, it oversimplifies the philosophy to the point of devaluing knowledge and treating certificates as commodities, even in the absence of formal training. In conclusion, this research highlights the need for a critical appraisal of the educational philosophy of universities in Ethiopia. It emphasizes the negative impact of an oversimplified and commodified approach to knowledge on the empowerment of youth. By bringing attention to these issues, this study contributes to the broader understanding of the role of universities in society and calls for reforms in the Ethiopian education sector to promote empowerment rather than disempowerment.

Keywords: philosophy of universities, marginalized youth, diploma mill, instrumentalist epistemology, disinterested pursuit

Procedia PDF Downloads 56

Authors: Elia Efraim, Boris Blostotsky

Abstract:

Testing of columns in sway mode is performed in order to determine the maximal allowable load limited by plastic deformations or their end connections and a critical load limited by columns stability. Motivation to determine accurate value of critical force is caused by its using as follow: - critical load is maximal allowable load for given column configuration and can be used as criterion of perfection; - it is used in calculation prescribed by standards for design of structural elements under combined action of compression and bending; - it is used for verification of theoretical analysis of stability at various end conditions of columns. In the present work a new non-destructive method for determination of columns critical buckling load in sway mode is proposed. The method allows performing measurements during the tests under loads that exceeds the columns critical load without losing its stability. The possibility of such loading is achieved by structure of the loading system. The system is performed as frame with rigid girder, one of the columns is the tested column and the other is additional two-hinged strut. Loading of the frame is carried out by the flexible traction element attached to the girder. The load applied on the tested column can achieve values that exceed the critical load by choice of parameters of the traction element and the additional strut. The system lateral stiffness and the column critical load are obtained by the dynamic method. The experiment planning and the comparison between the experimental and theoretical values were performed based on the developed dependency of lateral stiffness of the system on vertical load, taking into account semi-rigid connections of the column's ends. The agreement between the obtained results was established. The method can be used for testing of real full-size columns in industrial conditions.

Keywords: buckling, columns, dynamic method, end-fixity factor, sway mode

Procedia PDF Downloads 338

Authors: Eduard Marusic-Paloka

Abstract:

The Darcy-Weisbach formula is used to compute the pressure drop of the fluid in the pipe, due to the friction against the wall. Because of its simplicity, the Darcy-Weisbach formula became widely accepted by engineers and is used for laminar as well as the turbulent flows through pipes, once the method to compute the mysterious friction coefficient was derived. Particularly in the second half of the 20th century. Formula is empiric, and our goal is to derive it from the basic conservation law, via rigorous asymptotic analysis. We consider the case of the laminar flow but with significant Reynolds number. In case of the perfectly smooth pipe, the situation is trivial, as the Navier-Stokes system can be solved explicitly via the Poiseuille formula leading to the friction coefficient in the form 64/Re. For the rough pipe, the situation is more complicated and some effects of the roughness appear in the friction coefficient. We start from the Navier-Stokes system in the pipe with periodically corrugated wall and derive an asymptotic expansion for the pressure and for the velocity. We use the homogenization techniques and the boundary layer analysis. The approximation derived by formal analysis is then justified by rigorous error estimate in the norm of the appropriate Sobolev space, using the energy formulation and classical a priori estimates for the Navier-Stokes system. Our method leads to the formula for the friction coefficient. The formula involves resolution of the appropriate boundary layer problems, namely the boundary value problems for the Stokes system in an infinite band, that needs to be done numerically. However, theoretical analysis characterising their nature can be done without solving them.

Keywords: Darcy-Weisbach law, pipe flow, rough boundary, Navier law

Procedia PDF Downloads 338

Authors: Nasser Mansour, Ziad Said, Abdullah Abu-Tineh

Abstract:

STEM teachers face the challenge of possessing expertise not only in their subject disciplines but also in the pedagogical knowledge required for integrated STEM lessons. However, research reveals a lack of pedagogical competencies related to project-based learning (PBL) in the STEM context. To bridge this gap, the study examines teachers' competencies and self-efficacy in TPACK (Technological Pedagogical Content Knowledge) and its specific integration with PBL and STEM content. Data from 245 specialized science and math teachers were collected using a questionnaire. The study emphasizes the importance of addressing gender disparities, supporting formal teacher education, and recognizing the expertise and experiences of STEM teachers in effective technology integration. The findings indicate that gender plays a role in self-efficacy beliefs, with females exhibiting higher confidence in pedagogical knowledge and males demonstrating higher confidence in technological knowledge. Teaching experience and workload factors have a limited impact on teachers' Technological Pedagogical Content Knowledge (TPACK). These findings enhance our understanding of contextual factors impacting science and math teachers' self-efficacy in utilizing TPACK for STEM and PBL. They inform the development of targeted interventions, professional development programs, and support systems to enhance teachers' competencies and self-efficacy in TPACK for teaching science and Mathematics through STEM and PBL.

Keywords: technological pedagogical content knowledge, TPACK, STEM, project-based learning, PBL, self-efficacy, mathematics, science

Procedia PDF Downloads 47

Authors: Antonio Pizzarello, Oris Friesen

Abstract:

Networks, such as the electric power grid, must demonstrate exemplary performance and integrity. Integrity depends on the quality of both the system design model and the deployed software. Integrity of the deployed software is key, for both the original versions and the many that occur throughout numerous maintenance activity. Current software engineering technology and practice do not produce adequate integrity. Distributed systems utilize networks where each node is an independent computer system. The connections between them is realized via a network that is normally redundantly connected to guarantee the presence of a path between two nodes in the case of failure of some branch. Furthermore, at each node, there is software which may fail. Self-stabilizing protocols are usually present that recognize failure in the network and perform a repair action that will bring the node back to a correct state. These protocols first introduced by E. W. Dijkstra are currently present in almost all Ethernets. Super stabilization protocols capable of reacting to a change in the network topology due to the removal or addition of a branch in the network are less common but are theoretically defined and available. This paper describes how to use the Software Integrity Assessment (SIA) methodology to analyze self-stabilizing software. SIA is based on the UNITY formalism for parallel and distributed programming, which allows the analysis of code for verifying the progress property p leads-to q that describes the progress of all computations starting in a state satisfying p to a state satisfying q via the execution of one or more system modules. As opposed to demonstrably inadequate test and evaluation methods SIA allows the analysis and verification of any network self-stabilizing software as well as any other software that is designed to recover from failure without external intervention of maintenance personnel. The model to be analyzed is obtained by automatic translation of the system code to a transition system that is based on the use of the weakest precondition.

Keywords: network, power grid, self-stabilization, software integrity assessment, UNITY, weakest precondition

Procedia PDF Downloads 206

Authors: Sarina Zainab Shirazi

Abstract:

Abstract— With the advent of globalization, different countries have liberalized their trade policies to enhance economic integration and developmental processes but the advantages accrued vary greatly from region to region. This study specifically examines European Union (EU) and Association for South East Asian Nations (ASEAN), two regions that show contrasting integration patterns. EU shows most successful integrations versus the slower paced integration in the ASEAN region. A comprehensive panel data empirical investigation of EU and ASEAN in the context of economy size, geographical distances, language, ethnicity, common border and regional trade agreements (RTA) is conducted for a period of 1985 – 2015. The empirical investigation through the augmented gravity equation shows that the real effectiveness for enhanced intra-regional trade is significant when specific examination of export and import components is conducted in the presence of non-tariff barriers. These barriers surface in the form of terms of trade openness, inflation, exchange rate, common borders, common language, ethnic similarity, and presence of a formal regional trade agreement (RTA). Thus, these factors can be utilized by the EU and ASEAN regions in order to formulate effective policy tools to enhance trade within their respective spheres of influence.

Keywords: Association for South East Asian Nations, European Union, Gravity Model, Regional Trade

Procedia PDF Downloads 100

Authors: Wei Wang

Abstract:

Queli Hotel, Xixi Scenery Spot Reception and Square Pagoda Garden are three important landmarks of localized Chinese modern architecture (LCMA) in the architectural design context of "Inheriting the Traditions in Modern Architecture" in the 1980s. As the most representative cases of LCMA in the 1980s, they interpret the traditions of Chinese garden and imperial roof from different perspectives. Based on the research text, conceptual drawings, construction drawings and site investigation, this paper extracts two groups of prominent contradictions in practice ("Pattern-Material-Structure" and "Type-Topography-Body") for keyword-based analysis to compare and examine different choices and balances by architects. Based on this, this paper attempts to indicate that the ideographic form derived from macro-narrative and the innovative investigation in construction is a pair of inevitable contradictions that must be handled and coordinated in these practices. The collision of the contradictions under specific conditions results in three cognitive attitudes and practical strategies towards traditions: Formal symbolism, spatial abstraction and construction-based narrative. These differentiated thoughts about Localization and Chineseness reflect various professional ideologies and value standpoints in the transition of Chinese Architecture discipline in the 1980s. The great variety in this particular circumstance suggests tremendous potential and possibilities of the future LCMA.

Keywords: construction, meaning, Queli Hotel, square pagoda garden, tradition, Xixi scenery spot reception

Procedia PDF Downloads 135

Authors: Boris Blostotsky, Elia Efraim

Abstract:

Testing of columns in sway mode is performed in order to determine the maximal allowable load limited by plastic deformations or their end connections and a critical load limited by columns stability. Motivation to determine accurate value of critical force is caused by its using as follow: - critical load is maximal allowable load for given column configuration and can be used as criterion of perfection; - it is used in calculation prescribed by standards for design of structural elements under combined action of compression and bending; - it is used for verification of theoretical analysis of stability at various end conditions of columns. In the present work a new non-destructive method for determination of columns critical buckling load in sway mode is proposed. The method allows performing measurements during the tests under loads that exceeds the columns critical load without losing its stability. The possibility of such loading is achieved by structure of the loading system. The system is performed as frame with rigid girder, one of the columns is the tested column and the other is additional two-hinged strut. Loading of the frame is carried out by the flexible traction element attached to the girder. The load applied on the tested column can achieve a values that exceed the critical load by choice of parameters of the traction element and the additional strut. The system lateral stiffness and the column critical load are obtained by the dynamic method. The experiment planning and the comparison between the experimental and theoretical values were performed based on the developed dependency of lateral stiffness of the system on vertical load, taking into account a semi-rigid connections of the column's ends. The agreement between the obtained results was established. The method can be used for testing of real full-size columns in industrial conditions.

Keywords: buckling, columns, dynamic method, semi-rigid connections, sway mode

Procedia PDF Downloads 299

Authors: Benyapa Thitimapong

Abstract:

Teenage pregnancy and adolescent mothers have become a matter of increasing concern in Thailand. Since adolescent mothers have been a big problem for two main consequences; health outcomes and socio-economic impacts. Adolescent mothers often endure poor living conditions; limited financial resources while also experience high stress, family instability, and limited educational opportunities. These disadvantages are negative and have long-term effects on adolescent mothers, their families, and the community. The majority of pregnant students and adolescent mothers dropped out of school after becoming pregnant, and some of them return to study again after they gave birth. This research aimed to explain the meaning of adolescent mothers who had undergone with childrearing and studying simultaneously after childbirth. A phenomenological qualitative approach was undertaken to investigate this study. The participants were 20 adolescent mothers each of whom became a mother and a student concurrently within less than 2 years after giving birth to a healthy baby and had also undergone the experience of childrearing and studying in non-formal education. In-depth interview was carried out for data collection, and the data were analyzed using content analysis method. ‘Learning to move forward’ was the meaning of adolescent mothers who experienced with childrearing and studying simultaneously. Their expressions were classified into two categories 1) having more responsibility, and 2) conceding and going on. The result of this study can be used as evidence for health care providers, especially nurses to facilitate and support pregnant adolescents and adolescent mothers to continue their education. Also, it can be used to guide policy to promote in all educational system to enable these groups to remain in school for their life-long success in the future.

Keywords: adolescent mothers, childrearing, studying, teenage pregnancy

Procedia PDF Downloads 117

Authors: Shuchi Bharti

Abstract:

This article intends to analyse the transforming nature of state and corporate sector relationship in the light of evolving regulatory and institutional aspects pertaining to Corporate Social Responsibility (CSR) in India. The focus is on evaluating the accounts of law and decentred discourses, relevant within the changing regulatory and institutional paradigm that substantially goes ahead of formal legal control of state towards corporate actors. At this vantage point, it is important to understand the state’s posture towards a changing scenario particularly as the tone is set by regulatory parameters pertaining to CSR to drive process of engagement with the stakeholders. The tripartite framework of the article intends to focus on finding on the vital interconnected aspects of the CSR provisions (Section 135) of The Companies Act 2013 (The Act), rise of new institutions and the emergence of the decentred regulatory space. Thus is earmarked in a neo-liberal paradigm; state is witnessed to perform a responsive function in engendering enhanced public role for the corporate sector. In this overarching framework the aim is to undertake a causal, exploratory and relational analysis of aspects pertaining law, regulation and institutional transformations. Firstly, focus is drawn on to investigate the relational facets of the advent of law and regulatory framework of CSR. Secondly, in the light of the historical evolution, a causal connection is attempted between globalization, emergence of international soft law framework and the Indian case of CSR. Finally, I look into how the new Companies Act mandates CSR expenditure vis- a -vis multiple parameters and guidelines.

Keywords: corporate social responsibility, stakeholders, soft law, decentred regulation

Procedia PDF Downloads 284

Authors: Laheeb M. Ibrahim, Ibrahim A. Salih

Abstract:

Biometrics is a technology that has been widely used in many official and commercial identification applications. The increased concerns in security during recent years (especially during the last decades) have essentially resulted in more attention being given to biometric-based verification techniques. Here, a novel fusion approach of palmprint, dental traits has been suggested. These traits which are authentication techniques have been employed in a range of biometric applications that can identify any postmortem PM person and antemortem AM. Besides improving the accuracy, the fusion of biometrics has several advantages such as increasing, deterring spoofing activities and reducing enrolment failure. In this paper, a first unimodel biometric system has been made by using (palmprint and dental) traits, for each one classification applying an artificial neural network and a hybrid technique that combines swarm intelligence and neural network together, then attempt has been made to combine palmprint and dental biometrics. Principally, the fusion of palmprint and dental biometrics and their potential application has been explored as biometric identifiers. To address this issue, investigations have been carried out about the relative performance of several statistical data fusion techniques for integrating the information in both unimodal and multimodal biometrics. Also the results of the multimodal approach have been compared with each one of these two traits authentication approaches. This paper studies the features and decision fusion levels in multimodal biometrics. To determine the accuracy of GAR to parallel system decision-fusion including (AND, OR, Majority fating) has been used. The backpropagation method has been used for classification and has come out with result (92%, 99%, 97%) respectively for GAR, while the GAR) for this algorithm using hybrid technique for classification (95%, 99%, 98%) respectively. To determine the accuracy of the multibiometric system for feature level fusion has been used, while the same preceding methods have been used for classification. The results have been (98%, 99%) respectively while to determine the GAR of feature level different methods have been used and have come out with (98%).

Keywords: back propagation neural network BP ANN, multibiometric system, parallel system decision-fusion, practical swarm intelligent PSO

Procedia PDF Downloads 521

Authors: Jelena Riznić

Abstract:

Sexual violence is a social fact that is both ubiquitous and invisible. From the myth of Medusa and Lucretia, through legends about sexual violence in war conflicts, to Hollywood films and other productions — sexual violence exists as a motive, implicitly or explicitly. Many Hollywood films contain a scene of rape, and the media is increasingly reporting on cases of sexual violence, often not following the guidelines for sensitized and ethical reporting. On the other hand, sexual violence remains an invisible phenomenon if we are talking from the perspective of the survivors. Only the wave of women's testimonies that flooded social networks after the #MeToo campaign in 2017 pointed to the prevalence and to the existing ideas about sexual violence that persist at the level of myths in society, but also through formal norms in the hearing of justice systems. The problem is also in the way rape is defined in the criminal codes of different countries, and all of this affects the reproduction of sexual violence. Precisely because it is a deeply intimate experience of violence, but also a structural problem; on the other hand, understanding sexual violence requires sociological imagination. Accordingly, the subject of this paper is the presentation and analysis of various discourses on sexual violence throughout history — pre/anti-feminist, feminist and criminal law, with particular reference to the situation in Serbia. The paper uses a critical review and comparative analysis of various sources on sexual violence, as well as an analysis of the impact of these sources on the modern legal framework that regulates sexual violence. Research has shown that despite feminist contributions, myths about sexual violence persist and influence the treatment of women who have survived violence in criminal systems and society in general.

Keywords: sexual violence, gender-based violence, MeToo campaign, feminism, Serbia

Procedia PDF Downloads 63

Authors: Dilang Thouk Tharjiath

Abstract:

This study seeks to examine determinants of access to finance: the case of micro and small enterprises in bonga town. It identifies the sector as the key to unlocking the economic potentials of the country. For the achievement of the objective of the study simple random and stratified sampling has been used to select 179 respondents, primary and secondary data were used, primary data were collected through face to face interview and preparing questionnaire and secondary data were collected through reviewing firms record and reports, quantitative research approach were used and the data obtained were analyzed using descriptive research design. Access to finance is one of the key obstacles of MSE’s not only when starting the business project but also when operating. Identifying the major determinants of access to finance is therefore quite crucial. Based on descriptive result the financiers specially formal financiers tend to grant credit easily for enterprises which are located near to town, having operators with higher educational level, experienced and with a positive attitudes towards or fulfill their lending procedures, and a firm having collateralized asset, prepare business plan, maintain accounting practice ,large and old enough. Finally the study recommended that As Educational level of entrepreneurs has significant effect on access to credit from bank and the managers or owners education level is low in Bonga town the concerned bodies of both the government and non-governmental institutions in collaboration with Bonga town MSE development office are recommended to create awareness and facilitate the provision of additional training for those with lower educational level.

Keywords: credit, entrepreneur, enterprise, manager

Procedia PDF Downloads 77

Authors: Carmela Perta

Abstract:

Following the example of both International and European legislation, on 15 December 1999 the national law 482/99 Regulations regarding the protection of historic language minorities was approved, providing a national framework for the preservation and renaissance of minority languages «The Italian Republic sustains the language and culture of people speaking Albanian, Catalan, German, Greek, Slovene, Croatian, French, Francoprovençal, Friulan, Ladin, Occitan and Sard». The legislation made it possible to use these languages in education, in public offices, in local government, in the judicial system, in mass media, and allowed for the reinstatement of place and personal names. However, several practical problems have emerged, particularly those concerning the variety that should be used in education, in official documents and in other formal domains, i.e. the local variety, the standard of reference (if there is any), or an over regional koinè. In minority settings, it might seem eminently sensible to use the ready made standard of reference, accepting the Ausbausprache, rather than the language as practice, that is the local variety. However, this process seems to be pointless, as is demonstrated by the results of a fieldwork that was carried out in a small town in the South of Italy where members speak Faetar, the local variety of Francoprovençal. Here the language is largely used by the community members in all domains, moreover a deep sense of loyalty towards the variety they use and a manifested minority identity can be observed analysing the speakers’ attitudes. However, these positive attitudes are towards the vehicle for their distinctive history and culture, and not for an “external” standard, a system which local authorities and planners are trying to introduce in the community. In other words, according to the speakers' reactions, there is little point in struggling to maintain a language, if what is conserved is not the group’s language but another.

Keywords: maintenance, minority languages, endangered languages, francoprovençal

Procedia PDF Downloads 417

Authors: Amit Kumar Happy

Abstract:

This paper is motivated by the importance of multi-sensor image fusion with a specific focus on infrared (IR) and visual image (VI) fusion for various applications, including military reconnaissance. Image fusion can be defined as the process of combining two or more source images into a single composite image with extended information content that improves visual perception or feature extraction. These images can be from different modalities like visible camera & IR thermal imager. While visible images are captured by reflected radiations in the visible spectrum, the thermal images are formed from thermal radiation (infrared) that may be reflected or self-emitted. A digital color camera captures the visible source image, and a thermal infrared camera acquires the thermal source image. In this paper, some image fusion algorithms based upon multi-scale transform (MST) and region-based selection rule with consistency verification have been proposed and presented. This research includes the implementation of the proposed image fusion algorithm in MATLAB along with a comparative analysis to decide the optimum number of levels for MST and the coefficient fusion rule. The results are presented, and several commonly used evaluation metrics are used to assess the suggested method's validity. Experiments show that the proposed approach is capable of producing good fusion results. While deploying our image fusion algorithm approaches, we observe several challenges from the popular image fusion methods. While high computational cost and complex processing steps of image fusion algorithms provide accurate fused results, they also make it hard to become deployed in systems and applications that require a real-time operation, high flexibility, and low computation ability. So, the methods presented in this paper offer good results with minimum time complexity.

Keywords: image fusion, IR thermal imager, multi-sensor, multi-scale transform

Procedia PDF Downloads 92

Authors: Małgorzata Smolarek

Abstract:

One of the barriers to the development of small and medium-sized enterprises (SME) are difficulties connected with management of human resources. The first part of article defines the specifics of staff management in small and medium enterprises. The practical part presents results of own studies in the area of diagnosis of the state of the human resources management in small and medium-sized enterprises in Poland. It takes into account its impact on the functioning of SME in a variable environment. This part presents findings of empirical studies, which enabled verification of the hypotheses and formulation of conclusions. The findings presented in this paper were obtained during the implementation of the project entitled 'Tendencies and challenges in strategic managing SME in Silesian Voivodeship.' The aim of the studies was to diagnose the state of strategic management and human resources management taking into account its impact on the functioning of small and medium enterprises operating in Silesian Voivodeship in Poland and to indicate improvement areas of the model under diagnosis. One of the specific objectives of the studies was to diagnose the state of the process of strategic management of human resources and to identify fundamental problems. In this area, the main hypothesis was formulated: The enterprises analysed do not have comprehensive strategies for management of human resources. The survey was conducted by questionnaire. Main Research Results: Human resource management in SMEs is characterized by simplicity of procedures, and the lack of sophisticated tools and its specificity depends on the size of the company. The process of human resources management in SME has to be adjusted to the structure of an organisation, result from its objectives, so that an organisation can fully implement its strategic plans and achieve success and competitive advantage on the market. A guarantee of success is an accurately developed policy of human resources management based on earlier analyses of the existing procedures and possessed human resources.

Keywords: human resources management, human resources policy, personnel strategy, small and medium enterprises

Procedia PDF Downloads 224

Authors: Emery A. Coppola Jr., Suna Cinar, Ferenc Szidarovszky

Abstract:

Over-pumping of groundwater resources is a serious problem world-wide. In addition to depleting this valuable resource, hydraulically connected sensitive ecological resources like wetlands and surface water bodies are often impacted and even destroyed by over-pumping. Effectively managing groundwater in a way that satisfy human demand while preserving natural resources is a daunting challenge that will only worsen with growing human populations and climate change. As presented in this paper, a numerical flow model developed for a hypothetical but realistic groundwater/surface water system was combined with formal optimization. Response coefficients were used in an optimization management model to maximize groundwater pumping in a complex, multi-layered aquifer system while protecting against groundwater over-draft, streamflow depletion, and wetland impacts. Pumping optimization was performed for different constraint sets that reflect different resource protection preferences, yielding significantly different optimal pumping solutions. A sensitivity analysis on the optimal solutions was performed on select response coefficients to identify differences between wet and dry periods. Stochastic optimization was also performed, where uncertainty associated with changing irrigation demand due to changing weather conditions are accounted for. One of the strengths of this optimization approach is that it can efficiently and accurately identify superior management strategies that minimize risk and adverse environmental impacts associated with groundwater pumping under different hydrologic conditions.

Keywords: numerical groundwater flow modeling, water management optimization, groundwater overdraft, streamflow depletion

Procedia PDF Downloads 217

Authors: Ozgu Hafizoglu

Abstract:

An analogy is an essential tool of human cognition that enables connecting diffuse and diverse systems with physical, behavioral, principal relations that are essential to learning, discovery, and innovation. The Cognitive Model of Analogy (CMA) leads and creates patterns of pathways to transfer information within and between domains in science, just as happens in the brain. The connectome of the brain shows how the brain operates with mental leaps between domains and mental hops within domains and the way how analogical reasoning mechanism operates. This paper demonstrates the CMA as an evolutionary approach to science, technology, and life. The model puts forward the challenges of deep uncertainty about the future, emphasizing the need for flexibility of the system in order to enable reasoning methodology to adapt to changing conditions in the new era, especially post-pandemic. In this paper, we will reveal how to draw an analogy to scientific research to discover new systems that reveal the fractal schema of analogical reasoning within and between the systems like within and between the brain regions. Distinct phases of the problem-solving processes are divided thusly: stimulus, encoding, mapping, inference, and response. Based on the brain research so far, the system is revealed to be relevant to brain activation considering each of these phases with an emphasis on achieving a better visualization of the brain’s mechanism in macro context; brain and spinal cord, and micro context: glia and neurons, relative to matching conditions of analogical reasoning and relational information, encoding, mapping, inference and response processes, and verification of perceptual responses in four-term analogical reasoning. Finally, we will relate all these terminologies with these mental leaps, mental maps, mental hops, and mental loops to make the mental model of CMA clear.

Keywords: analogy, analogical reasoning, brain connectome, cognitive model, neurons and glia, mental leaps, mental hops, mental loops

Procedia PDF Downloads 152

Authors: Anthony I. Otuonye, Juliet N. Odii, Perpetual N. Ibe

Abstract:

The obvious challenges faced by most commercial bank customers while using the services of ATMs (Automated Teller Machines) across developing countries have triggered the need for an improved system with better security features. Current ATM systems are password-based, and research has proved the vulnerabilities of these systems to heinous attacks and manipulations. We have discovered by research that the security of current ATM-assisted banking services in most developing countries of the world is easily broken and maneuvered by fraudsters, majorly because it is quite difficult for these systems to identify an impostor with privileged access as against the authentic bank account owner. Again, PIN (Personal Identification Number) code passwords are easily guessed, just to mention a few of such obvious limitations of traditional ATM operations. In this research work also, we have developed a system of fingerprint biometrics with PIN code Authentication that seeks to improve the security features of traditional ATM installations as well as other Banking Services. The aim is to ensure better security at all ATM installations and raise the confidence of bank customers. It is hoped that our system will overcome most of the challenges of the current password-based ATM operation if properly applied. The researchers made use of the OOADM (Object-Oriented Analysis and Design Methodology), a software development methodology that assures proper system design using modern design diagrams. Implementation and coding were carried out using Visual Studio 2010 together with other software tools. Results obtained show a working system that provides two levels of security at the client’s side using a fingerprint biometric scheme combined with the existing 4-digit PIN code to guarantee the confidence of bank customers across developing countries.

Keywords: fingerprint biometrics, banking operations, verification, ATMs, PIN code

Procedia PDF Downloads 22

Authors: Youmen Chaaban, Maha Ellili-Cherif

Abstract:

The purpose of this study was to examine the effects of teachers’ individual characteristics and perceptions of environmental factors that impact their technology integration into their EFL (English as a Foreign Language) classrooms. To this end, a national survey examining EFL teachers’ perceptions was conducted at Qatari Independent schools. 263 EFL teachers responded to the survey which investigated several factors known to impact technology integration. These factors included technology availability and support, EFL teachers’ perceptions of importance, obstacles facing technology integration, competency with technology use, and formal technology preparation. The impact of these factors on teachers’ and students’ educational technology use was further measured. The analysis of the data included descriptive statistics and a chi-square analysis test in order to examine the relationship between these factors. The results revealed important cultural factors that impact teachers’ practices and attitudes towards technology in the Qatari context. EFL teachers were found to integrate technology most prominently for instructional delivery and preparation. The use of technology as a learning tool received less emphasis. Teachers further revealed consistent perceptions about obstacles to integration, high levels of confidence in using technology, and consistent beliefs about the importance of using technology as a learning tool. Further analyses of the factors impacting technology integration can assist with Qatar’s technology advancement and development efforts by indicating the areas of strength and areas where additional efforts are needed. The results will lay the foundation for conducting context-specific professional development suitable for the needs of EFL teachers in Qatari Independent Schools.

Keywords: educational technology integration, Qatar, EFL, independent schools, ICT

Procedia PDF Downloads 367

Authors: Jie Zhang, Qianyu Guo, Tieyi Zhang, Zhiyong Feng, Xiaohong Li

Abstract:

With the widespread popularity of mobile devices and the development of artificial intelligence (AI), deep learning (DL) has been extensively applied in Android apps. Compared with traditional Android apps (traditional apps), deep learning based Android apps (DL-based apps) need to use more third-party application programming interfaces (APIs) to complete complex DL inference tasks. However, existing methods (e.g., FlowDroid) for detecting sensitive information leakage in Android apps cannot be directly used to detect DL-based apps as they are difficult to detect third-party APIs. To solve this problem, we design DLtrace; a new static information flow analysis tool that can effectively recognize third-party APIs. With our proposed trace and detection algorithms, DLtrace can also efficiently detect privacy leaks caused by sensitive APIs in DL-based apps. Moreover, using DLtrace, we summarize the non-sequential characteristics of DL inference tasks in DL-based apps and the specific functionalities provided by DL models for such apps. We propose two formal definitions to deal with the common polymorphism and anonymous inner-class problems in the Android static analyzer. We conducted an empirical assessment with DLtrace on 208 popular DL-based apps in the wild and found that 26.0% of the apps suffered from sensitive information leakage. Furthermore, DLtrace has a more robust performance than FlowDroid in detecting and identifying third-party APIs. The experimental results demonstrate that DLtrace expands FlowDroid in understanding DL-based apps and detecting security issues therein.

Keywords: mobile computing, deep learning apps, sensitive information, static analysis

Procedia PDF Downloads 144

Authors: Shoukat Ali, Abdul Qadir Jandga, Amjad Hussain

Abstract:

Objective: The main purpose of this study is to compare the Percent Depth dose (PDD) and In-plane and cross-plane profiles of Varian Golden beam data to the measured data of 6 and 18 MV photons for the commissioning of Eclipse treatment planning system. Introduction: Commissioning of treatment planning system requires an extensive acquisition of beam data for the clinical use of linear accelerators. Accurate dose delivery require to enter the PDDs, Profiles and dose rate tables for open and wedges fields into treatment planning system, enabling to calculate the MUs and dose distribution. Varian offers a generic set of beam data as a reference data, however not recommend for clinical use. In this study, we compared the generic beam data with the measured beam data to evaluate the reliability of generic beam data to be used for the clinical purpose. Methods and Material: PDDs and Profiles of Open and Wedge fields for different field sizes and at different depths measured as per Varian’s algorithm commissioning guideline. The measurement performed with PTW 3D-scanning water phantom with semi-flex ion chamber and MEPHYSTO software. The online available Varian Golden Beam Data compared with the measured data to evaluate the accuracy of the golden beam data to be used for the commissioning of Eclipse treatment planning system. Results: The deviation between measured vs. golden beam data was in the range of 2% max. In PDDs, the deviation increases more in the deeper depths than the shallower depths. Similarly, profiles have the same trend of increasing deviation at large field sizes and increasing depths. Conclusion: Study shows that the percentage deviation between measured and golden beam data is within the acceptable tolerance and therefore can be used for the commissioning process; however, verification of small subset of acquired data with the golden beam data should be mandatory before clinical use.

Keywords: percent depth dose, flatness, symmetry, golden beam data

Procedia PDF Downloads 468

Authors: Adie, Julius Undiukeye

Abstract:

This research investigated the practice of academic leadership succession planning in Nigerian higher education institutions, drawing on the lived experiences of the academic staff of the case study institutions. It is multi-case study research that adopts a qualitative research method. Ten participants (mainly academic staff) were used as the study sample. The study was guided by four research questions. Semi-structured interviews and archival information from official documents formed the sources of data. The data collected was analyzed using the Constant Comparative Technique (CCT) to generate empirical insights and facts on the subject of this paper. The following findings emerged from the data analysis: firstly, there was no formalized leadership succession plan in place in the institutions that were sampled for this study; secondly, despite the absence of a formal succession plan, the data indicates that academics believe that succession planning is very significant for institutional survival; thirdly, existing practices of succession planning in the sampled institutions, takes the forms of job seniority ranking, political process and executive fiat, ad-hoc arrangement, and external hiring; and finally, data revealed that there are some barriers to the practice of succession planning, such as traditional higher education institutions’ characteristics (e.g. external talent search, shared governance, diversity, and equality in leadership appointment) and the lack of interest in leadership positions. Based on the research findings, some far-reaching recommendations were made, including the urgent need for the ‘formalization’ of leadership succession planning by the higher education institutions concerned, through the design of an official policy framework.

Keywords: academic leadership, succession, planning, higher education

Procedia PDF Downloads 119

Authors: Pankaj Kumar Kalita

Abstract:

Ineffectiveness of formal institutional mechanisms such as official audit to improve public service delivery has been a serious concern to scholars working on governance reforms in developing countries. Scholars argue that public service delivery in local self-governing institutions can be improved through application of informal mechanisms such as social accountability. Social accountability has been reinforced with the engagement of citizens and civic organizations in the process of service delivery to reduce the governance gap in developing countries. However, there are challenges that may impede the scope of establishing social accountability initiatives in the performance of local self-governing institutions. This study makes an attempt to investigate the factors that may impede the scope of establishing social accountability, particularly in culturally heterogeneous societies like India. While analyzing the implementation of two rural development schemes by Panchayats, the local self-governing institutions functioning in rural Assam in India, this study argues that the scope of establishing social accountability in the performance of local self-governing institutions, particularly in culturally heterogeneous societies in developing countries will be impeded by the absence of inter-caste and inter-religion networks. Data has been collected from five selected districts of Assam using in-depth interview method and survey method. The study further contributes to the debates on 'good governance' and citizen-centric approaches in developing countries.

Keywords: citizen engagement, local self-governing institutions, networks, social accountability

Procedia PDF Downloads 301

Authors: Michael A. Ifarajimi

Abstract:

The transition from being a graduate teacher to a highly accomplished teacher has been widely portrayed in literature as challenging. Pre-service teachers are troubled with complex issues such as implementing, assessment, meeting prescribed learning outcomes, taking risks, supporting eco sustainability, etc. This list is not exhaustive as they are further complicated when the concerns extend beyond the classroom into the broader school setting and community. Meanwhile, the pre-service teacher education programme as is currently run in Nigeria, cannot adequately prepare newly trained teachers for the realities of classroom teaching. And there appears to be no formal structure in place for mentoring such teachers by the more seasoned teachers in schools. The central research question of the study, therefore, is which institutional framework can be distinguished for enactment in mentoring practices in teacher education? The study was conducted in five colleges of education in South-West Nigeria, and a sample of 1000 pre-service teachers on their final year practicum was randomly selected from the colleges of education. A pre-service teacher mentorship programme (PTMP) framework was designed and implemented, with a focus on the impact of transformative inquiry on the pre-service teacher support system. The study discovered a significant impact of mentoring on pre-service teacher’s professional transformation. The study concluded that institutionalizing mentorship through transformative inquiry is a means to sustainable teacher education, professional growth, and effective classroom practice. The study recommended that the government should enact policies that will promote mentoring in teacher education and establish a framework for the implementation of mentoring practices in the colleges of education in Nigeria.

Keywords: institutionalization, mentoring, pre-service teachers teacher education, transformative inquiry

Procedia PDF Downloads 112

Authors: Aarthi Sridhar, Henri Gavin, Karah Kelly

Abstract:

Rolling Isolation Systems (RISs) are simple and effective means to mitigate earthquake hazards to equipment in critical and precious facilities, such as hospitals, network collocation facilities, supercomputer centers, and museums. The RIS works by isolating components acceleration the inertial forces felt by the subsystem. The RIS consists of two platforms with counter-facing concave surfaces (dishes) in each corner. Steel balls lie inside the dishes and allow the relative motion between the top and bottom platform. Formerly, a mathematical model for the dynamics of RISs was developed using Lagrange’s equations (LE) and experimentally validated. A new mathematical model was developed using Gauss’s Principle of Least Constraint (GPLC) and verified by comparing impulse response trajectories of the GPLC model and the LE model in terms of the peak displacements and accelerations of the top platform. Mathematical models for the RIS are tedious to derive because of the non-holonomic rolling constraints imposed on the system. However, using Gauss’s Principle of Least constraint to find the equations of motion removes some of the obscurity and yields a system that can be easily extended. Though the GPLC model requires more state variables, the equations of motion are far simpler. The non-holonomic constraint is enforced in terms of accelerations and therefore requires additional constraint stabilization methods in order to avoid the possibility that numerical integration methods can cause the system to go unstable. The GPLC model allows the incorporation of more physical aspects related to the RIS, such as contribution of the vertical velocity of the platform to the kinetic energy and the mass of the balls. This mathematical model for the RIS is a tool to predict the motion of the isolation platform. The ability to statistically quantify the expected responses of the RIS is critical in the implementation of earthquake hazard mitigation.

Keywords: earthquake hazard mitigation, earthquake isolation, Gauss’s Principle of Least Constraint, nonlinear dynamics, rolling isolation system

Procedia PDF Downloads 235

Authors: Michele Romanello

Abstract:

COVID-19 has spread rapidly in Brazil since March 2020, making the country one of the most affected in the world by the pandemic. From an economic point of view, Brazil came from a pre-pandemic period characterized by low or negative growth, with a resulting increase in the number of unemployed and informal workers. This paper considers lockdown implementation in the situation of the large presence of informality in the economy. The objective of the paper is to analyze how the country has tried to help workers affected by economic crisis after the implementation of measures against COVID-19 and whether the emergency assistance from the government has been adequate to contain the increase of informal workers and unemployed. The methodology used in this paper is survival analysis. Through this methodology, the formality – informality, and informality – unemployment transitions are analyzed. This analysis draws data from the Continuous National Household Sample Survey (Continuous PNAD) and from the National Household Sample Survey COVID-19 (PNAD COVID-19) covering the period of January 2020 – July 2020. The results indicate that emergency aid has been not sufficient to reduce the transitions of workers from formal to informal jobs and from informal jobs to unemployment. Emergency aid has been not sufficient considering the previous situation of the country, with levels of poverty and inequality very high. In the next months, another fundamental determinant of the income trajectory in the context of the COVID-19 crisis will be the continuity of the emergency aid, especially considering the fiscal adjustment policy pursued by the government. Therefore, the current negative portrait may be even worse in the coming months.

Keywords: Brazil, COVID-19, informality, survival analysis

Procedia PDF Downloads 93

Authors: A. S. Akinbani

Abstract:

Overdependence on petroleum is causing set back in Nigeria economy. Field survey was carried out to assess the profitability and production of selected arable crops in six selected towns and villages of Ondo southwestern. Data were collected from 240 arable crop farmers with the aid of both primary and secondary data. Data were collected with the use of oral interview and structured questionnaires. Data collected were analyzed using both descriptive and inferential statistics. Forty farmers were randomly selected to give a total number of 240 respondents. 84 farmers interviewed had no formal education, 72 had primary education, 50 farmers attained secondary education while 38 attained beyond secondary education. The majority of the farmers hold less than 10 acres of land. The data collected from the field showed that 192 farmers practiced mixed cropping which includes mixtures of yam, cowpea, cocoyam, vegetable, cassava and maize while only 48 farmers practiced monocropping. Among the sampled farmers, 93% agreed that arable production is profitable while 7% disagreed. The findings show that managerial practices that conserve the soil fertility and reduce labor cost such as planting of leguminous crops and herbicide application instead of using hand held hoe for weeding should be encouraged. All the respondents agreed that yam, cowpea, cocoyam, sweet potato, rice, maize and vegetable production will solve the problem of hunger and increase standard of living compared with petroleum product that Nigeria relied on as means of livelihood.

Keywords: farmers, arable crop, cocoyam, respondents, maize

Procedia PDF Downloads 236

Authors: Deependra Prasad Sarraf, Gajendra Prasad Rauniar, Robin Maskey, Rajiv Maharjan, Ashish Shrestha, Ramayan Prasad Kushwaha

Abstract:

Objectives: To assess the perception of faculties towards online teaching-learning activities conducted during the COVID-19 pandemic and to identify barriers and facilitators to conducting online teaching-learning activities in our context. Methods: A cross-sectional study was conducted among faculties at B. P. Koirala Institute of Health Sciences using a 26-item semi-structured questionnaire. A Google Form was prepared, and its link was sent to the faculties via email. Descriptive statistics were calculated, and findings were presented as tables and graphs. Results: Out of 158 faculties, the majority were male (66.46%), medical faculties (85.44%), and assistant professors (46.84%). Only 16 (10.13%) faculties had received formal training regarding preparing and/or delivering online teaching learning activities. Out of 158, 133 (84.18%) faculties faced technical and internet issues. The most common advantage and disadvantage of online teaching learning activities perceived by the faculties were ‘not limited to time or place’ (94.30%) and ‘lack of interaction with the students’ (82.28%), respectively. Majority (94.3%) of them had a positive perception towards online teaching-learning activities conducted during COVID-19 pandemic. Slow internet connection (91.77%) and frequent electricity interruption (82.91%) were the most common perceived barriers to online teaching-learning. Conclusions: Most of the faculties had a positive perception towards online teaching-learning activities. Academic leaders and stakeholders should provide uninterrupted internet and electricity connectivity, training on online teaching-learning platform, and timely technical support.

Keywords: COVID-19 pandemic, faculties, medical education, perception

Procedia PDF Downloads 155