Arama Sonuçları - 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...

Yazar: Morales Delgado, Jorge A., Molina Delgado, Mauricio

Baskı/Yayın Bilgisi 2017

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

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

Baskı/Yayın Bilgisi 2021

Kurum: Instituto Tecnológico de Costa Rica

Repositorio: Portal de Revistas TEC

3

Kérwá

informe

Elementos de matemática computacional.

Yazar: Mora Moya, Marielos, Arias Tencio, Floria

Baskı/Yayın Bilgisi 2004

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

Yazar: Soto-Quiros, Pablo

Baskı/Yayın Bilgisi 2015

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

Yazar: Campollo-Urkiza, Arantza

Baskı/Yayın Bilgisi 2023

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

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

Baskı/Yayın Bilgisi 2018

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

Yazar: Torres-Mora, Helbertson

Baskı/Yayın Bilgisi 2022

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

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

Baskı/Yayın Bilgisi 2021

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

Yazar: Mariño, Sonia Itati, Alfonzo, Pedro L.

Baskı/Yayın Bilgisi 2019

Kurum: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

10

Kérwá

artículo preliminar

Heterogeneous quantum error-correcting codes

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

Baskı/Yayın Bilgisi 2026

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

Yazar: Salas-Rueda, Ricardo Adán

Baskı/Yayın Bilgisi 2021

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

Yazar: Vargas, Celso

Baskı/Yayın Bilgisi 2015

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

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

Baskı/Yayın Bilgisi 2023

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

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

Baskı/Yayın Bilgisi 2023

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

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

Baskı/Yayın Bilgisi 2026

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

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

Baskı/Yayın Bilgisi 2026

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

Yazar: Sandí Delgado, Juan Carlos, Cruz Alvarado, Mainor Alberto

Baskı/Yayın Bilgisi 2023

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

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

Baskı/Yayın Bilgisi 2022

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

Yazar: González Herrera, Denis

Baskı/Yayın Bilgisi 2019

Kurum: Universidad de Costa Rica

Repositorio: Kérwá

Aramayı Daralt