Fatores associados à quantidade e tipos de gordura disponível para consumo, presentes nos alimentos industrializados adquiridos pelas famílias paulistanas

Este trabalho examina o papel dos alimentos industrializados no acesso às gorduras. Ele analisa os determinantes socioeconâmicos da quantidade e do tipo de gordura disponível para consumo pelas famílias paulistanas, presentes nos alimentos industrializados. Essa análise envolveu uma amostra de 576 famílias no município de São Paulo, cujos dados foram coletados no período de 2008 a dezembro de 20 10, selecionada após alguns critérios excludentes. A fonte dos dados é a Pesquisa de Orçamentos Familiares da FIPE, que está em andamento desde 2008, atualizada através da ponderação do Índice de Custo de Vida da FIPE. Baseado em métodos analíticos de estatística descritiva (média, desvio-padrão, mediana), testes t de student, e métodos econométricos de regressão múltipla, alguns resultados foram encontrados. Os fatores associados aos gastos com alimentos industrializados foram renda, tamanho da família, idade e grau de instrução do chefe. Em relação à gordura total identificou-se como fatores associados renda, tamanho da família, idade do chefe, a presença de crianças na família e a proporção do gasto com alimentação com derivados de leite e derivados de carne.

A admissibilidade e a conveniência da exclusão do controlador em S.A.

O estudo refere-se à verificação da admissibilidade e da conveniência da exclusão facultativa de acionista controlador em sociedade anônima. O tema não é propriamente novo no Brasil. Intenciona-se, no entanto, construir a hipótese a partir de fundamento legal diferente. A Lei 6.404/76 (LSA) apenas destina a exclusão para casos de acionista remisso (artigo 107, II), permanecendo silente com relação ao inadimplemento de deveres de colaboração e lealdade (em conjunto, deveres de cooperação). Nesse contexto, a doutrina e a jurisprudência brasileiras tendem a admitir a hipótese de exclusão em tais casos por aplicação do artigo 1.030 do Código Civil, destinado a regular a matéria no âmbito das sociedades simples. Para tanto, aproximam a companhia fechada das sociedades de pessoas a fim de justificar, dada a alegada omissão da lei especial a esse respeito, o tratamento por analogia. A partir do estudo sistemático da LSA, que compreende, entre outros, o entendimento do princípio da circulação de ações e da extensão dos deveres de boa-fé entre os sócios, pretende-se admitir a hipótese com base na própria lógica acionária, em razão da eventual relevância do relacionamento societário para a consecução do fim social. Em tais companhias, o adimplemento dos deveres de cooperação torna-se tão imprescindível quanto o adimplemento do dever de conferimento para o alcance do escopo comum. Em decorrência desse raciocínio, a exclusão torna-se admissível na ocorrência de inadimplemento de qualquer dever social que inviabilize, real ou potencialmente, o preenchimento do fim social. A identificação de eventual affectio societatis entre os acionistas, portanto, passa a ser irrelevante. Admitir a hipótese no que se refere a acionista controlador se revela ainda importante instrumento de limitação do exercício ilegítimo do poder de controle e não se confunde com a sanção de perdas e danos prevista na LSA por abuso de poder de controle. Por fim, será analisada a conveniência da exclusão do controlador, em razão de sua relevância pessoal para a consecução da atividade, a participação societária por ele detida e da possibilidade de dissolver-se parcialmente a sociedade, com a saída do acionista minoritário descontente.

Morfologia, taxonomia e análise cladística da tribo Kingsleyini (Crustacea: Decapoda: Pseudothelphusidae)

Kingsleyini corresponde a uma das cinco tribos de Pseudothelphusidae, grupo exclusivamente americano de caranguejos de água doce. Atualmente a tribo inclui 59 espécies agrupadas em 13 gêneros, com distribuição associada aos rios, riachos e igarapés das bacias do Amazonas e do Orinoco. Desde a criação de Kingsleyini o aumento de novos táxons atribuídos a esta tribo não tem sido acompanhado por estudos cladísticos. No presente trabalho é realizada a análise cladística de Kingsleyini, acompanhada de uma revisão morfológica e taxonômica do grupo. Com este propósito, foram estudados espécimes de 60 espécies representantes das cinco tribos e duas subfamílias inclusas em Pseudothelphusidae. O material estudado se encontra depositado nas coleções carcinológicas de seis instituições e inclui os tipos nominais de 29 espécies. Na revisão morfológica foram descritas e ilustradas estruturas somáticas e sexuais da morfologia externa do grupo de estudo. Os estudos morfológicos foram auxiliados por técnicas de Microscopia Electrônica de Varredura (MEV) e cortes histológicos. A partir destas observações foram propostas modificações na terminologia utilizada para denominar as estruturas do primeiro apêndice sexual masculino (primeiro gonópodo) em Kingsleyini. A parte taxonômica deste trabalho inclui chaves de identificação, mapas de distribuição, listas sinonímicas e a descrição e ilustração do primeiro apêndice sexual masculino para a grande maioria das espécies examinadas, assim como a diagnose dos gêneros considerados monofiléticos. A análise filogenética foi realizada a partir de 92 caracteres obtidos de 57 táxons terminais: 49 terminais do grupo interno (Kingsleyini) e oito do grupo-externo (representantes dos demais Pseudothelphusidae). Como resultado da análise cladística foram obtidas seis hipóteses filogenéticas igualmente parcimoniosas: todas elas apoiam o monofiletismo de Kingsleyini e a exclusão do gênero Spirocarcinus da tribo. O monofiletismo dos gêneros Fredius, Kingsleya, Eudaniela e Rodriguezus também encontra-se sustentado em todas as hipóteses filogenéticas obtidas, enquanto que os gêneros Microthelphusa, Neopseudothelphusa, Orthothelphusa e Brasiliothelphusa revelaram-se parafiléticos.

Enterobacterias productoras de carbapenemasas: tipos, epidemiología molecular y alternativas terapéuticas

Los carbapenémicos son los antibióticos β-lactámicos de más amplio espectro activos frente a microorganismos grampositivos, gramnegativos y anaerobios. Estos agentes mantienen su actividad frente a enterobacterias productoras de β-lactamasas de espectro extendido (BLEE) o de cefalosporinasas AmpC. Dentro de las enterobacterias, la resistencia a los carbapenémicos está mediada principalmente por la producción de diferentes tipos de carbapenemasas, aunque esta resistencia también puede ser debida a una combinación pérdida de porinas más enzimas BLEE o una hiperexpresión de AmpC. Las carbapenemasas representan la familia de β-lactamasas más versátil, con un amplio espectro. La mayoría de estas enzimas reconocen e hidrolizan a casi todos los β- lactámicos y son resistentes a la acción de los inhibidores de los β-lactámicos. Dentro de las enterobacterias, las carbapenemasas se aíslan principalmente en K. pneumoniae y en menor medida en E. coli y otras especies, con una prevalencia más alta en el sur de Europa y Asia que en otras partes del mundo. Las carbapenemasas de la clase A, que pertenecen al grupo 2f de Bush-Jacoby, se pueden dividir en 5 grupos en base a su filogenética: GES, KPC, SME, IMI y NMCA. Las enzimas SME, NMC e IMI están codificadas en cromosómas mientras que las enzimas GES y KPC se encuentran codificadas en plásmidos. El gen blaKPC está asociado el transposón Tn4401. Clínicamente, el grupo que más interés tiene es el de las enzimas KPC. Existen 11 tipos descritos...

La elección entre tipos de inversión directa en el exterior: evidencia empírica de las empresas españolas en China

Una de las cuestiones que más interés despierta entre los investigadores del campo de la internacionalización empresarial es la selección de la estrategia de entrada en un país extranjero. Actualmente, China es uno de los destinos que está cobrando una mayor relevancia en la expansión internacional de muchas empresas. En ese contexto, este trabajo examina la influencia de diversos factores empresariales sobre el nivel de compromiso asumido por las compañías españolas que han entrado en China a través de inversiones directas.

Verificación de Sistemas Basada en Teoría de Tipos

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad.