Search results for: conflict potential

Authors: Yakin Ekin, Onur Akbulut

Abstract:

This study aims not only to create a summarized background for the effective and efficient use of the potential of Izmir by providing the strategic planning works and institutional and sectoral strategy documents with different purposes realized by all relevant institutions and organizations in Izmir and Aegean Region to steer towards the same priorities and aims, but also focuses on a criticism and comparison viewpoint about tourism sector in Izmir.

Keywords: regional plan, Izmir, tourism, sectoral strategy

Procedia PDF Downloads 456

Authors: B. Rusyidi

Abstract:

Since 2009, the Indonesian Ministry of Social Affairs has been implementing Program Kesejahteraan Sosial Anak (PKSA) (Child Welfare Program) a conditional cash transfer program that targets neglected children, children with disabilities, street children, children in conflict with the law, and children in need of special protection, all from poor households. PKSA integrates three elements: Transfer of cash, care and social services through social workers, and institutional childcare assistance. This qualitative study analyzed the roles and the challenges of social workers in implementing PKSA and lays out recommendations to inform policy changes. Data were collected in late 2014 from national and local government and non-government child welfare agencies, social workers, and childcare institution representatives through interviews and Focused Group Discussions (FGDs). Field work took place in six districts in the provinces of Jakarta, Central Java and South Sulawesi. The study found that the social workers’ role was significant in facilitating cash transfer, providing education and guidance, and linking children and families to basic social services. This improved utilization of basic social services enhanced children and families’ behaviors and contributed to the well being of the children. However, only a small number of childcare institutions have social workers, leaving many children and families without care and social service linkages, depriving them of rehabilitative components to help them regain their social functions. Some social workers reported their struggles with heavy workloads, lack of professional competencies and training, limited job security, and inadequate professional acknowledgment from other professions. Parts of those challenges were due to the centralized nature of the program and the lack of shared vision and commitment about the child protection system among related government agencies both at the national and local levels. The study highlights the necessity to implement an integrated child protection system, decentralize the PKSA program, and increase the number, competence, case management, and management and monitoring of social workers. The most recent progress of the program and its impacts on social workers are also discussed.

Keywords: child protection, conditional cash transfer, program decentralization, social worker, working conditions

Procedia PDF Downloads 219

Authors: Muhammad Iqbal, Hafiz Muhammad Tauqeer, Hamza Rafaqat, Muhammad Naveed, Muhammad Awais Irshad

Abstract:

Soil pollution with chromium (Cr) has become one of the most important concerns due to its toxicity for humans. To date, various remediation approaches have been employed for the remediation and management of Cr contaminated soils. Phytoextraction is an eco-friendly and emerging remediation approach which has gained attention due to several advantages over conventional remediation approach. The use of energy crops for phytoremediation is an emerging trend worldwide. These energy crops have high tolerance against various environmental stresses, the potential to grow in diverse ecosystems and high biomass production make them a suitable candidate for phytoremediation of contaminated soils. The removal efficiency of plants in phytoextraction depends upon several soil and plant factors including solubility, bioavailability and metal speciation in soils. A pot scale experiment was conducted to evaluate the phytoextraction potential of Arundo donax L. with the application of acetic acid (A.A) in Cr contaminated soils. Plants were grown in pots filled with 5 kg soils for 90 days. After 30 days plants acclimatization in pot conditions, plants were treated with various levels of Cr (2.5 mM, 5 mM, 7.5 mM, 10 mM) and A.A (Cr 2.5 mM + A.A 2.5 mM, Cr 5 mM + A.A 2.5 mM, Cr 7.5 mM + A.A 2.5 mM, Cr 10 mM + A.A 2.5 mM). The application of A.A significantly increased metal uptake and in roots and shoots of A. donax. This increase was observed at Cr 7.5 mM + A.A 2.5 mM but at high concentrations, visual symptoms of Cr toxicity were observed on leaves. Similarly, A.A applications also affect the activities of key enzymes including catalase (CAT), superoxidase dismutase (SOD), and ascorbate peroxidase (APX) in leaves of A. donax. Based on results it is concluded that the applications of A.A acid for phytoextraction is an alternative approach for the management of Cr affected soils and synthetic chelators should be replaced with organic acids.

Keywords: acetic acid, A. donax, chromium, energy crop, phytoextraction

Procedia PDF Downloads 391

Authors: Sherif Fakher

Abstract:

Hydrogen has been gaining a lot of global attention as an uprising contributor in the energy sector. Labeled as an energy carrier, hydrogen is used in many industries and can be used to generate electricity via fuel cells. Blue hydrogen involves the production of hydrogen from hydrocarbons using different processes that emit CO₂. However, the CO₂ is captured and stored. Hence, very little environmental damage occurs during the hydrogen production process. This research investigates the ability to use different catalysts for the production of hydrogen from different hydrocarbon sources, including coal, oil, and gas, using a two-step Aquathermolysis reaction. The research presents the results of experiments conducted to evaluate different catalysts and also highlights the main advantages of this process over other blue hydrogen production methods, including methane steam reforming, autothermal reforming, and oxidation. Two methods of hydrogen generation were investigated including partial oxidation and aquathermolysis. For those two reactions, the reaction kinetics, thermodynamics, and medium were all investigated. Following this, experiments were conducted to test the hydrogen generation potential from both methods. The porous media tested were sandstone, ash, and prozzolanic material. The spent oils used were spent motor oil and spent vegetable oil from cooking. Experiments were conducted at temperatures up to 250 C and pressures up to 3000 psi. Based on the experimental results, mathematical models were developed to predict the hydrogen generation potential at higher thermodynamic conditions. Since both partial oxidation and aquathermolysis require relatively high temperatures to undergo, it was important to devise a method by which these high temperatures can be generated at a low cost. This was done by investigating two factors, including the porous media used and the reliance on the spent oil. Of all the porous media used, the ash had the highest thermal conductivity. The second step was the partial combustion of part of the spent oil to generate the heat needed to reach the high temperatures. This reduced the cost of the heat generation significantly. For the partial oxidation reaction, the spent oil was burned in the presence of a limited oxygen concentration to generate carbon monoxide. The main drawback of this process was the need for burning. This resulted in the generation of other harmful and environmentally damaging gases. Aquathermolysis does not rely on burning, which makes it the cleaner alternative. However, it needs much higher temperatures to run the reaction. When comparing the hydrogen generation potential for both using gas chromatography, aquathermolysis generated 23% more hydrogen using the same volume of spent oil compared to partial oxidation. This research introduces the concept of using spent oil for hydrogen production. This can be a very promising method to produce a clean source of energy using a waste product. This can also help reduce the reliance on freshwater for hydrogen generation which can divert the usage of freshwater to other more important applications.

Keywords: blue hydrogen production, catalytic aquathermolysis, direct carbon dioxide capture, CCUS

Procedia PDF Downloads 34

Authors: Lucilla Crosta, Anthony Edwards

Abstract:

Companies and the market place nowadays struggle to find employees with adequate skills in relation to anticipated growth of their businesses. At least half of workers will need to undertake some form of up-skilling process in the next five years in order to remain aligned with the requests of the market . In order to meet these challenges, there is a clear need to explore the potential uses of AI (artificial Intelligence) based tools in assessing transversal skills (critical thinking, communication and soft skills of different types in general) of workers and adult students while empowering them to develop those same skills in a reliable trustworthy way. Companies seek workers with key transversal skills that can make a difference between workers now and in the future. However, critical thinking seems to be the one of the most imprtant skill, bringing unexplored ideas and company growth in business contexts. What employers have been reporting since years now, is that this skill is lacking in the majority of workers and adult students, and this is particularly visible trough their writing. This paper investigates how critical thinking and communication skills are currently developed in Higher Education environments through use of AI tools at postgraduate levels. It analyses the use of a branch of AI namely Machine Learning and Big Data and of Neural Network Analysis. It also examines the potential effect the acquisition of these skills through AI tools and what kind of effects this has on employability This paper will draw information from researchers and studies both at national (Italy & UK) and international level in Higher Education. The issues associated with the development and use of one specific AI tool Edulai, will be examined in details. Finally comparisons will be also made between these tools and the more recent phenomenon of Chat GPT and forthcomings and drawbacks will be analysed.

Keywords: critical thinking, artificial intelligence, higher education, soft skills, chat GPT

Procedia PDF Downloads 116

Authors: Magu Raam Prasaad R., Venkatramani Jagadish

Abstract:

Recent studies in the literature have shown that randomly fluctuating wind flows can give rise to a distinct regime of pre-flutter oscillations called intermittency. Intermittency is characterized by the presence of sporadic bursts of high amplitude oscillations interspersed amidst low-amplitude aperiodic fluctuations. The focus of this study is on investigating the energy harvesting potential of these intermittent oscillations. Available literature has by and large devoted its attention on extracting energy from flutter oscillations. The possibility of harvesting energy from pre-flutter regimes have remained largely unexplored. However, extracting energy from violent flutter oscillations can be severely detrimental to the structural integrity of airfoil structures. Consequently, investigating the relatively stable pre-flutter responses for energy extraction applications is of practical importance. The present study is devoted towards addressing these concerns. A pitch-plunge airfoil with cubic hardening nonlinearity in the plunge and pitch degree of freedom is considered. The input flow fluctuations are modelled using a sinusoidal term with randomly perturbed frequencies. An electromagnetic coupling is provided to the pitch-plunge equations, such that, energy from the wind induced vibrations of the structural response are extracted. With the mean flow speed as the bifurcation parameter, a fourth order Runge-Kutta based time marching algorithm is used to solve the governing aeroelastic equations with electro-magnetic coupling. The harnessed energy from the intermittency regime is presented and the results are discussed in comparison to that obtained from the flutter regime. The insights from this study could be useful in health monitoring of aeroelastic structures.

Keywords: aeroelasticity, energy harvesting, intermittency, randomly fluctuating flows

Procedia PDF Downloads 187

Authors: Maram Shahad Dana Anfal

Abstract:

This research paper presents the design of a surveillance drone with computer-aided durability and model analyses that provides a cost-effective and efficient solution for various applications. The quadcopter's design is based on a lightweight and strong structure made of materials such as aluminum and titanium, which provide a durable structure for the quadcopter. The structure of this product and the computer-aided durability system are both designed to ensure frequent repairs or replacements, which will save time and money in the long run. Moreover, the study discusses the drone's ability to track, investigate, and deliver objects more quickly than traditional methods, makes it a highly efficient and cost-effective technology. In this paper, a comprehensive analysis of the quadcopter's operation dynamics and limitations is presented. In both simulation and experimental data, the computer-aided durability system and the drone's design demonstrate their effectiveness, highlighting the potential for a variety of applications, such as search and rescue missions, infrastructure monitoring, and agricultural operations. Also, the findings provide insights into possible areas for improvement in the design and operation of the drone. Ultimately, this paper presents a reliable and cost-effective solution for surveillance applications by designing a drone with computer-aided durability and modeling. With its potential to save time and money, increase reliability, and enhance safety, it is a promising technology for the future of surveillance drones. operation dynamic equations have been evaluated successfully for different flight conditions of a quadcopter. Also, CAE modeling techniques have been applied for the modal risk assessment at operating conditions.Stress analysis have been performed under the loadings of the worst-case combined motion flight conditions.

Keywords: drone, material, solidwork, hypermesh

Procedia PDF Downloads 149

Authors: J. Munuzuri, L. Onieva, J. Guadix, P. Cortes

Abstract:

The aeronautical sector represents the main source of industrial development in the South of the Iberian Peninsula, with the establishment of key players like Embraer in Alentejo or Airbus in Andalusia. Subsequently, the economic promotion policies implemented in both neighbouring regions seek to consolidate a trans-border aeronautical cluster to gain critical mass and seek synergies between companies and research centres. The first step of the proposed scheme entails the identification of common interests shared by companies, technological centres and university research groups in both regions. This involves determining the specific type of activities carried out at the different companies established in the two regions (ranging from OEMs to SMEs) and also building a catalogue of available infrastructures and skills on the side of research centres and universities. The results of this first step reveal potential one-to-one partnerships, and also highlight the aggregate strengths and needs of the two regions within the aeronautical sector, taking into account both the current scenario and its expected evolution. The second step of the scheme focuses on the particularly relevant companies identified in the first step, and consists of the completion of in-depth technological audits liable to suggest potential development actions or R&D projects in those companies, counting when possible on the capabilities shown by other members of the cluster. These technological audits follow a three-round process aimed at identifying specific needs, validating those identifications and suggesting possible actions to be taken. The final objective of this methodology is to enhance the economic activity in the aeronautical sector in both regions, always with an innovative perspective. The success of the scheme should be measured in terms of partnerships created, R&D projects initiated, and spin-off companies generated.

Keywords: aeronautical sector, technological audits, technology transfer, trans-border cluster

Procedia PDF Downloads 137

Authors: Osman Turkoglu, Alvin Estilo, Ritu Gupta, Liliam Pineda-Salgado, Rajesh Pandey

Abstract:

Background: Hepatotoxicity can be linked to a variety of clinical symptoms and histopathological signs, posing a great challenge in the surveillance of suspected drug-induced liver injury (DILI) cases in the safety database. Additionally, the majority of such cases are rare, idiosyncratic, highly unpredictable, and tend to demonstrate unique individual susceptibility; these qualities, in turn, lend to a pharmacovigilance monitoring process that is often tedious and time-consuming. Objective: Develop a multifactorial algorithm to assist pharmacovigilance physicians in identifying high-risk hepatotoxicity cases associated with DILI from the sponsor’s safety database (Argus). Methods: Multifactorial selection criteria were established using Structured Query Language (SQL) and the TIBCO Spotfire® visualization tool, via a combination of word fragments, wildcard strings, and mathematical constructs, based on Hy’s law criteria and pattern of injury (R-value). These criteria excluded non-eligible cases from monthly line listings mined from the Argus safety database. The capabilities and limitations of these criteria were verified by comparing a manual review of all monthly cases with system-generated monthly listings over six months. Results: On an average, over a period of six months, the algorithm accurately identified 92% of DILI cases meeting established criteria. The automated process easily compared liver enzyme elevations with baseline values, reducing the screening time to under 15 minutes as opposed to multiple hours exhausted using a cognitively laborious, manual process. Limitations of the algorithm include its inability to identify cases associated with non-standard laboratory tests, naming conventions, and/or incomplete/incorrectly entered laboratory values. Conclusions: The newly developed multifactorial algorithm proved to be extremely useful in detecting potential DILI cases, while heightening the vigilance of the drug safety department. Additionally, the application of this algorithm may be useful in identifying a potential signal for DILI in drugs not yet known to cause liver injury (e.g., drugs in the initial phases of development). This algorithm also carries the potential for universal application, due to its product-agnostic data and keyword mining features. Plans for the tool include improving it into a fully automated application, thereby completely eliminating a manual screening process.

Keywords: automation, drug-induced liver injury, pharmacovigilance, post-marketing

Procedia PDF Downloads 155

Authors: Kunwar Paritosh, Sanjay Mathur, Monika Yadav, Paras Gandhi, Subodh Kumar, Nidhi Pareek, Vivekanand Vivekanand

Abstract:

A significant fraction of energy is wasted every year managing the biodegradable organic waste inadequately as development and sustainability are the inherent enemies. The management of these waste is indispensable to boost its optimum utilization by converting it to renewable energy resource (here biogas) through anaerobic digestion and to mitigate greenhouse gas emission. Food and yard wastes may prove to be appropriate and potential feedstocks for anaerobic co-digestion for biogas production. The present study has been performed to explore the synergistic effect of co-digesting food waste and yard trimmings from MNIT campus for enhanced biogas production in different ratios in batch tests (37±10C, 90 rpm, 45 days). The results were overwhelming and showed that blending two different organic waste in proper ratio improved the biogas generation considerably, with the highest biogas yield (2044±24 mLg-1VS) that was achieved at 75:25 of food waste to yard waste ratio on volatile solids (VS) basis. The yield was 1.7 and 2.2 folds higher than the mono-digestion of food or yard waste (1172±34, 1016±36mLg-1VS) respectively. The increase in biogas production may be credited to optimum C/N ratio resulting in higher yield. Also Adding TiO2 nanoparticles showed virtually no effect on biogas production as sometimes nanoparticles enhance biogas production. ICP-MS, FTIR analysis was carried out to gain an insight of feedstocks. Modified Gompertz and logistics models were applied for the kinetic study of biogas production where modified Gompertz model showed goodness-of-fit (R2=0.9978) with the experimental results.

Keywords: anaerobic co-digestion, biogas, kinetics, nanoparticle, organic waste

Procedia PDF Downloads 389

Authors: Ayten Bakhtiyar Khasayeva

Abstract:

Lower Kura depression is a part of the South Caspian Basin (SCB), located between the folded regions of the Greater and Lesser Caucasus. The region is characterized by thick sedimentary cover 22 km (SCB up to 30 km), high sedimentation rate, low geothermal gradient (average value corresponds to 2 °C / 100m). There is Quaternary, Pliocene, Miocene and Oligocene deposits take part in geological structure. Miocene and Oligocene deposits are opened by prospecting and exploratory wells in the areas of Kalamaddin and Garabagli. There are 25 mud volcanoes within the territory of the Lower Kura depression, which are the unique source of information about hydrocarbons contenting great depths. During the wells data research, solid erupted products and mud volcano fluids, and according to the geological and thermal characteristics of the region, it was determined that the main phase of the hydrocarbon generation (MK1-AK2) corresponds to a wide range of depths from 10 to 14 km, which corresponds to the Pliocene-Miocene sediments, and to the "oil and gas windows" according to the intended meaning of R0 ≈ 0,65-0,85%. Fluids of mud volcanoes comprise by the following phases - gas, water. Gas phase consists mainly of methane (99%) of heavy hydrocarbons (С2+ hydrocarbons), CO2, N2, inert components He, Ar. The content of the С2+ hydrocarbons in the gases of mud volcanoes associated with oil deposits is increased. Carbon isotopic composition of methane for the Lower Kura depression varies from -40 ‰ to -60 ‰. Water of mud volcanoes are represented by all four genetic types. However the most typical types of water are HCN type. According to the Mg-Li geothermometer formation of mud waters corresponds to the temperature range from 20 °C to 140 °C (PC2). The solid product emissions of mud volcanoes identified 90 minerals and 30 trace elements. As a result geochemical investigation, thermobaric and geological conditions, zone oil and gas generation - the prospect of the Lower Kura depression is projected to depths greater than 10 km.

Keywords: geology, geochemistry, mud volcanoes, petroleum potential

Procedia PDF Downloads 368

Authors: Azza EL-Medany, Jamila EL-Medany

Abstract:

Lung fibrosis is a common side effect of the chemotherapeutic agent, bleomycin. Current evidence suggests that reactive oxygen species may play a key role in the development of lung fibrosis. The present work studied the effect of green tea extract on bleomycin–induced lung fibrosis in rats. Animals were divided into three groups: (1) Saline control group; (2) bleomycin group in which rats were injected with bleomycin (15mg/kg,i.p.) three times a week for four weeks; (3) bleomycin and green tea group in which green tea extract was given to rats (100mg/kg/day, p.o) a week prior to bleomycin and daily during bleomycin injections for 4 weeks until the end of the experiment. Bleomycin–induced pulmonary injury and lung fibrosis that was indicated by increased lung hydroxyproline content, elevated nitric oxide synthase, myeoloperoxidase (MPO), platelet activating factor (PAF), tumor necrosis factor α (TNF_α), transforming growth factor 1β (TGF1β) and angiotensin converting enzyme (ACE) activity in lung tissues. On the other hand, bleomycin induced a reduction in reduced glutathione concentration (GSH). Moreover, bleomycin resulted in a severe histological changes in lung tissues revealed as lymphocytes and neutrophils infiltration, increased collagen deposition and fibrosis. Co-administration of bleomycin and green tea extract reduced bleomycin–induced lung injury as evaluated by the significant reduction in hydroxyproline content, nitric oxide synthase activity, levels of MPO, PAF, TNF-α, and ACE in lung tissues. Furthermore, green tea extract ameliorated bleomycin– induced reduction in GSH concentration. Finally, histological evidence supported the ability of green tea extract to attenuate bleomycin–induced lung fibrosis and consolidation. Thus, the finding of the present study provides that green tea may serve as a novel target for potential therapeutic treatment of lung fibrosis.

Keywords: bleomycin, lung fibrosis, green tea, oxygen species

Procedia PDF Downloads 453

Authors: Svetlana Guryeva, Inna Kornienko, Elena Petersen

Abstract:

At present, translational medicine is a rapidly developing branch of biomedicine. The main idea of translational medicine is a practical application of fundamental research. One of the possible applications for translational medicine is researching therapies that improve human age-related organism condition. To fill the gap between experiments and clinical practice, it is necessary to create the standardized system for the investigation of different effects on cellular aging models. In this study, primary human fibroblasts derived from patients of different ages were used as a cellular aging model. The senescence-associated β-galactosidase activity, lipofuscin, γ-H2AX, the reactive oxygen species level, and cell death markers (annexin V/propidium iodide) were used as biomarkers of the cell functional state. The effects of damaging exposures (oxidative stress and heat shock), potential positive factors (metformin and acetaminophen), and their combinations were investigated using the described biomarkers. Oxidative stress and heat shock caused the increase in the levels of all biomarkers, and only the cells from young patients partly coped with stress 3 days after the exposures. Metformin improved the state of pretreatment cells from young and old patients. The acetaminophen did not show significant changes in the biomarker levels compare to the action of metformin. This study proved the opportunity to develop a standardized screening system based on biomarkers of the cell functional state to identify potential positive or negative effects of some physical and chemical exposures. Moreover, such a system can be useful for the aims of regenerative medicine to determine the effect of cell pretreatment before transplantation.

Keywords: biomarkers, primary fibroblasts, regenerative medicine, senescence, test system, translational medicine

Procedia PDF Downloads 406

Authors: Dana Alina Magdas, Nicoleta Simona Vedeanu, Ioana Feher, Rares Stiufiuc

Abstract:

Food and beverages authentication using rapid and non-expensive analytical tools represents nowadays an important challenge. In this regard, the potential of vibrational techniques in food authentication has gained an increased attention during the last years. For wines discrimination, Raman spectroscopy appears more feasible to be used as compared with IR (infrared) spectroscopy, because of the relatively weak water bending mode in the vibrational spectroscopy fingerprint range. Despite this, the use of Raman technique in wine discrimination is in an early stage. Taking this into consideration, the wine discrimination potential of surface-enhanced Raman scattering (SERS) technique is reported in the present work. The novelty of this study, compared with the previously reported studies, concerning the application of vibrational techniques in wine discrimination consists in the fact that the present work presents the wines differentiation based on the individual signals obtained from deconvoluted spectra. In order to achieve wines classification with respect to variety, geographical origin and vintage, the peaks intensities obtained after spectra deconvolution were compared using supervised chemometric methods like Linear Discriminant Analysis (LDA). For this purpose, a set of 20 white Romanian wines from different viticultural Romanian regions four varieties, was considered. Chemometric methods applied directly to row SERS experimental spectra proved their efficiency, but discrimination markers identification found to be very difficult due to the overlapped signals as well as for the band shifts. By using this approach, a better general view related to the differences that appear among the wines in terms of compositional differentiation could be reached.

Keywords: chemometry, SERS, variety, wines discrimination

Procedia PDF Downloads 163

Authors: Gheorghe Ionita, Sebastian Brad, Ioan Stefanescu

Abstract:

In any fusion device, tritium plays a key role both as a fuel component and, due to its radioactivity and easy incorporation, as tritiated water (HTO). As for the ITER project, to reduce the constant potential of tritium emission, there will be implemented a Water Detritiation System (WDS) and an Isotopic Separation System (ISS). In the same time, during operation of fission CANDU reactors, the tritium content increases in the heavy water used as moderator and cooling agent (due to neutron activation) and it has to be reduced, too. In Romania, at the National Institute for Cryogenics and Isotopic Technologies (ICIT Rm-Valcea), there is an Experimental Pilot Plant for Tritium Removal (Exp. TRF), with the aim of providing technical data on the design and operation of an industrial plant for heavy water depreciation of CANDU reactors from Cernavoda NPP. The selected technology is based on the catalyzed isotopic exchange process between deuterium and liquid water (LPCE) combined with the cryogenic distillation process (CD). This paper presents an updated review of activities in the field carried out in Romania after the year 2000 and in particular those related to the development and operation of Tritium Removal Experimental Pilot Plant. It is also presented a comparison between the experimental pilot plant and industrial plant to be implemented at Cernavoda NPP. The similarities between the experimental pilot plant from ICIT Rm-Valcea and water depreciation and isotopic separation systems from ITER are also presented and discussed. Many aspects or 'opened issues' relating to WDS and ISS could be checked and clarified by a special research program, developed within ExpTRF. By these achievements and results, ICIT Rm - Valcea has proved its expertise and capability concerning tritium management therefore its competence may be used within ITER project.

Keywords: ITER project, heavy water detritiation, tritium removal, isotopic exchange

Procedia PDF Downloads 414

Authors: Murtala Gada Abubakar, Aliyu T. Umar

Abstract:

A substantial part of Nigeria is part of semi-arid areas of the world, underlain by basement complex (hard) rocks which are very poor in both transmission and storage of appreciable quantity of water. Recently, a growing attention is being paid on the need to develop water resources in these areas largely due to concerns about increasing droughts and the need to maintain water security challenges. While there is ample body of knowledge that captures the hydrological behaviours of the sedimentary part, reported research which unambiguously illustrates water distribution in the basement complex of the Sokoto basin remains sparse. Considering the growing need to meet the water requirements of those living in this region necessitated the call for accurate water balance estimations that can inform a sustainable planning and development to address water security challenges for the area. To meet this task, a one-dimensional soil water balance model was developed and utilised to assess the state of water distribution within the Sokoto basin basement complex using measured meteorological variables and information about different landscapes within the complex. The model simulated the soil water storage and rates of input and output of water in response to climate and irrigation where applicable using data from 2001 to 2010 inclusive. The results revealed areas within the Sokoto basin basement complex that are rich and deficient in groundwater resource. The high potential areas identified includes the fadama, the fractured rocks and the cultivated lands, while the low potential areas are the sealed surfaces and non-fractured rocks. This study concludes that the modelling approach is a useful tool for assessing the hydrological behaviour and for better understanding the water resource availability within a basement complex.

Keywords: basement complex, hydrological processes, Sokoto Basin, water security

Procedia PDF Downloads 323

Authors: Saif Obaid Alkaabi, Nabil Ayad

Abstract:

Governments constantly seek to offer faster, more secure, efficient and effective services for their citizens. Recent changes and developments to communication services and technologies, mainly due the Internet, have led to immense improvements in the way governments of advanced countries carry out their interior operations Therefore, advances in e-government services have been broadly adopted and used in various developed countries, as well as being adapted to developing countries. The implementation of advances depends on the utilization of the most innovative structures of data techniques, mainly in web dependent applications, to enhance the main functions of governments. These functions, in turn, have spread to mobile and wireless techniques, generating a new advanced direction called m-government. This paper discusses a selection of available m-government applications and several business modules and frameworks in various fields. Practically, the m-government models, techniques and methods have become the improved version of e-government. M-government offers the potential for applications which will work better, providing citizens with services utilizing mobile communication and data models incorporating several government entities. Developing countries can benefit greatly from this innovation due to the fact that a large percentage of their population is young and can adapt to new technology and to the fact that mobile computing devices are more affordable. The use of models of mobile transactions encourages effective participation through the use of mobile portals by businesses, various organizations, and individual citizens. Although the application of m-government has great potential, it does have major limitations. The limitations include: the implementation of wireless networks and relative communications, the encouragement of mobile diffusion, the administration of complicated tasks concerning the protection of security (including the ability to offer privacy for information), and the management of the legal issues concerning mobile applications and the utilization of services.

Keywords: e-government, m-government, system dependability, system security, trust

Procedia PDF Downloads 384

Authors: Ivan Yudianto

Abstract:

The research objectives are to analyze the factors that impede the Parking Tax and Parking Retribution collection in Bekasi City Government, analyzing the factors that can increase local own revenue from the tax sector of parking tax and parking retribution, analyze monitoring the parking retribution collection by the Bekasi City Government, analyze strategies Bekasi City Government through the preparation of a roadmap and action plan to increase parking tax and parking retribution revenues. The approach used in this research is a qualitative approach. Qualitative research is used because the problem is not yet clear and the object to be studied will be holistic, complex, and dynamic, and the relationship will be interactive symptoms. Methods of data collection and technical analysis of the data was in-depth interviews, participant observation, documentary materials, literature, and triangulation, as well as new methods such as the methods of visual materials and internet browsing. The results showed that there are several factors that become an obstacle such as the parking taxpayer does not disclose the actual parking revenue, the parking taxpayer are late or do not pay Parking Tax, many parking locations controlled by illegal organizations, shortage of human resources in charge levy and supervise the parking tax and parking retribution collection in the Bekasi City Government, surveillance parking tax and parking retribution are not scheduled on a regular basis. Several strategic priorities in order to develop the potential of the Parking Tax and Parking Retribution in the Bekasi City Government, namely through increased controling and monitoring of the Parking Taxpayer, forming a team of auditors to audit the Parking Taxpayer, seek law enforcement persuasive and educative to reduce Parking Taxpayer wayward, providing strict sanctions against the Parking Taxpayer disobedient, revised regulations mayors about locations of parking in Bekasi City, rationalize revenues target of Parking Retribution, conducting takeover attempts parking location on the roadside of the individual or specific group, and drafting regional regulations on parking subscribe.

Keywords: local own revenue, parking retribution, parking tax, parking taxpayer

Procedia PDF Downloads 328

Authors: Strahinja Kovačević, Sanja Podunavac-Kuzmanović, Lidija Jevrić, Cristina Prandi, Piermichele Kobauri

Abstract:

The present study is based on molecular modeling of a series of twelve 5-(4-substituent-phenoxy)-3-methylfuran-2(5H)-one derivatives which have potential of strigolactones mimics toward Striga hermonthica. The first step of the analysis included the calculation of molecular descriptors which numerically describe the structures of the analyzed compounds. The descriptors ALOGP (lipophilicity), AClogS (water solubility) and BBB (blood-brain barrier penetration), served as the input variables in multiple linear regression (MLR) modeling of germination activity toward S. hermonthica. Two MLR models were obtained. The first MLR model contains ALOGP and AClogS descriptors, while the second one is based on these two descriptors plus BBB descriptor. Despite the braking Topliss-Costello rule in the second MLR model, it has much better statistical and cross-validation characteristics than the first one. The ALOGP and AClogS descriptors are often very suitable predictors of the biological activity of many compounds. They are very important descriptors of the biological behavior and availability of a compound in any biological system (i.e. the ability to pass through the cell membranes). BBB descriptor defines the ability of a molecule to pass through the blood-brain barrier. Besides the lipophilicity of a compound, this descriptor carries the information of the molecular bulkiness (its value strongly depends on molecular bulkiness). According to the obtained results of MLR modeling, these three descriptors are considered as very good predictors of germination activity of the analyzed compounds toward S. hermonthica seeds. This article is based upon work from COST Action (FA1206), supported by COST (European Cooperation in Science and Technology).

Keywords: chemometrics, germination activity, molecular modeling, QSAR analysis, strigolactones

Procedia PDF Downloads 290

Authors: Shahryar Eslamitabar

Abstract:

Currently, the internet plays an important role in the various scientific, commercial and service practices. Thanks to information and communication technology, the healthcare industry via the internet, generally known as cyber-medicine, can offer professional medical service in a wider geographical area. Having some appealing benefits such as convenience in offering healthcare services, improved accessibility to the services, enhanced information exchange, cost-effectiveness, time-saving, etc. Tele-health has increasingly developed innovative models of healthcare delivery. However, it presents many potential hazards to cyber-patients, inherent in the use of the system. First, there are legal issues associated with the communication and transfer of information on the internet. These include licensure, malpractice, liabilities and jurisdictions as well as privacy, confidentiality and security of personal data as the most important challenge brought about by this system. Additional items of concern are technological and ethical. Although, there are some rules to deal with pitfalls associated with cyber-medicine practices in the USA and some European countries, yet for all developments, it is being practiced in a legal vacuum in many countries. In addition to the domestic legislations to deal with potential problems arisen from the system, it is also imperative that some international or regional agreement should be developed to achieve the harmonization of laws among countries and states. This article discusses some implications posed by the practice of cyber-medicine in the healthcare system according to the experience of some developed countries using a comparative study of laws. It will also review the status of tele-health laws in Iran. Finally, it is intended to pave the way to outline a plan for countries like Iran, with newly-established judicial system for health laws, to develop appropriate regulations through providing some recommendations.

Keywords: tele-health, cyber-medicine, telemedicine, criminal laws, legislations, time-saving

Procedia PDF Downloads 665

Authors: Atef Y. Shenouda, Anton A. Momchilov

Abstract:

Graphene and CdO with different stoichiometric ratios of Cd(CH₃COO)₂ and graphene samples were prepared by hydrothermal reaction. The crystalline phases of pure CdO and 3CdO:1graphene were identified by X-ray diffraction (XRD). The particle morphology was studied with SEM. Furthermore, impedance measurements were applied. Galvanostatic measurements for the cells were carried out using potential limits between 0.01 and 3 V vs. Li/Li⁺. The current cycling intensity was 10⁻⁴ A. The specific discharge capacity of 3CdO-1G cell was about 450 Ah.Kg⁻¹ up to more than 100 cycles.

Keywords: CdO, graphene, negative electrode, lithium battery

Procedia PDF Downloads 167

Authors: Nusaiba Al-Nemrawi, Belal Al-Husein

Abstract:

Methotrexate (MTX) is a stoichiometric inhibitor of dihydrofolate reductase, which is essential for DNA synthesis. MTX is a chemotherapeutic agent used for treating many types of cancer cells. However, cells’ resistant to MTX is very common and its pharmacokinetic behavior is highly problematic. of MTX within tumor cells, we propose encapsulation of antitumor drugs in nanoparticulated systems. Chitosan (CS) is a naturally occurring polymer that is biocompatibe, biodegradable, non-toxic, cationic and bioadhesive. CS nanoparticles (CS-NPs) have been used as drug carrier for targeted delivery. Titanium dioxide (TiO2), a natural mineral oxide, which is used in biomaterials due to its high stability and antimicrobial and anticorrosive properties. TiO2 showed a potential as a tumor suppressor. In this study a new formulation of MTX loaded in CS NPs (CS-MTX NPs) and coated with Titanium oxide (TiO2) was prepared. The mean particle size, zeta potential, polydispersity index were measured. The interaction between CS NPs and TiO2 NPs was confirmed using FTIR and XRD. CS-MTX NPs was studied in vitro using the tumor cell line MCF-7 (human breast cancer). The results showed that CS-MTX has a size around 169 nm and as they were coated with TiO2, the size ranged between and depending on the ratio of CS-MTX to TiO2 ratio used in the preparation. All NPs (uncoated and coated carried positive charges and were monodispersed. The entrapment efficacy was around 65%. Both FTIR and XRD proved that TiO2 interacted with CS-MTX NPs. The drug invitro release was controlled and sustained over days. Finally, the studied in vitro using the tumor cell line MCF-7 suggested that combining nanomaterials with anticancer drugs CS-MTX NPs may be more effective than free MTX for cancer treatment. In conclusion, the combination of CS-MTX NPs and TiO2 NPs showed excellent time-dependent in vitro antitumor behavior, therefore, can be employed as a promising anticancer agent to attain efficient results towards MCF-7 cells.

Keywords: Methotrexate, Titanium dioxide, Chitosan nanoparticles, cancer

Procedia PDF Downloads 98

Authors: Merry Muspita Dyah Utami

Abstract:

The positive effect of garlic extract have been reported by many studies. It has antibiotical potential, antibacterial, antiviral, antiparasitic, antifungal, and growth promoting. Supplementary garlic for broilers could mediate in getting the bioactive compounds in garlic. The avian bursa must be essential for antibody-mediated immunity. The size of bursa of fabricius must be some sort of endocrine or lymphoid gland associated with growth and sexual development. The research was conducted to evaluate the effects of garlic extract on growth performance and immune system of broiler. Seventy-two day old chick were equally divided into four group, three replication and six chicks each. Group I was control without garlic extract, then garlic extraxt was administrated to the experimental group II, III and IV (2, 4, 6% in ration). The experiment was conducted for three weeks period from day old chick to 21 days. Body weight of broiler were determined at day 1 and 21, feed intake was determined at the same period, feed conversion ratio was calculated accordingly. At 21 day age, four birds per replicate were slaughtered , bursa was collected, weight and calculated as a percentage of live body weight. Mortality was recorded as it occurred and was used to ajust the total number of broiler to determine the total feed intake and feed conversion rasio. Data were expressed as the mean was compare by one way analysis of variance (Anova) follow by Duncan Test, which used to identify differences between groups. A value of P<0.05 was accepted as significance. The body weight, feed conversion rasio, and the weight of bursa of fabricius showed a significant differences, but feed consumption and the percentage of bursa of live body weight were not significantly different (P > 0.05) influenced by dietary treatments. The results of this research, garlic extract has a potential role as natural growth promoter and immunomodulatory system in broiler.

Keywords: garlic extract, growth, immunity, broiler

Procedia PDF Downloads 333

Authors: Patricia Jayshree Jacob, Mas Jaffri Masarudinb, Mohd Zobir Hussein, Raha Abdul Rahim

Abstract:

Iron based ferromagnetic nanoparticles (IONP) and silver nanostructures (AgNP) have found a wide range of application in antimicrobial therapy, cell targeting, and environmental applications. As such, the design of well-defined monodisperse IONPs and AgNPs have become an essential tool in nanotechnology. Fabrication of these nanostructures using conventional methods is not environmentally conducive and weigh heavily on energy and outlays. Selected microorganisms possess the innate ability to reduce metallic ions in colloidal aqueous solution to generate nanoparticles. Hence, harnessing this potential is a way forward in constructing microbial nano-factories, capable of churning out high yields of well-defined IONP’s and AgNP's with physicochemical characteristics on par with the best synthetically produced nanostructures. In this paper, we report the isolation and characterization of bacterial strains isolated from the tropical marine and freshwater ecosystems of Malaysia that demonstrated facile and rapid generation of ferromagnetic nanoparticles and silver nanostructures when precursors such as FeCl₃.6H₂O and AgNO₃ were added to the cell-free bacterial lysate in colloidal solution. Characterization of these nanoparticles was carried out using FESEM, UV Spectrophotometer, XRD, DLS and FTIR. This aerobic bioprocess was carried out at ambient temperature and humidity and has the potential to be developed for environmental friendly, cost effective large scale production of IONP’s. A preliminary bioprocess study on the harvesting time, incubation temperature and pH was also carried out to determine pertinent abiotic parameters contributing to the optimal production of these nanostructures.

Keywords: iron oxide nanoparticles, silver nanoparticles, biosynthesis, aquatic bacteria

Procedia PDF Downloads 286

Authors: Mohd Tariq, Shyamal K. Nandi, Indra D. Bhatt

Abstract:

Paris polyphylla Smith (Family- Liliaceae; English name-Love apple: Local name- Satuwa) is an important folk medicinal herb of the Indian subcontinent, being a source of number of bioactive compounds for drug formulation. The rhizomes are widely used as antihelmintic, antispasmodic, digestive stomachic, expectorant and vermifuge, antimicrobial, anti-inflammatory, heart and vascular malady, anti-fertility and sedative. Keeping in view of this, the species is being constantly removed from nature for trade and various pharmaceuticals purpose, as a result, the availability of the species in its natural habitat is decreasing. In this context, it would be pertinent to conserve this species and reintroduce them in its natural habitat. Predictive distribution modelling of this species was performed in Western Himalayan Region. One such recent method is Ecological Niche Modelling, also popularly known as Species distribution modelling, which uses computer algorithms to generate predictive maps of species distributions in a geographic space by correlating the point distributional data with a set of environmental raster data. In case of P. polyphylla, and to understand its potential distribution zones and setting up of artificial introductions, or selecting conservation sites, and conservation and management of their native habitat. Among the different districts of Uttarakhand (28°05ˈ-31°25ˈ N and 77°45ˈ-81°45ˈ E) Uttarkashi, Rudraprayag, Chamoli, Pauri Garhwal and some parts of Bageshwar, 'Maximum Entropy' (Maxent) has predicted wider potential distribution of P. polyphylla Smith. Distribution of P. polyphylla is mainly governed by Precipitation of Driest Quarter and Mean Diurnal Range i.e., 27.08% and 18.99% respectively which indicates that humidity (27%) and average temperature (19°C) might be suitable for better growth of Paris polyphylla.

Keywords: biodiversity conservation, Indian Himalayan region, Paris polyphylla, predictive distribution modelling

Procedia PDF Downloads 333

Authors: Arda Bagus M, Yehezkiel Festian P, Budianto Santoso

Abstract:

The Tourism Area of Southern Malang is administratively located in the Regency of Malang, East Java Province, Indonesia and geographically is in a position between 112o17' - 112o57' E dan 7o44' - 8o26' S. Southern Malang consists of several sub-districts that directly borders with the Indian Ocean, such as Donomulyo, Bantur, Gedangan, Sumbermanjing, Tirto Yudo, and Ampel Gading. This area has a high geotourism potential because of the existence of geodiversity such as beaches, waterfalls, caves, and karst area. However, to the best of the authors’ knowledge, there is still no systematic data that informs the geotourism potentials to the public. The aim of this research is to complete the lack of data and then arrange it systematically so it can be used for both tourism and research purposes. Research methods such as field observation, literature study, and depth interview to local people have been implemented. Aspects reviewed by visiting the field are accommodation, transportation, and the feasibility of a place to be geotourism object. The primary data was taken in Sumbermanjing, Gedangan, Bantur, and Donomulyo sub-district. A literature study is needed to determine the regional geology of Southern Malang and as a comparison to new data obtained in the field. The results of the literature study show that southern Malang consists of three formations: Wonosari Formation, Mandalaka Formation, and River-swamps Sediment Formation with the age range of Oligocene to Quaternary. Depth interviews have been conducted by involving local people with the aim of knowing cultural-history in the research area. From this research, the geotourism object distribution map has been made. The map also includes Geotrek and basic geological information of each object. The results of this research can support the development of geotourism in Southern Malang.

Keywords: geodiversity, geology, geotourism, geotrek, southern Malang

Procedia PDF Downloads 178

Authors: Qing Zhang, Janak L. Pathak, Macro N. Helder, Richard T. Jaspers, Yin Xiao

Abstract:

Introduction: Nanomaterial-based bone regeneration is greatly influenced by the immune microenvironment. Tissue-engineered nanomaterials mediate the inflammatory response of macrophages to regulate bone regeneration. Silica nanoparticles have been widely used in tissue engineering-related preclinical studies. However, the effect of topological features on the surface of silica nanoparticles on the immune response of macrophages remains unknown. Purposes: The aims of this research are to compare the influences of normal and pollen-like silica nano-surface topography on macrophage immune responses and to obtain insight into their potential regulatory mechanisms. Method: Macrophages (RAW 264.7 cells) were exposed to mesoporous silica nanoparticles with normal morphology (MSNs) and pollen-like morphology (PMSNs). RNA-seq, RT-qPCR, and LSCM were used to assess the changes in expression levels of immune response-related genes and proteins. SEM and TEM were executed to evaluate the contact and adherence of silica nanoparticles by macrophages. For the assessment of the immunomodulation-mediated osteogenic potential, BMSCs were cultured with conditioned medium (CM) from LPS pre-stimulated macrophage cultures treated with MSNs or PMSNs. Osteoimmunomodulatory potential of MSNs and PMSNs in vivo was tested in a mouse cranial bone osteolysis model. Results: The results of the RNA-seq, RT-qPCR, and LSCM assays showed that PMSNs inhibited the expression of pro-inflammatory genes and proteins in macrophages. SEM images showed distinct macrophage membrane surface binding patterns of MSNs and PMSNs. MSNs were more evenly dispersed across the macrophage cell membrane, while PMSNs were aggregated. PMSNs-induced macrophage anti-inflammatory response was associated with upregulation of the cell surface receptor CD28 and inhibition of ERK phosphorylation. TEM images showed that both MSNs and PMSNs could be phagocytosed by macrophages, and inhibiting nanoparticle phagocytosis did not affect the expression of anti-inflammatory genes and proteins. Moreover, PMSNs-induced conditioned medium from macrophages enhanced BMP-2 expression and osteogenic differentiation mBMSCs. Similarly, PMSNs prevented LPS-induced bone resorption via downregulation of inflammatory reaction. Conclusions: PMSNs can promote bone regeneration by modulating osteoimmunological processes through surface topography. The study offers insights into how surface physical contact cues can modulate the regulation of osteoimmunology and provides a basis for the application of nanoparticles with pollen-like morphology to affect immunomodulation in bone tissue engineering and regeneration.

Keywords: physical contact, osteoimmunology, macrophages, silica nanoparticles, surface morphology, membrane receptor, osteogenesis, inflammation

Procedia PDF Downloads 64

Authors: Nindyo Cahyo Kresnanto, Muhamad Willdan, Wika Harisa Putri

Abstract:

Gunungkidul is one of the emerging tourism industry areas in Yogyakarta Province, Indonesia. This article describes how GIS can predict the development of tourism potential in Gunungkidul. The tourism sector in Gunungkidul Regency contributes 3.34% of the total gross regional domestic product and is the economic sector with the highest growth with a percentage of 18.37% in the post-Covid-19 period. This contribution makes researchers consider that several tourist sites need to be explored more to increase regional economic development gradually. This research starts by collecting spatial data from tourist locations tourists want to visit in Gunungkidul Regency based on survey data from 571 respondents. Then the data is visualized with ArcGIS software. This research shows an overview of tourist destinations interested in travellers depicted from the lowest to the highest from the data visualization. Based on the data visualization results, specific tourist locations potentially developed to influence the surrounding economy positively. The visualization of the data displayed is also in the form of a desire line map that shows tourist travel patterns from the origin of the tourist to the destination of the tourist location of interest. From the desire line, the prediction of the path of tourist sites with a high frequency of transportation activity can figure out. Predictions regarding specific tourist location routes that high transportation activities can burden can consider which routes will be chosen. The route also needs to be improved in terms of capacity and quality. The goal is to provide a sense of security and comfort for tourists who drive and positively impact the tourist sites traversed by the route.

Keywords: tourism development, GIS and survey, transportation, potential desire line

Procedia PDF Downloads 68

Authors: Mohamed Redha Menani

Abstract:

The Northern Saharan aquifer system “SASS” shared by Algeria, Libya, and Tunisia, covers a surface of about 1 100 000 km². It is composed of superposed aquifers; the upper one is the “Continental terminal – CT” (Eocene calcareous formation) situated at 400 m depth in average, while the” Continental Intercalaire – CI”(clay sands from Albian to Lower Cretaceous) is generally at 1500 m depth. This aquifer system is situated in a dry zone with a very weak current recharge but with a non-renewable big volume stored, estimated between 20 000 and 31 000 km³. From 1970 to nowadays, the exploitation of the SASS has increased from 0.6 to more than 2.5 km³/year. This situation provoked risks of water salinisation, reduction of the artesianisme, an increase of drawdowns, etc. which seriously threaten the sustainable socioeconomic development engaged in the SASS zone. Face the water shortage induced by the alarming dryness noted these last years, particularly in the MENA region, the joint management of this system by the three concerned countries, engaged for many years, needs a long-term strategy of integrated water resources management to meet the expected socio-economic goals projected not only in the SASS zone but also in other places, by water transfers. The sustainable management of this extensive aquifer system, aiming to satisfy various needs not only in the areas covered by the SASS but also in other areas through hydraulic transfers, can only be considered if this management is genuinely coordinated, incorporating schemes that primarily address the major constraint of climate change, which has been observed worldwide over the past two decades and is intensifying. In this particular climate context, management schemes must necessarily target several aspects, including (i) Updating the state of water resource exploitation in the SASS. (ii) Guiding agricultural usage as the primary consumer to ensure significant water savings. (iii) Constant monitoring through a network of piezometers to control the physicochemical parameters of the exploited aquifers. (iv) Other aspects related to governance within the framework of integrated management must also be taken into consideration, particularly environmental aspects and conflict resolution. However, problems, especially political ones as currently seen in Libya, may limit or at least disrupt the prospects of coordinated and sustainable management of this aquifer system, which is vital for the three countries.

Keywords: transboundary water resources, SASS, governance, climatic changes

Procedia PDF Downloads 86

Authors: Jean-François Pouilly

Abstract:

This study addresses the growing complexity of embedded systems and the critical need for secure, reliable software. Traditional cybersecurity testing methods, often conducted late in the development cycle, struggle to keep pace. This talk explores how formal methods, integrated with advanced analysis tools, empower C/C++ developers to 1) Proactively address vulnerabilities and bugs, which includes formal methods and abstract interpretation techniques to identify potential weaknesses early in the development process, reducing the reliance on penetration and fuzz testing in later stages. 2) Streamline development by focusing on bugs that matter, with close to no false positives and catching flaws earlier, the need for rework and retesting is minimized, leading to faster development cycles, improved efficiency and cost savings. 3) Enhance software dependability which includes combining static analysis using abstract interpretation with full context sensitivity, with hardware memory awareness allows for a more comprehensive understanding of potential vulnerabilities, leading to more dependable and secure software. This approach aligns with industry best practices (ISO2626 or ISO 21434) and empowers C/C++ developers to deliver robust, secure embedded systems that meet the demands of today's and tomorrow's applications. We will illustrate this approach with the TrustInSoft analyzer to show how it accelerates verification for complex cases, reduces user fatigue, and improves developer efficiency, cost-effectiveness, and software cybersecurity. In summary, integrating formal methods and sound Analyzers enhances software reliability and cybersecurity, streamlining development in an increasingly complex environment.

Keywords: safety, cybersecurity, ISO26262, ISO24434, formal methods

Procedia PDF Downloads 25