A Review of Single-Source Deep Unsupervised Visual Domain Adaptation von Zhao, Sicheng, Yue, Xiangyu, Zhang, Shanghang, Li, Bo, Zhao, Han, Wu, Bichen, Krishna, Ravi, Gonzalez, Joseph E., Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Keutzer, Kurt

Volltext

A Contract-Based Methodology for Aircraft Electric Power System Design von Nuzzo, Pierluigi, Huan Xu, Ozay, Necmiye, Finn, John B., Sangiovanni-Vincentelli, Alberto L., Murray, Richard M., Donze, Alexandre, Seshia, Sanjit A.

Volltext

Learning to Generate All Feasible Actions von Theile, Mirco, Bernardini, Daniele, Trumpp, Raphael, Piazza, Cristina, Caccamo, Marco, Sangiovanni-Vincentelli, Alberto L.

Volltext

CSL4P: A Contract Specification Language for Platforms von Pinto, Alessandro, Sangiovanni Vincentelli, Alberto L.

Volltext

A model-based approach for bridging virtual and physical sensor nodes in a hybrid simulation framework von Mozumdar, Mohammad, Song, Zhen Yu, Lavagno, Luciano, Sangiovanni-Vincentelli, Alberto L

Volltext

A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems von Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto L., Bresolin, Davide, Geretti, Luca, Villa, Tiziano

Volltext

Scenic: a language for scenario specification and data generation von Fremont, Daniel J., Kim, Edward, Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A.

Volltext

Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design von Nuzzo, Pierluigi, Li, Jiwei, Sangiovanni-Vincentelli, Alberto L., Xi, Yugeng, Li, Dewei

Volltext

Early changes in non invasive assessment of liver fibrosis in hepatitis C virus-infected patients treated with DAAs: Preliminary reports von Iegri, C, Pasulo, L, Colpani, M, Sangiovanni, L, Rizzatti, G, Schranz, M, Magini, G, De Giorgio, M, Lucà, M.G, Gaffuri, G, Fagiuoli, S

Volltext

Coping with latency in SOC design von Carloni, L.P., Sangiovanni-Vincentelli, A.L.

Volltext

Early changes in non-invasive assessment of liver fibrosis in hepatitis C virus-infected patients treated with DAAs: Preliminary reports von Iegri, C, Pasulo, L, Colpani, M, Baldan, A, Magini, G, De Giorgio, M, Gaffuri, G, Sangiovanni, L, Lucà, M.G, Gibiino, G, Fagiuoli, S

Volltext

SMC: Satisfiability Modulo Convex Programming von Shoukry, Yasser, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Pappas, George J., Tabuada, Paulo

Volltext

Design of Observers for Hybrid Systems von Balluchi, Andrea, Benvenuti, Luca, Di Benedetto, Maria D., Sangiovanni-Vincentelli, Alberto L.

Volltext

Theory of latency-insensitive design von Carloni, L.P., McMillan, K.L., Sangiovanni-Vincentelli, A.L.

Volltext

Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures von Nuzzo, Pierluigi, Bajaj, Nikunj, Masin, Michael, Kirov, Dmitrii, Passerone, Roberto, Sangiovanni-Vincentelli, Alberto L.

Volltext

Synthetic Data in DC Microgrids: Label Creation for Ensemble Learning for Fault Isolation von Wang, Ting, Tan, Yingshui, Wang, Yibo, Jin, Baihong, Monti, Antonello, Sangiovanni-Vincentelli, Alberto L.

Volltext

Hepatitis C infection in Italian psoriatic patients: prevalence and correlation with patient age and psoriasis severity von Brazzelli, V., Carugno, A., Alborghetti, A., Cananzi, R., Sangiovanni, L., Barbarini, G., De Silvestri, A., Borroni, R.G.

Volltext

Complexity of two-level logic minimization von Umans, C., Villa, T., Sangiovanni-Vincentelli, A.L.

Volltext

Design Automation for Smart Building Systems von Jia, 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, Weixi

Volltext

Treatment of advanced hepatocellular carcinoma (HCC): a single centre cost analysis of yttrium 90 trans-arterial radio-embolization (TARE) versus Sorafenib von Lucà, M.G, De Giorgio, M, Magini, G, Tortora, A, Sangiovanni, L, Gaffuri, G, Baldan, A, Virotta, G, Nani, R, Fagiuoli, S

Volltext