Fishing community issues in the Sundarban Tiger Reserve: a case study

The study focuses on fishing community issues in the Sundarban Tiger Reserve (STR). It provides an overview of the legal framework, and design and implementation of fishing regulations, and documents and analyzes the experiences of local fishing communities. It explores ways in which livelihood concerns can be appropriately balanced with conservation. The report builds upon a study titled ‘Traditional Fishers in the Sundarban Tiger Reserve’ (DISHA 2008) and draws upon secondary review of literature and field visits conducted in September 2008. The report is structured in six parts. The first part provides the legal background and the second sketches the status of fisheries and fishing communities. The third part focuses on livelihood issues within the STR, and community concerns regarding implementation of tiger protection measures. Part four explores the initiatives undertaken in the domain of alternative livelihoods. Part five offers a conclusion. The final sixth part, recognizing the initiatives that have been taken to address alternative livelihood options, lists the study's recommendations. (PDF contains 32 pages)

Computation of flow over a rotating body on unstructured Chimera mesh

Flow around moving boundary is ubiquitous in engineering applications. To increse the efficienly of the algorithm to handle moving boundaries is still a major challenge in Computational Fluid Dynamics (CFD). The Chimera grid method is one type of method to handle moving boundaries. A concept of domain de-composition has been proposed in this paper. In this method, sub-domains are meshed independently and governing equations are also solved separately on them. The Chimera grid method was originally used only on structured (curvilinear) meshes. However, in a problem which involves both moving boundary and complex geometry, the number of sub-domains required in a traditional (structured) Chimera method becomes fairly large. Thus the time required in the interior boundary locating, link-building and data exchanging also increases. The use of unstructured Chimera grid can reduce the time consumption significantly by the reduction of domain(block) number. Generally speaking, unstructured Chimera grid method has not been developed. In this paper, a well-known pressure correction scheme - SIMPLEC is modified and implemented on unstructured Chimera mesh. A new interpolation scheme regarding the pressure correction is proposed to prevent the possible decoupling of pressure. A moving-mesh finite volume approach is implemented in an inertial reference frame. This approach is then used to compute incompressible flow around a rotating circular and elliptic cylinder. These numerical examples demonstrate the capability of the proposed scheme in handling moving boundaries. The numerical results are in good agreement with other experimental and computational data in literature. The method proposed in this paper can be efficiently applied to more challenge cases such as free-falling objects or heavy particles in fluid.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Translation, literature and nation: the Xeneración Nós and the appropriation of Joyce's texts

Santamaría, José Miguel; Pajares, Eterio; Olsen, Vickie; Merino, Raquel; Eguíluz, Federico (eds.)

Translating Spanish Literature into English: Some cross-cultural pragmatic issues

Eterio Pajares, Raquel Merino y José Miguel Santamaría (eds.)

Some remarks on asymmetrical cultural transfer. (The Case of Slovenian Literature for Italian Readers)

Eterio Pajares, Raquel Merino y José Miguel Santamaría (eds.)

El mito de Safo en el relato decadente

[FR] La femme homosexuelle, reflet d’un désir mythique hermaphrodite, est, pendant la fin du siècle une figure littéraire paradoxale et en même temps obsédante. Sapho est, comme la femme fatale, une des protagonistes de la fin-du-siècle qui répond à une misogynie récurrente dans l’imaginaire créateur. Il s’agit d’un désir artificiel, éros intangible (Péladan 1910: 74), contre nature, un idéal impossible: Sexe initial,sexe définitif, absolu de l’amour, absolu de la forme, sexe qui nies le sexe, sexe d’éternité! Los à toi, Androgyne! (Péladan 1910: 76). Sapho, figure archétypique, androgyne, constitue en définitive le symbole de l’abolition des sexes, de la confusion des genres, de la crise du couple traditionnel. Elle met en évidence la solitude, la peur et un désir inassouvi.

Synoptic review of the Literature on the southern oyster drill Thais haemastoma floridana

This literature search identifies a majority of the publications in the period 1880-1980 concerned with the marine gastropod, Thais haemastomafloridmul (Conrad). The southern oyster drill is an economically important oyster predator in the western Atlantic and Gulf of Mexico littoral. Major contributions of each paper to our knowledge of the drill's biology are briefly categorized. Hitherto unpublished research by the author on the snail's biology is documented. (PDF file contains 15 pages.)

Helena de Eurípides y los roles de género

Le Rane : Collana di Studi e Testi. Studi ; 55 - El teatro clásico en el marco de la cultura griega y su pervivencia en la cultura occidental ; 13

A synopsis of the traditional fishing gears used in artisanal fisheries along the upper part of the Cross River

Artisanal fishery is the main type of fishing practised occupationally by the fishermen along the upper sectors of the Cross River. No form of mechanised fishing has so far been introduced to the fishermen in these areas. This study has attempted to find out the different gears used, when and where used along the main river channel, its tributaries and flood plains. An effort has also been made to provide some information on the types of fishes caught with the different gears. Recommendation for effective management are also advanced

Potential Application of Adsorptive Media to Enhance Phosphorus Uptake in Stormwater Basins and Wetlands at Lake Tahoe : literature review. Report to the University of California Davis Tahoe Research Group

Phosphorus removal by wetlands and basins in Lake Tahoe may be improved through designing these systems to filter storm water through media having higher phosphorus removal capabilities than local parent material. Substrates rich in iron, aluminum and calcium oftentimes have enhanced phosphorus removal. These substrates can be naturally occurring, byproducts of industrial or water treatment processes, or engineered. Phosphorus removal fundamentally occurs through chemical adsorption and/or precipitation and much of the phosphorus can be irreversibly bound. In addition to these standard media, other engineered substrates are available to enhance P removal. One such substrate is locally available in Reno and uses lanthanum coated diatomaceous earth for arsenate removal. This material, which has a high positive surface charge, can also irreversibly remove phosphorus. Physical factors also affect P removal. Specifically, specific surface area and particle shape affect filtration capacity, contact area between water and the surface area, and likelihood of clogging and blinding. A number of substrates have been shown to effectively remove P in case studies. Based upon these studies, promising substrates include WTRs, blast furnace slag, steel furnace slag, OPC, calcite, marble Utelite and other LWAs, zeolite and shale. However, other nonperformance factors such as environmental considerations, application logistics, costs, and potential for cementification narrow the list of possible media for application at Tahoe. Industrial byproducts such as slags risk possible leaching of heavy metals and this potential cannot be easily predicted. Fly ash and other fine particle substrates would be more difficult to apply because they would need to be blended, making them less desirable and more costly to apply than larger diameter media. High transportation costs rule out non-local products. Finally, amorphous calcium products will eventually cementify reducing their effectiveness in filtration systems. Based upon these considerations, bauxite, LWAs and expanded shales/clays, iron-rich sands, activated alumina, marble and dolomite, and natural and lanthanum activated diatomaceous earth are the products most likely to be tested for application at Tahoe. These materials are typically iron, calcium or aluminum based; many have a high specific surface area; and all have low transportation costs. (PDF contains 21 pages)

The traditional fishery of Ibu project area on the northern portion of the Imo River, Nigeria

A survey carried out on the fishery of the northern portion of Imo basin (known as Ibu project area for the purpose of this study) provided some information on the number and type of fishermen cropping this portion of the Imo River, Nigeria. The population was found to be very mobile with many itinerant or seasonal fishermen. The type of gear in use was studied and a high number of traditional dug-out canoes recorded which shows the ability of the people to make their own canoes. The presence of freshwater shrimps crayfish and clupeids at this upper region of the Imo River was observed

The contribution of fish intake, aquaculture, and small-scale fisheries to improving nutrition security: a literature review

Much of fish consumed by the poor are caught by household members and traded in local markets. These fish are rarely or poorly included in national statistics, and it is therefore difficult to estimate precisely the real contribution of fish to the rural poor households. This report is the first global overview of the role played by fish in improving nutrition. Fish consumption patterns of the poor, the nutritional value of fish, and small-scale fisheries and aquaculture activities are considered. It also highlights the gap in knowledge where more research is needed.