Air oxygenation chemistry of 4-TBC catalyzed by chloro bridged dinuclear copper(II) complexes of pyrazole based tridentate ligands: synthesis, structure, magnetic and computational studies

Four dinuclear bis(mu-Cl) bridged copper(II) complexes, Cu-2(mu-Cl)(2)(L-X)(2)](ClO4)(2) (L-X = N,N-bis(3,5-dimethylpyrazole-1-yl)-methyl]benzylamine with X = H(1), OMe(2), Me(3) and Cl(4)), have been synthesized and characterized by the single crystal X-ray diffraction method. In these complexes, each copper(II) center is penta-coordinated with square-pyramidal geometry. In addition to the tridentate L-X ligand, a chloride ion occupies the last position of the square plane. This chloride ion is also bonded to the neighboring Cu(II) site in its axial position forming an SP-I dinuclear Cu(II) unit that exhibits small intramolecular ferromagnetic interactions and supported by DFT calculations. The complexes 1-3 exhibit methylmonooxygenase (pMMO) behaviour and oxidise 4-tert-butylcatechol (4-TBCH2) with molecular oxygen in MeOH or MeCN to 4-tert-butyl-benzoquinone (4-TBQ), 5-methoxy-4-tert-butyl-benzoquinone (5-MeO-4-TBQ) as the major products along with 6,6'-Bu-t-biphenyl-3,4,3',4'-tetraol and others as minor products. These are further confirmed by ESI- and FAB-mass analyses. A tentative catalytic cycle has been framed based on the mass spectral analysis of the products and DFT calculations on individual intermediates that are energetically feasible.

The food of the larvae of the northern anchovy Engraulis mordax

ENGLISH: Hitherto the only investigation dealing with the food and feeding of the larvae of the northern anchovy, Engraulis mordax Girard, was that of Arthur (1956). His main consideration was, however, with the Pacific sardine, Sardinops caerulea (Girard), and his work on the anchovy can only be considered preliminary. The present investigation is a continuation of Arthur's work on the food of the larval northern anchovy. SPANISH:El único trabajo publicado hasta ahora que trata sobre el alimento y nutrición de las larvas de la anchoa norteña, Engraulis mordax Girard, es el de Arthur (1956); pero su objeto principal fué la sardina del Pacifico, Sardinops caendea (Girard), y el estudio dedicado a la anchoa solo puede considerarse como preliminar. La presente investigación es una continuación del estudio de Arthur sobre el alimento de las larvas de la anchoa norteña.

Darrigolen gramatikaz

Published in 2008.

Ler e usar a literatura: alguns artifícios para o envolvimento do leitor

Nesta dissertação investigamos como a ficção envolve o leitor. Para isso, partimos da rejeição a Homero declarada por Calímaco, observando que a suposta diferença entre a literatura preferida pelo público e a literatura preferida pela crítica depende de dois fatores distintos. O primeiro é o simples fato de a crítica ler profissionalmente e o público ler por prazer. O segundo está relacionado à distinção entre recepção e uso da literatura proposta por C.S. Lewis. Na recepção, a obra tende a ser admirada por si; no uso, tende a ser instrumentalizada como suporte para um devaneio em que os desejos do próprio leitor são vicariamente satisfeitos. Observamos que essa devaneio, que Lewis chama de construção egoísta de castelos, e que inclui uma variante mórbida, tem um paralelo na noção girardiana do duplo angélico. Contudo, o devaneio depende da simpatia como definida por Adam Smith, a qual por sua vez depende de certa aprovação moral. Investigamos portanto o tipo de personagem que conquista a aprovação moral do leitor, contrastando os heróis homéricos com os cavaleiros cristãos a fim de verificar como o cristianismo dirige a aprovação moral para as vítimas, fazendo com que os heróis da ficção sejam pessoas perseguidas ou marginalizadas.

稀有鮈鲫对库蚊幼虫摄食量的研究

<正> 利用某些鱼类的摄食来控制蚊子数量,是预防以蚊为传播媒介的疾病之重要途径。迄今为止,对以(Gambusia affinis Baird et Girard)为代表的灭蚊鱼类的研究已深入到“鱼—蚊—稻田”生物控制系统阶段,并且在许多地区已成功地应用了几十年,但在我国对灭蚊鱼方面的研究尚不多。

Permanent Genetic Resources added to Molecular Ecology Resources Database 1 May 2009-31 July 2009

This article documents the addition of 512 microsatellite marker loci and nine pairs of Single Nucleotide Polymorphism (SNP) sequencing primers to the Molecular Ecology Resources Database. Loci were developed for the following species: Alcippe morrisonia morrisonia, Bashania fangiana, Bashania fargesii, Chaetodon vagabundus, Colletes floralis, Coluber constrictor flaviventris, Coptotermes gestroi, Crotophaga major, Cyprinella lutrensis, Danaus plexippus, Fagus grandifolia, Falco tinnunculus, Fletcherimyia fletcheri, Hydrilla verticillata, Laterallus jamaicensis coturniculus, Leavenworthia alabamica, Marmosops incanus, Miichthys miiuy, Nasua nasua, Noturus exilis, Odontesthes bonariensis, Quadrula fragosa, Pinctada maxima, Pseudaletia separata, Pseudoperonospora cubensis, Podocarpus elatus, Portunus trituberculatus, Rhagoletis cerasi, Rhinella schneideri, Sarracenia alata, Skeletonema marinoi, Sminthurus viridis, Syngnathus abaster, Uroteuthis (Photololigo) chinensis, Verticillium dahliae, Wasmannia auropunctata, and Zygochlamys patagonica. These loci were cross-tested on the following species: Chaetodon baronessa, Falco columbarius, Falco eleonorae, Falco naumanni, Falco peregrinus, Falco subbuteo, Didelphis aurita, Gracilinanus microtarsus, Marmosops paulensis, Monodelphis Americana, Odontesthes hatcheri, Podocarpus grayi, Podocarpus lawrencei, Podocarpus smithii, Portunus pelagicus, Syngnathus acus, Syngnathus typhle,Uroteuthis (Photololigo) edulis, Uroteuthis (Photololigo) duvauceli and Verticillium albo-atrum. This article also documents the addition of nine sequencing primer pairs and sixteen allele specific primers or probes for Oncorhynchus mykiss and Oncorhynchus tshawytscha; these primers and assays were cross-tested in both species.

Typability and Type Checking in the Second-Order Λ-Calculus Are Equivalent and Undecidable (Preliminary Draft)

We consider the problems of typability[1] and type checking[2] in the Girard/Reynolds second-order polymorphic typed λ-calculus, for which we use the short name "System F" and which we use in the "Curry style" where types are assigned to pure λ -terms. These problems have been considered and proven to be decidable or undecidable for various restrictions and extensions of System F and other related systems, and lower-bound complexity results for System F have been achieved, but they have remained "embarrassing open problems"[3] for System F itself. We first prove that type checking in System F is undecidable by a reduction from semi-unification. We then prove typability in System F is undecidable by a reduction from type checking. Since the reverse reduction is already known, this implies the two problems are equivalent. The second reduction uses a novel method of constructing λ-terms such that in all type derivations, specific bound variables must always be assigned a specific type. Using this technique, we can require that specific subterms must be typable using a specific, fixed type assignment in order for the entire term to be typable at all. Any desired type assignment may be simulated. We develop this method, which we call "constants for free", for both the λK and λI calculi.

New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi

Two new notions of reduction for terms of the λ-calculus are introduced and the question of whether a λ-term is beta-strongly normalizing is reduced to the question of whether a λ-term is merely normalizing under one of the new notions of reduction. This leads to a new way to prove beta-strong normalization for typed λ-calculi. Instead of the usual semantic proof style based on Girard's "candidats de réductibilité'', termination can be proved using a decreasing metric over a well-founded ordering in a style more common in the field of term rewriting. This new proof method is applied to the simply-typed λ-calculus and the system of intersection types.