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, 1984, Vol. XXXIX, nº 151 (número completo)

Contenido: Aspectos fundamentales del conocimiento humano. 1. El conocimiento sensitivo / Octavio N. Derisi -- Filosofía griega y cristianismo según W. Jaeger / Cesáreo López Salgado -- La analogía en el concepto de ciencia aristotélico-tomista / William R. Darós -- Pasión e instinto en B. Pascal / Francisco Leocata -- Notas y comentarios -- Bibliografía

Quando o Legislativo não legisla : o caso do Projeto de Lei nº 1.151/1995, que disciplina a união civil entre pessoas do mesmo sexo

Analisa as repercussões sociais e os sucedâneos jurídicos à falta de regulamentação em lei de usos e costumes, já incorporados ao "modus vivendi" da sociedade, de populações de orientação minoritária. Descreve e analisa os debates travados em torno do Projeto de Lei nº 1.151/1995 que trata da união civil homossexual e da criação do instrumento legal intitulado parceria civil registrada.

União civil entre pessoas do mesmo sexo : considerações acerca da não deliberação do Projeto de Lei n. 1.151/1995

Estudo de caso sobre o Projeto de Lei n. 1.151/1995, de autoria da deputada Marta Suplicy, que trata da união civil entre pessoas do mesmo sexo.

The changes in various iron compounds in culture media for algae. [Translation from: Archiv fur Hydrobiologie Supplemente Band 38(1/2) 151-169, 1970.]

The purpose of this work is a contribution to the quantitative record of the use of iron by planktonic algae. Preliminary experiments with Chlorella to determine the rate of iron intake in the presence of inorganic sources of iron did not produce the desired result. The crucial point of this work is the investigation of the influence of various external factors on the stability of FeEDTA (FeEDTA = Ferric(III)-compound of ethylene-diamine tetra-acetic acid), since this compound appears to be particularly well-suited as a source of iron for planktonic algae (e.g. TAMIYA et al. 1953). Cultures of Chlorella fusca in a light thermostat were used in experimental research. Methods and results are discussed.

Keys to the larvae of the species of the genera Diamesa, Eukiefferiella, Orthocladius, Cricotopus, Psectrocladius and Chaetocladius. [Translation from: Larvae and pupae of midges of the subfamily Orthocladiinae of the fauna of the USSR (Diptera, Chironomidae = Tendipedidae) (ed. V.Y. Pankratova) p76-8,151-152,173-174,188-189. Leningrad, Nauka, 1970. ]

Eudiaptomus vulgaris Schmeil is the most abundant copepod in Lake Maggiore and forms also, in respect to other entomostraca, the most important element, through its average biomass and because it is fairly numerous throughout the year. Plankton samples collected in a systematic and quantitative way, gave the opportunity to study some aspects of the dynamics of the population of this copepod, in safety in view of the uncertainty which in this kind of study can ensue when samples are taken only at a single station - in consequence of the changes in size of population between different water masses. The results of the biometrical observations are of the population of Eudiaptomus vulgaris is presented.

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.

Low threshold amplified spontaneous emission based on coumarin 151 encapsulated in mesoporous SBA-15

Amplified spontaneous emission (ASE) characteristics of a blue dye coumarin 151 encapsulated in a highly ordered mesoporous SBA-15 were studied. The spectra narrowing was observed and found that the threshold and loss were greatly reduced, and the gain is significantly increased compared with spin-coated coumarin 151 doped poly(4-vinylphenol) film. The ASE threshold, gain, and loss, respectively, reached 0.55 mJ pulse(-1) cm(-2), 44.78 cm(-1), and 8.9 cm(-1) for the coumarin 151 encapsulated in mesoporous SBA-15 film. The optimized lasing action owes much to the effects of the better spatial confinement of the molecules in the ordered mesoporous structure of the host SBA-15.

A METHOD OF FITTING TO MOSSBAUER SPECTRUM OF EU-151 AND ITS APPLICATION TO EUROPIUM COMPOUNDS

A method of fitting to Mossbauer spectrum of 151Eu has been proposed. The intensities and the positions of all the possible transitions between the sublevels of the ground state and those of the excited state of nucleus with spin I> 3/2 can be considered at one time in fitting to experimental Mossbauer spectra by this method. The method has been used to fit to the experimental Mossbauer spectra of europium orthophosphate crystal and of europium pentaphosphate crystal, and to derive Mossbauer parameters from...

一种拟合~(151)Eu穆斯堡尔谱的方法及其对铕化合物的应用

本文提出了一种拟合~(151)Eu的穆斯堡尔谱的计算方法。用这种方法拟合~(151)Eu(I>3/2)的实验穆斯堡尔谱时,可以同时对所有可能跃迁线的位置和相对强度进行拟合。我们用这种方法对EuPO_4晶体和EuPsO_(14)晶体的穆斯堡尔谱进行了拟合,得到了相应的穆斯堡尔参数。对方法及拟合的结果也进行了讨论。

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.