La semántica de modelos para la lógica de predicados monádicos de primer orden, es caracterizada por una herramienta de inferencia visual llamada árboles de forzamiento semántico para la lógica de predicados monádicos. Las fórmulas que resultan válidas (o inválidas) mediante los árboles de forzamiento semántico, coinciden con las fórmulas válidas (o inválidas) mediante la semántica de valoraciones usual. En el caso que, una fórmula sea inválida mediante un árbol de forzamiento, un modelo que la refuta está determinado por las marcas de las hojas de este árbol. Este resultado es extendido a la semántica de modelos para la lógica de predicados diádicos de primer orden con 2 variables.

Los hongos micorrízicos arbusculares se han convertido en una solución prometedora y ambientalmente amigable para la agricultura sostenible. Esta investigación tuvo objetivo evaluar la respuesta de plantas del cultivar L-43 de tomate (Solanum lycopersicum L.) a la inoculación de tres cepas de hongos micorrízicos arbusculares. El experimento se estableció sobre un diseño completamente al azar con cuatro tratamientos y cinco réplicas. Se analizaron las variables de crecimiento longitud y grosor del tallo, número de hojas, área foliar y la biomasa. También se estimó la colonización micorrízica en el sistema radical de las plantas. Las tres cepas de micorrizas (INCAM-2, INCAM-4 e INCAM-11) favorecieron el desarrollo vegetativo de las plantas de tomate, con un incremento de la biomasa fresca y seca total de más del 15 % respecto al control (sin inoculación). Sin embargo, puede ser superior en el sistema radical debido a una correlación positiva con la colonización micorrízica. Esta última excedió 35 % en el sistema radical de las plantas, aunque su efecto sobre el crecimiento fue más evidente en las cepas INCAM-2 e INCAM-4. Los resultados sugieren la posibilidad de empelarlas como alternativas de biofertilización en este cultivar.

La situación actual del Bosque Seco Tropical (Bs-T) es preocupante, al ser uno de los ecosistemas en más alto riesgo, con pequeños remanentes en matrices inconexas. En el conocimiento de mariposas diurnas, países como Costa Rica han trazado objetivos ambiciosos integrando en los inventarios códigos de barras de ADN, reconocimiento de formas inmaduras y plantas hospedantes; ocupando uno de los primeros lugares con información pública integral, validando el uso de las mariposas diurnas y su información genética no solo como organismos objetivo de la conservación, sino también como herramientas de monitoreo. En Colombia, los esfuerzos son incipientes, pero de importancia. En este artículo se ilustran los enfoques de inventarios de mariposas de Bs-T en ambos países, las metodologías usadas, las intensidades de muestreo y los objetivos planteados. A la fecha, en Costa Rica existen secuencias de códigos de barras para 26.480 individuos y datos que integran morfología, molecular y estados inmaduros para 537 especies. Para Colombia el número de especies de Bs-T es aproximadamente 662, habiendo iniciado recientemente la incorporación de códigos de barras con 1.693 secuencias disponibles que corresponden a 173 especies. Al comparar las especies características de Bs-T se registran 120 especies en común, para las cuales Costa Rica ha documentado la biología y ecología incluyendo plantas hospedantes.

Plant virus nanoparticles (VNPs) such as Cowpea Mosaic Virus (CPMV) can be used for a broad range of medical applications because they are inexpensive to produce, safe, biodegradable, and efficacious as treatments. Additionally, they can be easily modified chemically and genetically. Thus providing an efficient drug delivery platform can target specific cells and tissues. This paper explores the use of CPMV as epitope-carrying nanoparticles for two new chloroquine derivatives and as a new tool in breast cancer therapy. Two derivatives derived from the reaction of 4,7-dichloroquine with (doxorubicin and docetaxel) which were synthesised and fully characterized in previous work to produce (CQ-DOX and CQ-DOC) were conjugated to the external carboxylates of CPMV. The number of each derivative has been calculated by using a florescent dye to be 87± 2 and 79±1, respectively. The effectivity of attached and unattached CQ-compounds to the CPMV,s surface was investigated by MTT assay and ADPI loaded stain, and the IC50 for each CQ-derivative with and without conjugation with CPMV was evaluated to be (70.395µg/ml for CQ-DOX and 14.384µg/ml for CQ-DOC) before modification while, cytotoxic activity enhanced after modification to be 0.015 nM and 0.038 nM respectively.

This study revolves around calculating some physical parameters like depth microwave penetration of the liver in rats laboratory at frequencies (8.2, 9.2 and 10.2) GHZ within the X-band and the relationship between it and the electrical properties of the skin such as ε' insulation constant, ε" loss factor, and σ electrical conductivity. Both ε and ε were measured using the cavity disturbance method at a frequency (10.201 GHZ) by taking a liver sample the size of the cavity hole and placing it inside the aperture and the value of both ε'=2.83 and ε"= 0.849 The connectivity values were calculated by frequencies used (8.2, 9.2, 10.2) GHZ, reaching (0.387, 0.434, and 0.482) S/m, respectively. The results showed that the electrical connectivity is directly commensurate with frequency and loss factor, while the penetration depth is inversely commensurate with frequency.