2,426 research outputs found
Certificado de admisión a la Congregación de San Camilo de Lelis otrogado a D. Vicente de la Rocha
No full textDocumento en el que se certifica que el padre Vicente de la Rocha ha sido aceptado como miembro de la Orden Hospitalaria de los Camilos, de la Congregación de San Camilo de Lelis
Automatic proof-search heuristics in the maude invariant analyzer tool
No full textThe Invariant Analyzer Tool is an interactive tool that mechanizes an inference system for proving safety properties of concurrent systems, which may be infinite-state or whose set of initial states may be infinite. This paper presents the automatic proof-search heuristics at the core of the Maude Invariant Analyzer Tool, which provide a substantial degree of automation and can automatically discharge many proof obligations without user intervention. These heuristics can take advantage of equationally defined equality predicates and include rewriting, narrowing, and SMT-based proof-search techniques
A critical assessment of the theology of Camilo Torres in the light of Latin American theology : a theological paradigm for peace with justice for Colombia
No full textThe thesis aims to provide a critical assessment of Camilo Torres’ concept of efficacious love in the light of a hermeneutics and ethics of liberation, to contribute theoretically to theological reflection upon the mission of the Protestant and Roman Catholic churches in Colombia, and generally in Latin America. It proposes the thesis that the theology of Camilo Torres, viewed from the perspective of a hermeneutics and an ethics of liberation, can be foundational for seeking, constructing, and sustaining peace with justice in a context of oppression and violence.
Based on the theological analysis, the academic and spiritual motivation should respond to two fundamental questions in our academic inquiry: what foundation exists in Camilo Torres’ theology for the construction of a just, peaceful, liberative society and to enable proximity to the excluded, victimized, and poor population in Colombia to be achieved? And how can we as Christians respond to the grace of God in living efficaciously the values of the Kingdom of God, in order to bring structural changes in Colombia? The implications of the answers to those questions would result in the possibility to execute an integrating theological proposal for peace with justice for the church in Colombia.
In an interpretative mode, we consider critically the multidisciplinary interaction of some of the theological foundations of liberation theology. Our task consists in clarifying and constructing theological presuppositions for a dialectical examination of the historical and current situation in Colombia, viewed in the light of the internal problems and realities. Thus, it is our intention in order to attempt a significant interdisciplinary juncture, to examine and interpret such relevant concepts as efficacious love, faith with works, kenosis, hypostatic union, hermeneutics and ethics of liberation, social justice, personal and collective socio-political conversion, and a praxis of faith as the church’s mission in response to the Colombian context of poverty and violence
Mission E.J.M. "Electronic Jazz Music"
No full textUn Live Set sobre la muestra de tres piezas originales que integran elementos tímbricos, formales e idiomáticos de las músicas del Dubstep, junto con elementos formales, teórico musicales e improvisadores del Jazz Rock bajo el estilo de Allan Holdsworth y John Scofield. En un camino de exploración musical, desde su adolescencia hasta su formación universitaria, el autor se decanta por las sonoridades del Dubstep y, gracias al interés durante su formación universitaria, por los conceptos musicales involucrados en el jazz rock de la década de 1980. Con esto, da origen al proyecto "Misión E.J.M. ("Electronic Jazz Music")" con el que hace entrar en diálogo los componentes más distintivos de ambas músicas, produciendo tres composiciones instrumentales que cumplan con una sonoridad homogénea como resultado de esta mezcla sin abandonar un desarrollo de su voz propia.Universidad El BosqueMaestro en MúsicaPregradoA Live Set performance about three original pieces that integrate timbrical, formal and idiomatic elements of Dubstep music, with formal, theoretical and improvisational elements of Jazz Rock under the style of musicians Allan Holdsworth & John Scofield. In a musical journey from teenage years to professional formation, the author seems to be attracted to Dubstep music and, thanks to an interest shown during his college years, the musical concepts involved in jazz rock from the 80's. He comes up with the project "Mission E.J.M ("Electronic Jazz Music")" where he integrates some of the most characteristic components of both music genres, producing three instrumental pieces that comply with an homogeneous sonority as a result of this mix, not leaving aside the development of his own style
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements
No full textWe present an equational decision procedure a la Dijkstra & Scholten for the `Syllogistic Logic with Complements'. First, we give an equational axiomatization of Dijkstra & Scholten's propositional logic and show how it gives a decision procedure for propositional logic by equational term rewriting. We also show how one can efficiently obtain certain propositional models (i.e., truth assignments over propositional variables) from the canonical forms given by the system. We then present the Syllogistic Logic with Complements and show how the decision procedure for propositional logic can be easily extended to obtain a decision procedure for this subset of First-Order Logic. Moreover, an executable specification of both decision procedures is presented in the Maude system, and examples illustrating the use of both canonical equational systems are given.Submitted by Mark Faust ([email protected]) on 2009-04-22T18:58:29Z
No. of bitstreams: 1
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements.pdf: 333189 bytes, checksum: e852cc3c2d6e5aefa56999529548941b (MD5)Made available in DSpace on 2009-04-22T18:58:29Z (GMT). No. of bitstreams: 1
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements.pdf: 333189 bytes, checksum: e852cc3c2d6e5aefa56999529548941b (MD5)
Previous issue date: 2007-1
Camilo Pardo Umaña, special for El Tiempo
No full textLa imagen contiene una noticia acerca de un personaje singular en la historia de Colombia: Judas Tadeo Landínez. A través de una pluma crítica, el autor, Camilo Pardo Umaña, nos pinta un retrato detallado de este hombre de negocios, describiéndolo como un astuto y ambicioso personaje que supo aprovechar las oportunidades de su época para amasar una gran fortuna. Narra cómo Landínez, junto a su socio José María Plata, crea una especie de bolsa de valores llamada "La Ballena". Esta entidad financiera permitía a los inversores dejar su dinero a cambio de pagarés respaldados por las firmas de ambos socios. Sin embargo, esta actividad pronto se convierte en un foco de especulación y riesgo.
Noticia publicada en El Tiempo. Bogotá ( 13222). P. 18 col 3-4-5-6-7-8.The image contains news about a unique character in the history of Colombia: Judas Tadeo Landínez. Through a critical pen, the author, Camilo Pardo Umaña, paints a detailed portrait of this businessman, describing him as an astute and ambitious character who knew how to take advantage of the opportunities of his time to amass a great fortune. It tells how Landínez, together with his partner José María Plata, creates a kind of stock exchange called "La Ballena". This financial institution allowed investors to leave their money in exchange for promissory notes backed by the signatures of both partners. However, this activity soon becomes a focus of speculation and risk.
News published in El Tiempo. Bogotá (13222). P. 18 col 3-4-5-6-7-8
La natación : Arqueología y genealogía de una práctica
No full textFil: Castaño Marín, Juan Camilo. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina
Constructors, Sufficient Completeness and Deadlock Freedom of Generalized Rewrite Theories
No full textSufficient completeness has been throughly studied for equational
specifications, where function symbols are classified into
{\em constructors} and {\em defined} symbols. But what should
sufficient completeness mean for a rewrite theory \rcal =
(\Sigma,E,R) with equations and non-equational rules
describing concurrent transitions in a system? The present
work argues that a rewrite theory naturally has {\em two}
notions of constructor: the usual one for its equations ,
and a more restrictive one for its rules . The intuition
is that a function symbol that is a constructor for the
equations may be a {\em defined symbol} for the rules .
All this can be very useful both to check the completeness of
specification with non-equational rules, and for inductive
reasoning purposes in rewriting logic. This paper studies
the relation between these two notions in the more general
case when rewrite theories can have (i) a frozenness map
restricting rewriting with , and (ii) a context-sensitive
map restricting rewriting with the equations , as it is
possible for specifications in the Maude language.
It also investigates a syntactic
characterization for the notion of deadlock states of a
rewrite theory, which appears promising for solving some
reachability problems. Sufficient conditions allowing the
automatic checking of sufficient completeness, and other
related properties, by equational tree automata modulo
equational axioms such as as associativity, commutativity,
and identity are also given. They are used to extend the
Maude Sufficient Completeness Checker from the checking of
equational theories to that of both equational and rewrite
theories. Finally, the usefulness of the proposed notion
of constructors in proving inductive theorems about the
reachability rewrite relation \rightarrow_\rcal associated to a rewrite
theory \rcal (and also about the joinability relation
\downarrow_\rcal) is both characterized and illustrated
with examples.not peer reviewedSubmitted by Camilo Rocha ([email protected]) on 2010-05-11T18:07:30Z
No. of bitstreams: 1
main.pdf: 655422 bytes, checksum: 04e66bf37a804ec7418eaf8466da008e (MD5)Made available in DSpace on 2010-05-11T18:07:30Z (GMT). No. of bitstreams: 1
main.pdf: 655422 bytes, checksum: 04e66bf37a804ec7418eaf8466da008e (MD5)
Previous issue date: 2010-05-03New version added by [email protected] by request of Camilo Rocha ([email protected]) on June 21 2010NSF grant CNS 07-16638NSF grant CCF 09-05584unpublishe
Tadpole of Hylodes fredi (Anura; Hylodidae), a frog endemic to an Atlantic Forest island (Ilha Grande, Rio de Janeiro State), Brazil
No full textLaia, Rafael Camilo, Fatorelli, Pedro, Hatano, Fábio Haruki, Rocha, Carlos Frederico Duarte (2010): Tadpole of Hylodes fredi (Anura; Hylodidae), a frog endemic to an Atlantic Forest island (Ilha Grande, Rio de Janeiro State), Brazil. Zootaxa 2640 (1): 62-64, DOI: 10.11646/zootaxa.2640.1.5, URL: https://biotaxa.org/Zootaxa/article/view/zootaxa.2640.1.
Methylomes as key features for predicting recombination in some plant species
No full textKnowing how chromosome recombination works is essential for plant breeding. It enables the design of crosses between different varieties to combine desirable traits and create new ones. This is because the meiotic crossovers between homologous chromatids are not purely random, and various strategies have been developed to describe and predict such exchange events. Recent studies have used methylation data to predict chromosomal recombination in rice using machine learning models. This approach proved successful due to the presence of a positive correlation between the CHH context cytosine methylation and recombination rates in rice chromosomes. This paper assesses the question if methylation can be used to predict recombination in four plant species: Arabidopsis, maize, sorghum, and tomato. The results indicate a positive association between CHH context methylation and recombination rates in certain plant species, with varying degrees of strength in their relationships. The CG and CHG methylation contexts show negative correlation with recombination. Methylation data was key effectively in predicting recombination in sorghum and tomato, with a mean determination coefficient of 0.65±0.11 and 0.76±0.05, respectively. In addition, the mean correlation values between predicted and experimental recombination rates were 0.83±0.06 for sorghum and 0.90±0.05 for tomato, confirming the significance of methylomes in both monocotyledonous and dicotyledonous species. The predictions for Arabidopsis and maize were not as accurate, likely due to the comparatively weaker relationships between methylation contexts and recombination, in contrast to sorghum and tomato, where stronger associations were observed. To enhance the accuracy of predictions, further evaluations using data sets closely related to each other might prove beneficial. In general, this methylome-based method holds great potential as a reliable strategy for predicting recombination rates in various plant species, offering valuable insights to breeders in their quest to develop novel and improved varieties.Q1Revista indexad
- …
