Titlebook: Computer Science – CACIC 2021; 27th Argentine Congr Patricia Pesado,Gustavo Gil Conference proceedings 2022 The Editor(s) (if applicable) a

FAZE

Hormones

A Sound and Correct Formalism to Specify, Verify and Synthesize Behavior in BIG DATA Systemses and incorporating, besides execution time, space exploration as a factor in the comparison with other approaches. We believe that the contributions introduced in this work aim to point up FVS as a solid tool to formally verify behavior in BIG DATA syst

Condescending

Chromatic

Patterns of Political Competition,that the use of adaptive strategies to set the MC length improves the solution quality versus the static one. Moreover, the proposed SA achieves the scalability property when the WDND solution space size is considered.

合并

Kidnap

The Changing Space Economy of City-Regions of the research focuses on Teaching presence, especially in the educational and organizational design, and much less focuses on Cognitive presence, and a limited production on the Social presence dimension and the analysis of indicators that reinforce learning.

弓箭

Internal Behavior Analysis of SA Using Adaptive Strategies to Set the Markov Chain Lengththat the use of adaptive strategies to set the MC length improves the solution quality versus the static one. Moreover, the proposed SA achieves the scalability property when the WDND solution space size is considered.

PSA-velocity

Performance Comparison of Python Translators for a Multi-threaded CPU-Bound Applicationsults obtained show that CPython and PyPy presented poor performance due to their limitations when it comes to parallelizing algorithms; while Numba and Cython achieved significantly higher performance, proving to be viable options to speed up numerical algorithms.

雪白

Merited

Computer Science – CACIC 2021978-3-031-05903-2Series ISSN 1865-0929 Series E-ISSN 1865-0937