Tensed Ontology Based on Simple Partial Logic

Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with other two ways based on Łukasiewicz’s three-valued logic and branching temporal logic

Enterovirus type 71 2A protease functions as a transcriptional activator in yeast

Enterovirus type 71 (EV71) 2A protease exhibited strong transcriptional activity in yeast cells. The transcriptional activity of 2A protease was independent of its protease activity. EV71 2A protease retained its transcriptional activity after truncation of 40 amino acids at the N-terminus but lost this activity after truncation of 60 amino acids at the N-terminus or deletion of 20 amino acids at the C-terminus. Thus, the acidic domain at the C-terminus of this protein is essential for its transcriptional activity. Indeed, deletion of amino acids from 146 to 149 (EAME) in this acidic domain lost the transcriptional activity of EV71 2A protein though still retained its protease activity. EV71 2A protease was detected both in the cytoplasm and nucleus using confocal microscopy analysis. Coxsackie virus B3 2A protease also exhibited transcriptional activity in yeast cells. As expected, an acidic domain in the C-terminus of Coxsackie virus B3 2A protease was also identified. Truncation of this acidic domain resulted in the loss of transcriptional activity. Interestingly, this acidic region of poliovirus 2A protease is critical for viral RNA replication. The transcriptional activity of the EV71 or Coxsackie virus B3 2A protease should play a role in viral replication and/or pathogenesis

Modified empirical fitting of the discharge behavior of LiFePO4_4 batteries under various conditions

A mathematical model is developed by fitting the discharge curve of a new LiFePO$_4$ battery and then used to investigate the relationship between the discharge time and the closed-circuit voltage. This model consists of exponential and polynomial terms where the exponential term dominates the discharge time of a battery and the polynomial term dominates the change in the closed-circuit voltage. Time shift and time scale processes modify the exponential and polynomial terms, respectively, so that the model is suitable for batteries under various conditions. References W. Su, H. Eichi, W. Zeng and M.-Y. Chow, A survey on the electrification of transportation in a smart grid environment, IEEE Intl. Conf. Ind. I. 8:1–10, 2012. doi:10.1109/TII.2011.2172454 J. Wang, Z. Sun and X. Wei, Performance and characteristic research in LiFePO$_4$ battery for electric vehicle applications, IEEE Vehicle Power 1657–1661, 2009. doi:10.1109/VPPC.2009.5289664 A. Shafiei, A. Momeni and S. S. Williamson, Battery modeling approaches and management techniques for plug-in hybrid electric vehicles, IEEE Vehicle Power 1–5, 2011. doi:10.1109/VPPC.2011.6043191 P. Bai, D. A. Cogswell and M. Z. Bazant, Suppression of phase separation in LiFePO$_4$ nanoparticles during battery discharge, Nano Lett. 11:4890–4896, 2011. doi:10.1021/nl202764f H. L. Chan and D. Sutanto, A new battery model for use with battery energy storage systems and electric vehicle power systems, IEEE Power Eng. Soc. 1:470–475, 2000. doi:10.1109/PESW.2000.850009 T. Kim and W. Qiao, A hybrid battery model capable of capturing dynamic circuit characteristics and nonlinear capacity effects, IEEE T. Energy Conver. 26:1172–1180, 2011. doi:10.1109/TEC.2011.2167014 D. N. Rakhmatov and S. B. K. Vrudhula, An analytical high-level battery model for use in energy management of portable electronic systems, IEEE ICCAD 488–493, 2001. doi:10.1109/ICCAD.2001.968687 V. Srinivasan and J. Newman, Discharge model for the lithium iron-phosphate electrode, J. Electrochem. Soc. 151:A1517–A1529, 2004. doi:10.1149/1.1785012 V. Rao, G. Singhal, A. Kumar and N. Navet, Battery model for embedded systems, VLSI Des. 105–110, 2005. doi:10.1109/ICVD.2005.61 S. Dargavillez and T. W. Farrell, Predicting active material utilization in LiFePO$_4$ electrodes using a multiscale mathematical model, J. Electrochem. Soc. 157:A830–A840, 2010. doi:10.1149/1.3425620 R. Rao, S. Vrudhula and D. N. Rakhmatov, Battery modeling for energy-aware system design, Computer 36:77–87, 2003. doi:10.1109/MC.2003.1250886 M. Chen and G. A. Rincon-Mora, Accurate electrical battery model capable of predicting runtime and i-v performance, IEEE T. Energy Conver. 21:504–511, 2006. doi:10.1109/TEC.2006.874229 L. Gao, S. Liu and R. A. Dougal, Dynamic lithium-ion battery model for system simulation, IEEE T. Compon. Pack. T. 25:495–505, 2002. doi:10.1109/TCAPT.2002.803653 V. Agarwal, K. Uthaichana, R. A. DeCarlo and L. H. Tsoukalas, Development and validation of a battery model useful for discharging and charging power control and lifetime estimation, IEEE T. Energy Conver. 25:821–835, 2010. doi:10.1109/TEC.2010.2043106 B. Schweighofer, K. M. Raab and G. Brasseur, Modeling of high power automotive batteries by the use of an automated test system, IEEE T. Instrum. Meas. 52:1087–1091, 2003. doi:10.1109/TIM.2003.81482

Association between plasma levels of hyaluronic acid and functional outcome in acute stroke patients

BACKGROUND: Activation of hyaluronic acid (HA) and associated enzyme synthesis has been demonstrated in experimental stroke animal models. Our study aimed to investigate the plasma levels of HA in acute stroke patients and the associations between HA levels and functional outcome. METHODS: This was a multicenter case–control study. Acute stroke patients and age- and sex-matched non-stroke controls were recruited. Plasma levels of HA in acute stroke patients were determined at <48 hours and at 48 to 72 hours after stroke onset by standard ELISA. Favorable functional outcome was defined as modified Rankin scale ≤2 at 3 months after stroke. RESULTS: The study included 206 acute stroke patients, including 43 who had intracerebral hemorrhage and 163 who had ischemic stroke, and 159 controls. The plasma levels of HA in the acute stroke patients were significantly higher than those in the controls (219.7 ± 203.4 ng/ml for <48 hours and 343.1 ± 710.3 ng/ml for 48 to 72 hours versus 170.4 ± 127.9 ng/ml in the controls; both P < 0.05). For intracerebral hemorrhage patients, HA ≤500 ng/ml (<48 hours) was an independent favorable outcome predictor (P = 0.016). For ischemic stroke patients, an inverted U-shaped association between plasma HA (48 to 72 hours) and outcome was noted, indicating that ischemic stroke patients with too high or too low plasma HA levels tended to have an unfavorable outcome. CONCLUSION: HA plasma level was elevated in patients with acute stroke, and can predict 3-month functional outcome, particularly for patients with intracerebral hemorrhage

Effect of single-walled carbon nanotube sub-carbon additives and graphene oxide coating for enhancing the 5 V LiNi0.5Mn1.5O4 cathode material performance in lithium-ion batteries

High-voltage spinel LiNi0.5Mn1.5O4 (LNMO) is a promising cathode material for next-generation lithium-ion batteries (LIBs), but its poor cycle performance has impeded its commercialization. In this study, we developed highly stable LNMO cathode materials having an octahedral morphology through a solid-state high-energy ball-mill–cum–spray-drying method. We also developed a novel strategy for modifying this cathode material with two kinds of carbon materials, thereby improving the electrochemical cycling performance. Introducing single-walled carbon nanotubes (SWCNTs) as a sub-carbon conductive additive during the slurry preparation process improved the conductivity of electrons between the particles of the cathode material. The LNMO electrode modified with the SWCNT sub-carbon additives exhibited an average Coulombic efficiency of 99.4% after 500 cycles at 1C, compared with 98.9% for the pristine LNMO-based electrode. Furthermore, we used a wet-chemical method to coat graphene oxide (GO) onto the post-sintered LNMO cathode material to act as a protective layer, preventing corrosion induced by HF in the electrolyte. The capacity retention of the GO-coated LNMO electrode after 500 cycles at 1C (91.8%) was higher than that of the pristine LNMO (52.5%). The corresponding dual-modification strategy, combining the SWCNTs and GO, provided LNMO cathode materials exhibiting superior rate performance and cyclability, with an average Coulombic efficiency of 99.3% and capacity retention of 92.9% after 500 cycles at 1C. Thus, the LNMO cathode materials prepared in this study possessed excellent electrochemical properties favoring their marketability, applicability, and competitiveness for application in high-voltage LIBs

MoO3 nanoparticle coatings on high-voltage 5 V LiNi0.5 Mn1.5 O4 cathode materials for improving lithium-ion battery performance

To reduce surface contamination and increase battery life, MoO3 nanoparticles were coated with a high-voltage (5 V) LiNi0.5 Mn1.5 O4 cathode material by in-situ method during the high-temperature annealing process. To avoid charging by more than 5 V, we also developed a system based on anode-limited full-cell with a negative/positive electrode (N/P) ratio of 0.9. The pristine LiNi0.5 Mn1.5 O4 was initially prepared by high-energy ball-mill with a solid-state reaction, followed by a precipitation reaction with a molybdenum precursor for the MoO3 coating. The typical structural and electrochemical behaviors of the materials were clearly investigated and reported. The results revealed that a sample of 2 wt.% MoO3-coated LiNi0.5 Mn1.5 O4 electrode exhibited an optimal electrochemical activity, indicating that the MoO3 nanoparticle coating layers considerably enhanced the high-rate charge–discharge profiles and cycle life performance of LiNi0.5 Mn1.5 O4 with a negligible capacity decay. The 2 wt.% MoO3-coated LiNi0.5 Mn1.5 O4 electrode could achieve high specific discharge capacities of 131 and 124 mAh g−1 at the rates of 1 and 10 C, respectively. In particular, the 2 wt.% MoO3-coated LiNi0.5 Mn1.5 O4 electrode retained its specific capacity (87 mAh g−1) of 80.1% after 500 cycles at a rate of 10 C. The Li4 Ti5 O12 /LiNi0.5 Mn1.5 O4 full cell based on the electrochemical-cell (EL-cell) configuration was successfully assembled and tested, exhibiting excellent cycling retention of 93.4% at a 1 C rate for 100 cycles. The results suggest that the MoO3 nano-coating layer could effectively reduce side reactions at the interface of the LiNi0.5 Mn1.5 O4 cathode and the electrolyte, thus improving the electrochemical performance of the battery system

Association between genetic variant on chromosome 12p13 and stroke survival and recurrence: a one year prospective study in Taiwan

<p>Abstract</p> <p>Background</p> <p>The association between ischemic stroke and 2 single nucleotide polymorphisms (SNPs) on chromosome 12p13, rs12425791 and rs11833579 appears inconsistent across different samples. These SNPs are close to the ninjurin2 gene which may alter the risk of stroke by affecting brain response to ischemic injury. The purpose of this study was to investigate the association between these two SNPs and ischemic stroke risk, as well as prognostic outcomes in a Taiwanese sample.</p> <p>Methods</p> <p>We examined the relations of these two SNPs to the odds of new-onset ischemic stroke, ischemic stroke subtypes, and to the one year risk of stroke-related death or recurrent stroke following initial stroke in a case-control study. A total of 765 consecutive patients who had first-ever ischemic stroke were compared to 977 stroke-free, age-matched controls. SNPs were genotyped by Taqman fluorescent allelic discrimination assay. The association between ischemic stroke and SNPs were analyzed by multivariate logistic regression. Cox proportional hazard model was used to assess the effect of individual SNPs on stroke-related mortality or recurrent stroke.</p> <p>Results</p> <p>There was no significant association between SNP rs12425791 and rs11833579 and ischemic stroke after multiple testing corrections. However, the marginal significant association was observed between SNP rs12425791 and large artery atherosclerosis under recessive model (OR, 2.30; 95%CI, 1.22-4.34; q-value = 0.062). Among the 765 ischemic stroke patients, 59 died or developed a recurrent stroke. After adjustment for age, sex, vascular risk factors and baseline stroke severity, Cox proportional hazard analysis indicated that the hazard ratios were 2.76 (95%CI, 1.34-5.68; q-value, 0.02) and 2.15 (95%CI, 1.15-4.02; q-value, 0.03) for individuals with homozygous variant allele of rs12425791 and rs11833579, respectively.</p> <p>Conclusions</p> <p>This is a precedent study that found genetic variants of rs12425791 and rs11833579 on chromosome 12p13 are independent predictors of stroke-related mortality or stroke recurrence in patients with incident ischemic stroke in Taiwan. Further study is needed to explore the details of the physiological function and the molecular mechanisms underlying the association of this genetic locus with ischemic stroke.</p