نتائج البحث

The maximum time of 2-neighbor bootstrap percolation: complexity results

• Authors : Marcilon, Thiago Braga; Sampaio, Rudini Menezes

Subjects: Computer Science - Computational Complexity

تفاصيل العنوان

The maximum time of 2-neighbour bootstrap percolation in grid graphs and some parameterized results

• Authors : Marcilon, Thiago Braga; Sampaio, Rudini Menezes

Subjects: Computer Science - Computational Complexity

تفاصيل العنوان

Resultados no tempo máximo e no número de envoltória nas convexidades p3 e geodésica

• Authors : Marcilon, Thiago Braga; Sampaio, Rudini Menezes

Subjects: Número de envoltória; Complexidade clássica; Complexidade parametrizada

• Source: Repositório Institucional da Universidade Federal do Ceará (UFC)Universidade Federal do Ceará (UFC)instacron:UFC

تفاصيل العنوان

Formal contracts for derivation and verification of parallel componentes

• Authors : Marcilon, Thiago Braga; Carvalho Junior, Francisco Heron de

Subjects: Programação paralela; Componentes de software; Parallel programing

• Source: Repositório Institucional da Universidade Federal do Ceará (UFC)Universidade Federal do Ceará (UFC)instacron:UFC

تفاصيل العنوان