Search results for "Theorem"
showing 10 items of 1250 documents
Air Traffic, Boarding and Scaling Exponents
2014
The air traffic is a very important part of the global transportation network. In distinction from vehicular traffic, the boarding of an airplane is a significant part of the whole transportation process. Here we study an airplane boarding model, introduced in 2012 by Frette and Hemmer, with the aim to determine precisely the asymptotic power–law scaling behavior of the mean boarding time 〈t b 〉 and other related quantities for large number of passengers N. Our analysis is based on an exact enumeration for small system sizes N ≤ 14 and Monte Carlo simulation data for very large system sizes up to \(N = 2^{16} = 65,536\). It shows that the asymptotic power–law scaling 〈t b 〉 ∝ N α holds with…
Suitability of chloroplast LSU rDNA and its diverse group I introns for species recognition and phylogenetic analyses of lichen-forming Trebouxia alg…
2009
To date, species identification of lichen photobionts has been performed principally on the basis of microscopic examinations and molecular data from nuclear-encoded genes. In plants, the chloroplast genome has been more readily exploited than the nuclear genome for systematic investigations. At the present time, very little information is available about the chloroplast genome of lichen-forming algae. For this reason, we have sequenced a portion of the gene encoding for the chloroplast large sub-unit rRNA (LSU rDNA) as a new molecular marker. Sequencing of the chloroplast LSU rDNAs revealed the existence of an unusual diversity of group I introns (a total of 31) within 15 analyzed Trebouxi…
Portable central baffle flume
2022
This paper investigated the hydraulic characteristics of the triangular central baffle (TCB) flume. Laboratory tests were carried out to determine the flume dimensions. The field applicability of the proposed portable device was examined by on-farm installation. According to the laboratory tests, when the contraction ratio, r, was less than 0.39, the flow capacity was not affected by the ratio between the flume’s floor height and the throat width. The laboratory analysis also showed that there was no significant effect of installing an entrance ramp on the stage-discharge relationship for r<0.39, while the entrance ramp increased the discharge capacity for r>0.39. The stage-discharge …
Inductive Power Transfer for 100W battery charging
2013
Today, Inductive Power Transfer (IPT) is widely investigated to provide wireless battery charge. Potential applications range from a few Watts of handheld devices to kWatts of automotive applications. Despite of comfort and safety options, wireless charging features relatively poor power conversion efficiency. In the literature, several solutions are proposed addressing efficiency related issues. In this paper, a 100W wireless charging station for electric bikes which improves the power conversion efficiency is proposed. The magnetic structure design is analyzed thoroughly as well as the proposed power electronics system architectures of both the power transmitter and power receiver. The ef…
Logic, Computing and Biology
2015
Logic and Computing are appropriate formal languages for Biology, and we may well be surprised by the strong analogy between software and DNA, and between hardware and the protein machinery of the cell. This chapter examines to what extent any biological entity can be described by an algorithm and, therefore, whether the Turing machine and the halting problem concepts apply. Last of all, I introduce the concepts of recursion and algorithmic complexity, both from the field of computer science, which can help us understand and conceptualise biological complexity.
Inductive inference of recursive functions: Qualitative theory
2005
This survey contains both old and very recent results in non-quantitative aspects of inductive inference of total recursive functions. The survey is not complete. The paper was written to stress some of the main results in selected directions of research performed at the University of Latvia rather than to exhaust all of the obtained results. We concentrated on the more explored areas such as the inference of indices in non-Goedel computable numberings, the inference of minimal Goedel numbers, and the specifics of inference of minimal indices in Kolmogorov numberings.
On Holditch's theorem and related kinematics
2019
El teorema de Holditch es un resultado clásico sobre áreas de curvas planas generadas por el movimiento de segmentos. Esta construcción está estrechamente relacionada con otros tipos de curvas como, por ejemplo, curvas paralelas, curvas de anchura constante o curvas de bicicletas. Se compilan las propiedades básicas de este tipo de curvas y se da una revisión histórica sobre el teorema de Holditch y teoremas relacionados de cinemática. Primero, la situación plana de Holditch se define rigurosamente y se consideran ciertos problemas como la existencia de dicha construcción o el modo de evitar movimientos retrógrados en el segmento que se va moviendo. En el enunciado del teorema de Holditch a…
Factorization of strongly (p,sigma)-continuous multilinear operators
2013
We introduce the new ideal of strongly-continuous linear operators in order to study the adjoints of the -absolutely continuous linear operators. Starting from this ideal we build a new multi-ideal by using the composition method. We prove the corresponding Pietsch domination theorem and we present a representation of this multi-ideal by a tensor norm. A factorization theorem characterizing the corresponding multi-ideal - which is also new for the linear case - is given. When applied to the case of the Cohen strongly -summing operators, this result gives also a new factorization theorem.
Property (w) for perturbations of polaroid operators
2008
Abstract A bounded linear operator T ∈ L ( X ) acting on a Banach space satisfies property ( w ) , a variant of Weyl’s theorem, if the complement in the approximate point spectrum σ a ( T ) of the Weyl essential approximate-point spectrum σ wa ( T ) is the set of all isolated points of the spectrum which are eigenvalues of finite multiplicity. In this note, we study the stability of property ( w ) for a polaroid operator T acting on a Banach space, under perturbations by finite rank operators, by nilpotent operators and, more generally, by algebraic operators commuting with T.
Operators which have a closed quasi-nilpotent part
2002
We find several conditions for the quasi-nilpotent part of a bounded operator acting on a Banach space to be closed. Most of these conditions are established for semi-Fredholm operators or, more generally, for operators which admit a generalized Kato decomposition. For these operators the property of having a closed quasi-nilpotent part is related to the so-called single valued extension property.