A formal model for explicit knowledge as awareness of plus awareness that

Since the problem of logical omniscience was identified, several proposals have tried to model the knowledge of ‘real’ agents with limited reasoning abilities. One of the most important proposals, awareness logic, relies on the concept of awareness in order to distinguish what the agent ‘truly’ knows and what she could get out of it. Still, the notion of awareness can be interpreted in different ways: it can be understood as what the agent simply entertains, without having any attitude in favour or against (awareness of), but also as what she has consciously recognised as true (awareness that). A previous proposal introduced a combination of these two possible interpretations at a conceptual level. This presentation proposes a formal framework (a semantic model and a language to describe it) that captures these two interpretations of the notion of awareness, as well as the epistemic notions that arise from their combination, such as implicit knowledge, explicit knowledge or justification. The framework provides tools not only for understanding the notions’ subtle interaction, but also for representing some of the different epistemic actions (deductive inference, changes in awareness, external communication) that affect them.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

A video object generation tool allowing friendly user interaction

In this paper we describe an interactive video object segmentation tool developed in the framework of the ACTS-AC098 MOMUSYS project. The Video Object Generator with User Environment (VOGUE) combines three different sets of automatic and semi-automatic-tool (spatial segmentation, object tracking and temporal segmentation) with general purpose tools for user interaction. The result is an integrated environment allowing the user-assisted segmentation of any sort of video sequences in a friendly and efficient manner.Peer ReviewedPostprint (published version

G2-structures for N=1 supersymmetric AdS4 solutions of M-theory

We study the N=1 supersymmetric solutions of D=11 supergravity obtained as a warped product of four-dimensional anti-de-Sitter space with a seven-dimensional Riemannian manifold M. Using the octonion bundle structure on M we reformulate the Killing spinor equations in terms of sections of the octonion bundle on M. The solutions then define a single complexified G2-structure on M or equivalently two real G2-structures. We then study the torsion of these G2-structures and the relationships between them.Comment: 48 pages, updated references, corrected minor errors and typos, Class. Quantum Grav. (2018

Ganglion intraneural del nervio cubital: presentación de un caso

Se presenta un caso de un Tumor del Nervio Cubital que suele conocerse en la literatura como Ganglion Intraneural o Quiste mucoide de los nervios, y que es capaz de producir parálisis sensitiva y nerviosa. Se intenta diferenciarlos de los Gangliones sinoviales a través de un estudio de la bibliografía de todas las épocas, considerándose que se trata de degeneraciones del tejido conjuntivo nervioso que conducen a la metaplasia del tejido de sostén endo y perineural con vacuolización de los fibroblastos y producción de sustancia mucoide. En la revisión bibliográfica realizada no se encuentran más de una decena de casos con localización en el miembro superior y en el nervio cubital. Se esbozan los criterios de diagnóstico diferencial con otras minoraciones y lesiones de los nervios y se indica como tratamiento recomendable la exéresis quirúrgica.A case of Ganglion Mucoid Cyst of the Ulnar Nerve producing combined motor and sensory deficit is reported. Inthe bibliographic study is possible to do the differential diagnosis between this specific tumor and the common Ganglia of the tendon sheath. Its origine may be the neural conjuntive tissue degeneration whit subsecuent endo and perineural tissue metaplasia, fibroblastic cyst and production of mucoide substance. There are not more than ten similar cases published in the literature. Its diferential diagnosis and recomended treatment is presented

Celebrando los 50 años de la revista interamericana de psicologia/interamerican journal of psychology: un análisis de contenido

The Revista Interamericana de Psicologia/Interamerican Journal of Psychology (RIP/IJP) was first published in 1967. During its fifty-year history, the goal of the journal has been to promote collaboration and communication among psychologists on the Americas through the dissemination of theoretical and applied research. The authors reviewed 1,200 articles published in the RIP/IJP between 1967 and 2016 (Volumes 1-50). The articles were coded into seven main content categories, which included type of article, research design, sample characteristics, data collection strategies, data analysis, thematic analysis, and author’s characteristics and affiliations. Results indicated that up to date, 2,688 authors from 30 identified countries have contributed research on a diverse array of psychological topics on primarily three languages: Spanish, English, and Portuguese. Data also suggest these articles are characterized by a broad range of research methodologies, data collection procedures and analysis, and sample characteristics.La Revista Interamericana de Psicología/ /Interamerican Journal of Psychology (RIP/IJP) se publicó por primera vez en el 1967. Durante sus cincuenta años de historia, el objetivo de la revista ha sido promover la colaboración y la comunicación entre los psicólogos de las Américas a través de la difusion de investigaciones teoricas y aplicadas. Los autores revisaron 1.200 artículos publicados en el RIP/IJP entre 1967 y 2016 (volúmenes 1-50). Los artículos se codificaron en siete categorías principales de contenido que incluyeron el tipo de artículo, el diseño de la investigación, las características de la muestra, las estrategias de recopilación de datos, el análisis de datos, el análisis temático y las características y afiliaciones del autor. Los resultados indicaron que hasta la fecha, 2,688 autores de 30 países han contribuido con investigaciones sobre una gran variedad de temas psicológicos en principalmente tres idiomas: español, inglés y portugués. Los datos también sugieren que estos artículos se caracterizan por una amplia gama de metodologías de investigación, procedimientos y análisis de recopilación de datos y características de la muestra.Fil: Torres Fernandez, Ivelisse. New Mexico State University.; Estados UnidosFil: Polanco, Fernando Andrés. Universidad Nacional de San Luis. Facultad de Ciencias Físico Matemáticas y Naturales. Departamento de Informática. Laboratorio Investigación y Desarrollo en Inteligencia Computacional; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Luis; ArgentinaFil: Pereira, Steve R.. New Mexico State University.; Estados UnidosFil: Béria, Josiane Sueli. Universidad Nacional de San Luis. Facultad de Psicología. Departamento de Formación Profesional; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Luis; ArgentinaFil: Zapico, Martín Gonzalo. Universidad Nacional de San Luis; Argentin

Runx1 binds as a dimeric complex to overlapping Runx1 sites within a palindromic element in the human GM-CSF enhancer

Runx1 is a developmentally regulated transcription factor that is essential for haemopoiesis. Runx1 can bind as a monomer to the core consensus sequence TGTGG, but binds more efficiently as a hetero-dimer together with the non-DNA binding protein CBFβ as a complex termed core binding factor (CBF). Here, we demonstrated that CBF can also assemble as a dimeric complex on two overlapping Runx1 sites within the palindromic sequence TGTGGCTGCCCACA in the human granulocyte macrophage colony-stimulating factor enhancer. Furthermore, we demonstrated that binding of Runx1 to the enhancer is rigidly controlled at the level of chromatin accessibility, and is dependent upon prior induction of NFAT and AP-1, which disrupt a positioned nucleosome in this region. We employed in vivo footprinting to demonstrate that, upon activation of the enhancer, both sites are efficiently occupied. In vitro binding assays confirmed that two CBF complexes can bind this site simultaneously, and transfection assays demonstrated that both sites contribute significantly to enhancer function. Computer modelling based on the Runx1/CBFβ/DNA crystal structure further revealed that two molecules of CBF could potentially bind to this class of palindromic sequence as a dimeric complex in a conformation whereby both Runx1 and CBFβ within the two CBF complexes are closely aligned

Following de novo triglyceride dynamics in ovaries of Aedes aegypti during the previtellogenic stage

Understanding the molecular and biochemical basis of egg development is a central topic in mosquito reproductive biology. Lipids are a major source of energy and building blocks for the developing ovarian follicles. Ultra-High Resolution Mass Spectrometry (UHRMS) combined with in vivo metabolic labeling of follicle lipids with deuterated water (2H2O) can provide unequivocal identification of de novo lipid species during ovarian development. In the present study, we followed de novo triglyceride (TG) dynamics during the ovarian previtellogenic (PVG) stage (2–7 days post-eclosion) of female adult Aedes aegypti. The incorporation of stable isotopes from the diet was evaluated using liquid chromatography (LC) in tandem with the high accuracy (\u3c 0.3 ppm) and high mass resolution (over 1 M) of a 14.5 T Fourier Transform Ion Cyclotron Resonance Mass Spectrometer (14.5 T FT-ICR MS) equipped with hexapolar detection. LC-UHRMS provides effective lipid class separation and chemical formula identification based on the isotopic fine structure. The monitoring of stable isotope incorporation into de novo incorporated TGs suggests that ovarian lipids are consumed or recycled during the PVG stage, with variable time dynamics. These results provide further evidence of the complexity of the molecular mechanism of follicular lipid dynamics during oogenesis in mosquitoes

Author Correction: Following de novo triglyceride dynamics in ovaries of Aedes aegypti during the previtellogenic stage (Scientific Reports, (2021), 11, 1, (9636), 10.1038/s41598-021-89025-6)

In the original version of this Article Veronika Michalkova was incorrectly affiliated with ‘Institute of Parasitology, Biology Centre CAS, Ceske Budejovice, Czech Republic’. The correct affiliations are listed below. Department of Biology, Florida International University, Miami, FL, USA. Institute of Zoology, Slovak Academy of Sciences, Dubravska cesta 9, 84506 Bratislava, Slovakia. The original Article and accompanying Supplementary Information file have been corrected

Cross-Sensor and Cross-Spectral Periocular Biometrics: A Comparative Benchmark including Smartphone Authentication

The massive availability of cameras results in a wide variability of imaging conditions, producing large intra-class variations and a significant performance drop if images from heterogeneous environments are compared for person recognition. However, as biometrics is deployed, it will be common to replace damaged or obsolete hardware, or to exchange information between applications in heterogeneous environments. Variations in spectral bands can also occur. For example, faces are typically acquired in the visible (VIS) spectrum, while iris is captured in near-infrared (NIR). However, cross-spectrum comparison may be needed if a face from a surveillance camera needs to be compared against a legacy iris database. Here, we propose a multialgorithmic approach to cope with periocular images from different sensors. We integrate different comparators with a fusion scheme based on linear logistic regression, in which scores tend to be log-likelihood ratios. This allows easy interpretation of output scores and the use of Bayes thresholds for optimal decision-making, since scores from different comparators are in the same probabilistic range. We evaluate our approach in the context of the Cross-Eyed Competition, whose aim was to compare recognition approaches when NIR and VIS periocular images are matched. Our approach achieves reductions in error rates of up to 30-40% in cross-spectral NIR-VIS comparisons, leading to EER=0.2% and FRR of just 0.47% at FAR=0.01%, representing the best overall approach of the competition. Experiments are also reported with a database of VIS images from different smartphones. We also discuss the impact of template size and computation times, with the most computationally heavy comparator playing an important role in the results. Lastly, the proposed method is shown to outperform other popular fusion approaches, such as the average of scores, SVMs or Random Forest