985 resultados para Formal Methods


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Avalanche forecasting is a complex process involving the assimilation of multiple data sources to make predictions over varying spatial and temporal resolutions. Numerically assisted forecasting often uses nearest neighbour methods (NN), which are known to have limitations when dealing with high dimensional data. We apply Support Vector Machines to a dataset from Lochaber, Scotland to assess their applicability in avalanche forecasting. Support Vector Machines (SVMs) belong to a family of theoretically based techniques from machine learning and are designed to deal with high dimensional data. Initial experiments showed that SVMs gave results which were comparable with NN for categorical and probabilistic forecasts. Experiments utilising the ability of SVMs to deal with high dimensionality in producing a spatial forecast show promise, but require further work.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Why do overeducated workers participate in non-formal education activities? Do not they suffer from an excess of education? Using microdata from the Spanish sample of the 2007 Adult Education Survey, we have found that overeducated workers participate more than the rest in non-formal education and that they earn higher wages than overeducated workers who did not participate. This result can be interpreted as evidence that non-formal education allows overeducated workers to acquire new abilities that improve their competence at the job they perform. From this point of view, our results support the European Commission"s view on the need to reinforce lifelong learning among adult population.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The need for upgrading a large number of understrength and obsolete bridges in the United States has been well documented in the literature. Through the performance of several Iowa DOT projects, the concept of strengthening bridges (simple and continuous spans) by post-tensioning has been developed. The purpose of this project was to investigate two additional strengthening alternatives that may be more efficient than post-tensioning in certain situations. The research program for each strengthening scheme included a literature review, laboratory testing of the strengthening scheme, and a finite-element analysis of the scheme. For clarity the two strengthening schemes are presented separately. In Part 1 of this report, the strengthening of existing steel stringers in composite steel beam concrete-deck bridges by providing partial end restraint was shown to be feasible. Part 2 of this report summarizes the research that was undertaken to strengthen the negative moment regions of continuous, composite bridges. Two schemes were investigated: post-compression of stringers and superimposed trusses within the stringers.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Podeu consultar el document complet de la "XVI Setmana de Cinema Formatiu" a: http://hdl.handle.net/2445/22523

Relevância:

20.00% 20.00%

Publicador:

Resumo:

As a thorough aggregation of probability and graph theory, Bayesian networks currently enjoy widespread interest as a means for studying factors that affect the coherent evaluation of scientific evidence in forensic science. Paper I of this series of papers intends to contribute to the discussion of Bayesian networks as a framework that is helpful for both illustrating and implementing statistical procedures that are commonly employed for the study of uncertainties (e.g. the estimation of unknown quantities). While the respective statistical procedures are widely described in literature, the primary aim of this paper is to offer an essentially non-technical introduction on how interested readers may use these analytical approaches - with the help of Bayesian networks - for processing their own forensic science data. Attention is mainly drawn to the structure and underlying rationale of a series of basic and context-independent network fragments that users may incorporate as building blocs while constructing larger inference models. As an example of how this may be done, the proposed concepts will be used in a second paper (Part II) for specifying graphical probability networks whose purpose is to assist forensic scientists in the evaluation of scientific evidence encountered in the context of forensic document examination (i.e. results of the analysis of black toners present on printed or copied documents).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Starting from (S)-tryptophanol, a formal synthesis of ent-rhyncho-phylline and ent-isorhynchophylline, involving stereoselective cyclocondensation, spirocyclization, and alkylation reactions, and the final adjustment of the oxidation level at the oxindole and piperidine moieties, is reported.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

L'article tracta d'una de les branques emergents en Didàctica de les Ciències Socials: la Didàctica del Patrimoni. A partir de camps d"acció tradicionals, com el vinculat a l"ensenyament, s"obre a nous camps, com la museografia i la mediació en béns patrimonials, del qual es considera estructurant. L"article acaba amb la proposta d"una nova titulació vinculada a les necessitats socials i culturals de la nostra societat i permet que la didàctica de les ciències socials ja no sigui exclusiva del marc de l"ensenyament reglat.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Constituye hoy una preocupación social e intelectual que atañe particularmente al profesorado, la identificación de los mecanismos a través de los cuales se transmiten y se afianzan los sistemas de valores en la infancia y en la juventud. También interesa de manera especial, a tenor de la frecuencia de su uso político y público, la definición y construcción de las identidades y, muy en concreto, de las nacionales. En este sentido, buena parte de las investigaciones actuales indica que, a partir de los últimos decenios del siglo XX, la transmisión y construcción de valores e identidades se comunican y se construyen prioritariamente a través de las redes mediática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

AASHTO has a standard test method for determining the specific gravity of aggregates. The people in the Aggregate Section of the Central Materials Laboratory perform the AASHTO T-85 test for AMRL inspections and reference samples. Iowa's test method 201B, for specific gravity determinations, requires more time and more care to perform than the AASHTO procedure. The major difference between the two procedures is that T-85 requires the sample to be weighed in water and 201B requires the 2 quart pycnometer jar. Efficiency in the Central Laboratory would be increased if the AASHTO procedure for coarse aggregate specific gravity determinations was adopted. The questions to be answered were: (1) Do the two procedures yield the same test results? (2) Do the two procedures yield the same precision? An experiment was conducted to study the different test methods. From the experimental results, specific gravity determinations by AASHTO T-85 method were found to correlate to those obtained by the Iowa 201B method with an R-squared value of 0.99. The absorption values correlated with an R-squared value of 0.98. The single operator precision was equivalent for the two methods. Hence, this procedure was recommended to be adopted in the Central Laboratory.