Search results for: David Eisinger

Authors: Amy Guidera, Steven Busby, Christian Williams, David Phillippi

Abstract:

College students are a priority preventative healthcare population that can engage in high-risk behaviors which may concurrently increase the potential for unsafe sexual practices, including contracting sexually transmitted infections (STIs). Early education, screening, treatment, and partner notification are important interventions for breaking the chain of transmission and recurrence in relation to preventing poor health outcomes and mitigating college dropout rates. The aim of this quality improvement project was to determine if the reduction in STI screening costs for college students (aged 18-30 years old) would increase the amount of STI screenings conducted at a university health center over the course of an academic semester while evaluating our ability to achieve an improved quality of care at a reduced cost, along with improved STI reporting and documentation. This study was conducted through retrospective chart reviews of STI-related visits and utilized the RADAR matrix to provide a guiding, iterative mechanism to continuously reassess goals and outcomes defined in a memorandum of agreement (MOA) between a university health center and the state department of health (DOH) laboratory. The project failed to increase the amount of STI screenings, most likely due to the emergence of COVID-19, but resulted in improved quality of care for students, improved STI-related visit documentation and reporting, and significantly reduced costs for STI screening for collegiate students at a southeastern private university campus.

Keywords: college health, college students, preventive health, reproductive health, sexually transmitted infections, young adults

Procedia PDF Downloads 135

Authors: David C. Ni

Abstract:

Contemporary models for N-body systems are based on temporal, two-body, and mass point representation of Newtonian mechanics. Other mainstream models include 2D and 3D Ising models based on local neighborhood the lattice structures. In Quantum mechanics, the theories of collective modes are for superconductivity and for the long-range quantum entanglement. However, these models are still mainly for the specific phenomena with a set of designated parameters. We are therefore motivated to develop a new construction directly from the complex-variable N-body systems based on the extended Blaschke functions (EBF), which represent a non-temporal and nonlinear extension of Lorentz transformation on the complex plane – the normalized momentum spaces. A point on the complex plane represents a normalized state of particle momentums observed from a reference frame in the theory of special relativity. There are only two key parameters, normalized momentum and nonlinearity for modelling. An algorithm similar to Jenkins-Traub method is adopted for solving EBF iteratively. Through iteration, the solution sets show a form of σ + i [-t, t], where σ and t are the real numbers, and the [-t, t] shows various distributions, such as 1-peak, 2-peak, and 3-peak etc. distributions and some of them are analog to the canonical distributions. The results of the numerical analysis demonstrate continuum-to-discreteness transitions, evolutional invariance of distributions, phase transitions with conjugate symmetry, etc., which manifest the construction as a potential candidate for the unification of statistics. We hereby classify the observed distributions on the finite convergent domains. Continuous and discrete distributions both exist and are predictable for given partitions in different regions of parameter-pair. We further compare these distributions with canonical distributions and address the impacts on the existing applications.

Keywords: blaschke, lorentz transformation, complex variables, continuous, discrete, canonical, classification

Procedia PDF Downloads 309

Authors: Georgios Psakis, Imren Rahbay, David Spiteri, Jeanice Mallia, Martin Polidano, Vasilis P. Valdramidis

Abstract:

Absence of surface water and progressive groundwater quality deterioration have exacerbated scarcity rapidly, making the Mediterranean island of Malta one of the most water-stressed countries in Europe. Water scarcity challenges have been addressed by reverse osmosis desalination of seawater, 60% of which is blended with groundwater to form the current potable tap-water supply. Chlorination has been the adopted method of water disinfection prior to distribution. However, with the Malteseconsumer chlorine sensory-threshold being as low as 0.34 ppm, presence of chorine residuals and chlorination by-products in the distributed tap-water impacts negatively on its organoleptic attributes, deterring the public from consuming it. As part of the PURILMA initiative, and with the aim of minimizing the impact of chlorine residual on the quality of the distributed water, UV-C, and hydrosonication, have been identified as cost- and energy-effective decontamination alternatives, paving the way for more sustainable water management. Bench-scale assessment of the decontamination efficiency of UV-C (254 nm), revealed 4.7-Log10 inactivation for both Escherichia coli and Enterococcus faecalis at 36 mJ/cm2. At >200 mJ/cm2fluence rates, there was a systematic 2-Log10 difference in the reductions exhibited by E. coli and E. faecalis to suggest that UV-C disinfection was more effective against E. coli. Hybrid treatment schemes involving hydrosonication(at 9.5 and 12.5 dm3/min flow rates with 1-5 MPa maximum pressure) and UV-C showed at least 1.1-fold greater bactericidal activity relative to the individualized UV-C treatments. The observed inactivation appeared to have stemmed from additive effects of the combined treatments, with hydrosonication-generated reactive oxygen species enhancing the biocidal activity of UV-C.

Keywords: disinfection, groundwater, hydrosonication, UV-C

Procedia PDF Downloads 172

Authors: David Cobham

Abstract:

In higher education, a great degree of importance is placed on the internationalization of the student experience. This is seen as a valuable contributor to elements such as building confidence, broadening knowledge, creating networks and connections, and enhancing employability for current students who will become the next generation of managers in technology and business. The COVID-19 pandemic has affected all areas of people’s lives. The limitations of travel coupled with the fears and concerns generated by the health risks have dramatically reduced the opportunity for students to engage with this agenda. Institutions of higher education have been required to rethink fundamental aspects of their business model from recruitment and enrolment through learning approaches, assessment methods, and the pathway to employment. This paper presents a case study which focuses on student mobility and how the physical experience of being in another country, either to study, to work, to volunteer or to gain cultural and social enhancement, has of necessity been replaced by alternative approaches. It considers trans-national education as an alternative to physical study overseas, virtual mobility and internships as an alternative to international work experience, and adopting collaborative online projects as an alternative to in-person encounters. The paper concludes that although these elements have been adopted to address the current situation, the lessons learned and the feedback gained suggests that they have contributed successfully in new and sometimes unexpected ways and that they will persist beyond the present to become part of the 'new normal' for the future. That being the case, senior leaders of institutions of higher education will be required to revisit their international plans and to rewrite their international strategies to take account of and build upon these changes.

Keywords: higher education management, internationalization, transnational education, virtual mobility

Procedia PDF Downloads 104

Authors: Sally Heyeon Hwang

Abstract:

Within decision theory, there are normative principles that dictate how one should act in addition to empirical theories of actual behavior. As a normative guide to one’s actual behavior, evidential or causal decision-theoretic equations allow one to identify outcomes with maximal utility values. The choice that each person makes, however, will, of course, differ according to varying assignments of weight and probability values. Regarding these different choices, it remains a subject of considerable philosophical controversy whether individual subjects have the capacity to exercise free will with respect to the assignment of probabilities, or whether instead the assignment is in some way constrained. A version of this question is given a precise form in Richard Jeffrey’s assumption that free will is necessary for Newcomb’s paradox to count as a decision problem. This paper will argue, against Jeffrey, that decision theory does not require the assumption of libertarian freedom. One of the hallmarks of decision-making is its application across a wide variety of contexts; the implications of a background assumption of free will is similarly varied. One constant across the contexts of decision is that there are always at least two levels of choice for a given agent, depending on the degree of prior constraint. Within the context of Newcomb’s problem, when the predictor is attempting to guess the choice the agent will make, he or she is analyzing the determined aspects of the agent such as past characteristics, experiences, and knowledge. On the other hand, as David Lewis’ backtracking argument concerning the relationship between past and present events brings to light, there are similarly varied ways in which the past can actually be dependent on the present. One implication of this argument is that even in deterministic settings, an agent can have more free will than it may seem. This paper will thus argue against the view that a stable background assumption of free will or determinism in decision theory is necessary, arguing instead for a compatibilist decision theory yielding a novel treatment of Newcomb’s problem.

Keywords: decision theory, compatibilism, free will, Newcomb’s problem

Procedia PDF Downloads 321

Authors: Jose D. Zapata-Torres, Esteban Naranjo-Gutiérrez, Angela M. Martínez-Valencia, Jenny J. Chaparro-Gutiérrez, David Villar-Argaiz

Abstract:

Reports of drug resistance have been made in every livestock host and to every anthelmintic class. In some regions of world, the extremely high prevalence of multi-drug resistance in nematodes of sheep and goats threatens the viability of small-ruminant industries. In the region of Antioquia, Colombia, no reports of nematode resistance have been documented due to a lack of veterinary diagnostic laboratories. The objective of this study was to evaluate the efficacy of albendazole, fenbendazole, and levamisole to control gastrointestinal nematodes in goat farms of Antioquia by doing fecal egg count reduction tests. A total of 139 crossbreed goats from four separate farms were sampled for feces prior to, and 14 days following anthelmintc treatments. Individual fecal egg counts were performed using the modified three chamber McMaster technique. The anthelmintics administered at day 0 were albendazole (farm 1, n=63), fenbendazole (farm 2, n=20), and levamisole (farm 3 and 4, n= 37, and 19). Larval cultures were used to identify the genus of nematodes using Baermann`s technique and the morphological keys for identification of L3 in small ruminants. There was no difference in fecal egg counts between 0 and 14, with means (±SD) of 1681,5 ± 2121,5 and 1715,12 ± 1895,4 epg (eggs per gram), respectively. The egg count reductions for each anthelmintic and farm were 25,86% for albendazole (farm 1), 0% for fenbendazole (farm 2), 0% (farm 3), and 5,5% (farm 4) for levamisole. The genus of nematodes identified was predominantly Haemonchus spp., with 70,27% and 82,81% for samples from day 0 and 14, respectively. These results provide evidence of a total state of resistance to 3 common anthelmintics. Further research is needed to design integrate management programs to control nematodes in small ruminants in Colombia.

Keywords: anthelmintics, goat, haemonchus, resistance

Procedia PDF Downloads 528

Authors: Rosemary Hiscock, Clive Sabel, David Manley, Sam Wren-Lewis

Abstract:

As part of the Happy City Index Project, Happy City have developed a survey instrument to measure experienced wellbeing: how people are feeling and functioning in their everyday lives. The survey instrument, called the Happiness Pulse, was developed in partnership with the New Economics Foundation (NEF) with the dual aim of collecting citywide wellbeing data and engaging individuals and communities in the measurement and promotion of their own wellbeing. The survey domains and items were selected through a review of the academic literature and a stakeholder engagement process, including local policymakers, community organisations and individuals. The Happiness Pulse was included in the Bristol pilot of the Happy City Index (n=722). The experienced wellbeing items were subjected to factor analysis. A reduced number of items to be included in a revised scale for future data collection were again entered into a factor analysis. These revised factors were tested for reliability and validity. Among items to be included in a revised scale for future data collection three factors emerged: Be, Do and Connect. The Be factor had good reliability, convergent and criterion validity. The Do factor had good discriminant validity. The Connect factor had adequate reliability and good discriminant and criterion validity. Some age, gender and socioeconomic differentiation was found. The properties of a new scale to measure experienced wellbeing, intended for use by municipal authorities, are described. Happiness Pulse data can be combined with local data on wellbeing conditions to determine what matters for peoples wellbeing across a city and why.

Keywords: city wellbeing , community wellbeing, engaging individuals and communities, measuring wellbeing and happiness

Procedia PDF Downloads 261

Authors: Fiona Armstrong, David Gaul, Michael Barrett, Lorraine D'Arcy

Abstract:

Playing is an instinctive and universal human behavior, is a child’s way of learning and an outlet for their innate need of activity. Risky play can be defined as any play that is thrilling or exciting involving the risk of injury. The benefits of risky play have been acknowledged as helping children to explore and conquer fears, develop confidence, reduce anxiety, and develop risk-management skills. Studies indicate that children learn sound judgment by assessing and confronting risks in relation to their own capabilities through exposure to carefully managed play experiences. Risky play has been associated with danger and increased risk of injury, with families focusing on risk aversion and protecting children from the risks inherent in the modern world. Despite children needing cultural, social, emotional, physical, and geographical space to play, the opportunity for children to play is diminishing. Aim: This study explores play behaviors and risky play in an Irish context by investigating parental attitudes to risky play. Methodology: This is a mixed methods study involving the State of Play survey and semi-structured interviews exploring parental attitudes to risky play. Data will be quantitatively analyzed using descriptive and inferential statistics using IBM SPSS and qualitatively analyzed via thematic analysis using NVivo. Conclusion: The information gathered could advise stakeholders regarding the creation and provision of developmentally appropriate, challenging, stimulating, adaptable, accessible, and safe as necessary outdoor play areas. This research can inform parents, planners, architects, and authorities involved in creating environments for play and contribute to policy development.

Keywords: child development, parental attitudes, play opportunities, risky play

Procedia PDF Downloads 58

Authors: Eli Goldstein, David Moore

Abstract:

The COVID-19 pandemic has brought substantial changes to the lives of college students, impacting them negatively. A consequence of these impacts has led to a significant increase in the negative emotional states of depression, anxiety, and stress, as well as substance use. The present study investigated the relationship between substance use (alcohol, cannabis, nicotine, benzodiazepines, psychedelics, and opioids) among college students from March 2020 to March 2021 and the negative emotional states of depression, anxiety, and stress caused by the COVID-19 pandemic, as well as the relationship between certain personality traits and substance use. Participants (N = 85) answered three questionnaires that measured their expressed symptoms of each negative emotional state, their frequency of substance use, and their levels of five specific personality traits. Investigators predicted that individuals experiencing symptoms of stress and anxiety from the COVID-19 pandemic, as well as individuals showing higher levels of neuroticism and low levels of conscientiousness, would use more depressants (alcohol and benzodiazepines) and opioids to cope with their negative emotional states. Investigators also predicted that individuals who expressed high levels of openness to experience would be more likely to use psychedelics and cannabis to cope with symptoms of depression. Significant correlations showed that individuals primarily used depressants to cope with symptoms of anxiety, as well as cannabis and psychedelics to cope with symptoms of depression. It was also revealed that individuals with higher levels of openness to experience used cannabis and psychedelics, and those with high levels of neuroticism were more likely to use depressants. Two unexpected outcomes appeared for alcohol and depression and depressants and extraversion. Possible explanations for these outcomes are later discussed.

Keywords: substance use, mental health, personality traits, coping strategies

Procedia PDF Downloads 162

Authors: Mohammad Alobaidy, David Nicoll, Tracey Wilkinson

Abstract:

Background: Many patients suffer postoperative knee stability after total knee arthroplasty (joint replacement) involving posterior cruciate ligament (PCL) sacrificing or retaining, but is not clear whether the meniscofemoral ligaments (MFLs) are retained during these procedures; their function in terms of knee stability is not well established in the literature. Purpose: Macroscopic, detailed, morphometric investigation of the anterior and posterior MFLs of the knee joint was undertaken to assist understanding of knee stability after total knee arthroplasty and ligament reconstruction. Methods: Dissection of eighty Thiel embalmed knees from 19 male and 21 female cadavers was conducted, mean age 77 (range 47-99 years). The origin and insertion of the anterior and posterior MFLs were measured using high accuracy, calibrated, digital Vernier calipers at 0.01mm. Results: The means were: anterior meniscofemoral ligament (aMFL) length 28.4 ± 2.7mm; posterior meniscofemoral ligament (pMFL) length 29 ± 3.7mm; aMFL femoral width 6.4 ± 1.7mm, mid-distance ligament width 4 ± 1.1mm, meniscal ligament width 3.9 ± 1.2mm; pMFL femoral width 5.6 ± 1.5mm, mid-distance ligament width 4.1 ± 1.1mm, meniscal ligament width 4.1 ± 1.3mm. Some of the male measurements were larger than female, with significant differences in the length of the aMFL femoral length p<0.01 and pMFL femoral length p<0.007, and width of the pMFL mid-distance p<0.04. Conclusion: This study may help explore the role of the meniscofemoral ligaments in knee stability after total knee arthroplasty with a posterior cruciate ligament retaining prosthesis. Anatomical information for Thiel embalmed knees may aid orthopaedic surgeons in ligament reconstruction.

Keywords: anterior and posterior meniscofemoral ligaments, morphometric analysis, Thiel embalmed knees, knee arthroplasty

Procedia PDF Downloads 376

Authors: Rodrigo Antunes, Olga Borisevich, David Demange

Abstract:

The Tritium Laboratory Karlsruhe (TLK) has identified zeolite membranes as most promising for tritium processes in the future fusion reactors. Tritium diluted in purge gases or gaseous effluents, and present in both molecular and oxidized forms, can be pre-concentrated by a stage of zeolite membranes followed by a main downstream recovery stage (e.g., catalytic membrane reactor). Since 2011 several membrane zeolite samples have been tested to measure the membrane performances in the separation of hydrogen and water vapor from helium streams. These experiments were carried out in the ZIMT (Zeolite Inorganic Membranes for Tritium) facility where mass spectrometry and cold traps were used to measure the membranes’ performances. The membranes were tested at temperatures ranging from 25 °C up to 130 °C, at feed pressures between 1 and 3 bar, and typical feed flows of 2 l/min. During this experimental campaign, several zeolite-type membranes were studied: a hollow-fiber MFI nanocomposite membrane purchased from IRCELYON (France), and tubular MFI-ZSM5, NaA and H-SOD membranes purchased from Institute for Ceramic Technologies and Systems (IKTS, Germany). Among these membranes, only the MFI-based showed relevant performances for the H2/He separation, with rather high permeances (~0.5 – 0.7 μmol/sm2Pa for H2 at 25 °C for MFI-ZSM5), however with a limited ideal selectivity of around 2 for H2/He regardless of the feed concentration. Both MFI and NaA showed higher separation performances when water vapor was used instead; for example, at 30 °C, the separation factor for MFI-ZSM5 is approximately 10 and 38 for 0.2% and 10% H2O/He, respectively. The H-SOD evidenced to be considerably defective and therefore not considered for further experiments. In this contribution, a comprehensive analysis of the experimental methods and results obtained for the separation performance of different zeolite membranes during the past four years in inactive environment is given. These results are encouraging for the experimental campaign with molecular and oxidized tritium that will follow in 2017.

Keywords: gas separation, nuclear fusion, tritium processes, zeolite membranes

Procedia PDF Downloads 248

Authors: Omolara Lade, David Oloke

Abstract:

The approach to water management worldwide is currently in transition, with a shift from centralised infrastructures to greater consideration of decentralised technologies, such as rainwater harvesting (RWH). However, in Nigeria, implementation of sustainable water management, such as RWH systems, is inefficient and social, environmental and technical barriers, concerns and knowledge gaps exist, which currently restrict its widespread utilisation. This inefficiency contributes to water scarcity, water-borne diseases, and loss of lives and property due to flooding. Meanwhile, several RWH technologies have been developed to improve SWM through both demand and storm-water management. Such technologies involve the use of reinforced concrete cement (RCC) storage tanks, surface water reservoirs and ground-water recharge pits as storage systems. A framework was developed to assess the significance and extent of water management problems, match the problems with existing RWH-based solutions and develop a robust ready-to-use decision support tool that can quantify the costs and benefits of implementing several RWH-based storage systems. The methodology adopted was the mixed method approach, involving a detailed literature review, followed by a questionnaire survey of household respondents, Nigerian Architects and Civil Engineers and focus group discussion with stakeholders. 18 selection attributes have been defined and three alternatives have been identified in this research. The questionnaires were analysed using SPSS, excel and selected statistical methods to derive weightings of the attributes for the tool. Following this, three case studies were modelled using RainCycle software. From the results, the MDA model chose RCC tank as the most appropriate storage system for RWH.

Keywords: rainwater harvesting, modelling, hydraulic assessment, whole life cost, decision support system

Procedia PDF Downloads 371

Authors: Scott A. Ochsner, Christopher M. Watkins, Apollo McOwiti, David L. Steffen Lauren B. Becnel, Neil J. McKenna

Abstract:

Understanding signaling by nuclear receptors (NRs) requires an appreciation of their cognate ligand- and tissue-specific transcriptomes. While target gene regulation data are abundant in this field, they reside in hundreds of discrete publications in formats refractory to routine query and analysis and, accordingly, their full value to the NR signaling community has not been realized. One of the mandates of the Nuclear Receptor Signaling Atlas (NURSA) is to facilitate access of the community to existing public datasets. Pursuant to this mandate we are developing a freely-accessible community web resource, Transcriptomine, to bring together the sum total of available expression array and RNA-Seq data points generated by the field in a single location. Transcriptomine currently contains over 25,000,000 gene fold change datapoints from over 1200 contrasts relevant to over 100 NRs, ligands and coregulators in over 200 tissues and cell lines. Transcriptomine is designed to accommodate a spectrum of end users ranging from the bench researcher to those with advanced bioinformatic training. Visualization tools allow users to build custom charts to compare and contrast patterns of gene regulation across different tissues and in response to different ligands. Our resource affords an entirely new paradigm for leveraging gene expression data in the NR signaling field, empowering users to query gene fold changes across diverse regulatory molecules, tissues and cell lines, target genes, biological functions and disease associations, and that would otherwise be prohibitive in terms of time and effort. Transcriptomine will be regularly updated with gene lists from future genome-wide expression array and expression-sequencing datasets in the NR signaling field.

Keywords: target gene database, informatics, gene expression, transcriptomics

Procedia PDF Downloads 273

Authors: Rui Miguel Costa, Jose Pestana, David Costa, Paula Mangia, Catarina Correia, Mafalda Pinto Coelho

Abstract:

There is lack of studies examining the relation of different heart rate variability (HRV) parameters with the risk of erectile dysfunction (ED) in younger men. Thus, the present study aimed at examining, in a nonclinical sample of men aged 19-39 years old (mean age = 23.98 years, SD = 4.90), the relations of risk of ED with the standard deviation of the heart rate (SD of HR), high and low frequency power of HRV, and low-to-high frequency HRV ratio. Eighty-three heterosexual Portuguese men completed the 5-item version of the International Index of Erectile Function (IIEF-5) and HRV parameters were calculated from a 5-minute resting period. Risk of ED was determined by IIEF-5 scores of 21 or less. Fifteen men (18.1%) reported symptoms of ED (14 with mild and one with mild to moderate symptoms). Univariate analyses of variance revealed that risk of ED was related to lesser SD of HR and lesser low-frequency power, the two HRV parameters that express a coupling of higher vagal and sympathetic tone. Risk of ED was unrelated to high-frequency power and low-to-high frequency HRV ratio. Further, in a logistic regression, the risk of ED was independently predicted by older age and lower SD of HR, but not by low-frequency power, having a regular sexual partner, and cohabiting. The results provide preliminary evidence that, in younger men, a coupling of higher vagal and sympathetic tone, as indexed by the SD of HR, is important for erections. Greater resting SD of HR might reflect better vascular and interpersonal function via vagal tone coupled with greater motor mobilization to pursue sexual intercourse via sympathetic tone. Many interventions can elevate HRV; future research is warranted on how they can be tailored to treat ED in younger men.

Keywords: erectile dysfunction, heart rate variability, standard deviation of the heart rate, younger men

Procedia PDF Downloads 276

Authors: Nadeem Munawar, David Galbraith, Tariq Mahmood

Abstract:

Rodenticides are often included as part of an integrated pest management approach for managing rodent species since they are relatively quick and inexpensive to apply. The current field study was conducted to evaluate the effectiveness of formulated baits of zinc phosphide (2%) and the second generation anticoagulant brodifacoum (0.005%) against field rats inhabiting a wheat-groundnut cropping system. Burrow baiting was initiated at the early flowering stages of the respective crops, and continued through three growth stages (tillering / peg formation, flowering, and maturity). Three treatments were done at equal time intervals, with the final baiting being about 2 weeks before harvest. Treatment efficacy of the trials was assessed through counts of active rodent burrows before and after treatments at the three growth stages of these crops. The results indicated variable degrees of reduction in burrow activities following the three bait applications. The reductions in rodent activity in wheat were: 88.8% (at tillering), 92%, (at flowering/grain formation), and 95.5% (at maturity). In groundnut, the rodent activities were reduced by 91.8%, 93.5% and 95.8% at sowing, peg formation, and maturity stages, respectively. The estimated mortality at all three growth stages of both wheat and groundnut ranged between 60-85%. We recommend that a field efficacy study should be conducted with zinc phosphide and brodifacoum bait formulations to determine their field performance in the reduction of agricultural damage by rodent pest species. It is a promising alternative approach for use of the most potent second-generation anticoagulant (brodifacoum) in resistance management, particularly with respect to reducing environmental risks and secondary poisoning.

Keywords: brodifacoum, burrow baiting, second-generation anticoagulant, synergistic effect

Procedia PDF Downloads 123

Authors: Cornelius Arome Omatola, Ropo Ebenezer Ogunsakin, Anyebe Bernard Onoja, Martin-Luther Oseni Okolo, Joseph Abraham-Oyiguh, Kehinde Charles Mofolorunso, Phoebe Queen Akoh, Omebije Patience Adejo, Joshua Idakwo, Therisa Ojomideju Okeme, Danjuma Muhammed, David Moses Adaji, Sunday Ocholi Samson, Ruth Aminu, Monday Eneojo Akor

Abstract:

Gastroenteritis viruses are the leading etiologic agents of diarrhea in children worldwide. We present data from thirty-three (33) eligible studies published between 2003 and 2023 from African countries bearing the brunt of the virus-associated diarrheal mortality. Random effects meta-analysis with proportion, subgroups, and meta-regression analyses were employed. Overall, rotavirus with estimated pooled prevalence of 31.0% (95% CI 24.0–39.0) predominated in all primary care visits and hospitalizations, followed by norovirus, adenovirus, sapovirus, astrovirus, and aichivirus with pooled prevalence estimated at 15.0% (95% CI 12.0–20.0), 10% (95% CI 6-15), 4.0% (95% CI 2.0–6.0), 4% (95% CI 3-6), and 2.3% (95% CI 1-3), respectively. Predominant rotavirus genotype was G1P[8] (38%), followed by G3P[8] (11.7%), G9P[8] (8.7%), and G2P[4] (7.1%); although, unusual genotypes were also observed, including G3P[6] (2.7%), G8P[6] (1.7%), G1P[6] (1.5%), G10P[8] (0.9%), G8P[4] (0.5%), and G4P[8] (0.4%). The genogroup II norovirus predominated over the genogroup I-associated infections (84.6%, 613/725 vs 14.9%, 108/725), with the GII.4 (79.3%) being the most prevalent circulating genotype. In conclusion, this review showed that rotavirus remains the leading driver of viral diarrhea requiring health care visits and hospitalization among under-five years children in Africa. Thus, improved rotavirus vaccination in the region and surveillance to determine the residual burden of rotavirus and the evolving trend of other enteric viruses are needed for effective control and management of cases.

Keywords: enteric viruses, rotavirus, norovirus, adenovirus, astrovirus, gastroenteritis

Procedia PDF Downloads 94

Authors: David Polcari, Samuel C. Perry, Loredano Pollegioni, Matthias Geissler, Janine Mauzeroll

Abstract:

ᴅ-serine acts as an endogenous co-agonist for N-methyl-ᴅ-aspartate receptors in neuronal synapses. This makes it a key component in the development and function of a healthy brain, especially given its role in several neurodegenerative diseases such as Alzheimer’s disease and dementia. Despite such clear research motivations, the primary site and mechanism of ᴅ-serine release is still currently unclear. For this reason, we are developing a biosensor for the detection of ᴅ-serine utilizing a microelectrode in combination with a ᴅ-amino acid oxidase enzyme, which produces stoichiometric quantities of hydrogen peroxide in response to ᴅ-serine. For the fabrication of a biosensor with good selectivity, we use a permselective poly(meta-phenylenediamine) film to ensure only the target molecule is reacted, according to the size exclusion principle. In this work, we investigated the effect of the electrodeposition conditions used on the biosensor’s response time and selectivity. Careful optimization of the fabrication process allowed for enhanced biosensor response time. This allowed for the real time sensing of ᴅ-serine in a bulk solution, and also provided in means to map the efflux of ᴅ-serine in real time. This was done using scanning electrochemical microscopy (SECM) with the optimized biosensor to measure localized release of ᴅ-serine from an agar filled glass capillary sealed in an epoxy puck, which acted as a model system. The SECM area scan simultaneously provided information regarding the rate of ᴅ-serine flux from the model substrate, as well as the size of the substrate itself. This SECM methodology, which provides high spatial and temporal resolution, could be useful to investigate the primary site and mechanism of ᴅ-serine release in other biological samples.

Keywords: ᴅ-serine, enzymatic biosensor, microelectrode, scanning electrochemical microscopy

Procedia PDF Downloads 228

Authors: Fernández-Brito David, Lopez-Medina Javier Alonso, Murillo-Bracamontes Eduardo Antonio, Palomino-Ovando Martha Alicia, Gervacio-Arciniega José Juan

Abstract:

Magnetic Force Microscopy (MFM) is an Atomic Force Microscopy (AFM) technique that characterizes, at a nanometric scale, the magnetic properties of ferromagnetic materials. Conventional MFM works by scanning in two different AFM modes. The first one is tapping mode, in which the cantilever has short-range force interactions with the sample, with the purpose to obtain the topography. Then, the lift AFM mode starts, raising the cantilever to maintain a fixed distance between the tip and the surface of the sample, only interacting with the magnetic field forces of the sample, which are long-ranged. In recent years, there have been attempts to improve the MFM technique. Bimodal MFM was first theoretically developed and later experimentally proven. In bimodal MFM, the AFM internal piezoelectric is used to cause the cantilever oscillations in two resonance modes simultaneously, the first mode detects the topography, while the second is more sensitive to the magnetic forces between the tip and the sample. However, it has been proven that the cantilever vibrations induced by the internal AFM piezoelectric ceramic are not optimal, affecting the bimodal MFM characterizations. Moreover, the Secondary Resonance Magnetic Force Microscopy (SR-MFM) was developed. In this technique, a coil located below the sample generates an external magnetic field. This alternating magnetic field excites the cantilever at a second frequency to apply the Bimodal MFM mode. Nonetheless, for ferromagnetic materials with a low coercive field, the external field used in SR-MFM technique can modify the magnetic domains of the sample. In this work, a Hybrid Bimodal MFM (HB-MFM) technique is proposed. In HB-MFM, the bimodal MFM is used, but the first resonance frequency of the cantilever is induced by the magnetic field of the ferromagnetic sample due to its vibrations caused by a piezoelectric element placed under the sample. The advantages of this new technique are demonstrated through the preliminary results obtained by HB-MFM on a hard disk sample. Additionally, traditional two pass MFM and HB-MFM measurements were compared.

Keywords: magnetic force microscopy, atomic force microscopy, magnetism, bimodal MFM

Procedia PDF Downloads 72

Authors: Patricia M. B. Saint-Vincent, Anna Furches, Stephanie Galanie, Erica Teixeira Prates, Piet Jones, Nancy Engle, David Kainer, Wellington Muchero, Daniel Jacobson, Timothy J. Tschaplinski

Abstract:

Uridine diphosphate-glycosyltransferases (UGTs) are enzymes that catalyze sugar transfer to a variety of plant metabolites. UGT substrates, which include plant secondary metabolites involved in lignification, demonstrate new activities and incorporation when glycosylated. Knowledge of UGT function, substrate specificity, and enzyme products is important for plant engineering efforts, especially related to increasing plant biomass through lignification. UGTs in Populus trichocarpa, a biofuel feedstock, and model woody plant, were selected from a pool of gene candidates using rapid prioritization strategies. A functional genomics workflow, consisting of a metabolite genome-wide association study (mGWAS), expression of synthetic codon-optimized genes, and high-throughput biochemical assays with mass spectrometry-based analysis, was developed for determining the substrates and products of previously-uncharacterized enzymes. A total of 40 UGTs from P. trichocarpa were profiled, and the biochemical assay results were compared to predicted mGWAS connections. Assay results confirmed seven of 11 leaf mGWAS associations and demonstrated varying levels of substrate specificity among candidate UGTs. P. trichocarpa UGT substrate processing confirms the role of these newly-characterized enzymes in lignan, flavonoid, and phytohormone metabolism, with potential implications for cell wall biosynthesis, nitrogen uptake, and biotic and abiotic stress responses.

Keywords: Populus, metabolite-gene associations, GWAS, bio feedstocks, glycosyltransferase

Procedia PDF Downloads 114

Authors: Aidan Jacobsen, Morgan Motia, David Sam, Jonathan Mudge

Abstract:

Background: The Centers for Disease Control (CDC) lists vaccine requirements for children under two years old to correlate with development markers. CDC lists the coverage by age 24 months to be at least 90% nationally and 84% for Rhode Island Blackstone Valley Community Health Center (BVCHC) in Central Falls, Rhode Island, currently has a completed vaccination rate of 51% for children by the age of 24 months. Current barriers to care for up to date well child vaccinations include lack of transportation, parental work, childcare, and other social stressors. Objective: Increase the vaccination rate of children under the age of 24 months at BVCHC. Conduct a literature review to identify the common barriers preventing children under 24 months from receiving vaccinations. Reduce the barriers to expand access to vaccination care for infants Methods: Setting: Blackstone Valley Community Health Center, Pawtucket, RI Participants: (n=41), Patients between the age of 20-24 months, not up to date with the CDC vaccination recommendations and without a future appointment. QI Intervention: Patients were contacted via phone and offered an appointment during extra Saturday clinic hours in order to receive up to date vaccine care. A Saturday vaccine clinic was established specifically for patients in need of vaccines and having identified barriers to care. Conclusions: Expanding clinic hours and targeting non vaccine up –to-date patients can increase the current standard of childhood immunizations at BVCHC. Overcoming barriers preventing childhood immunization can improve access to providing up to date vaccinations. Other barriers still deter from reaching the national standard of immunizations rates.

Keywords: vaccinations, well child care, barriers to care, social determinants of health

Procedia PDF Downloads 74

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 317

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 398

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 85

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 94

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 210

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 135

Authors: Harman Jaggi, David Steinsaltz, Shripad Tuljapurkar

Abstract:

Understanding the effect of fluctuations on populations is crucial in the context of increasing habitat fragmentation, climate change, and biological invasions, among others. Migration in response to environmental disturbances enables populations to escape unfavorable conditions, benefit from new environments and thereby ride out fluctuations in variable environments. Would populations disperse if there is no uncertainty? Karlin showed in 1982 that when sub-populations experience distinct but fixed growth rates at different sites, greater mixing of populations will lower the overall growth rate relative to the most favorable site. Here we ask if and when environmental variability favors migration over no-migration. Specifically, in random environments, would a small amount of migration increase the overall long-run growth rate relative to the zero migration case? We use analysis and simulations to show how long-run growth rate changes with migration rate. Our results show that when fitness (dis)advantages fluctuate over time across sites, migration may allow populations to benefit from variability. When there is one best site with highest growth rate, the effect of migration on long-run growth rate depends on the difference in expected growth between sites, scaled by the variance of the difference. When variance is large, there is a substantial probability of an inferior site experiencing higher growth rate than its average. Thus, a high variance can compensate for a difference in average growth rates between sites. Positive correlations in growth rates across sites favor less migration. With multiple sites and large fluctuations, the length of shortest cycle (excursion) from the best site (on average) matters, and we explore the interplay between excursion length, average differences between sites and the size of fluctuations. Our findings have implications for conservation biology: even when there are superior sites in a sea of poor habitats, variability and habitat quality across space may be key to determining the importance of migration.

Keywords: migration, variable-environments, random, dispersal, fluctuations, habitat-quality

Procedia PDF Downloads 139

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 216

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 81

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 179