906 resultados para Language of confession
Resumo:
Se analizan los patrones de publicación y citación en ciencias humanas y sociales en Scopus en el período 2003-2012, según el alcance geográfico de la investigación. Los resultados muestran que los temas de alcance nacional tienen un predominio del español como lengua de publicación y una marcada preferencia por la autoría única frente a los patrones observados en el grupo de otros temas, no situados geográficamente, donde el inglés y la colaboración institucional es más fuerte y está más consolidada. La citación no parece estar determinada solo por el alcance geográfico de las investigaciones, sino también por el idioma de publicación, la coautoría y los perfiles de las revistas donde se publica. Se espera que los resultados den lugar a una reflexión constructiva sobre la cultura investigadora y editorial y que sean útiles como referencia para establecer criterios de evaluación en las comisiones evaluadoras y las políticas editoriales a nivel nacional
Resumo:
Se analizan los patrones de publicación y citación en ciencias humanas y sociales en Scopus en el período 2003-2012, según el alcance geográfico de la investigación. Los resultados muestran que los temas de alcance nacional tienen un predominio del español como lengua de publicación y una marcada preferencia por la autoría única frente a los patrones observados en el grupo de otros temas, no situados geográficamente, donde el inglés y la colaboración institucional es más fuerte y está más consolidada. La citación no parece estar determinada solo por el alcance geográfico de las investigaciones, sino también por el idioma de publicación, la coautoría y los perfiles de las revistas donde se publica. Se espera que los resultados den lugar a una reflexión constructiva sobre la cultura investigadora y editorial y que sean útiles como referencia para establecer criterios de evaluación en las comisiones evaluadoras y las políticas editoriales a nivel nacional
Resumo:
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds of high-level information, typically obtained via an automatic analysis of the initial Prolog program and expressed in a standardized language of assertions. This information is used to optimize the resulting C code, which is then processed by an off-the-shelf C compiler. The basic translation process essentially mimics the unfolding of a bytecode emulator with respect to the particular bytecode corresponding to the Prolog program. This is facilitated by a flexible design of the instructions and their lower-level components. This approach allows reusing a sizable amount of the machinery of the bytecode emulator: predicates already written in C, data definitions, memory management routines and áreas, etc., as well as mixing emulated bytecode with native code in a relatively straightforward way. We report on the performance of programs compiled by the current versión of the system, both with and without analysis information.
Resumo:
In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered.
Resumo:
We present a method for the static resource usage analysis of MiniZinc models. The analysis can infer upper bounds on the usage that a MiniZinc model will make of some resources such as the number of constraints of a given type (equality, disequality, global constraints, etc.), the number of variables (search variables or temporary variables), or the size of the expressions before calling the solver. These bounds are obtained from the models independently of the concrete input data (the instance data) and are in general functions of sizes of such data. In our approach, MiniZinc models are translated into Ciao programs which are then analysed by the CiaoPP system. CiaoPP includes a parametric analysis framework for resource usage in which the user can define resources and express the resource usage of library procedures (and certain program construets) by means of a language of assertions. We present the approach and report on a preliminary implementation, which shows the feasibility of the approach, and provides encouraging results.
Improving the compilation of prolog to C using type and determinism information: Preliminary results
Resumo:
We describe the current status of and provide preliminary performance results for a compiler of Prolog to C. The compiler is novel in that it is designed to accept different kinds of high-level information (typically obtained via an analysis of the initial Prolog program and expressed in a standardized language of assertions) and use this information to optimize the resulting C code, which is then further processed by an off-the-shelf C compiler. The basic translation process used essentially mimics an unfolding of a C-coded bytecode emúlator with respect to the particular bytecode corresponding to the Prolog program. Optimizations are then applied to this unfolded program. This is facilitated by a more flexible design of the bytecode instructions and their lower-level components. This approach allows reusing a sizable amount of the machinery of the bytecode emulator: ancillary pieces of C code, data definitions, memory management routines and áreas, etc., as well as mixing bytecode emulated code with natively compiled code in a relatively straightforward way We report on the performance of programs compiled by the current versión of the system, both with and without analysis information.
Resumo:
Las reformas de agua en países en desarrollo suelen llevarse a cabo junto con cambios institucionales más profundos o, incluso, acompañadas de cambios constitucionales o de régimen político. Por lo tanto, los marcos institucionales adaptados a países gobernados sujetos al estado de derecho pueden no ser apropiados para contextos gobernados fundamentalmente, al menos en sus inicios, por instituciones informales o poco maduras. Esta tesis toma las reformas de agua como punto de partida y pretende contribuir a la literatura mediante una serie de análisis empíricos tanto del ámbito general como del plano individual o sujeto personal de la política del agua. En el ámbito general, el foco se pone en los factores que explican el fallo de la acción colectiva en dos contextos diferentes: 1) en la implementación de la nueva Ley de Aguas de Nicaragua y 2) en el mantenimiento y revitalización de las instituciones de riego en Surinam. En el plano del individuo, la investigación se centra en las decisiones de los usuarios de los recursos y analiza el papel crítico de las variables sociales para la gestión de los recursos comunes. Para ello, el método de investigación utilizado es mixto, combinando el análisis de entrevistas, encuestas y experimentos. En el ámbito general, los resultados muestran que las principales barreras para la implementación de la nueva Ley de Aguas de Nicaragua podrían tener su reflejo en el lenguaje de la Ley y, por tanto, en la forma en la que se definen y configuran las instituciones incluidas en dicha Ley. Así, la investigación demuestra que la implementación de políticas no puede ser estudiada o entendida sin tener en cuenta tanto el diseño de la propia política como el marco socio-ecológico en el que se enmarca. El contexto específico de Nicaragua remarca la importancia de considerar tanto las instituciones formales como informales en los procesos de transición política. A pesar de que las reformas de agua requieren plazos largos para su implementación, el hecho de que exista una diferencia entre las reglas tal cual se definen formalmente y las reglas que operan en la realidad merece una mayor consideración en el diseño de políticas basadas fundamentalmente en instituciones formales. En el ámbito de la conducta individual, el análisis de la acción colectiva ofrece una serie de observaciones empíricas interesantes. En el caso de Nicaragua, los resultados indican que la intensidad de las relaciones sociales, el tipo de agentes dispuestos a proporcionar apoyo social y el nivel de confianza en la comunidad son factores que explican de manera significativa la participación en la comunidad. Sin embargo, el hecho de que la gestión colectiva de riego se produzca, en la mayoría de casos, en torno a lazos familiares sugiere que las variables de capital social críticas se definen en gran medida en la esfera familiar, siendo difícil que se extiendan fuera de estos nexos. El análisis experimental de los resultados de un juego de uso de recurso común y contribución al bien público muestra que las preferencias pro-sociales de los individuos y la heterogeneidad del grupo en términos de composición por sexo son factores que explican significativamente los resultados y las decisiones de apropiación a lo largo del juego. En términos del diseño de las políticas, es fundamental tener en cuenta las dinámicas de participación y uso de los recursos comunes de manera que los niveles de cooperación puedan mantenerse en el largo plazo, lo cual, como se observa en el caso de Surinam, no es siempre posible. Finalmente, el caso de Surinam es un ejemplo ilustrativo de los procesos de acción colectiva en economías en transición. El análisis del fallo de la acción colectiva en Surinam muestra que los procesos políticos vinculados al período colonial y de independencia explican en gran medida la falta de claridad en las reglas operacionales y colectivas que gobiernan la gestión de los sistemas de riego y drenaje. Los resultados empíricos sugieren que a pesar de que la acción colectiva para la provisión de los servicios de riego y drenaje estaba bien establecida bajo el régimen colonial, la auto-organización no prosperó en un contexto dependiente del apoyo externo y regido fundamentalmente por reglas diseñadas al nivel competencial del gobierno central. El sistema socio-ecológico que se desarrolló durante la transición post-colonial favoreció, así, la emergencia de comportamientos oportunistas, y posteriormente la inoperancia de los Water Boards (WBs) creados en la época colonial. En este sentido, cualquier intento por revitalizar los WBs y fomentar el desarrollo de la auto-organización de los usuarios necesitará abordar los problemas relacionados con los patrones demográficos, incluyendo la distribución de la tierra, el diseño de instituciones y la falta de confianza en el gobierno, además de las inversiones típicas en infraestructura y sistemas de información hidrológicos. El liderazgo del gobierno, aportando empuje de arriba-abajo, es, además, otro elemento imprescindible en Surinam. ABSTRACT Water reforms in developing countries take place along deeper institutional and even constitutional. Therefore, institutional frameworks that might result in positive outcomes in countries governed by the rule of law might not fit in contexts governed mainly by informal or immature institutions. This thesis takes water reforms as the starting point and aims to contribute to the literature by presenting several conceptual and empirical analyses at both general and individual levels. At the general national level, the focus is on the factors explaining failure of collective action in two different settings: 1) in the implementation of the new Nicaraguan Water Law and 2) in sustaining and revitalizing irrigation institutions in Suriname. At the individual level, the research focuses on the actions of resource users and analyzes the critical role of social variables for common pool resources management. For this purpose, the research presented in this thesis makes use of a mixed-method approach, combining interviews, surveys and experimental methods. Overall, the results show that major barriers for the implementation of the new Nicaraguan Water Law have its reflection on the language of the Law and, therefore, on the way institutions are defined and configured. In this sense, our study shows that implementation cannot fruitfully be studied and understood without taking into account both the policy design and the social-ecological context in which it is framed. The specific setting of Nicaragua highlights the relevance of considering both formal and informal institutions when promoting policy transitions. Despite the unquestionable fact that water reforms implementation needs long periods of time, there is still a gap between the rules on paper and the rules on the ground that deserves further attention when proposing policy changes on the basis of formal institutions. At the level of the individual agent, the analysis of collective action provides a number of interesting empirical insights. In the case of Nicaragua, I found that the intensity of social networks, the type of agents willing to provide social support and the level of trust in the community are all significant factors in explaining collective action at community level. However, the fact that most collective irrigation relies on family ties suggests that critical social capital variables might be defined within the family sphere and making it difficult to go beyond it. Experimental research combining a common pool resource and a public good game in Nicaragua shows that individuals’ pro-social traits and group heterogeneity in terms of sex composition are significant variables in explaining efficiency outcomes and effort decisions along the game. Thus, with regard to policy design, it is fundamental to consider carefully the dynamics of agents' participation and use of common pool resources, for sustaining cooperation in the long term, which, as seen in the case and Surinam, is not always possible. The case of Suriname provides a rich setting for the analysis of collective action in transition economies. The analysis of decay of collective irrigation in Suriname shows that the lack of clear operational and collective choice rules appear to be rooted in deeper political processes that date back to the colonial period. The empirical findings suggest that despite collective action for the provision of irrigation and drainage services was well established during the colonial period, self-organization did not flourish in a context governed by colonial state-crafted rules and mostly dependent on external support. The social-ecological system developed during the post-colonial transition process favored the emergence of opportunistic behavior. In this respect, any attempt to revitalize WBs and support self-organization will need to tackle the problems derived from demographic patterns, including land allocation, institutions design and government distrust, in addition to the typical investments in both physical infrastructure and hydrological information systems. The leadership role of the government, acting as a top-down trigger, is another essential element in Suriname.
Resumo:
Cognitive linguistics is considered as one of the most appropriate approaches to the study of scientific and technical language formation and development, where metaphor is accepted to play an essential role. This paper, based on the Cognitive Theory of Metaphor, takes as the starting point the terminological metaphors established in the research project METACITEC(Note 1), which was developed with the purpose of unfolding constitutive metaphors and their function in the language of science and technology. After the analysis of metaphorical terms and using a mixed corpus from the fields of Agriculture, Geology, Mining, Metallurgy, and other related technical fields, this study presents a proposal for a hierarchy of the selected metaphors underlying the scientific conceptual system, based on the semantic distance found in the projection from the source domain to the target domain. We argue that this semantic distance can be considered as an important parameter to take into account in order to establish the metaphoricity of science and technology metaphorical terms. The findings contribute to expand on the CTM stance that metaphor is a matter of cognition by reviewing the abstract-concrete conceptual relationship between the target and source domains, and to determine the role of human creativity and imagination in the language of science and technology configuration
Resumo:
A new set of European genetic data has been analyzed to dissect independent patterns of geographic variation. The most important cause of European genetic variation has been confirmed to correspond to the migration of Neolithic farmers from the area of origin of agriculture in the Middle East. The next most important component of genetic variation is apparently associated with a north-south gradient possibly due to adaptation to cold climates but also to the differentiation of the Uralic and the Indo-European language-speaking people; however, the relevant correlations are not significantly different from zero after elimination of the spatial autocorrelation. The third component is highly correlated with the infiltration of the Yamna ("Kurgan") people, nomadic pastoralists who domesticated the horse and who have been claimed to have spread Indo-European languages to Europe; this association, which is statistically significant even when taking spatial autocorrelations into account, does not completely exclude the hypothesis of Indo-European as the language of Neolithic farmers. It is possible that both expansions were responsible for the spread of different subfamilies of Indo-European languages, but our genetic data cannot resolve their relative importance.
Resumo:
The thesis of this dissertation is that the Descent/Ascent Leitmotif, which includes the language of not only descending and ascending, but also going, coming, and being sent, performs a significant literary and christological function in the Gospel of John. The Evangelist's Descent/Ascent Leitmotif becomes the Gospel's organizing principal, drawing together a constellation of verbs and a number of themes, including Jesus-Son's origin, identity, relationship to God, authority, signs and works, life, and glory. In the introductory chapter, after providing a layout of the dissertation, the discussion turns to the spacial dimensions and christological importance of the vertical and horizontal depictions of the descending, ascending, coming, going, and being sent verbs. The focus of chapter two is to explain and illustrate, using a version of the Cinderella story, a method that serves to identify the Leitmotif and the verbs, motifs, and themes the Leitmotif draws within its constellation. This approach, titled a thematic structural method, integrates works from thematic scholars Horst Daemmrich and Eugene Falk with works from literary structural scholars A. J Greimas and Roland Barthes, and is a tool to analyze the influence of the Leitmotif as the Gospel's organizing principal on the relationships between the Leitmotif and numerous themes from which John's Christology emerges. The task of chapter three is to explain the rationale for the selection of the Leitmotif's verbs of descending, ascending, coming, going, and being sent. Chapters four and five investigate how the Evangelist, with the repetition of the Leitmotif, constructs his narrative to tell the story of the historical Jesus and shape the Evangelist's Christology. Additionally, the focus is to analyze the transforming influences of the Descent/Ascent Leitmotif on the themes of Jesus-Son's origin, identity, relationship to the Father, and authority, through his signs and works, life, and glory. The Descent/Ascent Leitmotif depicts a divine round trip, and the emphasis of chapter six is to examine the role of the Leitmotif in Jesus-Son's departure from the world and return to God. The Evangelist's use of the Leitmotif in Jesus' prayer to the Father (John 17) and the promise of the Paraclete are included in this chapter. Due to the Descent/Ascent Leitmotif's inherent spatial overtones, elements related to Jesus' return, including heaven, world, the hour, and his form after his resurrection, are explored from a cosmological and ontological perspective.
Resumo:
This article studies generated scales having exactly three different step sizes within the language of algebraic combinatorics on words. These scales and their corresponding step-patterns are called non well formed. We prove that they can be naturally inserted in the Christoffel tree of well-formed words. Our primary focus in this study is on the left- and right-Lyndon factorization of these words. We will characterize the non-well-formed words for which both factorizations coincide. We say that these words satisfy the LR property and show that the LR property is satisfied exactly for half of the non-well-formed words. These are symmetrically distributed in the extended Christoffel tree. Moreover, we find a surprising connection between the LR property and the Christoffel duality. Finally, we prove that there are infinitely many Christoffel–Lyndon words among the set of non-well-formed words and thus there are infinitely many generated scales having as step-pattern a Christoffel–Lyndon word.
Resumo:
There is no question nowadays as to the international and powerful status of English at a global scale and, consequently, as to its presence in non-English speaking countries at different levels. Linguistically speaking, English is one of the languages which have mostly influenced Spanish throughout its history and especially from the late 1960s. In this study, the impact of English on Spanish is considered in the language of sports; particularly, sports Anglicisms and false Anglicisms are analysed. Due attention is paid to the different forms that an Anglicism may adopt and to which of those forms are more widely accepted or rejected by prescriptivists and speakers at large, in the light of a contrastive analysis of their appearance in the Nuevo diccionario de anglicismos, the Diccionario de la Real Academia Española and the Corpus de Referencia del Español Actual.
Resumo:
As has been the case with other European languages, Spanish has welcomed the arrival of English words, in spite of all purist efforts to the contrary. Moreover, it has not only adopted and adapted true Anglicisms but it has also created other forms based on English patterns, such mechanisms particularly visible in the fashion jargon in Spanish. In this paper we focus on -ing forms in the Spanish language of fashion, which may at times be genuine Anglicisms (formal or semantic ones) or false Anglicisms (analogical creations, that is, English-looking lexical elements), found in Spanish editions of fashion magazines such as Vogue, Elle, InStyle, Grazia, Glamour, and Cosmopolitan. The main aim of this study is to qualitatively analyse and classify -ing Anglicisms and false Anglicisms in the aforementioned jargon in order to establish whether the impact of English in the Spanish fashion jargon is so important as to replace native words and expressions.
Resumo:
Teaching architecture is experiencing a moment of opportunity. New methods, like constructivist pedagogy, based on complexity and integration are yet to be explored. In this context of opportunity teaching architecture has a duty to integrate complexity in their curriculum. Teaching methods should also assume inherent indeterminacy and contingency of all complex process. If we accept this condition as part of any teaching method, the notion of truth or falsehood it becomes irrelevant. In this regard it could focus on teaching to contingency of language. Traditionally, technology is defined as the language of science. If we assume contingency as one of the characteristics of language, we could say that technology is also contingent. Therefore we could focus technology teaching to redefine its own vocabulary. So, redefining technological vocabulary could be an area of opportunity for education in architecture. The student could redefine their own tools, technology, to later innovate with them. First redefine the vocabulary, the technology, and then construct the new language, the technique. In the case of Building Technology subjects, it should also incorporate a more holistic approach for enhancing interdisciplinary transfer. Technical transfer, either from nature or other technologies to the field of architecture, is considered as a field of great educational possibilities. Evenmore, student get much broader technical approach that transgresses the boundaries of architectural discipline.
Resumo:
The paper analyzes the evolution of the concept of flexicurity in the european context. In this perspective, flexicurity is expressed through the language of the policies, showing an inherent weakness in influencing national reform processes. The essay compare also with the possibility of a re-reading of flexicurity policies, in the light of the theory of capabilities developed by Amartya Sen.