Quantitative Games under Failures

We study a generalisation of sabotage games, a model of dynamic network games introduced by van Benthem. The original definition of the game is inherently finite and therefore does not allow one to model infinite processes. We propose an extension of the sabotage games in which the first player (Runner) traverses an arena with dynamic weights determined by the second player (Saboteur). In our model of quantitative sabotage games, Saboteur is now given a budget that he can distribute amongst the edges of the graph, whilst Runner attempts to minimise the quantity of budget witnessed while completing his task. We show that, on the one hand, for most of the classical cost functions considered in the literature, the problem of determining if Runner has a strategy to ensure a cost below some threshold is EXPTIME-complete. On the other hand, if the budget of Saboteur is fixed a priori, then the problem is in PTIME for most cost functions. Finally, we show that restricting the dynamics of the game also leads to better complexity

O Tribunal Penal Internacional como um instrumento complementar na proteção dos bens jurídicos internacionais

Th is article objective is to analyze selectivity’s refl ection in the complimentary protection of legal goods in the moment of the creation of the International Criminal Court. At fi rst, it investigated the functions of the ICC from the viewpoint of the functions performed by the nationals systems of criminal law. Th en, traces over the criminalization process ways, identifying the operational method of selectivity to, fi nally, check the consequences for protection of goods in the international criminalizing process. In this context, it evaluates the impact of the creation of the ICC in the protection of legal rights and observes that a permanent international criminal court exerts an important tutelage role.O presente artigo objetiva analisar os reflexos da seletividade na complementação da proteção dos bens jurídicos internacionais almejada quando da criação do Tribunal Penal Internacional. Primeiramente, buscar-se a caracterização das funções do TPI a partir de uma visão das funções exercidas pelos sistemas penais nacionais. Em seguida, traça-se os caminhos do processo de criminalização, identificando a operacionalização da seletividade. Para então, verificar no processo de criminalização internacional suas consequências na proteção jurídica dos bens. Neste contexto, avalia-se a repercussão da criação do TPI na proteção dos bens jurídicos e observa-se que uma corte penal internacional permanente exerce funções importantes de tutela

Crimigração e controle migratório no contexto da justiça atuarial

O tema do presente trabalho é a Crimigração enquanto nova técnica de controle migratório que se estabelece nos moldes da sociedade atual. A criminalização do imigrante decorre da consciência segundo a qual há uma relação direta entre imigração e criminalidade. Esse pensamento – muito permeado no senso comum – é objeto de vários estudos que buscam fundamentar a relação imigração/criminalidade a partir dos mais variados marcos teóricos, todavia, não obstante os esforços já dispensados não se pode falar – até o presente momento – em aumento da criminalidade em função do aumento do fluxo (i)migratório. Ainda assim, e apesar do discurso em defesa da dignidade da pessoa humana e da proteção dos Direitos Humanos – presentes sobretudo no Direito Internacional – verifica-se que políticas imigratórias são estabelecidas tendo como base um cenário no qual o imigrante é um elemento de risco. Neste contexto, explora-se a influência das teorias de Justiça Atuarial no estabelecimento das políticas imigratórias, questiona-se a utilização do risco e o abandono da noção de culpabilidade na persecução dos crimes e no estabelecimento de determinadas políticas públicas. Em busca de maior efetividade com o menor dispêndio dos ativos e com base no conhecimento comum a respeito da relação imigração/criminalidade, cria-se um cenário de gerenciamento do grupo de imigrantes considerados de risco ou perigosos. Desta forma, gera-se um estigma para o imigrante de tal maneira que sua identidade incorpora essa condição de criminoso. Ademais é preciso considerar as demais condições e circunstâncias relacionadas ao fluxo imigratório. Esse cenário já pode ser observado em vários contextos – e.g., Austrália, Estados Unidos da América e Europa – e, pode ser intensificado com a presente crise econômica. Neste contexto, reavalia-se os estatutos que regulam as questões relativas a imigração a fim de observar a reprodução de técnicas de criminalização e exclusão social direcionadas ao imigrante. Considerando o contexto da União Europeia a partir do início deste século estabelece-se três níveis de observação: plano internacional, plano regional ou comunitário e plano nacional

Experimental Selection for Drosophila Survival in Extremely High O2 Environments

Although oxidative stress is deleterious to mammals, the mechanisms underlying oxidant susceptibility or tolerance remain to be elucidated. In this study, through a long-term laboratory selection over many generations, we generated a Drosophila melanogaster strain that can live and reproduce in very high O2 environments (90% O2), a lethal condition to naïve flies. We demonstrated that tolerance to hyperoxia was heritable in these flies and that these hyperoxia-selected flies exhibited phenotypic differences from naïve flies, such as a larger body size and increased weight by 20%. Gene expression profiling revealed that 227 genes were significantly altered in expression and two third of these genes were down-regulated. Using a mutant screen strategy, we studied the role of some altered genes (up- or down-regulated in the microarrays) by testing the survival of available corresponding P-element or UAS construct lines under hyperoxic conditions. We report that down-regulation of several candidate genes including Tropomyosin 1, Glycerol 3 phosphate dehydrogenase, CG33129, and UGP as well as up-regulation of Diptericin and Attacin conferred tolerance to severe hyperoxia. In conclusion, we identified several genes that were not only altered in hyperoxia-selected flies but we also prove that these play an important role in hyperoxia survival. Thus our study provides a molecular basis for understanding the mechanisms of hyperoxia tolerance

ESTUDO PRELIMINAR DE VIABILIDADE ECONÔMICA DA PRODUÇÃO DE BIOGÁS, ß-MANANASE E AÇÚCARES A PARTIR DO CAROÇO DE AÇAÍ (Euterpe oleracea)

O objetivo do presente estudo foi verificar, de forma preliminar, a viabilidade econômica de três rotas de bioprocessos para o aproveitamento da semente de açaí, propostas no trabalho de LIMA (2020), sendo: Digestão Anaeróbia (DA) para produção de biogás, a Fermentação em Estado Sólido (FES) para produção de ß-mananase e a Hidrólise Enzimática (HE) para produção de manose e mano-oligossacarídeos. Os custos operacionais e de instalação das plantas produtivas foram levantados na literatura, buscando processos similares em etapas e substratos. Os dados de equipamentos e instalação foram corrigidos em tempo e nacionalização, quando necessário. As receitas foram definidas com base em pesquisas de mercado, para produtos iguais ou similares aos produzidos no presente estudo. Para a DA da fração líquida do pré-tratamento termoquímico da semente, o custo de instalação e operação de uma planta de 25 anos de vida útil, foi de R$6,08 por tonelada de material tratado ao longo de toda sua vida. O retorno financeiro do processo foi de R$ 31,64 por tonelada. A planta de DA foi limitada à capacidade de 450 kWh pela disponibilidade de matéria prima, mas o custo da energia produzida (0,0831 R$/kWh) foi cinco vezes inferior às taxas cobradas atualmente pela concessionária da região. A FES foi estudada para uma planta de 5 anos de vida útil devido aos dados disponíveis na literatura. O custo de produção da enzima foi de R$ 191.871,50 por tonelada de material tratado, enquanto a receita foi de R$41.775.510,20 por tonelada. Deparou-se com uma falta de oferta da ß-mananase, o que pode indicar uma baixa demanda por essa enzima específica. Por último, na HE, os custos foram de R$ 875.520,30 por tonelada. A receita foi de R$1.680.000,00 por tonelada, que apesar de ser um valor bastante elevado gerou o menor retorno relativo em relação aos gastos necessários para sua realização dentre os três processos. No geral, os três processos se mostraram economicamente viáveis, e apesar de diferenças em seu potencial de mercado e lucro, foi reforçado que existe margem para explorar economicamente a semente de açaí

FICÇÃO CIENTÍFICA NO ZIRIGUIDUM DE FERNANDO PINTO: CULTURA POPULAR E O CARNAVAL DE 1985 DA MOCIDADE INDEPENDENTE DE PADRE MIGUEL

O presente trabalho pretende entender e elaborar discussões sobre a influência da ficção científica e do movimento retrofuturista no trabalho do artista carnavalesco Fernando Pinto, tendo como base o carnaval de 1985, apresentado na Mocidade Independente de Padre Miguel e intitulado Ziriguidum 2001 – Um Carnaval nas Esrelas. Além disso, busca estabelecer relações entre os conceitos de globalização, cultura popular, contemporaneidade e escolas de samba

Senp1 drives hypoxia-induced polycythemia via GATA1 and Bcl-xL in subjects with Monge's disease.

In this study, because excessive polycythemia is a predominant trait in some high-altitude dwellers (chronic mountain sickness [CMS] or Monge's disease) but not others living at the same altitude in the Andes, we took advantage of this human experiment of nature and used a combination of induced pluripotent stem cell technology, genomics, and molecular biology in this unique population to understand the molecular basis for hypoxia-induced excessive polycythemia. As compared with sea-level controls and non-CMS subjects who responded to hypoxia by increasing their RBCs modestly or not at all, respectively, CMS cells increased theirs remarkably (up to 60-fold). Although there was a switch from fetal to adult HgbA0 in all populations and a concomitant shift in oxygen binding, we found that CMS cells matured faster and had a higher efficiency and proliferative potential than non-CMS cells. We also established that SENP1 plays a critical role in the differential erythropoietic response of CMS and non-CMS subjects: we can convert the CMS phenotype into that of non-CMS and vice versa by altering SENP1 levels. We also demonstrated that GATA1 is an essential downstream target of SENP1 and that the differential expression and response of GATA1 and Bcl-xL are a key mechanism underlying CMS pathology