skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Mathematical Models remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Dynamic MLD analysis with flow graphs
Dynamic MLD analysis with flow graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamic MLD analysis with flow graphs

Jenab, K. ; Sarfaraz, A. ; Dhillon, B.S. ; Seyed Hosseini, S.M.

Reliability engineering & system safety, 2012-10, Vol.106, p.80-85 [Periódico revisado por pares]

Oxford: Elsevier Ltd

Texto completo disponível

Citações Citado por
2
A Failure Mechanism Cumulative Model for Reliability Evaluation of a k-Out-of-n System With Load Sharing Effect
A Failure Mechanism Cumulative Model for Reliability Evaluation of a k-Out-of-n System With Load Sharing Effect
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Failure Mechanism Cumulative Model for Reliability Evaluation of a k-Out-of-n System With Load Sharing Effect

Chen, Ying ; Yu, Xiaoyong ; Li, Yingyi

IEEE access, 2019, Vol.7, p.2210-2222 [Periódico revisado por pares]

Piscataway: IEEE

Texto completo disponível

Citações Citado por
3
Development of integrated dose assessment program for accident analysis of LILW managed in temporary storage facility
Development of integrated dose assessment program for accident analysis of LILW managed in temporary storage facility
Material Type:
Artigo 		Adicionar ao Meu Espaço

Development of integrated dose assessment program for accident analysis of LILW managed in temporary storage facility

Ahn, Min Ho ; Lee, Kun Jai ; Jeong, Seung Young

Progress in nuclear energy (New series), 2010-11, Vol.52 (8), p.837-849 [Periódico revisado por pares]

Kidlington: Elsevier Ltd

Texto completo disponível

Citações Citado por
4
Hybrid Model for Small Cruise Ships' Safety Risk Management
Hybrid Model for Small Cruise Ships' Safety Risk Management
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hybrid Model for Small Cruise Ships' Safety Risk Management

Nikitakos, Nikitas ; Mennis, Evangellos ; Platis, Agapios

Tourism in marine environments, 2006-11, Vol.3 (1), p.59-66 [Periódico revisado por pares]

Putnam Valley: Cognizant Communication Corporation

Sem texto completo

Citações Citado por
5
Multicell converter control using Petri Nets
Multicell converter control using Petri Nets
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Multicell converter control using Petri Nets

Cocor, Andrei ; Stoichescu, Dan Alexandru ; Florescu, Adriana

Proceedings of the 2014 6th International Conference on Electronics, Computers and Artificial Intelligence (ECAI), 2014, p.1-6

IEEE

Sem texto completo

Citações Citado por
6
The dynamics and control of a planar articulating segmental model
The dynamics and control of a planar articulating segmental model
Material Type:
Tese 		Adicionar ao Meu Espaço

The dynamics and control of a planar articulating segmental model

Meador, C. Doug

Texas Tech University 2000

Texto completo disponível

Citações Citado por
7
QMDDs: Efficient Quantum Function Representation and Manipulation
QMDDs: Efficient Quantum Function Representation and Manipulation
Material Type:
Artigo 		Adicionar ao Meu Espaço

QMDDs: Efficient Quantum Function Representation and Manipulation

Niemann, Philipp ; Wille, Robert ; Miller, David Michael ; Thornton, Mitchell A. ; Drechsler, Rolf

IEEE transactions on computer-aided design of integrated circuits and systems, 2016-01, Vol.35 (1), p.86-99 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
8
Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems
Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems

Shrestha, A. ; Liudong Xing ; Yuanshun Dai

IEEE transactions on reliability, 2010-03, Vol.59 (1), p.145-161 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
9
Specification-Guided Automated Debugging of CPS Models
Specification-Guided Automated Debugging of CPS Models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Specification-Guided Automated Debugging of CPS Models

Singh, Nikhil Kumar ; Saha, Indranil

IEEE transactions on computer-aided design of integrated circuits and systems, 2020-11, Vol.39 (11), p.4142-4153 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
10
Perimeter Control and Route Guidance of Multi-Region MFD Systems With Boundary Queues Using Colored Petri Nets
Perimeter Control and Route Guidance of Multi-Region MFD Systems With Boundary Queues Using Colored Petri Nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Perimeter Control and Route Guidance of Multi-Region MFD Systems With Boundary Queues Using Colored Petri Nets

Fu, Hui ; Chen, Saifei ; Chen, Kaiyu ; Kouvelas, Anastasios ; Geroliminis, Nikolaos

IEEE transactions on intelligent transportation systems, 2022-08, Vol.23 (8), p.12977-12999 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (116)
  2. Revistas revisadas por pares (97)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (124)
  2. Anais de Congresso  (27)
  3. Reports  (19)
  4. Livros  (3)
  5. Dissertações  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1981  (13)
  2. 1981Até1992  (32)
  3. 1993Até2001  (16)
  4. 2002Até2012  (53)
  5. Após 2012  (61)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (170)
  2. Japonês  (12)
  3. Chinês  (5)
  4. Russo  (1)
  5. Ucraniano  (1)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.