230 research outputs found
A Quantum Sensor for Neutrino Mass Measurements
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
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
Recently, Gautama algebras were defined and investigated as a common generalization of the variety of regular double Stone algebras and the variety 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 (, 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 and the equational bases for all its subvarieties are given. It is also shown that the variety is a discriminator variety. Next, we consider logicizing ; but the variety lacks an implication operation. We, therefore, introduce another variety of algebras called ``Almost Gautama Heyting algebras'' (, for short) and show that the variety %of Almost Heyting algebras is term-equivalent to that of . Next, a propositional logic, called (or ), is defined and shown to be algebraizable (in the sense of Blok and Pigozzi) with the variety , via as its equivalent algebraic semantics (up to term equivalence). All axiomatic extensions of the logic , corresponding to all the subvarieties of are given. They include the axiomatic extensions , and of the logic corresponding to the varieties , , and (of Gautama algebras), respectively. It is also deduced that none of the axiomatic extensions of has the Disjunction Property. Finally, We revisit the classical logic with strong negation and classical Nelson algebras introduced by Vakarelov in 1977 and improve his results by showing that is algebraizable with as its algebraic semantics and that the logics , , 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
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ú
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
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
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
- …