skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: BACON - Mir@bel - GLOBAL_LIBRESACCES remover Base de dados/Biblioteca: METADEX remover Engineered Materials Abstracts remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Boruta – A System for Feature Selection
Boruta – A System for Feature Selection
Material Type:
Artigo 		Adicionar ao Meu Espaço

Boruta – A System for Feature Selection

Kursa, Miron B. ; Jankowski, Aleksander ; Rudnicki, Witold R.

Fundamenta informaticae, 2010, Vol.101 (4), p.271-285 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
12
A Survey on Nature-Inspired Medical Image Analysis: A Step Further in Biomedical Data Integration
A Survey on Nature-Inspired Medical Image Analysis: A Step Further in Biomedical Data Integration
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Survey on Nature-Inspired Medical Image Analysis: A Step Further in Biomedical Data Integration

Rundo, Leonardo ; Militello, Carmelo ; Vitabile, Salvatore ; Russo, Giorgio ; Sala, Evis ; Gilardi, Maria Carla Dennunzio, Alberto ; Zandron, Claudio ; Rozenberg, Grzegorz ; Păun, Gheorghe

Fundamenta informaticae, 2019-10, Vol.171 (1-4), p.345-365 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
13
Checkers Is Solved
Checkers Is Solved
Material Type:
Artigo 		Adicionar ao Meu Espaço

Checkers Is Solved

Schaeffer, Jonathan ; Burch, Neil ; Björnsson, Yngvi ; Kishimoto, Akihiro ; Müller, Martin ; Lake, Robert ; Lu, Paul ; Sutphen, Steve

Science (American Association for the Advancement of Science), 2007-09, Vol.317 (5844), p.1518-1522 [Periódico revisado por pares]

Washington, DC: American Association for the Advancement of Science

Texto completo disponível

Citações Citado por
14
Coinductive Algorithms for Büchi Automata
Coinductive Algorithms for Büchi Automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Coinductive Algorithms for Büchi Automata

Kuperberg, Denis ; Pinault, Laureline ; Pous, Damien Hofman, Piotr ; Skrzypczak, Michał

Fundamenta informaticae, 2021-01, Vol.180 (4), p.351-373 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
15
The 1966 International Congress of Mathematicians: A Micro-memoir
The 1966 International Congress of Mathematicians: A Micro-memoir
Material Type:
Artigo 		Adicionar ao Meu Espaço

The 1966 International Congress of Mathematicians: A Micro-memoir

Gurevich, Yuri Rabinovich, Alexander ; Avron, Arnon ; Dershowitz, Nachum

Fundamenta informaticae, 2022-01, Vol.186 (1-4), p.133-141 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
16
Boris (Boaz) Trakhtenbrot — The Beginning
Boris (Boaz) Trakhtenbrot — The Beginning
Material Type:
Artigo 		Adicionar ao Meu Espaço

Boris (Boaz) Trakhtenbrot — The Beginning

Trakhtenbrot, Mark Rabinovich, Alexander ; Avron, Arnon ; Dershowitz, Nachum

Fundamenta informaticae, 2022-01, Vol.186 (1-4), p.219-236 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
17
Daniel Simson Obituary
Daniel Simson Obituary
Material Type:
Artigo 		Adicionar ao Meu Espaço

Daniel Simson Obituary

Kasjan, Stanisław ; Niwiński, Damian

Fundamenta informaticae, 2022-01, Vol.187 (1), p.v-vii [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
18
A Generalization of Falsity in Finitely-many Valued Logics
A Generalization of Falsity in Finitely-many Valued Logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Generalization of Falsity in Finitely-many Valued Logics

Francez, Nissim Rabinovich, Alexander ; Avron, Arnon ; Dershowitz, Nachum

Fundamenta informaticae, 2022-01, Vol.186 (1-4), p.121-132 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
19
Abnormal Breast Detection in Mammogram Images by Feed-forward Neural Network Trained by Jaya Algorithm
Abnormal Breast Detection in Mammogram Images by Feed-forward Neural Network Trained by Jaya Algorithm
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abnormal Breast Detection in Mammogram Images by Feed-forward Neural Network Trained by Jaya Algorithm

Wang, Shuihua ; Rao, Ravipudi Venkata ; Chen, Peng ; Zhang, Yudong ; Liu, Aijun ; Wei, Ling Dong, Zhengchao ; Yang, Xiao-Jun ; Han, Liang-Xiu ; Yuan, Ti-Fei ; Cattani, Carlo ; Zhang, Yudong

Fundamenta informaticae, 2017-01, Vol.151 (1-4), p.191-211 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
20
Process Discovery using Integer Linear Programming
Process Discovery using Integer Linear Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Process Discovery using Integer Linear Programming

van derWerf, J.M.E.M. ; van Dongen, B.F. ; Hurkens, C.A.J. ; Serebrenik, A

Fundamenta informaticae, 2009-01, Vol.94 (3-4), p.387-412 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
previous page 1 Resultados 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  (12.195)
  2. Anais de Congresso  (2.387)
  3. Resenhas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1993  (282)
  2. 1993Até2000  (711)
  3. 2001Até2008  (1.442)
  4. 2009Até2017  (5.797)
  5. Após 2017  (6.352)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (1.674)
  2. Chinês  (150)
  3. Norueguês  (2)
  4. Russo  (1)
  5. Estoniano  (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.