913 resultados para Strong Convexity
Resumo:
In this paper we present an approach to perceptual organization and attention based on Curved Inertia Frames (C.I.F.), a novel definition of "curved axis of inertia'' tolerant to noisy and spurious data. The definition is useful because it can find frames that correspond to large, smooth, convex, symmetric and central parts. It is novel because it is global and can detect curved axes. We discuss briefly the relation to human perception, the recognition of non-rigid objects, shape description, and extensions to finding "features", inside/outside relations, and long- smooth ridges in arbitrary surfaces.
Resumo:
In order to improve the sulfur resistance of noble metal catalysts in the aromatic hydrogenation of diesel fuel, the alloying effect of non-noble metals with Pd was studied. Toluene hydrogenation over Pd and Pd-M bimetallic catalysts (M = Cr, W,La, Mn, Mo, Ag) on a mixed HY-Al2O3 support was investigated in the presence of 3000 ppm sulfur as thiophene in the feedstock. The results showed that the addition of the second metals strongly affected the activity of toluene hydrogenation, which suggests that the sulfur resistibility of Pd-M bimetallic catalysts is much different from single Pd. La, Mn, Mo and Ag decreased the sulfur resistance of the palladium catalysts. For example, the toluene conversion at 553 K was observed to decrease sharply from 39.4 wt.% on Pd to 1.6 wt.% on Pd-Ag, which is by a factor of 25. One of the important findings in this article is that Cr and W increase hydrogenation activity of Pd catalysts. The reactions occurring on these catalysts include hydrogenation, isomerization and hydrocracking, The addition of the second metals has no noticeable effects on the hydrogenation and isomerization selectivity, but it slightly suppresses hydrocracking reactions. The four typical catalysts, Pd-Cr, Pd-W, Pd-Ag and Pd were characterized by infrared (IR) spectroscopy of pyridine and CO. LR spectra of CO revealed the strong interaction between Pd and the second metal as Cr, W and Ag (or their oxide), indicating that the improvement in sulfur resistance originates from electron-deficient Pd with the addition of second metals. (C) 2001 Elsevier Science B.V. All rights reserved.
Resumo:
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.
Resumo:
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
Resumo:
Marggraf Turley, Richard, 'Keats, Cornwall and the 'Scent of Strong-Smelling Phrases,' Romanticism (2006) 12 (2), pp. 102-114 RAE2008
Resumo:
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
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
info:eu-repo/semantics/published
Resumo:
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.
Resumo:
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.