985 resultados para Formal Methods
Resumo:
Magdeburg, Univ., Fak. für Mathematik, Diss., 2013
Resumo:
Magdeburg, Univ., Fak. für Informatik, Diss., 2013
Resumo:
Magdeburg, Univ., Fak. für Informatik, Diss., 2013
Resumo:
Magdeburg, Univ., Fak. für Naturwiss., Diss., 2014
Resumo:
Magdeburg, Univ., Fak. für Mathematik, Diss., 2015
Resumo:
Mangoes, cv. Imperial, were exposed, in post harvest, to the following methods of ripening: 1) sawdust burning; 2) alcohol vaporization; 3) calcium carbide (acetylene), 4) vapour of ethylene; and, 5) immersion in ethefon. All methods resulted in acceleration of ripening, when compared to controls. Calcium carbide, ethelene and ethefon were the best, methods. Alcohol vaporization also showed good results sawdust burning method showing low efficiency.
Resumo:
The present work deal t wi th an experiment under field conditions and a laboratory test of soil incubation the objectives were as follows: a. to study effects on soybean grain product ion and leaf composition of increasing doses of potassium chloride applied into the soil through two methods of distribution; b. to observe chemical modifications in the soils incubated with increasing doses of potassium chloride; and, c. to correlate field effects with chemical alterations observed in the incubation test, The field experiment was carried out in a Red Latosol (Haplustox) with soybean cultivar UFV - 1. Potassium chloride was distributed through two methods: banded (5 cm below and 5 cm aside of the seed line) and broadcasted and plowed-down. Doses used were: 0; 50; 100 and 200 kg/ha of K2O. Foliar samples were taken at flowering stage. Incubation test were made in plastic bags with 2 kg of air dried fine soil, taken from the arable layer of the field experiment, with the following doses of KC1 p,a. : 0; 50; 100; 200; 400; 800; 1,600; 3.200; 6,400 and 12,800 kg/ha of K(2)0. In the conditions observed during the present work, results allowed the following conclusions: A response by soybean grain production for doses of potassium chloride, applied in both ways, banded or broadcasted, was not observed. Leaf analysis did not show treatment influence over the leaf contents for N, P, K, Ca, Mg, and CI, Potassium chloride salinity effects in both methods of distribution for all the tested closes were not observed.
Resumo:
Magdeburg, Univ., Fak. für Informatik, Diss., 2015
Resumo:
Otto-von-Guericke-Universität Magdeburg, Fakultät für Mathematik, Masterarbeit, 2016
Resumo:
n.s. no.15(1983)
Resumo:
In the estuary of the Mamanguape River (Paraíba, Brazil), a new collection technique was developed and applied with virgin poles of mangrove trees Avicennia schaueriana (Verbenaceae), Rhizophora mangle (Rhizophoraceae), and Laguncularia racemosa (Combretaceae), taking into account wood preference, water salinity and depth influence during teredinid larval settlement. Sets of poles were vertically fixed in the riverbed at three sites along a decreasing salinity gradient, where they stayed for four months. The poles were collected and divided into upper, median, and lower segments, in agreement with different immersion regimes. An increase of 239% was obtained in the number of individuals when compared to a previous study in the same area using a different methodology. The species Teredo bartschi (Clapp, 1923), Nausitora fusticula (Jeffreys, 1860) and Bankia fimbriatula Moll & Roch, 1931 were registered in both studies, and the species Psiloteredo healdi (Bartsch, 1931) is here registered for the first time as occurring in that estuary. The species Neoteredo reynei (Bartsch, 1920), previously registered on tree branches of the mangrove habitat, was not found in the present work. Bankia fimbriatula, the most abundant species, did not show preference for any substratum but occurred significantly on the lower segment of the poles. N. fusticula, second in abundance, preferred to settle on poles of A. schaueriana and on any of the three segments. Aiming to assess the habitat variations, a more accurate study on teredinids diversity in mangrove ecosystems should be performed through a concomitant analysis from tree branches of the mangrove habitat, as well as from poles of mangrove trees or panels made of pine wood or mangrove trees wood. These collection devices should be maintained along a decreasing salinity gradient exposed to different tide levels.
Resumo:
Són molts els estudis que avui en dia incideixen en la necessitat d’oferir un suport metodològic i psicològic als aprenents que treballen de manera autònoma. L’objectiu d’aquest suport és ajudar-los a desenvolupar les destreses que necessiten per dirigir el seu aprenentatge així com una actitud positiva i una major conscienciació envers aquest aprenentatge. En definitiva, aquests dos tipus de preparació es consideren essencials per ajudar els aprenents a esdevenir més autònoms i més eficients en el seu propi aprenentatge. Malgrat això, si bé és freqüent trobar estudis que exemplifiquen aplicacions del suport metodològic dins els seus programes, principalment en la formació d’estratègies o ajudant els aprenents a desenvolupar un pla de treball, aquest no és el cas quan es tracta de la seva preparació psicològica. Amb rares excepcions, trobem estudis que documentin com s’incideix en les actituds i en les creences dels aprenents, també coneguts com a coneixement metacognitiu (CM), en programes que fomenten l’autonomia en l’aprenentatge. Els objectius d’aquest treball son dos: a) oferir una revisió d’estudis que han utilitzat diferents mitjans per incidir en el CM dels aprenents i b) descriure les febleses i avantatges dels procediments i instruments que utilitzen, tal com han estat valorats en estudis de recerca, ja que ens permetrà establir criteris objectius sobre com i quan utilitzar-los en programes que fomentin l’aprenentatge autodirigit.
Resumo:
El apoyo y el fomento a la creación de nuevas empresas se ha convertido en las últimas décadas en objetivo principal de las administraciones públicas, justificado principalmente por la incidencia positiva que tienen las mismas tanto en la generación de puestos de trabajo como en el crecimiento económico y en el potencial innovador. En esta investigación se analiza el marco institucional formal de la creación de empresas en Catalunya, tanto desde el punto de vista de la oferta (instituciones y programas de apoyo) como desde el punto de vista de la demanda (nuevos empresarios), tomando la teoría institucional como marco teórico. Para el estudio de la oferta se entrevistaron 20 responsables del área de creación de empresas de las instituciones catalanas más relevantes, completando dicha información con fuentes de datos secundarios (folletos de las instituciones, memorias, estadísticas, etc.). Para el análisis de la demanda se realizaron 307 encuestas telefónicas a empresarios potenciales y 60 entrevistas personales a empresarios actuales. Los resultados del presente trabajo ponen de manifiesto que en Catalunya existen muchas instituciones y programas de apoyo a la creación de empresas. Esta diversificación, junto a la falta de coordinación entre las instituciones implicadas, conduce a duplicaciones y solapamientos en la oferta de programas destinados a las nuevas empresas. En cuanto a la demanda, los resultados reflejan que la muestra de empresarios potenciales conoce y ha utilizado en mayor medida los programas de apoyo que la muestra de empresarios actuales. Por otra parte, ambas muestras valoran mejor los programas no económicos que los económicos, habiendo tenido también éstos mayor importancia en el proceso de creación de la empresa.