Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
2 |
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 |
3 |
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 |
4 |
Material Type: Artigo
|
![]() |
SMC: Satisfiability Modulo Convex ProgrammingShoukry, Yasser ; Nuzzo, Pierluigi ; Sangiovanni-Vincentelli, Alberto L. ; Seshia, Sanjit A. ; Pappas, George J. ; Tabuada, PauloProceedings of the IEEE, 2018-09, Vol.106 (9), p.1655-1679 [Periódico revisado por pares]New York: IEEETexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Ultrasonic Monitoring of the Water Content in Concentrated Water–Petroleum Emulsions Using the Slope of the Phase SpectrumFranco, Ediguer E. ; Reyna, Carlos A. B. ; Durán, Alberto L. ; Buiochi, FlávioSensors (Basel, Switzerland), 2022-09, Vol.22 (19), p.7236 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Water Content Monitoring in Water-in-Crude-Oil Emulsions Using an Ultrasonic Multiple-Backscattering SensorDurán, Alberto L. ; Franco, Ediguer E. ; Reyna, Carlos A. B. ; Pérez, Nicolás ; Tsuzuki, Marcos S. G. ; Buiochi, FlávioSensors (Basel, Switzerland), 2021-07, Vol.21 (15), p.5088 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Synthetic Data in DC Microgrids: Label Creation for Ensemble Learning for Fault IsolationWang, Ting ; Tan, Yingshui ; Wang, Yibo ; Jin, Baihong ; Monti, Antonello ; Sangiovanni-Vincentelli, Alberto L.IEEE transactions on power delivery, 2022-06, Vol.37 (3), p.2301-2313 [Periódico revisado por pares]New York: IEEETexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Optimized Selection of Reliable and Cost-Effective Safety-Critical System ArchitecturesNuzzo, Pierluigi ; Bajaj, Nikunj ; Masin, Michael ; Kirov, Dmitrii ; Passerone, Roberto ; Sangiovanni-Vincentelli, Alberto L.IEEE transactions on computer-aided design of integrated circuits and systems, 2020-10, Vol.39 (10), p.2109-2123 [Periódico revisado por pares]New York: IEEETexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Architecture to Embed Software Agents in Resource Constrained Internet of Things DevicesH De La Iglesia, Daniel ; Villarrubia González, Gabriel ; Sales Mendes, André ; Jiménez-Bravo, Diego M ; L Barriuso, AlbertoSensors (Basel, Switzerland), 2018-12, Vol.19 (1), p.100 [Periódico revisado por pares]Switzerland: MDPI AGTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Design Automation for Smart Building SystemsJia, Ruoxi ; Arghandeh, Reza ; Nuzzo, Pierluigi ; Schiavon, Stefano ; Sangiovanni-Vincentelli, Alberto L. ; Spanos, Costas J. ; Jin, Baihong ; Jin, Ming ; Zhou, Yuxun ; Konstantakopoulos, Ioannis C. ; Zou, Han ; Kim, Joyce ; Li, Dan ; Gu, WeixiProceedings of the IEEE, 2018-09, Vol.106 (9), p.1680-1699 [Periódico revisado por pares]New York: IEEETexto completo disponível |