Resultats de la cerca - 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...

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

Publicat 2017

Institution: 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...

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

Publicat 2021

Institution: Instituto Tecnológico de Costa Rica

Repositorio: Portal de Revistas TEC

3

Kérwá

informe

Elementos de matemática computacional.

per Mora Moya, Marielos, Arias Tencio, Floria

Publicat 2004

Institution: 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

per Soto-Quiros, Pablo

Publicat 2015

Institution: 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

per Campollo-Urkiza, Arantza

Publicat 2023

Institution: Universidad Nacional de Costa Rica

Repositorio: Portal de Revistas UNA

6

Portal de Revistas UNA

artículo

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

per Campollo-Urkiza, Arantza

Publicat 2023

Institution: Universidad Nacional de Costa Rica

Repositorio: Portal de Revistas UNA

7

Kérwá

artículo original

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

per 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

Publicat 2018

Institution: Universidad de Costa Rica

Repositorio: Kérwá

8

RepositorioTEC

proyecto fin de carrera

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

per Torres-Mora, Helbertson

Publicat 2022

Institution: Instituto Tecnológico de Costa Rica

Repositorio: RepositorioTEC

9

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

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

Publicat 2021

Institution: Universidad Nacional de Costa Rica

Repositorio: Repositorio UNA

10

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...

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

Publicat 2019

Institution: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

11

Portal de Revistas UNA

artículo

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

per Salas-Rueda, Ricardo Adán

Publicat 2021

Institution: Universidad Nacional de Costa Rica

Repositorio: Portal de Revistas UNA

12

Portal de Revistas UNA

artículo

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

per Salas-Rueda, Ricardo Adán

Publicat 2021

Institution: Universidad Nacional de Costa Rica

Repositorio: Portal de Revistas UNA

13

Portal de Revistas UCR

artículo original

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

per Vargas, Celso

Publicat 2015

Institution: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

14

Portal de Revistas UCR

artículo original

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

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

Publicat 2023

Institution: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

15

Portal de Revistas UCR

artículo original

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

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

Publicat 2023

Institution: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

16

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

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

Publicat 2023

Institution: Universidad de Costa Rica

Repositorio: Kérwá

17

Kérwá

póster de congreso

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

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

Publicat 2022

Institution: Universidad de Costa Rica

Repositorio: Kérwá

Refinar cerca