56,498 research outputs found
FURY: Fuzzy unification and resolution based on edit distance
We present a theoretically founded framework for fuzzy
unification and resolution based on edit distance over trees.
Our framework extends classical unification and resolution
conservatively. We prove important properties of the framework
and develop the FURY system, which implements the
framework efficiently using dynamic programming. We
evaluate the framework and system on a large problem in
the bioinformatics domain, that of detecting typographical
errors in an enzyme name databas
Timetabling in constraint logic programming
In this paper we describe the timetabling problem and its solvability in a Constraint Logic
Programming Language. A solution to the problem has been developed and implemented in
ECLiPSe, since it deals with finite domains, it has well-defined interfaces between basic
building blocks and supports good debugging facilities. The implemented timetable was
based on the existing, currently used, timetables at the School of Informatics at out
university. It integrates constraints concerning room and period availability
Institution Building for African Regionalism
Since the 1960s, African states have embraced regional integration as a vital mechanism for political cooperation and for pooling resources to overcome problems of small and fragmented economies. In building meaningful institutions for regionalism, however, Africans have faced the challenges of reconciling the diversities of culture, geography, and politics. As a result, African regional institutions are characterized by multiple and competing mandates and weak institutionalization. This study illustrates these themes by comparing two continental institutionsâthe African Union and its predecessor, the Organization of African Unity, and the United Nations Economic Commission for Africa and subregional institutionsâthe Economic Commission of Central African States, the Economic Community of West African States, the Common Market for East and Southern African States, the Community of the Sahel-Saharan States, and the Arab Maghreb Union. By focusing on the institutional structures, mandates, and contributions of these organizations in their geographical domains, the study probes the links between policy articulation and outcomes. The conclusion focuses on lessons that African regionalism can inform Asian integration experiences.African Regionalism; Regional Integration; Africa; African Union; United Nationâs Economic Commission for Africa
Effects of Fermion Flavor on Exciton Condensation in Double Layer Systems
We use fermionic path integral quantum Monte Carlo to study the effects of
fermion flavor on the physical properties of dipolar exciton condensates in
double layer systems. We find that by including spin in the system weakens the
effective interlayer interaction strength, yet this has very little effect on
the Kosterlitz-Thouless transition temperature. We further find that, to obtain
the correct description of screening, it is necessary to account for
correlation in both the interlayer and intralayer interactions. We show that
while the excitonic binding cannot completely surpress screening by additional
fermion flavors, their screening effectiveness is reduced leading to a much
higher transition temperatures than predicted with large-N analysis.Comment: 4 pages, 3 figure
- âŠ