Chemical investigation into the ethyl acetate extract of endophytic fungus Corynespora olivacea (V18) associated with Vochysia divergens identified compounds 1 and 2. The were characterized by spectroscopic methods including NMR (1D 2D) HRMS. cytotoxicity crude isolated against normal human lung fibroblast cells, lineage GM07492A, was evaluated XTT assay. To best our knowledge, this is first ch...

This paper presents a new approach to the issue of assuring rule-based systems (RBS) correctness. The principal idea is that verification should be performed on-line, incrementally, during system design. It allows for early detection and handling of knowledge base anomalies and inconsistencies by incorporating a formal Prolog-based analysis of RBS in the design phase. A formal concept of a desi...

In this paper certain knowledge and software engineering methods integration issues are discussed. The principal idea is to consider an effective design and implementation framework for rule design with UML, and implementation with Java. The solution proposed in the paper consists of using a custom knowledge engineering design method for rules in the design stage. The rule base is then transfor...

LY 303366, an inhibitor of 1, 3-beta-D-glucan synthase, was tested alone, or in co-culture with neutrophils or monocytes, for antifungal activity against Aspergillus fumigatus using the XTT metabolism assay. LY 303366 at 0.1 mg/L for 48 h significantly inhibited growth by conidia in a microtest plate XTT assay system. Inhibition was similar if the drug was removed after only 24 h. Microscopical...

OBJECTIVE Notch is known as a transmembranous receptor family with four homologous forms - Notch 1, Notch 2, Notch 3, and Notch 4 and related to cell fate regulation and angiogenesis. The purpose is to investigate the effect of follicular stimulating hormone (FSH) on the Notch 1 expression and proliferation in ovarian cancer cells. METHODS Human ovarian cancer cell line, SK-OV-3 and FSH were ...

Biofunctionalized gold and silver nanoparticles synthesized using different plant extracts of guava and clove in vitro anti-cancer efficacy against four different cancer cell lines human colorectal adenocarcinoma, human kidney, human chronic myelogenous, leukemia, bone marrow, and human cervix have been studied and reported. The present experimental study suggests that flavonoids functionalized...

The paper presents a pure Prolog-based API for controlling the LEGO Mindstorms NXT robot platform. In the paper the design as well the implementation is described, with an example algorithm presented. The API uses a multilayer architecture, composed of a behavioral, sensomotoric, and connection layer. This platform can be used as a generic solution for programming the NXT in Prolog. It also ser...

An algorithm is given for deciding existential formulas involving addition and the divisibility relation over the natural numbers. In this paper it will be shown that there is an algorithm for deciding formulas of the form k 0) 3x,.3x„6N A /,(*.,..., xn)\g¡(xx, ...,xtt) /-I in N (the natural numbers), where the / and g¡ are linear polynomials with integer coefficients. (a\b means "a divides b"....

In this paper knowledge representation and inference issues for rule-based systems are discussed. The paper deals with improving the logical calculus of Set Attributive Logic founding an expressive rule language XTT. Representation extensions are introduced, and practical inference rules provided. The original includes an extended state specification, as well as interpreter design. Examples of ...