16,383 research outputs found
Formal REA model at operational level
No full textDespite a lot of attention gained by the Resource-Event-Agent (REA) framework among researchers in enterprise modeling, it still lacks comprehensive formal description. Most of the formalization approaches to REA use only UML or other graphical representation. This paper aims to define REA ontology at operational level using formal logic tools. The general approach to formal logic description of REA was motivated by LTAP introduced by Ito, Hagihara and Yonezaki. After basic REA concepts are presented, semantics and logical language LREA are defined including axioms for the REA operational level. Future research is shortly described in conclusion.REA framework; formal models; modal logic
Extending Properly n-REA Sets
No full textIn [5] Soare and Stob prove that if is an r.e. set which isn't computable
then there is a set of the form which isn't of r.e. Turing
degree. If we define a properly -REA set to be an -REA set which
isn't Turing equivalent to any -REA set this result shows that every
properly 1-REA set can be extended to a properly 2-REA set. This result was
extended in [1] by Cholak and Hinman who proved that every 2-REA set can be
extended to a properly 3-REA set. This leads naturally to the hypothesis that
every properly -REA set can be extended to a properly -REA set. In this
paper, we show this hypothesis is false and that there is a properly -REA
set which can't be extended to a properly -REA set
Planificación estratégica para el área de producción de Cecinas Winter S.A.
No full textProyecto (ingeniero civil industrial)--Universidad Mayor (Chile), 2005El proyecto "Planificación estratégica para el área de producción de Cecinas Winter S.A.", tiene por finalidad proyectar el área de producción, a través de una planificación estratégica que permita contribuir a la utilización eficiente de los recursos de la empresa y, además, entregue un análisis sobre el sector cecinero y sus tendencias. Actualmente, existe una creciente alza en los volúmenes de producción de cecinas. Esta alza, motivada por una fuerte competitividad en el sector y un aumento en el consumo per cápita de cecinas, ha significado la generación de oportunidades de mercado. Por otro lado, las actuales capacidades de producción de las industrias de cecinas, especÃficamente, Cecinas Winter S.A., no pueden satisfacer la demanda de sus clientes. Por esta razón, la planificación estratégica en el Ã�rea de Producción es una necesidad urgente. Este proyecto está estructurado en cinco capÃtulos. El primer capÃtulo está orientado a presentar una introducción al tema de planificación estratégica, la importancia de su desarrollo y los objetivos del proyecto. En el segundo capÃtulo, se analizan los antecedentes de la industria cárnica y se presenta una reseña de la empresa, junto con la descripción de los procesos productivos. El tercer capÃtulo presenta el marco teórico en el cual se desarrollará el proyecto. En el cuarto capÃtulo, se desarrolla la planificación estratégica aplicada al área de producción. Se realiza un análisis del entorno, externo e interno, del cual se desprenden las fortalezas, oportunidades, debilidades y amenazas, del sector y del área analizada para formular la estrategia en la cual se desarrollarán los planes de acción. Finalmente, en el quinto capÃtulo, se plantean las conclusiones que se desprenden del proyecto
Administraci?n de riesgos aplicado al ?rea comercial de Industrias Motorizadas Indumot S.A.
No full textEl presente trabajo de tesis contiene cinco cap?tulos, el primero consta de aspectos generales de la Empresa Industrias Motorizadas Indumot S.A., como su actividad principal, misi?n, visi?n, estados financieros, principales ?ndices financieros, entre otros. En el segundo cap?tulo se desarrolla el marco te?rico de la Administraci?n de Riesgos, as? como los m?todos utilizados para la identificaci?n y evaluaci?n de los mismos como son el Risicar y el VAR. En el tercer, cuarto y quinto cap?tulo se da el desarrollo por completo del tema y la aplicaci?n de los m?todos antes mencionados al ?rea comercial de Industrias Motorizadas Indumot S.A
Activation of an Estrogen/ Estrogen Receptor Signaling by BIG3 Through Its Inhibitory Effect on Nuclear Transport of PHB2/REA in Breast Cancer
No full textBreast cancer is known to be a hormone-dependent disease, and estrogens through an interaction with estrogen receptor (ER) enhance the proliferative and metastatic activity of breast tumor cells. Here we show a critical role of transactivation of BIG3, brefeldin A-inhibited guanine nucleotide-exchange protein 3, in activation of the estrogen/ER signaling in breast cancer cells. Knocking-down of BIG3 expression with small-interfering RNA (siRNA) drastically suppressed the growth of breast cancer cells. Subsequent co-immunoprecipitation and immunoblotting assays revealed an interaction of BIG3 with prohibitin 2/repressor of estrogen receptor activity (PHB2/REA). When BIG3 was absent, stimulation of estradiol caused the translocation of PHB2/REA to the nucleus, enhanced the interaction of PHB2/REA and ER[alpha], and resulted in suppression of the ER[alpha]; transcriptional activity. On the other hand, when BIG3 was present, BIG3 trapped PHB2/REA in cytoplasm and inhibited its nuclear translocation, and caused enhancement of ER[alpha]; transcriptional activity. Our results imply that BIG3 overexpression is one of the important mechanisms causing the activation of the estrogen/ER[alpha]; signaling pathway in the hormone-related growth of breast cancer cells
Liikmetega (-1)^n |sin n |/n rea koonduvus
No full textBakalaureusetöös esitatakse rea ∑_(n=1)^∞ (-1)^n f(n)|sin nπα|, kus α
on irratsionaalarv ja f:[1,∞)→(0,∞) on pidev ja kahanev, koonduvuseks piisava
tingimuse üksikasjalik tõestus ning järeldusena koonduvus erijuhul, kus α = 1/π ja
f(n) = 1/n. Lisaks on esitatud mainitud rea koonduvuseks tarvilik ja piisav tingimus juhul, kui α on ratsionaalarv. Töös esitatud tõestus toetub A. V. Kumchevi
artiklis On the convergence of some alternating series (The Ramanujan Journal,
2013) esitatule
Evaluación en la entrega de información pública en Sub �rea de Transparencia de �rea de Atención Ciudadana del Ministerio de Justicia 2014-2015
No full textProyecto aplicado de intervención para optar al tÃtulo de administrador público de la Universidad Mayor.Lo que ha impulsado la realización de este trabajo ha sido instruirse en un tema bastante desconocido en nuestro paÃs, en el cual se sigue trabajando en nuevas formas de perfeccionamiento en la gestión de entrega de las solicitudes de información pública, esto para conocer nuestros derechos como ciudadanos y sacar el mayor provecho a los beneficios que la Ley 20.285 posee. El propósito de esta investigación está motivado en detectar ¿Cuáles son los problemas principales que enfrenta el Ã�rea de Transparencia del Ministerio de Justicia en cuanto a la entrega de información pública? El desarrollo profesional en un área que sea de aporte no sólo para la administración del Estado, sino también para la ciudadanÃa, ya que de acuerdo a como se realice la gestión de la administración pública, esta afectará directamente a los ciudadanos
Homotopy types of Spin <sup>c</sup>(n) -gauge groups over S<sup>4</sup>
No full textThe gauge group of a principal G-bundle P over a space X is the group of G-equivariant homeomorphisms of P that cover the identity on X. We consider the gauge groups of bundles over S4 with Spin c(n) , the complex spin group, as structure group and show how the study of their homotopy types reduces to that of Spin (n) -gauge groups over S4 . We then advance on what is known by providing a partial classification for Spin (7) - and Spin (8) -gauge groups over S4 .</p
- …
