Determinant: Old algorithms, new insights (Extended Abstract)

In this paper we approach the problem of computing the characteristic polynomial of a matrix from the combinatorial viewpoint. We present several combinatorial characterizations of the coefficients of the characteristic polynomial, in terms of walks and closed walks of different kinds in the underlying graph. We develop algorithms based on these characterizations, and show that they tally with well-known algorithms arrived at independently from considerations in linear algebra.

Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation

We propose a new approach for producing precise constrained slices of programs in a language such as C. We build upon a previous approach for this problem, which is based on term-rewriting, which primarily targets loop-free fragments and is fully precise in this setting. We incorporate abstract interpretation into term-rewriting, using a given arbitrary abstract lattice, resulting in a novel technique for slicing loops whose precision is linked to the power of the given abstract lattice. We address pointers in a first-class manner, including when they are used within loops to traverse and update recursive data structures. Finally, we illustrate the comparative precision of our slices over those of previous approaches using representative examples.

Using formal reasoning on a model of tasks for FreeRTOS

FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the behaviour of the task part of FreeRTOS that deals with the creation, management, and scheduling of tasks using priority-based preemption. Our model is written in the Z notation, and we verify its consistency using the Z/Eves theorem prover. This includes a precise statement of the preconditions for all API commands. This task model forms the basis for three dimensions of further work: (a) the modelling of the rest of the behaviour of queues, time, mutex, and interrupts in FreeRTOS; (b) refinement of the models to code to produce a verified implementation; and (c) extension of the behaviour of FreeRTOS to multi-core architectures. We propose all three dimensions as benchmark challenge problems for Hoare's Verified Software Initiative.

Rendimiento y calidad de las interacciones sociocognitivas en díadas que trabajan colaborativamente en forma presencial y por chat

Resumen: En este trabajo se examina el rendimiento de estudiantes universitarios en razonamiento formal con y sin interacción social. La muestra N = 83 estuvo conformada por alumnos provenientes de dos universidades (UNMDP y UAA) quienes fueron asignados a dos condiciones: experimental con interacción (n = 40) y grupo control sin interacción (n = 43). El reactivo empleado consistió en una serie de pruebas del Test de Matrices Progresivas escala general y avanzada. Todos los participantes debieron resolver dichas tareas durante varias semanas: primero en forma individual (pretest), luego en forma colectiva presencial y por chat (díadas, condición experimental) y en forma individual (grupo control), y finalmente en forma individual (postest). Se registraron las interacciones que llevaron a cabo los participantes mediante videofilmación y logs del Chat. El rendimiento fue evaluado según la condición asignada: individual o grupal y en los últimos mediante una evaluación interjueces se estableció la calidad de las interacciones. Los resultados corroboran la superioridad de las díadas por sobre la performance individual; la reiteración en la fase de postest de aquellos ítems incorrectamente resueltos en el pretest más el agregado de nuevos ejercicios pusieron de relieve dos zonas de avance o de internalización de los progresos. En cuanto a la calidad de las interacciones, las mismas son coincidentes. Estos resultados abren nuevos interrogantes acerca del conflicto sociocognitivo y su papel para el avance grupal – individual.

Recovering Nussbaum's aristotelian roots

Abstract: The paper examines the relationship between Creating Capabilities and political liberalism. Originally founded on the basis of Aristotelian philosophy, the theory of ‘capabilities’ developed by Nussbaum turns to political liberalism in the mid 90’s. Throughout the article, the principles of both perspectives are depicted and contrasted, focusing on the capacity of affiliation, the concept of common good and the idea of freedom. Severine Deneulin argues that the current reality calls for the capabilities approach to be more rooted in a relational anthropology which the Aristotelian ethical tradition is more akin to. This line can be found in Nussbaum’s first approach to the theory of capabilities, where affiliation as an architectonic capability leads to the common good being the end of political action, and practical reason as an architectonic capability leads to reasoning ordered towards the achievement of the common good, to the detriment of individualism.

La abstracción formal y la validación del razonamiento inductivo

Resumen: Suele admitirse que uno de los problemas pendientes, al menos desde Hume, en la teoría de la ciencia es la justificación crítica de los procesos inductivos, que son los que siguen las ciencias experimentales, como son las ciencias naturales. Frente a las ineficaces explicaciones aportadas por el empirismo o neopositivismo, así como por los racionalismos o idealismos, que son radicalmente incapaces para resolver el problema, nosotros presentamos la respuesta del realismo aristotélico, basada en el correcto concepto de abstracción formal, ignorado o malentendido incluso por muchos aristotélicos tanto antiguos como modernos. La respuesta consiste, en suma, en ver que el término del proceso inductivo, en cuanto llega a conclusiones universales a partir de lo particular, debe estar mediado por un proceso previo de abstracción de la forma, bien entendida, en lo mismo concreto y particular. Ello permite ver que la conclusión universal no desborda las premisas, que es el problema clásico de la epagogé aristotélica.

Recuperar plásticos desechables a los fines de conformar elementos constructivos de una vivienda económica como respuesta social, analizada como un problema de ingeniería industrial

Resumen: El hecho de seleccionar a los plásticos dentro de nuestro proyecto es porque son en particular, partes abundantes y visibles en la composición de los residuos generados en nuestra sede UCA Campus Rosario. Razonamos que son varias las áreas que los producen en forma cotidiana o de modo transitorio (como es el caso de eventos), a las que podemos sumar un accionar ambientalmente responsable. Ello nos impone la responsabilidad de proponer algún modo de re-utilizarlos en el diseño de ciertos elemento que los integre como materia prima, material de aporte, insumo o material auxiliar, con un amplio campo de posibilidades como es en la construcción, a partir de una mirada desde la ingeniería ambiental. La metodología de trabajo que desarrollamos implica inspeccionar la materia prima con la cual se va a trabajar, a los fines de conocerla fehacientemente, así como internalizar la posible combinación entre los distintos tipos de plásticos de acuerdo a su composición y su respuesta en la integración con otros materiales de uso tradicional, de acuerdo a experiencias reconocidas Desde una mirada lineal la educación sola no alcanza, como tampoco la tecnología ni las medidas parciales son suficientes para aliviar este tremendo desequilibrio que venimos heredando. Ante estos hechos es perentorio comprender la complejidad, actuar desde allí descubriendo la conexión invisible entre el ser humano y el medio, y los seres humanos entre sí. Debido a ello entendemos que para restaurar el medio ambiente en principio hay que comenzar por restaurar los vínculos y los ciclos que los contienen, esto implica re-ciclar.

Sobre ciencia práctica y prudentia : aproximaciones desde las ideas de John Finnis

Resumen: En el presente trabajo, el autor ensaya una presentación de las contribuciones de John Finnis a los temas de la ciencia práctica y la prudentia. Respecto del primero, destaca el carácter analógico del concepto de ciencia y las particularidades de su aplicación al campo del saber práctico. Con referencia a la segunda, apunta su relevancia en el esquema clásico del pensamiento práctico, en especial en referencia a la determinación de los objetos de las virtudes y al papel de los absolutos morales en el razonamiento práctico-moral.