skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Finding Steady States of Communicating Markov Processes Combining Aggregation/Disaggregation with Tensor Techniques
Finding Steady States of Communicating Markov Processes Combining Aggregation/Disaggregation with Tensor Techniques
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Finding Steady States of Communicating Markov Processes Combining Aggregation/Disaggregation with Tensor Techniques

Macedo, Francisco

Computer Performance Engineering, p.48-62 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
Low-Rank Tensor Methods for Communicating Markov Processes
Low-Rank Tensor Methods for Communicating Markov Processes
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Low-Rank Tensor Methods for Communicating Markov Processes

Kressner, Daniel ; Macedo, Francisco

Quantitative Evaluation of Systems, p.25-40 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Genetic Programming Algorithms for Dynamic Environments
Genetic Programming Algorithms for Dynamic Environments
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Genetic Programming Algorithms for Dynamic Environments

Macedo, João ; Costa, Ernesto ; Marques, Lino

Applications of Evolutionary Computation, p.280-295 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
Efficient Distributed Algorithm of Dynamic Task Assignment for Swarm Robotics
Efficient Distributed Algorithm of Dynamic Task Assignment for Swarm Robotics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Efficient Distributed Algorithm of Dynamic Task Assignment for Swarm Robotics

de Mendonça, Rafael Mathias ; Nedjah, Nadia ; de Macedo Mourelle, Luiza

Computational Science and Its Applications – ICCSA 2013, p.500-510 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Embedded Implementation of Template Matching Using Correlation and Particle Swarm Optimization
Embedded Implementation of Template Matching Using Correlation and Particle Swarm Optimization
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Embedded Implementation of Template Matching Using Correlation and Particle Swarm Optimization

Tavares, Yuri Marchetti ; Nedjah, Nadia ; de Macedo Mourelle, Luiza

Computational Science and Its Applications – ICCSA 2016, p.530-539 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
Compositional Verification of Multi-station Interlocking Systems
Compositional Verification of Multi-station Interlocking Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Compositional Verification of Multi-station Interlocking Systems

Macedo, Hugo D. ; Fantechi, Alessandro ; Haxthausen, Anne E.

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.279-293 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Implementing an Interconnection Network Based on Crossbar Topology for Parallel Applications in MPSoC
Implementing an Interconnection Network Based on Crossbar Topology for Parallel Applications in MPSoC
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Implementing an Interconnection Network Based on Crossbar Topology for Parallel Applications in MPSoC

Pessanha, Fábio Gonçalves ; de Macedo Mourelle, Luiza ; Nedjah, Nadia ; de Souza e Silva Júnior, Luneque Del Rio

Computational Science and Its Applications – ICCSA 2013, p.511-525 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Genetic and Backtracking Search Optimization Algorithms Applied to Localization Problems
Genetic and Backtracking Search Optimization Algorithms Applied to Localization Problems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Genetic and Backtracking Search Optimization Algorithms Applied to Localization Problems

de Sá, Alan Oliveira ; Nedjah, Nadia ; de Macedo Mourelle, Luiza

Computational Science and Its Applications – ICCSA 2014, p.738-746 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
On the Cognitive Surprise in Risk Management: An Analysis of the Value-at-Risk (VaR) Historical
On the Cognitive Surprise in Risk Management: An Analysis of the Value-at-Risk (VaR) Historical
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

On the Cognitive Surprise in Risk Management: An Analysis of the Value-at-Risk (VaR) Historical

Baccan, Davi ; Sbruzzi, Elton ; Macedo, Luis

Progress in Artificial Intelligence, p.402-413 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Efficient Biometric Palm-Print Matching on Smart-Cards
Efficient Biometric Palm-Print Matching on Smart-Cards
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Efficient Biometric Palm-Print Matching on Smart-Cards

Wyant, Rafael Soares ; Nedjah, Nadia ; de Macedo Mourelle, Luiza

Computational Science and Its Applications – ICCSA 2014, p.236-247 [Periódico revisado por pares]

Cham: Springer International Publishing

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.   

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

Buscando em bases de dados remotas. Favor aguardar.