埋藏后生作用对生物壳体^87Sr／^86Sr的影响研究

根据小渡口剖面２８层有孔虫、介形虫、腹足类生物壳体的微观观察、微量元素及其比值、＾８７Ｓｒ／＾８６Ｓｒ与微量元素特征对比经及水－岩反应＾８７Ｓｒ／＾８６Ｓｒ的混合模式，显示生物壳体遭受了埋藏后生作用，但对生物壳体原始的＾８７Ｓｒ／＾８６Ｓｒ比值基本没有改变或影响甚微，推测参与埋藏后生作用的流体与生物壳体具有相近的Ｓｒ同位素组成或较悬殊的Ｓｒ含量。同时，实际研究表明评价和判别埋藏后生作用对生物壳体原

Resumos...

Custo do controle químico da ferrugem asiática da soja na safra 2006/07; Estimativa do custo de produção de semente de soja no Triângulo Mineiro e Alto Paranaíba safra 2006/07; Programa de difusão de cultivares de soja desenvolvida pela Embrapa Soja, para os Estados do Paraná, de Santa Catarina, do Mato Grosso do Sul e de São Paulo - safra 06/07; Índices fisiológicos de cultivares de soja em diferentes épocas de semeadura no oeste da Bahia; Acúmulo de matéria seca e área foliar de cultivares de soja em diferentes épocas de semeadura no oeste da Bahia; Resistência à penetração, densidade e umidade de um latossolo vermelho distroférrico sob diferentes sistemas de produção; Monitoramento de insetos-pragas na cultura da soja, no Estado do Tocantins; Efeito de diferentes práticas de controle de pragas sobre a população de lagartas, percevejos e seus inimigos naturais, na cultura da soja; Avaliação de inseticidas e enxofre no controle de percevejo castanho e de corós, na cultura da soja; Diferentes inseticidas e doses no controle da lagarta falsa medideira (Pseudoplusia includens Walker, 1857), na cultura da soja; Eficiência de inseticidas/acaricidas no controle do ácaro verde, Mononychellus planki, na cultura da soja; Seletividade do inseticida flubendiamide e dos inseticidas spirotetramat & imidacloprid m mistura de pronto uso sobre artropodos predadores naturalmente encontrados no agroecossistema soja; Principais problemas fitossanitários detectados na cultura da soja no nordeste paraense - safra 2006/2007; Quais as causas da soja louca? Avaliação da reação de genótipos de soja ao nematóide das lesões radiculares; Avaliação da reação de espécies vegetais ao nematóide das lesões radiculares; Efeito do tratamento de sementes + aplicação foliar de fungicidas no manejo da ferrugem asiática da soja; Eficiência de fluquinconazole, via tratamento de sementes, no controle da ferrugem asiática da soja; Tratamento de sementes de soja com fluquinconazole associado à pulverização de fungicidas visando o controle da ferrugem asiática e da mancha parda; Aplicação aérea de tebuconazole + benzimidazol para o controle da ferrugem asiática da soja; Eficiência de triazóis nos ensaios em rede para controle da ferrugem asiática da soja (Phakopsora pachyrhizi); Eficiência de estrobilurinas, misturas de triazóis e estrobilurinas e triazóis e benzimidazóis nos ensaios em rede para controle da ferrugem asiática da soja (Phakopsora pachyrhizi); Resultados sumarizados dos ensaios em rede para controle da mela da soja (Rhizoctonia solani AG1); BRS Charrua RR: cultivar de soja indicada para o sul do Estado de Mato Grosso do Sul; ? BRS Pampa RR: cultivar de soja indicada para o sul do Estado de Mato Grosso do Sul; BRS 232: extensão de indicação para a região sul do Estado de Mato Grosso do Sul; BRS 243RR: extensão de indicação para a região sul do Estado de Mato Grosso do Sul; BRS 245RR: extensão de indicação para a região sul do Estado de Mato Grosso do Sul; BRS 246RR: extensão de indicação para a região sul do Estado de Mato Grosso do Sul; Recomendação da cultivar de soja CD 224 para os Estados do Paraná, São Paulo e região sul do Estado do Mato Grosso do Sul; Recomendação da cultivar de soja CD 225RR para o Estado do Paraná ; Recomendação da cultivar de soja CD 226RR para o Estado do Paraná e região sul do Estado do Mato Grosso do Sul; Recomendação da cultivar de soja CD 227 para os Estados de Goiás e Minas Gerais e região sul e norte do Estado do Mato Grosso; Extensão da cultivar de soja CD 219RR para o Estado da Bahia; Cultivar de soja BRSMG 810C; Cultivar de soja BRSMG 850GRR: indicação para o Estado de Goiás e Distrito Federal; Cultivar de soja BRSMG 750SRR: indicação para os estados de São Paulo, Goiás e Distrito Federal; Análise discriminante na caracterização de novos descritores em soja [Glycine max (L.) Merrill]; Influência do tamanho de semente na caracterização de descritores adicionais de soja; ? Estimativa de repetibilidade da avaliação de resistência ao oídio em genótipos de soja adaptados ao Estado de Goiás; Indicação da cultivar de soja BRSGO Graciosa para os Estados de Goiás e Distrito Federal; Reação de genótipos de soja à síndrome da morte súbita, causada pelo fungo Fusarium solani f. sp. Glicynes; Reação de genótipos de soja à ferrugem asiática, causada pelo fungo Phakopsora pachyrhizi Sydow; Indicação da cultivar de soja EMGOPA 302 RR,para o Estado de Goiás e Distrito Federal; Indicação da cultivar de soja emgopa 315 RR, para o Estado de Goiás e Distrito Federal; Indicação da cultivar de soja EMGOPA 316 RR, para o Estado de Goiás e Distrito Federal; GT - 8901: nova cultivar de soja para os Estados de Goiás e Distrito Federal; GT - 8901: nova cultivar de soja para as regiões norte e nordeste; Comportamento de cultivares de soja sob condições de várzea irrigada no sul do Estado do Tocantins, entressafra 2005; Extensão de indicação da cultivar BRS Barreiras para o Piauí, sul do Maranhão e norte de Tocantins; Cultivar de soja BRS 270RR: descrição, comportamento e indicação para cultivo; Cultivar de soja BRS 271RR: descrição, comportamento e indicação para cultivo; Extensão de indicação da cultivar BRS 252 para cultivo no cerrado de Roraima; Extensão de indicação da cultivar BRS Carnaúba para cultivo em cerrado de Roraima; Produtividade e qualidade de sementes de genótipos de soja hortaliça em cerrado de Roraima 2006/2007; Influência da adubação potássica e umidade do solo na produção da soja; Resposta da cultura de soja a diferentes níveis de adubação potássica em cobertura; Teores de potássio em amostras foliares de soja obtidos por digestão nitroperclórica e por extração com água; Nível crítico de manganês trocável no solo, para soja em latossolo vermelho de textura argilosa do Mato Grosso; Nível crítico de manganês trocável no solo, para a soja, em latossolo vermelho de textura argilosa do Maranhão; Nível crítico de manganês trocável no solo, para a soja em latos-solo vermelho amarelo de textura média do Maranhão; Aplicação foliar de soluções de ácidos húmicos sobre a produ-tividade de soja; Avaliação de extratores de boro em solos cultivados com soja; Fontes e doses de molibdênio para enriquecimento de sementes e seus efeitos no rendimento da soja; Monitoramento de plantas daninhas na cultura da soja no Estado do Tocantins; Manejo de plantas daninhas em cultivos orgânicos de soja por meio de descarga elétrica; Controle de plantas daninhas em soja orgânica com uso da roçadeira articulada; Estudo da interação entre glifosato, micronutrientes e fungicida em soja RR; BRS Juliana RR - variação da cor do hilo de sementes de soja; Desperdícios na colheita mecânica da soja no Paraná e no Brasil na safra 2006/07; Efeito da antecipação e do retardamento de colheita na qualidade fisiológica e nos teores de óleo e proteina das sementes de soja cultivar Valiosa RR; Antecipação de colheita de sementes de soja com dessecação em pré-colheita; Efeito da aplicação de glyphosate como dessecante em pré-colheita sobre a qualidade de semente de soja; Aplicação de glyphosate como dessecante em pré-colheita em semente de soja: efeito sobre a produtividade; Suscetibilidade de genótipos de soja à produção de semente esverdeada, produzidos em condições de estresses hídrico e térmico; Qualidade e produtividade de sementes de soja em função de doses de potássio produzidas em cerrado de Roraima em 2006; Qualidade e produtividade de sementes de soja produzidas em cerrado de Roraima, em plantio direto sobre braquiária; Desempenho fisiológico de semente de soja em função do volume de calda no seu tratamento.

Resumos...

Análise dos custos de produção de soja nos estados do Paraná e Santa Catarina para a safra 2007/08; Resumo das exportações do complexo da soja em 2007; Atuação da Embrapa e instituições parceiras no programa de difusão de cultivares e tecnologias associadas a cultura da soja, nos estados do Paraná, Santa Catarina, Mato Grosso do Sul e São Paulo - safra 2007/08; Desenvolvimento de cultivares de soja em pré-lançamento da parceria Embrapa e Fundação Meridional nos estados do Paraná, Santa Catarina e São Paulo - safra 2007/2008; Caracterização dos produtores de soja da região de Unaí - MG; Resultados de produtividade de soja obtidos em unidades demonstrativas e de observação, na safra 2007/08, em Mato Grosso do Sul; Secagem de resíduo do leite de soja "Okara" em secador de cilindro rotativo assistido a microondas; Rendimento de grãos de soja em sucessão a espécies forrageiras solteiras ou consorciadas com milho safrinha; Interações entre forrageiras tropicais e a soja em sistemas de integração lavoura-pecuária no arenito paranaense; Plantio direto de cultivares de soja RR na renovação de cana crua em condição de argissolo; Efeito de diferentes sistemas de manejo sobre o crescimento inicial de duas cultivares da soja; Influência da insolação e do horário de aplicação de glifosato sobre a fitotoxidez na soja BRS Valiosa RR; Teores de óleo e de proteína de genótipos de soja em duas épocas de plantio e dois tipos de solo em Frutal- MG; Leitura SPAD e teor de e proteína nos grãos de genótipos de soja obtidos em quatro épocas de plantio em Viçosa -MG; Influência da época e da população de plantas no rendimento de soja hortaliça; Avaliação de cultivares de soja semeadas em duas épocas em Rolim de Moura - RO; Avaliação regional de cultivares de soja no estado de São Paulo em 2007/08: região do médio Paranapanema; Avaliação regional de cultivares de soja no estado de São Paulo em 2006/07: região do médio Paranapanema; Avaliação regional de cultivares de soja no estado de São Paulo em 2005/06: região do médio Paranapanema; Avaliação regional de cultivares de soja no estado de São Paulo em 2004/05: região do médio Paranapanema; Comparação dos níveis de danos de larvas de Liogenys fuscus (Coleoptera: Melolonthidae) na produção de massa seca de soja; Avaliação da eficiência de inseticidas, em tratamento de sementes, no manejo do coró Liogenys fuscus, em soja; Eficiência do tratamento de sementes com inseticidas no controle da lagarta-elasmo Elasmopalpus lignosellus, na cultura da soja; Tratamento de sementes e a população de percevejos fitófagos na fase vegetativa da soja; Impacto de fungicidas aplicados contra a ferrugem asiática da soja sobre populações da lagarta da soja, Anticarsia gemmatalis Hubner; Eficácia biológica do Chorantraniliprole & Lambdacialotrina no controle de Spodoptera eridania (Lepidoptera: Noctuidae) na cultura da soja no sudoeste goiano; Eficácia biológica do Chorantraniliprole & Lambdacialotrina no controle da lagarta enroladeira (Omiodes indicatus) (Lepidoptera: Cydnidae) na cultura da soja na região sudoeste do estado de Goiás; Avaliação de inseticidas no controle da lagarta falsa medideira (Pseudoplusia includens Walker, 1857) na cultura da soja; Avaliação de inseticidas/acaricidas no controle do ácaro vermelho Tetranychus desertorum (Banks, 1900) na cultura da soja; Eficiência de acaricidas no controle do ácaro rajado Tetranychus urticae (Koch, 1836) na cultura da soja; Estudos de eficiência e praticabilidade agronômica do produto Abamectin Nortox (Abamectin), no controle de Tetranychus urticae (ácaro rajado) na cultura da soja; Avaliação da eficiência de inseticidas e acaricidas para controle do ácaro verde, em soja; Expansão de uso do inseticida teflubenzuron e de sua mistura de pronto uso com o inseticida alfacipermetrina para o controle de lagartas de Spodoptera frugiperda (Smith, 1797) na cultura da soja; Eficácia de inseticidas no controle de ninfas de mosca-branca Bemisia tabaci (Genn, 1889) e validação do método de amostragem; Controle químico de Bemisia tabaci biótipo B na cultura da soja em Chapadão do Sul (MS); Manejo da mosca-branca Bemisia tabaci biotipo B, na cultura da soja na região dos Chapadões; Controle químico da mosca-branca, na cultura da soja, e o impacto dos inseticidas em Encarsia sp.; Estudos de seletividade de inseticidas a parasitóides de ovos, realizados para a cultura da soja; Estudos de seletividade de herbicidas e fungicidas a parasitóides de ovos, realizados para a cultura da soja; Avanços no uso do parasitóide de ovos Trichogramma pretiosum Riley (Hymenoptera:Trichogrammatidae) na cultura da soja; Ação de alguns manejos químicos no controle de pragas na cultura da soja; Efeito de doses de herbicidas e sistemas de semeadura na incidência de retenção foliar e haste verde, em cultivares de soja, no Maranhão e Tocantins; Avaliação da reação de genótipos de soja ao nematóide das lesões radiculares (Pratylenchus brachyurus); Reação de cultivares de soja a Pratylenchus brachyurus em área naturalmente infestada; Efeito do espaçamento entrelinhas na severidade da ferrugem da soja; Curva populacional de Phakopsora pachyrhizi, agente causal da ferrugem asiática da soja, através de armadilha caça-esporos na safra 2007-08, em Costa Rica, MS; Efeito curativo de fungicidas triazóis no controle da ferrugem asiática da soja -Phakopsora pachyrhizi Sydow; Efeito de fungicidas triazóis no controle do oídio da soja; Efeito de fungicidas no controle da ferrugem da soja; Eficiência de controle químico de doenças da soja no Maranhão - safra 2007/08; Efeito do fungicida opera associado a adjuvantes no controle de Phakopsora pachyrhizi, agente causal da ferrugem asiática da soja, em Uberlândia, MG, na safra 2007-08; Efeito de adjuvantes oleosos (Assist e Adash) ao fungicida Piraclostrobina + epoxiconazole no controle da ferrugem da soja; Informações preliminares sobre lesão de causa desconhecida (LCD) em soja; Eficiência de Picoxistrobina + Ciproconazole no controle da ferrugem asiática da soja; Cultivar de soja BRS 278RR: indicação para cultivo nas regiões sul do Maranhão, sudoeste do Piauí e norte do Tocantins; Cultivar de soja BRS 279RR: indicação para cultivo nas regiões sul do Maranhão, sudoeste do Piauí e norte do Tocantins; BRS 282: nova cultivar de soja resistente a nematóides de galha; Cultivar de soja BRS 283: indicação para os estados do PR, de SP, de SC e sul do estado do Mato Grosso do Sul; Cultivar de soja BRS 284: indicação para os estados do PR, SP, SC e sul do estado do Mato Grosso do Sul; BRS 285: nova cultivar de soja convencional indicada para o estado de Mato Grosso do Sul; Extensão da cultivar de soja CD 225RR para as regiões sul do estado do Mato Grosso do Sul, oeste e sul do estado de São Paulo; Extensão da cultivar de soja CD 226RR para as regiões oeste e sul do estado de São Paulo; Recomendação da cultivar de soja CD 228 para os estados de Goiás, Minas Gerais, região norte do estado do Mato Grosso do Sul e região sul do estado do Mato Grosso; Recomendação da cultivar de soja CD 229RR para o estado de Goiás, região norte do estado do Mato Grosso do sul e região sul do estado do Mato Grosso; Recomendação da cultivar de soja CD 231RR para os estados do Paraná, São Paulo e região sul do estado do Mato Grosso do Sul; Recomendação da cultivar de soja CD 232 para os estados do Paraná, São Paulo e região sul do estado do Mato Grosso do Sul; NK7074 RR: cultivar de soja recomendada para a região centro do Brasil; NK 7059RR: cultivar de soja de excelente desempenho nos estados do sul do Brasil e nas regiões sul do MS e centro-sul de SP; Cultivar de soja BRSMG 752S; Cultivar de soja BRSMG 811CRR; Cultivar de soja BRSMG 790A; Cultivar de soja BRSGO 7960: indicação para os estados de Goiás e Minas Gerais; Indicação da cultivar BRSGO 7961 para os estados de Goiás, Distrito Federal e Minas Gerais; Indicação da cultivar de soja BRSGO 7962 para os estados de Goiás e Minas Gerais; Indicação da cultivar BRSGO 7963 para os estados de Goiás, Distrito Federal e Minas Gerais; Indicação da cultivar de soja BRSGO 8060 para os estados de Goiás, Distrito Federal, Minas Gerais e Mato Grosso do Sul; Cultivar de soja BRSGO 8360 indicação para os estados de Minas Gerais, Mato Grosso, Mato Grosso do Sul, Goiás e Distrito Federal; Indicação da cultivar de soja BRSGO 7760RR para o estado de Goiás; Cultivar de soja BRS 7860: indicação para o estado de Goiás e Distrito Federal; Cultivar de soja BRS 7860RR: indicação para o estado de Minas Gerais; Cultivar de soja BRS 7860RR: indicação para os estados de São Paulo e Mato Grosso do Sul; Cultivar de soja BRS 8160RR: indicação para o estado de Minas Gerais; Cultivar de soja BRS 8160RR: indicação para o estado de Goiás (sul e leste) e Distrito Federal; Cultivar de soja BRS 8160RR: indicação para o estado do Mato Grosso do Sul; Indicação da cultivar de soja BRS 8460RR, para os estados de Goiás e Distrito Federal; Indicação da cultivar de soja BRS 8560RR para os estados de Goiás(região sul e leste), Mato Grosso, Mato Grosso do Sul, Minas Gerais e Distrito Federal; Indicação da cultivar de soja EMGOPA 313RR para os estados de Goiás e Tocantins; Cultivar de soja BRS Gisele RR: extensão de indicação para os estados da Bahia, do Tocantins e do Maranhão; Cultivar de soja BRS Juliana RR: extensão de indicação para os estados da Bahia, do Tocantins e do Maranhão; UFU capim branco: nova cultivar para o estado de Mato Grosso; Indicação da nova cultivar UFU Carajás para o estado de Mato Grosso; Extensão de indicação da cultivar UFU Imperial para o estado de Minas Gerais; Indicação da cultivar UFU Mineira para o estado de Minas Gerais; UFU Guará: nova cultivar para a região sul e leste de Mato Grosso; Indicação da cultivar UFU Tikuna para cultivo em Goiás; Eficiência de novos descritores na caracterização de soja pela análise multivariada; Agrupamento de cultivares de soja para o caráter tipo de crescimento; Avaliação de cultivares de soja na região centro-sul do estado do Tocantins - safra 2007/08; Comportamento de cultivares de soja em Palmas-TO, safra 2007/08; Produtividade de cultivares de soja sob épocas e densidades de semeadura no nordeste maranhense; Avaliação de cultivares de soja no cerrado de Rondônia nas safras 2006/07 e 2007/08; Indicação da cultivar de soja BRSGO Luziânia RR para o estado de Goiás e o Distrito Federal; Indicação da cultivar de soja BRSGO Mineiros RR para o estado de Goiás e o Distrito; Tolerância de linhagens de soja a diferentes doses de glifosate; Produtividade e componentes de produção da soja após a aplicação de gesso agrícola incorporado e em superfície; Formas de antecipação da adubação na cultura da soja; Produção de grãos e controle de plantas daninhas em pós-emergência com a utilização de fontes de manganês junto ao glifosato em pós-emergência; Produtividade da soja em resposta a aplicação de micro nutrientes; Avaliação do efeito de aplicação foliar de soluções contendo ácidos humicos sobre a produtividade e a absorção de nutrientes pela soja; Faixas de suficiência de nutrientes em folhas de soja, em Mato Grosso do Sul e Mato Grosso, definidas pelo uso do método DRIS de diagnose do estado nutricional; Alterações na nutrição mineral da soja induzidas pela transgenia e o manejo com herbicidas; Níveis críticos de manganês, em três solos de cerrado; Efeito da população de células na nodulação e rendimento da soja; Avaliação do herbicida Spider aplicado na dessecação na cultura da soja resistente ao herbicida glifosato; Efeito do 2,4 d no controle de plantas voluntárias de soja Roundup Ready®; Controle químico de buva resistente ao glyphosate, com herbicidas aplicados na operação de manejo, em pré-semeadura da cultura da soja; Manejo de soja voluntária resistente ao glyphosate; Identificação de biótipo de picão-preto (Bidens subalternans) resistente a atrazine; Qualidade e produtividade de sementes de soja produzidas em área de cerrado de Roraima, em plantio direto sobre braquiária; Qualidade de sementes de dois genótipos de soja hortaliça cultivados em cerrado de Roraima 2007/2008; Qualidade de sementes de soja produzidas em área de cerrado de Roraima em função de manejos do solo - 2007; Qualidade e produtividade de sementes de soja em função de doses de potássio produzidas em cerrado de Roraima 2007; Qualidade de sementes de soja BRS Candeia e BRS Tracajá produzidas em cerrados de Roraima, em função do tamanho; Tamanho da semente de soja: efeito sobre o desenvolvimento e produtividade; Influência do tamanho da semente na produtividade da cultura da soja; Dano por embebição em sementes de soja em função do teor de água inicial, cultivar e local de produção; Velocidade de hidratação de sementes de soja em função de características do tegumento; Pré-condicionamento e qualidade fisiológica de lotes de semente de soja armazenados sob condições de baixa umidade relativa do ar; Qualidade da semente de soja tolerante ao glifosato; Efeito da aplicação de glyphosate como dessecante em pré-colheita em semente de soja sobre a produtividade; Efeito do teor de lignina no potencial fisiológico de sementes de diferentes cultivares de soja.

Programa Nacional de Melhoramento do Gir Leiteiro: sumário brasileiro de touros: resultado do teste de progênie: 6a prova de pré-seleção de touros - maio 2015.

2015

Programa Nacional de Melhoramento do Gir Leiteiro: sumário brasileiro de touros: resultado do teste de progênie 7a prova de pré-seleção de touros - maio 2016.

2016

SS.PP. Toletanorum quotquot extant Opera : tomus primus [-tertius]

Nunc primum simul edita, ad codices mss. recognita, nonnullis notis illustrata atque in duos tomos distributa.

Lectures on the Tinnevelly missions, descriptive of the field, the work, and the results : with an introductory lecture on the progress of Christianity in India.

http://www.archive.org/details/lecturesontinnev00calduoft

The life of John Brainerd, the brother of David Brainerd, and his successor as missionary to the Indians of New Jersey ... By Rev. Thomas Brainerd.

http://name.umdl.umich.edu/ABB4262

Deciding Isomorphisms of Simple Types in Polynomial Time

The isomorphisms holding in all models of the simply typed lambda calculus with surjective and terminal objects are well studied - these models are exactly the Cartesian closed categories. Isomorphism of two simple types in such a model is decidable by reduction to a normal form and comparison under a finite number of permutations (Bruce, Di Cosmo, and Longo 1992). Unfortunately, these normal forms may be exponentially larger than the original types so this construction decides isomorphism in exponential time. We show how using space-sharing/hash-consing techniques and memoization can be used to decide isomorphism in practical polynomial time (low degree, small hidden constant). Other researchers have investigated simple type isomorphism in relation to, among other potential applications, type-based retrieval of software modules from libraries and automatic generation of bridge code for multi-language systems. Our result makes such potential applications practically feasible.

A Formal Semantics for Weak References

A weak reference is a reference to an object that is not followed by the pointer tracer when garbage collection is called. That is, a weak reference cannot prevent the object it references from being garbage collected. Weak references remain a troublesome programming feature largely because there is not an accepted, precise semantics that describes their behavior (in fact, we are not aware of any formalization of their semantics). The trouble is that weak references allow reachable objects to be garbage collected, therefore allowing garbage collection to influence the result of a program. Despite this difficulty, weak references continue to be used in practice for reasons related to efficient storage management, and are included in many popular programming languages (Standard ML, Haskell, OCaml, and Java). We give a formal semantics for a calculus called λweak that includes weak references and is derived from Morrisett, Felleisen, and Harper’s λgc. λgc formalizes the notion of garbage collection by means of a rewrite rule. Such a formalization is required to precisely characterize the semantics of weak references. However, the inclusion of a garbage-collection rewrite-rule in a language with weak references introduces non-deterministic evaluation, even if the parameter-passing mechanism is deterministic (call-by-value in our case). This raises the question of confluence for our rewrite system. We discuss natural restrictions under which our rewrite system is confluent, thus guaranteeing uniqueness of program result. We define conditions that allow other garbage collection algorithms to co-exist with our semantics of weak references. We also introduce a polymorphic type system to prove the absence of erroneous program behavior (i.e., the absence of “stuck evaluation”) and a corresponding type inference algorithm. We prove the type system sound and the inference algorithm sound and complete.

Moral shielding: A grounded theory of integrity maintenance in multidisciplinary teams

Using a classic grounded theory methodology (CGT), this study explores the phenomenon of moral shielding within mental health multidisciplinary teams (MDTS). The study was located within three catchment areas engaged in acute mental health service practice. The main concern identified was the maintenance of a sense of personal integrity during situational binds. Through theoretical sampling thirty two practitioners, including; doctors, nurses, social workers, occupational therapists, counsellors and psychologists, where interviewed face to face. In addition, emergent concepts were identified through observation of MDTs in clinical and research practice. Following a classic grounded theory methodology, data collection and analysis occurred simultaneously. A constant comparative approach was adopted and resulted in the immergence of three sub- core categories; moral abdication, moral hinting and pseudo-compliance. Moral abdication seeks to re-position within an event in order to avoid or deflect the initial obligation to act, it is a strategy used to remove or reduce moral ownership. Moral gauging represents the monitoring of an event with the goal of judging the congruence of personal principles and commitments with that of other practitioners. This strategy is enacted in a bid to seek allies for the support of a given moral position. Pseudo-compliance represents behaviour that hides desired principles and commitments in order to shield them from challenge. This strategy portrays agreement with the dominant position within the MDT, whilst holding a contrary position. It seeks to preserve a reservoir of emotional energy required to maintain a sense of personal integrity. Practitioners who were successful in enacting moral shielding were found to not experience significant emotional distress associated with the phenomenon of moral distress; suggesting that these practitioners had found mechanisms to manage situational binds that threatened their sense of personal integrity.

Impurity exclusion and retention during crystallisation and recrystallisation - the phenacetin by ethylation of paracetamol process

Science Foundation Ireland (05/PICA/B802/EC07, 07/SRC/B1158 and 12/RC/227505); Irish Research Council (Enterprise Partnership Scheme (IRSCET-Clarochem-2010-02)); University College Cork (UCC 2013 Strategic Research Fund); Clarochem (Ireland) Ltd

Evolución de las matemáticas acompañando a la educación secundaria

La Constitución de Cádiz (1812) inicia el origen de la enseñanza secundaria en España. Dichos estudios corren parejos con el desarrollo de la burguesía como clase diferenciada, y como tal se identifican los nuevos estudios con la nueva clase social. Paralelamente al nacimiento de la secundaria, los contenidos en matemáticas de los programas, se van abriendo paso y quitando horas a los tradicionales de humanidades. El recorrido histórico termina con la trascendental Ley Moyano en 1857.