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.

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

Está pronto o calendário das sessões extraordinárias para o debate dos temas polêmicos da Assembleia Nacional Constituinte. O Deputado Bocayuva Cunha (PDT-RJ) espera a participação popular e que a sociedade possa acompanhar a posição dos partidos e dos constituintes em relação aos temas a serem debatidos. O PT quer discutir mais os temas sociais. O Deputado Vladimir Palmeiras (PT-RJ) declara que a bancada terá uma intervenção mais sistemática no Plenário, no sentido de afirmar que a redução da jornada de trabalho e a estabilidade no emprego são pontos essenciais para discussão do texto constitucional. Reunião do Grupo Interpartidário, com representantes do PMDB, PT, PDT, PCB e PFL, buscam o consenso. O Deputado Antonio Brito (PMDB-RS) afirma que a sabedoria de uma Constituinte é tentar estabelecer o que o país tem em comum, para criar uma Constituição duradoura. Na reunião interpartidária, os constituintes debateram os artigos do anteprojeto que tratam da censura, da criação de um conselho de comunicação social e da reforma agrária e definiram dezenove pontos em torno dos quais buscarão uma posição de consenso nas votações em Plenário. O Deputado Roberto Freire (PCB-PE) destaca a importância do diálogo entre os partidos. O Deputado Mário Covas (PMDB-SP) declara que há uma preocupação comum que é a de ter uma Constituição que reflita os anseios da sociedade brasileira. O Deputado Plínio Arruda Sampaio (PT-SP) afirma que há uma intenção dos grupos progressistas de comporem uma grande aliança para que esta Constituição represente um avanço. O Deputado Alceni Guerra (PFL-PR) defende que a Constituição deve representar o que pensa a sociedade brasileira e deve também ser flexível, para que tanto um governo de esquerda como um de direita possa governar o país. O Deputado Antonio Brito (PMDB-RS) ressalta que, pela primeira vez, os partidos estão negociando e que é isto o que deve ser uma Constituinte. Dom Luciano Mendes, Presidente da Confederação Nacional dos Bispos do Brasil (CNBB), entrega três emendas populares ao Presidente da Assembleia Nacional Constituinte (ANC) Ulysses Guimarães . Dom Luciano ressalta a importância das emendas populares.

The transport of aquatic animals by birds. [Translation from: Binnengewaesser 18, 156-159, 1950.]

A great deal has been written on the part which birds play in the dispersal of freshwater fauna. This article summarises literature on the dispersal of aquatic animals by birds and aquatic insects.

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.

中能区~(40)Ar + ~(197)Au/~(159)Tb/~(nat)Ag反应中高激发热核性质研究

通过对中能区Ar+Au/Tb/Ag反应中高激发核的发射时标、发射次序、发射机制、核温度、集体运动等衰变特性的研究，提取了轻粒子和中等质量碎片（IMF）的发射时间，IMF发射时间随束流能的升高而变短，发射机制逐渐由相继衰变过渡至多重碎裂。研究了轻粒子和碎片间的发射次序，对高能粒子和碎片，轻粒子先于碎片发射，而低能时，则为碎片先于轻粒子发射。IMF发射成分与角度和碰撞参数有关，前角区来自于弹核碎裂，后角区来自于类靶热核的蒸发。在平面和出平面研究表明，中速粒子和碎片为在平面发射占主导，即存在类转动效应；对轻粒子，转动效应随粒子质量增加而增加；对中速产物均观测到该效应随碰撞参数饿增大而增大。采用几种不同的方法提取了热核的核温度，研究了不同方法之间的区别。

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.