Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
![]() |
Boruta – A System for Feature SelectionKursa, 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 |
12 |
Material Type: Artigo
|
![]() |
A Survey on Nature-Inspired Medical Image Analysis: A Step Further in Biomedical Data IntegrationRundo, Leonardo ; Militello, Carmelo ; Vitabile, Salvatore ; Russo, Giorgio ; Sala, Evis ; Gilardi, Maria Carla Dennunzio, Alberto ; Zandron, Claudio ; Rozenberg, Grzegorz ; Păun, GheorgheFundamenta informaticae, 2019-10, Vol.171 (1-4), p.345-365 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
13 |
Material Type: Artigo
|
![]() |
Checkers Is SolvedSchaeffer, Jonathan ; Burch, Neil ; Björnsson, Yngvi ; Kishimoto, Akihiro ; Müller, Martin ; Lake, Robert ; Lu, Paul ; Sutphen, SteveScience (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 ScienceTexto completo disponível |
14 |
Material Type: Artigo
|
![]() |
Coinductive Algorithms for Büchi AutomataKuperberg, 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 BVTexto completo disponível |
15 |
Material Type: Artigo
|
![]() |
The 1966 International Congress of Mathematicians: A Micro-memoirGurevich, Yuri Rabinovich, Alexander ; Avron, Arnon ; Dershowitz, NachumFundamenta informaticae, 2022-01, Vol.186 (1-4), p.133-141 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
16 |
Material Type: Artigo
|
![]() |
Boris (Boaz) Trakhtenbrot — The BeginningTrakhtenbrot, Mark Rabinovich, Alexander ; Avron, Arnon ; Dershowitz, NachumFundamenta informaticae, 2022-01, Vol.186 (1-4), p.219-236 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
17 |
Material Type: Artigo
|
![]() |
Daniel Simson ObituaryKasjan, Stanisław ; Niwiński, DamianFundamenta informaticae, 2022-01, Vol.187 (1), p.v-vii [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
18 |
Material Type: Artigo
|
![]() |
A Generalization of Falsity in Finitely-many Valued LogicsFrancez, Nissim Rabinovich, Alexander ; Avron, Arnon ; Dershowitz, NachumFundamenta informaticae, 2022-01, Vol.186 (1-4), p.121-132 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
19 |
Material Type: Artigo
|
![]() |
Abnormal Breast Detection in Mammogram Images by Feed-forward Neural Network Trained by Jaya AlgorithmWang, 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, YudongFundamenta informaticae, 2017-01, Vol.151 (1-4), p.191-211 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
20 |
Material Type: Artigo
|
![]() |
Process Discovery using Integer Linear Programmingvan derWerf, J.M.E.M. ; van Dongen, B.F. ; Hurkens, C.A.J. ; Serebrenik, AFundamenta informaticae, 2009-01, Vol.94 (3-4), p.387-412 [Periódico revisado por pares]Texto completo disponível |