Buscar
Mostrando ítems 61-70 de 1671
Probabilistic extension to the concurrent constraint factor oracle model for music improvisation
(Asociacion Espanola de Inteligencia Artificial, 2016-01-01)
We can program a Real-Time (RT) music improvisation system in C++ without a formal semantic or we can model it with process calculi such as the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. “A Concurrent ...
A Detailed Study of the Computer Science Degree at the Central University of Venezuela: Towards a New Curriculum Design
(Centro Latinoamericano de Estudios en Informática, 2014)
Effects of binary variables in mixed integer linear programming based unit commitment in large-scale electricity markets
(Elsevier Science SA, 2018-07)
Mixed integer linear programming is one of the main approaches used to solve unit commitment problems. Due to the computational complexity of unit commitment problems, several researches remark the benefits of using less ...
Um estudo de caso: programas computacionais mediando o ensino de isomeria geométricaA case study: computer programs mediating the teaching of geometric isomerism
(Universidade Tecnológica Federal do Paraná (UTFPR), 2018)
Solving a multicoloring problem with overlaps using integer programming
(Elsevier Science, 2010-02)
This paper presents a new generalization of the graph multicoloring problem. We propose a Branch-and-Cut algorithm based on a new integer programming formulation. The cuts used are valid inequalities that we could identify ...
Modelo lineal para la programación de clases en una institución educativaA Mathematical Programming Model for High School Timetabling Problem
(Universidad EAFIT, Escuelas de Ciencias e IngenieríaALIADO - Analítica e Investigación para la Toma de DecisionesMedellín, Colombia, 2023)
Pair partitioning in time reversal acoustics
(Asociación Argentina de Mecánica Computacional, 2007-10)
Time reversal of acoustic waves can be achieved efficiently by the persistent control of excitations in a finite region of the system. The procedure, called Time Reversal Mirror, is stable against the inhomogeneities of ...