Jose Felix Gomes da Costa


AuthID: R-000-89W

Publicações Confirmadas: 76



51
TÍTULO: Undecidability over continuous time  Full Text
AUTORES: Jerzy Mycka; Jose Felix Costa ;
PUBLICAÇÃO: 2006, FONTE: Symposium on Models of Computation/Symposium on Logic and Computation in LOGIC JOURNAL OF THE IGPL, VOLUME: 14, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
52
TÍTULO: The computational power of continuous dynamic systems
AUTORES: Mycka, J; Costa, JM ;
PUBLICAÇÃO: 2005, FONTE: 4th International Conference on Machines, Computations and Universality in MACHINES, COMPUTATIONS, AND UNIVERSALITY, VOLUME: 3354
INDEXADO EM: Scopus WOS
NO MEU: ORCID
53
TÍTULO: A compiler and simulator for partial recursive functions over neural networks
AUTORES: Neto, JP ; Costa, JF ; Carreira, P; Rosa, M;
PUBLICAÇÃO: 2004, FONTE: 4th International Conference on Recent Advances in Soft Computing in APPLICATIONS AND SCIENCE IN SOFT COMPUTING
INDEXADO EM: WOS
54
TÍTULO: Real recursive functions and their hierarchy  Full Text
AUTORES: Mycka, J; Costa, JF ;
PUBLICAÇÃO: 2004, FONTE: JOURNAL OF COMPLEXITY, VOLUME: 20, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
55
TÍTULO: Analog computers and recursive functions over the reals  Full Text
AUTORES: Graca, DS; Costa, JF ;
PUBLICAÇÃO: 2003, FONTE: JOURNAL OF COMPLEXITY, VOLUME: 19, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
56
TÍTULO: Symbolic processing in neural networks
AUTORES: Neto, JP ; Siegelmann, HT; Costa, JF ;
PUBLICAÇÃO: 2003, FONTE: Journal of the Brazilian Computer Society, VOLUME: 8, NÚMERO: 3
INDEXADO EM: Scopus
NO MEU: ORCID
57
TÍTULO: An analog characterization of the Grzegorczyk hierarchy  Full Text
AUTORES: Campagnolo, ML ; Moore, C; Costa, JF ;
PUBLICAÇÃO: 2002, FONTE: JOURNAL OF COMPLEXITY, VOLUME: 18, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
58
TÍTULO: Canonical institutions of behaviour
AUTORES: Costa, JF ; Lourenco, H;
PUBLICAÇÃO: 2001, FONTE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXADO EM: Scopus WOS
NO MEU: ORCID
59
TÍTULO: Verifying properties of neural networks
AUTORES: Rodrigues, P; Costa, JF ; Siegelmann, HT;
PUBLICAÇÃO: 2001, FONTE: 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2084 LNCS, NÚMERO: PART 1
INDEXADO EM: Scopus
NO MEU: ORCID
60
TÍTULO: Iteration, inequalities, and differentiability in analog computers  Full Text
AUTORES: Campagnolo, ML ; Moore, C; Costa, JF ;
PUBLICAÇÃO: 2000, FONTE: JOURNAL OF COMPLEXITY, VOLUME: 16, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 6 de 8. Total de resultados: 76.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service