Almeida, Ricardo
12893  results:
?
1

Formal Mechanised Semantics of CHERI C: Capabilities, Undef..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1,
Zaliva, Vadim ; Memarian, Kayvan ; Almeida, Ricardo... - p. 181-196 , 2024
 
?
 
?
7

PBL in Professional Reskilling Courses on the Area of Digit..:

, In: Advances in Educational Technologies and Instructional Design; Handbook of Research on Implementing Inclusive Educational Models and Technologies for Equity and Diversity,
 
?
8

Scratch4All Project - Educate for an All-inclusive Digital ..:

, In: 2023 32nd Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE),
 
?
9

AVALIAÇÃO EXPERIMENTAL DA TAXA DE RENOVAÇÃO DE AR DE UMA CA..:

De Padua Marcolini, Murilo ; Barreira, Eva ; Almeida, Ricardo
DESAFIOS - Revista Interdisciplinar da Universidade Federal do Tocantins.  1 (2023)  1 - p. , 2023
 
?
10

A Teacher-Focused Impact Assessment in Scratch4All Project:

, In: 2023 18th Iberian Conference on Information Systems and Technologies (CISTI),
 
?
12

An integrated framework for STEM education experiments with..:

, In: 2023 32nd Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE),
 
?
 
?
15

A Numerical Scheme for a Generalized Fractional Derivative ..:

, In: Dynamics of Information Systems; Lecture Notes in Computer Science,
Almeida, Ricardo - p. 20-30 , 2023
 
1-15