A new species of genus Pseudogyrinocheilus (Teleostei: Cyprinidae) from Guangxi, China

A new species, Pseudogyrinocheilus longisulcus, was discovered from a tributary of Pearl River in Jingxi Co., Guangxi, China, The new species can be distinguished from other species of Pseudogyrinocheilus by the following combination of characteristics: prolonged post-labial grooves, and extended antero-medially close to anterior end of middle lower lip, but not meeting with its counterpart; posterior margin of lower lip free; scales of abdomen from thorax to pectoral-fin base embedded under skin; lateral-line scales 40-42; dark stripe longitudinal along lateral line on flank. The key to the species of Pseudogyrinocheilus is provided.

Perspectives of impacts of international fish trade in Kenya

There has been tremendous growth in international trade on fish and fisheries products in the last four decades. In 1970 the value of internationally traded fish was estimated at 3 billion; this increased to US$ 15 billion in 1980, US$ 36 billion in 1990 and US$ 55 billion in 2000 (Ahmed, 2003). Recent statistics show that fish trade has surpassed other agricultural commodities that have traditionally been traded internationally such as coffee, tea, cocoa, sugar, cereals, meat, oils and milk. In 2000, fish contributed 22% of the value of all agricultural exports, making it the highest internationally traded food product (Ahmed, 2003). In another perspective, nearly 40% of the world's fish is now sold in the international market. The flow of fish in the international market is highly lopsided. About 50% of fish exportscomefromthedevelopingworld ,ofwhich 20%arefrom low-incomefood deficient countries. Most of this fish, however, is consumed by the developed countries, which account for nearly 80% of all imported fish. The EU, USA and Japan are the major importers, accounting for over 77% of global fish imports. Thus, while developing countries playa big role in fish production , they consume very little of it, instead preferring to sell for the hard currency. In some fish exporting countries, especially those in Asia, there is some link between fish exports and imports of substitute and complementary foods. Much of the increased earning from fish exports in those countries is explained by a corresponding rise in expenditure on imported foods. This is not the case in many of the fish exporter nations in Africa. In their case, fish exports generate foreign exchange that they use to meet other socio-political objectives; hardly is it aimed at solving the wider food needs. Therefore, one of the most immediate concerns of international fish trade is its impact on food security in the poor exporter nations.

Redundancy quantification in the safety assessment of existing concrete beam-and-slab bridges

In current practice the strength evaluation of a bridge system is typically based on firstly using elastic analysis to determine the distribution of load effects in the elements and then checking the ultimate section capacity of those elements. Ductility of the components in most bridge structures permits local yield and subsequent redistribution of the applied loads from the most heavily loaded elements. As a result a bridge can continue to carry additional loading even after one member has yielded, which has conventionally been adopted as the "failure criterion" in bridge strength evaluation. This means that a bridge with inherent redundancy has additional reserves of strength such that the failure of one element does not result in the failure of the complete system. For these bridges warning signs will show up and measures can be undertaken before the ultimate collapse is happening. This paper proposes a rational methodology for calculating the ultimate system strength and including in bridge evaluation the warning level due to redundancy. © 2004 Taylor & Francis Group, London.

Statistical analysis of sequence features of introns with positive transcriptional regulation in yeast genes

A great deal of experimental studies have shown that many introns of eukaryotic genes function as regulators of transcription. However, comprehensive studies of this problem have not yet been conducted. After checking the transcription frequencies of some Saccharomyces cerevisiae (yeast), genes and their introns, a remarkable phenomenon was discovered that generally the introns of the genes with higher transcription frequencies are longer, and the introns of the genes with lower transcription frequencies are shorter. This suggests that the longer introns of genes with higher transcription frequencies may contain some characteristic sequence structures, which could enhance the transcription of genes. Therefore, two sets of introns of yeast genes were chosen for further study. The transcription frequencies of the first set of genes are higher (>30), and those of the second set of genes are lower (less than or equal to10). Some oligonucleotides are detected by statistically comparative analyses of the occurrence frequencies of oligonucleotides (mainly tetranucleotides and pentanucleotides), whose occurrence frequencies in the first set of introns; are significantly higher than those in the second set of introns, and are also significantly higher than those in the exons flanking the introns of the first set. Some of these extracted oligonucleotides are the same as the regulatory elements of transcription revealed by experimental analyses. Besides, the distributions of these extracted oligonucleotides in the two sets of introns and the exons show that the sequence structures of the first set of introns are favorable for transcription of genes.

Methods of monitoring of metro lining in Prague

There are several reasons for monitoring of underground structures and they have already been discussed many times, e.g. from the view of ageing or state after accidental event like flooding of Prague metro in 2002. Monitoring of Prague metro is realized in the framework of international research project sponsored by ESF-S3T. The monitoring methods used in Prague are either classical one or new or developing one. The reason for different monitoring methods is the different precision of each method and also for cross-checking between them and their evaluation. Namely we use convergence, tiltmetres, crackmetres, geophysical methods, laser scanning, computer vision and finally installation of MEMS monitoring devices. In the paper more details of each method and obtained results will be presented. The monitoring methods are complemented by wireless data collection and transfer for real-time monitoring. © 2012 Taylor & Francis Group.

Effect of Anode Floating Voltage and its Applications in Characterizing Silicon Drift Detectors

Anode floating voltage is predicted and investigated for silicon drift detectors (SDDs) with an active area of 5 mm(2) fabricated by a double-side parallel technology. It is demonstrated that the anode floating voltage increases with the increasing inner ring voltage, and is almost unchanged with the external ring voltage. The anode floating voltage will not be affected by the back electrode biased voltage until it reaches the full-depleted voltage (-50 V) of the SDD. Theoretical analysis and experimental results show that the anode floating voltage is equal to the sum of the inner ring voltage and the built-in potential between the p(+) inner ring and the n(+) anode. A fast checking method before detector encapsulation is proposed by employing the anode floating voltage along with checking the leakage current, potential distribution and drift properties.

Noiseless method for checking the Peres separability criterion by local operations and classical communication

We present a method for checking the Peres separability criterion in an arbitrary bipartite quantum state rho(AB) within local operations and classical communication scenario. The method does not require noise operation which is needed in making the partial transposition map physically implementable. The main task for the two observers, Alice and Bob, is to measure some specific functions of the partial transposed matrix. With these functions, they can determine the eigenvalues of rho(T)(AB)(B), among which the minimum serves as an entanglement witness.

Research of Face Detection System Applied for Detecting Faces with Complex Background and Illumination

An effective face detection system used for detecting multi pose frontal face in gray images is presented. Image preprocessing approaches are applied to reduce the influence of the complex illumination. Eye-analog pairing and improved multiple related template matching are used to glancing and accurate face detecting, respectively. To shorten the time cost of detecting process, we employ prejudge rules in checking candidate image segments before template matching. Test by our own face database with complicated illumination and background, the system has high calculation speed and illumination independency, and obtains good experimental results.

Typability and Type Checking in the Second-Order Λ-Calculus Are Equivalent and Undecidable (Preliminary Draft)

We consider the problems of typability[1] and type checking[2] in the Girard/Reynolds second-order polymorphic typed λ-calculus, for which we use the short name "System F" and which we use in the "Curry style" where types are assigned to pure λ -terms. These problems have been considered and proven to be decidable or undecidable for various restrictions and extensions of System F and other related systems, and lower-bound complexity results for System F have been achieved, but they have remained "embarrassing open problems"[3] for System F itself. We first prove that type checking in System F is undecidable by a reduction from semi-unification. We then prove typability in System F is undecidable by a reduction from type checking. Since the reverse reduction is already known, this implies the two problems are equivalent. The second reduction uses a novel method of constructing λ-terms such that in all type derivations, specific bound variables must always be assigned a specific type. Using this technique, we can require that specific subterms must be typable using a specific, fixed type assignment in order for the entire term to be typable at all. Any desired type assignment may be simulated. We develop this method, which we call "constants for free", for both the λK and λI calculi.

The Undecidability of Mitchell's Subtyping Relationship

Mitchell defined and axiomatized a subtyping relationship (also known as containment, coercibility, or subsumption) over the types of System F (with "→" and "∀"). This subtyping relationship is quite simple and does not involve bounded quantification. Tiuryn and Urzyczyn quite recently proved this subtyping relationship to be undecidable. This paper supplies a new undecidability proof for this subtyping relationship. First, a new syntax-directed axiomatization of the subtyping relationship is defined. Then, this axiomatization is used to prove a reduction from the undecidable problem of semi-unification to subtyping. The undecidability of subtyping implies the undecidability of type checking for System F extended with Mitchell's subtyping, also known as "F plus eta".

View Registration Using Interesting Segments of Planar Trajectories

We introduce a method for recovering the spatial and temporal alignment between two or more views of objects moving over a ground plane. Existing approaches either assume that the streams are globally synchronized, so that only solving the spatial alignment is needed, or that the temporal misalignment is small enough so that exhaustive search can be performed. In contrast, our approach can recover both the spatial and temporal alignment. We compute for each trajectory a number of interesting segments, and we use their description to form putative matches between trajectories. Each pair of corresponding interesting segments induces a temporal alignment, and defines an interval of common support across two views of an object that is used to recover the spatial alignment. Interesting segments and their descriptors are defined using algebraic projective invariants measured along the trajectories. Similarity between interesting segments is computed taking into account the statistics of such invariants. Candidate alignment parameters are verified checking the consistency, in terms of the symmetric transfer error, of all the putative pairs of corresponding interesting segments. Experiments are conducted with two different sets of data, one with two views of an outdoor scene featuring moving people and cars, and one with four views of a laboratory sequence featuring moving radio-controlled cars.

Safe Compositional Specification of Networking Systems: A Compositional Analysis Approach

We present a type inference algorithm, in the style of compositional analysis, for the language TRAFFIC—a specification language for flow composition applications proposed in [2]—and prove that this algorithm is correct: the typings it infers are principal typings, and the typings agree with syntax-directed type checking on closed flow specifications. This algorithm is capable of verifying partial flow specifications, which is a significant improvement over syntax-directed type checking algorithm presented in [3]. We also show that this algorithm runs efficiently, i.e., in low-degree polynomial time.

Depression and 'crises of meaninglessness' in the political-economic theology of the money-God

The thesis starts with a historical analysis of the development of depression as a concept. Through this inquiry, the controversies behind the apparent consensus about depression’s etiology and treatment are illuminated, suggesting that the understanding of the climbing rates of depression in contemporary Western civilization is still up for grabs. That’s what the thesis sets out to investigate. In order to accomplish this aim, the study builds upon the classical accounts of Georg Simmel, Émile Durkheim and the more contemporary ideas of Dany-Robert Dufour, in dialogue with an array of supplementary theoretical sources. Navigating through this ‘sea’ of extraordinary and different theories, a new avenue of reflections arises, contributing for the sophistication of the questions made about the phenomenon of depression’s rates. The fundamental argument emerging from this theoretical undertaking is that ‘crises of meaninglessness’ that pervade the collective body of Western contemporary societies have, as one of its consequences, the expansion of depression rates. Meaninglessness in contemporary times is the primary object of investigation of the thesis. The concept, in the context of this study, is not understood as merely an effect of the historical decline of shared social norms due to processes of individualization. Rather, it is claimed, it originates from and is reinforced by the ‘political-economic theology of neo-liberalism’ which becomes virtually generalized in the West, erecting money as a God. The study concludes that by undermining culturally established values, ideals, institutions and principles that may block the dissemination of commodities this new transcendence has been challenging the task of signifying life, potentializing – among other subjective difficulties – the diffusion of depression.

Ergodicity and stability of generalised Markov branching processes with resurrection

This paper concentrates on investigating ergodicity and stability for generalised Markov branching processes with resurrection. Easy checking criteria including several clear-cut corollaries are established for ordinary and strong ergodicity of such processes. The equilibrium distribution is given in an elegant closed form for the ergodic case. The probabilistic interpretation of the results is clear and thus explained.