Preparation of monolithic silica column with strong cation-exchange stationary phase for capillary electrochromatography

A monolithic silica based strong cation-exchange stationary phase was successfully prepared for capillary electrochromatography. The monolithic silica matrix from a sol-gel process was chemically modified by treatment with 3-mercaptopropyltrimethoxysilane followed by a chemical oxidation procedure to produce the desired function. The strong cation-exchange stationary phase was characterized by its substantial and stable electroosmotic flow (EOF), and it was observed that the EOF value of the prepared column remained almost unchanged at different buffer pH values and slowly decreased with increasing phosphate concentration in the mobile phase. The monolithic silica column with strong cation-exchange stationary phase has been successfully employed in the electrochromatographic separation of beta-blockers and alkaloids extracted from traditional Chinese medicines (TCMs). The column efficiencies for the tested beta-blockers varied from 210,000 to 340,000 plates/m. A peak compression effect was observed for atenolol with the mobile phase having a low phosphate concentration.

'What Foes more dang'rous than too strong Allies?': Anglo-Welsh relations in eighteenth-century London

Prescott, Sarah, ''What Foes more dang'rous than too strong Allies?': Anglo-Welsh relations in eighteenth-century London', The Huntington Library Quarterly (2006) 69 (4) pp.535-554 RAE2008

Keats, Cornwall and the 'Scent of Strong-Smelling Phrases'

Marggraf Turley, Richard, 'Keats, Cornwall and the 'Scent of Strong-Smelling Phrases,' Romanticism (2006) 12 (2), pp. 102-114 RAE2008

Optimized strong stability preserving IMEX Runge-Kutta methods

Esta es la versión no revisada del artículo: Inmaculada Higueras, Natalie Happenhofer, Othmar Koch, and Friedrich Kupka. 2014. Optimized strong stability preserving IMEX Runge-Kutta methods. J. Comput. Appl. Math. 272 (December 2014), 116-140. Se puede consultar la versión final en https://doi.org/10.1016/j.cam.2014.05.011

Strong High Pressure Systems Influencing the Weather in Poland During the Period 1971-2000

This paper shows preliminary results of research into the occurrence of strong anticyclonic systems that influenced the weather in Poland during the period 1971–2000. The study was based on NCEP/NCAR reanalysis data, including daily values of the 1000 and 500 hPa geopotential heights, maps of mentioned geopotential heights and maps of sea-level field pressure. With the use of these data a number of exceptionally strong high-pressure systems were identified, together with their areas of origin and subsequent development patterns. They were then broken down into five groups with similar dynamics. The numbers of systems in each group were not found to follow any significant change trends in the long term. The greatest differences between groups were identified in terms of their annual occurrence rates and centre pressure values.

New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi

Two new notions of reduction for terms of the λ-calculus are introduced and the question of whether a λ-term is beta-strongly normalizing is reduced to the question of whether a λ-term is merely normalizing under one of the new notions of reduction. This leads to a new way to prove beta-strong normalization for typed λ-calculi. Instead of the usual semantic proof style based on Girard's "candidats de réductibilité'', termination can be proved using a decreasing metric over a well-founded ordering in a style more common in the field of term rewriting. This new proof method is applied to the simply-typed λ-calculus and the system of intersection types.

Addendum to "New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi"

This is an addendum to our technical report BUCS TR-94-014 of December 19, 1994. It clarifies some statements, adds information on some related research, includes a comparison with research be de Groote, and fixes two minor mistakes in a proof.

Basis Token Consistency: A Practical Mechanism for Strong Web Cache Consistency

With web caching and cache-related services like CDNs and edge services playing an increasingly significant role in the modern internet, the problem of the weak consistency and coherence provisions in current web protocols is becoming increasingly significant and drawing the attention of the standards community [LCD01]. Toward this end, we present definitions of consistency and coherence for web-like environments, that is, distributed client-server information systems where the semantics of interactions with resource are more general than the read/write operations found in memory hierarchies and distributed file systems. We then present a brief review of proposed mechanisms which strengthen the consistency of caches in the web, focusing upon their conceptual contributions and their weaknesses in real-world practice. These insights motivate a new mechanism, which we call "Basis Token Consistency" or BTC; when implemented at the server, this mechanism allows any client (independent of the presence and conformity of any intermediaries) to maintain a self-consistent view of the server's state. This is accomplished by annotating responses with additional per-resource application information which allows client caches to recognize the obsolescence of currently cached entities and identify responses from other caches which are already stale in light of what has already been seen. The mechanism requires no deviation from the existing client-server communication model, and does not require servers to maintain any additional per-client state. We discuss how our mechanism could be integrated into a fragment-assembling Content Management System (CMS), and present a simulation-driven performance comparison between the BTC algorithm and the use of the Time-To-Live (TTL) heuristic.

Trade-off between minimum number of wireless sensors and the accuracy of temperature profile in cold rooms: a model-based framework

Evaluation of temperature distribution in cold rooms is an important consideration in the design of food storage solutions. Two common approaches used in both industry and academia to address this question are the deployment of wireless sensors, and modelling with Computational Fluid Dynamics (CFD). However, for a realworld evaluation of temperature distribution in a cold room, both approaches have their limitations. For wireless sensors, it is economically unfeasible to carry out large-scale deployment (to obtain a high resolution of temperature distribution); while with CFD modelling, it is usually not accurate enough to get a reliable result. In this paper, we propose a model-based framework which combines the wireless sensors technique with CFD modelling technique together to achieve a satisfactory trade-off between minimum number of wireless sensors and the accuracy of temperature profile in cold rooms. A case study is presented to demonstrate the usability of the framework.

Model and visualise the relationship between energy consumption and temperature distribution in cold rooms

In the area of food and pharmacy cold storage, temperature distribution is considered as a key factor. Inappropriate distribution of temperature during the cooling process in cold rooms will cause the deterioration of the quality of products and therefore shorten their life-span. In practice, in order to maintain the distribution of temperature at an appropriate level, large amount of electrical energy has to be consumed to cool down the volume of space, based on the reading of a single temperature sensor placed in every cold room. However, it is not clear and visible that what is the change of energy consumption and temperature distribution over time. It lacks of effective tools to visualise such a phenomenon. In this poster, we initially present a solution which combines a visualisation tool with a Computational Fluid Dynamics (CFD) model together to enable users to explore such phenomenon.

Contribution of SO3 to the acid neutralizing capacity of Andosols exposed to strong volcanogenic acid and SO2 deposition

info:eu-repo/semantics/published

Strong ergodicity of monotone transition functions

By revealing close links among strong ergodicity, monotone, and the Feller–Reuter–Riley (FRR) transition functions, we prove that a monotone ergodic transition function is strongly ergodic if and only if it is not FRR. An easy to check criterion for a Feller minimal monotone chain to be strongly ergodic is then obtained. We further prove that a non-minimal ergodic monotone chain is always strongly ergodic. The applications of our results are illustrated using birth-and-death processes and branching processes.

Strong preference for decapod prey by the western rock lobster Panulirus cygnus

Western rock lobsters, Panulirus cygnus are an abundant benthic consumer distributed along the temperate west coast of Australia and constitute the largest single species fishery in Australia. As a dominant consumer, it is important to understand their predator-prey interactions as they can potentially exert strong trophic effects, and may influence ecosystem function as seen in other spiny lobster species. While previous field studies have focused on the diet composition of P. cygnus, this study investigated their preference for various benthic invertebrate prey to better understand the likely predator-prey interactions of P. cygnus. Prey preferences of small sub-legal juvenile lobsters, as well as medium and large legal-sized mature lobsters were investigated using laboratory feeding trials to identify size-associated differences in lobster prey preference. Handling time and diet quality were investigated to estimate energetic cost and gain from consuming different prey which may explain prey choice by lobsters. It was found that large lobsters preferred crabs and mussels while medium and small lobsters preferred crabs over mussels, gastropods, and sea urchins. This suggests that strong predator-prey interactions between P. cygnus and crabs may occur in the wild.