Search results for: efficient SCADA based monitoring system

Authors: Ahmed Tawfik, Fausto Giunchiglia, Vincenzo Maltese

Abstract:

Ontologies provide a common understanding of a specific domain of interest that can be communicated between people and used as background knowledge for automated reasoning in a wide range of applications. In this paper we address the design of multilingual ontologies following well-defined knowledge engineering methodologies with the support of novel collaborative development approaches. In particular, we present a collaborative platform which allows ontologies to be developed incrementally in multiple languages. This is made possible via an appropriate mapping between language independent concepts and one lexicalization per language (or a lexical gap in case such lexicalization does not exist). The collaborative platform has been designed to support the development of the Universal Knowledge Core, a multilingual ontology currently in English, Italian, Chinese, Mongolian, Hindi, and Bangladeshi. Its design follows a workflow-based development methodology that models resources as a set of collaborative objects and assigns customizable workflows to build and maintain each collaborative object in a community driven manner, with extensive support of modern web 2.0 social and collaborative features.

Keywords: knowledge diversity, knowledge representation, ontology, development

Procedia PDF Downloads 377

Authors: Kitjapat Phuvoravan, Phattaraphong Ponsorn

Abstract:

In the design of Castellated beams (CB), the web post buckling acted by horizontal shear force is one of the important failure modes that have to be considered. It is also a dominant governing mode when design following the AISC 31 design guideline which is just published. However, the equation of the web post buckling given by the guideline is still questionable for most of the engineers. So the purpose of this paper is to study and provide a proposed equation for design the web post buckling with more simplified and convenient to use. The study is also including the improper of the safety factor given by the guideline. The proposed design equation is acquired by regression method based on the results of finite element analysis. An amount of Cellular beam simulated to study is modelled by using shell element, analysis with both geometric and material nonlinearity. The results of the study show that the use of the proposed equation to design the web post buckling in Castellated beams is more simple and precise for computation than the equations provided from the guideline.

Keywords: castellated beam, web opening, web post buckling, design equation

Procedia PDF Downloads 289

Authors: Linyu Wang, Jiahui Ma, Jianhong Xiang, Hanyu Jiang

Abstract:

the traditional greedy compressed sensing algorithm needs to know the signal sparsity when recovering the signal, but the signal sparsity in the practical application can not be obtained as a priori information, and the recovery accuracy is low, which does not meet the needs of practical application. To solve this problem, this paper puts forward Piecewise adaptive backtracking orthogonal least squares algorithm. The algorithm is divided into two stages. In the first stage, the sparsity pre-estimation strategy is adopted, which can quickly approach the real sparsity and reduce time consumption. In the second stage iteration, the correction strategy and adaptive step size are used to accurately estimate the sparsity, and the backtracking idea is introduced to improve the accuracy of signal recovery. Through experimental simulation, the algorithm can accurately recover the estimated signal with fewer iterations when the sparsity is unknown.

Keywords: compressed sensing, greedy algorithm, least square method, adaptive reconstruction

Procedia PDF Downloads 131

Authors: Ven. Bhikkhu Ananda

Abstract:

Mind emerged from the quantum field. The practice of mediation can take one to the state of enlightenment. During meditation, the change in the very behaviour of electrons, protons, and photons and their fields, known to be quantum fields, create mental states. This could well be expressed in the mathematical language of quantum mechanics. This paper qualifies and quantifies mental states created during meditation and is explained by quantum mechanics. In meditation, phenomenology can be seen as the process of enlightenment. In this process, the emptiness shown in Buddhist philosophy and the emptiness of quantum fields is compared. The methodologies used here are mindfulness meditation and metta mediation (compassion meditation ). The research findings suggest not only quantumness and change are consciousness, but well-founded behaviour of an individual in the society, which can amplify the positive behaviour caused by mental states, and that emptiness and impermanence of phenomenon are based on dependent arisings. The presence of quantum coherence indicates that quantum mechanics has a role in the evolution of the pure mind and the phenomenology created thereof in mediation.

Keywords: meditation, mental states, quantum mechanics, enlightenment

Procedia PDF Downloads 49

Authors: H. R. Khodaei, M. Moradi, A. H. Tajik

Abstract:

The type of foundation commonly used today for berthing dolphins is a set of tubular steel piles with large diameters, which are known as monopiles. The design of these monopiles is based on the theories related with laterally loaded piles. One of the most common methods to analyze and design the piles subjected to lateral loads is the p-y curves. In the present study, centrifuge tests are conducted in order to obtain the p-y curves. Series of tests were designed in order to investigate the scaling laws in the centrifuge for monotonic loading. Also, two important parameters, the embedded depth L of the pile in the soil and free length e of the pile, as well as their ratios were studied via five experimental tests. Finally, the p-y curves of API are presented to be compared with the curves obtained from the tests so that the differences could be demonstrated. The results show that the p-y curves proposed by API highly overestimate the lateral load bearing capacity. It suggests that these curves need correction and modification for each site as the soil conditions change.

Keywords: centrifuge modeling, monopile, lateral loading, p-y curves

Procedia PDF Downloads 233

Authors: Salma E. Ahmed

Abstract:

Since the mid 50’s, enormous attention has been paid towards nanocarriers and their applications in drug and gene delivery. Among these vesicles, liposomes and micelles have been heavily investigated due to their many advantages over other types. Liposomes, for instance, are mostly distinguished by their ability to encapsulate hydrophobic, hydrophilic and amphiphilic drugs. Micelles, on the other hand, are self-assembled shells of lipids, amphiphilic or oppositely charged block copolymers that, once exposed to aqueous media, can entrap hydrophobic agents, and possess prolonged circulation in the bloodstream. Both carriers are considered compatible and biodegradable. Nevertheless, they have limited stabilities, chemical versatilities, and drug encapsulation efficiencies. In order to overcome these downsides, strategies for optimizing a novel drug delivery system that has the architecture of liposomes and polymeric characteristics of micelles have been evolved. Polymersomes are vehicles with fluidic cores and hydrophobic shells that are protected and isolated from the aqueous media by the hydrated hydrophilic brushes which give the carrier its distinctive polymeric bilayer shape. Similar to liposomes, this merit enables the carrier to encapsulate a wide range of agents, despite their affinities and solubilities in water. Adding to this, the high molecular weight of the amphiphiles that build the body of the polymersomes increases their colloidal and chemical stabilities and reduces the permeability of the polymeric membranes, which makes the vesicles more protective to the encapsulated drug. These carriers can also be modified in ways that make them responsive when targeted or triggered, by manipulating their composition and attaching moieties and conjugates to the body of the carriers. These appealing characteristics, in addition to the ease of synthesis, gave the polymersomes greater potentials in the area of drug delivery. Thus, their design and characterization, in comparison with liposomes and micelles, are briefly reviewed in this work.

Keywords: controlled release, liposomes, micelles, polymersomes, targeting

Procedia PDF Downloads 186

Authors: A. Baloglu, A. Çınar

Abstract:

Different tools and technologies were implemented for Crisis Response and Management (CRM) which is generally using available network infrastructure for information exchange. Depending on type of disaster or crisis, network infrastructure could be affected and it could not be able to provide reliable connectivity. Thus any tool or technology that depends on the connectivity could not be able to fulfill its functionalities. As a solution, a new message exchange framework has been developed. Framework provides offline/online information exchange platform for CRM Information Systems (CRMIS) and it uses XML compression and packet prioritization algorithms and is based on open source web technologies. By introducing offline capabilities to the web technologies, framework will be able to perform message exchange on unreliable networks. The experiments done on the simulation environment provide promising results on low bandwidth networks (56kbps and 28.8 kbps) with up to 50% packet loss and the solution is to successfully transfer all the information on these low quality networks where the traditional 2 and 3 tier applications failed.

Keywords: crisis response and management, XML messaging, web services, XML compression, mining

Procedia PDF Downloads 326

Authors: Yi-De Liu

Abstract:

Cultural tourism is one of the largest and fastest growing global tourism markets and the cultures are increasingly being used to promote cities and to increase their competitiveness and attractiveness. One of the major forms of cultural tourism development undertaken throughout Europe has been the staging of a growing number of cultural events. The event of European Capitals of Culture (ECOC) is probably the best example of the new trends of cultural tourism in Europe, which is therefore used in this article to demonstrate some of the key issues surrounding the event-led strategy for cultural tourism development. Based on the experience of the 2008 ECOC Liverpool, UK, the study’s findings point to a number of ways in which the ECOC constitutes a boost for the development of cultural tourism in terms of realising experience economy, enhancing city image, facilitating urban regeneration, promoting cultural production and consumption, as well as establishing partnerships. This study is concluded by drawing some critical factors that event and tourism organisers should consider.

Keywords: cultural tourism, event tourism, cultural event, European capital of culture, Liverpool

Procedia PDF Downloads 681

Authors: Pola Goldberg Oppenheimer, Stephan Hofmann, Sumeet Mahajan

Abstract:

Owing to its fingerprint molecular specificity and high sensitivity, surface-enhanced Raman scattering (SERS) is an established analytical tool for chemical and biological sensing capable of single-molecule detection. A strong Raman signal can be generated from SERS-active platforms given the analyte is within the enhanced plasmon field generated near a noble-metal nanostructured substrate. The key requirement for generating strong plasmon resonances to provide this electromagnetic enhancement is an appropriate metal surface roughness. Controlling nanoscale features for generating these regions of high electromagnetic enhancement, the so-called SERS ‘hot-spots’, is still a challenge. Significant advances have been made in SERS research, with wide-ranging techniques to generate substrates with tunable size and shape of the nanoscale roughness features. Nevertheless, the development and application of SERS has been inhibited by the irreproducibility and complexity of fabrication routes. The ability to generate straightforward, cost-effective, multiplex-able and addressable SERS substrates with high enhancements is of profound interest for miniaturised sensing devices. Carbon nanotubes (CNTs) have been concurrently, a topic of extensive research however, their applications for plasmonics has been only recently beginning to gain interest. CNTs can provide low-cost, large-active-area patternable substrates which, coupled with appropriate functionalization capable to provide advanced SERS-platforms. Herein, advanced methods to generate CNT-based SERS active detection platforms will be discussed. First, a novel electrohydrodynamic (EHD) lithographic technique will be introduced for patterning CNT-polymer composites, providing a straightforward, single-step approach for generating high-fidelity sub-micron-sized nanocomposite structures within which anisotropic CNTs are vertically aligned. The created structures are readily fine-tuned, which is an important requirement for optimizing SERS to obtain the highest enhancements with each of the EHD-CNTs individual structural units functioning as an isolated sensor. Further, gold-functionalized VACNTFs are fabricated as SERS micro-platforms. The dependence on the VACNTs’ diameters and density play an important role in the Raman signal strength, thus highlighting the importance of structural parameters, previously overlooked in designing and fabricating optimized CNTs-based SERS nanoprobes. VACNTs forests patterned into predesigned pillar structures are further utilized for multiplex detection of bio-analytes. Since CNTs exhibit electrical conductivity and unique adsorption properties, these are further harnessed in the development of novel chemical and bio-sensing platforms.

Keywords: carbon nanotubes (CNTs), EHD patterning, SERS, vertically aligned carbon nanotube forests (VACNTF)

Procedia PDF Downloads 320

Authors: Vandana Mohan, Ashwani Koul

Abstract:

Aim: To evaluate the potential of Aqueous Tinospora cordifolia stem extract (Aq.Tc) and Arabinogalactan (AG) on pulmonary carcinogenesis and associated tumor markers. Background: Lung cancer is one of the most frequent malignancy with high mortality rate due to limitation of early detection resulting in low cure rates. Current research effort focuses on identifying some blood-based biomarkers like CEA, ctDNA and LDH which may have potential to detect cancer at an early stage, evaluation of therapeutic response and its recurrence. Medicinal plants and their active components have been widely investigated for their anticancer potentials. Aqueous preparation of T. Cordifolia extract is enriched in the polysaccharide fraction i.e., AG when compared with other types of extract. Moreover, reports are available of polysaccharide fraction of T. Cordifolia in in vitro lung cancer models which showed profound anti-metastatic activity against these cell lines. However, not much has been explored about its effect in in vivo lung cancer models and the underlying mechanism involved. Experimental Design: Mice were randomly segregated into six groups. Group I animals served as control. Group II animals were administered with Aq. Tc extract (200 mg/kg b.w.) p.o.on the alternate days. Group III animals were fed with AG (7.5 mg/kg b.w.) p.o. on the alternate days (thrice a week). Group IV animals were installed with Benzo(a)pyrene (50 mg/kg b.w.), i.p. twice within an interval of two weeks. Group V animals received Aq. Tc extract as in group II along with it B(a)P was installed after two weeks of Aq. Tc administration following the same protocol as for group IV. Group VI animals received AG as in group III along with it B(a)P was installed after two weeks of AG administration. Results: Administration of B(a)P to mice resulted in increased tumor incidence, multiplicity and pulmonary somatic index with concomitant increase in serum/plasma markers like CEA, ctDNA, LDH and TNF-α.Aq.Tc and AG supplementation significantly attenuated these alterations at different stages of tumorigenesis thereby showing potent anti-cancer effect in lung cancer. A pronounced decrease in serum/plasma markers were observed in animals treated with Aq.Tc as compared to those fed with AG. Also, extensive hyperproliferation of alveolar epithelium was prominent in B(a)P induced lung tumors. However, treatment of Aq.Tc and AG to lung tumor bearing mice exhibited reduced alveolar damage evident from decreased number of hyperchromatic irregular nuclei. A direct correlation between the concentration of tumor markers and the intensity of lung cancer was observed in animals bearing cancer co-treated with Aq.Tc and AG. Conclusion: These findings substantiate the chemopreventive potential of Aq.Tc and AG against lung tumorigenesis. Interestingly, Aq.Tc was found to be more effective in modulating the cancer as reflected by various observations which may be attributed to the synergism offered by various components of Aq.Tc. Further studies are in progress to understand the underlined mechanism in inhibiting lung tumorigenesis by Aq.Tc and AG.

Keywords: Arabinogalactan, Benzo(a)pyrene B(a)P, carcinoembryonic antigen (CEA), circulating tumor DNA (ctDNA), lactate dehydrogenase (LDH), Tinospora cordifolia

Procedia PDF Downloads 171

Authors: Youcef Faci, Ahmed Mebtouche, Badredine Maalem

Abstract:

n the present work, an experimental study is carried out using acoustic emission and DIC techniques to analyze the damage of open hole woven composite carbon/epoxy under solicitations. Damage mechanisms were identified based on acoustic emission parameters such as amplitude, energy, and cumulative account. The findings of the AE measurement were successfully identified by digital image correlation (DIC) measurements. The evolution value of bolt angle inclination during tensile tests was studied and analyzed. Consequently, the relationship between the bolt inclination angles during tensile tests associated with failure modes of fastened joints of composite materials is determined. Moreover, there is an interaction between laminate pattern, laminate thickness, fastener size and type, surface strain concentrations, and out-of-plane displacement. Conclusions are supported by microscopic visualizations of the composite specimen.

Keywords: tensile test, damage, acoustic emission, digital image correlation

Procedia PDF Downloads 56

Authors: S. P. Bansal, Mukesh Kumar Sharma, Ankit Prabhakar

Abstract:

Luhri Hydroelectric Project Stage-I (210 MW) is a run of the river type development with a dam toe surface powerhouse (122m long, 50.50m wide, and 65.50m high) on the right bank of river Satluj in Himachal Pradesh, India. The project is located in the inner lesser Himalaya between Dhauladhar Range in the south and higher Himalaya in the north in the seismically active region. At the project, the location river is confined within narrow V-shaped valleys with little or no flat areas close to the river bed. Nearly 120m high cut slopes behind the powerhouse are proposed from the powerhouse foundation level of 795m to ± 915m to accommodate the surface powerhouse. The stability of 120m high cut slopes is a prime concern for the reason of risk involved. The slopes behind the powerhouse will be excavated in mainly in augen gneiss, fresh to weathered in nature, and biotite rich at places. The foliation joints are favorable and dipping inside the hill. Two valleys dipping steeper joints will be encountered on the slopes, which can cause instability during excavation. Geological exploration plays a vital role in designing and optimization of cut slopes. SWEDGE software has been used to analyze the geometry and stability of surface wedges in cut slopes. The slopes behind powerhouse have been analyzed in three zones for stability analysis by providing a break in the continuity of cut slopes, which shall provide quite substantial relief for slope stabilization measure. Pseudo static analysis has been carried out for the stabilization of wedges. The results indicate that many large wedges are forming, which have a factor of safety less than 1. The stability measures (support system, bench width, slopes) have been planned so that no wedge failure may occur in the future.

Keywords: cut slopes, geotechnical investigations, Himalayan geology, surface powerhouse, wedge failure

Procedia PDF Downloads 105

Authors: Hsiu-Hua Cheng, Chi-Wei Chen

Abstract:

Lurking behaviour is common in information-seeking oriented communities. Transferring users with lurking behaviour to be contributors can assist virtual communities to obtain competitive advantages. Based on the ecological cognition framework, this study proposes a model to examine the antecedents of lurking behaviour in information-seeking oriented virtual communities. This study argues desire for emotional support, desire for information support, desire for performance-approach, desire for performance -avoidance, desire for mastery-approach, desire for mastery-avoidance, desire for ability trust, desire for benevolence trust, and desire for integrity trust effect on lurking behaviour. This study offers an approach to understanding the determinants of lurking behaviour in online contexts.

Keywords: lurking behaviour, the ecological cognition framework, Information-seeking oriented virtual communities, desire

Procedia PDF Downloads 263

Authors: Yu-Yao Wang, Xiao-Meng Hu, Joanne Yeung, Xiao-Yan Li

Abstract:

The high private cost and unquantified external cost limit the development of reclaimed water. In this study, an integrated framework comprising life cycle assessment (LCA), quantitative microbial risk assessment (QMRA), and life cycle costing (LCC) was developed to evaluate both costs of reclaimed water supply in water systems of various scales. LCA assesses the environmental impacts, and QMRA estimates the associated pathogenic impacts. These impacts are monetized as external costs and analyzed with the private cost by LCC to count the total life cycle cost. The framework evaluated the Hong Kong urban water system in the baseline scenario (BS) and five wastewater reuse scenarios (RS). They are RSI: substituting freshwater for toilet flushing only, RSII: substituting both freshwater and seawater for toilet flushing, RSIII: using reclaimed water for all non-potable uses, RSIV: using reclaimed water for all non-potable uses and indirect potable uses, and RSV: non-potable use and indirect potable use by conveying 100% reclaimed water to recharge the reservoirs. The results show that substituting freshwater and seawater for toilet flushing has the least total life cycle cost, exhibiting that it is the most cost-effective option for Hong Kong. Meanwhile, the evaluation results show that the external cost of each scenario is comparable to the corresponding private cost, indicating the importance of the inclusion of comprehensive external cost evaluation in private cost assessment of water systems with reclaimed water supply.

Keywords: life cycle assessment, life cycle costing, quantitative microbial risk assessment, water reclamation, reclaimed water, alternative water resources

Procedia PDF Downloads 110

Authors: Kwanele Shishane

Abstract:

Numerous countries are faced with challenges such as disease, poverty and other social ills and inadequate government support to meet the needs of the entire population. In developing countries, the concept of child-headed households has become a ubiquitous phenomenon and lived experience. As such, migration of children is common in these countries. This study aims to explore the lived experiences of unaccompanied adolescent migrant, with regards to the utilization of health care in South Africa. The objectives of the study are to examine the lived experiences of health care utilization by unaccompanied adolescent migrants; examine the predisposing, enabling and need factors influencing utilization of health care among unaccompanied adolescent migrants; examine the social and cultural influences on health care utilization among unaccompanied adolescent migrants; and identify the health system barriers to utilization of health care by unaccompanied adolescent migrants. Andersen and Newman’s Model of Health Care Utilization (1995) which explains factors determining the utilization of healthcare will provide the theoretical framework for the empirical investigation of this study. The target population for this study is unaccompanied adolescent migrants, seeking to access services from migrant service organizations in four provinces in South Africa (Limpopo, KwaZulu-Natal, Free State, and Gauteng). Participants will be selected using a purposive sampling procedure. A qualitative research approach utilizing a descriptive phenomenological epistemology will be utilized in this study. Data will be collected through conducting in-depth interviews and focus group discussions with unaccompanied migrant adolescents, to explore their lived experiences related to access and utilization of health care, as an unaccompanied migrant in SA. The qualitative data will be analysed using Tech’s (1990) thematic analytical approach.

Keywords: health care utilisation, unaccompanied migrant youth, South Africa, lived experiences

Procedia PDF Downloads 162

Authors: Victoriano Valencia García, Luis Usero Aragonés, Eugenio J. Fernández Vicente

Abstract:

Nowadays, the successful implementation of ICTs is vital for almost any kind of organization. Good governance and ICT management are essential for delivering value, managing technological risks, managing resources and performance measurement. In addition, outsourcing is a strategic IT service solution which complements IT services provided internally in organizations. This paper proposes the measurement tools of a new holistic maturity model based on standards ISO/IEC 20000 and ISO/IEC 38500, and the frameworks and best practices of ITIL and COBIT, with a specific focus on IT outsourcing. These measurement tools allow independent validation and practical application in the field of higher education, using a questionnaire, metrics tables, and continuous improvement plan tables as part of the measurement process. Guidelines and standards are proposed in the model for facilitating adaptation to universities and achieving excellence in the outsourcing of IT services.

Keywords: IT governance, IT management, IT services, outsourcing, maturity model, measurement tools

Procedia PDF Downloads 576

Authors: Y. Bhatt, N. Ghosh, N. Tiwari

Abstract:

Acreage response function are modeled taking account of expected harvest prices, weather related variables and other non-price variables allowing for partial adjustment possibility. At the outset, based on the literature on price expectation formation, we explored suitable formulations for estimating the farmer’s expected prices. Assuming that farmers form expectations rationally, the prices of food and biofuel crops are modeled using time-series methods for possible ARCH/GARCH effects to account for volatility. The prices projected on the basis of the models are then inserted to proxy for the expected prices in the acreage response functions. Food crop acreages in different growing states are found sensitive to their prices relative to those of one or more of the biofuel crops considered. The required percentage improvement in food crop yields is worked to offset the acreage loss.

Keywords: acreage response function, biofuel, food security, sustainable development

Procedia PDF Downloads 289

Authors: Beazidou Eleftheria

Abstract:

Roma children face discrimination in schools where they are the minority. On the other hand, teachers do not identify the specific needs of Roma students for educational and social inclusion and generally use a very restricted repertoire of insufficient strategies for helping them. Modern classrooms can and should look different. Therefore, engaging in transformational learning with young children is a deliberate choice. Transformation implies a different way of thinking and acting. This requires new knowledge that incorporates multiple perspectives and actions in order to generate experiences for further learning. In this way, we build knowledge based on empirical examples, and we share what works efficiently. The present research aims at assisting the participating teachers to improve their teaching inclusive practice, thus ultimately benefiting their students. To increase the impact of transformative efforts with a ‘new’ teaching approach, we implemented a classroom-based action research program for over six months in five kindergarten classrooms with Roma and non-Roma students. More specifically, we explore a) information about participants’ experience of the program and b) if the program is successful in helping participants to change their teaching practice. Action research is, by definition, a form of inquiry that is intended to have both action and research outcomes. The action research process that we followed included five phases: 1. Defining the problem: As teachers said, the Roma students are often the most excluded group in schools (Low social interaction and participation in classroom activities) 2. Developing a plan to address the problem: We decided to address the problem by improving/transforming the inclusive practices that teachers implemented in their classrooms. 3. Acting: implementing the plan: We incorporated new activities for all students with the goals: a) All students being passionate about their learning, b) Teachers must investigate issues in the educational context that are personal and meaningful to children's growth, c) Establishment of a new module for values and skills for all students, d) Raising awareness in culture of Roma, e) Teaching students to reflect. 4. Observing: We explore the potential for transformation in the action research program that involves observations of students’ participation in classroom activities and peer interaction. – thus, generated evidence from data. 5. Reflecting and acting: After analyzing and evaluating the outcomes from data and considering the obstacles during the program’s implementation, we established new goals for the next steps of the program. These are centered in: a) the literacy skills of Roma students and b) the transformation of teacher’s perceptions and believes, which have a powerful impact on their willingness to adopt new teaching strategies. The final evaluation of the program showed a significant achievement of the transformative goals, which were related to the active participation of the Roma students in classroom activities and peer interaction, while the activities which were related to literacy skills did not have the expected results. In conclusion, children were equipped with relevant knowledge and skills to raise their potential and contribute to wider societal development as well as teachers improved their teaching inclusive practice.

Keywords: action research, inclusive practices, kindergarten, transformation

Procedia PDF Downloads 69

Authors: Jiaqi Huang, Yuheng Wang

Abstract:

Premises selection, the task of selecting a set of axioms for proving a given conjecture, is a major bottleneck in automated theorem proving. An array of deep-learning-based methods has been established for premises selection, but a perfect performance remains challenging. Our study examines the inaccuracy of deep neural networks in premises selection. Through training network models using encoded conjecture and axiom pairs from the Mizar Mathematical Library, two potential biases are found: the network models classify more premises as necessary than unnecessary, referred to as the ‘positive bias’, and the network models perform better in proving conjectures that paired with more axioms, referred to as ‘length bias’. The ‘positive bias’ and ‘length bias’ discovered could inform the limitation of existing deep neural networks.

Keywords: automated theorem proving, premises selection, deep learning, interpreting deep learning

Procedia PDF Downloads 168

Authors: Josef Sepitka, Petr Vlcak, Tomas Horazdovsky, Vratislav Perina

Abstract:

An ion implantation technique was used for designing the surface area of a titanium alloy and for irradiation-enhanced hardening of the surface. The Ti6Al4V alloy was treated by nitrogen ion implantation at fluences of 2·10¹⁷ and 4·10¹⁷ cm^-2 and at ion energy 90 keV. The depth distribution of the nitrogen was investigated by Rutherford Backscattering Spectroscopy. The gradient of mechanical properties was investigated by nanoindentation. The continuous measurement mode was used to obtain depth profiles of the indentation hardness and the reduced storage modulus of the modified surface area. The reduced storage modulus and the hardness increase with increasing fluence. Increased fluence shifts the peak of the mechanical properties as well as the peak of nitrogen concentration towards to the surface. This effect suggests a direct relationship between mechanical properties and nitrogen distribution.

Keywords: nitrogen ion implantation, titanium-based nanolayer, storage modulus, hardness, microstructure

Procedia PDF Downloads 323

Authors: Sireen Irsheid

Abstract:

Despite concerted efforts to improve education attainment with progress in recent years, student achievement and attainment remain among the most significant challenges for school districts across the United States. Many scholars have argued that students who do not complete high school do not drop out of school voluntarily but are ‘pushed out’ of schools through multiple mechanisms related to structural and socioeconomic barriers, behavioral health challenges, pedagogical practices, and administrative procedures. Extant literature has shown that living in historically disadvantaged neighborhoods or attending under-resourced schools exacerbates student-level risk factors for grade retention and school pushout. Most efforts to respond to the school pushout phenomenon have focused on individual characteristics of students, with relatively little attention to addressing these multiple system-level characteristics related to perpetuating inequities. This study is built on a growing body of social justice-oriented research concerned with the systemic influences that shape the experiences and mental health challenges of young people. Specifically, this study examined how young people who have been experiencing education inequities make meaning and navigate the structural factors related to neighborhood and school disinvestment and access to resources and supports, and their risk for school pushout. Furthermore, schools as political, cultural, and ideologically reproductive spaces often serve as sites of resistance and can support students who are impacted by educational inequity. Study findings provide education, neighborhood, school psychology, social work practice, and policy considerations.

Keywords: education policy, mental health, school prison nexus, school pushout, structural trauma

Procedia PDF Downloads 49

Authors: B. Baba Ahmed, P. Yanogo, B. Djibryl. N. Medas

Abstract:

Introduction: Polio is a highly contagious viral infection, with children under 5 years of age being the most affected. It is a public health emergency of international concern. Polio surveillance in Mauritania has been ongoing since 1998 and has achieved "polio free" status in 2007. our objective is to analyse a pidemiological surveillance database of poliomyélitis in Mauritania from 2012-2019. Method: A transversal descriptive analysis of poliomyélitis database was carried out in Mauritania from 2012-2019.An exhaustive sampling was done on all suspected polio cases recorded in the database from 2012 -2019. This study used EPI-INFO 7.4 for frequency calculation for qualitative variables, mean and standard deviation for quantitative variables. Results: We found 459 suspected cases of polio over the study period with an average rate of acute non-polio flaccid paralysis of 25.4 cases/100,000 children under 15 years of age. The age group 0-6 years represented 75.2%. Males constituted 50.2%. Females represented 49.78% with a ratio of M/F=1.Among the 422 observations, the average age is 4 years +/- 3.38. The four regions, TIRIS-ZEMMOUR, INCHIRI, TAGANT, NOUACHCHOTT OUEST recorded the lowest percentages of notifications, respectively (3.28%; 3.93%; 4.37%; 4.8%). 99.34% [98.09-99.78] of cases presented acute flaccid paralysis. And 56.77% [52.19-61.23], had limb asymmetry. We showed that 82.93% [79.21-86.10], had fever. we found that 89.5% of suspected polio cases were investigated before 48 hours. And 88.39% of suspected cases had two adequate samples taken 48 hours apart and within 14 days after the onset of symptoms. Only 30.95% of samples arrived at the referral laboratory before 72 hours. Conclusion: This study has shown that Mauritania has achieved the objectives in most of the quantitative performance indicators of polio surveillance. This study has shown a low notification of cases in the northern and central regions of the country. There is a problem with the transport of samples to the laboratory.

Keywords: analysis, data base, Epi-Info, polio

Procedia PDF Downloads 161

Authors: Yasin Bilim, Alaaddin Başoda

Abstract:

The recent growth of internet applications on hospitality and tourism provokes on-line consumer comments and reviews. Many researchers and practitioners have named this enormous potential as “e-WOM (electronic word of mouth)”. Travel comments are important experiential information for the potential travellers. Many researches have been conducted to analyse the effects of e-WOM on hotel consumers. Broadly quantitative methods have been used for analysing online comments. But, a few studies have mentioned about the positive practical aspects of the comments for hotel marketers. The study aims to show different usage and effects of hotel consumers’ comments. As qualitative analysis method, grounded theory, content and discourse analysis, were used. The data based on the 10 resort hotel consumers’ on-line comments. Results show that consumers tend to write comments about service person, rooms, food services and pool in their online space. These indicators can be used by hotel marketers as a marketing information tool.

Keywords: comments, E-WOM, hotel consumer, qualitative

Procedia PDF Downloads 211

Authors: Yveta Pohnětalová

Abstract:

The topic of possible forms of future schools according to rapid changes of life in the 21st century has become to reach several economic and social prognoses. In our research, we have tried to find out what the future school form is according to pupils’ parent’s view. School is a part of life of each person and based on own experience there is a certain individual picture created about a possible look of future education. The aim of our quantitative research was to find out how parents of first grade primary school pupils see the ideal school of the future. The quantitative research realized at the Faculty of Education of the University of Hradec Králové (Czech Republic). By statistical analysis of gained data from 120 respondents, there have been several views of schools of future identified in terms of mission and also the way of education. But a common indicator according to addressed parents would be more focused on the overall personality development rather than the field practice which is related to a realistic idea that school of the future is not and will not be the only source of education.

Keywords: parents’ approach, school of the future, survey, ways of education

Procedia PDF Downloads 221

Authors: Jasna Čanadanović-Brunet, Gordana Ćetković, Sonja Djilas, Vesna Tumbas-Šaponjac, Jelena Vulić, Sladjana Stajčić

Abstract:

Honey, produced by the honeybee, is a natural saturated sugar solution, which is mainly composed of a complex mixture of carbohydrates. Besides this, it also contains certain minor constituents, proteins, enzymes, amino and organic acids, lipids, vitamins, phenolic acids, flavonoids and carotenoids. Honey serves as a source of natural antioxidants, which are effective in reducing the risk of heart disease, cancer, immune-system decline, cataracts, and different inflammatory processes. Honey is consumed in its natural form alone, but also in combination with nuts and various kinds of dried fruits (plums, figs, cranberries, apricots etc.). The aim of this research was to investigate the contribution of dried apricot addition to polyphenols and flavonoids contents and antioxidant activities of honey. Some individual phenolic compounds in Serbian polyfloral honey (PH), linden honey (LH) and also in their mixtures with dried apricot, in 40% mass concentrations (PH40; LH40), were identified and quantified by HPLC. The most dominant phenolic compound was: gallic acid in LH (11.14 mg/100g), LH40 (42.65 mg/100g), PH (7.24 mg/100g) and catehin in PH40 (11.83 mg/100g). The antioxidant activity of PH, LH, PH40 and LH40 was tested by measuring their ability to scavenge hydroxyl radicals (OH) by electron spin resonance spectroscopy (ESR). Honey samples with 40% dried apricot exhibited better antioxidant activity measured by hydroxyl radical scavenging activity. The EC50 values, the amount of antioxidant necessary to decrease the initial concentration of OH radicals by 50%, were: EC50PH=3.36 mg/ml, EC50LH=13.36 mg/ml, EC50PH40=2.29 mg/ml, EC50 LH40=7.78 mg/ml. Our results indicate that supplementation of polyfloral honey and linden honey with dried apricots improves antioxidant activity of honey by enriching the phenolic composition.

Keywords: honey, dried apricot, HPLC, hydroxyl radical

Procedia PDF Downloads 341

Authors: S. Jahangir, S. H. I. Jaffery, M. Khan, Z. Zareef, A. Yar, A. Mubashir, S. Butt, L. Ali

Abstract:

In this work, drilling responses and behavior of MMC was investigated in Al-Mg2Si composites. For the purpose Al-15% wt. Mg2Si, was selected from the hypereutectic region of Al- Mg2Si phase diagram. Based on hardness and tensile strength, drill bit of appropriate material and morphology was selected. The performance of different drill bits of different morphology and material was studied and analysed using experimental data. For theoretical calculations of axial thrust force and required power calculation, material factor “K” was obtained from different data charts and at the same time cutting forces (drilling forces) were practically obtained using a Peizo electric force dynamometer. These results show the role of reinforcement particles on the machinability of MMCs and provide a useful guide for a better control and optimized drilling parameters for the drilling process. Furthermore, in this work, comparison of MMC with non -reinforced Aluminum Alloy regarding drilling operation was also studied.

Keywords: drilling, metal matrix composite (MMC), cutting forces, thrust force

Procedia PDF Downloads 413

Authors: Muneshia Maheshwar, Kanwal Gul, Shakira Fareed, Ume-Amama Areeb Gul

Abstract:

Organic food is commonly known for its healthier content without the use of pesticides, herbicides, inorganic fertilizers, antibiotics and growth hormones. The aim of this research is to examine the effect of health consciousness, environmental concern and organic food knowledge on both the intention to buy organic foods and the attitude towards organic foods and the effect of attitude towards organic foods on the intention to buy organic foods in Pakistan. Primary data was used which was collected through adopted questionnaire from previous research. Non- probability convenience sampling was used to select sample size of 200 consumers based on Karachi. The data was analyzed through Descriptive statistics and Multi regression method. The findings of the study showed that the attitude and the intention to buy organic food were affected by health consciousness, environmental concern, and organic food knowledge. The results also revealed that attitude also affects the intention to buy organic food.

Keywords: health consciousness, attitude, intention to purchase, environmental concern, organic food knowledge

Procedia PDF Downloads 231

Authors: Radoslaw Lukasz Staniszewski

Abstract:

The aim of the research was to verify lateral extent and thickness variability of individual limestone layers within early-Jurassic medium- and thick-bedded limestone interbedded with marlstones. Location: The main research area is located in the south-central part of Poland in the south-western part of Permo-Mesozoic margin of the Holy Cross Mountains. It includes outcroppings located on the line between Mieczyn and Wola Morawicka. The analyses were carried out on six profiles (Mieczyn, Gniezdziska, Tokarnia, Wola Morawicka, Morawica and Wolica) representing three early-Jurassic links: Jasna Gora layers, grey limestone, Morawica limestone. Additionally, an attempt was made to correlate the thickness sequence from the Holy Cross Mountains to the profile from the quarry in Zawodzie located 3 km east of Czestochowa. The distance between the outermost profiles is 122 km in a straight line. Methodology of research: The Callovian-Oxfordian border was taken as the reference point during the correlation. At the same time, ammonite-based stratigraphic studies were carried out, which allowed to identify individual packages in the remote outcroppings. The analysis of data collected during fieldwork was mainly devoted to the correlation of thickness sequences of limestone layers in subsequent profiles. In order to check the objectivity of the subsequent outcroppings, the profiles have been presented in the form of the thickness functions of the subsequent layers. The generated functions were auto-correlated, and the Pearson correlation coefficient was calculated. The next step in the research was to statistically determine the percentage increment of the individual layers thickness in the subsequent profiles, and on this basis to plot the function of relative carbonate productivity. Results: The result of the above-mentioned procedures consists in illustrating the extent of 34 rock layers across the examined area in demonstrating the repeatability of their success in subsequent outcroppings. It can also be observed that the thickness of individual layers in the Holy Cross Mountains is increasing from north-west towards south-east. Despite changes in the thickness of the layers in the profiles, their relations within the sequence remain constant. The lowest matching ratio of thickness sequence calculated using the Pearson correlation coefficient formula is 0.67, while the highest is 0.84. The thickness of individual layers changes between 4% and 230% over the examined area. Interpretation: Layers in the outcroppings covered by the research show continuity throughout the examined area and it is possible to precisely correlate them, which means that the process determining the formation of the layers was regional and probably included both the fringe of the Holy Cross Mountains and the north-eastern part of the Krakow-Czestochowa Jura Upland. Local changes in the sedimentation environment affecting the productivity of the subtidal carbonate factory only cause the thickness of the layers to change without altering the thickness proportions of the profiles. Based on the percentage of changes in the thickness of individual layers in the subsequent profiles, it can be concluded that the local productivity of the subtidal carbonate factory is increasing logarithmically.

Keywords: Oxfordian, Holy Cross Mountains, carbonate factory, Limestone

Procedia PDF Downloads 105

Authors: Mohamed Adnan Landolsi, Ali F. Almutairi

Abstract:

The paper addresses the problem of line-of-sight (LOS) vs. non-line-of-sight (NLOS) propagation link identification in ultra-wideband (UWB) wireless networks, which is necessary for improving the accuracy of radiolocation and positioning applications. A LOS/NLOS likelihood hypothesis testing approach is applied based on exploiting distinctive statistical features of the channel impulse response (CIR) using parameters related to the “skewness” of the CIR and its root mean square (RMS) delay spread. A log-normal fit is presented for the probability densities of the CIR parameters. Simulation results show that different environments (residential, office, outdoor, etc.) have measurable differences in their CIR parameters’ statistics, which is then exploited in determining the nature of the propagation channels. Correct LOS/NLOS channel identification rates exceeding 90% are shown to be achievable for most types of environments. Additional improvement is also obtained by combining both CIR skewness and RMS delay statistics.

Keywords: UWB, propagation, LOS, NLOS, identification

Procedia PDF Downloads 228

Authors: Mikhail Bouniaev

Abstract:

The paper reviews design and implementation of a Calculus Course required for the Biomedical Competency Based Program developed as a joint project between The University of Texas Rio Grande Valley, and the University of Texas’ Institute for Transformational Learning, from the theoretical perspective as presented in scholarly work on active learning, formative assessment, and on-line teaching. Following a four stage curriculum development process (objective, content, delivery, and assessment), and theoretical recommendations that guarantee effectiveness and efficiency of assessment in active learning, we discuss the practical recommendations on how to incorporate a strong formative assessment component to address disciplines’ needs, and students’ major needs. In design and implementation of this project, we used Constructivism and Stage-by-Stage Development of Mental Actions Theory recommendations.

Keywords: active learning, assessment, calculus, cognitive demand, mathematics, stage-by-stage development of mental action theory

Procedia PDF Downloads 343