標題: Titlebook: Mathematics of Program Construction; 6th International Co Eerke A. Boiten,Bernhard M?ller Conference proceedings 2002 Springer-Verlag Berli [打印本頁] 作者: Autopsy 時間: 2025-3-21 17:04
書目名稱Mathematics of Program Construction影響因子(影響力)
書目名稱Mathematics of Program Construction影響因子(影響力)學科排名
書目名稱Mathematics of Program Construction網(wǎng)絡公開度
書目名稱Mathematics of Program Construction網(wǎng)絡公開度學科排名
書目名稱Mathematics of Program Construction被引頻次
書目名稱Mathematics of Program Construction被引頻次學科排名
書目名稱Mathematics of Program Construction年度引用
書目名稱Mathematics of Program Construction年度引用學科排名
書目名稱Mathematics of Program Construction讀者反饋
書目名稱Mathematics of Program Construction讀者反饋學科排名
作者: Militia 時間: 2025-3-21 23:03 作者: bacteria 時間: 2025-3-22 01:36
Dexter Kozenonal degrees of freedom that do not exist in conventional waveguide designs. The use of microstructure air holes around the fiber core have enabled new capabilities that have and will have an impact on many fields, from metrology to medicine. Microstructure or holey fibers and photonic crystal fiber作者: 不法行為 時間: 2025-3-22 05:48 作者: 名義上 時間: 2025-3-22 09:44
Kevin Backhouse,Roland Backhousey is commonly employed to achieve phase-matching of frequency conversion process, by means of so called quasi-phase-matching (QPM) techniques [4,5], recently extended in planar (2D) geometry [6,7]. On the other hand also periodic variations of linear properties over submicron scale has been introduc作者: –scent 時間: 2025-3-22 14:43 作者: Cholagogue 時間: 2025-3-22 17:03 作者: 抵消 時間: 2025-3-23 00:51 作者: 使服水土 時間: 2025-3-23 04:19
Wim H. Hesselinknes for band-gap engineering and light manipulation. Moreover, a host of nonlinear discrete localized states mediated by such hybrid nonlinearity are uncovered, including elliptical discrete solitons and “saddle” solitons. The novel concept of hybrid nonlinearity opens a door for exploring spatial b作者: DOLT 時間: 2025-3-23 09:37
Ralf Hinze is stable and single-mode again. These regimes are similar to those observed in laser diodes, but they appear at much higher feedback ratios, and the fourth unstable regime is narrower, the QCLs are therefore much more resistant to optical feedback.作者: 英寸 時間: 2025-3-23 09:44
Ralf Hinze,Johan Jeuring,Andres L?hent estimates of transport quantities. Both thechapters 2 and 3 have only slightly changed; in chapter 3, the text on homoclinic orbits has been extended as these type of phenomena have now clearly been found in the wind-driven double-gyre ocean circulation (as presented in chapter 5). In chapter 4,作者: 大看臺 時間: 2025-3-23 15:48
Marieke Huismanent estimates of transport quantities. Both thechapters 2 and 3 have only slightly changed; in chapter 3, the text on homoclinic orbits has been extended as these type of phenomena have now clearly been found in the wind-driven double-gyre ocean circulation (as presented in chapter 5). In chapter 4,作者: abduction 時間: 2025-3-23 19:17
Yanhong A. Liu,Fuxiang Yuent estimates of transport quantities. Both thechapters 2 and 3 have only slightly changed; in chapter 3, the text on homoclinic orbits has been extended as these type of phenomena have now clearly been found in the wind-driven double-gyre ocean circulation (as presented in chapter 5). In chapter 4,作者: 辮子帶來幫助 時間: 2025-3-24 00:05
ent estimates of transport quantities. Both thechapters 2 and 3 have only slightly changed; in chapter 3, the text on homoclinic orbits has been extended as these type of phenomena have now clearly been found in the wind-driven double-gyre ocean circulation (as presented in chapter 5). In chapter 4,作者: 值得贊賞 時間: 2025-3-24 02:52
Shin-Cheng Mu,Richard Bird; in chapter 3, the text on homoclinic orbits has been extended as these type of phenomena have now clearly been found in the wind-driven double-gyre ocean circulation (as presented in chapter 5). In chapter 4,978-1-4020-2263-0Series ISSN 1383-8601 Series E-ISSN 2215-162X 作者: jaundiced 時間: 2025-3-24 10:33 作者: GRATE 時間: 2025-3-24 14:05 作者: Aromatic 時間: 2025-3-24 18:10 作者: 忙碌 時間: 2025-3-24 19:31 作者: G-spot 時間: 2025-3-25 03:12
Inverting Functions as Folds relational hylomorphism. The theorem is a generalisation of a previous result, due to Bird and de Moor, that gave conditions under which a total function can be expressed a relational fold. The theorem is illustrated with three problems, all dealing with constructing trees with various properties.作者: Perennial長期的 時間: 2025-3-25 04:02 作者: prick-test 時間: 2025-3-25 11:16
Mathematics of Program Construction978-3-540-45442-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: AVERT 時間: 2025-3-25 14:14 作者: neurologist 時間: 2025-3-25 19:24
From Kleene Algebra to Refinement AlgebraKleene Algebra with Tests (KAT) has proved to be useful for reasoning about programs in a partial correctness framework. We describe Demonic Refinement Algebra (DRA), a variation of KAT for total correctness and illustrate its modeling and reasoning power with a number of applications and examples.作者: Medley 時間: 2025-3-25 23:13
Eerke A. Boiten,Bernhard M?llerIncludes supplementary material: 作者: 散開 時間: 2025-3-26 02:47
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/626962.jpg作者: CRUMB 時間: 2025-3-26 04:38
https://doi.org/10.1007/3-540-45442-XD programming language; Haskell; Variable; algorithms; computer science; language; program transformation; 作者: conception 時間: 2025-3-26 09:24 作者: adjacent 時間: 2025-3-26 15:11
Type-Indexed Data Typestype by induction on the structure of the type of search keys. This paper shows how to define type-indexed data types, discusses several examples of type-indexed data types, and shows how to specialize type-indexed data types. The approach has been implemented in ., a generic programming extension of the functional language Haskell.作者: 打擊 時間: 2025-3-26 20:07 作者: IVORY 時間: 2025-3-26 22:37
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigmnalysis required for the latter translation also gives rise to source-to-source transformations that improve the asymptotic efficiency of the functional implementation. The multi-paradigm system resulting from this approach provides increased programming productivity and effective validation.作者: BRIEF 時間: 2025-3-27 01:40 作者: INCH 時間: 2025-3-27 07:58
Mathematics in Computer Science Curriculaected the role of mathematics in undergraduate and graduate computer science curricula, and on the implications these changes have had on our faculty and students. My views will be based on my experience with the academic programs offered by Carnegie Mellon’s School of Computer Science.作者: 特征 時間: 2025-3-27 12:46
Fine Control of Demand in Haskellrwise lazy language. But just how does Haskell differ from the lazy λ-calculus? We answer this question by introducing a calculational semantics for Haskell that exposes the interaction of its strict features with its default laziness.作者: 毛細血管 時間: 2025-3-27 17:36 作者: 內(nèi)閣 時間: 2025-3-27 20:14
Constructing Tournament Representations: An Exercise in Pointwise Relational Programmingnguage for specifying and deriving nondeterministic programs in a pointwise manner. We illustrate the style of reasoning by re-solving the well-known problem of constructing .: Given a sequence . of integers, construct a heap whose inorder traversal is . itself.作者: JECT 時間: 2025-3-27 23:42
ign of an optical fiber consists of silica cladding that surrounds a silica core doped with germanium (GeO.), which increases the index of refraction by up to 2% above that of pure silica, allowing light to be guided by total internal reflection at the core-cladding interface. Over the years, howeve作者: Frequency-Range 時間: 2025-3-28 04:33
Robert Giegerich,Peter Steffenign of an optical fiber consists of silica cladding that surrounds a silica core doped with germanium (GeO.), which increases the index of refraction by up to 2% above that of pure silica, allowing light to be guided by total internal reflection at the core-cladding interface. Over the years, howeve作者: Vasodilation 時間: 2025-3-28 07:07
Dexter Kozenign of an optical fiber consists of silica cladding that surrounds a silica core doped with germanium (GeO.), which increases the index of refraction by up to 2% above that of pure silica, allowing light to be guided by total internal reflection at the core-cladding interface. Over the years, howeve作者: Calculus 時間: 2025-3-28 13:18 作者: Flinch 時間: 2025-3-28 14:48 作者: evaculate 時間: 2025-3-28 18:55
Juan Eduardo Duráning applications. It was recognized early on that the photoinduced index change in electro-optic crystals (the photorefractive effect) provides an opportunity for implementing highly nonlinear functions by means of low-power cw lasers. A wide variety of operations have already been performed, includ作者: 刺穿 時間: 2025-3-29 02:45
William Harrison,Tim Sheard,James Hooking applications. It was recognized early on that the photoinduced index change in electro-optic crystals (the photorefractive effect) provides an opportunity for implementing highly nonlinear functions by means of low-power cw lasers. A wide variety of operations have already been performed, includ作者: Indicative 時間: 2025-3-29 04:11 作者: 起來了 時間: 2025-3-29 09:45
Wim H. Hesselinkng and self-defocusing nonlinearities in the same material under identical conditions. Such hybrid nonlinearity is established in a nonconventionally biased photorefractive crystal, which offers enhanced anisotropy and nonlocality, leading to a variety of unusual nonlinear beam dynamics in both cont作者: 空氣 時間: 2025-3-29 12:08
Ralf Hinzepending on the external cavity length and the feedback ratio, the output power of both Fabry-Perot and DFB QCLs emitting around 5.6?.m can be increased and the threshold current significantly reduced. Furthermore, when increasing the feedback ratio at fixed external cavity length, the QCL undergoes 作者: ZEST 時間: 2025-3-29 17:37 作者: Assault 時間: 2025-3-29 23:25
Marieke Huisman? cations of this theory to the large-scale ocean circulation and El Nino were p- vided. Surprisedby the favorable reactions, I decided to make a second edition of the book which could be more easily used as a textbook for a graduate (700-level) course. The ?rst edition has undergone a substantial r作者: legislate 時間: 2025-3-30 00:37 作者: GULF 時間: 2025-3-30 07:41
Shin-Cheng Mu,Richard Birdical and theoretical) of the problems in a self-contained waIn the ?rst edition of this book (publishedby Kluwer Academic in November 2000) the methodology of dynamical systems theory was introduced and appli- ? cations of this theory to the large-scale ocean circulation and El Nino were p- vided. S作者: AGOG 時間: 2025-3-30 09:18
Joakim von Wrightical and theoretical) of the problems in a self-contained waIn the ?rst edition of this book (publishedby Kluwer Academic in November 2000) the methodology of dynamical systems theory was introduced and appli- ? cations of this theory to the large-scale ocean circulation and El Nino were p- vided. S作者: Kidney-Failure 時間: 2025-3-30 14:40
? cations of this theory to the large-scale ocean circulation and El Nino were p- vided. Surprisedby the favorable reactions, I decided to make a second edition of the book which could be more easily used as a textbook for a graduate (700-level) course. The ?rst edition has undergone a substantial r作者: sterilization 時間: 2025-3-30 16:58
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigmmmars and evaluation algebras constitute abstract specifications of dynamic programming algorithms. We describe how this theory is put to practice by providing a specification language that can both be embedded in a lazy functional language, and translated into an imperative language. Parts of the a作者: 極力證明 時間: 2025-3-30 23:40 作者: 楓樹 時間: 2025-3-31 03:55 作者: 支柱 時間: 2025-3-31 08:42 作者: ELUDE 時間: 2025-3-31 12:53
Transformational Derivation of Greedy Network Algorithms from Descriptive Specificationsra of formal languages. We use a very flexible methodology that contemplates the description of a rather general derivation method, the use of different derivation procedures to support the phases of this method, and the derivation of algorithm schemes based on such procedures. We propose a method t作者: burnish 時間: 2025-3-31 15:53
Fine Control of Demand in Haskellation order. The resulting . evaluation—partly lazy and partly strict—complicates the formal semantics of these languages. The functional language Haskell is such a language, with features such as pattern-matching, case expressions with guards, etc., introducing a modicum of strictness into the othe作者: 過多 時間: 2025-3-31 21:21
