4,678 research outputs found
Research of marine dinoflagellate bioactive compounds in Taiwan, Proc. Int. Commem. Sym. 70 th Ann. Jap. Soc. Fish. Sci.
Suppression of host Th1-type granulomatous inflammation by Taenia solium metacestodes is related to down-regulation of osteopontin gene expression.
Ck-Log, A Calculus for Knowledge Processing in Logic
This 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
REE and Hf distribution among mineral phases in the CV-CK clan : a way to explain present-day Hf isotopic variations in chondrites
Chondrites are among the most primitive objects in the Solar System and constitute the main building blocks of telluric planets. Among the radiochronometers currently used for dating geological events, Sm–Nd and Lu–Hf are both composed of refractory, lithophile element. They are thought to behave similarly as the parent elements (Sm and Lu) are generally less incompatible than the daughter elements (Nd and Hf) during geological processes. As such, their respective average isotopic compositions for the solar system should be well defined by the average of chondrites, called Chondritic Uniform Reservoir (CHUR). However, while the Sm–Nd isotopic system shows an actual spread of less than 4% in the average chondritic record, the Lu–Hf system shows a larger variation range of 28% [Bouvier A., Vervoort J. D. and Patchett P. J. (2008) The Lu–Hf and Sm–Nd isotopic composition of CHUR: Constraints from unequilibrated chondrites and implications for the bulk composition of terrestrial planets. Earth Planet. Sci. Lett.273, 48–57]. To better understand the contrast between Sm–Nd and Lu–Hf systems, the REE and Hf distribution among mineral phases during metamorphism of Karoonda (CK) and Vigarano-type (CV) carbonaceous chondrites has been examined. Mineral modes were determined from elemental mapping on a set of five CK chondrites (from types 3–6) and one CV3 chondrite. Trace-element patterns are obtained for the first time in all the chondrite-forming minerals of a given class (CK chondrites) as well as one CV3 sample. This study reveals that REE are distributed among both phosphates and silicates. Only 30–50% of Sm and Nd are stored in phosphates (at least in chondrites types 3–5); as such, they are not mobilized during early stages of metamorphism. The remaining fraction of Sm and Nd is distributed among the same mineral phases; these elements are therefore not decoupled during metamorphism. Of the whole-rock total of Lu, the fraction held in phosphate decreases significantly as the degree of metamorphism increases (30% for types 3 and 4, less than 5% in type 6). In contrast to Lu, Hf is mainly hosted by silicates with little contribution from phosphates throughout the CK metamorphic sequence. A significant part of Sm and Nd are stored in phosphates in types 3–5, and these elements behave similarly during CK chondrite metamorphism. That explains the robustness of the Sm/Nd ratios in chondrites through metamorphism, and the slight discrepancies observed in the present-day isotopic Nd values in chondrites. On the contrary, Lu and Hf are borne by several different minerals and consequently they are redistributed during metamorphism–induced recrystallization. The Lu/Hf ratios are therefore significantly disturbed during chondrites metamorphism, leading to the high discrepancies observed in present-day Hf isotopic values in chondrites
Highly parallel and energy-efficient exhaustive minimum distance search engine using hybrid digital/analog circuit techniques
A 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
A high serum creatine kinase (CK)-MB-to-total-CK ratio in patients with pancreatic cancer: a novel application of a traditional marker in predicting malignancy of pancreatic masses?
BACKGROUND: The finding that some benign pancreatic masses mimic the imaging appearance of carcinomas poses a challenge for pancreatic surgeons. Preoperative markers that assist in the diagnosis are critical under this circumstance. Abnormal serum creatine kinase (CK) isozyme levels were reported in cancer patients, and this study aimed to explore the potential value of the CK-MB-to-total-CK ratio (CK ratio) in differentiating pancreatic cancer (PC) from benign masses when combined with carbohydrate antigen 19-9 (CA19-9). METHODS: A total of 190 patients primarily diagnosed with pancreatic masses were retrospectively reviewed and assigned to the PC group and the benign pancreatic mass (BPM) group. Sixty-eight controls were enrolled for comparison. Levels of preoperative parameters, including total serum CK, CK-MB, absolute neutrophil count, absolute lymphocyte count, albumin, and CA19-9, were recorded as well as pathological information. A logistic regression model was established to assess the application value of the combination of CA19-9 and the CK ratio in diagnosis. Receiver operating characteristic (ROC) curves were constructed to evaluate the diagnostic value of the markers. RESULTS: The CK ratio was significantly elevated in the PC group compared with the BPM group (P < 0.001). In the multivariate analysis, a CK ratio greater than 0.220 was a statistically significant variable for predicting malignancy of pancreatic masses (P=0.001). Patients with stage III/IV PC had a higher CK ratio than those with stage I/II PC (P<0.01). Combined detection of CA19-9 and the CK ratio produced an increased Youden index (0.739 vs. 0.815) with improved sensitivity (82.2% vs. 89.8%). CONCLUSIONS: The CK ratio is elevated in patients with pancreatic adenocarcinoma and is an independent factor predicting pancreatic adenocarcinoma. The CK ratio augments the diagnostic capacity of CA19-9 in detecting malignancy
Involvement of p29 in DNA damage responses and Fanconi anemia pathway.
[[sponsorship]]生物化學研究所[[note]]已出版;[SCI];有審查制度;具代表性[[note]]http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Drexel&SrcApp=hagerty_opac&KeyRecord=0143-3334&DestApp=JCR&RQ=IF_CAT_BOXPLO
- …
