Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
PiStache implementing π-calculus in scalaPedro Matiello Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (14. 2011 São Paulo, Brasil)Proceedings Berlin : Springer, 2011Berlin Springer 2011Localização: IME - Inst. Matemática e Estatística (PROD-3010413 )(Acessar) |
|
2 |
Material Type: Artigo
|
A hora dos ruminantes, de José J. Veiga: o mundo visto pelos olhos de Manarairema; A hora dos ruminantes, from José J. Veiga: the world seen by the eyes of ManarairemaAmâncio, Flaviana MesquitaOpiniães; n. 14 (2019): Dossiê: A tragédia e o trágico na literatura brasileira; 257-271Universidade de São Paulo. Faculdade de Filosofia, Letras e Ciências Humanas 2019-07-30Acesso online |
|
3 |
Material Type: Artigo
|
Futurismo: entre a carnavalização e a reedificação; Futurism: between carnivalization and reedificationMaior, Dionísio VilaRevista Desassossego; v. 13 n. 26 (2021): Crítica literária; 128-146Universidade de São Paulo. Faculdade de Filosofia, Letras e Ciências Humanas 2021-12-30Acesso online |
|
4 |
Material Type: Artigo de Congresso
|
Optimal reconfiguration of electric power distribution systems using exact approachKarla Barbosa de Freitas Claudio Fabiano Motta Toledo; Alexandre Cláudio Botazzo Delbem; IEEE International Conference on Industry Applications - INDUSCON (12. 2016 Curitiba)Proceedings Piscataway : IEEE, 2016Piscataway IEEE 2016Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3162762 )(Acessar) |
|
5 |
Material Type: Artigo
|
MIQP model and improvement heuristic for power loss minimization in distribution system with network reconfigurationKarla Barbosa de Freitas Márcio da Silva Arantes; Claudio Fabiano Motta Toledo; Alexandre Cláudio Botazzo DelbemJournal of Heuristics New York : Springer v. 26, p. 59-81, 2020New York 2020Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2957288 )(Acessar) |
|
6 |
Material Type: Artigo
|
Francisco António de Sampaio and his natural history of Vila da Cachoeira: circulation, reconfiguration and validation of the knowledge production in the second half of the 18th century; Francisco António de Sampaio e sua História Natural da Vila da Cachoeira: Circulação, reconfiguração e validação da produção de conhecimento na segunda metade do século XVIIIConceição, Gisele Cristina DaRevista de História; n. 177 (2018); 01-38Universidade de São Paulo. Faculdade de Filosofia, Letras e Ciências Humanas 2018-12-13Acesso online |
|
7 |
Material Type: Artigo
|
Pacte vert, énergie et guerre en Ukraine : vers une nouvelle géographie du droit ?FLAVIER, HugoRevue juridique de l'environnement, 2023-01, Vol.48 (4), p.777 [Periódico revisado por pares]Paris: LavoisierTexto completo disponível |
|
8 |
Material Type: Artigo
|
NARRAÇÃO AUTOBIOGRÁFICA: FONTE PARA CONSTRUIR A VOCAÇÃO E RECONFIGURAR A IDENTIDADE DOCENTE 1Villegas, M ; González, F EHolos (Natal, RN), 2021-01, Vol.37 (8), p.1-24 [Periódico revisado por pares]Natal: Instituto Federal de Educacao Ciencia e Tecnologia do Rio Grande do NorteTexto completo disponível |
|
9 |
Material Type: Artigo
|
FPGA Dynamic and Partial Reconfiguration: A Survey of Architectures, Methods, and ApplicationsVipin, Kizheppatt ; Fahmy, SuhaibACM computing surveys, 2019-09, Vol.51 (4), p.1-39 [Periódico revisado por pares]Baltimore: ACMTexto completo disponível |
|
10 |
Material Type: Artigo
|
Resilience and performance quantification of dynamic reconfigurationAlhozaimy, Sarah ; Menascé, Daniel A. ; Albanese, MassimilianoFuture generation computer systems, 2024-11, Vol.160, p.120-130 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |