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, 1990, Vol. XLV, nº 177 (número completo)

Contenido: La prudencia (III) / Octavio Nicolás Derisi – El tránsito de la existencia al ser / Carlos R. Kelz – Arte y conocimiento / Raúl Echauri – Contemplación y Dios en Aristóteles / Beatriz Bossi de Kirchner – Breves notas acerca de la “Política” de Aristóteles / Margarita Mauri Álvarez – La teoría de la ciencia de Guillermo de Ockham: una imagen prospectiva / Olga E. Larre ; J. E. Bolzán – Notas y comentarios -- Bibliografía

Investigations on the vertical migration of planktonic Crustacea in the Bodensee-Obersee. [Translation from: Schriften des Vereins fur Geschichte des Bodensees und seiner Umgebung, 87, 177-187, 1969.]

The vertical zoning of the planktonic Crustacea in a lake is the expression of a complex set of different factors. Besides the measurable, external influences such as light, temperature, acid and C02 stratification, a particularly large part is played by internal factors, which co-ordinate a specific reaction in each species depending on state of development, age and sex. Supporting this extensive, predictable, annual course of diurnal depths and the daily vertical migrations, whose extent is again dependent on external conditions, primarily of course on the amount of light. The individual factors mentioned, however, are here also of great significance. Within the scope of a long-term study of the planktonic Copepoda of Lake Constance, some day and night series were in 1963 also carried out in the Obersee, in order to obtain at least volumetric data on the extent of the daily migrations of these creatures.

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.

Environmentally stable ytterbium figure-of-eight fiber laser producing 177-fs pulses

Pulses of 177 fs and 1035 nm, with average power of 1.2 mW, have been generated directly from a passively mode-locked Yb-doped figure-of-eight fiber laser, with a nonlinear optical loop mirror for mode-locking and pairs of diffraction gratings for intracavity dispersion compensation. To our knowledge, these are the shortest pulses ever to come from a passively mode-locked Yb-doped figure-of-eight fiber laser. This represents a 5-fold reduction in pulse duration compared with that of previously reported passively mode-locked Yb-doped figure-of-eight fiber lasers. Stable pulse trains are produced at the fundamental repetition rate of the resonator, 24.0 MHz. (c) 2007 Elsevier B.V. All rights reserved.

BRS 120 e BRS 177: duas cultivares de trigo de alto potencial de rendimento de grãos para o Sul do Brasil.

2004

C 177 INST-D 2013. 358 Diversos modelos de bolsos y mochilas de hilos de algodón tejidos con las técnicas del chochet y el macramé.

24 fotografías 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.