Search Results

Assessing Computational Thinking: Development and Validation of the Algorithmic Thinking Test for Adults.

• Authors : Lafuente Martínez, Marc; Lévêque, Olivier; Benítez, Isabel

Subjects: CONFIRMATORY factor analysis; ADULTS; PSYCHOMETRICS

• Source: Journal of Educational Computing Research; Oct2022, Vol. 60 Issue 6, p1436-1463, 28p

Record details

Interactive Abstract Interpretation with Demanded Summarization.

• Authors : Stein, Benno; Chang, Bor-Yuh Evan; Sridharan, Manu

Subjects: ALGORITHMS

• Source: ACM Transactions on Programming Languages & Systems; Mar2024, Vol. 46 Issue 1, p1-40, 40p

Record details

Discrete Diversity and Dispersion Maximization : A Tutorial on Metaheuristic Optimization

• Authors : Rafael Martí; Anna Martínez-Gavara

Subjects: Mathematical optimization; Calculus of variations; AlgorithmsMATHEMATICS / Optimization; COMPUTERS / Programming / Algorithms

Record details

LATIN 2018: Theoretical Informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings

• Authors : Michael A. Bender; Martín Farach-Colton; Miguel A. Mosteiro

Subjects: Algorithms; Computer engineering; Computer networksCOMPUTERS / Programming / Algorithms; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Software Development & Engineering / Computer Graphics

Record details

Handbook of Heuristics

• Authors : Rafael Martí; Panos M. Pardalos; Mauricio G. C. Resende

Subjects: Algorithms; Mathematical optimization; Mathematical analysisCOMPUTERS / Programming / Algorithms; COMPUTERS / Mathematical & Statistical Software; MATHEMATICS / Applied

Record details

Automatic UAV-based detection of Cynodon dactylon for site-specific vineyard management.

• Authors : Jiménez-Brenes, Francisco Manuel; López-Granados, Francisca; Torres-Sánchez, Jorge

Subjects: BERMUDA grass; VINEYARDS; WEED control

• Source: PLoS ONE; 6/11/2019, Vol. 14 Issue 6, p1-21, 21p

Record details

Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

• Authors : Adrian-Horia Dediu; Jan Janoušek; Carlos Martín-Vide

Subjects: Artificial intelligence; Computer science; Machine theoryCOMPUTERS / Artificial Intelligence / General; COMPUTERS / Computer Science; COMPUTERS / Programming / Algorithms

Record details

Mathematical Software – ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

• Authors : Gert-Martin Greuel; Thorsten Koch; Peter Paule

Subjects: Computer science—Mathematics; Discrete mathematics; Numerical analysisCOMPUTERS / Computer Science; COMPUTERS / Software Development & Engineering / General; COMPUTERS / Programming / Algorithms

Record details

Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

• Authors : Adrian-Horia Dediu; Carlos Martín-Vide; José-Luis Sierra-Rodríguez

Subjects: Computer science; Computer science—Mathematics; Discrete mathematicsCOMPUTERS / Computer Science; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Programming / Algorithms

Record details

Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK,, September 5–8, 2023 Proceedings

• Authors : Catherine Dubois; Manfred Kerber

Subjects: Artificial intelligence; Machine theory; Social sciences—Data processingCOMPUTERS / Artificial Intelligence / General; COMPUTERS / Business & Productivity Software / General; COMPUTERS / Computer Science

Record details