A preference-based semantics for CTD reasoning

In [8] the authors developed a logical system based on the definition of a new non-classical connective ⊗ capturing the notion of reparative obligation. The system proved to be appropriate for handling well-known contrary-to-duty paradoxes but no model-theoretic semantics was presented. In this paper we fill the gap and define a suitable possible-world semantics for the system for which we can prove soundness and completeness. The semantics is a preference-based non-normal one extending and generalizing semantics for classical modal logics.

Sapientia, 1986, Vol. XLI, nº 162 (número completo)

Contenido: La causa IV : necesidad de la primera causa o acto de Dios / Octavio N. Derisi -- La cuestión del "paso" indebido de las proposiciones especulativas a las prácticas y la respuesta de Tomás de Aquino / Carlos I. Massini -- Significado del pensamiento de Michele Federico Sciacca para el hombre de hoy / Alberto Caturelli -- La sociedad nacional y la sociedad internacional para el análisis de la doctrina social de la Iglesia / Pedro E. Baquero Lazcano -- Notas y comentarios -- Bibliografía

Diário da Constituinte [gravação de vídeo] : [programa n. 162]

Foi testada a porta de detector de metais posicionada na entrada das galerias do Plenário. É um equipamento de segurança com cem por cento de tecnologia nacional. O Deputado Jorge Arbage (PDS-PA) informa que a porta estava dentro do programa estabelecido para as normas de segurança da Assembleia Nacional Constituinte (ANC). O Deputado Mauro Miranda (PMDB-GO) defende emendas em favor da autonomia dos municípios. O Deputado Amaury Muller (PDT-RS) declara que o Poder Executivo não tem respondido os requerimentos de informações do Poder Legislativo e considera isso um desrespeito à soberania da Constituinte. Na sessão O Povo Pergunta, cidadã quer saber o que muda no direito de expressão. O Deputado Ruy Nedel (PMDB-RS) responde que o "direito de dizer" já mudou com a queda da ditadura e cita as figuras da Inconstitucionalidade por Omissão e do Defensor do Povo como formas de mudar o direito de fazer a Constituição ser cumprida. Jair Meneguelli, Presidente da Central Única dos Trabalhadores (CUT), conclama a população a assinar as emendas populares.

Diário da Constituinte [gravação de vídeo] : [programa n. 162 A]

Opinião de cidadãos sobre a proposta de aprovar a nova Constituição através de plebiscito. Dois projetos de resolução, apresentados pelos Deputados Brandão Monteiro (PDT-RJ) e Virgílio Guimarães (PT-MG). estabelecem que, após 90 dias da promulgação da nova Carta, ela seja aprovada por um plebiscito. O Deputado Virgílio Guimarães (PT-MG) considera que a palavra final cabe ao eleitor. O Deputado Alceni Guerra (PFL-PR) quer plebiscitos parciais, por temas. Em debate promovido pelo 1º Secretário da Assembleia Nacional Constituinte Marcelo Cordeiro, líderes partidários fazem um balanço do projeto de Constituição. O Deputado Brandão Monteiro (PDT-RJ) rejeita a ideia de chamar de "monstrengo" a nova Constituição, mas diz que ela precisa de ajustes. O Deputado Luiz Henrique (PMDB-SC) declara ser fundamental o entendimento dos partidos nas questões polêmicas, para que se faça uma Constituição moderna. José Carlos Coutinho (PL-RJ) critica o aproveitamento, no projeto, do texto do substitutivo recusado na Comissão de Educação da Assembleia Nacional Constituinte (ANC). O Senador Carlos Chiarelli (PFL-RS) declara que a negociação é urgente e indispensável. O Deputado Bonifácio de Andrada (PDS-MG) considera que as negociações permitirão o consenso na votação no Plenário. A Deputada Irma Passoni (PT-SP) declara que cada partido deve afirmar seus princípios, mas também trabalhar para uma negociação possível no sentido de alcançar as necessidades atuais da nação brasileira. Cidadãos assinam as emendas populares nos pontos mais movimentados das cidades. As principais emendas populares que estão circulando pelo país tratam dos seguintes temas: direito dos trabalhadores; direitos da mulher; conselho de comunicação; educação.

Nutrient Enhanced Coastal Ocean Productivity (NECOP). Data report: CTD and hydrographic data, R/V Pelican cruise, April 3-11, 1993

The Nutrient Enhanced Coastal Ocean Productivity (NECOP) Program is a component of NOAA's Coastal Ocean Program. The central hypothesis of this research is: Anthropogenic nutrient inputs have enhanced coastal ocean productivity with subsequent impacts on coastal ocean water quality, living resource yields, and the global marine carbon cycle. The initial study area for this program is the Mississippi/Atchafalaya River Outflow and adjacent Louisiana shelf region.

Informe final contrato ADC-2014-258 - ADC-CA2014-111 - ADC-CA2014-162 - ADC-CA2014-207.

116 hojas : ilustraciones, fotográficas a color.

Yeast screens identify the RNA polymerase II CTD and SPT5 as relevant targets of BRCA1 interaction.

BRCA1 has been implicated in numerous DNA repair pathways that maintain genome integrity, however the function responsible for its tumor suppressor activity in breast cancer remains obscure. To identify the most highly conserved of the many BRCA1 functions, we screened the evolutionarily distant eukaryote Saccharomyces cerevisiae for mutants that suppressed the G1 checkpoint arrest and lethality induced following heterologous BRCA1 expression. A genome-wide screen in the diploid deletion collection combined with a screen of ionizing radiation sensitive gene deletions identified mutants that permit growth in the presence of BRCA1. These genes delineate a metabolic mRNA pathway that temporally links transcription elongation (SPT4, SPT5, CTK1, DEF1) to nucleopore-mediated mRNA export (ASM4, MLP1, MLP2, NUP2, NUP53, NUP120, NUP133, NUP170, NUP188, POM34) and cytoplasmic mRNA decay at P-bodies (CCR4, DHH1). Strikingly, BRCA1 interacted with the phosphorylated RNA polymerase II (RNAPII) carboxy terminal domain (P-CTD), phosphorylated in the pattern specified by the CTDK-I kinase, to induce DEF1-dependent cleavage and accumulation of a RNAPII fragment containing the P-CTD. Significantly, breast cancer associated BRCT domain defects in BRCA1 that suppressed P-CTD cleavage and lethality in yeast also suppressed the physical interaction of BRCA1 with human SPT5 in breast epithelial cells, thus confirming SPT5 as a relevant target of BRCA1 interaction. Furthermore, enhanced P-CTD cleavage was observed in both yeast and human breast cells following UV-irradiation indicating a conserved eukaryotic damage response. Moreover, P-CTD cleavage in breast epithelial cells was BRCA1-dependent since damage-induced P-CTD cleavage was only observed in the mutant BRCA1 cell line HCC1937 following ectopic expression of wild type BRCA1. Finally, BRCA1, SPT5 and hyperphosphorylated RPB1 form a complex that was rapidly degraded following MMS treatment in wild type but not BRCA1 mutant breast cells. These results extend the mechanistic links between BRCA1 and transcriptional consequences in response to DNA damage and suggest an important role for RNAPII P-CTD cleavage in BRCA1-mediated cancer suppression.