230 research outputs found

    A Quantum Sensor for Neutrino Mass Measurements

    Get PDF
    There are few experiments aiming at determining directly the mass of the electron antineutrino with a sensitivity of 0.2 eV by analyzing the end of the -decay spectrum of specific nuclei. This sensitivity can be only reached if the uncertainties arising from systematic effects are very small and very well determined. The same holds for experiments aiming at improving the sensitivity in the determination of the mass of the electron neutrino using electron-capture ()-decaying nuclei. One important input in these cases is an accurate Q-value of the decay which can be unambiguously determined from the difference of the mass of the mother and the daughter nuclei by means of Penning traps. In order to reach the required sensitivity, a novel device called Quantum Sensor is under construction at the University of Granada (Spain). The device will allow measuring atomic masses, and therefore Q-values from decays with unprecedented accuracy and sensitivity, using fluorescence photons from a laser-cooled ion instead of electronic detection. This paper will give an overview on Q-value measurements performed with Penning traps, relevant for neutrino mass spectrometry, describing the Quantum Sensor and the facility under construction. It will end by presenting the status of the project.The construction of the device described in this paper has been recently started and it is funded by the European Research Council within the ERC-2011-StG call (contract no. 268648-TRAPSENSOR). Besides the applications for neutrino mass spectrometry, the device has been also conceived for applications in the field of nuclear physics. During the conception of the project, D. Rodríguez acknowledges funding from the Spanish Ministry of Science and Innovation (now integrated in the Ministry for Economy and Competitiveness) through the projects FPA2009-14091-C02-02 and FPA2010-14803

    Symmetric implication zroupoids and weak associative laws

    Get PDF
    An algebra A= ⟨ A, → , 0 ⟩ , where → is binary and 0 is a constant, is called an implication zroupoid (I-zroupoid, for short) if A satisfies the identities: (x→y)→z≈((z′→x)→(y→z)′)′ and 0 ′ ′≈ 0 , where x′: = x→ 0. An implication zroupoid is symmetric if it satisfies: x′ ′≈ x and (x→y′)′≈(y→x′)′. The variety of symmetric I-zroupoids is denoted by S. We began a systematic analysis of weak associative laws (or identities) of length ≤ 4 in Cornejo and Sankappanavar (Soft Comput 22(13):4319–4333, 2018a. https://doi.org/10.1007/s00500-017-2869-z), by examining the identities of Bol–Moufang type, in the context of the variety S. In this paper, we complete the analysis by investigating the rest of the weak associative laws of length ≤ 4 relative to S. We show that, of the (possible) 155 subvarieties of S defined by the weak associative laws of length ≤ 4 , there are exactly 6 distinct ones. We also give an explicit description of the poset of the (distinct) subvarieties of S defined by weak associative laws of length ≤ 4.Fil: Cornejo, Juan Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; ArgentinaFil: Sankappanavar, Hanamantagouda P.. State University of New York; Estados Unido

    ‎Gautama and Almost Gautama Algebras and their associated logics

    Get PDF
    Recently, Gautama algebras were defined and investigated as a common generalization of the variety RDBLSt\mathbb{RDBLS}\rm t of regular double Stone algebras and the variety RKLSt\mathbb{RKLS}\rm t of regular Kleene Stone algebras, both of which are, in turn, generalizations of Boolean algebras. Those algebras were named in honor and memory of the two founders of Indian Logic--{\bf Akshapada Gautama} and {\bf Medhatithi Gautama}. The purpose of this paper is to define and investigate a generalization of Gautama algebras, called ``Almost Gautama algebras (AG\mathbb{AG}, for short).'' More precisely, we give an explicit description of subdirectly irreducible Almost Gautama algebras. As consequences, explicit description of the lattice of subvarieties of AG\mathbb{AG} and the equational bases for all its subvarieties are given. It is also shown that the variety AG\mathbb{AG} is a discriminator variety. Next, we consider logicizing AG\mathbb{AG}; but the variety AG\mathbb{AG} lacks an implication operation. We, therefore, introduce another variety of algebras called ``Almost Gautama Heyting algebras'' (AGH\mathbb{AGH}, for short) and show that the variety AGH\mathbb{AGH} %of Almost Heyting algebras is term-equivalent to that of AG\mathbb{AG}. Next, a propositional logic, called AG\mathcal{AG} (or AGH\mathcal{AGH}), is defined and shown to be algebraizable (in the sense of Blok and Pigozzi) with the variety AG\mathbb{AG}, via AGH,\mathbb{AGH}, as its equivalent algebraic semantics (up to term equivalence). All axiomatic extensions of the logic AG\mathcal{AG}, corresponding to all the subvarieties of AG\mathbb{AG} are given. They include the axiomatic extensions RDBLSt\mathcal{RDBLS}t, RKLSt\mathcal{RKLS}t and G\mathcal{G} of the logic AG\mathcal{AG} corresponding to the varieties RDBLSt\mathbb{RDBLS}\rm t, RKLSt\mathbb{RKLS}\rm t, and G\mathbb{G} (of Gautama algebras), respectively. It is also deduced that none of the axiomatic extensions of AG\mathcal{AG} has the Disjunction Property. Finally, We revisit the classical logic with strong negation CN\mathcal{CN} and classical Nelson algebras CN\mathbb{CN} introduced by Vakarelov in 1977 and improve his results by showing that CN\mathcal{CN} is algebraizable with CN\mathbb{CN} as its algebraic semantics and that the logics RKLSt\mathcal{RKLS}\rm t, RKLStH\mathcal{RKLS}\rm t\mathcal{H}, 3-valued \L ukasivicz logic and the classical logic with strong negation are all equivalent.Fil: Cornejo, Juan Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; ArgentinaFil: Sankappanavar, Hanamantagouda P.. State University of New York. Department of Mathematics ; Estados Unido

    Implication Zroupoids and Identities of Associative Type

    Get PDF
    An algebra A=⟨A,→,0⟩, where → is binary and 0 is a constant, is called an implication zroupoid (I-zroupoid, for short) if A satisfies the identities: (x→y)→z≈[(z′→x)→(y→z)′]′ and 0′′≈0, where x′:=x→0, and I denotes the variety of all I-zroupoids. An I-zroupoid is symmetric if it satisfies x′′≈x and (x→y′)′≈(y→x′)′. The variety of symmetric I-zroupoids is denoted by S. An identity p≈q, in the groupoid language ⟨→⟩, is called an identity of associative type of length 3 if p and q have exactly 3 (distinct) variables, say x,y,z, and are grouped according to one of the two ways of grouping: (1) ⋆→(⋆→⋆) and (2) (⋆→⋆)→⋆, where ⋆ is a place holder for a variable. A subvariety of I is said to be of associative type of length 3, if it is defined, relative to I, by a single identity of associative type of length 3. In this paper we give a complete analysis of the mutual relationships of all subvarieties of I of associative type of length 3. We prove, in our main theorem, that there are exactly 8 such subvarieties of I that are distinct from each other and describe explicitly the poset formed by them under inclusion. As an application of the main theorem, we derive that there are three distinct subvarieties of the variety S, each defined, relative to S, by a single identity of associative type of length 3.Fil: Cornejo, Juan Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; ArgentinaFil: Sankappanavar, Hanamantagouda P.. State University of New York; Estados Unido

    Evaluación de las características de implementación del proyecto especial de desarrollo de capacidades de la familia rural mi chacra productiva en comunidades del distrito de Vinchos, provincia de Huamanga, departamento de Ayacucho, Perú

    Get PDF
    Este trabajo de investigación tiene como objetivo identificar las características de diseño, implementación y/o gestión que limitaron el cumplimiento sostenible de los objetivos planteados por el Proyecto Especial de Desarrollo de Capacidades de la Familia Rural “Mi Chacra Productiva” en las comunidades Pacchac, Arizona, Anchachuasi, Casacancha, San José de Mayobamba y Vinchos del distrito de Vinchos, provincia de Huamanga, región Ayacucho, Perú; mediante el análisis de las estrategias utilizadas durante su implementación, así como las características y percepciones de la población; para proponer acciones facilitadoras que permitan el éxito de proyectos similares. Para ello, se utilizaron diferentes técnicas que facilitaron la recopilación de la información plasmada en el presente documento, así como su análisis correspondiente; lo cual, nos permitió verificar sí el Proyecto Especial de Desarrollo de Capacidades de la Familia Rural “Mi Chacra Productiva” tuvo una dirección o gerencia acorde a sus necesidades, desde el punto de vista de la Gerencia Social, tomando en cuenta para ello, que la dirección o gerencia de proyectos es la aplicación de conocimientos, habilidades, herramientas y técnicas en las actividades del proyecto, para cumplir con los requisitos del mismo; y en base a esto, plantear oportunidades de mejora en la gerencia de un proyecto para optimizar su implementación y alcanzar los objetivos, de acuerdo a lo planificado. Teniendo como conclusión que, para alcanzar sus objetivos, todo proyecto debe: ser acondicionado a las características de la población, involucrar a los actores directamente relacionados con el proyecto en los enfoques, estrategias, metodologías y actividades para que se consiga el compromiso de cada uno de ellos, comprometer a los actores involucrados en el alcance de los objetivos y no solamente en el alcance de las metas, ajustar las actividades a criterios sociales y técnicos de la zona de intervención, considerar un periodo mayor a nueve meses para la implementación de un proyecto orientado al desarrollo de capacidades, un periodo de implementación adecuado podría ser 2 años

    Evaluación de las características de implementación del proyecto especial de desarrollo de capacidades de la familia rural Mi Chacra Productiva en comunidades del distrito de Vinchos, provincia de Huamanga, departamento de Ayacucho

    Get PDF
    Este trabajo de investigación tiene como objetivo identificar las características de diseño, implementación y/o gestión que limitaron el cumplimiento sostenible de los objetivos planteados por el Proyecto Especial de Desarrollo de Capacidades de la Familia Rural “Mi Chacra Productiva” en las comunidades Pacchac, Arizona, Anchachuasi, Casacancha, San José de Mayobamba y Vinchos del distrito de Vinchos, provincia de Huamanga, región Ayacucho; mediante el análisis de las estrategias utilizadas durante su implementación, así como las características y percepciones de la población; para proponer acciones facilitadoras que permitan el éxito de proyectos similares. Para ello, se utilizaron diferentes técnicas que facilitaron la recopilación de la información plasmada en el presente documento, así como su análisis correspondiente; lo cual, nos permitió verificar sí el Proyecto Especial de Desarrollo de Capacidades de la Familia Rural “Mi Chacra Productiva” tuvo una dirección o gerencia acorde a sus necesidades, desde el punto de vista de la Gerencia Social, tomando en cuenta para ello, que la dirección o gerencia de proyectos es la aplicación de conocimientos, habilidades, herramientas y técnicas en las actividades del proyecto, para cumplir con los requisitos del mismo; y en base a esto, plantear oportunidades de mejora en la gerencia de un proyecto para optimizar su implementación y alcanzar los objetivos, de acuerdo a lo planificado. Teniendo como conclusión que, para alcanzar sus objetivos, todo proyecto debe: ser acondicionado a las características de la población, involucrar a los actores directamente relacionados con el proyecto en los enfoques, estrategias, metodologías y actividades para que se consiga el compromiso de cada uno de ellos, comprometer a los actores involucrados en el alcance de los objetivos y no solamente en el alcance de las metas, ajustar las actividades a criterios sociales y técnicos de la zona de intervención, considerar un periodo mayor a nueve meses para la implementación de un proyecto orientado al desarrollo de capacidades, un periodo de implementación adecuado podría ser 2 años.Tesi

    eCultura. Platform for Preservation and Exploitation of Cultural Content

    Get PDF
    Poster presentado en Cultural Heritage on line (2009).The eCultura project aims at developing a semantically-enriched web platform that enables cultural heritage institutions to manage and exhibit the semantics of publicly available web assets at a minimal cost and with a short investments on required software infrastructure. The platform will provide a complete set of applications and services to enhance the user experience when accessing web-based contents of the cultural domain. These services include semantic wikis, multimedia annotations, timeline presentations, interactive maps, and so on, which are deployed on a common platform. The eCultura platform is integrated by a number of open source applications grounded on a semantic web infrastructure that supports the semantic integration of all services. Semantic web technologies enable to share information among these services, as well as provide interoperability with external systems. W3C knowledge representation languages and standards are used to describe concepts of the cultural domain and provide a semantically interoperable environment. Web 2.0 techniques are used to build user communities around the shared information of cultural institutions, having the specific goal of exploiting their knowledge base in learning and educational environments. The communication among software components and applications is based on a producer/consumer model. Some services, such as wikis and blogs, work as source of information and knowledge, while other services, such as interactive maps and timeline, work as consumers to exploit the semantically enriched information. The knowledge base is stored on a shared OWL repository gathering the semantics of diverse cultural fields, including the CIDOC reference model, the FRBR ontology and the MusicOntology
    corecore