Výsledky vyhledávání - 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...

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

Vydáno 2017

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

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

Vydáno 2021

Instituce: Instituto Tecnológico de Costa Rica

Repositorio: Portal de Revistas TEC

3

Kérwá

informe

Elementos de matemática computacional.

Autor Mora Moya, Marielos, Arias Tencio, Floria

Vydáno 2004

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

Autor Soto-Quiros, Pablo

Vydáno 2015

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

Autor Campollo-Urkiza, Arantza

Vydáno 2023

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

Autor Campollo-Urkiza, Arantza

Vydáno 2023

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

Autor 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

Vydáno 2018

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

Autor Torres-Mora, Helbertson

Vydáno 2022

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

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

Vydáno 2021

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

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

Vydáno 2019

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

Autor Salas-Rueda, Ricardo Adán

Vydáno 2021

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

Autor Salas-Rueda, Ricardo Adán

Vydáno 2021

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

Autor Vargas, Celso

Vydáno 2015

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

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

Vydáno 2023

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

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

Vydáno 2023

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

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

Vydáno 2023

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

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

Vydáno 2022

Instituce: Universidad de Costa Rica

Repositorio: Kérwá

Upřesnit hledání