Search

Now showing items 1-9 of 9

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)

Type: Ebook

Author : Marcel Vin�cius Medeiros Oliveira; Jim Woodcock

Publisher: Springer

Year: 2009

Request PDF

Formal Methods: foundations and Applications, 12 conf., SBMF2009

Type: Ebook

Author : Marcel Vin�cius Medeiros Oliveira; Jim Woodcock

Publisher: Springer

Year: 2009

Request PDF

Elastic resistance training to increase muscle strength in elderly: A systematic review with meta-analysis

Type: Journal Paper

Author : Martins, Wagner Rodrigues; de Oliveira, Ricardo JacÃ³; Carvalho, Rodrigo Storck; de Oliveira Damasceno, VinÃcius; da Silva, VinÃcius Zacarias Maldaner; Silva, Michel Santos

Publisher: Elsevier Science

Year: 2013

Request PDF

Impact of the TrÃªs Marias dam on the reproduction of the forage fish Astyanax bimaculatus and A. fasciatus from the SÃ£o Francisco River, downstream from the dam, southeastern Brazil

Type: Journal Paper

Author : Normando, Felipe Talin; Santiago, Kleber Biana; Gomes, Marcos VinÃcius Teles; Rizzo, Elizete; Bazzoli, Nilo

Publisher: Springer

Year: 2013

Request PDF

Discrete-Time Sliding Mode Observer for Sensorless Vector Control of Permanent Magnet Synchronous Machine

Type: Journal Paper

Author : Bernardes, Thiago; Foletto Montagner, Viní cius; Grundling, Hilton /A/.; Pinheiro, Humberto

Publisher: IEEE

Year: 2014

Provenance, volcanic record, and tectonic setting of the Paleozoic Ventania Fold Belt and the ClaromecÃ³ Foreland Basin: implications on sedimentation and volcanism along the southwestern Gondwana margin

Type: Journal Paper

Author : Alessandretti, Luciano; Philipp, Ruy Paulo; Chemale, Farid; BrÃ¼ckmann, Matheus Philipe; Zvirtes, Gustavo; MattÃ©, VinÃcius; Ramos, Victor A.

Publisher: Elsevier Science

Year: 2013

Request PDF

LMI-Based Control for Grid-Connected Converters With LCL Filters Under Uncertain Parameters

Type: Journal Paper

Author : Maccari, Luiz Antonio; Massing, Jorge R.; Schuch, L.; Rech, Cassiano; Pinheiro, Humberto; Oliveira, Ricardo C. L. F.; Foletto Montagner, Viní cius

Publisher: IEEE

Year: 2014

Acute effects of resistance training on cytokines and osteoprotegerin in women with metabolic syndrome

Type: Journal Paper

Author : Pereira, Guilherme B.; Tibana, Ramires A.; Navalta, James; Sousa, Nuno M. F.; CÃ³rdova, Claudio; Souza, VinÃcius C.; NÃ³brega, OtÃ¡vio T.; Prestes, Jonato; Perez, Sergio E. A.

Year: 2013

Request PDF

Design and implementation of a discrete-time H-infinity controller for uninterruptible power supply systems

Type: Journal Paper

Author : Ribas, Samuel Polato; Maccari, Luiz Antonio; Pinheiro, Humberto; Coraç ã o de Leã o Fontoura de Oliveira, Ricardo; Foletto Montagner, Viní cius

Publisher: IET

Year: 2014

Search

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)

Formal Methods: foundations and Applications, 12 conf., SBMF2009

Elastic resistance training to increase muscle strength in elderly: A systematic review with meta-analysis

Impact of the TrÃªs Marias dam on the reproduction of the forage fish Astyanax bimaculatus and A. fasciatus from the SÃ£o Francisco River, downstream from the dam, southeastern Brazil

Discrete-Time Sliding Mode Observer for Sensorless Vector Control of Permanent Magnet Synchronous Machine

Provenance, volcanic record, and tectonic setting of the Paleozoic Ventania Fold Belt and the ClaromecÃ³ Foreland Basin: implications on sedimentation and volcanism along the southwestern Gondwana margin

LMI-Based Control for Grid-Connected Converters With LCL Filters Under Uncertain Parameters

Acute effects of resistance training on cytokines and osteoprotegerin in women with metabolic syndrome

Design and implementation of a discrete-time H-infinity controller for uninterruptible power supply systems

Author

Subject

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title