Np Completo
Mostrando 1-12 de 40 artigos, teses e dissertações.
-
1. Algorithms and Properties for Positive Symmetrizable Matrices
RESUMO Grafos são comumente representados por matrizes que também são usadas para representar álgebras e álgebras cluster. Este artigo mostra algumas propriedades de matrizes, a fim de facilitar a compreensão das matrizes simetrizáveis com características específicas, chamadas matrizes companheiras quase-Cartan posi-tivas, e o problema de localizá-
TEMA (São Carlos). Publicado em: 2016-08
-
2. Alinhamentos e comparação de sequências / Alignment and comparison of sequences
A comparação de sequências finitas é uma ferramenta que é utilizada para a solução de problemas em várias áreas. Comparamos sequências inferindo quais são as operações de edição de substituição, inserção e remoção de símbolos que transformam uma sequência em uma outra. As matrizes de pontuação são estruturas largamente utilizadas e
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/05/2012
-
3. DISSOLVED INORGANIC NUTRIENTS AND HYDROCARBONS IN SPM FLOW IN GUANABARA BAY DURING TIDAL CYCLE / FLUXO DE NUTRIENTES INORGÂNICOS DISSOLVIDOS E HIDROCARBONETOS NO MPS NA BAÍA DE GUANABARA DURANTE CICLO DE MARÉ
A Baía de Guanabara (BG) serve como estuário para 90 rios e canais, é um ambiente eutrofizado, com intensa produtividade primária e que recebe considerável aporte de nutrientes, principalmente oriundos do despejo de esgotos e drenagem fluvial. Ali se encontra também o segundo maior complexo industrial do Brasil. Devido a esses aspectos geradores de alt
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/04/2012
-
4. ECM, raising &control infinitival small clauses: case assignment in english and brazilian portuguese revisited in Chomsky s minimalist program
Esta Tese defende que as sentenças encaixadas do tipo infinitivas flexionadas (Inflected Infinitival Small Clauses - IISCs) em Português Brasileiro (PB) não são tratadas de forma adequada via qualquer abordagem com base em movimento, como a Teoria de Controle via Movimento (Movement Theory of Control - MTC), ao contrário das mesmas infinitivas encaixada
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/03/2012
-
5. Um estudo sobre a predição da estrutura 3D aproximada de proteínas utilizando o método CReF com refinamento
Um dos principais desafios da Bioinformática Estrutural é entender como a informação decodificada em uma sequência linear de aminoácidos, ou estrutura primária de uma proteína, possibilita a formação de sua estrutura tridimensional. Muitos algoritmos buscam propor soluções para o problema complexo da classe NP-completo. Dentre eles, está o méto
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/03/2012
-
6. Hidroquímica do estuário do Rio Caravelas, Caravelas - BA
Os estuários são corpos de água importantes no transporte de nutrientes para a zona costeira,e em suas proximidadesse desenvolvematividades humanas que vem resultando em alterações químicas dos ambientes costeiros. Inserido na área de manguezal do Parque Nacional de Abrolhos, o estuário do rio Caravelas pode estar influenciando a zona costeira e os r
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/03/2012
-
7. Análise da distribuição do número de operações de resolvedores SAT / Distribution\ s analysis of operations\ s number of SAT solvers
No estudo da complexidade de problemas computacionais destacam-se duas classes conhecidas como P e NP. A questao P=NP e um dos maiores problemas nao resolvidos em Ciencia da Compu- tacao teorica e Matematica contemporanea. O problema SAT foi o primeiro problema reconhecido como NP-completo e consiste em verificar se uma determinada formula da logica proposic
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2012
-
8. Proposta de uma heurística construtiva baseada na teoria das restrições para definição de mix de produção / The proposal of a constructive heuristics based on theory of constraints for product-mix decision
A definição do mix de produção proporciona a alocação dos recursos produtivos no processo de manufatura, visando a otimização da sua utilização e do desempenho do sistema produtivo o que, por sua vez, em um nível gerencial, norteia a performance da organização. Entretanto, apesar de sua importância, a definição do mix de produção é um prob
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2012
-
9. Abordagens baseadas em autômatos celulares síncronos para o escalonamento estático de tarefas em multiprocessadores
O problema de escalonamento estático de tarefas computacionais (PEET) em uma arquitetura multiprocessada consiste em alocar tarefas que compõem um programa paralelo entre os nós de uma arquitetura com múltiplos processadores. Uma solução ótima de uma instância do PEET é tal que as restrições de precedência entre as tarefas sejam atendidas e o tem
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2012
-
10. Uso de estratégias baseadas em conhecimento para algoritmos genéticos aplicados à predição de estruturas tridimensionais de proteínas / Knowledge-based Approach to Genetic Algorithms for the Protein Structure Prediction Problem
Proteínas desempenham uma grande variedade de funções biológicas. O conhecimento da estrutura tridimensional proteica pode ajudar no entendimento da função desempenhada. De acordo com a hipótese de Anfisen, a estrutura terciária nativa de uma proteína pode ser determinada a partir da informação contida na sequência primária, o que permitiria que
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/05/2011
-
11. Modelos e técnicas de local branching para o problema de abastecimento de linhas de montagem
O problema de abastecimento de linhas de montagem pode ser observado na indústria automobilística, onde os sistemas de manufatura normalmente apresentam linhas de produção paralelas dedicadas à montagem de diferentes famílias de produtos. Neste contexto, um processo de abastecimento deve garantir o fornecimento dos itens necessários para as linhas de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/04/2011
-
12. Estudo de casos de complexidade de coloraÃÃes gulosa de vÃrtices e de arestas / Case studies of complexity of greedy colorings of vertices and edges
Os problemas de colorac Ëao de vÂertices e de arestas, que consistem em determinar o menor nÂumero de cores necessÂarias para colorir os vÂertices e arestas de um grafo, respectivamente, de forma que vÂertices adjacentes e arestas adjacentes, respectivamente, possuem cores distintas, sËao problemas computacionalmente difÂıceis e sËao objeto d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/04/2011