Search results for: David Long

Authors: Citlali Aguilera Lira, David Lynch Steinicke, Andrea León García

Abstract:

One of the challenges that higher education faces is to find how to approach the sustainability in an inclusive way to the student within all the different academic areas, how to move the sustainable development from the abstract field to the operational field. This research comes from the ecoliteracy and the pedagogical praxis as tools for rebuilding the teaching processes inside of universities. The purpose is to determine and describe which are the factors involved in the process of learning particularly in the Greenhouse-School Siembra UV. In the Greenhouse-School Siembra UV, of the University of Veracruz, are cultivated vegetables, medicinal plants and small cornfields under the usage of eco-technologies such as hydroponics, Wickingbed and Hugelkultur, which main purpose is the saving of space, labor and natural resources, as well as function as agricultural production alternatives in the urban and periurban zones. The sample was formed with students from different academic areas and who are actively involved in the greenhouse, as well as institutes from the University of Veracruz and governmental and non-governmental departments. This project comes from a pedagogic praxis approach, from filling the needs that the different professional profiles of the university students have. All this with the purpose of generate a pragmatic dialogue with the sustainability. It also comes from the necessity to understand the factors that intervene in the students’ praxis. In this manner is how the students are the fundamental unit in the sphere of sustainability. As a result, it is observed that those University of Veracruz students who are involved in the Greenhouse-school, Siembra UV, have enriched in different levels the sense of urban and periurban agriculture because of the diverse academic approaches they have and the interaction between them. It is concluded that the eco-technologies act as fundamental tools for ecoliteracy in society, where it is strengthen the nutritional and food security from a sustainable development approach.

Keywords: farming eco-technologies, food security, multidisciplinary, pedagogical praxis

Procedia PDF Downloads 304

Authors: David Tanujaya Kurniawan

Abstract:

Background: Liver injury caused by paracetamol is marked by increased serum transaminase levels. Turmeric is a local herb that is available in large quantities and inexpensive in contradiction to its substantial benefits, including its potency to increase glutathione production and regenerate hepatocyte into normal condition. Aim: The aim of this study was to analyze the potencial treatment effect of turmeric rhizome extract to reduce serum transaminase level on paracetamol induced liver toxicity in rats. Methods: This study was a laboratory experimental research with post-test only controlled group design. A group of 24 Wistar white male rats was induced with paracetamol 360 mg/kg body weight for 10 days. The group was then separated into four groups: the first and the second was treated with 100 mg/kg body weight and 150 mg/kg body weight of turmeric rhizome extract, subsequently, the third as positive control was given 27 mg/kg body weight of lesichol, while the fourth as negative control was given CMC-Na 1%. Each of this treatment was given for seven days. At the end of the study, the blood samples were taken to measure SGOT and SGPT levels. The one-way Anova test revealed significant difference in mean of SGPT level (p=0,001). The LSD test showed significant differences of SGPT levels in both treatment groups and negative control group. However, there was no sgnificant difference between positive control and both treatment groups. Conclusion: Curcuma domestica Val. rhizome extract could not reduce SGOT level, but it reduced SGPT level significantly.

Keywords: Curcuma domestica val., SGOT, SGPT, paracetamol, liver toxicity

Procedia PDF Downloads 375

Authors: Deepak Nathiya1, Ramesh Roop Rai, Pratima Singh1, Preeti Raj1, Supriya Suman, Balvir Singh Tomar

Abstract:

Background: Sarcopenia is a catabolic state in liver cirrhosis (LC), accelerated with a breakdown of skeletal muscle to release amino acids which adversely affects survival, health-related quality of life, and response to any underlying disease. The primary objective of the study was to investigate the long-term effect of branched-chain amino acids (BCAA) supplementations on parameters associated with improved prognosis in sarcopenic patients with LC, as well as to evaluate its impact on cirrhotic-related events. Methods: We carried out a 24 week, single-center, randomized, open-label, controlled, two cohort parallel-group intervention trial comparing the efficacy of BCAA against lactoalbumin (L-ALB) on 106 sarcopenic liver cirrhotics. The BCAA (intervention) group was treated with 7.2 g BCAA per whereas, the lactoalbumin group was also given 6.3 g of L-Albumin. The primary outcome was to assess the impact of BCAA on parameters of sarcopenia: muscle mass, muscle strength, and physical performance. The secondary outcomes were to study combined survival and maintenance of liver function changes in laboratory and clinical markers in the duration of six months. Results: Treatment with BCAA leads to significant improvement in sarcopenic parameters: muscle strength, muscle function, and muscle mass. The total cirrhotic-related complications and cumulative event-free survival occurred fewer in the BCAA group than in the L-ALB group. Prognostic markers also improved significantly in the study. Conclusion: The current clinical trial demonstrated that long-term BCAAs supplementation improved sarcopenia and prognostic markers in patients with advanced liver cirrhosis.

Keywords: sarcopenia, liver cirrhosis, BCAA, quality of life

Procedia PDF Downloads 123

Authors: Ankita Tiwari, Jyoti Saini, Subhasis Ghosh

Abstract:

For many years, researchers have been fascinated by the subject of how properties evolve as dimensionality is lowered. Early on, it was shown that the presence of a significant magnetic anisotropy might compensate for the lack of long-range (LR) magnetic order in a low-dimensional system (d < 3) with continuous symmetry, as proposed by Hohenberg-Mermin and Wagner (HMW). Strong magnetic anisotropy allows an LR magnetic order to stabilize in two dimensions (2D) even in the presence of stronger thermal fluctuations which is responsible for the absence of Heisenberg ferromagnetism in 2D. Van der Waals (vdW) ferromagnets, including CrI₃, CrTe₂, Cr₂X₂Te₆ (X = Si and Ge) and Fe₃GeTe₂, offer a nearly ideal platform for studying ferromagnetism in 2D. Fe₃GeTe₂ is the subject of extensive investigation due to its tunable magnetic properties, high Curie temperature (Tc ~ 220K), and perpendicular magnetic anisotropy. Many applications in the field of spintronics device development have been quite active due to these appealing features of Fe₃GeTe₂. Although it is known that LR-driven ferromagnetism is necessary to get around the HMW theorem in 2D experimental realization, Heisenberg 2D ferromagnetism remains elusive in condensed matter systems. Here, we show that Fe₃GeTe₂ hosts both localized and delocalized spins, resulting in itinerant and local-moment ferromagnetism. The presence of LR itinerant interaction facilitates to stabilize Heisenberg ferromagnet in 2D. With the help of Rhodes-Wohlfarth (RW) and generalized RW-based analysis, Fe₃GeTe₂ has been shown to be a 2D ferromagnet with itinerant magnetism that can be modulated by an external magnetic field. Hence, the presence of both local moment and itinerant magnetism has made this system interesting in terms of research in low dimensions. We have also rigorously performed critical analysis using an improvised method. We show that the variable critical exponents are typical signatures of 2D ferromagnetism in Fe₃GeTe₂. The spontaneous magnetization exponent β changes the universality class from mean-field to 2D Heisenberg with field. We have also confirmed the range of interaction via the renormalization group (RG) theory. According to RG theory, Fe₃GeTe₂ is a 2D ferromagnet with LR interactions.

Keywords: Van der Waal ferromagnet, 2D ferromagnetism, phase transition, itinerant ferromagnetism, long range order

Procedia PDF Downloads 55

Authors: Piotr Muzyk, Beata Morawiec, Mariusz Opara, Andrzej Tomasik, Brygida Przywara-Chowaniec, Wojciech Jachec, Ewa Nowalany-Kozielska, Damian Kawecki

Abstract:

Background: Coronary bifurcation is one of the most complex lesion in patients with coronary ar-tery disease. Provisional T-stenting is currently one of the recommended techniques. The aim was to assess optimal methods of treatment in the era of drug-eluting stents (DES). Methods: The regis-try consisted of data from 1916 patients treated with coronary percutaneous interventions (PCI) using either first- or second-generation DES. Patients with bifurcation lesion entered the analysis. Major adverse cardiac and cardiovascular events (MACCE) were assessed at one year of follow-up and comprised of death, acute myocardial infarction (AMI), repeated PCI (re-PCI) of target ves-sel and stroke. Results: Of 1916 registry patients, 204 patients (11%) were diagnosed with bifurcation lesion >50% and entered the analysis. The most commonly used technique was provi-sional T-stenting (141 patients, 69%). Optimization with kissing-balloons technique was performed in 45 patients (22%). In 59 patients (29%) second-generation DES was implanted, while in 112 pa-tients (55%), first-generation DES was used. In 33 patients (16%) both types of DES were used. The procedure success rate (TIMI 3 flow) was achieved in 98% of patients. In one-year follow-up, there were 39 MACCE (19%) (9 deaths, 17 AMI, 16 re-PCI and 5 strokes). Provisional T-stenting resulted in similar rate of MACCE to other techniques (16% vs. 5%, p=0.27) and similar occurrence of re-PCI (6% vs. 2%, p=0.78). The results of post-PCI kissing-balloon technique gave equal out-comes with 3% vs. 16% of MACCE in patients in whom no optimization technique was used (p=0.39). The type of implanted DES (second- vs. first-generation) had no influence on MACCE (4% vs 14%, respectively, p=0.12) and re-PCI (1.7% vs. 51% patients, respectively, p=0.28). Con-clusions: The treatment of bifurcation lesions with PCI represent high-risk procedures with high rate of MACCE. Stenting technique, optimization of PCI and the generation of implanted stent should be personalized for each case to balance risk of the procedure. In this setting, the operator experience might be the factor of better outcome, which should be further investigated.

Keywords: coronary bifurcation, drug eluting stents, long-term follow-up, percutaneous coronary interventions

Procedia PDF Downloads 188

Authors: Coulibaly Fatoumata, Gragnon Biego, Aka N. David, Mbari K. Benjamin, Soro Y. René, Ndiaye Jean-louis

Abstract:

Poultry is nowadays one of the most consumed sources of protein, and its livestock represents one of the few opportunities for savings, investment and protection against risk. It provides income for the most vulnerable sections of society, in particular, women (70%) and children who mainly practice this breeding. A study was conducted in the commune of Korhogo at the level of 52 poultry farms, the objective of which was to know the epidemiological situation of parasitism external and internal poultry in order to contribute to the improvement of the health status of modern poultry farms in the said commune. The method described by OIE (2005), consisting of using the standard formula (n = δ2*p*(1-p) *c /i2), made it possible to calculate the size of the sample. Then, samples of droppings and ectoparasites were taken from the affected farms. After analysis and identification, two (2) species of mallophagous lice, including Menopon gallinae (50%) and Menacanthus stramineus (33%) and a species of bug Cimex lectularius (17%) were highlighted. The laying hens were more infested than broilers. Regarding gastrointestinal parasites, different species (six) have been identified: Trichostrongylus tenuis (17%), Syngamus trachea (19%), Heterakis sp (10%), Ascaridia sp (17%), Raillietina sp (8%) and Eimeria sp (29%). In addition, coccidiosis (Eimeria sp) proved to be the dominant pathology representing 67% of pathologies in broiler farms and 33% in poultry farms. The presence of these parasitoses in these modern farms constitutes a constraint major contribution to productivity and their development In view of all these difficulties, proposals have been made in order to participate in the establishment of a good prophylaxis program (health and medical). In addition, the Ivorian government, with the support of veterinarians, must interfere more in the organization of the health monitoring of traditional chickens and poultry in general through supervision and training in order to preserve public health ( animal, human and environmental health).

Keywords: gastrointestinal parasites, ectoparasites, pathologies, poultry, korhogo.

Procedia PDF Downloads 65

Authors: Uchenna Egwu, Paul Jonathan Sallis

Abstract:

Perennial ryegrass is an abundant renewable lignocellulosic biofuel feedstock for biomethane production through anaerobic digestion (AD). In this study, six anaerobic continuously stirred tank reactors (CSTRs) were set up in three pairs. Each pair of the CSTRs was then used to study the effects of operating temperatures – psychrophilic, mesophilic, and thermophilic, and optimum pH on the specific methane production (SMP) of the ryegrass during AD under discontinuous daily feeding conditions. The reactors were fed at an organic loading rate (OLR) ranging from 1-1.5 kgVS.L⁻¹d⁻¹ and hydraulic residence time, HRT=20 days for 140 days. The pH of the digesters was maintained at the range of 6.8-7.2 using 1 M NH₄HCO₃ solution, but this was replaced with biomass ash-extracts from day 105-140. The results obtained showed that the mean SMP of ryegrass measured between HRT 3 and 4 were 318.4, 425.4 and 335 N L CH₄ kg⁻¹VS.d⁻¹ for the psychrophilic (25 ± 2°C), mesophilic (40 ± 1°C) and thermophilic (60 ± 1°C) temperatures respectively. It was also observed that the buffering ability of the reactors increased with operating temperature, probably due to an increase in the solubility of ammonium bicarbonate (NH₄HCO₃) with temperature. The reactors also achieved a mean VS destruction of 61.9, 68.5 and 63.5%, respectively, which signifies that the mesophilic reactors achieved the highest specific methane production (SMP), while the psychrophilic reactors achieved the lowest. None of the reactors attained steady-state condition due to the discontinuous daily feeding times, and therefore, such feeding practice may not be the most effective for maximum biogas production over long periods of time. The addition of NH₄HCO₃ as supplement provided a good buffering condition in these AD digesters, but the digesters failed in the long run due to inhibition from the accumulation of free ammonia, which later led to decrease in pH, acidification, and souring of the digesters. However, the addition of biomass ash extracts was shown to potentially revive failed AD reactors by providing an adequate buffering and essential trace nutrient supplements necessary for optimal bacterial growth.

Keywords: anaerobic digestion, discontinuous feeding, perennial ryegrass, specific methane production, supplements, temperature

Procedia PDF Downloads 115

Authors: David P. Horton, Gary Lynch-Wood

Abstract:

Western populations are aging, prone to various lifestyle health problems, and increasing their demand for health and social care services. This demand has created enormous fiscal and regulatory challenges. In response, government institutions have deployed strategies of behavior modification to encourage people to exercise greater personal responsibility over their health and care needs (i.e., welfare responsibilisation). Policy strategies are underpinned by the assumption that people if properly supported, will make better health and lifestyle selections. Not only does this absolve governments of the responsibility for meeting all health and care needs, but it also enables government institutions to assert fiscal control over welfare spending. Looking at the regulation of health and social care in the UK, the authors identify and outline a suite of regulatory tools that are designed to extract and manage the resources of health and social care services users and to encourage them to make (‘better’) use of these resources. This is important for our understanding of how health and social care regulation is responding to ongoing social and economic challenges. It is also important because there has been a failure to systematically examine the relevance of resources for regulation, which is surprising given that resources are crucial to how and whether regulation succeeds or fails. In particular, drawing from the regulatory welfare state concept, the authors analyse the key legal and regulatory changes and mechanisms that have been introduced since the 2008 financial crisis, focusing on critical measures such as the Health and Social Care Act and regulations introduced under the National Health Service Act. The authors show how three types of user resources (i.e., tangible, labor, and data) are being used to assert fiscal control and increase welfare responsibilisation. Amongst other things, the paper concludes that service users have become more than rule followers and targets of behavioral modification; rather, they are producers of resources that regulatory systems have come to rely on.

Keywords: health care, regulation, resources, social care

Procedia PDF Downloads 76

Authors: Shannon Rappe, Elizabeth Morse, David Phillippi

Abstract:

Postpartum women with an opioid use disorder (OUD) are at high risk for treatment disengagement, leaving them vulnerable to overdose and death between seven and twelve months postpartum. Intensive case management programs have been proposed as an effective strategy to reduce barriers and increase treatment engagement among postpartum women. The purpose of this project is to determine the effects of early engagement in an intensive case management program on postpartum engagement and infant health outcomes among postpartum women with opioid use. This retrospective review of secondary data was collected on 225 infants, and 221 postpartum women enrolled in an intensive case management program in Tennessee between May 1, 2019, and May 5, 2020. Chi-squares were computed to examine the timing of engagement during pregnancy, maternal treatment outcomes, and infant health outcomes, including neonatal abstinence syndrome (NAS), birth weight, gestational age, and length of stay. The mean prenatal program engagement was 109 days (SD = 67.6); 16.7% (n = 37) enrolled during the first trimester, 37.6% (n = 83) in the second trimester, and 45.7% (n = 101) in the third trimester. Of the 221 women engaged, 45.2% (n = 100) remained engaged in the case of management at the time of data collection, and 40% (n = 89) remained engaged in MAT at the time of data collection. Twenty- five percent (n = 25) of mothers who graduated sustained engagement in MAT. Of 225 infants 28.9% (n = 65) had a positive NAS status, mean birth weight was 6.5 lbs. (SD = 19.3); mean gestational age was 38.3 weeks (SD = 19.3) and mean length of stay was 8.19 days (SD = 9.8). This study's findings identified that engaging mothers during pregnancy in a program designed to meet their unique challenges positively impacts both the mother and infant outcomes, regardless of their timing.

Keywords: intensive case management, neonatal abstinence syndrome, opioid addiction, opioid crisis, opioid use in pregnant women, postpartum addiction

Procedia PDF Downloads 197

Authors: Muhamad Hafiz Ismail, Ahmad H., Nelfianty M. R.

Abstract:

The longitudinal study is conducted to identify predictive factors of soccer talent among male players aged 14 to 17 years. Convenience sampling involving elite respondents (n=20) and sub-elite respondents (n=20) male soccer players. Descriptive statistics were reported as frequencies and percentages. The inferential statistical analysis is used to report the status of reliability, independent samples t-test, paired samples t-test, and multiple regression analysis. Generally, there are differences in mean of height, muscular strength, muscular endurance, cardiovascular endurance, task orientation, cognitive anxiety, self-confidence, juggling skills, short pass skills, long pass skills, dribbling skills, and shooting skills for 20 elite players and sub-elite players. Accordingly, there was a significant difference between pre and post-test for thirteen variables of height, weight, fat percentage, muscle strength, muscle endurance, cardiovascular endurance, flexibility, BMI, task orientation, juggling skills, short pass skills, a long pass skills, and dribbling skills. Based on the first predictive factors (physical), second predictive factors (fitness), third predictive factors (psychological), and fourth predictive factors (skills in playing football) pledged to the soccer talent; four multiple regression models were produced. The first predictive factor (physical) contributed 53.5 percent, supported by height and percentage of fat in soccer talents. The second predictive factor (fitness) contributed 63.2 percent and the third predictive factors (psychology) contributed 66.4 percent of soccer talent. The fourth predictive factors (skills) contributed 59.0 percent of soccer talent. The four multiple regression models could be used as a guide for talent scouting for soccer players of the future.

Keywords: soccer talent identification, fitness and physical test, soccer skills test, psychological test

Procedia PDF Downloads 137

Authors: Young-Tae Lee, Hee-Chang Lim

Abstract:

This paper presents the performance characteristics of Darrieus-type vertical axis wind turbine (VAWT) with NACA airfoil blades. The performance of Darrieus-type VAWT can be characterized by torque and power. There are various parameters affecting the performance such as chord length, helical angle, pitch angle and rotor diameter. To estimate the optimum shape of Darrieustype wind turbine in accordance with various design parameters, we examined aerodynamic characteristics and separated flow occurring in the vicinity of blade, interaction between flow and blade, and torque and power characteristics derived from it. For flow analysis, flow variations were investigated based on the unsteady RANS (Reynolds-averaged Navier-Stokes) equation. Sliding mesh algorithm was employed in order to consider rotational effect of blade. To obtain more realistic results we conducted experiment and numerical analysis at the same time for three-dimensional shape. In addition, several parameters (chord length, rotor diameter, pitch angle, and helical angle) were considered to find out optimum shape design and characteristics of interaction with ambient flow. Since the NACA airfoil used in this study showed significant changes in magnitude of lift and drag depending on an angle of attack, the rotor with low drag, long cord length and short diameter shows high power coefficient in low tip speed ratio (TSR) range. On the contrary, in high TSR range, drag becomes high. Hence, the short-chord and long-diameter rotor produces high power coefficient. When a pitch angle at which airfoil directs toward inside equals to -2° and helical angle equals to 0°, Darrieus-type VAWT generates maximum power.

Keywords: darrieus wind turbine, VAWT, NACA airfoil, performance

Procedia PDF Downloads 354

Authors: Davaakhuu Vandannyam, Amarsaikhan Dashtseren, Oyungoo Badamdorj

Abstract:

Background: Shift work and extended working hours are increasing in many industries and organization's in the world. Over a 24 hour period, the circadian clock regulates sleep/wake patterns, body temperature, hormone levels, digestion and many other functions. Depending on the time of day or night, the human body is programmed for periods of wakefulness and sleep, high and low body temperature, high and low digestive activity and so on. Shift work is highly prevalent in industrialized societies (>20%) but, when it includes night work, it has pronounced negative effects on sleep, subjective and physiological sleepiness, performance, accident risk, as well as on health outcomes such as cardiovascular disease and certain forms of cancer. Method: In this cross-sectional field study, 634 shift work and day work nurses from a plant were involved, with participation rate of 100% (634 nurses). The general health questionnaire (GHQ-28) and RLS, ESS, ISI, FSS were used to evaluate the level of insomnia, sleepiness, fatigue and restless legs syndrome, respectively. Results: As a result of research on some indicators of health risks caused from work shift, it was proven that prevalence of restless legs syndrome was at 5.5% and 25.9% are in risk of becoming sick, 42.3% are in fatigue, 3.5% in high stage of insomnia and 27.4% are sleepy on duty. Insomnia of nurses mainly affected from long-hour shift, dissatisfaction, workload, lose of focus and use of coffee. There is sleepiness lies in the workplace due to number of shifts, unsatisfactory performance and emergency calls between shifts. It has been determined that risk of sickness influenced by number of shifts in a month and long hour shift, dissatisfaction and use of coffee and divisions are causing restless legs syndrome. Conclusions: Among the nurses, it was found that the prevalence of insomnia is 31.6%, sleepiness 27.4%, fatigue 42.3%, restless legs syndrome 35% and stress 25.9%. These factors of shift work affecting health tend to go up as working hours increase and more common among shift work nurses.

Keywords: shiftwork, insomnia, sleepiness, restless

Procedia PDF Downloads 237

Authors: Wisam Ismail, Brendan Wooler, Penelope McManus

Abstract:

Introduction: The public perception of implants has been damaged in the wake of recent negative publicity and increasingly we are finding patients wanting to avoid them. Planned lipo-modelling to enhance the volume of a Latissimus dorsi flap is a viable alternative to silicone implants and maintains a Totally Autologous Technique (TAT). Here we demonstrate that when compared to an Implant Assisted Technique (IAT), a TAT offers patients many benefits that offset the requirement of more operations initially, with reduced short and long term complications, reduced symmetrisation surgery and reduced revision rates. Methods. Data was collected prospectively over 7 years. The minimum follows up was 3 years. The technique was generally standardized in the hand of one surgeon. All flaps were extended LD flaps (ELD). Lipo-modelling was performed using standard techniques. Outcome measures were unplanned secondary procedures, complication rates, and contralateral symmetrisation surgery rates. Key Results Were: Lower complication rates in the TAT group (18.5% vs. 33.3%), despite higher radiotherapy rates (TAT=49%, IAT=36.8%), TAT was associated with lower subsequent symmetrisation rates (30.6% vs. 50.9%), IAT had a relative risk of 3.1 for subsequent unplanned procedure, Autologous patients required an average of 1.76 sessions of lipo-modelling, Conclusions: Using lipo-modelling to enable totally autologous LD reconstruction offers significant advantages over an implant assisted technique. We have shown a lower subsequent unplanned procedure rate, lower revision surgery, and less contralateral symmetrisation surgery. We anticipate that a TAT will be supported by patient satisfaction surveys and long-term patient-reported cosmetic outcome data and intended to study this.

Keywords: breast, Latissimus dorsi, lipomodelling, reconstruction

Procedia PDF Downloads 314

Authors: Abhaydeep Pandey, Shweta Shukla, Saptamita Goswami, Bhaswati Bandyopadhyay, Vishnampettai Ramachandran, Sudhanshu Vrati, Arup Banerjee

Abstract:

Dengue virus infection is now considered as one of the most important mosquito-borne infection in human. The virus is known to promote vascular permeability, cerebral edema leading to Dengue hemorrhagic fever (DHF) or Dengue shock syndrome (DSS). Dengue infection has known to be endemic in India for over two centuries as a benign and self-limited disease. In the last couple of years, the disease symptoms have changed, manifesting severe secondary complication. So far, Delhi has experienced 12 outbreaks of dengue virus infection since 1997 with the last reported in 2014-15. Without specific antivirals, the case management of high-risk dengue patients entirely relies on supportive care, involving constant monitoring and timely fluid support to prevent hypovolemic shock. Nonetheless, the diverse clinical spectrum of dengue disease, as well as its initial similarity to other viral febrile illnesses, presents a challenge in the early identification of this high-risk group. WHO recommends the use of warning signs to identify high-risk patients, but warning signs generally appear during, or just one day before the development of severe illness, thus, providing only a narrow window for clinical intervention. The ability to predict which patient may develop DHF and DSS may improve the triage and treatment. With the recent discovery of high throughput RNA sequencing allows us to understand the disease progression at the genomic level. Here, we will collate the results of RNA-Sequencing data obtained recently from PBMC of different categories of dengue patients from India and will discuss the possible role of deregulated genes and long non-coding RNAs NEAT1 for development of disease progression.

Keywords: long non-coding RNA (lncRNA), dengue, peripheral blood mononuclear cell (PBMC), nuclear enriched abundant transcript 1 (NEAT1), dengue hemorrhagic fever (DHF), dengue shock syndrome (DSS)

Procedia PDF Downloads 294

Authors: Londeka Ngubane

Abstract:

The use of corporal punishment is not a new phenomenon in the South African education system as it was, for a long time, recognised as a fitting form of punishment for ill-disciplined and disobedient children. The growing recognition that corporal punishment is an act of violence against children has resulted in the abolishment of this form of punishment in society and particularly in schools. However, regardless of criminalising corporal punishment, it appears to be a disciplinary measure that is persistently used by some educators. Historically and currently, the intimate connection between corporal punishment and discipline has not merely been a convention of human thinking, as this practice is given recognition in various definitions in dictionaries. ‘To discipline’ is habitually stated to mean ‘to punish’. The notion of ‘disciplining children’ also comes from entrenched common conceptions about children and their relationship with adults. Corporal punishment has, for a long time, been associated with the rearing and education of children, and this practice thus pervades schooling across nations. In many societies, punishment is a term that is closely linked with the self-perception of teachers who feel that they must be ‘in control’ and have ‘the upper hand’ in order to be respected. This impression of control is evident in the widespread conception of education which is to ‘socialize’ children in ‘desirable ways’ of ‘sitting in a formal classroom’, ‘behaving’ in school, ‘following instructions’ from the teacher, talking only when asked to, and finishing tasks on time. It was against this backdrop that a comprehensive review of relevant literature was undertaken and that individual interviews were conducted with fifty learners from four schools (two junior secondary and two senior secondary schools) in a selected township area in KwaZulu-Natal Province. The main aim of the study was to explore and thus understand learners’ views on the administration of corporal punishment regardless of the fact that it was legally abolished. It was envisaged that the interviews with the learners would elicit rich data that would enhance the researcher’s insight into their perceptions of the persistent use of corporal punishment as a disciplinary measure in their schools. The study was thus premised on the assumption, which had been strengthened by anecdotal and media evidence, that corporal punishment was still administered in some schools in South Africa and in schools in the study area in particular.

Keywords: corporal punishment, ban, school learners, South Africa

Procedia PDF Downloads 133

Authors: Zhuo Feng, Ying Gao

Abstract:

Public-private partnership (PPP), as an innovative way to provide infrastructures by the private sector, is being widely used throughout the world. Compared with the traditional mode, PPP emerges largely for merits of relieving public budget constraint and improving infrastructure supply efficiency by involving private funds. However, PPP projects are characterized by large scale, high investment, long payback period, and long concession period. These characteristics make PPP projects full of risks. One of the most important risks faced by the private sector is demand risk because many factors affect the real demand. If the real demand is far lower than the forecasting demand, the private sector will be got into big trouble because operating revenue is the main means for the private sector to recoup the investment and obtain profit. Therefore, it is important to study how the government compensates the private sector when the demand risk occurs in order to achieve Pareto-improvement. This research focuses on price compensation mechanism, an ex-post compensation mechanism, and analyzes, by mathematical modeling, the impact of price compensation mechanism on payoff of the private sector and consumer surplus for PPP toll road projects. This research first investigates whether or not price compensation mechanisms can obtain Pareto-improvement and, if so, then explores boundary conditions for this mechanism. The research results show that price compensation mechanism can realize Pareto-improvement under certain conditions. Especially, to make the price compensation mechanism accomplish Pareto-improvement, renegotiation costs of the government and the private sector should be lower than a certain threshold which is determined by marginal operating cost and distortionary cost of the tax. In addition, the compensation percentage should match with the price cut of the private investor when demand drops. This research aims to provide theoretical support for the government when determining compensation scope under the price compensation mechanism. Moreover, some policy implications can also be drawn from the analysis for better risk-sharing and sustainability of PPP projects.

Keywords: infrastructure, price compensation mechanism, public-private partnership, renegotiation

Procedia PDF Downloads 160

Authors: Ebipatei Victoria Tunyan, T. A. Cao, Cheol Young Ock

Abstract:

Detecting subjectively biased statements is a vital task. This is because this kind of bias, when present in the text or other forms of information dissemination media such as news, social media, scientific texts, and encyclopedias, can weaken trust in the information and stir conflicts amongst consumers. Subjective bias detection is also critical for many Natural Language Processing (NLP) tasks like sentiment analysis, opinion identification, and bias neutralization. Having a system that can adequately detect subjectivity in text will boost research in the above-mentioned areas significantly. It can also come in handy for platforms like Wikipedia, where the use of neutral language is of importance. The goal of this work is to identify the subjectively biased language in text on a sentence level. With machine learning, we can solve complex AI problems, making it a good fit for the problem of subjective bias detection. A key step in this approach is to train a classifier based on BERT (Bidirectional Encoder Representations from Transformers) as upstream model. BERT by itself can be used as a classifier; however, in this study, we use BERT as data preprocessor as well as an embedding generator for a Bi-LSTM (Bidirectional Long Short-Term Memory) network incorporated with attention mechanism. This approach produces a deeper and better classifier. We evaluate the effectiveness of our model using the Wiki Neutrality Corpus (WNC), which was compiled from Wikipedia edits that removed various biased instances from sentences as a benchmark dataset, with which we also compare our model to existing approaches. Experimental analysis indicates an improved performance, as our model achieved state-of-the-art accuracy in detecting subjective bias. This study focuses on the English language, but the model can be fine-tuned to accommodate other languages.

Keywords: subjective bias detection, machine learning, BERT–BiLSTM–Attention, text classification, natural language processing

Procedia PDF Downloads 113

Authors: David Nogueiras Blanco, Amir Alwash, Arnaud Gaudinat, René Schneider

Abstract:

At a time when the access to and the sharing of information are crucial in the world of research, the use of technologies such as persistent identifiers (PIDs), Current Research Information Systems (CRIS), and ontologies may create platforms for information sharing if they respond to the need of disambiguation of their data by assuring interoperability inside and between other systems. INCIPIT-CRIS is a continuation of the former INCIPIT project, whose goal was to set up an infrastructure for a low-cost attribution of PIDs with high granularity based on Archival Resource Keys (ARKs). INCIPIT-CRIS can be interpreted as a logical consequence and propose a research information management system developed from scratch. The system has been created on and around the Schema.org ontology with a further articulation of the use of ARKs. It is thus built upon the infrastructure previously implemented (i.e., INCIPIT) in order to enhance the persistence of URIs. As a consequence, INCIPIT-CRIS aims to be the hinge between previously separated aspects such as CRIS, ontologies and PIDs in order to produce a powerful system allowing the resolution of disambiguation problems using a combination of an ontology such as Schema.org and unique persistent identifiers such as ARK, allowing the sharing of information through a dedicated platform, but also the interoperability of the system by representing the entirety of the data as RDF triplets. This paper aims to present the implemented solution as well as its simulation in real life. We will describe the underlying ideas and inspirations while going through the logic and the different functionalities implemented and their links with ARKs and Schema.org. Finally, we will discuss the tests performed with our project partner, the Swiss Institute of Bioinformatics (SIB), by the use of large and real-world data sets.

Keywords: current research information systems, linked data, ontologies, persistent identifier, schema.org, semantic web

Procedia PDF Downloads 113

Authors: Teklay Tesfay, Gebreyesus Brhane Tesfahunegn, Abadi Berhane, Selemawit Girmay

Abstract:

Adjusting the proper sowing date of a crop at a particular location with a changing climate is an essential management option to maximize crop yield. However, determining the optimum sowing date for rainfed maize production through field experimentation requires repeated trials for many years in different weather conditions and crop management. To avoid such long-term experimentation to determine the optimum sowing date, crop models such as AquaCrop are useful. Therefore, the overall objective of this study was to evaluate the performance of AquaCrop model in simulating maize productivity under varying sowing dates. A field experiment was conducted for two consecutive cropping seasons by deploying four maize seed sowing dates in a randomized complete block design with three replications. Input data required to run this model are stored as climate, crop, soil, and management files in the AquaCrop database and adjusted through the user interface. Observed data from separate field experiments was used to calibrate and validate the model. AquaCrop model was validated for its performance in simulating the green canopy and aboveground biomass of maize for the varying sowing dates based on the calibrated parameters. Results of the present study showed that there was a good agreement (an overall R2 =, Ef= d= RMSE =) between measured and simulated values of the canopy cover and biomass yields. Considering the overall values of the statistical test indicators, the performance of the model to predict maize growth and biomass yield was successful, and so this is a valuable tool help for decision-making. Hence, this calibrated and validated model is suggested to use for determining optimum maize crop sowing date for similar climate and soil conditions to the study area, instead of conducting long-term experimentation.

Keywords: AquaCrop model, calibration, validation, simulation

Procedia PDF Downloads 42

Authors: Abdulmajeed Almansour

Abstract:

Learning a foreign language with the assistant of technological tools has become an interest of learners and educators. Increased use of smartphones among undergraduate students has made them popular for not only social communication but also for entertainment and educational purposes. Smartphones have provided remarkable advantages in language learning process. Learning vocabulary is an important part of learning a language. The use of smartphone applications for English vocabulary learning provides an opportunity for learners to improve vocabulary knowledge beyond the classroom wall anytime anywhere. Recently, various smartphone applications were created specifically for vocabulary learning. This paper aims to explore the use of smartphone application Memrise designed for vocabulary learning to enhance academic vocabulary among undergraduate students. It examines whether the use of a Memrise smartphone application designed course enhances the academic vocabulary learning among ESL learners. The research paradigm used in this paper followed a mixed research model combining quantitative and qualitative research. The study included two hundred undergraduate students randomly assigned to the experimental and controlled group during the first academic year at the Faculty of English Language, Imam University. The research instruments included an attitudinal questionnaire and an English vocabulary pre-test administered to students at the beginning of the semester whereas post-test and semi-structured interviews administered at the end of the semester. The findings of the attitudinal questionnaire revealed a positive attitude towards using smartphones in learning vocabulary. The post-test scores showed a significant difference in the experimental group performance. The results from the semi-structure interviews showed that there were positive attitudes towards Memrise smartphone application. The students found the application enjoyable, convenient and efficient learning tool. From the study, the use of the Memrise application is seen to have long-term and motivational benefits to students. For this reason, there is a need for further research to identify the long-term optimal effects of learning a language using smartphone applications.

Keywords: second language vocabulary learning, academic vocabulary, mobile learning technologies, smartphone applications

Procedia PDF Downloads 144

Authors: O. Benabdeljelil, A. Karioun, S. Amami, R. Rouger, M. Hamidine

Abstract:

A model for preventing the risks related to climate conditions in the agricultural sector is presented. It will determine the yearly optimum premium to be paid by a producer in order to reach his required turnover. The model is based on both climatic stability and 'soft' responses of usually grown species to average climate variations at the same place and inside a safety ball which can be determined from past meteorological data. This allows the use of linear regression expression for dependence of production result in terms of driving meteorological parameters, the main ones of which are daily average sunlight, rainfall and temperature. By simple best parameter fit from the expert table drawn with professionals, optimal representation of yearly production is determined from records of previous years, and yearly payback is evaluated from minimum yearly produced turnover. The model also requires accurate pricing of commodity at N+1. Therefore, a pricing model is developed using 3 state variables, namely the spot price, the difference between the mean-term and the long-term forward price, and the long-term structure of the model. The use of historical data enables to calibrate the parameters of state variables, and allows the pricing of commodity. Application to beet sugar underlines pricer precision. Indeed, the percentage of accuracy between computed result and real world is 99,5%. Optimal premium is then deduced and gives the producer a useful bound for negotiating an offer by insurance companies to effectively protect its harvest. The application to beet production in French Oise department illustrates the reliability of present model with as low as 6% difference between predicted and real data. The model can be adapted to almost any agricultural field by changing state parameters and calibrating their associated coefficients.

Keywords: agriculture, production model, optimal price, meteorological factors, 3-factor model, parameter calibration, forward price

Procedia PDF Downloads 358

Authors: Mohammad Yousefikia, Sara Moridpour, Ehsan Mazloumi

Abstract:

Perceiving track geometry deterioration decisively influences the optimization of track maintenance operations. The effective management of this deterioration and increasingly utilized system with limited financial resources is a significant challenge. This paper provides a review of degradation models relevant for railroad tracks. Furthermore, due to the lack of long term information on the condition development of tram infrastructures, presents the methodology which will be used to derive degradation models from the data of Melbourne tram network.

Keywords: deterioration modeling, asset management, railway, tram

Procedia PDF Downloads 359

Authors: Qin Yang, Fan Zhang, Juan Du, Chongkui Sun, Krishna Kota, Yun-Ling Zheng

Abstract:

Telomeres are specialized structures at chromosome ends consisting of tandem repetitive DNA sequences [(TTAGGG)n in humans] and associated proteins, which are necessary for telomere function. Telomere lengths are tightly regulated within a narrow range in normal human somatic cells, the basis of cellular senescence and aging. Previous studies have extensively focused on how short telomeres are extended and have demonstrated that telomerase plays a central role in telomere maintenance through elongating the short telomeres. However, the molecular mechanisms of regulating excessively long telomeres are unknown. Here, we found that telomerase enzymatic component hTERT plays a dual role in the regulation of telomeres length. We analyzed single telomere alterations at each chromosomal end led to the discoveries that hTERT shortens excessively long telomeres and elongates short telomeres simultaneously, thus maintaining the optimal telomere length at each chromosomal end for an efficient protection. The hTERT-mediated telomere shortening removes large segments of telomere DNA rapidly without inducing telomere dysfunction foci or affecting cell proliferation, thus it is mechanistically distinct from rapid telomere deletion. We found that expression of hTERT generates telomeric circular DNA, suggesting that telomere homologous recombination may be involved in this telomere shortening process. Moreover, the hTERT-mediated telomere shortening is required its enzymatic activity, but telomerase RNA component hTR is not involved in it. Furthermore, shelterin protein TPP1 interacts with hTERT and recruits it on telomeres to mediate telomere shortening. In addition, telomere-associated proteins, DKC1 and TCAB1 also play roles in this process. This novel hTERT-mediated telomere shortening mechanism not only exists in cancer cells, but also in primary human cells. Thus, the hTERT-mediated telomere shortening is expected to shift the paradigm on current molecular models of telomere length maintenance, with wide-reaching consequences in cancer and aging fields.

Keywords: aging, hTERT, telomerase, telomeres, human cells

Procedia PDF Downloads 410

Authors: Lukas Kober, Vladimir Littva, Vladimir Siska

Abstract:

The pandemic has had a significant impact on our lives. One of the most affected professions is the nursing profession. Nurses are closest to the patient, spend the most time with him, support him, often replace the closest family members, and of course, are part of the whole treatment process. Current nurses have more competencies and roles than in the past. The healthcare system has reached a turning point, also in connection with the spreading Delta variant and the risk of the arrival of the third wave. The lack of nurses is a long-term problem, but it did not arise by itself. The reasons for the departure of nurses from the health care system are not only due to the increasing average age of nurses and midwives in Slovakia and their retirement. Thousands of nurses are leaving due to poor working conditions, low wages, and poor management of individual workplaces. We need to keep older nurses in the health care system, otherwise, we risk their early departure. The pandemic only exacerbates this situation, and the associated risks, such as occupational infections or enormous overload and exhaustion, only accelerate the exit from the profession. According to current data from the register of nurses and midwives, we canceled 772 registrations from January to September 2021, and 584 nurses requested the suspension of registration due to non-performance of the profession. During the same period, we registered only 240 new nurses graduate. We have had this significant disparity here for a long time. For the whole of 2020, we canceled 911 registrations and suspended 973 registrations. We registered a total of 389 graduates. Our system loses hundreds of graduates a year and loses experienced nurses with decades of experience who leave due to poor working conditions, wages and suffer from burnout. Such compensation should also be awarded to the families of health professionals who have lost their lives due to work and to COVID-19. These options can also be motivating for promising people interested in studying nursing, who can gradually replace the missing workforce. This purchase is supported by the KEGA project no. 015KU-4/2019.

Keywords: pandemic, COVID-19, nursing, nursing workforce, lack of nurses

Procedia PDF Downloads 197

Authors: Kristina Jansen, Maximilian Lennartz, Patrick Lebok, Guido Sauter, Ronald Simon, David Dum, Stefan Steurer

Abstract:

DOG1 (Discovered on GIST1) is a voltage-gated calcium-activated chloride and bicarbonate channel that is highly expressed in interstitial cells of Cajal and in gastrointestinal stromal tumors (GIST) derived from Cajal cells. To systematically determine in what tumor entities and normal tissue types DOG1 may be further expressed, a tissue microarray (TMA) containing 15,965 samples from 121 different tumor types and subtypes as well as 608 samples of 76 different normal tissue types were analyzed by immunohistochemistry. DOG1 immunostaining was found in 67 tumor types, including GIST (95.7%), esophageal squamous cell carcinoma (31.9%), pancreatic ductal adenocarcinoma (33.6%), adenocarcinoma of the Papilla Vateri (20%), squamous cell carcinoma of the vulva (15.8%) and the oral cavity (15.3%), mucinous ovarian cancer (15.3%), esophageal adenocarcinoma (12.5%), endometrioid endometrial cancer (12.1%), neuroendocrine carcinoma of the colon (11.1%) and diffuse gastric adenocarcinoma (11%). Low level-DOG1 immunostaining was seen in 17 additional tumor entities. DOG1 expression was unrelated to histopathological parameters of tumor aggressiveness and/or patient prognosis in cancers of the breast (n=1,002), urinary bladder (975), ovary (469), endometrium (173), stomach (233), and thyroid gland (512). High DOG1 expression was linked to estrogen receptor expression in breast cancer (p<0.0001) and the absence of HPV infection in squamous cell carcinomas (p=0.0008). In conclusion, our data identify several tumor entities that can show DOG1 expression levels at similar levels as in GIST. Although DOG1 is tightly linked to a diagnosis of GIST in spindle cell tumors, the differential diagnosis is much broader in DOG1 positive epithelioid neoplasms.

Keywords: biomarker, DOG1, immunohistochemistry, tissue microarray

Procedia PDF Downloads 189

Authors: Itsuo Yokoyama, Rikako Kikuti, Naoko Watabe, Tosinori Asai, Sarai Tsuyoshi

Abstract:

Introduction: Chronic kidney disease presents significant changes in mineral and bone metabolism, referred to as CKD-MBD. These changes lead to decreased bone mass, heightened bone fragility, fractures, and increased vascular and valvular calcification, ultimately impacting cardiovascular outcomes. Key contributors to these complications in dialysis patients include calcium, phosphate, parathyroid hormone (PTH), fibroblast growth factor 23 (FGF23), and the vitamin D hormonal system. Methods: In our outpatient dialysis clinic, we monitor the long-term effects of vascular calcifications by calculating the volume of calcified areas in the abdominal aorta based on CT scan data. The results revealed a progressive nature of vascular calcification. To extend our study, we measured the volume of calcification in bones (vertebrae and femur) corresponding to Hounsfield units of 200 and 300. The study aims to investigate changes in osteoporosis during a 5-year follow-up period and its relationship with extraosseous calcification. Results and Considerations: While extraosseous calcification demonstrated a generally progressive nature, often resistant to medical treatment, the degree of osteoporotic change varied among patients. The majority exhibited continuous osteoporotic changes, while some showed improvement or minimal changes in bone calcification. Variations in the distribution and magnitude of osteoporotic changes were observed between groups based on the timing of hemodialysis initiation during the study. The former group tended to display more osteoporotic changes, possibly attributed to differences in medication between the groups. Other contributing factors may include the patient's age, duration of dialysis, or causes of renal disease. In conclusion, we emphasize the importance of carefully monitoring calcium and phosphate levels and maintaining adequate dialysis therapy to prevent osteoporosis in dialysis patients.

Keywords: CKD-MBD, dialysis, calcification, kidney

Procedia PDF Downloads 31

Authors: David de Oliveira Costa, Miguel Ângelo Lellis Moreira, Carlos Francisco Simões Gomes, Daniel Augusto de Moura Pereira, Marcos dos Santos

Abstract:

Strategic management is a fundamental process for global companies that intend to remain competitive in an increasingly dynamic and complex market. To do so, it is necessary to maintain alignment with their principles and values. The Balanced Scorecard (BSC) proposes to ensure that the overall business performance is based on different perspectives (financial, customer, internal processes, and learning and growth). However, relying solely on the BSC may not be enough to ensure the success of strategic management. It is essential that companies also evaluate and prioritize strategic projects that need to be implemented to ensure they are aligned with the business vision and contribute to achieving established goals and objectives. In this context, the proposition involves the incorporation of the SAPEVO-M multicriteria method to indicate the degree of relevance between different perspectives. Thus, the strategic objectives linked to these perspectives have greater weight in the classification of structural projects. Additionally, it is proposed to apply the concept of the Impact & Probability Matrix (I&PM) to structure and ensure that strategic projects are evaluated according to their relevance and impact on the business. By structuring the business's strategic management in this way, alignment and prioritization of projects and actions related to strategic planning are ensured. This ensures that resources are directed towards the most relevant and impactful initiatives. Therefore, the objective of this article is to present the proposal for integrating the BSC methodology, the SAPEVO-M multicriteria method, and the prioritization matrix to establish a concrete weighting of strategic planning and obtain coherence in defining strategic projects aligned with the business vision. This ensures a robust decision-making support process.

Keywords: MCDA process, prioritization problematic, corporate strategy, multicriteria method

Procedia PDF Downloads 59

Authors: Matthew Pleshaw, Caroline Lynch, Caleb Eaton, Ali Kiapour

Abstract:

The problem addressed in this proposal is that of the lacking comfort and safety of inpatient rooms, specifically at Boston Children’s Hospital, with the implementation of a system that will allow inpatient children to feel more comfortable in the unfamiliar environment of a hospital. The focus is that of advancing and enhancing the healing process for children in a long-term inpatient stay at the hospital, though a combination of announcing a clinician or hospital staff’s arrival utilizing RFID (Fig. 1), and improving communication between clinicians, parents/guardians, patients, etc. by integrating a mobile application.

Keywords: Pediatrics, Hospital, RFID, Technology

Procedia PDF Downloads 145

Authors: M. R. Vijayakumar, Sanjay Kumar Singh, Lakshmi, Hithesh Dewangan, Sanjay Singh

Abstract:

Trans resveratrol (RES) is a natural molecule proved for cancer preventive and therapeutic activities devoid of any potential side effects. However, the therapeutic application of RES in disease management is limited because of its rapid elimination from blood circulation thereby low biological half life in mammals. Therefore, the main objective of this study is to enhance the circulation as well as therapeutic efficacy using PEGylated liposomes. D-α-tocopheryl polyethylene glycol 1000 succinate (vitamin E TPGS) is applied as steric surface decorating agent to prepare RES liposomes by thin film hydration method. The prepared nanoparticles were evaluated by various state of the art techniques such as dynamic light scattering (DLS) technique for particle size and zeta potential, TEM for shape, differential scanning calorimetry (DSC) for interaction analysis and XRD for crystalline changes of drug. Encapsulation efficiency and invitro drug release were determined by dialysis bag method. Cancer cell viability studies were performed by MTT assay, respectively. Pharmacokinetic studies were performed in sprague dawley rats. The prepared liposomes were found to be spherical in shape. Particle size and zeta potential of prepared formulations varied from 64.5±3.16 to 262.3±7.45 nm and -2.1 to 1.76 mV, respectively. DSC study revealed absence of potential interaction. XRD study revealed presence of amorphous form in liposomes. Entrapment efficiency was found to be 87.45±2.14 % and the drug release was found to be controlled up to 24 hours. Minimized MEC in MTT assay and tremendous enhancement in circulation time of RES PEGylated liposomes than its pristine form revealed that the stearic stabilized PEGylated liposomes can be an alternative tool to commercialize this molecule for chemopreventive and therapeutic applications in cancer.

Keywords: trans resveratrol, cancer nanotechnology, long circulating liposomes, bioavailability enhancement, liposomes for cancer therapy, PEGylated liposomes

Procedia PDF Downloads 570

Authors: David A. Harness

Abstract:

Natural evolution of ATP cognitive systems is to meet AI peer review standards. ATP process of axiom selection from Mizar to prove a conjecture would be further refined, as in all human and machine learning, by solving the real world problem of the proposed AI peer review challenge: Determine which conjecture forms the higher confidence level constructive proof between Standard Model of Physics SU(n) lattice gauge group operation vs. present non-standard 4D GEM EOS SU(n) lattice gauge group spatially extended operation in which the photon and electron are the first two trace angular momentum invariants of a gravitoelectromagnetic (GEM) energy momentum density tensor wavetrain integration spin-stress pressure-volume equation of state (EOS), initiated via 32 lines of Mathematica code. Resulting gravitoelectromagnetic spectrum ranges from compressive through rarefactive of the central cosmological constant vacuum energy density in units of pascals. Said self-adjoint group operation exclusively operates on the stress energy momentum tensor of the Einstein field equations, introducing quantization directly on the 4D spacetime level, essentially reformulating the Yang-Mills virtual superpositioned particle compounded lattice gauge groups quantization of the vacuum—into a single hyper-complex multi-valued GEM U(1) × SU(1,3) lattice gauge group Planck spacetime mesh quantization of the vacuum. Thus the Mizar corpus already contains all of the axioms required for relevant DeepMath premise selection and unambiguous formal natural language parsing in context deep learning.

Keywords: automated theorem proving, constructive quantum field theory, information theory, neural networks

Procedia PDF Downloads 158