skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The sporting woman
Material Type:
Livro
Adicionar ao Meu Espaço

The sporting woman

Mary A. Boutilier Lucinda SanGiovanni

Champaign, IL Human Kinetics Publishers c1983

Localização: EEFE - Esc. Educação Física e Esporte    (796.01 B-17 ex.2 )(Acessar)

2
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation
Material Type:
Artigo
Adicionar ao Meu Espaço

A Review of Single-Source Deep Unsupervised Visual Domain Adaptation

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

IEEE transaction on neural networks and learning systems, 2022-02, Vol.33 (2), p.473-493

United States: IEEE

Texto completo disponível

3
A Contract-Based Methodology for Aircraft Electric Power System Design
Material Type:
Artigo
Adicionar ao Meu Espaço

A Contract-Based Methodology for Aircraft Electric Power System Design

Nuzzo, 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: IEEE

Texto completo disponível

4
CSL4P: A Contract Specification Language for Platforms
Material Type:
Artigo
Adicionar ao Meu Espaço

CSL4P: A Contract Specification Language for Platforms

Pinto, Alessandro ; Sangiovanni Vincentelli, Alberto L.

Systems engineering, 2017-05, Vol.20 (3), p.220-234 [Periódico revisado por pares]

Hoboken: Wiley Subscription Services, Inc

Texto completo disponível

5
Design of Observers for Hybrid Systems
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Design of Observers for Hybrid Systems

Balluchi, 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 Heidelberg

Texto completo disponível

6
A model-based approach for bridging virtual and physical sensor nodes in a hybrid simulation framework
Material Type:
Artigo
Adicionar ao Meu Espaço

A model-based approach for bridging virtual and physical sensor nodes in a hybrid simulation framework

Mozumdar, Mohammad ; Song, Zhen Yu ; Lavagno, Luciano ; Sangiovanni-Vincentelli, Alberto L

Sensors (Basel, Switzerland), 2014-06, Vol.14 (6), p.11070-11096 [Periódico revisado por pares]

Switzerland: MDPI AG

Texto completo disponível

7
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems
Material Type:
Artigo
Adicionar ao Meu Espaço

A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

Nuzzo, Pierluigi ; Sangiovanni-Vincentelli, Alberto L. ; Bresolin, Davide ; Geretti, Luca ; Villa, Tiziano

Proceedings of the IEEE, 2015-11, Vol.103 (11), p.2104-2132 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

8
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design
Material Type:
Artigo
Adicionar ao Meu Espaço

Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design

Nuzzo, Pierluigi ; Li, Jiwei ; Sangiovanni-Vincentelli, Alberto ; Xi, Yugeng ; Li, Dewei

ACM transactions on embedded computing systems, 2019-02, Vol.18 (1), p.1-26 [Periódico revisado por pares]

ACM

Texto completo disponível

9
Learning to Generate All Feasible Actions
Material Type:
Artigo
Adicionar ao Meu Espaço

Learning to Generate All Feasible Actions

Theile, 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]

IEEE

Texto completo disponível

10
Languages and tools for hybrid systems design
Material Type:
Livro
Adicionar ao Meu Espaço

Languages and tools for hybrid systems design

Carloni, Luca P

Foundations and trends in electronic design automation, 2006, Vol.1 (1/2), p.1-193 [Periódico revisado por pares]

Hanover, Mass: Now Publishers

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (412)
  2. Anais de Congresso  (205)
  3. Book Chapters  (92)
  4. Livros  (26)
  5. Reports  (7)
  6. Web Resources  (2)
  7. magazinearticle  (2)
  8. Conjunto de Dados  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1987  (27)
  2. 1987Até1995  (107)
  3. 1996Até2004  (234)
  4. 2005Até2014  (189)
  5. Após 2014  (189)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (742)
  2. Japonês  (48)
  3. Francês  (4)
  4. Alemão  (1)
  5. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Sangiovanni, L
  2. Boutilier, M

Buscando em bases de dados remotas. Favor aguardar.