Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
The sporting womanMary A. Boutilier Lucinda SanGiovanniChampaign, IL Human Kinetics Publishers c1983Localização: EEFE - Esc. Educação Física e Esporte (796.01 B-17 ex.2 )(Acessar) |
|
2 |
Material Type: Artigo
|
A Review of Single-Source Deep Unsupervised Visual Domain AdaptationZhao, Sicheng ; Yue, Xiangyu ; Zhang, Shanghang ; Li, Bo ; Zhao, Han ; Wu, Bichen ; Krishna, Ravi ; Gonzalez, Joseph E. ; Sangiovanni-Vincentelli, Alberto L. ; Seshia, Sanjit A. ; Keutzer, KurtIEEE transaction on neural networks and learning systems, 2022-02, Vol.33 (2), p.473-493United States: IEEETexto completo disponível |
|
3 |
Material Type: Artigo
|
A Contract-Based Methodology for Aircraft Electric Power System DesignNuzzo, Pierluigi ; Huan Xu ; Ozay, Necmiye ; Finn, John B. ; Sangiovanni-Vincentelli, Alberto L. ; Murray, Richard M. ; Donze, Alexandre ; Seshia, Sanjit A.IEEE access, 2014, Vol.2, p.1-25 [Periódico revisado por pares]Piscataway: IEEETexto completo disponível |
|
4 |
Material Type: Artigo
|
CSL4P: A Contract Specification Language for PlatformsPinto, Alessandro ; Sangiovanni Vincentelli, Alberto L.Systems engineering, 2017-05, Vol.20 (3), p.220-234 [Periódico revisado por pares]Hoboken: Wiley Subscription Services, IncTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Design of Observers for Hybrid SystemsBalluchi, Andrea ; Benvenuti, Luca ; Di Benedetto, Maria D. ; Sangiovanni-Vincentelli, Alberto L.Hybrid Systems: Computation and Control, 2002, p.76-89 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
Material Type: Artigo
|
A model-based approach for bridging virtual and physical sensor nodes in a hybrid simulation frameworkMozumdar, Mohammad ; Song, Zhen Yu ; Lavagno, Luciano ; Sangiovanni-Vincentelli, Alberto LSensors (Basel, Switzerland), 2014-06, Vol.14 (6), p.11070-11096 [Periódico revisado por pares]Switzerland: MDPI AGTexto completo disponível |
|
7 |
Material Type: Artigo
|
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical SystemsNuzzo, Pierluigi ; Sangiovanni-Vincentelli, Alberto L. ; Bresolin, Davide ; Geretti, Luca ; Villa, TizianoProceedings of the IEEE, 2015-11, Vol.103 (11), p.2104-2132 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
8 |
Material Type: Artigo
|
Stochastic Assume-Guarantee Contracts for Cyber-Physical System DesignNuzzo, Pierluigi ; Li, Jiwei ; Sangiovanni-Vincentelli, Alberto ; Xi, Yugeng ; Li, DeweiACM transactions on embedded computing systems, 2019-02, Vol.18 (1), p.1-26 [Periódico revisado por pares]ACMTexto completo disponível |
|
9 |
Material Type: Artigo
|
Learning to Generate All Feasible ActionsTheile, Mirco ; Bernardini, Daniele ; Trumpp, Raphael ; Piazza, Cristina ; Caccamo, Marco ; Sangiovanni-Vincentelli, Alberto L.IEEE access, 2024-01, Vol.12, p.1-1 [Periódico revisado por pares]IEEETexto completo disponível |
|
10 |
Material Type: Livro
|
Languages and tools for hybrid systems designCarloni, Luca PFoundations and trends in electronic design automation, 2006, Vol.1 (1/2), p.1-193 [Periódico revisado por pares]Hanover, Mass: Now PublishersTexto completo disponível |