نتایج جستجو برای: calc
تعداد نتایج: 1117 فیلتر نتایج به سال:
Abstract We establish new local regularity results for the harmonic map and Yang–Mills heat flows on Riemannian manifolds of dimension greater than 2 4, respectively, obtaining criteria smooth extensibility these flows. As a corollary, we obtain characterisations singularity formation use this to estimate Hausdorff measure singular sets at first time. Finally, show that blow-ups rapidly forming...
We discuss the recently proposed Hybrid Backprojection/Lower-Value (HBLV) algorithm and its implementation in the NMR projection-reconstruction software PR-CALC. We argue that the HBLV reconstruction is only suitable for spectra that have no negative peaks. However, in such cases HBLV becomes a straight-forward generalization of the Lower-Value reconstruction algorithm and boils down to a simpl...
We devise a new technique to prove lower bounds for the proof size in resolutiontype calculi for quantified Boolean formulas (QBF). The new technique applies to the strong expansion system IR-calc and thereby also to the most studied QBF system Q-Resolution. Our technique exploits a clear semantic paradigm, showing the hardness of a QBF family by demonstrating that (1) the formulas require larg...
BACKGROUND Carotid intima-media thickness (c-IMT), arterial stiffness (AS) and vascular calcification (VC) are now considered important new markers of atherosclerosis and have been associated with increased prevalence of cardiovascular events. An accurate, reproducible and easy detection of these parameters could increase the prognostic value of the traditional cardiovascular risk factors in ma...
Calicheamicin γ1I (1) is an enediyne antitumor compound produced by Micromonospora echinospora spp. calichensis, and its biosynthetic gene cluster has been previously reported. Despite extensive analysis and biochemical study, several genes in the biosynthetic gene cluster of 1 remain functionally unassigned. Using a structural genomics approach and biochemical characterization, two proteins en...
In [10], several constructive description logics were proposed as intuitionistic variants of description logics, in which classical negation was replaced by strong negation as a component to treat negative atomic information. For conceptual representation, not only strong negation but also combining it with classical negation seems to be useful and necessary due to their respective features cor...
A investigação do mecanismo eletródico e das propriedades eletrocatalíticas da reação de desprendimento de cloro, RDCl, foi executada em eletrodos mistos de óxido do tipo rutila e espinélio de composição nominal Ti/[RuO 2 (x)+Co 3 O 4 (1-x)]. Os eletrodos foram preparados por decomposição térmica (T calc. = 470C; t calc. = 1h), com x variando entre 0 e 1 mudado em intervalos de 0,1. O estudo ci...
The Precambrian rocks in western Ethiopia consist of highand low-grade terranes intruded by granitoids with a wide compositional spectrum. The formation ages of these granitoid rocks are, so far, poorly understood. Single-grain zircon Pb/Pb evaporation and conventional U/Pb dating conducted on four granitoids places time constraints on their emplacement and tectonothermal events. Three granitoi...
The Pliocene calc-alkaline volcanic rocks are exposed in two areas in southeast and northwest of Isfahan and consist of andesites and dacites. Based on geochemical data and multi- elements pattern, these rocks are medium to high calc-alkaline suite and they show LILE and LREE enriched normalized multi-element patterns, and negative Nb and Ti. Condrite-normalized REE patterns display a steep dec...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید