1
|
Material Type: Relatório Técnico
|
|
Extending object-Z for multi-agent systems specification
Anarosa Alves Franco Brandão 1967- Paulo Sergio C de Alencar; Carlos José Pereira de Lucena
Rio de Janeiro PUC 2004
Localização:
IME - Inst. Matemática e Estatística
(S M751 2004 v.21 )(Acessar)
|
2
|
Material Type: Relatório Técnico
|
|
Metric stability for random walks with applications in renormalization theory
Carlos Gustavo Tamm de Araujo Moreira Daniel Smania Brandão
São Carlos ICMC-USP 2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(NOTAS SMA n.216 M838ms e.1 ) e outros locais(Acessar)
|
3
|
Material Type: Relatório Técnico
|
|
A mixed dynamics approach for linear corridor policies (a revisitation of dynamic setup scheduling and flow control in manufacturing systems)
Carlos Humes Júnior Leônidas de Oliveira Brandão; Manuel Valentim de Pera Garcia
São Paulo IME-USP 1993
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1993 v.04 e.1 ) e outros locais(Acessar)
|
4
|
Material Type: Relatório Técnico
|
|
Acumulo de policloretos de bifenila na populacao da grande sao paulo
D P Nogueira J M P de Souza; Sérgio Colacioppo; J R Gomes; J B Brandao; M L A Souza; M A R Araujo; A R Forte; M H C Pedrosa
São Paulo Fsp-Usp 1987
Localização:
FSP - Faculdade de Saúde Pública
(HSA-85/1990 ) e outros locais(Acessar)
|
5
|
Material Type: Relatório Técnico
|
|
Uma introdução à engenharia de ontologias no contexto da Web semântica
Anarosa Alves Franco Brandão 1967- Carlos José Pereira de Lucena
Rio de Janeiro PUC 2002
Localização:
IME - Inst. Matemática e Estatística
(S M751 2002 v.29 )(Acessar)
|
6
|
Material Type: Relatório Técnico
|
|
A model driven approach to develop multi-agent systems
Anarosa Alves Franco Brandão 1967- Viviane Torres da Silva; Carlos José Pereira de Lucena
Rio de Janeiro PUC 2005
Localização:
IME - Inst. Matemática e Estatística
(S M751 2005 v.9 )(Acessar)
|
7
|
Material Type: Relatório Técnico
|
|
Multi-Agent system design verification using knowledge-based reasoning
Anarosa Alves Franco Brandão 1967- Viviane Torres da Silva; Carlos José Pereira de Lucena
Rio de Janeiro PUC 2005
Localização:
IME - Inst. Matemática e Estatística
(S M751 2005 v.10 )(Acessar)
|
8
|
Material Type: Relatório Técnico
|
|
An ontology-based method for structuring multi-agent systems formal specifications
Anarosa Alves Franco Brandão 1967- Viviane Torres da Silva; Carlos José Pereira de Lucena
Rio de Janeiro PUC 2005
Localização:
IME - Inst. Matemática e Estatística
(S M751 2005 v.25 )(Acessar)
|
9
|
Material Type: Relatório Técnico
|
|
Um estudo de daso para avaliação do knowledge unified process para o desenvolvimento de ontologias
Daniela Francisco Brauner; Anarosa Alves Franco Brandão 1967-; Leonardo Magela Cunha; Carlos José Pereira de Lucena
Rio de Janeiro PUC 2003
Localização:
IME - Inst. Matemática e Estatística
(S M751 2003 v.50 )(Acessar)
|
10
|
Material Type: Relatório Técnico
|
|
Following up a case study for the semantic Web
Leonardo Magela Cunha; Amarosa Alves Franco Brandão; Daniel Abadi Orlean; Angela Brigida Albarello; Carlos José Pereira de Lucena
Rio de Janeiro PUC 2003
Localização:
IME - Inst. Matemática e Estatística
(S M751 2003 v.32 )(Acessar)
|