Buscar
Mostrando ítems 1-10 de 45
The fractal geometry of Luhmann's sociological theory or debugging systems theory
(Elsevier Science, 2019-09)
Social theory faces new challenges as society changes. The question is not only if social theory can keep up with –and account for– social transformations, but also if it can avail of social changes (in this case, the ...
Generalized abstract argumentation: A first-order machinery towards ontology debugging
(Sociedad Iberoamericana de Inteligencia Artificial, 2010-03)
Same as Dung's abstract argumentation framework (AF), the notion of generalized abstract argumentation framework (GenAF) aims at reasoning about inconsistency disregarding any logic for arguments; thus both the knowledge ...
Un depurador abstracto, inductivo y paramétrico para programas multiparadigma
(Universidad Autónoma de Bucaramanga UNAB, 2004-12-01)
Presentamos un marco general para el diagnóstico abstracto de programas lógico- funcionales, válido para diferentes estrategias de estrechamiento. Asociamos a cada programa una semántica por punto fijo que modela las ...
Development of virtual reality machines to support training in automation
(Instituto Tecnológico y de Estudios Superiores de Monterrey, 2010-05-01)
Current market requirements in industrial sector have motivated the development and adoption of digital manufacturing software tools for control systems design, training, and process optimization to validate and ensure the ...
Implementación y validación de un programa basado en el método de elementos finitos para la solución de problemas cuasi-estáticos en cuerpos bidimensionales
(Universidad de Cuenca, 2023-06-05)
The finite element method (FEM) is a tool used for the discretization and analysis
of continuous media. However, many of the programs based on this method require
expensive licenses and do not provide access to the source ...
Confessionalization Processes And Their Importance To The Understanding Of Western History In The Early Modern Period (1530-1650)Os Processos De Confessionalização E Sua Importância Para A Compreensão Da História Do Ocidente Na Primeira Modernidade (1530-1650)
(Univ Fed Fluminense, Dept HistoriaNiteroi RJ, 2017)
A Graphical Environment for the Semantic Validation of a Plan Execution Language
(© Copyright 2021 IEEEUSA., 2009)
This paper presents PLEXIL5, PLEXIL's formal interacting visual environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution ...