354,729 research outputs found
KONTALA IN THE CONTEXT OF MUNA CULTURE
This article contains the results of the study conducted in Muna Regency, Southeast Sulawesi, in 2010. This study aims at revealing and analyzing the form, function, meaning and value of the kontala using intrinsic and extrinsic approaches. The kontala was processed in such a way that it became a particular material so that its aesthetic effects could be obtained. The intrinsic approach was used to observe the structural aspect. The aspects of the study range from style, image, metaphor, symbol, and myth. The extrinsic approach was used to discuss the setting and environment. In addition to the structural theory, the functional theory was also used in this study. The functional theory of a text covers all the natures which collectively refer to or have the main and additional functions. Besides, the pragmatic approach was also used in this study. Descriptive analytic method, which could reveal and analyze the content, form, function, meaning and value of the kantola was employed. The results of the study show that the kantola, which is in the form of several poems, contain (a) satire, (b) criticism, (c) romantic love, (d) advices, (f) suggestion, (g) invitation with family and unity as the themes. The kantola functions to amuse, unify, pacify sorrow for its fans. The values contained are (a) sportiveness, (b) skill, (c) ethics and morality, (d) togetherness, (e) education, (f) religiosity, (g) patience, (h) intelligence (intellectual intelligence, emotional intelligence, social intelligence, and spiritual intelligence). Based on the values contained, the kantola needs to be learned, developed and performed again in every public party as the real steps to preserve it in daily life with high creativity; its form and performance are modified and adapted
Guidelines to Study Differences in Expressiveness between Ontology Specification Languages: A Case Of Study
We focus on our experiences on translating ontologies between two ontology languages, FLogic and Ontolingua, in the framework of Methontology and ODE. Rather than building "ad hoc" translators between languages or using KIF, our option consists of translating through ODE intermediate representations. So, we have built direct translators from ODE intermediate representations to Ontolingua and FLogic, and we have also built reverse translators from these two languages to ODE intermediate representations. Expressiveness of the target languages is the main feature to analyse when automatically generating ontologies from ODE intermediate representations. Therefore, we analyse the expressiveness of Ontolingua and FLogic for creating classes, instances, relations, functions and axioms, which are the essential components in ontologies. The motivation for this analysis can be found in the (KA)² initiative and can be easily extended to any other domains and languages
Bethe Ansatz and the Spectral Theory of affine Lie algebra-valued connections I. The simply-laced case
We study the ODE/IM correspondence for ODE associated to -valued connections, for a simply-laced Lie algebra . We prove
that subdominant solutions to the ODE defined in different fundamental
representations satisfy a set of quadratic equations called -system. This
allows us to show that the generalized spectral determinants satisfy the Bethe
Ansatz equations.Comment: 27 pages, final and published version. Minor change in the titl
An Axiomatic Approach to Liveness for Differential Equations
This paper presents an approach for deductive liveness verification for
ordinary differential equations (ODEs) with differential dynamic logic.
Numerous subtleties complicate the generalization of well-known discrete
liveness verification techniques, such as loop variants, to the continuous
setting. For example, ODE solutions may blow up in finite time or their
progress towards the goal may converge to zero. Our approach handles these
subtleties by successively refining ODE liveness properties using ODE
invariance properties which have a well-understood deductive proof theory. This
approach is widely applicable: we survey several liveness arguments in the
literature and derive them all as special instances of our axiomatic refinement
approach. We also correct several soundness errors in the surveyed arguments,
which further highlights the subtlety of ODE liveness reasoning and the utility
of our deductive approach. The library of common refinement steps identified
through our approach enables both the sound development and justification of
new ODE liveness proof rules from our axioms.Comment: FM 2019: 23rd International Symposium on Formal Methods, Porto,
Portugal, October 9-11, 201
- …