検索結果 - 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...

著者: Morales Delgado, Jorge A., Molina Delgado, Mauricio

出版事項 2017

機関: 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...

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

出版事項 2021

機関: Instituto Tecnológico de Costa Rica

Repositorio: Portal de Revistas TEC

3

Kérwá

informe

Elementos de matemática computacional.

著者: Mora Moya, Marielos, Arias Tencio, Floria

出版事項 2004

機関: 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

著者: Soto-Quiros, Pablo

出版事項 2015

機関: 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

著者: Campollo-Urkiza, Arantza

出版事項 2023

機関: 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

著者: 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

出版事項 2018

機関: 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

著者: Torres-Mora, Helbertson

出版事項 2022

機関: 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

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

出版事項 2021

機関: 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...

著者: Mariño, Sonia Itati, Alfonzo, Pedro L.

出版事項 2019

機関: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

10

Portal de Revistas UNA

artículo

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

著者: Salas-Rueda, Ricardo Adán

出版事項 2021

機関: Universidad Nacional de Costa Rica

Repositorio: Portal de Revistas UNA

11

Portal de Revistas UCR

artículo original

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

著者: Vargas, Celso

出版事項 2015

機関: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

12

Portal de Revistas UCR

artículo original

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

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

出版事項 2023

機関: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

13

Portal de Revistas UCR

artículo original

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

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

出版事項 2023

機関: Universidad de Costa Rica

Repositorio: Portal de Revistas UCR

14

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

著者: Sandí Delgado, Juan Carlos, Cruz Alvarado, Mainor Alberto

出版事項 2023

機関: Universidad de Costa Rica

Repositorio: Kérwá

15

Kérwá

póster de congreso

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

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

出版事項 2022

機関: Universidad de Costa Rica

Repositorio: Kérwá

16

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

著者: González Herrera, Denis

出版事項 2019

機関: Universidad de Costa Rica

Repositorio: Kérwá

絞込み検索