Báo cáo khoa học: "User-Defined Nonmonotonicity in Unification-Based Formalisms" pptx

... amalgamating or splitting axioms while leaving overall content unchanged (thus ensuring that exactly the same inferences are drawn by a reasoning engine); such rules are often used in reasoning algorithms. ... For instance, any set of SubClassOf axioms can be amalgamated into a single ‘metaconstraint’ (Horrocks, 1997) of the form   M, where  is the class containing all individuals in t...

Ngày tải lên: 20/02/2014, 04:20

... Computational Linguistics Managing Uncertainty in Semantic Tagging Silvie Cinkov ´ a and Martin Holub and Vincent Kr ´ ı ˇ z Charles University in Prague, Faculty of Mathematics and Physics Institute ... for develop- ing ontological and lexical resources in harmony. In 9th International Conference on Intelligent Text Processing and Computational Linguistics, pages 1–15. Berlin: Spring...

Ngày tải lên: 22/02/2014, 03:20

... community in the language-oriented fields has very little knowledge about using a computer to write interesting programs to gain a deeper understanding of the problems in their domain 2) ... their view of the computer being a giant adding machine with the more adequate view of being s general information processing device. We challenged their views thinking about the compute...

Ngày tải lên: 08/03/2014, 18:20

... l.fp(TG) = TG $ w. Following the paradigm 98 of logic programming languages, define a fix- point semantics for unification-based grammars by taking the least fixpoint of the parsing step operator ... operators are possible, too. In particular, it would be in- teresting to define an operator which combines the information encoded in two grammar rules, for example by unifying th...

Ngày tải lên: 08/03/2014, 06:20

... carcinomas; IAP, inhibitor of apoptosis protein; JNK, c-Jun NH 2 -terminal kinase; KIP, kinase inhibitor proteins; MEK, MAPK ⁄ ERK kinase; MKK, MAPK kinase; MKP-1, mitogen-activated protein kinase ... Japan Introduction The epidermal growth factor receptor (EGFR) is com- posed of an extracellular ligand-binding domain, a transmembrane domain and an intracellular tyrosine kinase domain. The bi...

Ngày tải lên: 16/02/2014, 09:20

... (2008) Mapping alpha-helical induced folding within the intrinsically dis- ordered C-terminal domain of the measles virus nucleo- protein by site-directed spin-labeling EPR spectroscopy. Proteins 73, ... B, Finet S & Longhi S (2005) The intrinsically disordered C-terminal domain of the measles virus nucleoprotein interacts with the C-terminal domain of the phosphoprotein via two distinct...

Ngày tải lên: 18/02/2014, 04:20

... are linked to accessory proteins (e.g. zonula occludens proteins and cingulin), forging a connection to the actin cytoskeletons of endothelial cells [8]. Occlu- din is an  65 kDa phosphoprotein ... Claudins are  22 kDa phosphoproteins that are thought to help maintain high transendothelial electrical resistance. Three types of claudins (claudin1 ⁄ 3, claudin5 and claudin12) are found in ....

Ngày tải lên: 18/02/2014, 11:20

... blood vessels in various tissues and organs, including the brain, is regulated by the VEGF system in combination with other signaling systems such as the angiopoietin–Tie, ephrin–Eph, Delta–Notch ... family members. By contrast, a pathological increase in the blood supply in the CNS is seen in brain tumors, in particular malignant gliomas. In phase II clinical trials, anti-VEGF...

Ngày tải lên: 18/02/2014, 11:20

... for t-PA-induced intracranial bleeding in mouse models of focal stroke [37]. In this model, co-treatment with the broad-spectrum MMP inhibitor GM6001 effectively reduced intracranial bleeding. More recently, ... metalloproteinases, their inhibitors, and laminin in stroke patients: in uence of different therapies. Stroke 34, 2165–2170. 26 Gu Z, Kaul M, Yan B, Kridel SJ, Cui J, Strongin...

Ngày tải lên: 18/02/2014, 11:20

... B do- mains being part of the phosphorylation chain and the EIIC domain representing the membrane domain. As all components of the PTS, depending on their phos- phorylation status, can interact ... transport protein for glucose uptake); FBA, flux balance analysis (tool to determine the flux distribution in cellular networks, requires steady-state conditions); HPr, histidine-containing protein...

Ngày tải lên: 18/02/2014, 13:20