Buscar
Mostrando ítems 41-50 de 1671
Modeling issues and implementation of language for disjunctive programming
(Pergamon-Elsevier Science Ltd, 2000-10)
This paper describes a number of key modeling issues for the development of tools for solving nonlinear discrete/continuous problems where logic/disjunctive constraints are included in the formulation. A generalized hybrid ...
LP-VIcode: A program to compute a suite of variational chaos indicators
(Elsevier, 2014-04)
An important point in analyzing the dynamics of a given stellar or planetary system is the reliable identification of the chaotic or regular behavior of its orbits. We introduce here the program LP-VIcode, a fully operational ...
Teaching and learning programming. Towards the state of the artEnseñanza y aprendizaje de programación. Hacia un estado del arte
(Universidad Nacional de Córdoba, Faculdad de Ciencias Sociales, Centro de Estudios Avanzados. Maestría en Procesos Educativos Mediados por Tecnología, 2020)
Correction of functional logic programs
(SPRINGER, 2003-01-01)
We propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from ...
Understanding Notional Machines through Traditional Teaching with Conceptual Contraposition and Program Memory Tracing
(Centro Latinoamericano de Estudios en Informática, 2016)
Sistema mitocondrial animal (SISMIT): A computing software applied in the molecular analysis of mitochondrial genomes of vertebratesSistema mitocondrial animal (SISMIT): un programa de computación aplicado en el análisis molecular de los genomas mitocondriales de animales vertebrados
(Universidad Nacional Mayor de San Marcos, Facultad de Ciencias Biológicas, 2000)
Discussing the world through algorithms: political philosophy in computer simulationsDiscutindo o mundo através de algoritmos: filosofia política em simulações de computador
(Universidade Federal do Rio Grande do Sul, 2019)