skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples

Resultados de 1 a 10 de 18  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Set containment and cube expansion with binary decision diagrams for logic synthesis
Set containment and cube expansion with binary decision diagrams for logic synthesis
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Set containment and cube expansion with binary decision diagrams for logic synthesis

Jiang Chau Wang 1958- Seminario Integrado de Software e Hardware (23. 1993 Florianopolis)

Anais Florianopolis : Sbc, 1993

Florianopolis Sbc 1993

Item não circula. Consulte sua biblioteca.(Acessar)

2
Learning probabilistic sentential decision diagrams under logic constraints by sampling and averaging
Learning probabilistic sentential decision diagrams under logic constraints by sampling and averaging
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Learning probabilistic sentential decision diagrams under logic constraints by sampling and averaging

Renato Lui Geh Denis Deratani Mauá; Conference on Uncertainty in Artificial Intelligence - UAI (37. 2021 Virtual event)

Proceedings of Machine Learning Research : PMLR Brookline v. 161, p. 2039-2049, 2021

Brookline 2021

Acesso online. A biblioteca também possui exemplares impressos.

3
Multilevel logic minimization and test set generation using binary decision diagrams
Multilevel logic minimization and test set generation using binary decision diagrams
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Multilevel logic minimization and test set generation using binary decision diagrams

Jiang Chau Wang 1958- Edward P Stabler

1993

Localização: EPBC - Esc. Politécnica-Bib Central    (621.38 W184m )(Acessar)

4
Optimized cube expansion with binary decision diagrams and expansion graphs for logic minimization
Optimized cube expansion with binary decision diagrams and expansion graphs for logic minimization
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Optimized cube expansion with binary decision diagrams and expansion graphs for logic minimization

Jiang Chau Wang 1958- Congresso da Sociedade Brasileira de Microeletronica (8. 1993 Campinas)

Anais Campinas : Sbmicro, 1993

Campinas Sbmicro 1993

Item não circula. Consulte sua biblioteca.(Acessar)

5
Arquiteturas contínuas e topologia: similaridades em processo
Arquiteturas contínuas e topologia: similaridades em processo
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Arquiteturas contínuas e topologia: similaridades em processo

Sperling, David Moreno

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Engenharia de São Carlos 2003-05-16

Acesso online. A biblioteca também possui exemplares impressos.

6
Uma fundamentação categorial para uma teoria de representação de lógicas
Uma fundamentação categorial para uma teoria de representação de lógicas
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Uma fundamentação categorial para uma teoria de representação de lógicas

Pinto, Darllan Conceição

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2016-07-29

Acesso online

7
Modelagem de programas e sua verificação para controladores programáveis.
Modelagem de programas e sua verificação para controladores programáveis.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Modelagem de programas e sua verificação para controladores programáveis.

Sarmento, Cleber Alves

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2008-01-16

Acesso online

8
Uma abordagem matemática para auxiliar o diagnóstico de demências: tratando incertezas e quantificando processos
Uma abordagem matemática para auxiliar o diagnóstico de demências: tratando incertezas e quantificando processos
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Uma abordagem matemática para auxiliar o diagnóstico de demências: tratando incertezas e quantificando processos

Freire, Rodolpho

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Medicina 2014-11-24

Acesso online

9
Planejamento baseado em verificação simbólica de modelos
Planejamento baseado em verificação simbólica de modelos
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Planejamento baseado em verificação simbólica de modelos

Santos, Viviane Bonadia Dos

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2018-10-22

Acesso online. A biblioteca também possui exemplares impressos.

10
Teatro diagramático: o pensamento abstrato na prática do artista-cientista.
Teatro diagramático: o pensamento abstrato na prática do artista-cientista.
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Teatro diagramático: o pensamento abstrato na prática do artista-cientista.

Atencio, David

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Comunicações e Artes 2023-05-29

Acesso online

Resultados de 1 a 10 de 18  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (9)
  2. Recursos Online (1)

Refinar Meus Resultados

Tipo de Recurso 

  1. Produções Acadêmicas  (15)
  2. Artigos  (3)
  3. Produções Técnicas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2003  (4)
  2. 2003Até2009  (2)
  3. 2010Até2012  (3)
  4. 2013Até2016  (5)
  5. Após 2016  (5)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.