Search results for: Paraptosis-like program cell death
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 8274

Search results for: Paraptosis-like program cell death

4224 Haemoglobin Variants and Their Frequency Distribution in Human Population of Niger State, Nigeria

Authors: Akeem Akinboro, Bala Alhaj Kegun

Abstract:

Haemoglobinopathy is a genetic disorder that has the potentiality to cause death of individuals in whom both the alpha (α) and beta (β) globin chains of the haemoglobin molecule are defective due to mutations in their genes. The haemoglobin genotype variants among some residents of Niger state, Nigeria, were determined using the secondary data available at Bida, Minna and Kotangora general hospitals of the state. A total of 1,639 data, representing 434, 655 and 550, collected from the outside patients who visited the medical laboratory units of the three general hospitals, respectively, over five years period (2015-2020) were analyzed into gene frequency, sex and age to determine their haemoglobin genotypes status. More males (51.6 – 58.7%) than females (41.3 – 48.4%) visited the three hospitals during the period covered and most of the patients were between 11 - 20 years old. The frequency of HbA allele in the human population was 0.72, 0.65, 0.68 for Bida, Minna and Kotangora, respectively, while it was 0.25, 0.29 and 0.28 for HbS allele. The HbC allele was prevalent at 0.03, 0.06 and 0.05 among the human population in Bida, Minna and Kotangora cities of Niger state. In overall, the prevalence of HbA, HbS and HbC alleles in Niger state of Nigeria was 0.68, 0.28 and 0.05. Minna being the capital city of Niger state and the most populous among the three cities in the state seems to have influx of more people who are carriers of abnormal haemoglobin genotypes which has resulted to higher frequency of HbS and HbC than those of the other two cities in this study. These results show that the pattern of haemoglobin genotypes frequency of Kontagora could be a prediction for the whole of Niger state. It is therefore necessary and important to take screening of blood for haemoglobin genotype serious among intending couples to prevent and reduce the possibility of having increase in the number of people with abnormal haemoglobin genotypes in the state.

Keywords: haemoglobin, genotype, niger state, gene frequency, general hospitals

Procedia PDF Downloads 97
4223 Non-Invasive Techniques for Management of Carious Primary Dentition Using Silver Diamine Fluoride and Moringa Extract as a Modification of the Hall Technique

Authors: Rasha F. Sharaf

Abstract:

Treatment of dental caries in young children is considered a great challenge for all dentists, especially with uncooperative children. Recently non-invasive techniques have been highlighted as they alleviate the need for local anesthesia and other painful procedures during management of carious teeth and, at the same time, increase the success rate of the treatment done. Silver Diamine Fluoride (SDF) is one of the most effective cariostatic materials that arrest the progression of carious lesions and aid in remineralizing the demineralized tooth structure. Both fluoride and silver ions proved to have an antibacterial action and aid in the precipitation of an insoluble layer that prevents further decay. At the same time, Moringa proved to have an effective antibacterial action against different types of bacteria, therefore, it can be used as a non-invasive technique for the management of caries in children. One of the important theories for the control of caries is by depriving the cariogenic bacteria from nutrients causing their starvation and death, which can be achieved by applying stainless steel crown on primary molars with carious lesions which are not involving the pulp, and this technique is known as Hall technique. The success rate of the Hall technique can be increased by arresting the carious lesion using either SDF or Moringa and gaining the benefit of their antibacterial action. Multiple clinical cases with 1 year follow up will be presented, comparing different treatment options, and using various materials and techniques for non-invasive and non-painful management of carious primary teeth.

Keywords: SDF, hall technique, carious primary teeth, moringa extract

Procedia PDF Downloads 91
4222 The Effects of a Hippotherapy Simulator in Children with Cerebral Palsy: A Pilot Study

Authors: Canan Gunay Yazici, Zubeyir Sarı, Devrim Tarakci

Abstract:

Background: Hippotherapy considered as global techniques used in rehabilitation of children with cerebral palsy as it improved gait pattern, balance, postural control, balance and gross motor skills development but it encounters some problems (such as the excess of the cost of horses' care, nutrition, housing). Hippotherapy simulator is being developed in recent years to overcome these problems. These devices aim to create the effects of hippotherapy made with a real horse on patients by simulating the movements of a real horse. Objectives: To evaluate the efficacy of hippotherapy simulator on gross motor functions, sitting postural control and dynamic balance of children with cerebral palsy (CP). Methods: Fourteen children with CP, aged 6–15 years, seven with a diagnosis of spastic hemiplegia, five of diplegia, two of triplegia, Gross Motor Function Classification System level I-III. The Horse Riding Simulator (HRS), including four-speed program (warm-up, level 1-2-3), was used for hippotherapy simulator. Firstly, each child received Neurodevelopmental Therapy (NDT; 45min twice weekly eight weeks). Subsequently, the same children completed HRS+NDT (30min and 15min respectively, twice weekly eight weeks). Children were assessed pre-treatment, at the end of 8th and 16th week. Gross motor function, sitting postural control, dynamic sitting and standing balance were evaluated by Gross Motor Function Measure-88 (GMFM-88, Dimension B, D, E and Total Score), Trunk Impairment Scale (TIS), Pedalo® Sensamove Balance Test and Pediatric Balance Scale (PBS) respectively. Unit of Scientific Research Project of Marmara University supported our study. Results: All measured variables were a significant increase compared to baseline values after both intervention (NDT and HRS+NDT), except for dynamic sitting balance evaluated by Pedalo®. Especially HRS+NDT, increase in the measured variables was considerably higher than NDT. After NDT, the Total scores of GMFM-88 (mean baseline 62,2 ± 23,5; mean NDT: 66,6 ± 22,2; p < 0,05), TIS (10,4 ± 3,4; 12,1 ± 3; p < 0,05), PBS (37,4 ± 14,6; 39,6 ± 12,9; p < 0,05), Pedalo® sitting (91,2 ± 6,7; 92,3 ± 5,2; p > 0,05) and Pedalo® standing balance points (80,2 ± 10,8; 82,5 ± 11,5; p < 0,05) increased by 7,1%, 2%, 3,9%, 5,2% and 6 % respectively. After HRS+NDT treatment, the total scores of GMFM-88 (mean baseline: 62,2 ± 23,5; mean HRS+NDT: 71,6 ± 21,4; p < 0,05), TIS (10,4 ± 3,4; 15,6 ± 2,9; p < 0,05), PBS (37,4 ± 14,6; 42,5 ± 12; p < 0,05), Pedalo® sitting (91,2 ± 6,7; 93,8 ± 3,7; p > 0,05) and standing balance points (80,2 ± 10,8; 86,2 ± 5,6; p < 0,05) increased by 15,2%, 6%, 7,3%, 6,4%, and 11,9%, respectively, compared to the initial values. Conclusion: Neurodevelopmental therapy provided significant improvements in gross motor functions, sitting postural control, sitting and standing balance of children with CP. When the hippotherapy simulator added to the treatment program, it was observed that these functions were further developed (especially with gross motor functions and dynamic balance). As a result, this pilot study showed that the hippotherapy simulator could be a useful alternative to neurodevelopmental therapy for the improvement of gross motor function, sitting postural control and dynamic balance of children with CP.

Keywords: balance, cerebral palsy, hippotherapy, rehabilitation

Procedia PDF Downloads 139
4221 The Effect of Low Voltage Direct Current Applications on the Growth of Microalgae Chlorella Vulgaris

Authors: Osman Kök, İlhami̇ Tüzün, Yaşar Aluç

Abstract:

This study was conducted to explore the effect of direct current (DC) applications on the growth of microalgae Chlorella vulgaris KKU71, isolated from highly saline freshwater. Experiments were implemented based upon the cross-combinations of both the intensity and duration of electric applications, generating a full factorial design of 10V, 20V, 30V, and 5s, 30s, 60s, respectively. Growth parameters of cultures were monitored on Optical Density (OD), Cell Count (CC), Chlorophyll-a, b (Chl-a, b), and Total Carotenoids (TCar). All DC-assisted treatments stimulated the growth and thus led to higher values of growth parameters such as OD, CC, Chl-a, and TCar. Monotonically increasing with the intensity and duration of DC applications, wet and dry biomass yields of the harvested algae reached their highest level at 30V-60s in all sets of treatments. In addition, this increase between DC applications was listed as C(control)<10V<20V<30V and C<5s<30s<60s. As a result, direct current applications increased the biomass.

Keywords: Chlorella Vulgaris, direct current, growth, biomass

Procedia PDF Downloads 134
4220 Approaches to Eco-Friendly Architecture: Modules Assembled Specially to Conserve

Authors: Arshleen Kaur, Sarang Barbarwar, Madhusudan Hamirwasia

Abstract:

Sustainable architecture is going to be the soul of construction in the near future, with building material as a vital link connecting sustainability to construction. The priority in Architecture has shifted from having a lesser negative footprint to having a positive footprint on Earth. The design has to be eco-centric as well as anthro-centric so as to attain its true purpose. Brick holds the same importance like a cell holds in one’s body. The study focuses on this basic building block with an experimental material and technique known as Module Assembled Specially to Conserve (MASC). The study explores the usage and construction of these modules in the construction of buildings. It also shows the impact assessment of the modules on the environment and its significance in reducing the carbon footprint of the construction industry. The aspects like cost-effectiveness, ease of working and reusability of MASC have been studied as well.

Keywords: anthro-centric, carbon footprint, eco-centric, sustainable

Procedia PDF Downloads 173
4219 The Chemical Composition of the Pistachio (Pistacia vera) Harvested Bechloul (Algeria)

Authors: Nadjiba Meziou-Chebouti, Amel Merabet, Yahia Chebouti, Nassima Behidj, Salahedine Doumandji

Abstract:

Among the Anacardiaceae, the fruit (Pistacia vera L.) is the only species that produces edible fruits. The introduction of real pistachio was made in the early sixties by an FAO program in Algeria in several regions in the northern part of Algeria: Tlemcen, Sidi Bel Abbes, Batna, Bouira M'sila. Chemical analyzes of seeds pistachios were made on seeds from an orchard that localizes to Bechloul (Bouira) located in bioclimatic sub-humid temperate winter floor. Analyzes reveal dry matter content of 3.60±0.45%, the water rate is 7.21±0.36%. However, the fat content is 46.00±0.90%, in average blood sugar, it is 4.02±0.47%, the protein reached 29.88±0.76%. Given the very interesting that high-fat food nutritional values, culture pistachio must be considered for its extension in Algeria.

Keywords: pistachio, dry matter, fat, sugar, protein

Procedia PDF Downloads 364
4218 Moderate Electric Field and Ultrasound as Alternative Technologies to Raspberry Juice Pasteurization Process

Authors: Cibele F. Oliveira, Debora P. Jaeschke, Rodrigo R. Laurino, Amanda R. Andrade, Ligia D. F. Marczak

Abstract:

Raspberry is well-known as a good source of phenolic compounds, mainly anthocyanin. Some studies pointed out the importance of these bioactive compounds consumption, which is related to the decrease of the risk of cancer and cardiovascular diseases. The most consumed raspberry products are juices, yogurts, ice creams and jellies and, to ensure the safety of these products, raspberry is commonly pasteurized, for enzyme and microorganisms inactivation. Despite being efficient, the pasteurization process can lead to degradation reactions of the bioactive compounds, decreasing the products healthy benefits. Therefore, the aim of the present work was to evaluate moderate electric field (MEF) and ultrasound (US) technologies application on the pasteurization process of raspberry juice and compare the results with conventional pasteurization process. For this, phenolic compounds, anthocyanin content and physical-chemical parameters (pH, color changes, titratable acidity) of the juice were evaluated before and after the treatments. Moreover, microbiological analyses of aerobic mesophiles microorganisms, molds and yeast were performed in the samples before and after the treatments, to verify the potential of these technologies to inactivate microorganisms. All the pasteurization processes were performed in triplicate for 10 min, using a cylindrical Pyrex® vessel with a water jacket. The conventional pasteurization was performed at 90 °C using a hot water bath connected to the extraction cell. The US assisted pasteurization was performed using 423 and 508 W cm-2 (75 and 90 % of ultrasound intensity). It is important to mention that during US application the temperature was kept below 35 °C; for this, the water jacket of the extraction cell was connected to a water bath with cold water. MEF assisted pasteurization experiments were performed similarly to US experiments, using 25 and 50 V. Control experiments were performed at the maximum temperature of US and MEF experiments (35 °C) to evaluate only the effect of the aforementioned technologies on the pasteurization. The results showed that phenolic compounds concentration in the juice was not affected by US and MEF application. However, it was observed that the US assisted pasteurization, performed at the highest intensity, decreased anthocyanin content in 33 % (compared to in natura juice). This result was possibly due to the cavitation phenomena, which can lead to free radicals formation and accumulation on the medium; these radicals can react with anthocyanin decreasing the content of these antioxidant compounds in the juice. Physical-chemical parameters did not present statistical differences for samples before and after the treatments. Microbiological analyses results showed that all the pasteurization treatments decreased the microorganism content in two logarithmic cycles. However, as values were lower than 1000 CFU mL-1 it was not possible to verify the efficacy of each treatment. Thus, MEF and US were considered as potential alternative technologies for pasteurization process, once in the right conditions the application of the technologies decreased microorganism content in the juice and did not affected phenolic and anthocyanin content, as well as physical-chemical parameters. However, more studies are needed regarding the influence of MEF and US processes on microorganisms’ inactivation.

Keywords: MEF, microorganism inactivation, anthocyanin, phenolic compounds

Procedia PDF Downloads 238
4217 Design, Prototyping, Integration, Flight Testing of a 20 cm Span Fully Autonomous Fixed Wing Micro Air Vehicle

Authors: Vivek Paul, Abel Nelly, Shoeb A Adeel, R. Tilak, S. Maheshwaran, S. Pulikeshi, Roshan Antony, C. S. Suraj

Abstract:

This paper presents the complete design and development cycle of a 20 cm span fixed wing micro air vehicle that was developed at CSIR-NAL, under the micro air vehicle development program. The design is a cropped delta flying wing MAV with a modified N22 airfoil of 12.3% thickness. The design was fabricated using the fused deposition method- RPT technique. COTS components were procured and integrated into this RPT prototype. A commercial autopilot that was proven in the earlier MAV designs was used for this MAV. The MAV was flown fully autonomous for 14mins at an open field. The flight data showed good performance as expected from the MAV design. The paper also describes about the process involved in the design of MAVs.

Keywords: autopilot, autonomous mode, flight testing, MAV, RPT

Procedia PDF Downloads 516
4216 Exploring Spiritual Needs of Taiwanese Inpatients with Advanced Cancer and Their Family Caregivers

Authors: Szu Mei Hsiao

Abstract:

This study explores the spiritual needs of inpatients with advanced cancer and their family caregivers in one southern regional teaching hospital in Taiwan and elucidates the differences and similarities of spiritual needs between them. Little research reports the different phases of spiritual needs and the potential impact of Chinese cultural values on the spiritual needs. Qualitative inquiry was used. Twenty-one patients with advanced cancer and twenty-two family caregivers were recruited. During hospitalization, all participants identified spiritual needs both the palliative phase and the dying phase: (a) the need to foster faith/confidence and hope for medicine and/or God; (b) to understand the meaning and values of life; (c) to experience more reciprocal human love and forgiveness; and (d) to obey God’s/Heaven will. Furthermore, the differences of spiritual needs between patients with advanced cancer and their family caregivers are as follows: (a) family caregivers emphasized the need to inform relatives and say goodbye in order to die peacefully; (b) patients highlighted a need to maintain a certain physical appearance in order to preserve their dignity; nurture one’s willpower; learn about the experiences of cancer survivors; and identify one’s own life experience for understanding the meaning and values of life. Moreover, the dissimilarity of spiritual needs is that the patients pointed out the need to understand God’s will during the palliative treatment phase. However, the family caregivers identified the need to forgive each other, and inform relatives and say goodbye to patients in the dying phase. This research has shown that the needs of meaning/values of life and facing death peacefully are different between two groups. Health professionals will be encouraged to detect and to develop individualized care strategies to meet spiritual needs.

Keywords: advanced cancer, Chinese culture, family caregivers, qualitative research, spiritual needs

Procedia PDF Downloads 332
4215 Devotional Informant and Diagenetic Alterations, Influences of Facies and Fine Kaolinite Formation Migration on Sandstone’ Reservoir Quality, Sarir Formation, Sirt

Authors: Faraj M. Elkhatri, Hana Ellafi

Abstract:

In recent years, there has been a growing recognition of the potential of marine-based functional foods and combination therapies in promoting a healthy lifestyle and exploring their effectiveness in preventing or treating diseases. The combination of marine bioactive compounds or extracts offers synergistic or enhancement effects through various mechanisms, including multi-target actions, improved bioavailability, enhanced bioactivity, and mitigation of potential adverse effects. Both the green-lipped mussel (GLM) and fucoidan derived from brown seaweed are rich in bioactivities. These two, mussel and fucoidan, have not been previously formulated together. This study aims to combine GLM oil from Perna canaliculus with low molecular weight fucoidan (LMWF) extracted from Undaria pinnatifida to investigate the unique mixture’s anti-inflammatory and antioxidant properties. The cytotoxicity of individual compounds and combinations was assessed using the MTT assay in (THP-1 and RAW264.7) cell lines. The anti-inflammatory activity of mussel-fucoidan was evaluated by treating LPS-stimulated human monocyte and macrophage (THP1-1) cells. Subsequently, the inflammatory cytokines released into the supernatant of these cell lines were quantified via ELISA. Antioxidant activity was determined by using the free radical scavenging assay (DPPH). DPPH assay demonstrated that the radical scavenging activity of the combinations, particularly at concentrations exceeding 1 mg/ml, showed a significantly higher percentage of inhibition when compared to the individual component. This suggests an enhancement effect when the two compounds are combined, leading to increased antioxidant activity. In terms of immunomodulatory activity, the individual compounds exhibited distinct behaviors. GLM oil displayed a higher ability to suppress the cytokine TNF- compared to LMWF. Interestingly, the LMWF fraction, when used individually, did not demonstrate TNF- suppression. However, when combined with GLM, the TNF- suppression (anti-inflammatory) activity of the combination was better than GLM or LWMF alone. This observation underscores the potential for enhancement interactions between the two components in terms of anti-inflammatory properties. This study revealed that each individual compound, LMWF, and GLM, possesses unique and notable bioactivity. The combination of these two individual compounds results in an enhancement effect, where the bioactivity of each is enhanced, creating a superior combination. This suggests that the combination of LMWF and GLM has the potential to offer a more potent and multifaceted therapeutic effect, particularly in the context of antioxidant and anti-inflammatory activities. These findings hold promise for the development of novel therapeutic interventions or supplements that harness the enhancement effects.

Keywords: formation damage, porosity loses, pore throat, quartz cement

Procedia PDF Downloads 50
4214 Using Multiple Intelligences Theory to Develop Thai Language Skill

Authors: Bualak Naksongkaew

Abstract:

The purposes of this study were to compare pre- and post-test achievement of Thai language skills. The samples consisted of 40 tenth grader of Secondary Demonstration School of Suan Sunandha Rajabhat University in the first semester of the academic year 2010. The researcher prepared the Thai lesson plans, the pre- and post-achievement test at the end program. Data analyses were carried out using means, standard deviations and descriptive statistics, independent samples t-test analysis for comparison pre- and post-test. The study showed that there were a statistically significant difference at α= 0.05; therefore the use multiple intelligences theory can develop Thai languages skills. The results after using the multiple intelligences theory for Thai lessons had higher level than standard.

Keywords: multiple intelligences theory, Thai language skills, development, pre- and post-test achievement

Procedia PDF Downloads 421
4213 Audit and Assurance Program for AI-Based Technologies

Authors: Beatrice Arthur

Abstract:

The rapid development of artificial intelligence (AI) has transformed various industries, enabling faster and more accurate decision-making processes. However, with these advancements come increased risks, including data privacy issues, systemic biases, and challenges related to transparency and accountability. As AI technologies become more integrated into business processes, there is a growing need for comprehensive auditing and assurance frameworks to manage these risks and ensure ethical use. This paper provides a literature review on AI auditing and assurance programs, highlighting the importance of adapting traditional audit methodologies to the complexities of AI-driven systems. Objective: The objective of this review is to explore current AI audit practices and their role in mitigating risks, ensuring accountability, and fostering trust in AI systems. The study aims to provide a structured framework for developing audit programs tailored to AI technologies while also investigating how AI impacts governance, risk management, and regulatory compliance in various sectors. Methodology: This research synthesizes findings from academic publications and industry reports from 2014 to 2024, focusing on the intersection of AI technologies and IT assurance practices. The study employs a qualitative review of existing audit methodologies and frameworks, particularly the COBIT 2019 framework, to understand how audit processes can be aligned with AI governance and compliance standards. The review also considers real-time auditing as an emerging necessity for influencing AI system design during early development stages. Outcomes: Preliminary findings indicate that while AI auditing is still in its infancy, it is rapidly gaining traction as both a risk management strategy and a potential driver of business innovation. Auditors are increasingly being called upon to develop controls that address the ethical and operational risks posed by AI systems. The study highlights the need for continuous monitoring and adaptable audit techniques to handle the dynamic nature of AI technologies. Future Directions: Future research will explore the development of AI-specific audit tools and real-time auditing capabilities that can keep pace with evolving technologies. There is also a need for cross-industry collaboration to establish universal standards for AI auditing, particularly in high-risk sectors like healthcare and finance. Further work will involve engaging with industry practitioners and policymakers to refine the proposed governance and audit frameworks. Funding/Support Acknowledgements: This research is supported by the Information Systems Assurance Management Program at Concordia University of Edmonton.

Keywords: AI auditing, assurance, risk management, governance, COBIT 2019, transparency, accountability, machine learning, compliance

Procedia PDF Downloads 9
4212 Fabrication of Graphene Oxide Based Planar Hetero-Junction Perovskite Solar Cells

Authors: Khursheed Ahmad, Shaikh M. Mobin

Abstract:

In this work, we have developed a highly stable planar heterojunction perovskite solar cells (PSCs) with a architecture (ITO/GO/PEDOT:PSS/MAPbI3/PCBM/Carbon tape). The PSCs was fabricated under air using GO/PEDOT:PSS as hole transport layer while the carbon tape used as a back contact to complete the device. The fabricated PSCs device exhibited good stability and performance in terms of power conversion efficiency of 5.2%. The PSCs devices were exposed to ambient condition for 4 days which shows excellent stability confirmed by XRD analysis. We believed that the stability of the planar heterojunction perovskite solar cell may be due the presence of GO which inhibits the direct contact between PEDOT:PSS and MAPbI3.

Keywords: graphene oxide, perovskite solar cells, hole transport layer, PEDOT:PSS

Procedia PDF Downloads 172
4211 The Analysis of TRACE/FRAPTRAN in the Fuel Rods of Maanshan PWR for LBLOCA

Authors: J. R. Wang, W. Y. Li, H. T. Lin, J. H. Yang, C. Shih, S. W. Chen

Abstract:

Fuel rod analysis program transient (FRAPTRAN) code was used to study the fuel rod performance during a postulated large break loss of coolant accident (LBLOCA) in Maanshan nuclear power plant (NPP). Previous transient results from thermal hydraulic code, TRACE, with the same LBLOCA scenario, were used as input boundary conditions for FRAPTRAN. The simulation results showed that the peak cladding temperatures and the fuel center line temperatures were all below the 10CFR50.46 LOCA criteria. In addition, the maximum hoop stress was 18 MPa and the oxide thickness was 0.003 mm for the present simulation cases, which are all within the safety operation ranges. The present study confirms that this analysis method, the FRAPTRAN code combined with TRACE, is an appropriate approach to predict the fuel integrity under LBLOCA with operational ECCS.

Keywords: FRAPTRAN, TRACE, LOCA, PWR

Procedia PDF Downloads 507
4210 A Custom Convolutional Neural Network with Hue, Saturation, Value Color for Malaria Classification

Authors: Ghazala Hcini, Imen Jdey, Hela Ltifi

Abstract:

Malaria disease should be considered and handled as a potential restorative catastrophe. One of the most challenging tasks in the field of microscopy image processing is due to differences in test design and vulnerability of cell classifications. In this article, we focused on applying deep learning to classify patients by identifying images of infected and uninfected cells. We performed multiple forms, counting a classification approach using the Hue, Saturation, Value (HSV) color space. HSV is used since of its superior ability to speak to image brightness; at long last, for classification, a convolutional neural network (CNN) architecture is created. Clusters of focus were used to deliver the classification. The highlights got to be forbidden, and a few more clamor sorts are included in the information. The suggested method has a precision of 99.79%, a recall value of 99.55%, and provides 99.96% accuracy.

Keywords: deep learning, convolutional neural network, image classification, color transformation, HSV color, malaria diagnosis, malaria cells images

Procedia PDF Downloads 85
4209 Formal Verification for Ethereum Smart Contract Using Coq

Authors: Xia Yang, Zheng Yang, Haiyong Sun, Yan Fang, Jingyu Liu, Jia Song

Abstract:

The smart contract in Ethereum is a unique program deployed on the Ethereum Virtual Machine (EVM) to help manage cryptocurrency. The security of this smart contract is critical to Ethereum’s operation and highly sensitive. In this paper, we present a formal model for smart contract, using the separated term-obligation (STO) strategy to formalize and verify the smart contract. We use the IBM smart sponsor contract (SSC) as an example to elaborate the detail of the formalizing process. We also propose a formal smart sponsor contract model (FSSCM) and verify SSC’s security properties with an interactive theorem prover Coq. We found the 'Unchecked-Send' vulnerability in the SSC, using our formal model and verification method. Finally, we demonstrate how we can formalize and verify other smart contracts with this approach, and our work indicates that this formal verification can effectively verify the correctness and security of smart contracts.

Keywords: smart contract, formal verification, Ethereum, Coq

Procedia PDF Downloads 679
4208 Pathological Observations of Intestinal Coccidiosis in Camel (Camelus dromedarius)

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 183
4207 Guillain Barre Syndrome in Children

Authors: A. Erragh, K. Amanzoui, M. Elharit, H. Salem, M. Ababneh, K. Elfakhr, S. Kalouch, A. Chlilek

Abstract:

Guillain-Barre syndrome (GBS) is the most common form of acute polyradiculoneuritis (PRNA). It is a medical emergency in pediatrics that requires rapid diagnosis and immediate assessment of the severity criteria for the implementation of appropriate treatment. Retrospective, descriptive study in 24 patients under the age of 18 who presented with GBS between September 2017 and July 2021 and were hospitalized in the multipurpose pediatric intensive care unit of the Abderrahim EL Harouchi children's hospital in Casablanca. The average age was 7.91 years, with extremes ranging from 18 months and 14 years and a male predominance of 75%. After a prodromal event, most often infectious (80%) and a free interval of 12 days on average, 2 types of motor disorders begin either hypo or arereflectic flaccid paralysis of the lower limbs (45.8%) or flaccid quadriplegia hypo or arereflectic (54.2%). During GBS, the most formidable complication is respiratory distress, which can occur at any time. In our study, respiratory impairment was observed in 70.8% of cases. In addition, other signs of severity, such as swallowing disorders (75%) and dysautonomic disorders (8.33%), were also observed, which justified care in the intensive care unit for all of our patients. The use of invasive ventilation was necessary in 76.5% of cases, and specific treatments based on immunoglobulins were administered in all our patients. Despite everything, the death rate remains high (25%) and is mainly due to complications related to hospitalization. Guillain Barré syndrome is, therefore, a pediatric emergency that requires rapid diagnosis and immediate assessment of severity criteria for the implementation of appropriate treatment.

Keywords: guillain barre syndrome, emergency, children, medical

Procedia PDF Downloads 64
4206 Satisfaction of the Training at ASEAN Camp: E-Learning Knowledge and Application at Chantanaburi Province, Thailand

Authors: Sinchai Poolklai

Abstract:

The purpose of this research paper was aimed to examine the level of satisfaction of the faculty members who participated in the ASEAN camp, Chantaburi, Thailand. The population of this study included all the faculty members of Suan Sunandha Rajabhat University who participated in the training and activities of the ASEAN camp during March, 2014. Among a total of 200 faculty members who answered the questionnaire, the data was complied by using SPSS program. Percentage, mean and standard deviation were utilized in analyzing the data. The findings revealed that the average mean of satisfaction was 4.37, and standard deviation was 0.7810. Moreover, the mean average can be used to rank the level of satisfaction from each of the following factors: lower cost, less time consuming, faster delivery, more effective learning, and lower environment impact.

Keywords: ASEAN camp, e-learning, satisfaction, application

Procedia PDF Downloads 386
4205 Zinc Oxide Thin Films Deposition by Spray Pyrolysis

Authors: Bourfaa Fouzia, Meryem Lamri Zeggar, Adjimi Amel, Mohammed Salah Aida, Nadir Attaf

Abstract:

Semiconductor photocatalysts such as ZnO has attracted much attention in recent years due to their various applications for the degradation of organic pollutants in water, air and in dye sensitized photovoltaic solar cell. In the present work, ZnO thin films were prepared by ultrasonic spray pyrolysis by using different precursors namely: Acetate, chloride and zinc nitrate in order to investigate their influence on ZnO photocatalytic activity. The films crystalline structure was studied by mean of X-ray diffraction measurements (XRD) and the films surface morphology by Scanning Electron Microscopy (SEM). The films optical properties were studied by mean of UV–visible spectroscopy. The prepared films were tested for the degradation of the red reactive dye largely used in textile industry. As a result, we found that the zinc nitrate is the best precursor to prepare ZnO thin films suitable for a good photocatalytic activity.

Keywords: precursor, thins films, spray pyrolysis, zinc oxide

Procedia PDF Downloads 315
4204 The M Health Paradigm for the Chronic Care Management of Obesity: New Opportunities in Clinical Psychology and Medicine

Authors: Gianluca Castelnuovo, Gian Mauro Manzoni, Giada Pietrabissa, Stefania Corti, Emanuele Giusti, Roberto Cattivelli, Enrico Molinari, Susan Simpson

Abstract:

Obesity is currently an important public health problem of epidemic proportions (globesity). Moreover Binge Eating Disorder (BED) is typically connected with obesity, even if not occurring exclusively in conjunction with overweight conditions. Typically obesity with BED requires a longer term treatment in comparison with simple obesity. Rehabilitation interventions that aim at improving weight-loss, reducing obesity-related complications and changing dysfunctional behaviors, should ideally be carried out in a multidisciplinary context with a clinical team composed of psychologists, dieticians, psychiatrists, endocrinologists, nutritionists, physiotherapists, etc. Long-term outpatient multidisciplinary treatments are likely to constitute an essential aspect of rehabilitation, due to the growing costs of a limited inpatient approach. Internet-based technologies can improve long-term obesity rehabilitation within a collaborative approach. The new m health (m-health, mobile health) paradigm, defined as clinical practices supported by up to date mobile communication devices, could increase compliance- engagement and contribute to a significant cost reduction in BED and obesity rehabilitation. Five psychological components need to be considered for successful m Health-based obesity rehabilitation in order to facilitate weight-loss.1) Self-monitoring. Portable body monitors, pedometers and smartphones are mobile and, therefore, can be easily used, resulting in continuous self-monitoring. 2) Counselor feedback and communication. A functional approach is to provide online weight-loss interventions with brief weekly or monthly counselor or psychologist visits. 3) Social support. A group treatment format is typically preferred for behavioral weight-loss interventions. 4) Structured program. Technology-based weight-loss programs incorporate principles of behavior therapy and change with structured weekly protocolos including nutrition, exercise, stimulus control, self-regulation strategies, goal-setting. 5) Individually tailored program. Interventions specifically designed around individual’s goals typically record higher rates of adherence and weight loss. Opportunities and limitations of m health approach in clinical psychology for obesity and BED are discussed, taking into account future research directions in this promising area.

Keywords: obesity, rehabilitation, out-patient, new technologies, tele medicine, tele care, m health, clinical psychology, psychotherapy, chronic care management

Procedia PDF Downloads 467
4203 RAD-Seq Data Reveals Evidence of Local Adaptation between Upstream and Downstream Populations of Australian Glass Shrimp

Authors: Sharmeen Rahman, Daniel Schmidt, Jane Hughes

Abstract:

Paratya australiensis Kemp (Decapoda: Atyidae) is a widely distributed indigenous freshwater shrimp, highly abundant in eastern Australia. This species has been considered as a model stream organism to study genetics, dispersal, biology, behaviour and evolution in Atyids. Paratya has a filter feeding and scavenging habit which plays a significant role in the formation of lotic community structure. It has been shown to reduce periphyton and sediment from hard substrates of coastal streams and hence acts as a strongly-interacting ecosystem macroconsumer. Besides, Paratya is one of the major food sources for stream dwelling fishes. Paratya australiensis is a cryptic species complex consisting of 9 highly divergent mitochondrial DNA lineages. Among them, one lineage has been observed to favour upstream sites at higher altitudes, with cooler water temperatures. This study aims to identify local adaptation in upstream and downstream populations of this lineage in three streams in the Conondale Range, North-eastern Brisbane, Queensland, Australia. Two populations (up and down stream) from each stream have been chosen to test for local adaptation, and a parallel pattern of adaptation is expected across all streams. Six populations each consisting of 24 individuals were sequenced using the Restriction Site Associated DNA-seq (RAD-seq) technique. Genetic markers (SNPs) were developed using double digest RAD sequencing (ddRAD-seq). These were used for de novo assembly of Paratya genome. De novo assembly was done using the STACKs program and produced 56, 344 loci for 47 individuals from one stream. Among these individuals, 39 individuals shared 5819 loci, and these markers are being used to test for local adaptation using Fst outlier tests (Arlequin) and Bayesian analysis (BayeScan) between up and downstream populations. Fst outlier test detected 27 loci likely to be under selection and the Bayesian analysis also detected 27 loci as under selection. Among these 27 loci, 3 loci showed evidence of selection at a significance level using BayeScan program. On the other hand, up and downstream populations are strongly diverged at neutral loci with a Fst =0.37. Similar analysis will be done with all six populations to determine if there is a parallel pattern of adaptation across all streams. Furthermore, multi-locus among population covariance analysis will be done to identify potential markers under selection as well as to compare single locus versus multi-locus approaches for detecting local adaptation. Adaptive genes identified in this study can be used for future studies to design primers and test for adaptation in related crustacean species.

Keywords: Paratya australiensis, rainforest streams, selection, single nucleotide polymorphism (SNPs)

Procedia PDF Downloads 248
4202 Semiconductor Nanofilm Based Schottky-Barrier Solar Cells

Authors: Mariyappan Shanmugam, Bin Yu

Abstract:

Schottky-barrier solar cells are demonstrated employing 2D-layered MoS2 and WS2 semiconductor nanofilms as photo-active material candidates synthesized by chemical vapor deposition method. Large area MoS2 and WS2 nanofilms are stacked by layer transfer process to achieve thicker photo-active material studied by atomic force microscopy showing a thickness in the range of ~200 nm. Two major vibrational active modes associated with 2D-layered MoS2 and WS2 are studied by Raman spectroscopic technique to estimate the quality of the nanofilms. Schottky-barrier solar cells employed MoS2 and WS2 active materials exhibited photoconversion efficiency of 1.8 % and 1.7 % respectively. Fermi-level pinning at metal/semiconductor interface, electronic transport and possible recombination mechanisms are studied in the Schottky-barrier solar cells.

Keywords: two-dimensional nanosheet, graphene, hexagonal boron nitride, solar cell, Schottky barrier

Procedia PDF Downloads 325
4201 Paper-Based Colorimetric Sensor Utilizing Peroxidase-Mimicking Magnetic Nanoparticles Conjugated with Aptamers

Authors: Min-Ah Woo, Min-Cheol Lim, Hyun-Joo Chang, Sung-Wook Choi

Abstract:

We developed a paper-based colorimetric sensor utilizing magnetic nanoparticles conjugated with aptamers (MNP-Apts) against E. coli O157:H7. The MNP-Apts were applied to a test sample solution containing the target cells, and the solution was simply dropped onto PVDF (polyvinylidene difluoride) membrane. The membrane moves the sample radially to form the sample spots of different compounds as concentric rings, thus the MNP-Apts on the membrane enabled specific recognition of the target cells through a color ring generation by MNP-promoted colorimetric reaction of TMB (3,3',5,5'-tetramethylbenzidine) and H2O2. This method could be applied to rapidly and visually detect various bacterial pathogens in less than 1 h without cell culturing.

Keywords: aptamer, colorimetric sensor, E. coli O157:H7, magnetic nanoparticle, polyvinylidene difluoride

Procedia PDF Downloads 447
4200 Controlled Chemotherapy Strategy Applied to HIV Model

Authors: Shohel Ahmed, Md. Abdul Alim, Sumaiya Rahman

Abstract:

Optimal control can be helpful to test and compare different vaccination strategies of a certain disease. The mathematical model of HIV we consider here is a set of ordinary differential equations (ODEs) describing the interactions of CD4+T cells of the immune system with the human immunodeficiency virus (HIV). As an early treatment setting, we investigate an optimal chemotherapy strategy where control represents the percentage of effect the chemotherapy has on the system. The aim is to obtain a new optimal chemotherapeutic strategy where an isoperimetric constraint on the chemotherapy supply plays a crucial role. We outline the steps in formulating an optimal control problem, derive optimality conditions and demonstrate numerical results of an optimal control for the model. Numerical results illustrate how such a constraint alters the optimal vaccination schedule and its effect on cell-virus interactions.

Keywords: chemotherapy of HIV, optimal control involving ODEs, optimality conditions, Pontryagin’s maximum principle

Procedia PDF Downloads 326
4199 Cytotoxicity and Genotoxicity of Glyphosate and Its Two Impurities in Human Peripheral Blood Mononuclear Cells

Authors: Marta Kwiatkowska, Paweł Jarosiewicz, Bożena Bukowska

Abstract:

Glyphosate (N-phosphonomethylglycine) is a non-selected broad spectrum ingredient in the herbicide (Roundup) used for over 35 years for the protection of agricultural and horticultural crops. Glyphosate was believed to be environmentally friendly but recently, a large body of evidence has revealed that glyphosate can negatively affect on environment and humans. It has been found that glyphosate is present in the soil and groundwater. It can also enter human body which results in its occurrence in blood in low concentrations of 73.6 ± 28.2 ng/ml. Research conducted for potential genotoxicity and cytotoxicity can be an important element in determining the toxic effect of glyphosate. Due to regulation of European Parliament 1107/2009 it is important to assess genotoxicity and cytotoxicity not only for the parent substance but also its impurities, which are formed at different stages of production of major substance – glyphosate. Moreover verifying, which of these compounds are more toxic is required. Understanding of the molecular pathways of action is extremely important in the context of the environmental risk assessment. In 2002, the European Union has decided that glyphosate is not genotoxic. Unfortunately, recently performed studies around the world achieved results which contest decision taken by the committee of the European Union. World Health Organization (WHO) in March 2015 has decided to change the classification of glyphosate to category 2A, which means that the compound is considered to "probably carcinogenic to humans". This category relates to compounds for which there is limited evidence of carcinogenicity to humans and sufficient evidence of carcinogenicity on experimental animals. That is why we have investigated genotoxicity and cytotoxicity effects of the most commonly used pesticide: glyphosate and its impurities: N-(phosphonomethyl)iminodiacetic acid (PMIDA) and bis-(phosphonomethyl)amine on human peripheral blood mononuclear cells (PBMCs), mostly lymphocytes. DNA damage (analysis of DNA strand-breaks) using the single cell gel electrophoresis (comet assay) and ATP level were assessed. Cells were incubated with glyphosate and its impurities: PMIDA and bis-(phosphonomethyl)amine at concentrations from 0.01 to 10 mM for 24 hours. Evaluating genotoxicity using the comet assay showed a concentration-dependent increase in DNA damage for all compounds studied. ATP level was decreased to zero as a result of using the highest concentration of two investigated impurities, like bis-(phosphonomethyl)amine and PMIDA. Changes were observed using the highest concentration at which a person can be exposed as a result of acute intoxication. Our survey leads to a conclusion that the investigated compounds exhibited genotoxic and cytotoxic potential but only in high concentrations, to which people are not exposed environmentally. Acknowledgments: This work was supported by the Polish National Science Centre (Contract-2013/11/N/NZ7/00371), MSc Marta Kwiatkowska, project manager.

Keywords: cell viability, DNA damage, glyphosate, impurities, peripheral blood mononuclear cells

Procedia PDF Downloads 479
4198 Modern State of the Universal Modeling for Centrifugal Compressors

Authors: Y. Galerkin, K. Soldatova, A. Drozdov

Abstract:

The 6th version of Universal modeling method for centrifugal compressor stage calculation is described. Identification of the new mathematical model was made. As a result of identification the uniform set of empirical coefficients is received. The efficiency definition error is 0,86 % at a design point. The efficiency definition error at five flow rate points (except a point of the maximum flow rate) is 1,22 %. Several variants of the stage with 3D impellers designed by 6th version program and quasi three-dimensional calculation programs were compared by their gas dynamic performances CFD (NUMECA FINE TURBO). Performance comparison demonstrated general principles of design validity and leads to some design recommendations.

Keywords: compressor design, loss model, performance prediction, test data, model stages, flow rate coefficient, work coefficient

Procedia PDF Downloads 410
4197 Pastoral Power, Early Modern Insurrections, and Contemporary Carelessness: What Foucault Can Teach Us about the “Crisis of Care”

Authors: Lucile Richard

Abstract:

Contemporary thinkers studying biopolitics and its lethal logic find little interest in Foucault's "vague sketch of the pastorate.” Despite pastoral power being depicted as the matrix of governmentality in the genealogy of biopower, most post-Foucauldian theorists disregard its study. Sovereign power takes precedence in the examination of the governmental connection between care, violence, and death. Questioning this recurring motif, this article advocates for a feminist exploration of pastoral power. It argues that giving attention to the genealogy of the pastorate is essential to account for the carelessness that runs today's politics. Examining Foucault's understanding of this "power to care" uncovers the link between care work and politics, a facet of governmentality often overlooked in sovereignty-centered perspectives. His description of “pastoral insurrections”, in so far as it highlights that caring, far from being excluded from politics, is the object of competing problematizations, also calls for a more nuanced and complex comprehension of the politicization of care and care work than the ones developed by feminist theorists. As such, it provides an opportunity to delve into under-theorized dimensions of the "care crisis" in feminist accounts. On one hand, it reveals how populations are disciplined and controlled, not only through caregiving obligations, but also through being assigned or excluded from receiving care. On the other, it stresses that the organization of the public sphere is just as important as the organization of the private sphere, which is the main focus for most feminists, in preventing marginalized perspectives on caring from gaining political momentum.

Keywords: Foucault, feminist theory, resistance, pastoral power, crisis of care, biopolitics

Procedia PDF Downloads 47
4196 Swimming Pool Water Chlorination Detection System Utilizing TDSTestr

Authors: Fahad Alamoudi, Yaser Miaji, Fawzy Jalalah

Abstract:

The growing popularity of swimming pools and other activities in the water for sport, fitness, therapy or just enjoyable relaxation have led to the increased use of swimming pools and the establishment of a variety of specific-use pools such as spa pools, Waterslides and more recently, hydrotherapy and wave pools. In this research a few simple equipments are used for test, Detect and alert for detection of water cleanness and pollution. YSI Photometer Systems, TDSTestr High model, rio 12HF, and Electrode A1. The researchers used electrolysis as a method of separating bonded elements and compounds by passing an electric current through them. The results which use 41 experiments show the higher the salt concentration, the more efficient the electrode and the smaller the gap between the plates and The lower the electrode voltage. Furthermore, it is proved that the larger the surface area, the lower the cell voltage and the higher current used the more chlorine produced.

Keywords: photometer, electrode, electrolysis, swimming pool chlorination

Procedia PDF Downloads 345
4195 Structural-Geotechnical Effects of the Foundation of a Medium-Height Structure

Authors: Valentina Rodas, Luis Almache

Abstract:

The interaction effects between the existing soil and the substructure of a 5-story building with an underground one were evaluated in such a way that the structural-geotechnical concepts were validated through the method of impedance factors with a program based on the method of the finite elements. The continuous wall-type foundation had a constant thickness and followed inclined and orthogonal directions, while the ground had homogeneous and medium-type characteristics. The soil considered was type C according to the Ecuadorian Construction Standard (NEC) and the corresponding foundation comprised a depth of 4.00 meters and a basement wall thickness of 40 centimeters. This project is part of a mid-rise building in the city of Azogues (Ecuador). The hypotheses raised responded to the objectives in such a way that the model implemented with springs had a variation with respect to the embedded base, obtaining conservative results.

Keywords: interaction, soil, substructure, springs, effects, modeling , embedment

Procedia PDF Downloads 222