– The module extraction problem: given a terminology T1 and a signature Σ, extract from T1 a minimal self-contained terminology T0 such that T1 and T0 imply the same dependencies between Σ-terms. – The logical diff problem: given a signature Σ and two versions T0 and T1 of a terminology, check whether T0 and T1 are logically different in the sense that they do not imply the same dependencies be...

With the recent interest in closed-loop control using standard wireless networks, there is need for accurate network modelling to study the dynamic interaction between the network protocol and the control system. We present a co-simulation tool, written as a C MEX S-function within Simulink, that emulates a networked control system (NCS) with mixed-traffic stations on an IEEE 802.11b wireless n...

Objetives. To determine the correlation between prolactin levels and disease activity classified based on Mexican lupus erythematosus systemic index (MEX SLEDAI). Methods. In this cross-sectional observational study, serum prolactin, age, sex, treatment, as well manifestations of active were determined. Disease was evaluated using Systemic Lupus Erythematosus Activity Index (MEX-S...

Introduction Implementation of floating point in FPGA (Field Programmable Gate Arrays) is not easy. Paper presents FPGA core implementing these operations by representation of floating point numbers as 32-bit integer (fixed point) logarithm [1]. Basic arithmetical operations are performed in the logarithm numbering system (LNS) suitable for FPGA. Implemented intellectual property core takes jus...

The paper briefly introduces examples of high-level model-based control ( Sliding Mode Control – SMC and Generalized Predictive Control – GPC ) applied to the redundant parallel robots. The objective is a presentation of using MATLAB – SIMULINK environment for real-time simulation and visualization of control of these robots. Implementation is accomplished by combination of C MEX S-Functions an...

a Research Office, Hospital General de México O.D., Mexico City, Mexico b Department of Endoscopy, Instituto Nacional de Cancerología, Mexico City, Mexico c Medical Biological Research Institute, Universidad Veracruzana, Veracruz, Ver., Mexico d Department of Clinical Studies, Takeda-México, Naucalpan, Edo. Mex., Mexico e Medical Office, Takeda-México, Naucalpan, Edo. Mex., Mexico f Laboratory ...

Human lymphoid cell lines contain a DNA repair enzyme which removes the mutagenic alkylation lesion O6-methylguanine from DNA. The enzyme transfers the methyl group to a protein cysteine residue, generating S-methylcysteine, and is inactivated as a consequence of the reaction. Apparently the methylated enzyme represents a dead-end complex. The transfer reaction is very rapid and is completed in...

P granules are non-membrane-bound RNA-protein compartments that are involved in germline development in C. elegans. They are liquids that condense at one end of the embryo by localized phase separation, driven by gradients of polarity proteins such as the mRNA-binding protein MEX-5. To probe how polarity proteins regulate phase separation, we combined biochemistry and theoretical modeling. We r...

Neem oil is obtained from the seeds of the tree Azadirachta indica. Its chemical composition is very complex, being rich in terpenoids and limonoids, as well as volatile sulphur modified compounds. This work focused on the evaluation of a component of the whole Neem oil obtained by methanolic extraction and defined as MEX. Cytotoxicity was assessed on two different cell populations: a stabilize...