Provador
Mostrando 13-24 de 26 artigos, teses e dissertações.
-
13. Deciding difference logic in a Nelson-Oppen combination framework
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 modul
Publicado em: 2007
-
14. A refinement theory for alloy / A refinement theory for alloy
Refatoramentos sÃo geralmente propostos de maneira ad hoc, porque à difÃcil provar formalmente que eles preservam comportamento. Na prÃtica, desenvolvedores, mesmo utilizando ferramentas de refatoramento, tÃm que usar compilaÃÃo e testes para garantir que os refatoramentos sÃo corretos. Esse cenÃrio nÃo à desejado principalmente no desenvolvimento
Publicado em: 2007
-
15. A infinitary system of the logic of least fixed-point / Um sistema infinitÃrio para a lÃgica de menor ponto fixo
A noÃÃo de menor ponto-fixo de um operador à amplamente aplicada na ciÃncia da computaÃÃo como, por exemplo, no contexto das linguagens de consulta para bancos de dados relacionais. Algumas extensÃes da LÃgica de Primeira-Ordem (FOL)1 com operadores de ponto-fixo em estruturas finitas, como a lÃgica de menor ponto-fixo (LFP)2, foram propostas para l
Publicado em: 2007
-
16. Efeito das variaveis de transporte e estocagem sobre a estabilidade sensorial de cervejas tipo Pilsen. / Influence of transport and storage variables on the flavor stability of Pilsen beer.
A cerveja tipo Pilsen é líder de vendas no mercado mundial. Ocorre mundialmente a tendência de se produzir cervejas Pilsen com menos amargor, menos corpo e mais claras. O grande desafio atual da indústria cervejeira é a garantia do frescor e leveza desse produto durante todo o seu tempo de vida de prateleira. Com a globalização, as cervejas são trans
Publicado em: 2007
-
17. Sensorial analysis of special coffees of the state of Minas Gerais / AnÃlise sensorial dos cafÃs especiais do estado de Minas Gerais
It is known that coffee quality is beginning to prove indispensable to the consumer who each day is more concerned with flavor, aroma, hygiene of the produce that he consumes, seeking a special coffee and that that quality is related with the cares with coffee, mainly as to the types of processing adopted by the coffee growers. In this context, the chief obj
Publicado em: 2006
-
18. Effect of gamma radiation in the reduction of pathogenic microorganisms, the stability of the lipids and the sensory characteristics in frozen shrimp tails / Efeito da radiaÃÃo gama sobre a reduÃÃo de microrganismos patogÃnicos, a estabilidade dos lipÃdios e as caracterÃsticas sensoriais em caudas de camarÃes congelados
A irradiaÃÃo representa uma tÃcnica eficiente na conservaÃÃo dos alimentos, e o interesse pela sua utilizaÃÃo tem crescido nos Ãltimos anos, pois alÃm de melhorar a qualidade microbiolÃgica, produz mÃnimas alteraÃÃes nos constituintes dos alimentos. Sendo assim, este trabalho teve como objetivo estudar o efeito da radiaÃÃo gama (60Co), aplicad
Publicado em: 2006
-
19. Análise descritiva de perfil livre em queijo mozarela de leite de búfala
Queijos Mozarela de leite de búfala obtidos pelo método tradicional e da acidificação direta foram submetidos ao teste descritivo de perfil livre, utilizando-se 10 provadores pré-selecionados através do teste triangular. Inicialmente, os provadores realizaram o levantamento de atributos através do método Rede (Kelly's Repertory Grid). A seguir, foram
Food Science and Technology. Publicado em: 2004-12
-
20. Assessing the performance of four methods of phasing in tests of sensory acceptance additives using standard models of analysis of variance and internal maps of preference / Avaliação do desempenho de quatro metodos de escalonamento em testes sensoriais de aceitação utilizando modelos normais aditivos de analise da variancia e mapas internos de preferencia
Em testes sensoriais, a análise dos dados geralmente é realizada através de algum modelo ANOVA. Estes modelos pressupõem que as respostas experimentais sejam: i) independentes, ii) normalmente distribuídas, m) homoscedásticas (variâncias iguais) e, iv) provenientes de uma mesma escala de medida (aditividade). Os principais problemas na análise de dad
Publicado em: 2003
-
21. Análise da aceitação de aguardentes de cana por testes afetivos e mapa de preferência interno
A aceitação de 11 amostras de aguardentes de cana envelhecidas e não envelhecidas foi avaliada por testes sensoriais afetivos e análises estatísticas uni e multivariada. As aguardentes estudadas compreenderam seis amostras comerciais de diferentes marcas, (sendo três não envelhecidas e três envelhecidas) e ainda outras cinco amostras correspondentes
Food Science and Technology. Publicado em: 2000-04
-
22. Otimização do processo de torração do cafe robusta (Coffea canephora Conillon) para formulação de blends com cafe arabica (Coffea arabica)
A variabilidade de preços que ocorre no agronegócio de café, ao mesmo tempo que gera problemas com a qualidade dos produtos, abre espaço para um assunto há muito discutido, mas pouco estudado: a utilização do café robusta no setor de cafés torrados e moídos em blends com o café arábica. Porém o preconceito existente com relação ao uso do café
Publicado em: 1999
-
23. Efeito de substitutos da sacarose nas caracteristicas reologicas e sensoriais de doce aerado tipo "marshmallow", formulado com suco de goiaba (Psidium guajava L.)
O presente trabalho teve como objetivo estudar o comportamento reológico e organoléptico de um doce aerado modificado para dietas especiais, isento de sacarose e colorido e aromatizado com suco de fruta. Foram desenvolvidos cinco formulações de "marshmallow" com suco de goiaba contendo substitutos de sacarose : (1) frutose; (2) frutose e sorbitol; (3) fr
Publicado em: 1996
-
24. ProS4 - provador automático de teoremas para a lógica modal S4
A Logica Modal tem sido utilizada em Ciencia da Computacao no tratamento de crencas, conhecimento, processamento de linguagem natural, analise de sistemas distribuidos, verificacao de programas concorrentes e paralelos, e raciocinio temporal. Estas aplicacoes requerem o desenvolvimento de provadores automaticos de teoremas para os sistemas modais utilizados
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/08/1993