2,150 research outputs found
Failure prediction of a plate weakened by an elliptic hole under thermal or mechanical load.
No full textMultiobjective optimization of tibial locking screw design using a genetic algorithm: Evaluation of mechanical performance.
No full textIncreasing bending strength of tibial locking screws: Mechanical tests and finite element analyses.
No full textCk-Log, A Calculus for Knowledge Processing in Logic
No full textThis paper introduces the principal concepts in the organization and operation of the logic based knowledge processing system, called CK-LOG (A Calculus for Knowledge in Logics). CK-LOG uses the frame based system MDS (the Meta Description System) for knowledge representation and for modeling world states. It uses an inference engine based on Natural Deduction for stating and solving problems. As a knowledge processing system CK-LOG has several capabilities, which are new to the technology of knowledge representation systems: CK-LOG has special facilities to represent and reason about actions and their time dependencies. Actions that occur in a world state may create or destroy objects in the world or modify their properties, or prevent or support other actions. The effects of actions are described in CK-LOG using modal operators like CREATE, DESTROY, PREVENT, SUPPORT, KEEP, etc. These operator expressions are also used to represent and reason about possible worlds that the actions might lead to. Most significantly, CK-LOG is a logic-based knowledge processing system, just as PROLOG is logic based programming system. CK-LOG uses a three valued logical system with truth values T (true),? (Unknown) and F (false) to build partial models of world states, and the two valued logic's system of T and F in its theorem proving System. The use of the three valued logical system in its models of world states enables CK-LOG to do problem solving in the context of incomplete information about world states. The theorem proving system of CK-LOG uses a variant of the calculus of sequents first proposed by Kanger (which itself is a variant of Gentzen's system). The two variations in CK-LOG are, (i). the use of a new algorithm called the mating algorithm for testing proof terminations, and (ii) the use of specialized inference rules for reasoning about modal expressions using the possible world semantics.. The mating algorithm gives the theorem proving system of CK-LOG several new capabilities: to identify information that is pertinent to a given problem and retrieve it from its knowledge base, to update its models of possible worlds during the problem solving process based on the findings of the theorem proving system, to use these models of world states to test proof terminations, and to generate hypotheses during the problem solving process that are based on unknown information. These various features of CK-LOG are described here. The paper concludes with a discussion of the logic of frames as used in CK-LOG and establishes a condition called locality condition as a sufficient condition for creating knowledge representations with requisite completeness.Technical report DCS-TR-15
Highly parallel and energy-efficient exhaustive minimum distance search engine using hybrid digital/analog circuit techniques
No full textA minimum distance search engine (MDSE) is presented as a hardware. accelerator for various exhaustive pattern-matching systems. This chip executes highly parallel computations of L-1-norms between an input query and stored multiple reference records, and searches for the minimum distance among them in a highly parallel fashion. Our architectural-level estimation shows that this MDSE can reduce energy dissipation by orders of magnitude as the number of records increases, compared with the conventional systems. We have designed a prototype 4-bit 8-word MDSE composed of merged memory logic (MML) and digital/analog-mixed winner-take-all circuit (DAM-WTAC) by using hybrid digital/analog circuit techniques. It was fabricated with a 0.6-mum single-poly triple-metal CMOS technology. Experimental results show that our chip works properly at 3 V/10 MM and has approximately four times larger throughput as well as four times higher energy efficiency, compared with the existing 8-bit microcontrollers.The author would like to thank MICROS, IDEC and Samsung Electronics
Company for their support. They would also like to thank the
reviewers for their valuable comments and Dr. K. Kim, Samsung Electronics
Company, for useful discussion
Kaplan–Meier curves based on CK-19 expression level.
No full text<p>(A) Early recurrence disease-free survival curves. (B) Disease-free survival curves. (C) Overall survival curves. (A) Early recurrence rate in CK-19<sup>+</sup> patients was significantly higher than that in CK-19<sup>–</sup> patients (log-rank test <i>P =</i> 0.000). Survival of CK-19<sup>+</sup> patients was significantly shorter than that of CK-19<sup>–</sup> patients (DFS: log-rank test <i>P =</i> 0.010; OS: log-rank test <i>P =</i> 0.001).</p
LA reduces LDH and CK release.
No full text<p>LA reduced CK and LDH level after I/R injury in rat serum. PI3K inhibitor wortmannin cotreatment statistically increased the release of LDH and CK compared with LA treated alone. The columns and errors bars represent means and SEM. *<i>p</i><0.05 vs sham I/R, <sup>#</sup><i>p</i><0.05 vs I/R+V, <sup>ψ</sup><i>P</i><0.05 vs I/R+LA.</p
Average rank comparisons for different CK-related methods and classifiers.
No full textAverage rank comparisons for different CK-related methods and classifiers.</p
Protective Effect of Ginsenoside CK against Autoimmune Hepatitis Induced by Concanavalin A
No full textGinsenoside CK, a kind of rare ginsenoside transformed from protopanaxadiol saponins extracted from the genus Panax, has been proven to possess favorable bioactivities such as anti-inflammatory, anti-cancer, anti-diabetes, and hepatoprotective effects. The current study is targeted to determine the effect of ginsenoside CK on hepatitis induced by concanavalin A (Con A). Mice were treated with different dosages of ginsenoside CK for 7 days, and Con A (15 mg/kg) was intravenously injected to induce autoimmune hepatitis (AIH) after the last administration. The results demonstrated that pretreatment with ginsenoside CK (40 mg/kg) could obviously ameliorate the increase in serum indicators related to liver function such as AST, ALT, and ALP, and hepatic lesions induced by Con A. Meanwhile, ginsenoside CK suppressed hepatocyte apoptosis, which was observed in pathological data, and immunoblotting results showed that the expression of Bax, Bcl-2, and other proteins was regulated by CK. Furthermore, the release of inflammatory cytokines such as tumor necrosis factor-α (TNF-α) and IL-6 in mice with AIH were lowered by the administration of 40 mg/kg of ginsenoside CK. Furthermore, ginsenoside CK elevated the gene expression of Nrf2 and Sirt1 and augmented downstream target genes such as HO-1. In addition, a significant inhibition effect of the TLR4/NF-κB signal was observed in 40 mg/kg CK-pretreated mice compared with the model group. To sum up, the results indicated that ginsenoside CK has a notable hepatoprotective effect against AIH by activating Sirt1/Nrf2 and suppressing the TLR4/NF-κB signaling pathway
Ginsenoside CK inhibits androgenetic alopecia by regulating Wnt/β‐catenin and p53 signaling pathways in AGA mice
No full textAbstract Androgenetic alopecia (AGA) is one of the most common chronic skin diseases caused by the destruction of androgens in the body. It is caused by the excessive deposition of dihydrotestosterone around the hair follicle, resulting in hair follicle atrophy and hair cell apoptosis. It causes great anxiety and psychological distress to patients and affects sexual function in severe cases. As traditional Chinese herbs, ginsenosides have been proven to possess various pharmacological activities. Ginsenoside CK is one of the main ginsenosides, but its role and molecular mechanism in treating AGA remain unclear. Here, we found that ginsenoside CK intervention significantly reduced back hair loss in AGA mice, improved sexual organ damage and hair follicle cell apoptosis, and promoted hair growth in AGA mice. Ginsenoside CK treatment inhibited p53 expression, reduced the apoptosis of hair follicle cells induced by hormone deposition, activated the Wnt/β‐catenin cell proliferation signaling pathway, increased the level of vascular endothelial growth factor, promoted cell proliferation, and improved the atrophy of hair follicle tissue. Ginsenoside CK treatment also reduced testosterone levels in AGA mice, improved testicular tissue inflammation, and restored normal hormone metabolism in AGA mice. Our results indicated that ginsenoside CK reduced hair follicle cell apoptosis, promoted proliferation and development, and prolonged the hair growth cycle by regulating the Wnt and p53 signaling pathways, indicating the potential value of ginsenoside CK as a natural therapeutic agent for AGA
- …
