915 resultados para conglomerato bituminoso, prova di flessione su quattro punti, viscoelasticità, prove laboratorio, modulo di rigidezza, reologia


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Resumen tomado de la publicaci??n.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Resumen basado en el de la publicaci??n

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Resumen basado en el de la publicaci??n

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Monogr??fico con el t??tulo: "La formaci??n del profesorado desde distintas miradas: inclusi??n, g??nero y evaluaci??n".

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Monogr??fico con el t??tulo:???Pedagog??a sist??mica multidimensional???

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Resumen basado en el de la publicaci??n

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Resumen tomado de la publicaci??n

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Nell'articolo è illustrata la conoscenza della lingua italiana in Svezia nella prima età moderna, con particolare riguardo al Seicento. Gli studi pregressi su questo argomento mostrano che l'Italiano era in questo periodo una delle lingue di cultura più importanti in Svezia. Per verificare questi studi si sono utilizzate le notizie di prima mano contenute in alcuni testi odeporici (lettere, diari, relazioni ecc.) redatti da viaggiatori italiani recatisi in Svezia in questo secolo. Nei primi paragrafi del lavoro il lettore è introdotto alla comprensione dell'argomento grazie ad una esposizione contestualizzata sia della storia della Svezia sia di quella della lingua italiana tra Cinquecento e Seicento. Inoltre si offre anche una veloce introduzione ai contatti culturali tra l'Italia e la Svezia fino al Seicento. L'analisi dei testi odeporici seicenteschi conferma gli studi precedenti, basati su ricerche bibliografiche e d'archivio, dimostrando come l'Italiano, sebbene materia di studio accademico e di apprendimento privato, fosse in realtà conosciuto in Svezia solo da una piccola parte dei nobili, preferendosi ad esso il Francese, mentre il latino era conosciuto bene da tutti i rappresentanti del clero.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Pós-graduação em Serviço Social - FCHS