• Nenhum resultado encontrado

Modelo para lógicas modais

Combinações de lógicas modais não-normais

Combinações de lógicas modais não-normais

... U satisfazem as propriedades de normalidade na primeira coordenada, mas n˜ao na segunda. Por exemplo, a f´ ormula S(p, ⊥) ´e verdadeira no modelo hZ, <, V i, onde Z ´e o conjunto dos n´ umeros inteiros, < ´e ...

63

Publicações do PESC Lógicas Modais e Jogos

Publicações do PESC Lógicas Modais e Jogos

... O modelo por tr´as reflete, a cada estado, o conjunto de estados que podem ser atingidos a partir das atitudes dos jogadores no estado de origem, que podem ser conjuntas ou ...

74

Publicações do PESC Aplicações de Lógicas Modais a Teoria de Grafos e Sistemas Concorrentes

Publicações do PESC Aplicações de Lógicas Modais a Teoria de Grafos e Sistemas Concorrentes

... alternativa de que o problema da verifica¸c˜ao de modelo enunciado no teorema 5.32 ´e NP-Dif´ıcil. O prova original de NP-Dificuldade no teorema 5.32, apresentada em [19], utiliza uma redu¸c˜ao polinomial ...

265

Ferramentas Lógicas e Matemáticas Contemporâneas

Ferramentas Lógicas e Matemáticas Contemporâneas

... colaborar no tratamento matemático da vasta quantidade de fenômenos físicos existentes, especialmente aqueles cujo estudo requer o uso de equações não-lineares. Sintetizam, ao longo dos artigos, propriedades da ANS e ...

19

Capitulo 05   Portas Lógicas

Capitulo 05 Portas Lógicas

...  Porta Universal (NAND ou NOR) para implementar um circuito representado por uma expressão booleana... 3.1 Constantes e Variáveis Booleanas..[r] ...

54

Lógicas ultramodernas do sociétal e do religioso

Lógicas ultramodernas do sociétal e do religioso

... Ao mesmo tempo, o projecto (neo)liberal, inscrito na nova globalização, afigura-se como um projecto de construção da liberdade humana, exprimido pela indeterminação que deverá fazer sai[r] ...

34

Lógicas migratórias no Porto oitocentista

Lógicas migratórias no Porto oitocentista

... a emigração de mulheres e crianças isoladas não representa senão o processo de reagrupamento familiar, casos existindo em que o emi- grante original retomou para proteger a viage[r] ...

22

Interações modais não ressonantes em vigas cantilever flexíveis

Interações modais não ressonantes em vigas cantilever flexíveis

... Na presença de não linearidades, a resposta forçada de estruturas exibe diversos fenômenos físicos que não podem ser descritos através de modelos lineares. Estes fenômenos incluem ressonâncias sub-harmônicas, ...

117

Redes neurais lógicas quânticas

Redes neurais lógicas quânticas

... Neste capítulo serão definidos os modelos de redes neurais sem peso quânticas propostos nesta dissertação. Nas seções 7.1, 7.2 e 7.3 são descritos os modelos de redes neurais sem peso quânticas baseados, respectivamente, ...

101

Aspectos do comportamento sintetico dos modais dever e poder

Aspectos do comportamento sintetico dos modais dever e poder

... serem apresentadas propostas distintas na sua análise. ApÓs o exame dos fatos relevantes, concluÍmos com a apresentação da proposta, segundo a qual dever' enquanto [r] ...

119

Aspectos do comportamento sintático dos modais dever e poder

Aspectos do comportamento sintático dos modais dever e poder

... serem apresentadas propostas distintas na sua análise. ApÓs o exame dos fatos relevantes, concluÍmos com a apresentação da proposta, segundo a qual dever' enquanto [r] ...

119

Lógicas de vinculação na arte

Lógicas de vinculação na arte

... A obra de arte produzida nos seus primórdios só muito mais tarde foi reconhecida como tal. Na mesma ordem de ideias, a função artística da obra de arte atual, no futuro, poderá tornar- -se novamente acidental. Com ...

17

As lógicas da empresa informacional.

As lógicas da empresa informacional.

... As direções das empresas in- formacionais, bem mais que as outras, são, pois, levadas a sopesar o funcionamento do sistema social da sua empresa tanto quanto o funcionamento da organizaç[r] ...

10

As lógicas do recrutamento político.

As lógicas do recrutamento político.

... A homologia de funcionamento entre as classes médias e superiores, que se manifesta no fato de que, quando recrutam nas classes médias, partidos como a RPR ou o PR selecionam agentes q[r] ...

44

Lógicas abobrinhas  Vizente Besteirol

Lógicas abobrinhas Vizente Besteirol

... Penso logo existo; Loiras burras não pensam, logo loiras burras não existem; Meu amigo diz que não é viado por que namora com uma loira inteligente; Se uma loira inteligente namorasse [r] ...

1

Construções completivas insubordinadas subjetivas-modais no português brasileiro

Construções completivas insubordinadas subjetivas-modais no português brasileiro

... Neste trabalho descrevem-se e analisam-se os usos de construções completivas insubordinadas (CCI) no português brasileiro com função subjetiva-modal, de acordo com as propostas de Evans (2007, 2009), Van Linden e Van de ...

15

Eletroquímica de solos modais e de sua matéria orgânica em ambientes tropicais.

Eletroquímica de solos modais e de sua matéria orgânica em ambientes tropicais.

... A química do solo vem estudando o comportamento da fração mineral dos solos tropicais intemperizados, incluindo a eletroquímica, o desenvolvimento de cargas e o fenômeno de adsorção. Por causa do amplo espectro a ser ...

10

Análise de usos modais do verbo dar em entrevistas no português brasileiro

Análise de usos modais do verbo dar em entrevistas no português brasileiro

... o modelo permite capturar desenvolvimentos gramaticais e discursivos, interpretados como próprios de ...usos modais de dar na perspectiva da gramaticalização, o que é uma interessante direção de estudos e ...

14

Avaliação de ciclo de vida de sistemas modais e melhorados de cria no Pantanal.

Avaliação de ciclo de vida de sistemas modais e melhorados de cria no Pantanal.

... o modelo BRLUC (Novaes et ...Esse modelo está alinhado com as premissas assumidas para os conjuntos de dados de ICV da produção agropecuária nacional enviados ao Ecoinvent para publicação de sua versão ...

22

Soluções em personalização de conteúdo  baseadas em classificadores simbólicos modais

Soluções em personalização de conteúdo baseadas em classificadores simbólicos modais

... do modelo criado para o perfil do usuário são definidas funções de dissimilaridade que medem a correlação entre dois usuários, de forma que seja possível definir os vizinhos mais próximos de um usuário ...

234

Show all 10000 documents...

temas relacionados