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. 116]

Posse do Senador suplente Antônio Mendes Canale (PMDB-MS) com juramento no Plenário do Senado. Mendes Canale (PMDB-MS) espera que a nova carta constitucional corresponda aos anseios do Brasil. Na sessão O Povo Pergunta, cidadão quer saber o que os constituintes estão fazendo para eliminar a discriminação racial no Brasil. Carlos Alberto de Oliveira (PDT-RJ) responde que qualquer forma de discriminação racial será considerada crime inafiançável, o que é um passo importante, mas que não esgota o assunto. Constituintes apresentam novas emendas ao anteprojeto da Comissão de Sistematização da Assembleia Nacional Constituinte (ANC). Féres Nader (PDT-RJ) propõe mudanças no prazo do usucapião de terras para dez anos. Roberto Freire (PCB-PE) propõe unicidade da estrutura sindical. Bernardo Cabral (PMDB-AM) explica que o seu relatório é o resultado dos trabalhos nas comissões e que houve apenas compatibilizações. O Ministro da Fazenda Bresser Pereira expõe aos constituintes a política econômica do governo.

Olympic Coast National Marine Sanctuary Habitat Mapping: Survey report and classification of side scan sonar data from surveys HMPR-114-2004-02 and HMPR-116-2005-01.

The Olympic Coast National Marine Sanctuary (OCNMS) continues to invest significant resources into seafloor mapping activities along Washington’s outer coast (Intelmann and Cochrane 2006; Intelmann et al. 2006; Intelmann 2006). Results from these annual mapping efforts offer a snapshot of current ground conditions, help to guide research and management activities, and provide a baseline for assessing the impacts of various threats to important habitat. During the months of August 2004 and May and July 2005, we used side scan sonar to image several regions of the sea floor in the northern OCNMS, and the data were mosaicked at 1-meter pixel resolution. Video from a towed camera sled, bathymetry data, sedimentary samples and side scan sonar mapping were integrated to describe geological and biological aspects of habitat. Polygon features were created and attributed with a hierarchical deep-water marine benthic classification scheme (Greene et al. 1999). For three small areas that were mapped with both side scan sonar and multibeam echosounder, we made a comparison of output from the classified images indicating little difference in results between the two methods. With these considerations, backscatter derived from multibeam bathymetry is currently a costefficient and safe method for seabed imaging in the shallow (<30 meters) rocky waters of OCNMS. The image quality is sufficient for classification purposes, the associated depths provide further descriptive value and risks to gear are minimized. In shallow waters (<30 meters) which do not have a high incidence of dangerous rock pinnacles, a towed multi-beam side scan sonar could provide a better option for obtaining seafloor imagery due to the high rate of acquisition speed and high image quality, however the high probability of losing or damaging such a costly system when deployed as a towed configuration in the extremely rugose nearshore zones within OCNMS is a financially risky proposition. The development of newer technologies such as intereferometric multibeam systems and bathymetric side scan systems could also provide great potential for mapping these nearshore rocky areas as they allow for high speed data acquisition, produce precisely geo-referenced side scan imagery to bathymetry, and do not experience the angular depth dependency associated with multibeam echosounders allowing larger range scales to be used in shallower water. As such, further investigation of these systems is needed to assess their efficiency and utility in these environments compared to traditional side scan sonar and multibeam bathymetry. (PDF contains 43 pages.)

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.

超重核~(294)118和~(291)116及其α衰变链上各核素半衰期的研究

运用推广的液滴模型(GLDM)确定了超重核294118和291116及其α衰变链上各核素的衰变势垒,采用量子力学中的WKB方法计算α衰变中的势垒穿透几率,对该链上各原子核的α衰变半衰期进行了研究。此外,还利用Royer公式对该链上各原子核的α衰变半衰期进行了计算。结果表明,GLDM考虑亲和能与Royer公式给出的α衰变半衰期与超重核区的实验值符合很好,验证了GLDM和Royer公式在超重核区的适用性,可以用来预测超重核的半衰期。最后,预言了Z=118和116同位素链上各核素的半衰期,结果表明,在Z=118和116中存在α衰变长寿命同位素,这需要实验上的检验。

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.