Rete Algorithm Applied to Robotic Soccer

This article is a first approach to the use of Rete algorithm to design a team of robotic soccer playing agents for Robocup Soccer Server. Rete algorithm is widely used to design rule-based expert systems. Robocup Soccer Server is a system that simulates 2D robotic soccer matches. The paper presents an architecture based on CM United team architecture for Robocup Soccer Server simulation system. It generalizes the low-level information received by the agent as high-level soccer concepts. This way it can take advantage of expert system design techniques

KRRT: Knowledge Representation and Reasoning Tutor System

Knowledge Representation & Reasoning (KR&R) is a fundamental topic in Artificial Intelligence. A basic KR language is First– Order Logic (FOL), the most representative logic–based representation language, which is part of almost any introductory AI course. In this work we present KRRT (Knowledge Representation & Reasoning Tutor). KRRT is a Web–based system which main goal is to help the student to learn FOL as a KR&R language.Ministerio de Educación y Ciencia TIN2004–0388

Informe preliminar sobre una tromba marina de categoría ef1, el 27 de noviembre de 2014 en la provincia de málaga

El objetivo de este documento es la descripción somera de las principales características de un evento de vientos locales muy intensos que el día 27 de noviembre 2014 afectó a los términos municipales de Torremolinos y Málaga, entre las 7 y 7:20 h.l., aproximadamente. Todo ello se realiza en virtud de la información actual disponible en el Centro Meteorológico de Málaga, elaborándose un diagnóstico de lo que con mayor probabilidad pudo haber sucedido en este episodio meteorológico adverso que causó numerosos daños debido al intensísimo viento reinante en una zona muy localizada

Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT

In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a first step to formalize unconventional models of computation in ACL2. As an application of this model, an implementation of Lipton’s experiment solving SAT [7] is described, based on the formalization given in [6]. We use ACL2 to make a formal proof of the completeness and soundness properties of the function implementing the experimentMinisterio de Ciencia y Tecnología TIC2000-1368-CO3-0

Double fossilization in eukaryotic microorganisms from Lower Cretaceous amber

<p>Abstract</p> <p>Background</p> <p>Microfossils are not only useful for elucidating biological macro- and microevolution but also the biogeochemical history of our planet. Pyritization is the most important and extensive mode of preservation of animals and especially of plants. Entrapping in amber, a fossilized resin, is considered an alternative mode of biological preservation. For the first time, the internal organization of 114-million-year-old microfossils entrapped in Lower Cretaceous amber is described and analyzed, using adapted scanning electron microscopy in backscattered electron mode in association with energy dispersive X-ray spectroscopy microanalysis. Double fossilization of several protists included in diverse taxonomical groups and some vegetal debris is described and analyzed.</p> <p>Results</p> <p>In protists without an exoskeleton or shell (ciliates, naked amoebae, flagellates), determinate structures, including the nuclei, surface envelopes (cortex or cytoplasmic membrane) and hyaloplasm are the main sites of pyritization. In protists with a biomineralized skeleton (diatoms), silicon was replaced by pyrite. Permineralization was the main mode of pyritization. Framboidal, subhedral and microcrystalline are the predominant pyrite textures detected in the cells. Abundant pyritized vegetal debris have also been found inside the amber nuggets and the surrounding sediments. This vegetal debris usually contained numerous pyrite framboids and very densely packed polycrystalline pyrite formations infilled with different elements of the secondary xylem.</p> <p>Conclusion</p> <p>Embedding in amber and pyritization are not always alternative modes of biological preservation during geological times, but double fossilization is possible under certain environmental conditions. Pyritization in protists shows a quite different pattern with regard to plants, due to the different composition and cellular architecture in these microorganisms and organisms. Anaerobic sulphate-reducing bacteria could play a crucial role in this microbial fossilization.</p

Synthesis and exploration of the lubricating behavior of nanoparticulated Mo15S19 in linseed oil

Producción CientíficaMolybdenum chalcogenides present interesting properties beyond their superconducting critical temperatures and upper critical magnetic fields, making them suitable for potential applications in tribology, batteries, catalysis, or thermopower. In this study, Mo15S19 nanoparticles with an average diameter of 10 nm were synthesized via the reaction of ammonium molybdate with hydrochloric acid and elemental sulfur as reducers at 245 °C. The oxidation to MoO3 in air was efficiently avoided by using linseed oil as a reaction medium and dispersant. Scanning electron microscopy (SEM) micrographs of the as-prepared samples revealed the presence of few-micron-size aggregates, while transmission electron microscopy (TEM) characterization evidenced that the samples were polynanocrystalline with a high degree of homogeneity in size (standard deviation of 2.7 nm). The absence of the first-order (00l) reflection in the X-ray diffraction pattern was also indicative of the absence of Mo3S4 stacking, suggesting that it was a non-layered material. A dispersion of the nanoparticles in linseed oil has been studied as a lubricant of steel–steel sliding contacts, showing the formation of a surface layer that reduces wear and mean friction coefficients with respect to the base oil.QREN-Mais Centro (project ICT-2009-02-012-1980

Implementation of 3D Scanner and digital photogrammetry in the documentation process of La Merced Church, Panama

[EN] The process of writing a report about the captured data and the graphic documentation is an essential part of the study and intervention in built heritage. This is not only due to the need for describing the architectural form, but also to accurately measure the geometry, size and, especially, the formal alterations which may affect the building. In this regard, the laser and digital photogrammetric technology used in the data capture process has the following benefits: • It is an essential source of information when it comes to assessing structural deformation and all the pathologies that affect the building structures, thanks to the accuracy and endless possibilities of digitally processing the captured data. • By digitally processing the information we can build solid digital models, which allow us to elaborate intervention proposals and operating theories. The project carried out in La Merced Church, Panama, complemented and provided graphic and geometric support to the study on characterization and strength of materials performed by the experts from AIDICO (Construction Technology Institute, Valencia, Spain) about the structural condition of the building. The work also describes the methodology used on the geometric data capture, the resolution of the difficulties encountered during the process, as well as the development of virtual models of the temple’s structure and historical façade, which are reference documents for planning the construction project.[ES] En el proceso de estudio e intervención en el patrimonio edificado, la captura de datos y la documentación gráfica a redactar constituye un aspecto decisivo no solo por la necesidad de describir la forma arquitectónica, sino por cuantificar con precisión su geometría, dimensión y, de manera especial, las alteraciones formales que afectan al edificio. En este sentido las tecnologías láser y de fotogrametría digital usada en el registro de datos: • Constituye una especial fuente de información a la hora de valorar las deformaciones estructurales y todas aquellas patologías formales que afectan las estructuras del edificio, dadas las precisiones y posibilidades de procesado digital de los datos capturados. • El procesado digital de la información obtenida hace posible la construcción de modelos digitales sólidos, a partir de los que elaborar propuestas de intervención e hipótesis de funcionamiento. El trabajo realizado sobre la iglesia de la Merced en Panamá, complementa y da soporte gráfico y geométrico a los ensayos de caracterización y resistencia de materiales realizados por los expertos de AIDICO sobre el estado estructural del edificio. El texto expone el proceso metodológico desarrollado, la satisfacción de las dificultades surgidas en el proceso, así como el desarrollo de construcciones virtuales del sistema estructural del templo y de su fachada histórica, como documentos de referencia en la elaboración del proyecto de intervención arquitectónica.Martínez Rubio, J.; Fernández Martín, JJ.; San José Alonso, JI. (2018). Implementación de escáner 3d y fotogrametría digital para la documentación de la iglesia de La Merced de Panamá. EGA. Revista de Expresión Gráfica Arquitectónica. 23(32):208-219. doi:10.4995/ega.2018.9811SWORD2082192332Sánchez, J.I., SanJosé, J.I., Fernández, J.J; 2014: Ocho torres. Análisis sobre la evolución de campanarios del s. xvi en la provincia de Burgos. Departamento de publicaciones de la Universidad de Valladolid. Valladolid.Gasparini, G., Redondo, E., & Dávila, M. (2012). RECUPERACIÓN Y DIVULGACIÓN MEDIANTE TÉCNICAS DIGITALES DEL PATRIMONIO CULTURAL VENEZOLANO DESAPARECIDO. RECONSTRUCCIÓN VIRTUAL DEL TEMPLO DE SAN JACINTO, CARACAS. UN CASO DE ESTUDIO. EGA. Revista de expresión gráfica arquitectónica, 17(20). doi:10.4995/ega.2012.144

Modulation of secretion by the endoplasmic reticulum in mouse chromaffin cells

Producción CientíficaThe endoplasmic reticulum (ER) has been suggested to modulate secretion either behaving as a Ca2+ sink or as a Ca2+ source in neuronal cells. Working as a Ca2+ sink, through ER-Ca2+ pumping, it may reduce secretion induced by different stimuli. Instead, working as a Ca2+ source through the Ca2+ induced Ca2+ release (CICR) phenomenon, it may potentiate secretion triggered by activation of plasma membrane Ca2+ channels. We have previously demonstrated the presence of CICR in bovine chromaffin cells, but we now find that mouse chromaffin cells almost lack functional caffeine-sensitive ryanodine receptors in the ER and, consistently, no CICR from the ER could be observed. In addition, inhibition of ER Ca2+ pumping with ciclopiazonic acid or thapsigargin strongly stimulated high-K+-evoked catecholamine secretion and cytosolic [Ca2+] ([Ca2+]c) transients. Surprisingly, 5 mM caffeine reduced high-K+-induced [Ca2+]c peaks but considerably potentiated secretion induced by high-K+ stimulation. However, this potentiation was insensitive to ryanodine and additive to that induced by emptying the ER of Ca2+ with thapsigargin, suggesting that it is unrelated to the activation of ryanodine receptors. We conclude that, in mouse chromaffin cells, CICR is not functional and the ER strongly inhibits secretion by acting as a damper of the [Ca2+]c signal.2015-09-1

The Efficacy and Effectiveness of Education for Preventing and Treating Non-Specific Low Back Pain in the Hispanic Cultural Setting: A Systematic Review

A systematic review was conducted to assess the efficacy and effectiveness of education programs to prevent and treat low back pain (LBP) in the Hispanic cultural setting. Electronic and manual searches identified 1148 unique references. Nine randomized clinical trials (RCTs) were included in this review. Methodological quality assessment and data extraction followed the recommendations from the Cochrane Back Pain Review Group. Education programs which were assessed focused on active management (3 studies), postural hygiene (7), exercise (4) and pain neurophysiology (1). Comparators were no intervention, usual care, exercise, other types of education, and different combinations of these procedures. Five RCTs had a low risk of bias. Results show that: (a) education programs in the school setting can transmit potentially useful knowledge for LBP prevention and (b) education programs for patients with LBP improve the outcomes of usual care, especially in terms of disability. Education on pain neurophysiology improves the results of education on exercise, and education on active management is more effective than “sham” education and education on postural hygiene. Future studies should assess the comparative or summatory effects of education on exercise, education on pain neurophysiology and education on active management, as well as explore their efficiency