Search results for: long term services and supports
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 11735

Search results for: long term services and supports

6335 Anti-Parasite Targeting with Amino Acid-Capped Nanoparticles Modulates Multiple Cellular Processes in Host

Authors: Oluyomi Stephen Adeyemi, Kentaro Kato

Abstract:

Toxoplasma gondii is the etiological agent of toxoplasmosis, a common parasitic disease capable of infecting a range of hosts, including nearly one-third of the human population. Current treatment options for toxoplasmosis patients are limited. In consequence, toxoplasmosis represents a large global burden that is further enhanced by the shortcomings of the current therapeutic options. These factors underscore the need for better anti-T. gondii agents and/or new treatment approach. In the present study, we sought to find out whether preparing and capping nanoparticles (NPs) in amino acids, would enhance specificity toward the parasite versus the host cell. The selection of amino acids was premised on the fact that T. gondii is auxotrophic for some amino acids. The amino acid-nanoparticles (amino-NPs) were synthesized, purified and characterized following established protocols. Next, we tested to determine the anti-T. gondii activity of the amino-NPs using in vitro experimental model of infection. Overall, our data show evidence that supports enhanced and excellent selective action against the parasite versus the host cells by amino-NPs. The findings are promising and provide additional support that warrants exploring the prospects of NPs as alternative anti-parasite agents. In addition, the anti-parasite action by amino-NPs indicates that nutritional requirement of parasite may represent a viable target in the development of better alternative anti-parasite agents. Furthermore, data suggest the anti-parasite mechanism of the amino-NPs involves multiple cellular processes including the production of reactive oxygen species (ROS), modulation of hypoxia-inducing factor-1 alpha (HIF-1α) as well as the activation of kynurenine pathway. Taken together, findings highlight further, the prospects of NPs as alternative source of anti-parasite agents.

Keywords: drug discovery, infectious diseases, mode of action, nanomedicine

Procedia PDF Downloads 107
6334 Determination of the Toxicity of a Lunar Dust Simulant on Human Alveolar Epithelial Cells and Macrophages in vitro

Authors: Agatha Bebbington, Terry Tetley, Kathryn Hadler

Abstract:

Background: Astronauts will set foot on the Moon later this decade, and are at high risk of lunar dust inhalation. Freshly-fractured lunar dust produces reactive oxygen species in solution, which are known to cause cellular damage and inflammation. Cytotoxicity and inflammatory mediator release was measured in pulmonary alveolar epithelial cells (cells that line the gas-exchange zone of the lung) exposed to a lunar dust simulant, LMS-1. It was hypothesised that freshly-fractured LMS-1 would result in increased cytotoxicity and inflammatory mediator release, owing to the angular morphology and high reactivity of fractured particles. Methods: A human alveolar epithelial type 1-like cell line (TT1) and a human macrophage-like cell line (THP-1) were exposed to 0-200μg/ml of unground, aged-ground, and freshly-ground LMS-1 (screened at <22μm). Cell viability, cytotoxicity, and inflammatory mediator release (IL-6, IL-8) were assessed using MMT, LDH, and ELISA assays, respectively. LMS-1 particles were characterised for their size, surface area, and morphology before and after grinding. Results: Exposure to LMS-1 particles did not result in overt cytotoxicity in either TT1 epithelial cells or THP-1 macrophage-like cells. A dose-dependent increase in IL-8 release was observed in TT1 cells, whereas THP-1 cell exposure, even at low particle concentrations, resulted in increased IL-8 release. Both cytotoxic and pro-inflammatory responses were most marked and significantly greater in TT1 and THP-1 cells exposed to freshly-fractured LMS-1. Discussion: LMS-1 is a novel lunar dust simulant; this is the first study to determine its toxicological effects on respiratory cells in vitro. An increased inflammatory response in TT1 and THP-1 cells exposed to ground LMS-1 suggests that low particle size, increased surface area, and angularity likely contribute to toxicity. Conclusions: Evenlow levels of exposure to LMS-1 could result in alveolar inflammation. This may have pathological consequences for astronauts exposed to lunar dust on future long-duration missions. Future research should test the effect of low-dose, intermittent lunar dust exposure on the respiratory system.

Keywords: lunar dust, LMS-1, lunar dust simulant, long-duration space travel, lunar dust toxicity

Procedia PDF Downloads 207
6333 The 5-HT1A Receptor Biased Agonists, NLX-101 and NLX-204, Elicit Rapid-Acting Antidepressant Activity in Rat Similar to Ketamine and via GABAergic Mechanisms

Authors: A. Newman-Tancredi, R. Depoortère, P. Gruca, E. Litwa, M. Lason, M. Papp

Abstract:

The N-methyl-D-aspartic acid (NMDA) receptor antagonist, ketamine, can elicit rapid-acting antidepressant (RAAD) effects in treatment-resistant patients, but it requires parenteral co-administration with a classical antidepressant under medical supervision. In addition, ketamine can also produce serious side effects that limit its long-term use, and there is much interest in identifying RAADs based on ketamine’s mechanism of action but with safer profiles. Ketamine elicits GABAergic interneuron inhibition, glutamatergic neuron stimulation, and, notably, activation of serotonin 5-HT1A receptors in the prefrontal cortex (PFC). Direct activation of the latter receptor subpopulation with selective ‘biased agonists’ may therefore be a promising strategy to identify novel RAADs and, consistent with this hypothesis, the prototypical cortical biased agonist, NLX-101, exhibited robust RAAD-like activity in the chronic mild stress model of depression (CMS). The present study compared the effects of a novel, selective 5-HT1A receptor-biased agonist, NLX-204, with those of ketamine and NLX-101. Materials and methods: CMS procedure was conducted on Wistar rats; drugs were administered either intraperitoneally (i.p.) or by bilateral intracortical microinjection. Ketamine: 10 mg/kg i.p. or 10 µg/side in PFC; NLX-204 and NLX-101: 0.08 and 0.16 mg/kg i.p. or 16 µg/side in PFC. In addition, interaction studies were carried out with systemic NLX-204 or NLX-101 (each at 0.16 mg/kg i.p.) in combination with intracortical WAY-100635 (selective 5-HT1A receptor antagonist; 2 µg/side) or muscimol (GABA-A receptor agonist, 12.5 ng/side). Anhedonia was assessed by CMS-induced decrease in sucrose solution consumption; anxiety-like behavior was assessed using the Elevated Plus Maze (EPM), and cognitive impairment was assessed by the Novel Object Recognition (NOR) test. Results: A single administration of NLX-204 was sufficient to reverse the CMS-induced deficit in sucrose consumption, similarly to ketamine and NLX-101. NLX-204 also reduced CMS-induced anxiety in the EPM and abolished CMS-induced NOR deficits. These effects were maintained (EPM and NOR) or enhanced (sucrose consumption) over a subsequent 2-week period of treatment. The anti-anhedonic response of the drugs was also maintained for several weeks Following treatment discontinuation, suggesting that they had sustained effects on neuronal networks. A single PFC administration of NLX-204 reversed deficient sucrose consumption, similarly to ketamine and NLX-101. Moreover, the anti-anhedonic activities of systemic NLX-204 and NLX 101 were abolished by coadministration with intracortical WAY-100635 or muscimol. Conclusions: (i) The antidepressant-like activity of NLX-204 in the rat CMS model was as rapid as that of ketamine or NLX-101, supporting targeting cortical 5-HT1A receptors with selective, biased agonists to achieve RAAD effects. (ii)The anti-anhedonic activity of systemic NLX-204 was mimicked by local administration of the compound in the PFC, confirming the involvement of cortical circuits in its RAAD-like effects. (iii) Notably, the effects of systemic NLX-204 and NLX-101 were abolished by PFC administration of muscimol, indicating that they act by (indirectly) eliciting a reduction in cortical GABAergic neurotransmission. This is consistent with ketamine’s mechanism of action and suggests that there are converging NMDA and 5-HT1A receptor signaling cascades in PFC underlying the RAAD-like activities of ketamine and NLX-204. Acknowledgements: The study was financially supported by NCN grant no. 2019/35/B/NZ7/00787.

Keywords: depression, ketamine, serotonin, 5-HT1A receptor, chronic mild stress

Procedia PDF Downloads 105
6332 Eco-Entrepreneurship: Practice Examples both in the World and Turkey

Authors: O. Esmen, A. Beduk, K. Eryesil, F. Karacelebi

Abstract:

Entrepreneurship is crucial for the economy of countries in development of economy, creating new jobs and increasing employment; therefore improving welfare and a modern point of view in the society. In the development of a country encouragement of entrepreneurship and entrepreneurial qualities also play a paramount role. The increase in the world population results in more production, which brings excessive use of resources and inevitably shortage of them. In addition to this; development in technology, mismanagement in production and deficiency of waste system cause negative effects on the environmental ecological balance. Nowadays, with the societies getting awareness of environment while buying products and services, they prefer companies which are careful about environment. And as a result of this, ecoentrepreneurship gains importance. In this study; ecoentrepreneurship, which we think will gain more importance in the world and Turkey, is presented with the examples from the world and Turkey.

Keywords: ecoentrepreneurship, entrepreneurship, environmental awareness, development of economy

Procedia PDF Downloads 258
6331 Legal Rights of Parents of Justice-Involved Youth in the United Arab Emirates

Authors: Yusra Ibrahim

Abstract:

Parental involvement in their children’s education and behavioral modification is important. This article provides a policy analysis that describes laws and public education regulations concerning justice-involved youth and youth at risk of delinquency in the United Arab Emirates. The article aims to clarify the UAE laws for parents and guardians regarding their involvement in addressing school violations and crimes committed by their children, particularly those with emotional and behavioral disorders, youths at risk for delinquency, and justice-involved youths. The article concludes with implications for parents, policymakers, and educators and suggests ways to improve services and support for these parents and their youth.

Keywords: justice-involved youth, parents, incarceration, incarcerated youth, United Arab Emirates.

Procedia PDF Downloads 38
6330 Burnout in the Resident Physician and a Simple Means of Improvement

Authors: Jacob Dangerfield, Jacob Pollard, Jennifer DeCou

Abstract:

Introduction: Burnout, anxiety, and depression are three conditions that are prevalent in medical providers. This is especially the case in the field of anesthesia, which has a high number of providers suffering from burnout and burnout syndrome. A major contributor to this issue is isolation in the workplace, with a perceived lack of peer support as a major risk factor for burnout. Two organizational interventions that can be done to help improve this issue are small group sessions and providing affordable mental health services. Per American College of Graduate Medical Education (ACGME) Guidelines, these affordable mental health services are a requirement of all residency programs, but for a variety of reasons, many residents do not access them. As physicians, we are often not good at asking for help. With this in mind, we hypothesized that carrying out small group resiliency sessions facilitated by Graduate Medical Education (GME) Wellness Counselors would improve both resident peer support as well as the likelihood that a resident will reach out to GME Wellness in a time of need. Methods: We held small group resiliency sessions with the GME Wellness Mental Health Professionals during protected didactic time. These sessions were small groups, including the members of one’s class (i.e., first-year residents on their own), and were facilitated by 1-2 mental health professionals. After these sessions, we surveyed residents who attended using a short Google Forms survey and using a 5-point Likert Scale, asked residents about some outcomes from the session. A “strongly agree” or “agree” was considered a positive response. Results: Results from our survey showed that the resident sessions had multiple positive outcomes. This survey was sent to 29 residents, and we had a 62% response rate. We found out through this survey that these small group sessions had a perceived positive impact on resident personal well-being, increased perceived peer support from classmates, and made residents more likely to reach out to GME Wellness in the future. Perceived positive impact on well-being was found in 83% of resident respondents, improved perceived peer support in 83% of respondents, and 78% of resident respondents stated that this session increased their likelihood of reaching out to mental health professionals. Conclusions: Through this study, we can conclude that our hypothesis was correct in that Small Group Resiliency Sessions that are facilitated by GME Wellness Counselors improve both resident peer support as well as the likelihood a resident reaches out to these mental health professionals in time of need. We believe these findings are very important as they address two important factors that can aid in decreasing a provider’s risk of experiencing burnout. Through this simple means, we believe other residency programs can help the well-being of their residents, and together, we can decrease the number of cases of burnout in anesthesia.

Keywords: anesthesiology, burnout, wellness, depression, residents, trainees, mental health

Procedia PDF Downloads 49
6329 A Mixed-Method Study Exploring Expressive Writing as a Brief Intervention Targeting Mental Health and Wellbeing in Higher Education Students: A Focus on the Qualitative Findings

Authors: Deborah Bailey-Rodriguez, Maria Paula Valdivieso Rueda, Gemma Reynolds

Abstract:

In recent years, the mental health of Higher Education (HE) students has been a growing concern. This has been further exacerbated by the stresses associated with the Covid-19 pandemic, placing students at even greater risk of developing mental health issues. Support available to students in HE tends to follow an established and traditional route. The demands for counseling services have grown, not only with the increase in student numbers but with the number of students seeking support for mental health issues, with 94% of HE institutions recently reporting an increase in the need for counseling services. One way of improving the well-being and mental health of HE students is through the use of brief interventions, such as expressive writing (EW). This intervention involves encouraging individuals to write continuously for at least 15-20 minutes for three to five sessions (often on consecutive days) about their deepest thoughts and feelings to explore significant personal experiences in a meaningful way. Given the brevity, simplicity and cost-effectiveness of EW, this intervention has considerable potential as an intervention for HE populations. The current study, therefore, employed a mixed-methods design to explore the effectiveness of EW in reducing anxiety, general stress, academic stress and depression in HE students while improving well-being. HE students at MDX were randomly assigned to one of three conditions: (1) The UniExp-EW group was required to write about their emotions and thoughts about any stressors they have faced that are directly relevant to their university experience (2) The NonUniExp-EW group was required to write about their emotions and thoughts about any stressors that are NOT directly relevant to their university experience, and (3) The Control group were required to write about how they spent their weekend, with no reference to thoughts or emotions, and without thinking about university. Participants were required to carry out the EW intervention for 15 minutes per day for four consecutive days. Baseline mental health and well-being measures were taken before the intervention via a battery of standardized questionnaires. Following completion of the intervention on day four, participants were required to complete the questionnaires a second time and again one week later. Participants were also invited to attend focus groups to discuss their experience of the intervention. This will allow an in-depth investigation into students’ perceptions of EW as an effective intervention to determine whether they would choose to use this intervention in the future. Preliminary findings will be discussed at the conference as well as a discussion of the important implications of the findings. The study is fundamental because if EW is an effective intervention for improving mental health and well-being in HE students, its brevity and simplicity mean it can be easily implemented and can be freely available to students. Improving the mental health and well-being of HE students can have knock-on implications for improving academic skills and career development.

Keywords: expressive writing, higher education, psychology in education, mixed-methods, mental health, academic stress

Procedia PDF Downloads 64
6328 An Analysis of Twitter Use of Slow Food Movement in the Context of Online Activism

Authors: Kubra Sultan Yuzuncuyil, Aytekin İsman, Berkay Bulus

Abstract:

With the developments of information and communication technologies, the forms of molding public opinion have changed. In the presence of Internet, the notion of activism has been endowed with digital codes. Activists have engaged the use of Internet into their campaigns and the process of creating collective identity. Activist movements have been incorporating the relevance of new communication technologies for their goals and opposition. Creating and managing activism through Internet is called Online Activism. In this main, Slow Food Movement which was emerged within the philosophy of defending regional, fair and sustainable food has been engaging Internet into their activist campaign. This movement supports the idea that a new food system which allows strong connections between plate and planet is possible. In order to make their voices heard, it has utilized social networks and develop particular skills in the framework online activism. This study analyzes online activist skills of Slow Food Movement (SFM) develop and attempts to measure its effectiveness. To achieve this aim, it adopts the model proposed by Sivitandies and Shah and conduct both qualitiative and quantiative content analysis on social network use of Slow Food Movement. In this regard, the sample is chosen as the official profile and analyzed between in a three month period respectively March-May 2017. It was found that SFM develops particular techniques that appeal to the model of Sivitandies and Shah. The prominent skill in this regard was found as hyperlink abbreviation and use of multimedia elements. On the other hand, there are inadequacies in hashtag and interactivity use. The importance of this study is that it highlights and discusses how online activism can be engaged into a social movement. It also reveals current online activism skills of SFM and their effectiveness. Furthermore, it makes suggestions to enhance the related abilities and strengthen its voice on social networks.

Keywords: slow food movement, Twitter, internet, online activism

Procedia PDF Downloads 271
6327 Efficient Passenger Counting in Public Transport Based on Machine Learning

Authors: Chonlakorn Wiboonsiriruk, Ekachai Phaisangittisagul, Chadchai Srisurangkul, Itsuo Kumazawa

Abstract:

Public transportation is a crucial aspect of passenger transportation, with buses playing a vital role in the transportation service. Passenger counting is an essential tool for organizing and managing transportation services. However, manual counting is a tedious and time-consuming task, which is why computer vision algorithms are being utilized to make the process more efficient. In this study, different object detection algorithms combined with passenger tracking are investigated to compare passenger counting performance. The system employs the EfficientDet algorithm, which has demonstrated superior performance in terms of speed and accuracy. Our results show that the proposed system can accurately count passengers in varying conditions with an accuracy of 94%.

Keywords: computer vision, object detection, passenger counting, public transportation

Procedia PDF Downloads 142
6326 A Photovoltaic Micro-Storage System for Residential Applications

Authors: Alia Al Nuaimi, Ayesha Al Aberi, Faiza Al Marzouqi, Shaikha Salem Ali Al Yahyaee, Ala Hussein

Abstract:

In this paper, a PV micro-storage system for residential applications is proposed. The term micro refers to the size of the PV storage system, which is in the range of few kilo-watts, compared to the grid size (~GWs). Usually, in a typical load profile of a residential unit, two peak demand periods exist: one at morning and the other at evening time. The morning peak can be partly covered by the PV energy directly, while the evening peak cannot be covered by the PV alone. Therefore, an energy storage system that stores solar energy during daytime and use this stored energy when the sun is absent is a must. A complete design procedure including theoretical analysis followed by simulation verification and economic feasibility evaluation is addressed in this paper.

Keywords: battery, energy storage, photovoltaic, peak shaving, smart grid

Procedia PDF Downloads 314
6325 Optimizing Heavy-Duty Green Hydrogen Refueling Stations: A Techno-Economic Analysis of Turbo-Expander Integration

Authors: Christelle Rabbat, Carole Vouebou, Sary Awad, Alan Jean-Marie

Abstract:

Hydrogen has been proven to be a viable alternative to standard fuels as it is easy to produce and only generates water vapour and zero carbon emissions. However, despite the hydrogen benefits, the widespread adoption of hydrogen fuel cell vehicles and internal combustion engine vehicles is impeded by several challenges. The lack of refueling infrastructures remains one of the main hindering factors due to the high costs associated with their design, construction, and operation. Besides, the lack of hydrogen vehicles on the road diminishes the economic viability of investing in refueling infrastructure. Simultaneously, the absence of accessible refueling stations discourages consumers from adopting hydrogen vehicles, perpetuating a cycle of limited market uptake. To address these challenges, the implementation of adequate policies incentivizing the use of hydrogen vehicles and the reduction of the investment and operation costs of hydrogen refueling stations (HRS) are essential to put both investors and customers at ease. Even though the transition to hydrogen cars has been rather slow, public transportation companies have shown a keen interest in this highly promising fuel. Besides, their hydrogen demand is easier to predict and regulate than personal vehicles. Due to the reduced complexity of designing a suitable hydrogen supply chain for public vehicles, this sub-sector could be a great starting point to facilitate the adoption of hydrogen vehicles. Consequently, this study will focus on designing a chain of on-site green HRS for the public transportation network in Nantes Metropole leveraging the latest relevant technological advances aiming to reduce the costs while ensuring reliability, safety, and ease of access. To reduce the cost of HRS and encourage their widespread adoption, a network of 7 H35-T40 HRS has been designed, replacing the conventional J-T valves with turbo-expanders. Each station in the network has a daily capacity of 1,920 kg. Thus, the HRS network can produce up to 12.5 tH2 per day. The detailed cost analysis has revealed a CAPEX per station of 16.6 M euros leading to a network CAPEX of 116.2 M euros. The proposed station siting prioritized Nantes metropole’s 5 bus depots and included 2 city-centre locations. Thanks to the turbo-expander technology, the cooling capacity of the proposed HRS is 19% lower than that of a conventional station equipped with J-T valves, resulting in significant CAPEX savings estimated at 708,560 € per station, thus nearly 5 million euros for the whole HRS network. Besides, the turbo-expander power generation ranges from 7.7 to 112 kW. Thus, the power produced can be used within the station or sold as electricity to the main grid, which would, in turn, maximize the station’s profit. Despite the substantial initial investment required, the environmental benefits, cost savings, and energy efficiencies realized through the transition to hydrogen fuel cell buses and the deployment of HRS equipped with turbo-expanders offer considerable advantages for both TAN and Nantes Metropole. These initiatives underscore their enduring commitment to fostering green mobility and combatting climate change in the long term.

Keywords: green hydrogen, refueling stations, turbo-expander, heavy-duty vehicles

Procedia PDF Downloads 47
6324 Optimal Tuning of a Fuzzy Immune PID Parameters to Control a Delayed System

Authors: S. Gherbi, F. Bouchareb

Abstract:

This paper deals with the novel intelligent bio-inspired control strategies, it presents a novel approach based on an optimal fuzzy immune PID parameters tuning, it is a combination of a PID controller, inspired by the human immune mechanism with fuzzy logic. Such controller offers more possibilities to deal with the delayed systems control difficulties due to the delay term. Indeed, we use an optimization approach to tune the four parameters of the controller in addition to the fuzzy function; the obtained controller is implemented in a modified Smith predictor structure, which is well known that it is the most efficient to the control of delayed systems. The application of the presented approach to control a three tank delay system shows good performances and proves the efficiency of the method.

Keywords: delayed systems, fuzzy immune PID, optimization, Smith predictor

Procedia PDF Downloads 427
6323 NGO Social Entrepreneurship and Innovation Abroad: The Effects on Local Social Economies

Authors: Renee Nank

Abstract:

Nongovernmental organizations that operate in other countries are, under American law, permitted to apply for and receive special tax status even when their programs and services are situated in other countries. NGO's are lauded as incubators for innovation as they typically tackle difficult problems that public and private organizations are unable or uninterested in addressing. Little research has been undertaken that explores both the extent of these organizations in number and reach, their impact on addressing local issues they seek to resolve, and their effect on local social economies - namely job creation. This study explores the landscape of these NGOs that are afforded tax benefits in the U.S., but operate in other countries, the degree to which they are entrepreneurial and innovate, and their effect on local social economies. This applies this lens to particular cases by exploring in greater depth several American NGO's operating in Mexico.

Keywords: civil society, nongovernmental organizations, social entrepreneurship, social economy, NGO innovation

Procedia PDF Downloads 349
6322 The Mental Health Policy in the State of EspíRito Santo, Brazil: Judicialization

Authors: Fabiola Xavier Leal, Lara Campanharo, Sueli Aparecida Rodrigues Lucas

Abstract:

The phenomenon of judicialization in health policy brings with it a great deal of problematization, but in general, it means that some issues that were previously solved by traditional political bodies are being decided by the Judiciary bodies. It is, therefore, a controversial topic that has generated many reflections both in the academic and political fields, considering that not only a dispute of public funds is at stake, but also the debate on access to social rights provided for in the Brazilian Federal Constitution of 1988 and in the various public policies, such as healthcare. With regard to the phenomenon in the Mental Health Policy focusing on people who use drugs, the disputes that permeate this scenario are evident: moral, cultural, sanitary, economic, psychological aspects. There are also the individual and collective dimensions of suffering. And in this process, we all question: What is the role of the Brazilian State in this matter? In this context, another question that needs to be answered is the amount spent on this procedure in the state of Espírito Santo (ES), Brazil (in the last 04 years, around R$121,978,591.44 were paid only for compulsory hospitalization of individuals) in the field in question, which is the financing of the services of the Psychosocial Care Network (RAPS). Therefore, this article aims to problematize the phenomenon of judicialization in Mental Health Policy through the compulsory hospitalization of people who use drugs in Espírito Santo (ES). We proposed a study that sought to understand how this has been occurring and making an impact on the provision of RAPS services in the Espírito Santo scenario. Therefore, the general objective of this study is to analyze the expenses with compulsory hospitalizations for drug use carried out by the State Health Department (SESA) between 2014 and 2019, in which we will seek to identify its destination and the impact of these actions on public health policy. For the purposes of this article, we will present the preliminary data of this study, such as the amount spent by the state and the receiving institutions. For data collection, the following data sources were used: documents available publicly on the Transparency Portal (payments made per year, institutions that received, subjects hospitalized, period and the amount of the daily rates paid); as well as the processes generated by SESA through its own system - ONBASE. For qualitative analysis, content analysis was used; and for quantitative analysis, descriptive statistics was used. Thus, we seek to problematize the issue of judicialization for compulsory hospitalizations, considering the current situation in which this resource has been widely requested to legitimize the war on drugs. This scenario highlights the moral-legal discourse, pointing out strategies through the control of bodies and through faith as an alternative.

Keywords: compulsory hospitalization, drugs, judicialization, mental health

Procedia PDF Downloads 164
6321 Energy Consumption Models for Electric Vehicles: Survey and Proposal of a More Realistic Model

Authors: I. Sagaama, A. Kechiche, W. Trojet, F. Kamoun

Abstract:

Replacing combustion engine vehicles by electric vehicles (EVs) is a major step in recent years due to their potential benefits. Battery autonomy and charging processes are still a big issue for that kind of vehicles. Therefore, reducing the energy consumption of electric vehicles becomes a necessity. Many researches target introducing recent information and communication technologies in EVs in order to propose reducing energy consumption services. Evaluation of realistic scenarios is a big challenge nowadays. In this paper, we will elaborate a state of the art of different proposed energy consumption models in the literature, then we will present a comparative study of these models, finally, we will extend previous works in order to propose an accurate and realistic energy model for calculating instantaneous power consumption of electric vehicles.

Keywords: electric vehicle, vehicular networks, energy models, traffic simulation

Procedia PDF Downloads 363
6320 Optimizing Resource Management in Cloud Computing through Blockchain-Enabled Cost Transparency

Authors: Raghava Satya SaiKrishna Dittakavi

Abstract:

Cloud computing has revolutionized how businesses and individuals store, access, and process data, increasing efficiency and reducing infrastructure costs. However, the need for more transparency in cloud service billing often raises concerns about overcharging and hidden fees, hindering the realization of the full potential of cloud computing. This research paper explores how blockchain technology can be leveraged to introduce cost transparency and accountability in cloud computing services. We present a comprehensive analysis of blockchain-enabled solutions that enhance cost visibility, facilitate auditability, and promote trust in cloud service providers. Through this study, we aim to provide insights into the potential benefits and challenges of implementing blockchain in the cloud computing domain, leading to improved cost management and customer satisfaction.

Keywords: blockchain, cloud computing, cost transparency, blockchain technology

Procedia PDF Downloads 78
6319 A Practical Approach and Implementation of Digital Library Towards Best Practice in Malaysian Academic Library

Authors: Zainab Ajab Mohideen, Kiran Kaur, A. Basheer Ahamadhu, Noor Azlinda Wan Jan, Sukmawati Muhammad

Abstract:

The corpus in the digital library is to provide an overview and evidence from library automation that can be used to justify the needs of the digital library. This paper disperses the approach and implementation of the digital library as part of best practices by the Automation Division at Hamzah Sendut Library of the University Science Malaysia (USM). The implemented digital library model emphasizes on the entire library collections, technical perspective, and automation solution. This model served as a foundation for digital library services as part of information delivery in the USM digital library. The approach to digital library includes discussion on key factors, design, architecture, and pragmatic model that has been collected, captured, and identified during the implementation stages. At present, the USM digital library has achieved the status of an Institutional Repository (IR).

Keywords: academic digital library, digital information system, digital library best practice, digital library model

Procedia PDF Downloads 548
6318 A Simple Chemical Approach to Regenerating Strength of Thermally Recycled Glass Fibre

Authors: Sairah Bashir, Liu Yang, John Liggat, James Thomason

Abstract:

Glass fibre is currently used as reinforcement in over 90% of all fibre-reinforced composites produced. The high rigidity and chemical resistance of these composites are required for optimum performance but unfortunately results in poor recyclability; when such materials are no longer fit for purpose, they are frequently deposited in landfill sites. Recycling technologies, for example, thermal treatment, can be employed to address this issue; temperatures typically between 450 and 600 °C are required to allow degradation of the rigid polymeric matrix and subsequent extraction of fibrous reinforcement. However, due to the severe thermal conditions utilised in the recycling procedure, glass fibres become too weak for reprocessing in second-life composite materials. In addition, more stringent legislation is being put in place regarding disposal of composite waste, and so it is becoming increasingly important to develop long-term recycling solutions for such materials. In particular, the development of a cost-effective method to regenerate strength of thermally recycled glass fibres will have a positive environmental effect as a reduced volume of composite material will be destined for landfill. This research study has demonstrated the positive impact of sodium hydroxide (NaOH) and potassium hydroxide (KOH) solution, prepared at relatively mild temperatures and at concentrations of 1.5 M and above, on the strength of heat-treated glass fibres. As a result, alkaline treatments can potentially be implemented to glass fibres that are recycled from composite waste to allow their reuse in second-life materials. The optimisation of the strength recovery process is being conducted by varying certain reaction parameters such as molarity of alkaline solution and treatment time. It is believed that deep V-shaped surface flaws exist commonly on severely damaged fibre surfaces and are effectively removed to form smooth, U-shaped structures following alkaline treatment. Although these surface flaws are believed to be present on glass fibres they have not in fact been observed, however, they have recently been discovered in this research investigation through analytical techniques such as AFM (atomic force microscopy) and SEM (scanning electron microscopy). Reaction conditions such as molarity of alkaline solution affect the degree of etching of the glass fibre surface, and therefore the extent to which fibre strength is recovered. A novel method in determining the etching rate of glass fibres after alkaline treatment has been developed, and the data acquired can be correlated with strength. By varying reaction conditions such as alkaline solution temperature and molarity, the activation energy of the glass etching process and the reaction order can be calculated respectively. The promising results obtained from NaOH and KOH treatments have opened an exciting route to strength regeneration of thermally recycled glass fibres, and the optimisation of the alkaline treatment process is being continued in order to produce recycled fibres with properties that match original glass fibre products. The reuse of such glass filaments indicates that closed-loop recycling of glass fibre reinforced composite (GFRC) waste can be achieved. In fact, the development of a closed-loop recycling process for GFRC waste is already underway in this research study.

Keywords: glass fibers, glass strengthening, glass structure and properties, surface reactions and corrosion

Procedia PDF Downloads 251
6317 Development of a Rice Fortification Technique Using Vacuum Assisted Rapid Diffusion for Low Cost Encapsulation of Fe and Zn

Authors: R. A. C. H. Seneviratne, M. Gunawardana, R. P. N. P. Rajapakse

Abstract:

To address the micronutrient deficiencies in the Asian region, the World Food Program in its current mandate highlights the requirement of employing efficient fortification of micronutrients in rice, under the program 'Scaling-up Rice Fortification in Asia'. The current industrial methods of rice fortification with micronutrients are not promising due to poor permeation or retention of fortificants. This study was carried out to develop a method to improve fortification of micronutrients in rice by removing the air barriers for diffusing micronutrients through the husk. For the purpose, soaking stage of paddy was coupled with vacuum (- 0.6 bar) for different time periods. Both long and short grain varieties of paddy (BG 352 and BG 358, respectively) initially tested for water uptake during hot soaking (70 °C) under vacuum (28.5 and 26.15%, respectively) were significantly (P < 0.05) higher than that of non-vacuum conditions (25.24 and 25.45% respectively), exhibiting the effectiveness of water diffusion into the rice grains through the cleared pores under negative pressure. To fortify the selected micronutrients (iron and zinc), paddy was vacuum-soaked in Fe2+ or Zn2+ solutions (500 ppm) separately for one hour, and continued soaking for another 3.5 h without vacuum. Significantly (P<0.05) higher amounts of Fe2+ and Zn2+ were observed throughout the soaking period, in both short and long grain varieties of rice compared to rice treated without vacuum. To achieve the recommended limits of World Food Program standards for fortified iron (40-48 mg/kg) and zinc (60-72 mg/kg) in rice, soaking was done with different concentrations of Fe2+ or Zn2+ for varying time periods. For both iron and zinc fortifications, hot soaking (70 °C) in 400 ppm solutions under vacuum (- 0.6 bar) during the first hour followed by 2.5 h under atmospheric pressure exhibited the optimum fortification (Fe2+: 46.59±0.37 ppm and Zn2+: 67.24±1.36 ppm) with a greater significance (P < 0.05) compared to the controls (Fe2+: 38.84±0.62 ppm and Zn2+: 52.55±0.55 ppm). This finding was further confirmed by the XRF images, clearly showing a greater fixation of Fe2+ and Zn2+ in the rice grains under vacuum treatment. Moreover, there were no significant (P>0.05) differences among both Fe2+ and Zn2+ contents in fortified rice even after polishing and washing, confirming their greater retention. A seven point hedonic scale showed that the overall acceptability for both iron and zinc fortified rice were significantly (P < 0.05) higher than the parboiled rice without fortificants. With all the drawbacks eliminated, per kilogram cost will be less than US$ 1 for both iron and zinc fortified rice. The new method of rice fortification studied and developed in this research, can be claimed as the best method in comparison to other rice fortification methods currently deployed.

Keywords: fortification, vacuum assisted diffusion, micronutrients, parboiling

Procedia PDF Downloads 250
6316 Biometric Recognition Techniques: A Survey

Authors: Shabir Ahmad Sofi, Shubham Aggarwal, Sanyam Singhal, Roohie Naaz

Abstract:

Biometric recognition refers to an automatic recognition of individuals based on a feature vector(s) derived from their physiological and/or behavioral characteristic. Biometric recognition systems should provide a reliable personal recognition schemes to either confirm or determine the identity of an individual. These features are used to provide an authentication for computer based security systems. Applications of such a system include computer systems security, secure electronic banking, mobile phones, credit cards, secure access to buildings, health and social services. By using biometrics a person could be identified based on 'who she/he is' rather than 'what she/he has' (card, token, key) or 'what she/he knows' (password, PIN). In this paper, a brief overview of biometric methods, both unimodal and multimodal and their advantages and disadvantages, will be presented.

Keywords: biometric, DNA, fingerprint, ear, face, retina scan, gait, iris, voice recognition, unimodal biometric, multimodal biometric

Procedia PDF Downloads 749
6315 Testing a Dose-Response Model of Intergenerational Transmission of Family Violence

Authors: Katherine Maurer

Abstract:

Background and purpose: Violence that occurs within families is a global social problem. Children who are victims or witness to family violence are at risk for many negative effects both proximally and distally. One of the most disconcerting long-term effects occurs when child victims become adult perpetrators: the intergenerational transmission of family violence (ITFV). Early identification of those children most at risk for ITFV is needed to inform interventions to prevent future family violence perpetration and victimization. Only about 25-30% of child family violence victims become perpetrators of adult family violence (either child abuse, partner abuse, or both). Prior research has primarily been conducted using dichotomous measures of exposure (yes; no) to predict ITFV, given the low incidence rate in community samples. It is often assumed that exposure to greater amounts of violence predicts greater risk of ITFV. However, no previous longitudinal study with a community sample has tested a dose-response model of exposure to physical child abuse and parental physical intimate partner violence (IPV) using count data of frequency and severity of violence to predict adult ITFV. The current study used advanced statistical methods to test if increased childhood exposure would predict greater risk of ITFV. Methods: The study utilized 3 panels of prospective data from a cohort of 15 year olds (N=338) from the Project on Human Development in Chicago Neighborhoods longitudinal study. The data were comprised of a stratified probability sample of seven ethnic/racial categories and three socio-economic status levels. Structural equation modeling was employed to test a hurdle regression model of dose-response to predict ITFV. A version of the Conflict Tactics Scale was used to measure physical violence victimization, witnessing parental IPV and young adult IPV perpetration and victimization. Results: Consistent with previous findings, past 12 months incidence rates severity and frequency of interpersonal violence were highly skewed. While rates of parental and young adult IPV were about 40%, an unusually high rate of physical child abuse (57%) was reported. The vast majority of a number of acts of violence, whether minor or severe, were in the 1-3 range in the past 12 months. Reported frequencies of more than 5 times in the past year were rare, with less than 10% of those reporting more than six acts of minor or severe physical violence. As expected, minor acts of violence were much more common than acts of severe violence. Overall, regression analyses were not significant for the dose-response model of ITFV. Conclusions and implications: The results of the dose-response model were not significant due to a lack of power in the final sample (N=338). Nonetheless, the value of the approach was confirmed for the future research given the bi-modal nature of the distributions which suggest that in the context of both child physical abuse and physical IPV, there are at least two classes when frequency of acts is considered. Taking frequency into account in predictive models may help to better understand the relationship of exposure to ITFV outcomes. Further testing using hurdle regression models is suggested.

Keywords: intergenerational transmission of family violence, physical child abuse, intimate partner violence, structural equation modeling

Procedia PDF Downloads 237
6314 A Public Health Perspective on Deradicalisation: Re-Conceptualising Deradicalisation Approaches

Authors: Erin Lawlor

Abstract:

In 2008 Time magazine named terrorist rehabilitation as one of the best ideas of the year. The term deradicalisation has become synonymous with rehabilitation within security discourse. The allure for a “quick fix” when managing terrorist populations (particularly within prisons) has led to a focus on prescriptive programmes where there is a distinct lack of exploration into the drivers for a person to disengage or deradicalise from violence. It has been argued that to tackle a snowballing issue that interventions have moved too quickly for both theory development and methodological structure. This overly quick acceptance of a term that lacks rigorous testing, measuring, and monitoring means that there is distinct lack of evidence base for deradicalisation being a genuine process/phenomenon, leading to academics retrospectively attempting to design frameworks and interventions around a concept that is not truly understood. The UK Home Office has openly acknowledged the lack of empirical data on this subject. This lack of evidence has a direct impact on policy and intervention development. Extremism and deradicalisation are issues that affect public health outcomes on a global scale, to the point that terrorism has now been added to the list of causes of trauma, both in the direct form of being victim of an attack but also the indirect context of witnesses, children and ordinary citizens who live in daily fear. This study critiques current deradicalisation discourses to establish whether public health approaches offer opportunities for development. The research begins by exploring the theoretical constructs of both what deradicalisation, and public health issues are. Questioning: What does deradicalisation involve? Is there an evidential base on which deradicalisation theory has established itself? What theory are public health interventions devised from? What does success look like in both fields? From establishing this base, current deradicalisation practices will then be explored through examples of work already being carried out. Critiques can be broken into discussion points of: Language, the difficulties with conducting empirical studies and the issues around outcome measurements that deradicalisation interventions face. This study argues that a public health approach towards deradicalisation offers the opportunity to attempt to bring clarity to the definitions of radicalisation, identify what could be modified through intervention and offer insights into the evaluation of interventions. As opposed to simply focusing on an element of deradicalisation and analysing that in isolation, a public health approach allows for what the literature has pointed out is missing, a comprehensive analysis of current interventions and information on creating efficacy monitoring systems. Interventions, policies, guidance, and practices in both the UK and Australia will be compared and contrasted, due to the joint nature of this research between Sheffield Hallam University and La Trobe, Melbourne.

Keywords: radicalisation, deradicalisation, violent extremism, public health

Procedia PDF Downloads 64
6313 Growth of New Media Advertising

Authors: Palwinder Bhatia

Abstract:

As all know new media is a broad term in media studies that emerged in the latter part of the 20th century which refers to on-demand access to content any time, anywhere, on any digital device, as well as interactive user feedback, creative participation and community formation around the media content. The role of new media in advertisement is impeccable these days. It becomes the cheap and best way of advertising. Another important promise of new media is the democratization of the creation, publishing, distribution and consumption of media content. New media brings a revolution in about every field. It makes bridge between customer and companies. World make a global village with the only help of new media. Advertising helps in shaping the consumer behavior and effect on consumer psychology, sociology, social anthropology and economics. People do comments and like the particular brands on the networking sites which create mesmerism impact on the behavior of customer. Recent study did by Times of India shows that 64% of Facebook users have liked a brand on Facebook.

Keywords: film, visual, culture, media, advertisement

Procedia PDF Downloads 277
6312 Localization Problem in Optical Fiber Sensors

Authors: M. Zyczkowski, P. Markowski, M. Karol

Abstract:

The security industry is making many efforts to lower the costs of system installation. However, the dominant technique is the application of fiber optic sensors. It is necessary to determine the location of the disorder of long optical fiber cables. For a number of years, many research centers developed their own solutions. The article presents the construction of the sensor systems with the possibility of disorder location. We present a methodology for determining location of the disorder. The aim of investigations is to answer the question of which of optical sensor configuration offer the best performance for location of the disorder.

Keywords: fiber optic sensor, security sensor, fiber cables, system instillation

Procedia PDF Downloads 629
6311 Driving and Hindering Forces for the Care of Older People: experiences of Brazilian Family Caregivers

Authors: Adriane Amend, Leidiene Ferreira Santos, Daniella Pires Nunes

Abstract:

The experience of assuming or caring for older persons dependents by relatives is a complex task that encompasses or affective involvement, the demand for technical activities and or psychological support. It would be necessary to understand the situations related to the caregiver, the person and the environment, which help the family difficulty, as a caregiver to lead this role. Objective: To identify the forces that drive and restrict the care process of family caregivers of the older adults. Method: Descriptive and exploratory research, with a qualitative approach, which has as a reference the Force Field Theory. Five family caregivers of older adult’s dependents residing in the city of Palmas, Tocantins, Brazil will participate. The data were collected from December 2021 to February 2022, through a semi-structured individual interview, and submitted to content analysis. Results: As forces that drive or process of caring for family caregivers were: the account of compassionate attitudes and patience of the caregiver (I); to the collaboration of the other person to the care and to the body structure of the same (Other); and the supports of other people not cared for and structural, such as adaptations in the room, read and bathroom, as in the presence of air conditioners (Environment). Among the restrictive forces of care we mention difficulties in delegating care to another person, or stress of care and other personal demands (I); imposition of the older person about care and e a transfer from bed to hip (Other); e lack of accessibility of the house and absence of air conditioning and hospital bed (Environment). Conclusion: The results show that there are driving forces with the caregiver's attitude and feelings, a bond as an idol and support for the caregiver and the environment. On the other hand, conflicting ties, absence of physical structure and daily and continuous care shifts, can significantly compromise well-being or the cycle of older adult, caregiver and care.

Keywords: caregivers, frail elderly, perception, geriatric nursing

Procedia PDF Downloads 89
6310 Collagen Deposition in Lung Parenchyma Driven by Depletion of LYVE-1+ Macrophages Protects Emphysema and Loss of Airway Function

Authors: Yinebeb Mezgebu Dagnachew, Hwee Ying Lim, Liao Wupeng, Sheau Yng Lim, Lim Sheng Jie Natalie, Veronique Angeli

Abstract:

Collagen is essential for maintaining lung structure and function, and its remodeling has been associated with respiratory diseases, including chronic obstructive pulmonary disease (COPD). However, the cellular mechanisms driving collagen remodeling and the functional implications of this process in the pathophysiology of pulmonary diseases remain poorly understood. Using a mouse model of Lyve-1 expressing macrophage depletion, we found that the absence of this subpopulation of tissue-resident macrophage led to the preferential deposition of type I collagen fibers around the alveoli and bronchi in the steady state. Further analysis by polarized light microscopy revealed that the collagen fibers accumulating in the lungs depleted of Lyve-1+ macrophages were thicker and crosslinked. A decrease in MMP-9 gene expression and proteolytic activity, together with an increase in Col1a1, Timp-3 and Lox gene expression, accompanied the collagen alterations. Next, we investigated the effect of the collagen remodeling on the pathophysiology of COPD and airway function in mouse lacking Lyve-1+ macrophage exposed chronically to cigarette smoke (CS), a well-established animal model of COPD. We showed that the deposition of collagen protected mouse against the destruction of alveoli (emphysema) and bronchi thickening after CS exposure and prevented loss of airway function. Thus, we demonstrate that interstitial Lyve-1+ macrophages regulate the composition, amount, and architecture of the collagen network in the lungs and that such collagen remodeling functionally impacts the development of COPD. This study further supports the potential of targeting collagen as a promising approach to treating respiratory diseases.

Keywords: lung, extracellular matrix, chronic obstructive pulmonary disease, matrix metalloproteinases, collagen

Procedia PDF Downloads 30
6309 Pure Economic Loss: A Trouble Child

Authors: Isabel Mousinho de Figueiredo

Abstract:

Pure economic loss can be brought into the 21st century and become a useful tool to keep the tort of negligence within reasonable limits, provided the concept is minutely reexamined. The term came about when wealth was physical, and Law wanted to be a modern science. As a tool to draw the line, it leads to satisfactory decisions in most cases, but needlessly creates distressing conundrums in others, and these are the ones parties bother to litigate about. Economic loss is deemed to be pure based on a blind negative criterion of physical harm, that inadvertently smelts vastly disparate problems into an indiscernible mass, with arbitrary outcomes. These shortcomings are usually dismissed as minor byproducts, for the lack of a better formula. Law could instead stick to the sound paradigms of the intended rule, and be more specific in identifying the losses deserving of compensation. This would provide a better service to Bench and Bar, and effectively assist everyone navigating the many challenges of Accident Law.

Keywords: accident law, comparative tort law, negligence, pure economic loss

Procedia PDF Downloads 112
6308 Meeting Criminogenic Needs to Reduce Recidivism: The Diversion of Vulnerable Offenders from the Criminal Justice System into Care

Authors: Paulo Rocha

Abstract:

Once in touch with the Criminal Justice System, offenders with mental disorder tend to return to custody more often than nondisordered individuals, which suggests they have not been receiving appropriate treatment in prison. In this scenario, diverting individuals into care as early as possible in their trajectory seems to be the appropriate approach to rehabilitate mentally unwell offenders and alleviate overcrowded prisons. This paper builds on an ethnographic research investigating the challenges encountered by practitioners working to divert offenders into care while attempting to establish cross-boundary interactions with professionals in the Criminal Justice System and Mental Health Services in the UK. Drawing upon the findings of the study, this paper suggests the development of adequate tools to enable liaison between agencies which ultimately results in successful interventions.

Keywords: criminogenic needs, interagency collaboration, liaison and diversion, recidivism

Procedia PDF Downloads 160
6307 Treatment with RRx-001, a Minimally Toxic NLRP3 Inhibitor in Phase 3 Clinical Trials, Improves Exercise and Skeletal Muscle Oxidative Capacity in Untrained Mice

Authors: Pedro Cabrales, Scott Caroen, Tony R. Reid, Bryan Oronsky

Abstract:

Introduction and Purpose RRx-001 is an NLRP3 inhibitor and Nrf2 agonist in Phase 3 trials for the treatment of cancer. The purpose of this study was to examine whether treatment with RRx-001, given itsanti-inflammatory and antioxidant properties, improvedexercise and skeletal muscle oxidative capacity in mice on the generalpremiss that better health outcomes correlatewith more activity. Material and Methods Male and female adult mice (n=6 per group) were subjected to an endurance exercise capacity (EEC)test until exhaustion on a motorized treadmill after 3 once weekly doses of either RRx-001 5 mg/kg, RRx-001 2 mg/kg, or vehicle. The EEC protocol consisted of a treadmill velocity of 30meters per min at an uphill inclination (slope of 10%) until the mice reached fatigue, which was defined as the inability of the mice to maintain the appropriate pace despitecontinuous hand stimulation for 1 min. The concentration of malondialdehyde (MDA), an indicator of lipid peroxidation, and creatine kinase (CK), an indicator of muscle damage, in the blood samples collected immediately after the acute exercise was determined with a commercial ELISA assay kit. ResultsThe exhaustive exercise times of the RRx-001 groups were significantly longer than that of the vehicle group (p<0.05) by weeks 2 and 3. In addition, MDA levels in the gastrocnemius, soleus, and extensor digitorum longus muscles were significantly lower than those of the vehicle group were (p<0.05), as were the serum CK levels(p<0.05). ConclusionsIn conclusion, this study found that RRx-001 has anti-fatigue properties, as evidenced by an increase in exercise capacity with RRx-001 treatment, and protects against strenuous exercise-induced muscle damage and lipid peroxidation. This data potentially supports the use of RRx-001 in the clinic to improve exercise performance and reduce physical fatigue.

Keywords: RRx-001, anti-fatigue, muscle protection, increased exercise tolerance, lipid peroxidation

Procedia PDF Downloads 97
6306 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