Digit recurence division under HUB format

Half-Unit-Biased format is based on shifting the representation line of the binary numbers by half Unit in the Last Place. The main feature of this format is that the round to nearest is carried out by a simple truncation, preventing any carry propagation and saving time and area. Algorithms and architectures have been defined for addition/substraction and multiplication operations under this format. Nevertheless, the division operation has not been confronted yet. In this paper we deal with the floating-point division under HUB format, studying the architecture for the digit recurrence method, including the on-the-fly conversion of the signed digit quotient.

Daily foraging activity of Acromyrmex (Hymenoptera: Formicidae) leaf-cutting ants.

Leaf-cutting ants are well-known insects due to their remarkable activity as herbivores and the considerable economic damage they cause to many crops. The identification of season and time of day when leaf-cutting ants are most active is an important tool, not just to understand the foraging ecology of these ants, but also to optimize their control in plantation areas where they are pests. Thus, the aims of this study are to evaluate the daily foraging activity of leafcutting ant species of the genus Acromyrmex, which occur in forest plantations in Southern Brazil. Foraging activity of Acromyrmex crassispinus (Forel) and Acromyrmex subterraneus subterraneus (Forel) were correlated with weather conditions, and it was more intense during spring and summer. Workers that forage at night are significantly heavier than workers that forage during the day. This study showed that A. crassispinus and A. subterraneus subterraneus did not forage at temperatures below 10-11°C. Then, the use of granulated baits to control these leaf-cutting ants species where they are pests should be done just under favorable conditions of temperature for Acromyrmex foraging activity (over 12°C), to ensure maximum collection of baits by ants and the least left-over baits.

Cryptococcus haglerorum, sp nov., an anamorphic basidiomycetous yeast isolated from nests of the leaf-cutting ant Atta sexdens

A yeast strain (CBS 8902) was isolated from the nest of a leaf-cutting ant and was shown to be related to Cryptococcus humicola. Sequencing of the D1/D2 region of the 26S ribosomal DNA and physiological characterization revealed a separate taxonomic position. A novel species named Cryptococcus haglerorum is proposed to accommodate strain CBS 8902 that assimilates n-hexadecane and several benzene compounds. Physiological characteristics distinguishing the novel species from some other members of the C. humicola complex are presented. The phylogenetic relationship of these strains to species of the genus Trichosporon Behrend is discussed.

Metabolism of plant polysaccharides by Leucoagaricus gongylophorus, the symbiotic fungus of the leaf-cutting ant Atta sexdens L.

Atta sexdens L, ante feed on the Fungus they cultivate on cut leaves inside their nests. The fungus, Leucoagaricus gongylophorus, metabolizes plant polysaccharides, such as xylan, starch, pectin, and cellulose, mediating assimilation of these compounds lay the ants, This metabolic integration may be an important part of the ant-fungus symbiosis, and it involves primarily xylan and starch, both of which support rapid fungal growth. Cellulose seems to be less important for symbiont nutrition, since it is poorly degraded and assimilated by the fungus. Pectin is rapidly degraded but slowly assimilated by L. gongylophorus, and its degradation may occur so that the fungus can more easily access other polysaccharides in the leaves.

Effects of leaves of Ipomoea batatas (Convolvulaceae) on nest development and on respiratory metabolism of leaf-cutting ants Atta sexdens L. (Hym., Formicidae)

Laboratory colonies of the leaf-cutting ants Atta sexdens feed daily with leaves of Ipomoea batatas showed ant mortality and a significant decrease in the size of the fungal garden after the second week, with complete depletion of nests after 5 weeks of treatment. The mean oxygen consumption rate of these ants was higher than the control (ants collected from nests feed with leaves of Eucalyptus alba), suggesting a physiological action of the leaves of I. batatas on the ants in addition to the effect of inhibiting the growth of the fungal garden.

Sympodiomyces attinorum sp nov., a yeast species associated with nests of the leaf-cutting ant Atta sexdens

Four strains of a novel yeast species were isolated from laboratory nests of the leaf-cutting ant Atta sexdens in Brazil. Three strains were found in older sponges and one was in a waste deposit in the ant nests. Sequencing of the D1/D2 region of the large-subunit rRNA gene showed that the novel species, named Sympodiomyces attinorum sp. nov., is phylogenetically related to Sympodiomyces parvus. Unlike Sympodiomyces parvus, Sympodiomyces attinorum can ferment glucose, assimilate methyl alpha-D-glucoside, salicin and citrate, and grow at 37 degreesC, thus enabling these two species to be distinguished. Differentiation from other related species is possible on the basis of other growth characteristics. The type strain of Sympodiomyces attinorum is UNESP-S156(T) (=CBS 9734(T)=NRRL Y-27639(T)).

Activity of Ricinus communis (Euphorbiaceae) and ricinine against the leaf-cutting ant Atta sexdens rubropilosa (Hymenoptera : Formicidae) and the symbiotic fungus Leucoagaricus gongylophorus

The focus of this study was the identification of compounds from plant extracts for use in crop protection. This paper reports on the toxic activity of fractions of leaf extracts of Ricinus communis L (Euphorbiaceae) and isolated active compounds in the leaf-cutting ant Atta sexdens rubropilosa Forel and its symbiotic fungus Leucoagaricus gongylophorus (Singer) Moller. The main compounds responsible for activity against the fungus and ant in leaf extracts of R communis were found to be fatty acids for the former and ricinine for the ants. (C) 2004 Society of Chemical Industry.

Starch metabolism in Leucoagaricus gongylophorus, the symbiotic fungus of leaf-cutting ants

Leucoagaricus gongylophorus, the symbiotic fungus of the leaf-cutting ants, degrades starch, this degradation being supposed to occur in the plant material which leafcutters forage to the nests, generating most of the glucose which the ants utilize for food. In the present investigation, we show that laboratory cultures of L. gongylophorus produce extracellular alpha-amylase and maltase which degrade starch to glucose, reinforcing that the ants can obtain glucose from starch through the symbiotic fungus. Glucose was found to repress a-amylase and, more severely, maltase activity, thus repressing starch degradation by L. gongylophorus, so that we hypothesize that: (1) glucose down-regulation of starch degradation also occurs in the Atta sexdens fungus garden; (2) glucose consumption from the fungus garden by A. sexdens stimutates degradation of starch from plant material by L. gongylophorus, which may represent a mechanism by which Leafcutters can control enzyme production by the symbiotic fungus. Since glucose is found in the fungus garden inside the nests, down-regulation of starch degradation by glucose is supposed to occur in the nest and play a part in the control of fungal enzyme production by leafcutters. (c) 2005 Elsevier GmbH. All rights reserved.

Synthetic amides toxic to the leaf-cutting ant Atta sexdens rubropilosa L. and its symbiotic fungus

1 Nine synthetic amides similar to natural N-piperidine-3-(4,5-methylenedioxyphenyl)-2-(E)-propenainide and N-pyrrolidine-3-(4,5-methylenedyoxiphenyl)2-(E)-propenamide were synthesized and identified by their spectroscopic data.2 the toxicity of these synthetic amides to the Atta sexdens rubropilosa workers and the antifungal activity against Leticoagaricus gongylophorus, the symbiotic fungus of the leaf-cutting ants, were determined.3 Workers ants that were fed daily on an artificial diet to which these compounds were added had a higher mortality rate than the controls for N-pyrrolidine-3(3',4'-methylenedioxyphenyl)-2-(E)-propenamide and N-benzyl-3-(3',4'-methylenedioxyphenyl)-2-(E)-propenamide at a concentration of 100 mu g/mL.4 the completely inhibition (100%) of the fungal growth was observed with N-piperldine-3-(3',4'-methylenedioxyphenyl)-2-(E)-propenamide and N,N-diethyl-3-(3',4'-methylenedioxyphenyl)-2-(E)-propenamide at concentrations of 50 and 100 mu g/mL and N-pirrolidine-3-(3',4'-methylenedioxyphenyl)-2-(E)-propenamide at a concentration of 100 mu g/mL.5 the possibility of controlling these insects in the future using synthetic piperamides that can simultaneously target both organisms is discussed.

Turning conflict into coexistence: cross-cutting ties and institutions in the agro-pastoral borderlands of Lake Naivasha basin, Kenya

The Maasai/Kikuyu agro-pastoral borderlands of Maiella and Enoosupukia, located in the hinterlands of Lake Naivasha’s agro-industrial hub, are particularly notorious in the history of ethnicised violence in the Kenya’s Rift Valley. In October 1993, an organised assault perpetrated by hundreds of Maasai vigilantes, with the assistance of game wardens and administration police, killed more than 20 farmers of Kikuyu descent. Consequently, thousands of migrant farmers were violently evicted from Enoosupukia at the instigation of leading local politicians. Nowadays, however, intercommunity relations are surprisingly peaceful and the cooperative use of natural resources is the rule rather than the exception. There seems to be a form of reorganization. Violence seems to be contained and the local economy has since recovered. This does not mean that there is no conflict, but people seem to have the facility to solve them peacefully. How did formerly violent conflicts develop into peaceful relations? How did competition turn into cooperation, facilitating changing land use? This dissertation explores the value of cross-cutting ties and local institutions in peaceful relationships and the non-violent resolution of conflicts across previously violently contested community boundaries. It mainly relies on ethnographic data collected between 2014 and 2015. The discussion therefore builds on several theoretical approaches in anthropology and the social sciences – that is, violent conflicts, cross-cutting ties and conflicting loyalties, joking relationships, peace and nonviolence, and institutions, in order to understand shared spaces that are experiencing fairly rapid social and economic changes, and characterised by conflict and coexistence. In the researched communities, cross-cutting ties and the split allegiances associated with them result from intermarriages, land transactions, trade, and friendship. By institutions, I refer to local peace committees, an attempt to standardise an aspect of customary law, and Nyumba Kumi, a strategy of anchoring community policing at the household level. In 2010, the state “implanted” these grassroots-level institutions and conferred on them the rights to handle specific conflicts and to prevent crime. I argue that the studied groups utilise diverse networks of relationships as adaptive responses to landlessness, poverty, and socio-political dynamics at the local level. Material and non-material exchanges and transfers accompany these social and economic ties and networks. In addition to being instrumental in nurturing a cohesive social fabric, I argue that such alliances could be thought of as strategies of appropriation of resources in the frontiers – areas that are considered to have immense agricultural potential and to be conducive to economic enterprise. Consequently, these areas are continuously changed and shaped through immigration, population growth, and agricultural intensification. However, cross-cutting ties and intergroup alliances may not necessarily prevent the occurrence or escalation of conflicts. Nevertheless, disputes and conflicts, which form part of the social order in the studied area, create the opportunities for locally contextualised systems of peace and non-violence that inculcate the values of cooperation, coexistence, and restraint from violence. Although the neo-traditional institutions (local peace committees and Nyumba Kumi) face massive complexities and lack the capacity to handle serious conflicts, their application of informal constraints in dispute resolution provides room for some optimism. Notably, the formation of ties and alliances between the studied groups, and the use of local norms and values to resolve disputes, are not new phenomena – they are reminiscent of historical patterns. Their persistence, particularly in the context of Kenya, indicates a form of historical continuity, which remains rather “undisturbed” despite the prevalence of ethnicised political economies. Indeed, the formation of alliances, which are driven by mutual pursuit of commodities (livestock, rental land, and agricultural produce), markets, and diversification, tends to override other identities. While the major thrust of social science literature in East Africa has focused on the search for root causes of violence, very little has been said about the conditions and practices of cooperation and non-violent conflict resolution. In addition, situations where prior violence turned into peaceful interaction have attracted little attention, though the analysis of such transitional phases holds the promise of contributing to applicable knowledge on conflict resolution. This study is part of a larger multidisciplinary project, “Resilience in East African Landscapes” (REAL), which is a Marie Curie Actions Innovative Training Networks (ITN) project. The principal focus of this multidisciplinary project is to study past, present, and future thresholds and sustainable trajectories in human-landscape interactions in East Africa over the last millennia. While other individual projects focus on long-term ecosystem dynamics and societal interactions, my project examines human-landscape interactions in the present and the very recent past (i.e. the period in which events and processes were witnessed or can still be recalled by today’s population). The transition from conflict to coexistence and from competition to cooperative use of previously violently contested land resources is understood here as enhancing adaptation in the face of social-political, economic, environmental, and climatic changes. This dissertation is therefore a contribution to new modes of resilience in human-landscape interactions after a collapse situation.

Feasibility in Using Technological Resources for Implementing the Environmental Culture Cross-Cutting Factor for Sustainable Development in the Costa Rican Basic General Education

The purpose of this research was to analyze whether the use of technological resources may be feasible in the implementation of the environmental culture cross-cutting factor for sustainable development, which focuses on environmental issues related to the contents of the Science study program for the seventh year of the basic general education. The research design is qualitative with a dominant approach and uses some quantitative elements specifically in the design of instruments and some data analysis techniques. The type of study was developed with a multi-method approach; a trend that has been shaping a research style which integrates various methods in a single design. For this, we identified the didactic strategies and their relationship to both, technology and the environmental axis for sustainable development, used by six Science teachers of the 7th grade, in public institutions of the province of Heredia, Central Valley, Costa Rica, as well as the opinion of 20 students from that same grade. The main results include the opinions of the students, who showed a considerable interest in classes where technological resources are used. However, teachers do not show great interest or positive opinions on this matter; in addition, they are not well trained on the use of technological resources. It was also identified that the teaching personal who participated in the study do not develop this curricular axis.

Comparison of sequence variants in the PDK4 and COX4I2 genes between racing and cutting lines of quarter horses and associations with the speed index.

Different selection objectives within the Quarter Horse breed led to the formation of groups with distinct skills, including the racing and cutting lines. With a smaller population size in Brazil, but of great economic representativeness, the racing line is characterized by animals that can reach high speeds over short distances and within a short period of time. The cutting line is destined for functional tests, exploring skills such as agility and obedience. Although the athletic performance of horses is likely to be influenced by a large number of genes, few genetic variants have so far been related to this trait and this was done exclusively in Thoroughbreds, including the g.38973231G>A singlenucleotide polymorphism in the PDK4 gene and the g.22684390C>T single-nucleotide polymorphism in the COX4I2 gene. The results of the present study demonstrate the presence of polymorphic PDK4 and COX4I2 genes in Quarter Horses. The analysis of 296 racing animals and 68 cutting animals revealed significant differences in allele and genotype frequencies between the two lines. The same was not observed when these frequencies were compared between extreme racing performance phenotypes. There were also no significant associations between alleles of the two polymorphisms and the speed index. These results suggest that the alleles of the PDK4 and COX4I2 genes, which are related to better racecourse performance in Thoroughbreds, are probably associated with beneficial adaptations in aerobic metabolism and therefore play secondary roles in sprint racing performance in Quarter Horses, which is mainly anaerobic.

The role of microcomputer-based laboratory display in supporting the construction of new understanding in kinematics

Teachers' failure to utilise MBL activities more widely may be due to not recognising their capacity to transform the nature of laboratory activities to be more consistent with contemporary constructivist theories of learning. This research aimed to increase understanding of how MBL activities specifically designed to be consistent with a constructivist theory of learning support or constrain student construction of understanding. The first author conducted the research with his Year 11 physics class of 29 students. Dyads completed nine tasks relating to kinematics using a Predict-Observe-Explain format. Data sources included video and audio recordings of students and teacher during four 70-minute sessions, students' display graphs and written notes, semi-structured student interviews, and the teacher's journal. The study identifies the actors and describes the patterns of interactions in the MBL. Analysis of students' discourse and actions identified many instances where students' initial understanding of kinematics were mediated in multiple ways. Students invented numerous techniques for manipulating data in the service of their emerging understanding. The findings are presented as eight assertions. Recommendations are made for developing pedagogical strategies incorporating MBL activities which will likely catalyse student construction of understanding.

Batch Verification of Validity of Bids in Homomorphic E-auction

Bid opening in e-auction is efficient when a homomorphic secret sharing function is employed to seal the bids and homomorphic secret reconstruction is employed to open the bids. However, this high efficiency is based on an assumption: the bids are valid (e.g., within a special range). An undetected invalid bid can compromise correctness and fairness of the auction. Unfortunately, validity verification of the bids is ignored in the auction schemes employing homomorphic secret sharing (called homomorphic auction in this paper). In this paper, an attack against the homomorphic auction in the absence of bid validity check is presented and a necessary bid validity check mechanism is proposed. Then a batch cryptographic technique is introduced and applied to improve the efficiency of bid validity check.