Compendio de la geometria elementar, especulativa y practica : forma de levantar, y labar los planos, y modo de hacer las tintas para su manejo /

Mode of access: Internet.

Tratado económico dividido en tres discursos : I, crianza de gallinas ... II, compra de primales para venderlos al año siguiente por carneros III, modo de procurar la extinción de fieras perjudiciales al ganado ... /

Mode of access: Internet.

Mens Augustini De modo reparationis humanae naturae post lapsum : adversus Bajanam, [et] Jansenianam haeresim juxta apostolicas constitutiones exposita /

La Biblioteca Histórica posee exclusivamente el t.1.

Sumario de oracion : en que, para mañana, y tarde, se ponen en pratica dos exercicios della ... : con un modo facil de rezar ... el oficio diuino, mayor, y menor, y el rosario, y corona de nuestra Señora /

Mode of access: Internet.

Entomologia vicentina; ossia, Catalogo sistematico degl' insetti della provincia di Vicenza, con osservazioni e descrizioni di moltissime specie degl' insetti utili e dei nocivi particolarmente all' agricoltura colla giunta di un metodo pratico sulla caccia degl' insetti e sul modo di apparecchiarli per le collezioni,

Mode of access: Internet.

Del modo di dirigere e regolare il corso dei fiumi e dei torrenti : trattato /

With: Théorie des puits artésiens / J. B. Viollet. Paris : Carilian-Goeury, 1840.

Dissertatio inauguralis medica de vario Coffeae potum parandi modo.

Mode of access: Internet.

Delle cavallette de del modo di distruggerle, opera in circostanza della invasione avvenuta nella provincia de Caltanissetta nel 1832.

Mode of access: Internet.

Arte de los metales, en que se enseña el verdadero beneficio de los de oro y plata por azogue: el modo de fundirlos todos, y como se han de refinar y apartar unos de otros. Nuevamente ahora añadido con el tratado de las antiguas minas de España, que escribió don Alonso Carrillo y Laso. Reimpreso por el Real Tribunal de Minería de esta capital de órden del Excmo. Sr. Virey.

Mode of access: Internet.

Annales ordinis S. Benedicti occidentalium monachorum patriarchae : in quibus non modo res monasticae sed etiam Ecclesiasticae historiae non minima pars continentur /

Mode of access: Internet.

Annales Ordinis S. Benedicti Occidentalium monachorum Pairiarchae : in quibus non modo res monasticae, sed etiam ecclesiasticae historiae non minima pars continentur /

Mode of access: Internet.

Avaliação de impactos não esperados: estudo de caso sobre o uso alternativo de crédito no Pronaf B

This Doctoral Dissertation deals with the evaluation of impacts, through the Case Study on deviations or redirects present in contracts Pronaf B, at Governador Mangabeira - BA , from 2011 to 2013. From the questioning about the expected impacts not contribute to the effectiveness of the program ? It was possible the measurement of the hypothesis that the effectiveness of unexpected impacts stems from the logic of family farming, unique socio-economic conditions of individuals and family units. The methodology is structured in the theoretical framework regarding the impact assessment and family farming, data collection, questionnaires among redirected contracting credit in PRONAF B and interviews with institutional actors involved . The results confirmed the existence of a logic family farm, able to take own decisions their mode of reproduction of life. As for the impact assessment, we added the importance of the unexpected in the evaluation of public policy impacts , while study of effectiveness with the beneficiaries and the significant contribution of their views.

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

Concentrador solar multi-modo

El objeto de la invención es un captador solar constituido por un concentrador cilindroparabólico (CCP) aislado térmicamente (4), una cubierta de vidrio en su plano de apertura (1), un absorbedor tubular situado en su foco por el que circula un fluido caloportador (3), con o sin encapsulamiento de vidrio (2), y un mecanismo de lamas rotativas absorbedoras (5). El invento permite, mediante la rotación de las lamas, optar entre un modo de operación en concentración solar en el absorbedor focal para el aprovechamiento de la radiación solar directa (3) y un modo de operación en placa plana convencional para aprovechamiento de la radiación solar global (6). Su uso se propone como parte de instalaciones solares térmicas con el fin de a) alimentar con un solo elemento procesos que presentan demandas combinadas de baja y media temperatura en función de su programación temporal o estacional, b) permitir un aprovechamiento solar suplementario en instalaciones de CCP durante períodos de radiación directa reducida y c) contar con capacidad adicional de regulación de temperatura y radiación.

Desenvolvimento de método para determinação de resíduos de sedativos e B-bloqueadores em rim por LC-MS/MS

O desenvolvimento de métodos adequados que permitam o monitoramento de resíduos e contaminantes em alimentos é de suma importância pois é a única forma de garantir a segurança dos alimentos evitando danos à saúde do consumidor. Para isso, fazse necessário que estes métodos sejam rápidos, fáceis e de baixo custo, capazes de detectar a presença de resíduos em concentrações baixas e em diferentes matrizes. Este trabalho consistiu no desenvolvimento de método para determinação de 5 sedativos e 14 β-bloqueadores em amostras de rim suíno e posterior análise por Cromatografia Líquida Acoplada à Espectrometria de Massas em Série (LC-MS/MS). O procedimento de extração que melhor se adequou para análise destes compostos consistiu na pesagem de 2 g de amostra e adição de 10 mL de acetonitrila seguida de homogeneização com auxílio de Ultra-Turrax e mesa agitadora. Após extração, as amostras foram submetidas a duas técnicas de clean-up, sendo elas, congelamento do extrato à baixa temperatura e extração em fase sólida dispersiva (d-SPE) utilizando como sorvente Celite® 545. Uma etapa de concentração foi realizada com auxílio de concentrador de amostras sob fluxo de N2 e temperatura controlada. As amostras secas foram retomadas com metanol e analisadas utilizando sistema LC-MS/MS com Ionização por Eletrospray (ESI), operando no modo MRM positivo, coluna Poroshell 120 EC-C18 (3,0 x 50 mm, 2,7 μm) para separação dos analitos, e gradiente de fase móvel composta por (A) solução aquosa acidificada com 0,1% de ácido fórmico (v/v) e (B) metanol 0,1% ácido fórmico (v/v). Os parâmetros de validação avaliados foram linearidade, seletividade, efeito matriz, precisão, veracidade, recuperação, limite de decisão, capacidade de detecção, incerteza da medição, robustez, limite de detecção e de quantificação. Além disso foram observados os critérios de desempenho aplicáveis à detecção por espectrometria de massas e estabilidade dos compostos. A recuperação foi avaliada em 10 μg kg-1 e a veracidade em 5, 10 e 15 μg kg-1 apresentando resultados satisfatórios entre 70 - 85% e 90 - 101%, respectivamente. O limite de quantificação determinado foi de 2,5 μg kg-1 , exceto para carazolol que foi de 1,25 μg kg- 1 . O estudo de linearidade foi realizado entre 0 e 20 μg kg-1 apresentando coeficientes de determinação superiores a 0,98. Estes procedimentos foram realizados através de análise de matriz branca fortificada. Além disso, o presente método foi utilizado para analisar carazolol, azaperone e azaperol em amostras de ensaio colaborativo de rim suíno, apresentando resultados muito próximos aos reais. Portanto, é possível concluir que o método desenvolvido é adequado para análise de sedativos e β-bloqueadores através de extração dos compostos e limpeza do extrato eficientes utilizando procedimentos rápidos, fáceis e de baixo custo, garantindo resultados seguros e confiáveis.