Buscar
Mostrando ítems 31-40 de 335
Backing and undercutting in defeasible logic programming
(Springer, 2011-07)
Two important notions within the field of classical argumentation are undercutting defeaters and backings. The former represent an attack to an inference step, and the latter intend to provide defense against this type of ...
Reactive Scheduling Framework Based-on Domain Knowledge and Constraint Programming
(Pergamon-Elsevier Science Ltd, 2010-12)
Industrial environments frequently face disruptive events. This contribution presents a support framework, aimed at addressing the repair-based reactive scheduling problem. It is based on an explicit object-oriented domain ...
Computational analysis of the maximum power point for GaAs sub-cells in InGaP/GaAs/Ge triple-junction space solar cells
(IOP Publishing, 2014-10)
The radiation resistance in InGaP/GaAs/Ge triple-junction solar cells is limited by that of the middle GaAs sub-cell. In this work, the electrical performance degradation of different GaAs sub-cells under 1 MeV electron ...
On the discovery of a potential survivin inhibitor combining computational tools and cytotoxicity studies
(Elsevier, 2019-08-01)
Survivin protein is a metalloprotein member of the inhibitors of apoptosis proteins family, involved in the regulation of programmed cell death. Due to the recent development of antitumor therapies having survivin as ...
Solution approaches for solving the log transportation problem
(Elsevier Science Inc., 2021-10)
Log transportation in the forest industry is a key issue for the success of any firm. This operation involves complex decision making, requiring suitable approaches with high computational performance. The main decisions ...
Characterization and computation of control invariant sets within target regionsfor linear impulsive control systems
(Cornell University, 2021-03)
Linear impulsively controlled systems are suitable to describe a venue of real-life problems, going from disease treatment to aerospace guidance. The main characteristic of such systems is that they remain uncontrolled for ...
Algorithmic identification of probabilities is hard
(Academic Press Inc Elsevier Science, 2018-08)
Reading more and more bits from an infinite binary sequence that is random for a Bernoulli measure with parameter p, we can get better and better approximations of p using the strong law of large numbers. In this paper, ...
Retrofit of multiproduct batch plants through generalized disjunctive programming
(Pergamon-Elsevier Science Ltd, 2003-09)
The retrofit problem for multiproduct batch plants deals with the modification of the original structure of the plant to meet new production conditions such as the introduction of new products, a new supply pattern, etc. ...
Programar computadoras en Educación InfantilProgramming computers in early childhood education
(Universitat de les Illes Balears, 2018-09)
Este artículo analiza una experiencia de enseñanza de la programación con robots en un centro de educación infantil. Basándonos en observaciones, trabajos prácticos de los alumnos y grupos focales; identificamos que los ...