981 resultados para Formal specification


Relevância:

20.00% 20.00%

Publicador:

Resumo:

IS outsourcing projects often fail to achieve project goals. To inhibit this failure, managers need to design formal controls that are tailored to the specific contextual demands. However, the dynamic and uncertain nature of IS outsourcing projects makes the design of such specific formal controls at the outset of a project challenging. Hence, the process of translating high-level project goals into specific formal controls becomes crucial for success or failure of IS outsourcing projects. Based on a comparative case study of four IS outsourcing projects, our study enhances current understanding of such translation processes and their consequences by developing a process model that explains the success or failure to achieve high-level project goals as an outcome of two unique translation patterns. This novel process-based explanation for how and why IS outsourcing projects succeed or fail has important implications for control theory and IS project escalation literature.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Protecting different kinds of information has become an important area of research. One aspect is to provide effective means to avoid that secrets can be deduced from the answers of legitimate queries. In the context of atomic propositional databases several methods have been developed to achieve this goal. However, in those databases it is not possible to formalize structural information. Also they are quite restrictive with respect to the specification of secrets. In this paper we extend those methods to match the much greater expressive power of Boolean description logics. In addition to the formal framework, we provide a discussion of various kinds of censors and establish different levels of security they can provide.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Adaptive selling (AS) and customer-oriented selling (COS) constitute two key customer-directed selling behaviors for the success of the modern sales force. However, knowledge regarding the organizational factors that can induce salespeople to engage in those behaviors is strikingly limited. Against this background, we develop a comprehensive model that delineates the influences of formal and informal sales controls on AS and COS and, through them, on sales unit effectiveness. Based on a sample of sales managers in a major European Union country, we present new evidence that (a) formal and informal sales controls exert differential impact on salespeople's AS and COS behaviors; (b) AS directly and positively influences sales unit effectiveness; (c) COS affects sales unit effectiveness only indirectly, i.e. by fostering AS; and (d) outcome and cultural controls directly improve sales unit effectiveness. We conclude with a discussion of our findings for academics and practitioners.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

La medicina tradicional no solamente sigue vigente en los Andes bolivianos, sino constituye la opción de primera elección para las familias rurales. Un estudio realizado en dos comunidades de la Subcentral Waka Playa, Municipio Tapacarí, muestra que los campesinos quechua-hablantes de los valles interandinos integran el sistema tradicional con el sistema de salud formal en el marco de sus estrategias familiares, reflejando un diálogo ínter-ontológico entre diferentes concepciones de salud y de enfermedad. A lo largo de una larga interacción con su entorno natural, los pobladores de los Andes han desarrollado concepciones específicas sobre el ser humano, su relación con la naturaleza, la salud y la enfermedad. Este proceso resultó en un sistema de salud complejo, donde intervienen expertos locales como son los curanderos-adivinos y los parteros y que se basa en un amplio uso y conocimiento de la flora y fauna nativas. A parte de estos conocimientos especializados, la medicina tradicional andina se expresa también en las prácticas terapéuticas diarias de la población, transmitidas y re-inventadas de generación en generación en el contexto de la familia y de la comunidad. La introducción del sistema de salud formal en el área de estudio en los años 90, representado por una posta de salud, impactó las comunidades locales principalmente por el acceso a vacunas – y la consecuente erradicación de algunas enfermedades - y a métodos contraceptivos. Sin embargo, la biomedicina es todavía de acceso muy limitado además de, según la población local, no tener la capacidad para curar ciertas enfermedades locales como el “susto,” el “mal viento” o la “colerina”. Como en otras áreas del conocimiento ecológico local, se observa una pérdida general de los conocimientos vinculados a la medicina tradicional andina debido a varios factores socioeconómicos, el más impactante siendo el proceso masivo de migración de las zonas rurales a los centros urbanos y al trópico boliviano. Sin embargo, estos conocimientos todavía se mantienen vigentes y son altamente valorizados por la población local, como un elemento del mantenimiento de sus formas de vida y de relacionamiento con la “Madre Tierra” (Pachamama). Las familias de Waka Playa integran la medicina tradicional y el sistema de salud formal en sus estrategias de vida, en diferentes grados según factores como la migración, la educación, el sexo y la edad. El uso de la flora medicinal local también es diferenciado según la localización de la vivienda principal de las familias y la consecuente concentración geográfica de sus actividades en las diferentes zonas de producción agroecológicas. Por ultimo, el interés personal influye sobre el grado y el tipo de conocimiento de cada familia. La medicina tradicional juega un rol fundamental en el bien-estar de las familias campesinas andinas y por ello constituye un potencial importante para un desarrollo sostenible. En esta perspectiva, la revalorización de los saberes locales y la construcción de puentes de diálogo con el sistema de salud local son sumamente importantes. Este punto de vista tiene perspectivas prometedoras en el contexto político actual boliviano, que apoya la medicina tradicional en el marco del reconocimiento de las identidades indígenas, en miras a un desarrollo endógeno.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Information systems (IS) outsourcing projects often fail to achieve initial goals. To avoid project failure, managers need to design formal controls that meet the specific contextual demands of the project. However, the dynamic and uncertain nature of IS outsourcing projects makes it difficult to design such specific formal controls at the outset of a project. It is hence crucial to translate high-level project goals into specific formal controls during the course of a project. This study seeks to understand the underlying patterns of such translation processes. Based on a comparative case study of four outsourced software development projects, we inductively develop a process model that consists of three unique patterns. The process model shows that the performance implications of emergent controls with higher specificity depend on differences in the translation process. Specific formal controls have positive implications for goal achievement if only the stakeholder context is adapted, while they are negative for goal achievement if in the translation process tasks are unintendedly adapted. In the latter case projects incrementally drift away from their initial direction. Our findings help to better understand control dynamics in IS outsourcing projects. We contribute to a process theoretic understanding of IS outsourcing governance and we derive implications for control theory and the IS project escalation literature.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

To understand how a eukaryote achieves differential transcription of genes in precise spatial patterns, the molecular details of tissue specific expression of the Strongylocentrotus purpuratus Spec2a gene were investigated by functional studies of the cis-regulatory components in the upstream enhancer. Regional activation of Spec2a in the aboral ectoderm is conferred by a combination of activators and repressors. The positive regulators include previously identified SpOtx and a trans-regulatory factor binding at the CCAAT site in the Spec2a enhancer. The nuclear protein binding to the CCAAT box was determined to be the heterotrimeric CCAAT binding factor (SpCBF). SpCBF also mediates general activation in the ectoderm. The negative regulators consist of an oral ectoderm repressor (OER), an endoderm repressor (ENR), and an S. Purpuratus goosecoid homologue (SpGsc). OER functions to prevent expression in the oral ectoderm, while ENR is required to repress endoderm expression. SpGsc antagonizes the SpOtx function by competing for binding at SpOtx target genes in oral ectoderm, where it functions as an active repressor. Thus, SpOtx and SpGsc perform collectively to establish and maintain the oral-aboral axis. Finally, purification of ENR and OER proteins from sea urchin blastula stage nuclear extracts was performed using site-specific DNA-affmity chromatography. ^

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An important question in developmental biology is how embryonic cell types are derived from a fertilized egg. To address this question, this thesis investigates the mechanisms by which the aboral ectoderm-specific Spec2a gene is spatially and temporally regulated during sea urchin embryogenesis. The Spec2a gene of the sea urchin Strongylocentratus purpuratus has served as a valuable maker to understand the basis of lineage-specific gene activation and the role of transcription factors in cell fate specification. The hypothesis is that transcription factors responsible for cell type-specific gene activation are key components in the initial cell specification step. The Spec2a gene, which encodes a small cytosolic calcium-binding protein, is expressed exclusively in aboral ectoderm cell lineages. The 1516-bp control region of the Spec2a gene contains a 188-bp enhancer element required for temporal activation and aboral ectoderm/mesenchyme cell expression, while an unidentified element upstream of the enhancer represses expression in mesenchyme cells. Using an enhancer activation assay, combined with site-directed mutagenesis, I showed that three TAATCC/T sites within the enhancer are responsible for enhancer activity. Mutagenizing these sites and a fourth one just upstream abolished all activity from the Spec2a control region. A 77-bp DNA fragment from the Spec2a enhancer containing two of the TAATCC/T sites is sufficient for aboral ectoderm/mesenchyme cell expression. A cDNA encoding SpOtx, an orthodenticle-related protein, was cloned from S. purpuratus and shown to bind with high affinity to the TAATCC/T sequences within the Spec2a control region. SpOtx transcripts were found initially in all cells of the cleaving embryo, but they gradually became restricted to oral ectoderm and endoderm cells, suggesting that SpOtx might play a role in the initial temporal activation of the Spec2a gene and most likely has additional functions in the developing embryo. To reveal the broader biological functions of SpOtx, I injected SpOtx mRNA into living sea urchin eggs to determine what effects overexpressing the SpOtx protein might have on embryo development. SpOtx mRNA-injected embryos displayed dramatic alterations in development. Instead of developing into pluteus larvae with 15 different cell types, uniform epithelia balls were formed. These balls consisted of a thin layer of squamous cells with short cilia highly reminiscent of aboral ectoderm. Immunohistochemical staining and RT-PCR demonstrated that the SpOtx-injected embryoids expressed aboral ectoderm markers uniformly, but showed very weak or no expression of markers for non-aboral ectoderm cell types. These data strongly suggested that overexpression of SpOtx redirected the normal fate of non-aboral ectoderm cells to that of aboral ectoderm. These results show that SpOtx is involved in aboral ectoderm differentiation by activating aboral ectoderm-specific genes and that modulating its expression can lead to changes in cell fate. ^

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Abundant serpentinite seamounts are found along the outer high of the Mariana forearc at the top of the inner slope of the trench. One of them, Conical Seamount, was drilled at Sites 778, 779, and 780 during Leg 125. The rocks recovered at Holes 779A and 780C, respectively, on the flanks and at the summit of the seamount, include moderately serpentinized depleted harzburgites and some dunites. These rocks exhibit evidence of resorption of the orthopyroxene, when present, and the local presence of very calcic-rich diopside in veins oblique to the main high-temperature foliation of the rock. The peridotites, initially well-foliated with locally poikiloblastic textures, show overprints of a two-stage deformation history: (1) a high-temperature (>1000°C), low-stress (0.02 GPa), homogeneous deformation that has led to the present Porphyroclastic textures displayed by the rocks and (2) heterogeneous ductile shearing at a much higher stress (0.05 GPa). This heterogeneous shearing probably describes a single tectonic event because it began at high temperatures, producing dynamic recrystallization of olivine in the shear zone, and ended at low temperatures in the stability field of chlorite and serpentine. In a few samples, olivine shows evidence of quasi-hydrostatic recrystallization at a very high temperature. Here, we propose that this recrystallization was related to fluid/magma percolation, a process that can also account for the resorption of the orthopyroxene and for the late crystallization of diopside veins in the rock. The impregnation by fluid or magma, development of the main high-temperature, low-stress deformation, and subsequent migration recrystallization of olivine probably occurred in a mantle fragment involved in the arc formation. In addition, this mantle has preserved structures that may have formed earlier in the oceanic lithosphere upon which the arc formed. Heterogeneous ductile shear zones in the peridotites may have developed during uplift. The "cold" deformation may have taken place during diapiric rise of hot mantle that underwent subsequent serpentinization or gliding along normal faults associated with the extension of the eastern margin of the forearc.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Fil: Jesinghaus, Carlos.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

En estas sociedades occidentales modernas, deviene como “normal" y cotidiano la uniformización de los sujetos; resultando valores cada vez más preciados y exigidos la hegemonía en pensamiento, acción y sensación. En este sentido, y para el logro de tal emprendimiento, se entiende que han ido cambiando a lo largo de estos últimos tres siglos las formas de requerir tal hegemonía, no así la esencia de la misma, orientando a los seres en su individualidad y colectivamente hacia una hegemonía del deber ser. Se considera en este trabajo a la educación formal como uno de los pilares en los que se ha sostenido la formación de los sujetos sociales modernos. Será en base a las demarcaciones propias del disciplinamiento y la normalización adquirida a través de la currícula educativa que se delimiten marginalidades entre lo que se es y lo que se espera de cada sujeto.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

La hipótesis que funda el presente trabajo se centra en la correlación que se establece entre las transformaciones en el sistema literario, por un lado, y las modificaciones del contexto cultural y de las instituciones sociales, por otro. A partir de ella, se analiza la novela Guía de pecadores (1972), de Eduardo Gudiño Kieffer, como ejemplo paradigmático de la voluntad de innovación formal que se instala en las letras argentinas a partir de la década del 60. Se estudian en consecuencia una serie de procedimientos renovadores, tales como la incorporación por montaje de material extraliterario (textos periodísticos y publicitarios), el entramado de elementos icónicos de gran circulación social, la transferencia de textos fílmicos al código verbo-lingüístico, entre oíros. Se destaca la funcionalidad de esos procedimientos y luego de estudiar los distintos niveles del texto -superficie textual, diégesis, isotopías centrales- se establece la correlación entre las características de laformulación discursivay los fenómenos socio-culturales del contexto de emergencia.