Sökresultat - logic in computer science

1

Kérwá

artículo original

The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotoni...

av Morales Delgado, Jorge A., Molina Delgado, Mauricio

Publicerad 2017

Organisation: Universidad de Costa Rica

Repositorio: Kérwá

2

Portal de Revistas TEC

artículo original

Teaching and learning of mathematics for computer science using documents with a computable format (CDFs): a teaching perception at the National University of Costa Rica: Enseñanza...

av Vílchez Quesada, Enrique, Ávila Herrera, Juan Félix

Publicerad 2021

Organisation: Instituto Tecnológico de Costa Rica

Repositorio: Portal de Revistas TEC

3

Kérwá

informe

Elementos de matemática computacional.

av Mora Moya, Marielos, Arias Tencio, Floria

Publicerad 2004

Organisation: Universidad de Costa Rica

Repositorio: Kérwá

4

RepositorioTEC

artículo original

A Parallel Framework with Block Matrices of a Discrete Fourier Transform for Vector-Valued Discrete-Time Signals

av Soto-Quiros, Pablo

Publicerad 2015

Organisation: Instituto Tecnológico de Costa Rica

Repositorio: RepositorioTEC

5

Portal de Revistas UNA

artículo

Development of a Programme of Musical Activities for the Contribution of Unplugged Computational Thinking in Early Childhood Education

av Campollo-Urkiza, Arantza

Publicerad 2023

Organisation: Universidad Nacional de Costa Rica

Repositorio: Portal de Revistas UNA

6

Kérwá

artículo original

A hybrid mathematical modeling approach of the metabolic fate of a fluorescent sphingolipid analogue to predict cancer chemosensitivity

av Molina Mora, José Arturo, Kop Montero, Mariana, Quirós Fernández, Isaac, Quirós Barrantes, Steve, Crespo Mariño, Juan Luis, Mora Rodríguez, Rodrigo Antonio

Publicerad 2018

Organisation: Universidad de Costa Rica

Repositorio: Kérwá

7

RepositorioTEC

proyecto fin de carrera

Proyecto Antelope Tools: sensor de salud de nodos para redes blockchain basadas en Antelope + EOSIO

av Torres-Mora, Helbertson

Publicerad 2022

Organisation: Instituto Tecnológico de Costa Rica

Repositorio: RepositorioTEC

8

Repositorio UNA

artículo

Enseñanza y aprendizaje de la matemática para informática empleando documentos con un formato computable (CDFs): una percepción docente en la Universidad Nacional de Costa Rica

av Vílchez Quesada, Enrique, Ávila Herrera, Juan Félix

Publicerad 2021

Organisation: Universidad Nacional de Costa Rica

Repositorio: Repositorio UNA

9

Portal de Revistas UCR

artículo original

The SWEBOK knowledge areas in graduation productions. A study of the Computer discipline in the Facultad de Ciencias Exactas y Naturales y Agrimensura (FaCENA) de la Universidad Na...

av Mariño, Sonia Itati, Alfonzo, Pedro L.

Publicerad 2019

Organisation: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

10

Kérwá

artículo preliminar

Heterogeneous quantum error-correcting codes

av Khosravani, Omid, Escobar Arrieta, Guillermo, Brown, Kenneth, Gutiérrez Arguedas, Mauricio

Publicerad 2026

Organisation: Universidad de Costa Rica

Repositorio: Kérwá

11

Portal de Revistas UNA

artículo

Impact of Flipped Classroom in the Teaching-Learning Process on Karnaugh’s Maps

av Salas-Rueda, Ricardo Adán

Publicerad 2021

Organisation: Universidad Nacional de Costa Rica

Repositorio: Portal de Revistas UNA

12

Portal de Revistas UCR

artículo original

La utilización de formalismos basados en unificación para el análisis de las lenguas naturales

av Vargas, Celso

Publicerad 2015

Organisation: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

13

Portal de Revistas UCR

artículo original

Continuous Wave of Condensation Improves the Filling of Curved Canals: a Micro-CT Study

av Pinto, Jader Camilo, Pivoto-João, Mariana Mena Barreto, Guerreiro-Tanomaru, Juliane Maria, Reyes-Carmona, Jessie Fabiola, Tanomaru-Filho, Mario

Publicerad 2023

Organisation: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

14

Portal de Revistas UCR

artículo original

Effect of Voxel Size of Micro-CT on the Assessment of Root Canal Preparation

av Pinto, Jader Camilo, Lucas-Oliveira, Everton, Bonagamba, Tito Jose, Guerreiro-Tanomaru, Juliane Maria, Tanomaru-Filho, Mario

Publicerad 2023

Organisation: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

15

Portal de Revistas UCR

artículo original

Continuous Wave of Condensation Improves the Filling of Curved Canals: a Micro-CT Study

av Pinto, Jader Camilo, Pivoto-João, Mariana Mena Barreto, Guerreiro-Tanomaru, Juliane Maria, Reyes-Carmona, Jessie Fabiola, Tanomaru-Filho, Mario

Publicerad 2026

Organisation: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

16

Portal de Revistas UCR

artículo original

Effect of Voxel Size of Micro-CT on the Assessment of Root Canal Preparation

av Pinto, Jader Camilo, Lucas-Oliveira, Everton, Bonagamba, Tito Jose, Guerreiro-Tanomaru, Juliane Maria, Tanomaru-Filho, Mario

Publicerad 2026

Organisation: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

17

Kérwá

comunicación de congreso

Experiencias en la implementación de feedback en juegos serios con objetos activos en actividades educativas basadas en IT

av Sandí Delgado, Juan Carlos, Cruz Alvarado, Mainor Alberto

Publicerad 2023

Organisation: Universidad de Costa Rica

Repositorio: Kérwá

18

Kérwá

póster de congreso

Functional- rather than health related physical fitness predicts neurocognitive performance in Latin adults

av Hernández Gamboa, Rebeca, Salazar Villanea, Mónica, Johnson, David K., Chacón Araya, Yamileth, Moncada Jiménez, José

Publicerad 2022

Organisation: Universidad de Costa Rica

Repositorio: Kérwá

19

Kérwá

artículo

Aprendizaje basado en proyectos y sistemas robóticos autómatas para la enseñanza y el aprendizaje de habilidades stem de forma lúdica en jóvenes de segunda enseñanza

av González Herrera, Denis

Publicerad 2019

Organisation: Universidad de Costa Rica

Repositorio: Kérwá

Begränsa sökningen