On Measuring Non-Recursive Trade-Offs

We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their growth rate, and show how to deduce such bounds in general. We also identify criteria which, in the spirit of abstract language theory, allow us to deduce non-recursive tradeoffs from effective closure properties of language families on the one hand, and differences in the decidability status of basic decision problems on the other. We develop a qualitative classification of non-recursive trade-offs in order to obtain a better understanding of this very fundamental behaviour of descriptional systems

Locally finite groups containing a 2 -element with Chernikov centralizer

Suppose that a locally finite group G has a 2-element g with Chernikov centralizer. It is proved that if the involution in ⟨g⟩ has nilpotent centralizer, then G has a soluble subgroup of finite index

A Census Of Highly Symmetric Combinatorial Designs

As a consequence of the classification of the finite simple groups, it has been possible in recent years to characterize Steiner t-designs, that is t-(v,k,1) designs, mainly for t = 2, admitting groups of automorphisms with sufficiently strong symmetry properties. However, despite the finite simple group classification, for Steiner t-designs with t > 2 most of these characterizations have remained longstanding challenging problems. Especially, the determination of all flag-transitive Steiner t-designs with 2 < t < 7 is of particular interest and has been open for about 40 years (cf. [11, p. 147] and [12, p. 273], but presumably dating back to 1965). The present paper continues the author's work [20, 21, 22] of classifying all flag-transitive Steiner 3-designs and 4-designs. We give a complete classification of all flag-transitive Steiner 5-designs and prove furthermore that there are no non-trivial flag-transitive Steiner 6-designs. Both results rely on the classification of the finite 3-homogeneous permutation groups. Moreover, we survey some of the most general results on highly symmetric Steiner t-designs.Comment: 26 pages; to appear in: "Journal of Algebraic Combinatorics

Homeomorphic Embedding for Online Termination of Symbolic Methods

Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of techniques for program analysis, specialisation, transformation, and verification. In this paper we survey and discuss this use of homeomorphic embedding and clarify the advantages of such an approach over one using well-founded orders. We also discuss various extensions of the homeomorphic embedding relation. We conclude with a study of homeomorphic embedding in the context of metaprogramming, presenting some new (positive and negative) results and open problems

"The Great Event of the Fortnight”: Steamship Rhythms and Colonial Communication

This paper engages with Tim Cresswell’s ‘contellations of mobility’ in order to contribute some understanding of historical maritime rhythms. The empirical focus is upon a steamship mail service in the post-emancipation Caribbean. In examining this communications network, it is stressed that while those managing the network valorised predictable efficiency, ‘friction’ was prized by mercantile groups at the steamers’ ports of call. Thus, the different aspects of mobility signified differently across the network, and this historical case study reinforces the resonance of slowness and stoppage time. The synchronisation of steamship arrivals with sociocultural norms in the Caribbean colonies also necessitated the adaptation of mail service rhythms. Through a focus on shipping operations, this paper proposes to temper our understanding of the role of steamship technology in empire. The influence of colonies on the metropole encompassed an alteration of the rhythms of imperial circulation, and it is within the maritime arena that these realities came into sharp focus

TapA acts as specific chaperone in TasA filament formation by strand complementation

Studying mechanisms of bacterial biofilm generation is of vital importance to understanding bacterial cell-cell communication, multicellular cohabitation principles, and the higher resilience of microorganisms in a biofilm against antibiotics. Biofilms of the nonpathogenic, gram-positive soil bacterium Bacillus subtilis serve as a model system with biotechnological potential toward plant protection. Its major extracellular matrix protein components are TasA and TapA. The nature of TasA filaments has been of debate, and several forms, amyloidic and non-Thioflavin T-stainable have been observed. Here, we present the three-dimensional structure of TapA and uncover the mechanism of TapA-supported growth of nonamyloidic TasA filaments. By analytical ultracentrifugation and NMR, we demonstrate TapA-dependent acceleration of filament formation from solutions of folded TasA. Solid-state NMR revealed intercalation of the N-terminal TasA peptide segment into subsequent protomers to form a filament composed of β-sandwich subunits. The secondary structure around the intercalated N-terminal strand β0 is conserved between filamentous TasA and the Fim and Pap proteins, which form bacterial type I pili, demonstrating such construction principles in a gram-positive organism. Analogous to the chaperones of the chaperone-usher pathway, the role of TapA is in donating its N terminus to serve for TasA folding into an Ig domain-similar filament structure by donor-strand complementation. According to NMR and since the V-set Ig fold of TapA is already complete, its participation within a filament beyond initiation is unlikely. Intriguingly, the most conserved residues in TasA-like proteins (camelysines) of Bacillaceae are located within the protomer interface

Reproducibility of exhaled nitric oxide in smokers and non-smokers: relevance for longitudinal studies

<p>Abstract</p> <p>Background</p> <p>Currently, there is much interest in measuring fractional exhaled nitric oxide (<b>FE_NO</b>) in populations. We evaluated the reproducibility of <b>FE_NO</b>in healthy subjects and determined the number of subjects necessary to carry out a longitudinal survey of <b>FE_NO</b>in a population containing smokers and non-smokers, based on the assessed reproducibility.</p> <p>Methods</p> <p>The reproducibility of <b>FE_NO</b>was examined in 18 healthy smokers and 21 non-smokers. <b>FE_NO</b>was assessed once at 9 AM on five consecutive days; in the last day this measurement was repeated at 2 PM. Respiratory symptoms and medical history were assessed by questionnaire. The within- and between-session repeatability of <b>FE_NO</b>and log-transformed <b>FE_NO</b>was described. The power of a longitudinal study based on a relative increase in <b>FE_NO</b>was estimated using a bilateral t-test of the log-transformed <b>FE_NO</b>using the between-session variance of the assay.</p> <p>Results</p> <p><b>FE_NO</b>measurements were highly reproducible throughout the study. <b>FE_NO</b>was significantly higher in males than females regardless of smoking status. <b>FE_NO</b>was positively associated with height (p < 0.001), gender (p < 0.034), smoking (p < 0.0001) and percent FEV₁/FVC (p < 0.001) but not with age (p = 0.987). The between-session standard deviation was roughly constant on the log scale. Assuming the between-session standard deviation is equal to its longitudinal equivalent, either 111 or 29 subjects would be necessary to achieve an 80% power in detecting a 3% or a 10% increase in <b>FE_NO</b>respectively.</p> <p>Conclusion</p> <p>The good reproducibility of <b>FE_NO</b>is not influenced by gender or smoking habits. In a well controlled, longitudinal study it should allow detecting even small increases in <b>FE_NO</b>with a reasonable population size.</p

Effective-Range Expansion of the Neutron-Deuteron Scattering Studied by a Quark-Model Nonlocal Gaussian Potential

The S-wave effective range parameters of the neutron-deuteron (nd) scattering are derived in the Faddeev formalism, using a nonlocal Gaussian potential based on the quark-model baryon-baryon interaction fss2. The spin-doublet low-energy eigenphase shift is sufficiently attractive to reproduce predictions by the AV18 plus Urbana three-nucleon force, yielding the observed value of the doublet scattering length and the correct differential cross sections below the deuteron breakup threshold. This conclusion is consistent with the previous result for the triton binding energy, which is nearly reproduced by fss2 without reinforcing it with the three-nucleon force.Comment: 21 pages, 6 figures and 6 tables, submitted to Prog. Theor. Phy

The 28 November 2020 Landslide, Tsunami, and Outburst Flood – A Hazard Cascade Associated With Rapid Deglaciation at Elliot Creek, British Columbia, Canada

We describe and model the evolution of a recent landslide, tsunami, outburst flood, and sediment plume in the southern Coast Mountains, British Columbia, Canada. On November 28, 2020, about 18 million m3 of rock descended 1,000&nbsp;m from a steep valley wall and traveled across the toe of a glacier before entering a 0.6&nbsp;km2 glacier lake and producing &gt;100-m high run-up. Water overtopped the lake outlet and scoured a 10-km long channel before depositing debris on a 2-km2 fan below the lake outlet. Floodwater, organic debris, and fine sediment entered a fjord where it produced a 60+km long sediment plume and altered turbidity, water temperature, and water chemistry for weeks. The outburst flood destroyed forest and salmon spawning habitat. Physically based models of the landslide, tsunami, and flood provide real-time simulations of the event and can improve understanding of similar hazard cascades and the risk they pose

Aquatic food security:insights into challenges and solutions from an analysis of interactions between fisheries, aquaculture, food safety, human health, fish and human welfare, economy and environment

Fisheries and aquaculture production, imports, exports and equitability of distribution determine the supply of aquatic food to people. Aquatic food security is achieved when a food supply is sufficient, safe, sustainable, shockproof and sound: sufficient, to meet needs and preferences of people; safe, to provide nutritional benefit while posing minimal health risks; sustainable, to provide food now and for future generations; shock-proof, to provide resilience to shocks in production systems and supply chains; and sound, to meet legal and ethical standards for welfare of animals, people and environment. Here, we present an integrated assessment of these elements of the aquatic food system in the United Kingdom, a system linked to dynamic global networks of producers, processors and markets. Our assessment addresses sufficiency of supply from aquaculture, fisheries and trade; safety of supply given biological, chemical and radiation hazards; social, economic and environmental sustainability of production systems and supply chains; system resilience to social, economic and environmental shocks; welfare of fish, people and environment; and the authenticity of food. Conventionally, these aspects of the food system are not assessed collectively, so information supporting our assessment is widely dispersed. Our assessment reveals trade-offs and challenges in the food system that are easily overlooked in sectoral analyses of fisheries, aquaculture, health, medicine, human and fish welfare, safety and environment. We highlight potential benefits of an integrated, systematic and ongoing process to assess security of the aquatic food system and to predict impacts of social, economic and environmental change on food supply and demand