El método de reducción en Teoría de la Computabilidad

La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante el diseño de algoritmos. Estos resultados proporcionan importantes herramientas que se utilizan para demostrar tanto la computabilidad como la incomputabilidad de muchas funciones relevantes. Los primeros problemas incomputables que se encontraron lo fueron allá por la década de los años 30. El problema de parada es el primer y más conocido ejemplo de problema no resoluble mediante técnicas algorítmicas: ningún ordenador, por muy potente que sea, puede anticipar el comportamiento de los programas en ejecución, y decidir de antemano si terminarán o no. Este problema nos proporciona un soporte intuitivo para anticipar la incomputabilidad de otros problemas relacionados y un procedimiento para resolverlos: el método de diagonalización. Sin embargo para determinados problemas también incomputables hay que recurrir a otros métodos. Este texto incluye una descripción de otra técnica básica de Teoría de la Computabilidad: la Reducción. La base del método estriba en demostrar que ciertos pares de problemas están fuertemente relacionados de modo que si el segundo tiene solución algorítmica entonces el primero debe tenerla necesariamente también. Esta relación se establece por medio de funciones transformadoras computables, que permiten convertir de manera automática las instancias positivas del primer problema en instancias positivas del segundo. Esta técnica se utiliza muy a menudo porque resulta comparativamente más sencilla que la diagonalización, ya que en general requiere menos esfuerzo para demostrar la incomputabilidad de un mismo problema.

Análisis crítico del arbitraje como método de resolución de conflictos entre el Estado y el inversionista extranjero

El presente trabajo tiene como objetivo demostrar cómo los conflictos en materia de inversiones sometidos al arbitraje internacional se refieren cada vez más a medidas y políticas de carácter público adoptadas por los Estados receptores de la inversión, para este fin se examinan las tendencias que ha recibido el tratamiento a la inversión extranjera desde la Segunda Guerra Mundial hasta la actualidad, las obligaciones y derechos constantes en los Acuerdos Internacional de Inversión actuales cuyas normas de trato a la IED y procedimientos de resolución de conflictos se hallan estandarizados. De la misma manera se revisan las directrices del arbitraje internacional; las deficiencias en las reglas procesales generales aplicadas a éste método y los principios de acceso a la jurisdicción del CIADI. Por otro lado se trata de analizar de forma rápida tres procesos arbitrales en los cuales ha intervenido el Estado Ecuatoriano como demandado. De esta forma se puede evidenciar como la capacidad reguladora y controladora del Estado se ha visto limitada en la toma de decisiones nacionales referentes a reglas de tratamiento de la IED, y medidas ambientales, fiscales y sociales, principalmente porque afectan de forma directa o indirecta al inversionista, y además porque la nueva red mundial de tratados internacionales sobre inversión establecen normas que son de obligatorio cumplimiento de los Estados.

El método anticonceptivo de emergencia: un derecho constitucional

Los anticonceptivos de emergencia son métodos para evitar el embarazo después de haber tenido relaciones sexuales sin la protección adecuada. La anticoncepción de emergencia se utiliza generalmente cuando se rompe un condón, en caso de una violación sexual u otras relaciones sexuales no protegidas. La anticoncepción de emergencia actúa respecto de los espermatozoides impidiendo que éstos puedan migrar o alterando su capacidad de adherirse a las células de la trompa, inhibiendo así su capacidad de fecundación. Su eficacia es mayor, mientras más pronto se use el método, lo cual indica que no actúa después de la fecundación. En consecuencia, no existe vulneración al derecho a la vida del que está por nacer. La anticoncepción de emergencia no afecta de manera alguna al Art. 23.1 de la Constitución Política que garantiza el derecho a la vida, porque su naturaleza es anticonceptiva, no abortiva, consecuentemente de ningún modo se afecta la vida del que está por nacer; además no tiene efectos secundarios. La Organización Mundial de la Salud señala: "la única contraindicación de las píldoras anticonceptivas de emergencia es el embarazo. Nunca se deben administrar las píldoras anticonceptivas de emergencia a una mujer con un embarazo confirmado, en primer lugar, porque no surtirán efecto." La Anticoncepción de Emergencia en nuestro país es legal desde 1998, está reconocida como tal en la Normas de Salud Reproductiva del Ministerio de Salud. En América, 25 países proveen servicios de anticoncepción de emergencia, entre los que destacan Argentina, Uruguay, El Salvador, Venezuela, México, Brasil, Canadá, Estados Unidos y Chile.

Análisis del cultivo de brócoli (Brassica oleracea var Italica), manejo-reducción de pesticidas y posibilidades de aplicación del método circular de estudio en la Comunidad de Gatazo Zambrano, Cantón Colta, Provincia Chimborazo - Ecuador

La investigación propuesta pretende comprobar si la educación formal, la capacitación, la asistencia técnica son fundamentales para manejar adecuadamente los pesticidas y reducir sus residuos tóxicos en los agro-ecosistemas de pequeña producción. De hecho, a través de la encuesta proporcionada por el equipo técnico del proyecto Marco de Inversión en Desarrollo Rural y Reducción de Pobreza (MIRREP) se trabajó con indicadores socio-ambientales y económicos que permitieron reconocer que miembros de la comunidad son los más perjudicados por el mal uso de pesticidas. Para el efecto, se recopiló los datos desde el mes de julio hasta el mes de octubre del 2007. Los datos se compilaron en las encuestas prediseñadas de las que se obtuvo datos porcentuales y datos estadísticos levantados a través de Análisis de Correspondencia Múltiple (MCA) y Chi-Cuadrado de Pearson. A la vez, se introdujo el Método Circular de Estudio (SCM) como metodología de capacitación para el campesinado adulto con el fin de comprobar su efectividad, y generar y transmitir conocimientos respecto al uso de pesticidas y eliminación de sus residuos. Ahora bien, para analizar cual es la situación respecto al manejo de pesticidas se hizo observación directa, entrevistas (informales, formales), conferencias grupales y comunales para finalmente por medio del SCM establecer diálogos horizontales donde tanto técnicos como campesinos tienen el mismo derecho de participar y opinar, considerando sus opiniones tan valederas como las del personal técnico con el fin de enriquecerse las partes participantes en un verdadero proceso de transmisión y generación de conocimientos in situ. De esta forma, se ha generado un trabajo de investigación-acción enmarcado en la capacitación y valoración de las condiciones socio-ambientales y económicas con el fin de implementar programas y metodologías para el manejo y reducción de pesticidas. De hecho, contextualizar la realidad del campesinado respecto al manejo de pesticidas, evidenciarlo ante las autoridades de turno y proponer una alternativa de desarrollo rural valedera donde se reduzcan las múltiples externalidades negativas (sociales, económicas, y ambientales) es el valor agregado que este trabajo con el fin de reducir la pobreza a la que el campesinado se ha visto acogido por más de 2 décadas.

Avaliação da contaminação de amostras de soja com resíduos de agrotóxicos pelo método QuEChERS acetato com análise por meio de CLAE-EM/EM

O presente estudo teve por finalidade avaliar a situação atual do consumo de alimentos à base de soja disponíveis no mercado em relação à presença de resíduos de agrotóxicos. A metodologia foi validada para efetuar a determinação de 122 resíduos de pesticida na matriz soja e de 124 substâncias na matriz extrato solúvel de soja. As curvas analíticas estudadas nas duas matrizes apresentaram linearidade na faixa de trabalho analisada (0,002 a 0,200 μg.mL-1). A exatidão e a precisão em dois níveis de fortificação apresentaram valores de 70 % a 119 % de recuperação e de CV (%) de 1 a 18. O Limite de Quantificação (LQ) apresentou resultados satisfatórios (0,005 a 0,215 mg.kg-1 matriz soja e 0,006 a 0,028 mg.kg-1 matriz extrato solúvel de soja) em relação aos Limites Máximos de Resíduo (LMRs) quando existentes. Para realizar o estudo, foram selecionadas 42 amostras de soja e materiais à base de soja. As amostras foram adquiridas, no período de 2011 a 2012, em estabelecimentos comerciais na região metropolitana do Rio de Janeiro. Esta avaliação exploratória de contaminação evidenciou o uso inapropriado dos agrotóxicos ciprodinil, pirimifós-metílico, ciazofamida e butóxido de piperonila na soja e de estar em desacordo com a legislação vigente.

Vivência/experiência na realização da atenção humanizada Ao recém nascido de baixo peso – método mãe canguru na Unidade de terapia intensiva neonatal

A Atenção Humanizada ao Recém Nascido de baixo Peso- Método Mãe Canguru tem por finalidade o contato pele a pele precoce entre a mãe e o filho, fortalecendo o vínculo entre eles. Visto a importância deste método, decidiu-se realizar um estudo de natureza qualitativa com mães que realizaram dentro de uma Unidade de Terapia Intensiva o método mãe canguru com seu recém nascido de baixo peso, com o objetivo de descrever a experiência, a vivência e as dificuldades de se realizar este método em uma situação de hospitalização. Os dados foram analisados de acordo com a Teoria Fundamentada nos Dados, e emergiram sete categorias: Vivenciando o Sofrimento; Sendo apoiada e orientada a estreitar o contato com o filho; Dedicando-se ao filho; Sentindo-se mãe; Acompanhando o progresso do bebê; Percebendo a reciprocidade afetuosa do filho; Estreitando outros laços afetivos. Estas categorias revelam alguns aspectos de como se dá esta experiência da mãe com o recém nascido e revelam que o método mãe canguru contribui não só na formação de vínculo entre a díade mãe-filho, como também com entes próximo a ela e, além disso, na melhora do quadro clínico do RN de baixo peso.

A mediação como método adequado de solução de conflitos e forma de restabelecer as relações interpessoais

Este trabalho vem trazer ao leitor um estudo sobre os tipos de soluções alternativas de resolução de conflito com o enfoque na mediação. Desde o princípio da humanidade sempre houve a necessidade de uma pessoa para interpretar ou auxiliar povos com idiomas e costumes diferentes e, esse método foi trazido até a atualidade, principalmente, como uma forma de solucionar os conflitos. A mediação é uma prática que permite as partes envolvidas solucionar o litígio sem precisar do judiciário, preservando assim o relacionamento existente entre as partes. O mediador deve ser um profissional experiente, empático e principalmente imparcial, para conseguir ouvir as partes e não tomar partido, além de ser multidisciplinar devido as várias e diferentes necessidades que surgem nos processos. É preciso também que ele seja habilidoso porque caso as partes não consigam pensar em uma solução para o problema. Outras formas de soluções alternativas serão apresentadas como a negociação, arbitragem e a conciliação explicando os conceitos e sua aplicabilidade para melhorar o sistema Judiciário.

A mediação como método adequado de solução de conflitos e forma de restabelecer as relações as interpessoais

Este trabalho vem trazer ao leitor um estudo sobre os tipos de soluções alternativas de resolução de conflito com o enfoque na mediação. Desde o princípio da humanidade sempre houve a necessidade de uma pessoa para interpretar ou auxiliar povos com idiomas e costumes diferentes e, esse método foi trazido até a atualidade, principalmente, como uma forma de solucionar os conflitos. A mediação é uma prática que permite as partes envolvidas solucionar o litígio sem precisar do judiciário, preservando assim o relacionamento existente entre as partes. O mediador deve ser um profissional experiente, empático e principalmente imparcial, para conseguir ouvir as partes e não tomar partido, além de ser multidisciplinar devido as várias e diferentes necessidades que surgem nos processos. É preciso também que ele seja habilidoso porque caso as partes não consigam pensar em uma solução para o problema. Outras formas de soluções alternativas serão apresentadas como a negociação, arbitragem e a conciliação explicando os conceitos e sua aplicabilidade para melhorar o sistema Judiciário.

O Uso da Análise de Conteúdo em Jornalismo: pesquisas feitas com o método na Intercom de 1996 a 2012

Este artigo investiga o uso do método da análise de conteúdo em Jornalismo no contexto da Intercom (Sociedade Brasileira de Estudos Interdisciplinares da Comunicação). O objeto de estudo compõe-se de 20 artigos sobre o campo jornalístico apresentados nos eventos da entidade no período de 1996 a 2012 que registram o método nas palavras-chave. Como resultados, estudo bibliométrico destaca a obra da socióloga francesa Laurence Bardin como a principal referência para discorrer sobre o conceito, a história e a prática do método. Dentre as categorias analisadas, os estudos são nacionais, com exceção de um português, predominantemente da região Sudeste e de autoria de mulheres (68%), com amplo espectro de objetos de estudo. Os estudos mais recentes, de 2012, são os primeiros com resultados tabulados com softwares específicos para esta finalidade.

O método francês e a educação física no Brasil : da caserna a escola

Ao situar-se no âmbito das ciências sociais, este estudo está orientado no sentido de historicizar um conteúdo da Educação Física de forma a apreender suas origens, desdobramentos e fundamentalmente suas implicações à Educação Física brasileira. A opção pelo Método Francês se deu em função da constatação da importância que este adquiriu no Brasil, não apenas por ter sido conteúdo hegemônico da Educação Física por um longo período de tempo mas, principalmente, porque pela maneira com que se desenvolveu acabou deixando marcas profundas no fazer pedagógico dessa disciplina curricular. Através do aporte teórico-metodológico privilegiado pelo estudo, pude observar que o Método Francês esteve voltado para a formação do soldado combatente e do trabalhador produtivo, sendo orientado por uma matriz biológica e respaldado por uma abordagem positivista de ciência onde o movimento humano foi entendido a partir de seu caráter anátomo-mecânico e os homens e mulheres percebidos unicamente pela sua dimensão biológica. No que se refere à adoção e oficialização do Método Francês no Brasil, percebi que esteve direcionado para o aprimoramento da saúde, o fortalecimento da raça, a consolidação de certas disciplinas e a manutenção da ordem. Razão pela qual foi obrigatório nas instituições escolares, onde traduziu a mesma orientação representando, à nível das atividades físicas, uma transposição do trabalho realizado na caserna à escola.

Um estudo de percolação em barragens de terra, em regimes permanente e transiente, com a aplicação do método de elementos finitos

Este trabalho apresenta um estudo de fluxo de água em barragens de terra, em regimes permanente e transiente, com a utilização do Método de Elementos Finitos. No estudo de fluxo em regime permanente duas formas de abordar o problema são apresentadas e comparadas. A primeira considera, para a discretização da malha de elementos finitos, somente a região saturada, de maneira que a linha freática é obtida através de ajustes desta malha de elementos finitos. A segunda considera toda a região saturada-insaturada, sendo discretizado todo o domínio físico da barragem. A malha de elementos finitos não é modificada ao longo das iterações e a linha freática é obtida por interpolação dentro dos elementos, em função dos valores nodais do potencial de pressões. O desenvolvimento teórico das equações utilizadas para as duas formas de abardagem é apresentado, mostrando onde elas diferem entre si. No estudo de fluxo em regime transiente é utilizado apenas o esquema de malha fixa de elementos finitos.

Um modelo elasto-viscoplástico para análise de peças de concreto estrutural, submetidas a estados planos de tensão, através do método dos elementos finitos

O objetivo deste trabalho é desenvolver um modelo computacional, baseado no método dos elementos finitos, para o estudo de peças de concreto armado e protendido submetidas a estados planos de tensão. O estudo abrange situações de carga de curta e longa duração, onde consideram-se fluência e retração do concreto e relaxação do aço. São utilizados modelos constitutivos elasto-viscoplásticos para descrever o comportamento dos materiais. Implementou-se um modelo de camadas superpostas para melhor representar o comportamento do concreto, onde o material é composto de diversas camadas que sofrem a mesma deformação. Cada camada possui diferentes características materiais e a tensão total é obtida pela soma das diferentes contribuições de cada camada. Para a fissuração da concreto, utilizou-se um modelo de fissuras distribuídas, que leva em conta a contribuição do concreto entre fissuras. Tanto a amadura passiva como a de pratensão são introduzidas no modelo como uma linha de material mais rígido dentro do elemento de concreto. Os deslocamentos ao longo da armadura são referenciados aos deslocamentos nodais do elemento de concreto. Deste modo, obtém-se uma matriz de rigidez para a armadura com as mesmas dimensões que a matriz de rigidez do elemento de concreto, A matriz de rigidez do elemento concreto-aço é a soma das duas matrizes. Considera-se aderência perfeita entre o concreto e o aço. Os resultados obtidos com esse programa computacionai são comparados com valores experimentais disponíveis.