Search results for: complex variables

Authors: Alireza Vahid, Santu Rana, Sunil Gupta, Pratibha Vellanki, Svetha Venkatesh, Thomas Dorin

Abstract:

Aluminum is the preferred material for lightweight applications and its alloys are constantly improving. The high strength 7xxx alloys have been extensively used for structural components in aerospace and automobile industries for the past 50 years. In the next decade, a great number of airplanes will be retired, providing an obvious source of valuable used metals and great demand for cost-effective methods to re-use these alloys. The design of proper aerospace alloys is primarily based on optimizing strength and ductility, both of which can be improved by controlling the additional alloying elements as well as heat treatment conditions. In this project, we explore the design of high-performance alloys with 7xxx as a base material. These designed alloys have to be optimized and improved to compare with modern 7xxx-series alloys and to remain competitive for aircraft manufacturing. Aerospace alloys are extremely complex with multiple alloying elements and numerous processing steps making optimization often intensive and costly. In the present study, we used Bayesian optimization algorithm, a well-known adaptive design strategy, to optimize this multi-variable system. An Al alloy was proposed and the relevant heat treatment schedules were optimized, using the tensile yield strength as the output to maximize. The designed alloy has a maximum yield strength and ultimate tensile strength of more than 730 and 760 MPa, respectively, and is thus comparable to the modern high strength 7xxx-series alloys. The microstructure of this alloy is characterized by electron microscopy, indicating that the increased strength of the alloy is due to the presence of a high number density of refined precipitates.

Keywords: aluminum alloys, Bayesian optimization, heat treatment, tensile properties

Procedia PDF Downloads 119

Authors: Nelya Babynets

Abstract:

Shakespeare and Mexican theatregoers have enjoyed quite a complex relationship. Shakespearean plays have appeared on the Mexican stage with remarkable perseverance, yet with mixed success. Although Shakespeare has long been a part of the global cultural marketplace and his works are celebrated all around the world, the adaptation of his plays on the contemporary Mexican stage is always an adventure, since the works of this early modern author are frequently seen as the legacy of a ‘high’, but obsolete, culture, one that is quite distant from the present-day viewers’ daily experiences and concerns. Moreover, Mexican productions of Shakespeare are presented mostly in Peninsular Spanish, a language similar yet alien to the language spoken in Mexico, one that does not wholly fit into the viewers’ cultural praxis. This is the reason why Mexican dramatic adaptations of Shakespearean plays tend to replace the cultural references of the original piece with ones that are more significant and innate to Latin American spectators. This paper analyses the new Mexican production of Richard III adapted and directed by Mauricio Garcia Lozano, which employs onstage violence - a cultural force that is inherent to all human beings regardless of their beliefs, ethnic background or nationality - as the means to make this play more relevant to a present-day audience. Thus, this paper addresses how the bloody bombast of staged murders helps to avoid the tyranny of a rigid framework of fixed meanings that denies the possibility of an intercultural appropriation of this European play written over four hundred years ago. The impact of violence displayed in Garcia Lozano’s adaptation of Richard III on Mexican audiences will also be examined. This study is particularly relevant in Mexico where the term ‘tragedy’ has become a commonplace and where drug wars and state-sanctioned violence have already taken the lives of many people.

Keywords: audience, dramatic adaptation, Shakespeare, viewer

Procedia PDF Downloads 459

Authors: Rony Reátegui, Cesar Chácara, Benjamin Castañeda, Rafael Aguilar

Abstract:

Nowadays, heritage building information modeling (HBIM) is considered an efficient tool to represent and manage information of cultural heritage (CH). The basis of this tool relies on a 3D model generally obtained from a cloud-to-BIM procedure. There are different methods to create an HBIM model that goes from manual modeling based on the point cloud to the automatic detection of shapes and the creation of objects. The selection of these methods depends on the desired level of development (LOD), level of information (LOI), grade of generation (GOG), as well as on the availability of commercial software. This paper presents the 3D modeling of a stone masonry chapel using Recap Pro, Revit, and Dynamo interface following a three-step methodology. The first step consists of the manual modeling of simple structural (e.g., regular walls, columns, floors, wall openings, etc.) and architectural (e.g., cornices, moldings, and other minor details) elements using the point cloud as reference. Then, Dynamo is used for generative modeling of complex structural elements such as vaults, infills, and domes. Finally, semantic information (e.g., materials, typology, state of conservation, etc.) and pathologies are added within the HBIM model as text parameters and generic models families, respectively. The application of this methodology allows the documentation of CH following a relatively simple to apply process that ensures adequate LOD, LOI, and GOG levels. In addition, the easy implementation of the method as well as the fact of using only one BIM software with its respective plugin for the scan-to-BIM modeling process means that this methodology can be adopted by a larger number of users with intermediate knowledge and limited resources since the BIM software used has a free student license.

Keywords: cloud-to-BIM, cultural heritage, generative modeling, HBIM, parametric modeling, Revit

Procedia PDF Downloads 144

Authors: C. van den Berg, C. Pokpas

Abstract:

Popular discourse touts entrepreneurship as a universal solution for underdevelopment, unemployment, and poverty. Moreover, claims are made that women and other disadvantaged groups can achieve material and personal success through digital entrepreneurship. This paper examines the potential of digital technology in entrepreneurial ventures to stimulate economic growth for marginalized groups and communities. Although digital entrepreneurship is hailed as a means to empower under-resourced and socially marginalized people, these opportunities still exist within the confines of existing social and cultural practices. The perspectives of female digital entrepreneurs in developing countries are sorely understudied, particularly concerning an understanding of the complex underlying socio-cultural factors impeding women’s entrepreneurial behaviors. This qualitative study, guided by a feminist phenomenological perspective, focused on the experiences of digital female entrepreneurs in the Western Cape of South Africa. Data were collected via semi-structured interviews and analyzed through the interpretative phenomenological analysis (IPA) approach to determine the relationships between digital entrepreneurship and structural and agential enabling conditions. Findings show that digital entrepreneurship is not a panacea for economic growth in marginalized groups and communities and highlight the importance of addressing socio-cultural gender inequality to enable successful entrepreneurial activity. The paper concludes with recommendations for specialized training initiatives aimed at female entrepreneurs that address internalized constraints and barriers that keep women subservient and measures to shift gender and power beliefs. The outcome will benefit the stimulation of gender-specific public policies to develop a successful digital start-up ecosystem further.

Keywords: digital innovation, female digital entrepreneurs, feminist phenomenology, gender, marginalised communities

Procedia PDF Downloads 135

Authors: Gabriel Sepulveda Navarro

Abstract:

Traditional interventions for young offenders are necessary but not sufficient to tackle the multiple causes of juvenile crime. For instance, interventions offered to young offenders often are verbally mediated and dialogue based, requiring important metacognitive abilities as well as abstract thinking, assuming average performance in a wide variety of skills. It seems necessary to assess a broader set of abilities and functions in order to increase the efficiency of interventions while addressing offending. In order to clarify these assumptions, Stroop Test, as well as Rey-Osterrieth Complex Figure Test were applied to juvenile offenders tried and sentenced for violent crimes in Santiago de Chile. A random sample was drawn from La Cisterna Half-Open Program, consisting of 50 young males between 18 and 24 years old, residing in different districts of Santiago de Chile. The analysis of results suggests a disproportionately elevated incidence of impairments in executive functions and visuospatial skills. As an outcome, over 40% of the sample shows a significant low performance in both assessments, exceeding four times the same prevalence rates among young people in the general population. While executive functions entail working memory (being able to keep information and use it in some way), cognitive flexibility (to think about something in more than one way) and inhibitory control (being able to self-control, ignore distractions and delay immediate gratification), visuospatial skills permit to orientate and organize a planned conduct. All of these abilities are fundamental to the skill of avoiding violent behaviour and abiding by social rules. Understanding the relevance of neurodevelopmental impairments in the onset of violent and criminal behaviour, as well as recidivism, eventually may guide the deployment of a more comprehensive assessment and treatment for juvenile offenders.

Keywords: executive functions, half-open program, juvenile offenders, neurodisabilities, visuospatial skills

Procedia PDF Downloads 148

Authors: Alemayehu Muluneh, Saskia Keesstra, Leo Stroosnijder, Woldeamlak Bewket, Ashenafi Burka

Abstract:

There are some scientific evidences and a belief by many that forests attract rain and deforestation contributes to a decline of rainfall. However, there is still a lack of concrete scientific evidence on the role of forests in rainfall amount. In this paper, we investigate the forest-rainfall relationships in the environmentally hot spot area of the Central Rift Valley (CRV) of Ethiopia. Specifically, we evaluate long term (1970-2009) rainfall variability and its relationship with historical forest cover and the relationship between existing forest cover and topographical variables and rainfall distribution. The study used 16 long term and 15 short term rainfall stations. The Mann-Kendall test, bi variate and multiple regression models were used. The results show forest and wood land cover continuously declined over the 40 years period (1970-2009), but annual rainfall in the rift valley floor increased by 6.42 mm/year. But, on the escarpment and highlands, annual rainfall decreased by 2.48 mm/year. The increase in annual rainfall in the rift valley floor is partly attributable to the increase in evaporation as a result of increasing temperatures from the 4 existing lakes in the rift valley floor. Though, annual rainfall is decreasing on the escarpment and highlands, there was no significant correlation between this rainfall decrease and forest and wood land decline and also rainfall variability in the region was not explained by forest cover. Hence, the decrease in annual rainfall on the escarpment and highlands is likely related to the global warming of the atmosphere and the surface waters of the Indian Ocean. Spatial variability of number of rainy days from systematically observed two-year’s rainfall data (2012-2013) was significantly (R2=-0.63) explained by forest cover (distance from forest). But, forest cover was not a significant variable (R2=-0.40) in explaining annual rainfall amount. Generally, past deforestation and existing forest cover showed very little effect on long term and short term rainfall distribution, but a significant effect on number of rainy days in the CRV of Ethiopia.

Keywords: elevation, forest cover, rainfall, slope

Procedia PDF Downloads 547

Authors: Mykah W. Sumoldao, Maria Erissa C. Susa, Triny Cate M. Telan, Christian Arvin M. Torres, Jasmine I. Udasco, Franceis Jeramil M. Walis, Shellyn S. Wandagan, Janine May M. Warding, Queenie Diana Rose P. Zalun Hope Lulet A. Lomioan

Abstract:

This descriptive phenomenological study explored the lived experiences of the primary caregiver of schizophrenia patients at the Acute Crisis Intervention Service in Cagayan Valley Medical Center. The research aimed to understand the emotional, physical, and financial challenges these primary caregivers face. Data was gathered through interviews with nine (9) primary caregivers and analyzed using Colaizzi’s seven-step method. Two main themes emerged: Experience/ Challenges (Emotional, Physical, and Financial Challenges) and Managing Mechanisms (Support Systems and Resilience and Commitment). The study found that primary caregivers deal with a complex mix of difficulties, often with limited resources. They rely heavily on personal strength, faith, family, friends and community support to manage their roles. The findings highlighted the need for better support systems to ease primary caregivers' burdens. Financial aid, respite care, and mental health support are crucial for improving primary caregivers' quality of life and the care they provide. Additionally, raising awareness about primary caregivers' challenges can foster a supportive community, with more help from local organizations and government entities. Thus, this study provided insights into the caregiving experiences of those supporting schizophrenia patients. It emphasized the importance of practical support and emotional resilience. By addressing these needs, a more supportive environment can be created, benefiting both primary caregivers and their patients.

Keywords: primary caregiver burden, mental health, primary caregiver well-being, primary caregiver

Procedia PDF Downloads 30

Authors: Adrian Lo

Abstract:

Since the beginning of modern architecture, ideas of free plan and transparency have proliferated well into current trends of building design, from houses to highrise office buildings. The movement’s notion of a spatially homogeneous, open, and limitless ‘free plan’ stands opposite to the spatially heterogeneous ‘separation of rooms’ defined by load-bearing walls, which in turn triggered new notions of transparency achieved by vast expanses of glazed walls. Similarly, transparency was also dichotomized as something that was physical or optical, as well as something conceptual, akin to spatial organization. As opposed to merely accepting the duality and possible incompatibility of these dichotomies, this paper seeks to ask how can space be both literally and phenomenally transparent, as well as display both homogeneous and heterogeneous qualities? This paper explores this potential destabilization or blurring of spatial phenomena by dissecting the transparent layers and volumes of a series of selected case studies to investigate how different architects have devised strategies of spatial ambivalence, ambiguity, and interpenetration. Projects by Peter Eisenman, Sou Fujimoto, and SANAA will be discussed and analyzed to show how the superimposition of geometries and spaces achieve different conditions of layering, transparency, and interstitiality. Their particular buildings will be explored to reveal various innovative kinds of spatial interpenetration produced through the articulate relations of the elements of architecture, which challenge conventional perceptions of interior and exterior whereby visual homogeneity blurs with spatial heterogeneity. The results show how spatial conceptions such as interpenetration and transparency have the ability to subvert not only inside-outside dialectics but could also produce multiple degrees of interiority within complex and indeterminate spatial dimensions in constant flux as well as present alternative forms of social interaction.

Keywords: interpenetration, literal and phenomenal transparency, spatial heterogeneity, visual homogeneity

Procedia PDF Downloads 177

Authors: Akriti Chandra, Gourav Dwivedi, Seema Sharma, Shivani

Abstract:

This study investigates the adoption of green business (GB) models within a circular economy framework (CEBM) for Micro Small and Medium Enterprise (MSME), given the rising importance of sustainable practices. The research begins by exploring the shift from linear business models towards resource-efficient, sustainable models, emphasizing the benefits of the circular economy. The study's literature review identifies 60 influential factors impacting the shift to green businesses, grouped as internal and external drivers. However, there is a research gap in examining these factors' interrelationships and operationalizing them within MSMEs. To address this gap, the study employs Total Interpretive Structural Modelling (TISM) to establish a hierarchical structure of factors influencing GB and circular economy business model (CEBM) adoption. Findings reveal that factors like green innovation and market competitiveness are particularly impactful. Using Systems Theory, which views organizations as complex adaptive systems, the study contextualizes these drivers within MSMEs, proposing a framework for a sustainable business model adoption. The study concludes with significant implications for policymakers, suggesting that the identified factors and their hierarchical relationships can guide policy formulation for a broader transition to green business practices. This work also invites further research, recommending larger, quantitative studies to empirically validate these factors and explore practical challenges in implementing CEBMs.

Keywords: green business (GB), circular economy business model (CEBM), micro small and medium enterprise (MSME), total interpretive structural modelling (TISM), systems theory

Procedia PDF Downloads 15

Authors: Umamaheswara Rao Jada, Susmita Mukhopadhyay

Abstract:

In the present highly complex, dynamic and interdependent organizational environment, employees' ideas, opinions and suggestions which is technically referred to as ‘constructive employee voice’ is increasingly being recognized and valued. Literature has consistently demonstrated the relevance of leadership in employee voicing behavior, however the new form of leadership, ‘empowering leadership’ has not been given much attention. The study, therefore, devotes itself to the effort to explore the impact of this new form of leadership on employee voice behavior and the interplay with leader member exchange (LMX) and psychological safety as mediators in the same. The study utilizes structural equation modeling for analyzing the data collected from 310 Indian service industry employees through the questionnaire developed for the study. The findings of the study demonstrate the significant impact of empowering form of leadership on employees’ constructive voice behavior. Additionally, supporting results were observed for the mediating impact of leader member exchange (LMX) and psychological safety between empowering leadership and employees’ constructive voice behavior. The results of this study provide insights into the intervening mechanisms by linking leaders’ empowering behavior with employees’ constructive voice, while also highlighting the potential importance of LMX relationship in organizations and psychological safety in the context of constructive voice behavior. The study brings forth the relevance of the new form of leadership, ‘empowering leadership’ for fostering the better exchange of ideas, opinions, and suggestions between leaders and followers which tend to benefit the organization, providing empirical evidence of the sequential mediation of LMX and psychological safety. The piece of work is assumed to benefit the leaders in organizations by providing them the basis for adopting empowering form of leadership in light of results displayed.

Keywords: constructive voice, empowering leadership, leader member exchange (LMX), psychological safety, sequential mediation, structural equation modeling

Procedia PDF Downloads 304

Authors: Elisabeth Pedersen

Abstract:

Representations and interpretations of womanhood and female sexualities bring forth various questions regarding gender norms, and the implications of these norms, which are permeating and repetitive within various societies. Literature is one form of media which provides the space to represent and interpret women, their bodies, and sexualities, and also reveals the power of language as an affective and affected force. As literature allows an opportunity to explore history and the representations of gender, power dynamics, and sexuality through historical contexts, this paper uses engaged theory through a comparative analysis of two work of literature, The Duchess of Malfi by John Wester, and The Sound and the Fury by William Faulkner. These novels span across space and time, which lends to the theory that repetitive tropes of womanhood and female sexuality in literature are influenced by and have an influence on the hegemonic social order throughout history. It analyzes how the representation of the dichotomy of male chivalry and honor, and female purity are disputed and questioned when a woman is portrayed as sexually emancipated, and explores the historical context in which these works were written to examine how socioeconomic events challenged the hegemonic social order. The analysis looks at how stereotypical ideals of womanhood and manhood have damaging implications on women, as the structure of society provides more privilege and power to men than to women, thus creating a double standard for men and women in regards to sexuality, sexual expression, and rights to sexual desire. This comparative analysis reveals how strict gender norms are permeating and have negative consequences. However, re-reading stories through a critical lens can provide an opportunity to challenge the repetitive tropes of female sexuality, and thus lead to the embrace of the complexity of female sexuality and expression.

Keywords: femininity, literature, representation, sexuality

Procedia PDF Downloads 359

Authors: Keh-Wen Carin Chuang, Kuan-Chou Chen

Abstract:

Our society is in a constant state of change. Technology advancements continue to affect our daily lives. How we work, communicate and entertain ourselves has changed dramatically in the past decades. As our society learns to accept and adapt to the many different technological advances that seem to inundate every part of our lives, the education institutions must migrate from traditional methods of instruction to online education in order to take full advantage of the opportunities provided by these technology advancements. There are many benefits that can be gained for university and society from offering online programs by utilizing advanced technologies. But the programs must not be implemented carelessly. The key to providing a quality online program is the issue of perceived quality, which takes into account the viewpoint of all stakeholders involved. To truly ensure the institutional quality, however, a systemic view of all factors contributing to the quality must be analyzed and linked to one another — allowing education administrators to understand how each factor contributes to the perceived quality of online education. The perceived quality of an online program will be positively reinforced only through an organizational-wide effort that focuses on managed administration, augmenting online program branding, skilled faculty, supportive alumni, student satisfaction, and effective delivery systems — each of which is vital to a quality online program. This study focuses on the concept of quality assurance in the start-up, implementation, and sustainability of online education. A case of online MBA program will be analyzed to explore the quality assurance. The difficulties in promoting online education quality is the fact that universities are complex networks of disciplinary, social, economic, and political fiefdoms, both internal and external factors to the institutions. As such, the system analysis, a systems-thinking approach, on the issue of perceived quality is ideal to investigate the factors and how each factor contributes to the perceived quality in the online education domain.

Keywords: systems thinking, quality assurance, online education, MBA program

Procedia PDF Downloads 237

Authors: Nessreen Y. Ibrahim

Abstract:

Designing the future according to realistic analytical study for the futuristic market needs can be a milestone strategy to make a huge improvement in developing countries economics. In developing countries, access to high technology and latest science approaches is very limited. The financial problems in low and medium income countries have negative effects on the kind and quality of imported new technologies and application for their markets. Thus, there is a strong need for shifting paradigm thinking in the design process to improve and evolve their development strategy. This paper discusses future possibilities in developing countries, and how they can design their own future according to specific future models FDM (Future Design Models), which established to solve certain economical problems, as well as political and cultural conflicts. FDM is strategic thinking framework provides an improvement in both content and process. The content includes; beliefs, values, mission, purpose, conceptual frameworks, research, and practice, while the process includes; design methodology, design systems, and design managements tools. In this paper the main objective was building an innovative economic model to design a chosen possible futuristic scenario; by understanding the market future needs, analyze real world setting, solve the model questions by future driven design, and finally interpret the results, to discuss to what extent the results can be transferred to the real world. The paper discusses Egypt as a potential case study. Since, Egypt has highly complex economical problems, extra-dynamic political factors, and very rich cultural aspects; we considered Egypt is a very challenging example for applying FDM. The paper results recommended using FDM numerical modeling as a starting point to design the future.

Keywords: developing countries, economic models, future design, possible futures

Procedia PDF Downloads 267

Authors: Meimei Shi

Abstract:

Objectives: The identification of endangered species, especially simultaneous detection of multiple species in complex samples, plays a critical role in alleged wildlife crime incidents and prevents illegal trade. This study was to develop a multi-locus DNA metabarcoding method for endangered animal species identification. Methods: Several pairs of universal primers were designed according to the mitochondria conserved gene regions. Experimental mixtures were artificially prepared by mixing well-defined species, including endangered species, e.g., forest musk, bear, tiger, pangolin, and sika deer. The artificial samples were prepared with 1-16 well-characterized species at 1% to 100% DNA concentrations. After multiplex-PCR amplification and parameter modification, the amplified products were analyzed by capillary electrophoresis and used for NGS library preparation. The DNA metabarcoding was carried out based on Illumina MiSeq amplicon sequencing. The data was processed with quality trimming, reads filtering, and OTU clustering; representative sequences were blasted using BLASTn. Results: According to the parameter modification and multiplex-PCR amplification results, five primer sets targeting COI, Cytb, 12S, and 16S, respectively, were selected as the NGS library amplification primer panel. High-throughput sequencing data analysis showed that the established multi-locus DNA metabarcoding method was sensitive and could accurately identify all species in artificial mixtures, including endangered animal species Moschus berezovskii, Ursus thibetanus, Panthera tigris, Manis pentadactyla, Cervus nippon at 1% (DNA concentration). In conclusion, the established species identification method provides technical support for customs and forensic scientists to prevent the illegal trade of endangered animals and their products.

Keywords: DNA metabarcoding, endangered animal species, mitochondria nucleic acid, multi-locus

Procedia PDF Downloads 140

Authors: J. Novak, A. Kohoutkova, V. Kristek, J. Vodicka, M. Sramek

Abstract:

While the use of cast-in-place concrete for an airfield and highway pavement overlay is very common, the application of precast concrete elements is very limited today. The main reasons consist of high production costs and complex structural behavior. Despite that, several precast concrete systems have been developed and tested with the aim to provide a system with rapid construction. The contribution deals with the reinforcement design of a hexagonal element developed for a proposed airfield pavement system. The sub-base course of the system is composed of compacted recycled concrete aggregates and fiber reinforced concrete with recycled aggregates place on top of it. The selected element belongs to a group of precast concrete elements which are being considered for the construction of a surface course. Both high costs of full-scale experiments and the need to investigate various elements force to simulate their behavior in a numerical analysis software by using finite element method instead of performing expensive experiments. The simulation of the selected element was conducted on a nonlinear model in order to obtain such results which could fully compensate results from experiments. The main objective was to design reinforcement of the precast concrete element subject to quasi-static loading from airplanes with respect to geometrical imperfections, manufacturing imperfections, tensile stress in reinforcement, compressive stress in concrete and crack width. The obtained findings demonstrate that the position and the presence of imperfection in a pavement highly affect the stress distribution in the precast concrete element. The precast concrete element should be heavily reinforced to fulfill all the demands. Using under-reinforced concrete elements would lead to the formation of wide cracks and cracks permanently open.

Keywords: imperfection, numerical simulation, pavement, precast concrete element, reinforcement design, stress analysis

Procedia PDF Downloads 161

Authors: John Justo Ambuchi, Zhaohan Zhang, Yujie Feng

Abstract:

Quick development and usage of nanotechnology have resulted to massive use of various nanoparticles, such as iron oxide nanoparticles (IONPs) and multi-wall carbon nanotubes (MWCNTs). Thus, this study investigated the role of IONPs and MWCNTs in enhancing bioenergy recovery. Results show that IONPs at a concentration of 750 mg/L and MWCNTs at a concentration of 1500 mg/L induced faster substrate utilization and biogas production rates than the control. IONPs exhibited higher carbon oxygen demand (COD) removal efficiency than MWCNTs while on the contrary, MWCNT performance on biogas generation was remarkable than IONPs. Furthermore, scanning electron microscopy (SEM) investigation revealed extracellular polymeric substances (EPS) excretion from AGS had an interaction with nanoparticles. This interaction created a protective barrier to microbial consortia hence reducing their cytotoxicity. Microbial community analyses revealed genus predominance of bacteria of Anaerolineaceae and Longilinea. Their role in biodegradation of the substrate could have highly been boosted by nanoparticles. The archaea predominance of the genus level of Methanosaeta and Methanobacterium enhanced methanation process. The presence of bacteria of genus Geobacter was also reported. Their presence might have significantly contributed to direct interspecies electron transfer in the system. Exposure of AGS to nanoparticles promoted direct interspecies electron transfer among the anaerobic fermenting bacteria and their counterpart methanogens during the anaerobic digestion process. This results provide useful insightful information in understanding the response of microorganisms to IONPs and MWCNTs in the complex natural environment.

Keywords: anaerobic granular sludge, extracellular polymeric substances, iron oxide nanoparticles, multi-wall carbon nanotubes

Procedia PDF Downloads 293

Authors: A. G. Barua, Uttam Rajkhowa, Pranjal Moni Nath, Nur Abdul Kadir

Abstract:

Mycobacterium tuberculosis (MTB) is one of the most closely-related intracellular bacterial pathogens, grouped as the M. tuberculosis complex (MTC). MTB, the primary agent of human tuberculosis (TB), can develop clinical TB in animals as 75 percent of canine mycobacterial infection is caused by close contact with an infected human being. In the present study, molecular detection of TB in dogs in three North-eastern states of India, Assam Mizoram, and Nagaland was carried out. So far, there has been a lack of systematic study in these regions, hampered by slow diagnostic methods and poor infrastructure. In an attempt to rectify this situation, molecular epidemiology was carried out for nine months to detect canine TB in a sample of 340 dogs. Isolation of DNA was done with swabs (throat/nasal), nodules of lungs and fluids from 100 suspected dogs and the molecular study were carried out with the help of conventional and real-time PCR. Post-mortem study was also carried out. Our results showed that the prevalence of clinical TB in dogs from a high-risk setting was 1 percent. However, the prevalence of immunological sensitization to M. tuberculosis antigen in dogs living in contact with sputum smeared positive TB cases was almost 50 percent. The latter setting had the maximum impact in terms of TB transmission. During the study period, a survey with a standard questionnaire was carried out in the TB hospitals to study reverse zoonosis. It was observed that an infected human being was one of the major risk factors for dogs to contract the infection. This observation was drawn by examining the probable airborne transmission from humans to their pets or strays. The present study helped to discover the nuances of TB transmission more clearly and systematically as compared to other sporadic tests to detect MTB in canine.

Keywords: Assam and Nagaland, canine TB, India, molecular detection, tuberculosis

Procedia PDF Downloads 145

Authors: Susmita Roy, Madhavan Nallani

Abstract:

In recent years' polymersomes, self-assembled polymeric vesicles emerge from block copolymers, have been widely investigated due to their enhance stability and unique advantageous properties compared to their phospholipid counterpart, liposomes, dendrimers, and micelles. It provides a distinctive platform for advanced therapeutics and the creation of complex (bio) catalytically active systems for research in Nanomedicine and synthetic biology. Inspired by nature, where compartmentalization of biological components is all ubiquitous, we are interested in developing a platform technology of self-assembled multifunctional compartments with applications in areas from targeted drug/gene delivery, biosensing, pharmaceutical to cosmetics. Polymersome surfaces can be a proper choice of derivatization with a controlled amount of functional groups. To achieve site-specific targeting of polymersomes, biological recognition motives can be attached to the polymersomes surface by standard bioconjugation techniques, (like esterification, amidation, thiol-maleimide coupling, click-chemistry routes or other coupling methods). Herein, we are developing easy going, one-step bioconjugation strategies for site-specific surface functionalized biodegradable polymeric and/or polymer-lipid hybrid vesicles for targeted drug delivery. Biodegradable polymer, polycaprolactone-b-polyethylene glycol (PCL-PEG), polylactic acid-b-polyethylene glycol (PLA-PEG) and phospholipid, 1-palmitoyl-2- oleoyl-sn-glycero-3-phosphocholine (POPC) has been widely used for numerous vesicle formulations. Some of these drug-loaded formulations are being tested on mice for controlled release. These surface functionalized polymersomes are also appropriate for membrane protein reconstitution/insertion, antibodies conjugation and various bioconjugation with diverse targeted molecules for controlled drug delivery.

Keywords: drug delivery, membrane protein, polymersome, surface modification

Procedia PDF Downloads 154

Authors: Ana Maria Reis d'Azevedo Breda, Catarina Maria Neto da Cruz

Abstract:

The role of images/illustrations in communicating meanings and triggering emotions assumes an increasingly relevant role in contemporary texts, regardless of the age group for which they are intended or the nature of the texts that host them. It is no coincidence that children's books are full of illustrations and that the image/text ratio decreases as the age group grows. The vast majority of children's books can be considered multimodal texts containing text and images/illustrations interacting with each other to provide the young reader with a broader and more creative understanding of the book's narrative. This interaction is very diverse, ranging from images/illustrations that are not essential for understanding the storytelling to those that contribute significantly to the meaning of the story. Usually, these books are also read by adults, namely by parents, educators, and teachers who act as mediators between the book and the children, explaining aspects that are or seem to be too complex for the child's context. It should be noted that there are books labeled as children's books that are clearly intended for both children and adults. In this work, following a qualitative and interpretative methodology based on written productions, participant observation, and field notes, we will describe the perceptions of future teachers of the 1st cycle of basic education, attending a master's degree at a Portuguese university, about the role of the image in literary and non-literary texts, namely in mathematical texts, and how these can constitute precious resources for emotional regulation and for the design of creative didactic situations. The analysis of the collected data allowed us to obtain evidence regarding the evolution of the participants' perception regarding the crucial role of images in children's literature, not only as an emotional regulator for young readers but also as a creative source for the design of meaningful didactical situations, crossing other scientific areas, other than the mother tongue, namely mathematics.

Keywords: children’s literature, emotions, multimodal texts, soft skills

Procedia PDF Downloads 94

Authors: Faiz N. K. Yusufi, Aquil Ahmed, Jamal Ahmad

Abstract:

Diabetes in India is growing at an alarming rate and the complications caused by it need to be controlled. Coronary heart disease (CHD) is one of the complications that will be discussed for prediction in this study. India has the second most number of diabetes patients in the world. To the best of our knowledge, there is no CHD risk score for Indian type 2 diabetes patients. Any form of CHD has been taken as the event of interest. A sample of 750 was determined and randomly collected from the Rajiv Gandhi Centre for Diabetes and Endocrinology, J.N.M.C., A.M.U., Aligarh, India. Collected variables include patients data such as sex, age, height, weight, body mass index (BMI), blood sugar fasting (BSF), post prandial sugar (PP), glycosylated haemoglobin (HbA1c), diastolic blood pressure (DBP), systolic blood pressure (SBP), smoking, alcohol habits, total cholesterol (TC), triglycerides (TG), high density lipoprotein (HDL), low density lipoprotein (LDL), very low density lipoprotein (VLDL), physical activity, duration of diabetes, diet control, history of antihypertensive drug treatment, family history of diabetes, waist circumference, hip circumference, medications, central obesity and history of CHD. Predictive risk scores of CHD events are designed by cox proportional hazard regression. Model calibration and discrimination is assessed from Hosmer Lemeshow and area under receiver operating characteristic (ROC) curve. Overfitting and underfitting of the model is checked by applying regularization techniques and best method is selected between ridge, lasso and elastic net regression. Youden’s index is used to choose the optimal cut off point from the scores. Five year probability of CHD is predicted by both survival function and Markov chain two state model and the better technique is concluded. The risk scores for CHD developed can be calculated by doctors and patients for self-control of diabetes. Furthermore, the five-year probabilities can be implemented as well to forecast and maintain the condition of patients.

Keywords: coronary heart disease, cox proportional hazard regression, ROC curve, type 2 diabetes Mellitus

Procedia PDF Downloads 219

Authors: André C. Silva, Izabela L. A. Moraes, Elenice M. S. Silva, Carlos M. Silva Filho

Abstract:

In Brazil, most soils are acidic and low in essential nutrients required for the growth and development of plants, making fertilizers essential for agriculture. As the biggest producer of soy in the world and a major producer of coffee, sugar cane and citrus fruits, Brazil is a large consumer of phosphate. Brazilian’s phosphate ores are predominantly from igneous rocks showing a complex mineralogy, associated with carbonites and oxides, typically iron, silicon and barium. The adopted industrial concentration circuit for this type of ore is a mix between magnetic separation (both low and high field) to remove the magnetic fraction and a froth flotation circuit composed by a reverse flotation of apatite (barite’s flotation) followed by direct flotation circuit (rougher, cleaner and scavenger circuit). Since the 70’s fatty acids obtained from vegetable oils are widely used as lower-cost collectors in apatite froth flotation. This is a very effective approach to the apatite family of minerals, being that this type of collector is both selective and efficient (high recovery). This paper presents Jatropha curcas L. oil (JCO) as a renewable and sustainable source of fatty acids with high selectivity in froth flotation of apatite. JCO is considerably rich in fatty acids such as linoleic, oleic and palmitic acid. The experimental campaign involved 216 tests using a modified Hallimond tube and two different minerals (apatite and quartz). In order to be used as a collector, the oil was saponified. The results found were compared with the synthetic collector, Fotigam 5806 produced by Clariant, which is composed mainly by soy oil. JCO showed the highest selectivity for apatite flotation with cold saponification at pH 8 and concentration of 2.5 mg/L. In this case, the mineral recovery was around 95%.

Keywords: froth flotation, jatropha curcas, microflotation, selectivity

Procedia PDF Downloads 431

Authors: Arzu K. Kamberli, Tolga Ulusoy

Abstract:

Technological developments and the resulting global communication have made the 21st century when large capitals are moved from one end to the other via a button. As a result, the flow of capital inflows has accelerated, and capital inflow has brought with it crisis-related infectiousness. Considering the irrational human behavior, the financial crisis in the world under the influence of the whole world has turned into the basic problem of the countries and increased the interest of the researchers in the reasons of the crisis and the period in which they lived. Therefore, the complex nature of the financial crises and its linearly unexplained structure have also been included in the new discipline, econophysics. As it is known, although financial crises have prediction mechanisms, there is no definite information. In this context, in this study, using the concept of electric field from the electrostatic part of physics, an early econophysical approach for global financial crises was studied. The aim is to define a model that can take place before the financial crises, identify financial fragility at an earlier stage and help public and private sector members, policy makers and economists with an econophysical approach. 2001 Turkey crisis has been assessed with data from Turkish Central Bank which is covered between 1992 to 2007, and for 2001 Argentina crisis, data was taken from IMF and the Central Bank of Argentina from 1997 to 2007. As an econophysical method, an analogy is used between the Gauss's law used in the calculation of the electric field and the forecasting of the financial crisis. The concept of Φ (Financial Flux) has been adopted for the pre-warning of the crisis by taking advantage of this analogy, which is based on currency movements and money mobility. For the first time used in this study Φ (Financial Flux) calculations obtained by the formula were analyzed by Matlab software, and in this context, in 2001 Turkey and Argentina Crisis for Φ (Financial Flux) crisis of values has been confirmed to give pre-warning.

Keywords: econophysics, financial crisis, Gauss's Law, physics

Procedia PDF Downloads 153

Authors: O. O. Aiyelokun, O. A. Agbede

Abstract:

Numerical modelling of groundwater flow can be susceptible to calibration errors due to lack of adequate ground-based hydro-metrological stations in river basins. Groundwater resources management in Southwest Nigeria is currently challenged by overexploitation, lack of planning and monitoring, urbanization and climate change; hence to adopt models as decision support tools for sustainable management of groundwater; they must be adequately calibrated. Since river basins in Southwest Nigeria are characterized by missing data, and lack of adequate ground-based hydro-meteorological stations; the need for adopting satellite-based data for constructing distributed models is crucial. This study seeks to evaluate the suitability of satellite-based data as substitute for ground-based, for computing boundary conditions; by determining if ground and satellite based meteorological data fit well in Ogun and Oshun River basins. The Climate Forecast System Reanalysis (CFSR) global meteorological dataset was firstly obtained in daily form and converted to monthly form for the period of 432 months (January 1979 to June, 2014). Afterwards, ground-based meteorological data for Ikeja (1981-2010), Abeokuta (1983-2010), and Oshogbo (1981-2010) were compared with CFSR data using Goodness of Fit (GOF) statistics. The study revealed that based on mean absolute error (MEA), coefficient of correlation, (r) and coefficient of determination (R²); all meteorological variables except wind speed fit well. It was further revealed that maximum and minimum temperature, relative humidity and rainfall had high range of index of agreement (d) and ratio of standard deviation (rSD), implying that CFSR dataset could be used to compute boundary conditions such as groundwater recharge and potential evapotranspiration. The study concluded that satellite-based data such as the CFSR should be used as input when constructing groundwater flow models in river basins in Southwest Nigeria, where majority of the river basins are partially gaged and characterized with long missing hydro-metrological data.

Keywords: boundary condition, goodness of fit, groundwater, satellite-based data

Procedia PDF Downloads 130

Authors: Arief, Noovirman Jamarun, Benni Satria

Abstract:

Background: The main problem in the development of livestock in Indonesia is feed both in terms of quality and quantity. On the other hand, conventional feed ingredients are expensive and difficult to obtain. Therefore, it is necessary to find alternative feed ingredients that have good quality, potential, and low cost. Feed ingredients that meet the above requirements are by-products of the palm oil industry, namely palm kernel cake (PKC). This study aims to obtain the best PKC composition for Etawa goat concentrate ration. Material and Methode : This research consists of 2 stages. Stage I is invitro study using Tilley and Terry method. The study used a Completely Randomized Design (CRD) with 4 treatments of rations and 4 replications. The treatment is the composition of the use of palm kernel cake (PKC) in the ration, namely, A). 10%, B). 20%, C). 30%, D). 40%. Other feed ingredients are corn, rice bran, tofu waste and minerals. The measured variables are the characteristics of the rumen fluid (pH, VFA and NH3). Stage II was done using the best ration of stage I (Ration C), followed by testing the use of Tithonia (Thitonia difersifolia) and agricultural waste of sweet potato leaves as a source of forage for livestock by in-vitro. The study used a Completely Randomized Design (CRD) with 3 treatments and 5 replications. The treatments were: Treatment A) Best Concentrate Ration Stage I + Titonia (Thitonia difersifolia), Treatment B) Best Concentrate Ration Stage I + Tithonia (Thitonia difersifolia) and Sweet potato Leaves, Treatment C) Best Concentrate Ration Stage I + Sweet potato leaves. The data obtained were analyzed using variance analysis while the differences between treatments were tested using the Duncant Multiple Range Test (DMRT) according to Steel and Torrie. Results of Stage II showed that the use of PKC in rations as concentrate feed combined with forage originating from Tithonia (Thitonia difersifolia) and sweet potato leaves produced pH, VFA and NH3-N which were still in normal conditions. The best treatment was obtained from diet B (P <0.05) with 6.9 pH, 116.29 mM VFA and 15mM NH3-N. Conclussion From the results of the study it can be concluded that PKC can be used as feed ingredients for dairy goat concentrate with a combination of forage from Tithonia (Tithonia difersifolia) and sweet potato leaves.

Keywords: palm oil by-product, palm kernel cake, concentrate, rumen fluid, Etawa goat

Procedia PDF Downloads 175

Authors: Donatella Giuliani

Abstract:

In this research, we propose an unsupervised grayscale image segmentation method based on a combination of the Firefly Algorithm and the Gaussian Mixture Model. Firstly, the Firefly Algorithm has been applied in a histogram-based research of cluster means. The Firefly Algorithm is a stochastic global optimization technique, centered on the flashing characteristics of fireflies. In this context it has been performed to determine the number of clusters and the related cluster means in a histogram-based segmentation approach. Successively these means are used in the initialization step for the parameter estimation of a Gaussian Mixture Model. The parametric probability density function of a Gaussian Mixture Model is represented as a weighted sum of Gaussian component densities, whose parameters are evaluated applying the iterative Expectation-Maximization technique. The coefficients of the linear super-position of Gaussians can be thought as prior probabilities of each component. Applying the Bayes rule, the posterior probabilities of the grayscale intensities have been evaluated, therefore their maxima are used to assign each pixel to the clusters, according to their gray-level values. The proposed approach appears fairly solid and reliable when applied even to complex grayscale images. The validation has been performed by using different standard measures, more precisely: the Root Mean Square Error (RMSE), the Structural Content (SC), the Normalized Correlation Coefficient (NK) and the Davies-Bouldin (DB) index. The achieved results have strongly confirmed the robustness of this gray scale segmentation method based on a metaheuristic algorithm. Another noteworthy advantage of this methodology is due to the use of maxima of responsibilities for the pixel assignment that implies a consistent reduction of the computational costs.

Keywords: clustering images, firefly algorithm, Gaussian mixture model, meta heuristic algorithm, image segmentation

Procedia PDF Downloads 217

Authors: Qinghua Xing, Xinyi Tao, Haisheng Wang, Baisuo Zhao

Abstract:

The first true anaerobic, halophilic alkali thermophile, Natranaerobius thermophilus DSM 18059T, serves as a valuable model for studying cellular adaptations to saline, alkaline and thermal extremes. To uncover the adaptive strategies employed by N. thermophilus in coping with these challenges, we conducted a comprehensive iTRAQ-based quantitative proteomic analysis under different conditions of salinity (3.5 M vs. 2.5 M Na+), pH (pH 9.6 vs. pH 8.6), and temperature (52°C vs. 42°C). The increased intracellular accumulation of glycine betaine, through both synthesis and transport, plays a critical role in N. thermophilus' adaptation to these combined stresses. Under all three stress conditions, the up-regulation of Trk family proteins responsible for K+ transport is observed. Intracellular K+ concentration rises in response to salt and pH levels. Multiple types of Na+/H+ antiporter (NhaC family, Mrp family and CPA family) and a diverse range of FOF1-ATP synthase are identified as vital components for maintaining ionic balance under different stress conditions. Importantly, proteins involved in amino acid metabolism, carbohydrate metabolism, ABC transporters, signaling and chemotaxis, as well as biological macromolecule repair and protection, exhibited significant up-regulation in response to these extreme conditions. These metabolic pathways emerge as critical factors in N. thermophilus' adaptation mechanisms under extreme environmental stress. To validate the proteomic data, ddPCR analysis confirmed changes in mRNA expression, thereby corroborating the up-regulation and down-regulation patterns of 19 co-up-regulated and 36 key proteins under saline, alkaline and thermal stresses. This research enriches our understanding of the complex regulatory systems that enable polyextremophiles to survive in combined extreme conditions.

Keywords: polyextremophiles, natranaerobius thermophilus, saline- alkaline- thermal stresses, combined extremes

Procedia PDF Downloads 55

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: M. Dezyani, R. Ezzati bbelvirdi, M. Shakerian, H. Mirzaei

Abstract:

Sodium Hexametaphosphate (SHMP) is commonly used as an Emulsifying Salt (ES) in process cheese, although rarely as the sole ES. It appears that no published studies exist on the effect of SHMP concentration on the properties of process cheese when pH is kept constant; pH is well known to affect process cheese functionality. The detailed interactions between the added phosphate, Casein (CN), and indigenous Ca phosphate are poorly understood. We studied the effect of the concentration of SHMP (0.25-2.75%) and holding time (0-20 min) on the textural and Rheological properties of pasteurized process Cheddar cheese using a central composite rotatable design. All cheeses were adjusted to pH 5.6. The meltability of process cheese (as indicated by the decrease in loss tangent parameter from small amplitude oscillatory rheology, degree of flow, and melt area from the Schreiber test) decreased with an increase in the concentration of SHMP. Holding time also led to a slight reduction in meltability. Hardness of process cheese increased as the concentration of SHMP increased. Acid-base titration curves indicated that the buffering peak at pH 4.8, which is attributable to residual colloidal Ca phosphate, was shifted to lower pH values with increasing concentration of SHMP. The insoluble Ca and total and insoluble P contents increased as concentration of SHMP increased. The proportion of insoluble P as a percentage of total (indigenous and added) P decreased with an increase in ES concentration because of some of the (added) SHMP formed soluble salts. The results of this study suggest that SHMP chelated the residual colloidal Ca phosphate content and dispersed CN; the newly formed Ca-phosphate complex remained trapped within the process cheese matrix, probably by cross-linking CN. Increasing the concentration of SHMP helped to improve fat emulsification and CN dispersion during cooking, both of which probably helped to reinforce the structure of process cheese.

Keywords: Iranian processed cheese, emulsifying salt, rheology, texture

Procedia PDF Downloads 432

Authors: Ali Al-Yaaribi, Maria Kavussanu

Abstract:

Prosocial and antisocial behavior occurs in sport. Prosocial behavior is voluntary behavior intended to help or benefit another individual, while antisocial behavior is behavior intended to harm or disadvantage another individual. Previous sport morality research has investigated primarily antecedents of prosocial and antisocial behavior. However, the potential consequences of these behaviors remain unexplored. The aims of this study were to examine whether: (a) perceived prosocial and antisocial teammate behavior predicts task cohesion and burnout; (b) affect mediate these relationships; and (c) motivational climate moderates any of these effects. Participants were male (n = 96) and female (n = 176) teams sport players (Mage = 21.86, SD = 4.36), who completed questionnaires measuring the aforementioned variables. Mediation analysis (Hayes, 2013) indicated that prosocial teammate behavior positively predicted task cohesion and negatively predicted burnout; these effects were mediated by positive affect. Also, mastery climate moderated the positive effect of prosocial teammate behavior on task cohesion: The effect of antisocial teammate behavior on task cohesion was stronger for players who perceived a higher mastery climate created by their coaches. Performance climate moderated the negative effect of prosocial teammate behavior on burnout: This effect was only significant for players who perceived moderate or low levels of performance team climate. Antisocial teammate behavior negatively predicted task cohesion and positively predicted burnout, and these effects were mediated by negative affect. Also, performance climate moderated the positive effect of antisocial teammate behavior on burnout, such that the effect of antisocial teammate behavior on burnout was stronger for players who perceived a lower performance climate. The research findings shed some light on the potential role of prosocial and antisocial teammate behaviors as well as coach-created motivational climate on influencing players’ affect, task cohesion, and burnout. Coaches should focus on creating a mastery motivational climate and rewarding prosocial behavior while at the same time trying to deter antisocial behavior among teammates in order to enhance positive affect, task cohesion, and prevent experience of negative affect and burnout.

Keywords: mediation, moderation, morality, teams sport

Procedia PDF Downloads 356

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