Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Prolegomena to an Operator Theory of ComputationBurgin, Mark ; Dodig-Crnkovic, GordanaInformation (Basel), 2020-07, Vol.11 (7), p.349 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
|
2 |
Material Type: Artigo
|
A measure of individual role in collective dynamicsKlemm, Konstantin ; Serrano, M Ángeles ; Eguíluz, Víctor M ; Miguel, Maxi SanScientific reports, 2012-02, Vol.2 (1), p.292-292, Article 292 [Periódico revisado por pares]England: Nature Publishing GroupTexto completo disponível |
|
3 |
Material Type: Artigo
|
Foreword to the virtual special issue dedicated to the 3rd International Conference NUMTA 2019 “Numerical Computations: Theory and Algorithms”Brugnano, Luigi ; Sergeyev, Yaroslav D. ; Zhigljavsky, AnatolyJournal of computational and applied mathematics, 2021-09, Vol.393, p.113545, Article 113545 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
Computation on Structures - The Challenge of Seamless Integration of Theory and Rigorous Scientific PracticeSchewe, Klaus-DieterFrontiers in computer science (Lausanne), 2021-05, Vol.3 [Periódico revisado por pares]Frontiers Media S.ATexto completo disponível |
|
5 |
Material Type: Artigo
|
Explicit arithmetic intersection theory and computation of Néron-Tate heightsvan Bommel, Raymond ; Holmes, David ; Müller, J. SteffenMathematics of computation, 2020-01, Vol.89 (321), p.395-410 [Periódico revisado por pares]Texto completo disponível |
|
6 |
Material Type: Artigo
|
Preface to “Swarm and Evolutionary Computation—Bridging Theory and Practice”Kim, Yong-Hyuk ; Caraffini, FabioMathematics (Basel), 2023-03, Vol.11 (5), p.1209 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
|
7 |
Material Type: Artigo
|
Verification of Flat FIFO SystemsAlain Finkel ; M. PraveenLogical methods in computer science, 2020-10, Vol.16, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
8 |
Material Type: Artigo
|
Simulations between Network Topologies in Networks of Evolutionary ProcessorsSánchez Martín, José Ángel ; Mitrana, VictorAxioms, 2021, Vol.10 (3), p.183 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
|
9 |
Material Type: Artigo
|
Evolutionary Computation: Theories, Techniques, and ApplicationsCicirello, Vincent AApplied sciences, 2024-03, Vol.14 (6), p.2542 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
|
10 |
Material Type: Artigo
|
Covering and separation for logical fragments with modular predicatesPlace, Thomas ; Ramanathan, Varun ; Weil, PascalLogical methods in computer science, 2019-01, Vol.15, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |