Una lógica trivalorada para funciones recursivas parciales

Tesis de la Universidad Complutense de Madrid.Facultad de Ciencias Matemáticas, Departamento de Informática y Automática, leída en Madrid el 3 de febrero de 1990; Dirigida por Mario Rodríguez Artalejo.Sección Deptal. de Sistemas Informáticos y ComputaciónFac. de Ciencias MatemáticasTRUEProQuestpu

Una lógica trivalorada para funciones recursivas parciales

Tesis de la Universidad Complutense de Madrid.Facultad de Ciencias Matemáticas, Departamento de Informática y Automática, leída en Madrid el 3 de febrero de 1990; Dirigida por Mario Rodríguez Artalejo.Sección Deptal. de Sistemas Informáticos y ComputaciónFac. de Ciencias MatemáticasTRUEProQuestpu

IMPACTO DEL EMPODERAMIENTO DE LOS EMPLEADOS EN EL DESEMPEÑO ORGANIZACIONAL EN LA INDUSTRIA PESQUERA

Human resources are an essential production factor for achieving good organizational performance. However, at present, this resource is not granted participation in the decision-making process, nor is it provided with leadership spaces. So, the proper functioning of the business is not achieved. This problem is more frequent in the fishing industry; therefore, this study focuses on determining the relationship between the empowerment of human resources and the organizational performance of Galapesca S.A., through the analysis of company indicators. For this, the empowerment exercised in a group of 17 middle management collaborators from the Production and Quality Control departments was manipulated and evaluated. Then, the statistical processing of the results was carried out and the mean difference test was applied, which concludes that the development of staff empowerment increases their long-term commitment and allows the company to obtain a broad strategic vision in decision making.El recurso humano es un factor de producción imprescindible para el alcance de un buen desempeño organizacional. Sin embargo, en la actualidad, a este recurso no se le otorga participación en el proceso de toma de decisiones, ni se le brinda espacios de liderazgo. De manera que no se logra el funcionamiento adecuado del negocio. Dicha problemática es más frecuente en la industria pesquera, por tanto, el presente estudio se enfoca en determinar la relación entre el empoderamiento del recurso humano y el desempeño organizacional de Galapesca S.A., a través del análisis de indicadores de la empresa. Para ello, se manipuló y evaluó el empoderamiento ejercido en un grupo de 17 colaboradores de mando medio de los departamentos de Producción y Control de Calidad. Luego, se efectuó el procesamiento estadístico de los resultados y se aplicó la prueba de diferencia de medias, con lo cual se concluye que, el desarrollo del empoderamiento en el personal eleva el compromiso a largo plazo de este y permite que la compañía obtenga una visión estratégica más amplia en la toma de decisiones

Inversive Meadows and Divisive Meadows

Inversive meadows are commutative rings with a multiplicative identity element and a total multiplicative inverse operation whose value at 0 is 0. Divisive meadows are inversive meadows with the multiplicative inverse operation replaced by a division operation. We give finite equational specifications of the class of all inversive meadows and the class of all divisive meadows. It depends on the angle from which they are viewed whether inversive meadows or divisive meadows must be considered more basic. We show that inversive and divisive meadows of rational numbers can be obtained as initial algebras of finite equational specifications. In the spirit of Peacock's arithmetical algebra, we study variants of inversive and divisive meadows without an additive identity element and/or an additive inverse operation. We propose simple constructions of variants of inversive and divisive meadows with a partial multiplicative inverse or division operation from inversive and divisive meadows. Divisive meadows are more basic if these variants are considered as well. We give a simple account of how mathematicians deal with 1 / 0, in which meadows and a customary convention among mathematicians play prominent parts, and we make plausible that a convincing account, starting from the popular computer science viewpoint that 1 / 0 is undefined, by means of some logic of partial functions is not attainable.Comment: 18 pages; error corrected; 29 pages, combined with arXiv:0909.2088 [math.RA] and arXiv:0909.5271 [math.RA

Aplicaciones de realidad extendida y aplicaciones móviles

La línea de investigación y desarrollo presentada en este artículo realiza actividades de análisis, desarrollo y evaluación de aplicaciones de Realidad Extendida, siendo este un término para englobar en este contexto aplicaciones de Realidad Virtual, Realidad Aumentada, Interfaces Multimodales, Visión por computador. Uno de los principales objetivos es la formación de recursos humanos y el fortalecimiento de la investigación mediante el trabajo intergrupal entre diferentes instituciones nacionales y extranjeras.Eje: Computación Gráfica, Imágenes y Visualización.Red de Universidades con Carreras en Informátic

Aplicaciones móviles, realidad aumentada y TVDi

La línea de investigación y desarrollo presentada en este artículo realiza actividades de análisis, desarrollo y evaluación de aplicaciones móviles, videos interactivos, basadas en Realidad Aumentada y para TVDi. En particular se desarrollan aplicaciones para TVDi destinadas a adultos mayores. Por otra parte se estudian y desarrollan aplicaciones interactivas educativas destinadas a discapacitados auditivos. A la vez se estudia el uso y producción de videos interactivos con estudiantes universitarios. Por último se continúa el desarrollo y prueba de aplicaciones móviles que brindan información al ciudadano, en particular sobre la presencia de agentes peligrosos para la salud. Entre los principales objetivos se destaca la formación de recursos humanos y el fortalecimiento de la investigación mediante el trabajo intergrupal entre diferentes instituciones nacionales y extranjeras.Red de Universidades con Carreras en Informátic

Os combustíveis líquidos prejudicam a boa vida dos habitantes de Cantão La Libertad, Província de Santa Elena, Equador

La presente investigación se generó en función de un problema evidente, tal como lo es “la eliminación de los subsidios y posterior alza de los costos a los combustibles líquidos, perjudicando el buen vivir de los moradores del cantón La Libertad. Para ello, se hace una investigación metodológica en función de las variables encontradas. Con el objetivo de establecer teorías o estudios similares que ayuden de forma fructífera al desarrollo del artículo. Por lo tanto, mencionada investigación es de tipo exploratoria, descriptiva y correlacional. Además, se ha aplicado un modelo de muestreo sistemático, ya que es un modelo muy simple de aplicar en la práctica y no necesita disponer de un marco de encuesta elaborado; este modelo nos permite trabajar con no más de 5 variables de investigación. La investigación partió de una población finita de 802 personas, de las cuales se escogió una muestra de 80 sujetos a investigar. Al implementar mencionada metodología y el instrumento de medición se obtuvieron los resultados necesarios para darle peso a la investigación, tal como la afirmación de que el no subsidio a los combustibles líquidos perjudica el buen vivir de los moradores del cantón La Libertad. Pero, algo muy importante que se destacó de esta investigación es que los moradores no se oponen al no subsidio de los combustibles, más bien argumentan que estos deben estar bien focalizados a las áreas o industrias estratégicas para que así, sean beneficiosos tanto para el estado ecuatoriano, como para población de determinado cantón.The present research was generated according to an evident problem such as the elimination of subsidies and subsequent increased costs for liquid fuels, which harms the good living of the residents of La Libertad canton. Therefore, methodological research is made based on the variables found, with the objective of establishing theories or similar studies that profitably help the development of the article. Hence, this is exploratory, descriptive, and correlational research. Furthermore, a systematic sampling model has been applied, as it is a very simple model to apply in practice, and it does not need to require an elaborate survey framework; this model allows it to work with no more than 5 research variables. The investigation started with a limited population of 802 people, and a sample of 80 individuals to be investigated was chosen. By implementing this kind of methodology and the measurement instrument, the necessary results were obtained in order to support the following research such as the affirmation that the non-subsidy of liquid fuels harms the good living of the residents of La Libertad canton. Nevertheless, it is important to take into account that something was highlighted in this research, the residents do not oppose the non-subsidy of fuels. Rather, they argue that these should be well targeted in strategic areas or industries so that they are beneficial so much as to the Ecuadorian state as to the population of a certain canton.Esta pesquisa foi gerada com base em um problema evidente, como "a eliminação de subsídios e o subseqüente aumento do custo dos combustíveis líquidos, prejudicando a qualidade de vida dos habitantes do cantão de La Libertad". Para isso, é realizada uma investigação metodológica com base nas variáveis encontradas. Com o objetivo de estabelecer teorias ou estudos similares que ajudarão frutuosamente no desenvolvimento do artigo. Portanto, esta pesquisa é exploratória, descritiva e correlacional. Além disso, foi aplicado um modelo de amostragem sistemática, pois é um modelo muito simples de aplicar na prática e não requer uma estrutura elaborada de pesquisa; este modelo nos permite trabalhar com não mais do que 5 variáveis de pesquisa. A pesquisa foi baseada em uma população finita de 802 pessoas, da qual foi escolhida uma amostra de 80 sujeitos de pesquisa. Ao implementar a metodologia acima mencionada e o instrumento de medição, foram obtidos os resultados necessários para dar peso à pesquisa, como a afirmação de que a não subsidiação de combustíveis líquidos prejudica a boa vida dos habitantes do cantão de La Libertad. Entretanto, algo muito importante que se destacou desta pesquisa é que os habitantes não se opõem à não subsidiação de combustíveis, mas argumentam que estes devem se concentrar em áreas ou indústrias estratégicas para que sejam benéficos tanto para o Estado equatoriano quanto para a população de um determinado cantão