標(biāo)題: Titlebook: IUTAM Symposium on Turbulence in the Atmosphere and Oceans; Proceedings of the I David Dritschel Conference proceedings 2010 Springer Scien [打印本頁] 作者: 法令 時間: 2025-3-21 18:15
書目名稱IUTAM Symposium on Turbulence in the Atmosphere and Oceans影響因子(影響力)
書目名稱IUTAM Symposium on Turbulence in the Atmosphere and Oceans影響因子(影響力)學(xué)科排名
書目名稱IUTAM Symposium on Turbulence in the Atmosphere and Oceans網(wǎng)絡(luò)公開度
書目名稱IUTAM Symposium on Turbulence in the Atmosphere and Oceans網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱IUTAM Symposium on Turbulence in the Atmosphere and Oceans被引頻次
書目名稱IUTAM Symposium on Turbulence in the Atmosphere and Oceans被引頻次學(xué)科排名
書目名稱IUTAM Symposium on Turbulence in the Atmosphere and Oceans年度引用
書目名稱IUTAM Symposium on Turbulence in the Atmosphere and Oceans年度引用學(xué)科排名
書目名稱IUTAM Symposium on Turbulence in the Atmosphere and Oceans讀者反饋
書目名稱IUTAM Symposium on Turbulence in the Atmosphere and Oceans讀者反饋學(xué)科排名
作者: Increment 時間: 2025-3-21 22:19 作者: 沒血色 時間: 2025-3-22 00:47
On spontaneous imbalance and ocean turbulence: generalizations of the Paparella–Young epsilon theorem can now be proved for fairly realistic equations of state that include thermobaric effects, and nonlinearity in both temperature and salinity. The restriction to Boussinesq flow can also be lifted. The increased realism comes at some cost in terms of weakening the constraint on .. The constraint i作者: 洞察力 時間: 2025-3-22 04:35
Deep ocean mixing by near-inertial wavesng in the areas where the Richardson number is less than 1/4 and neglecting the relaxation and turbulent diffusion at the boundaries of the mixed region we find the domain of mixed fluid created by the chosen wave packet. The mixing changes the basic stratification in such a way that in the modified作者: separate 時間: 2025-3-22 09:43 作者: animated 時間: 2025-3-22 12:58 作者: 比喻好 時間: 2025-3-22 20:28
IUTAM Symposium on Turbulence in the Atmosphere and OceansProceedings of the I作者: RAG 時間: 2025-3-22 23:07 作者: musicologist 時間: 2025-3-23 04:37 作者: WAIL 時間: 2025-3-23 08:20 作者: 憤怒歷史 時間: 2025-3-23 13:25
J. M. Aspden,J. Vannestecate transformers as defining sets of morphisms. A precise formulation of this idea shows that it is mathematically natural. We give two constructions: one, ., taking predicate transformers to sets of morphisms; and the other, . taking sets of morphisms to predicate transformers The naturality is sh作者: 針葉類的樹 時間: 2025-3-23 14:34 作者: Conspiracy 時間: 2025-3-23 18:01
M.-P. Lelong,E. Kunzerty I are necessary for preserving the ω-algebraicity of the functional space. The remaining "1/3" of property I is also necessary under rather mild hypothesis. As a fall out we show that a stable, countably based, version of L-domains, introduced by Coquand, is contained in . and that such L-domain作者: 漫不經(jīng)心 時間: 2025-3-23 23:31 作者: violate 時間: 2025-3-24 05:47 作者: 星星 時間: 2025-3-24 08:18
tegory of (well-formed) terms. This embedding is exploited to show that rewriting (in the sense of term rewriting systems) over this algebra models faithfully the direct derivations of graphs, described by a double pushout construction along the guidelines of [Eh79]. In particular, we show that also作者: locus-ceruleus 時間: 2025-3-24 11:52
Peter B. Rhinesrty I are necessary for preserving the ω-algebraicity of the functional space. The remaining "1/3" of property I is also necessary under rather mild hypothesis. As a fall out we show that a stable, countably based, version of L-domains, introduced by Coquand, is contained in . and that such L-domain作者: 松果 時間: 2025-3-24 18:08 作者: 北極熊 時間: 2025-3-24 22:49
Daan D. J. A. van Sommeren,George F. Carnevale,Rudolf C. Kloosterziel,Paolo Orlandior else there is a continuum of such congruences. There are several necessary and sufficient conditions which separate these two cases. We introduce the notion of the Turing degree of a minimal algebra. Using the results above prove that there is a fixed one-sorted signature such that for every r.e.作者: pulmonary-edema 時間: 2025-3-25 03:15
Peter Bartelloor else there is a continuum of such congruences. There are several necessary and sufficient conditions which separate these two cases. We introduce the notion of the Turing degree of a minimal algebra. Using the results above prove that there is a fixed one-sorted signature such that for every r.e.作者: dialect 時間: 2025-3-25 03:50 作者: Emmenagogue 時間: 2025-3-25 09:01
Jackson R. Herring,Yoshifumi Kimuraor else there is a continuum of such congruences. There are several necessary and sufficient conditions which separate these two cases. We introduce the notion of the Turing degree of a minimal algebra. Using the results above prove that there is a fixed one-sorted signature such that for every r.e.作者: 合并 時間: 2025-3-25 12:43
Antoine Venaille,Joel Sommeriaor else there is a continuum of such congruences. There are several necessary and sufficient conditions which separate these two cases. We introduce the notion of the Turing degree of a minimal algebra. Using the results above prove that there is a fixed one-sorted signature such that for every r.e.作者: MOAN 時間: 2025-3-25 17:46
Steven Tobiasor else there is a continuum of such congruences. There are several necessary and sufficient conditions which separate these two cases. We introduce the notion of the Turing degree of a minimal algebra. Using the results above prove that there is a fixed one-sorted signature such that for every r.e.作者: deriver 時間: 2025-3-25 23:09
F. H. Busse,R. D. Simitev and . ? ? that of .-structured ?-labeled spaces. Finally we establish the continuity of these operators..We define the kind language KL whose terms are formed via the operators ! and ? from constants for the basic kinds. A KL kind is the denotation of a KL term, by induction on which we obtain that作者: 無能力 時間: 2025-3-26 02:53
en define a category EvDom of “event domains,” a (non-full) subcategory of the category of Scott domains and continuous maps, and we obtain a coreflection between Auto and EvDom. It follows, by the limit-preserving properties of coreflectors, that the denotational semantics in which dataflow network作者: 脆弱帶來 時間: 2025-3-26 04:52 作者: VERT 時間: 2025-3-26 12:31
978-94-007-3459-3Springer Science+Business Media B.V. 2010作者: 健壯 時間: 2025-3-26 15:17
IUTAM Symposium on Turbulence in the Atmosphere and Oceans978-94-007-0360-5Series ISSN 1875-3507 Series E-ISSN 1875-3493 作者: Osteons 時間: 2025-3-26 18:59 作者: 創(chuàng)造性 時間: 2025-3-26 23:25 作者: Innovative 時間: 2025-3-27 02:48 作者: Mercurial 時間: 2025-3-27 08:29
IUTAM Bookserieshttp://image.papertrans.cn/i/image/460647.jpg作者: 生命 時間: 2025-3-27 11:28
Modeling mixing in two-dimensional turbulence and stratified fluidsA phenomenological model for turbulent mixing in a stratified fluid is presented. This model describes the evolution of the local probability distribution for the fluid density. It is based on an analogy between the mixing of vorticity in 2D turbulent flows and the mixing of density in (3D) turbulent flows.作者: zonules 時間: 2025-3-27 17:23
1875-3507 plementary material: The text of the Persian poet Rum ˉ ˉ ?, written some eight centuries ago, and reproduced at the beginning of this book is still relevant to many of our pursuits of knowledge, not least of turbulence. The text illustrates the inability people have in seeing the whole thing, the ‘作者: Density 時間: 2025-3-27 18:19
The solar tachocline: a study in stably stratified MHD turbulencerotating turbulence in the presence of a magnetic field. I shall discuss how the presence of even a weak large-scale magnetic field may lead to suppression of the turbulent correlations that drive zonal flows in neutral fluids.作者: 束以馬具 時間: 2025-3-27 22:31 作者: 寒冷 時間: 2025-3-28 02:08 作者: Amenable 時間: 2025-3-28 09:43 作者: Introduction 時間: 2025-3-28 10:42 作者: jabber 時間: 2025-3-28 18:02
Generation of an internal tide by surface tide/eddy resonant interactionstides vary over much larger scales than the eddies, but it may provide an additional wave source at low latitudes and in coastal regions where tidal horizontal modulation by topography can be significant.作者: Gerontology 時間: 2025-3-28 20:02 作者: FEMUR 時間: 2025-3-29 02:59 作者: 流動性 時間: 2025-3-29 05:39 作者: Cholecystokinin 時間: 2025-3-29 07:53
Spectra and Distribution Functions of Stably Stratified Turbulencerange at smaller scales. The DNS decay rate of freely decaying strongly stratified turbulence is consistent with ... For stratified flow, our simulations are consistent with a near equilibration between waves and vortical eddies.作者: LUDE 時間: 2025-3-29 13:30
Some Unusual Properties of Turbulent Convection and Dynamos in Rotating Spherical Shellsrent dynamo states. Bistability of turbulent dynamos exists for magnetic Prandtl numbers of the order unity. While the ratios between mean magnetic and kinetic energies differ by a factor of 5 or more for the two dynamo states, the mean convective heat transports are nearly the same. They are much larger than in the absence of a magnetic field.作者: giggle 時間: 2025-3-29 18:18 作者: 禁止,切斷 時間: 2025-3-29 23:47
employ this setting to re-examine weakest liberal precondition semantics, and provide a new interpretation which is sounder mathematically and, we claim, more in line with what is really needed in program specification..We begin by replacing predicates by equalizers. Weakest liberal preconditions ar作者: 領(lǐng)巾 時間: 2025-3-30 00:22 作者: anaerobic 時間: 2025-3-30 06:10
J. M. Aspden,J. Vannesteemploy this setting to re-examine weakest liberal precondition semantics, and provide a new interpretation which is sounder mathematically and, we claim, more in line with what is really needed in program specification..We begin by replacing predicates by equalizers. Weakest liberal preconditions ar作者: Femish 時間: 2025-3-30 09:08
S. Medvedev,V. Zeitlinnites (or equivalently sfp) over .. Its objects are characterized as ω-algebraic Cpos∧ satisfying a "combination" of property M, as in Smyth theorem, and property ., as introduced by Berry, that we call property (MI)*..We "test" the category . via a series of classical constructions in domain theory作者: 母豬 時間: 2025-3-30 14:05
M.-P. Lelong,E. Kunzenites (or equivalently sfp) over .. Its objects are characterized as ω-algebraic Cpos∧ satisfying a "combination" of property M, as in Smyth theorem, and property ., as introduced by Berry, that we call property (MI)*..We "test" the category . via a series of classical constructions in domain theory作者: A簡潔的 時間: 2025-3-30 18:48
Ivane Pairaud,Chantal Staquet,Jo?l Sommeria,Mahdi M. Mahdizadehay be interpreted as graphs having both a concrete part and an abstract part (defined up to isomorphism). Morphisms between pa-graphs are pushout squares. We show that the basic notions of the algebraic theory of graph grammars [Eh79] (instantiated to a suitable category of graphs) can be rephrased 作者: 刺耳 時間: 2025-3-30 21:01 作者: GENUS 時間: 2025-3-31 01:43 作者: 敵意 時間: 2025-3-31 05:55 作者: thrombosis 時間: 2025-3-31 12:05
P. A. Davidson,P. J. Staplehurst,S. B. Dalzielof finality to model minimal-state realizations of abstract (software) machines. Given a finite many-sorted signature Σ and a set . of visible sorts, for every Σ-algebra . with co-r.e. behavior and nontrivial, computable .-behavior, there is a finite signature extension Σ′ of Σ (without new sorts) a作者: 柔軟 時間: 2025-3-31 16:09
