• Korean Journal of Logic
• /
• v.20 no.2
• /
• pp.241-271
• /
• 2017

Dialetheism is the view that there exists a true contradiction. This paper ventures to suggest that Priest's argument for Dialetheism from $G{\ddot{o}}del^{\prime}s$ theorem is unconvincing as the lesson of $G{\ddot{o}}del^{\prime}s$ proof (or Rosser's proof) is that any sufficiently strong theories of arithmetic cannot be both complete and consistent. In addition, a contradiction is derivable in Priest's inconsistent and complete arithmetic. An alternative argument for Dialetheism is given by applying $G{\ddot{o}}del$ sentence to the inconsistent and complete theory of arithmetic. We argue, however, that the alternative argument raises a circularity problem. In sum, $G{\ddot{o}}del^{\prime}s$ and its related theorem merely show the relation between a complete and a consistent theory. A contradiction derived by the application of $G{\ddot{o}}del$ sentence has the value of true sentences, i.e. the both-value, only under the inconsistent models for arithmetic. Without having the assumption of inconsistency or completeness, a true contradiction is not derivable from the application of $G{\ddot{o}}del$ sentence. Hence, $G{\ddot{o}}del^{\prime}s$ and its related theorem never can be a ground for Dialetheism.

• Structural Engineering and Mechanics
• /
• v.72 no.5
• /
• pp.585-595
• /
• 2019

Foundations are a vital part of structures. Over time, the foundations can deteriorate due to unforeseen overloads and/or settlements, resulting in the appearance of cracks in the concrete. These cracks produce changes in the static and dynamic behavior of the affected foundation, which alter its load carrying capacity. In this work, non-destructive techniques of relative simplicity of application are presented for the detection, location, and quantification of damage, using numerical models, solved with the finite element method and Power Series. For this, two types of parameters are used: static (displacement and elastic curvature) and dynamics (natural frequencies). In the static analysis, the damage detection is done by means of a finite elements model representing a beam supported on an elastic foundation with a discrete crack that varies in length and location. With regard to dynamic analysis, the governing equations of the model are presented and a method based on Power Series is used to obtain the solution for a data set, which could be the Winkler coefficient, the location of the crack or the frequency. In order to validate the proposed methodologies, these techniques are applied to data obtained from laboratory tests.

• Archives of Plastic Surgery
• /
• v.49 no.4
• /
• pp.471-472
• /
• 2022

• Journal of Microbiology and Biotechnology
• /
• v.30 no.6
• /
• pp.811-821
• /
• 2020

Mycobacterium tuberculosis produces mycolic acids which are relevant for persistence, recalcitrance to antibiotics and defiance to host immunity. c-di-GMP is a second messenger involved in transition from planktonic cells to biofilms, whose levels are controlled by diguanylate cyclases (DGC) and phosphodiesterases (PDE). The transcriptional regulator dosR, is involved in response to low oxygen, a condition likely happening to a subset of cells within biofilms. Here, we found that in M. bovis BCG, expression of both BCG1416c and BCG1419c genes, which code for a DGC and a PDE, respectively, decreased in both stationary phase and during biofilm production. The kasA, kasB, and fas genes, which are involved in mycolic acid biosynthesis, were induced in biofilm cultures, as was dosR, therefore suggesting an inverse correlation in their expression compared with that of genes involved in c-di-GMP metabolism. The relative abundance within trehalose dimycolate (TDM) of α-mycolates decreased during biofilm maturation, with methoxy mycolates increasing over time, and keto species remaining practically stable. Moreover, addition of synthetic c-di-GMP to mid-log phase BCG cultures reduced methoxy mycolates, increased keto species and practically did not affect α-mycolates, showing a differential effect of c-di-GMP on keto- and methoxy-mycolic acid metabolism.

• Korean Journal of Plant Resources
• /
• v.36 no.4
• /
• pp.290-298
• /
• 2023

Several members of the genus Broussonetia are woody plants with high-quality cellulose fibers and are used to make a traditional type of Korean paper known as Hanji. Three of these species, Broussonetia kazinoki, Broussonetia monoica, and Broussonetia papyrifera, are found in the Korean Peninsula. Because it is challenging to distinguish different Broussonetia species based on morphology alone, we have developed a set of insertion/deletion (InDel) markers for genetic identification of these species. From twenty-two Broussonetia samples collected throughout Korea, we selected six for next-generation sequencing analysis. InDel marker candidates were identified by comparing this sequence information with the B. kazinoki chloroplast genome sequence. The marker candidates were used to screen the genomes of the twenty-two Broussonetia plants, and five useful chloroplast-based InDel markers were identified. Detailed genotyping using these five markers showed that the twenty-two plants of the genus Broussonetia could be clustered into five groups, verifying that the markers developed here can be used for breeding, identification, and analysis of species in the genus Broussonetia.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.2
• /
• pp.686-710
• /
• 2019

This work proposes a model to solve the problem of Network Coding over a one-session multicast network. The model is based on a system of restrictions that defines the packet flows received in the sink nodes as functions of the outgoing flows from the source node. A multicast network graph is used to derive a directed labeled line graph (DLLG). The successive powers of the DLLG adjacency matrix to the convergence in the null matrix permits the construction of the jump matrix Source-Sinks. In its reduced form, this shows the dependency of the incoming flows in the sink nodes as a function of the outgoing flows in the source node. The emerging packets for each outgoing link from the source node are marked with a tag that is a linear combination of variables that corresponds to powers of two. Restrictions are built based on the dependence of the outgoing and incoming flows and the packet tags as variables. The linear independence of the incoming flows to the sink nodes is mandatory. The method is novel because the solution is independent of the Galois field size where the packet contents are defined.

• Journal of Crop Science and Biotechnology
• /
• v.10 no.3
• /
• pp.141-146
• /
• 2007

The roots of Aristolochia elegans Mast.(Aristolochiaceae) are widely used in Mexican traditional medicine as a remedy for scorpion venom. Current experimental evidence supports its purported antidote properties. However, collection from the wilderness has lead to local extinction of natural populations. In order to contribute to species preservation, cultivation, and standardization of morphological and pharmacological properties, a micropropagation method was developed. This includes in-vitro germination of seeds to produce aseptic plantlets, induction of multiple budding, and acclimatization. The treatment with benzylamino purine(10 ${\mu}M$) induced the highest number of buds(3.1 on average) in both types of explants. On the other hand, indolebutyric acid(1.5 ${\mu}M$) caused the highest root index(11.8) per explant. One hundred percent of the micropropagated plantlets developed vigorously after the acclimatization process.

• Journal of Microbiology
• /
• v.39 no.3
• /
• pp.219-225
• /
• 2001

Phage typing is currently used for typing of Staphylococcus aureus strains beyond the species level in epidemiological studies. A total of 168 Staphylococcus aureus isolates from chicken meat and chicken by-products were phage-typed using the international bacteriophage set for typing Staphylococcus aureus of human origin. One hundred and forty-eight (88.79%) strains were phage-typeable (at least one phage produced 20 or more plaques of lysis). Lysis by phages of group Ⅲ was the mast frequent with 99 (58.93%) sensitive strains. This fact coincides with results of other authors. Twenty-nine different phage patterns were observed and three (95, 75/84 and 6/1030/W57) were most common. One hundred and thirty-two (89.19% of typeable strains) skewed these or indistinguishable (only one phage reaction difference) patterns. Twenty-six out of seventy chicken samples (37.14%) harboured more than one phage type of Staphylococcus aureus. This fact emphasizes the convenience of subtyping several Staphylococcus aureus isolates from the same sample in epidemiological studies. 80% of sausages and hamburgers contained the same Staphylococcus aureus phage types, which wore not found in any of the other food types. This fact suggests a cross contamination during the processing of these foods. Phages 6, 75, 84, 1030 and W57 skewed the greatest activity. None of the Staphylococcus aureus strains were sensitive to phages 47, 81 and 94.

• Advances in concrete construction
• /
• v.5 no.6
• /
• pp.563-573
• /
• 2017

Transparency, excellent toughness, thermal stability and a very good dimensional stability make Polycarbonate (PC) one of the most widely used engineering thermoplastics. Polycarbonate market include electronics, automotive, construction, optical media and packaging. One alternative for reducing the environmental pollution caused by polycarbonate from electronic waste (e-waste), is to use it in cement concretes. In this work, physical and chemical characterization of recycled polycarbonate from electronic waste was made, through the analysis by Fourier transform infrared spectroscopy (FTIR), X-ray diffraction (XRD), energy dispersive spectroscopy (EDS) and scanning electron microscope (SEM). Then cement concrete was made with Portland cement, sand, gravel, water, and this recycled polycarbonate. Specimens without polycarbonate were produced for comparison purposes. The effect of the particle sizes and concentrations of recycled polycarbonate within the concrete, on the compressive strength and density was studied. Results show that compressive strength values and equilibrium density of concrete depend on the polycarbonate particle sizes and its concentrations; particularly the highest compressive strength values were 20% higher than that for concrete without polycarbonate particles. Moreover, morphological, structural and crystallinity characteristics of recycled polycarbonate, are suitable for to be mixed into concrete.

• Tuberculosis and Respiratory Diseases
• /
• v.78 no.3
• /
• pp.246-252
• /
• 2015

Background: The aim was to compare tuberculosis trends in Mexico and United States and to evaluate Mexican diagnostic methods and contact investigation. Methods: Retrospective comparative study of tuberculosis cases and incidence rates between both countries (1990-2010). Diagnostic methods and contact investigations were also evaluated for Mexico. Estimates were obtained from official websites. Results: In Mexico, no clear trend was found over time for cases. Pulmonary (PTB) and all forms of tuberculosis (AFTB) incidence decreased 2.0% annually. There was a negative correlation between the mean contacts examined per case and AFTB incidence ($r^2=-0.44$, p=0.01) with a 33% reduction in AFTB incidence. In United States, PTB and AFTB cases have been decreasing 6.0% and 5.6% annually, respectively. The incidence decreased 7.3% and 6.8%, respectively. Conclusion: The incidence of tuberculosis in Mexico is decreasing slightly over time at 2% annually. In the United States, cases and incidence rates have been decreasing at a higher rate (5% to 7% annually). The inverse association between number of contacts examined per state and incidence rates in Mexico underscore the importance of reinforcing and improving contact investigations with the likely translation of a decrease of TB incidence at a higher rate.