標(biāo)題: Titlebook: Mathematics of Program Construction; 14th International C Ekaterina Komendantskaya Conference proceedings 2022 The Editor(s) (if applicable [打印本頁] 作者: Curator 時間: 2025-3-21 19:00
書目名稱Mathematics of Program Construction影響因子(影響力)
書目名稱Mathematics of Program Construction影響因子(影響力)學(xué)科排名
書目名稱Mathematics of Program Construction網(wǎng)絡(luò)公開度
書目名稱Mathematics of Program Construction網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Mathematics of Program Construction被引頻次
書目名稱Mathematics of Program Construction被引頻次學(xué)科排名
書目名稱Mathematics of Program Construction年度引用
書目名稱Mathematics of Program Construction年度引用學(xué)科排名
書目名稱Mathematics of Program Construction讀者反饋
書目名稱Mathematics of Program Construction讀者反饋學(xué)科排名
作者: MOT 時間: 2025-3-21 23:19 作者: 群島 時間: 2025-3-22 02:09
Niccoló Veltri,Niels Voorneveldroduced and an explanation for the usefulness of this concept is sketched. As an indication of the utility of such a negative concept, it is also explained how the author came to be interested in such transforms -certain equations which occur in the study of self-dual Einstein spaces- and the conclu作者: amenity 時間: 2025-3-22 05:43
Zhixuan Yang,Nicolas Wuroduced and an explanation for the usefulness of this concept is sketched. As an indication of the utility of such a negative concept, it is also explained how the author came to be interested in such transforms -certain equations which occur in the study of self-dual Einstein spaces- and the conclu作者: charisma 時間: 2025-3-22 11:47
roduced and an explanation for the usefulness of this concept is sketched. As an indication of the utility of such a negative concept, it is also explained how the author came to be interested in such transforms -certain equations which occur in the study of self-dual Einstein spaces- and the conclu作者: 仇恨 時間: 2025-3-22 13:36
Ralf Hinze,Wouter Swierstra.?------.The monograph contains a wealth of material in both the abstract theory of steady-state or evolution equations of monotone and accretive type and concrete applications to nonlinear partial differential978-3-0348-0768-5978-3-0348-0513-1Series ISSN 0373-3149 Series E-ISSN 2296-6072 作者: Exclaim 時間: 2025-3-22 20:22
Dylan McDermott,Tarmo Uustalu.?------.The monograph contains a wealth of material in both the abstract theory of steady-state or evolution equations of monotone and accretive type and concrete applications to nonlinear partial differential978-3-0348-0768-5978-3-0348-0513-1Series ISSN 0373-3149 Series E-ISSN 2296-6072 作者: 爆米花 時間: 2025-3-22 22:22
Ayumu Saito,Reynald Affeldt.?------.The monograph contains a wealth of material in both the abstract theory of steady-state or evolution equations of monotone and accretive type and concrete applications to nonlinear partial differential978-3-0348-0768-5978-3-0348-0513-1Series ISSN 0373-3149 Series E-ISSN 2296-6072 作者: GROSS 時間: 2025-3-23 04:53
,Flexibly Graded Monads and?Graded Algebras,formulate grading in terms of locally graded categories, showing in particular that graded monads are a particular kind of relative monad. We propose that locally graded categories are a useful setting for work on grading in general.作者: Gleason-score 時間: 2025-3-23 05:38 作者: Inexorable 時間: 2025-3-23 12:34 作者: burnish 時間: 2025-3-23 16:36 作者: OPINE 時間: 2025-3-23 19:38
Jeremy Gibbons,Donnacha Oisín Kidney,Tom Schrijvers,Nicolas Wuuction into the subject while some others form an advanced textbook. The intended audience is graduate and PhD students and researchers in the theory of partial differential equations or in mathematical modelling of distributed parameter systems..978-3-7643-7397-9Series ISSN 0373-3149 Series E-ISSN 2296-6072 作者: 靦腆 時間: 2025-3-24 01:51 作者: aspersion 時間: 2025-3-24 03:26
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/626959.jpg作者: keloid 時間: 2025-3-24 10:29 作者: Bouquet 時間: 2025-3-24 12:51
0302-9743 n Tbilisi, Georgia, in September 2022.?.The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs..978-3-031-16911-3978-3-031-16912-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Anticoagulants 時間: 2025-3-24 15:10
https://doi.org/10.1007/978-3-031-16912-0artificial intelligence; automata theory; computer networks; computer programming; computer systems; data作者: 改變立場 時間: 2025-3-24 21:12
978-3-031-16911-3The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl作者: 萬花筒 時間: 2025-3-24 23:21
Mathematics of Program Construction978-3-031-16912-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 抗體 時間: 2025-3-25 04:40 作者: N防腐劑 時間: 2025-3-25 08:23
,Folding over?Neural Networks,n scheme patterns. In turn, we promote a coherent implementation of neural networks that delineates between their structure and semantics, allowing for compositionality in both how they are built and how they are trained.作者: Osteons 時間: 2025-3-25 13:01 作者: 玉米 時間: 2025-3-25 17:58 作者: 不適 時間: 2025-3-25 23:42 作者: Fluctuate 時間: 2025-3-26 01:41 作者: SIT 時間: 2025-3-26 05:35
Subtyping Without Reduction,ticle, we show how operations on a subtype can be represented in a more efficient manner that exhibits no reduction behaviour. We present the general form of the technique in Cubical Agda by exploiting its support by higher-inductive types, and demonstrate the practical use of the technique with a number of examples.作者: exclusice 時間: 2025-3-26 12:32
Calculating Datastructures,aws relating types and arithmetic. Although these calculations do not generally produce novel datastructures they do give insight into how certain datastructures arise and how different implementations are related.作者: NICHE 時間: 2025-3-26 13:26
,Breadth-First Traversal via?Staging,Depth-first effectful traversal of a tree is straightforward to define compositionally, since it precisely follows the shape of the data. What about breadth-first effectful traversal? An indirect route is to factorize the data structure into shape and contents, traverse the contents, then rebuild th作者: 過時 時間: 2025-3-26 17:05
Subtyping Without Reduction, gives no control over when the reduction of subtyping proofs takes place, which can significantly impact the performance of type-checking. In this article, we show how operations on a subtype can be represented in a more efficient manner that exhibits no reduction behaviour. We present the general 作者: Ruptured-Disk 時間: 2025-3-26 21:20 作者: ethereal 時間: 2025-3-27 02:38 作者: 財產(chǎn) 時間: 2025-3-27 08:00
,Folding over?Neural Networks,r, a deeper analysis reveals that structured recursion can be used instead, so that traversal is directed by the structure of the network itself. This paper shows how such an approach can be realised in Haskell, by encoding neural networks as recursive data types, and then their training as recursio作者: 橫條 時間: 2025-3-27 09:52 作者: 仲裁者 時間: 2025-3-27 14:06
,Semantic Preservation for?a?Type Directed Translation Scheme of?Featherweight Go,forward semantic description of the dynamic behavior of FG programs is to resolve method calls based on run-time type information. A more efficient approach is to apply a type-directed translation scheme where interface-values are replaced by dictionaries that contain concrete method definitions. Th作者: Esophagitis 時間: 2025-3-27 18:44 作者: 感情脆弱 時間: 2025-3-27 23:22
,Fantastic Morphisms and?Where to?Find Them, are restricted in expressivity. Thus many generalizations have been proposed, which further led to several unifying frameworks of structured recursion schemes. However, the existing work on unifying frameworks typically focuses on the categorical foundation, and thus is perhaps inaccessible to prac作者: fodlder 時間: 2025-3-28 02:21
in a large generality.Primarily intended for graduate and Ph.This book primarily concerns quasilinear and semilinear elliptic and parabolic partial differential equations, inequalities, and systems. It balances the abstract functional-analysis approach based on nonlinear monotone, pseudomonotone, we作者: 完成才會征服 時間: 2025-3-28 06:30 作者: hair-bulb 時間: 2025-3-28 10:37
Brandon Hewer,Graham Huttonin a large generality.Primarily intended for graduate and Ph.This book primarily concerns quasilinear and semilinear elliptic and parabolic partial differential equations, inequalities, and systems. It balances the abstract functional-analysis approach based on nonlinear monotone, pseudomonotone, we作者: 妨礙議事 時間: 2025-3-28 17:37 作者: CHAR 時間: 2025-3-28 21:59
Dylan McDermott,Tarmo Uustaluar, elegant and rigorous way.Useful also to engineers, physi.This book primarily concerns quasilinear and semilinear elliptic and parabolic partial differential equations, inequalities, and systems. The exposition leads the reader through the general theory based on abstract (pseudo-) monotone or ac作者: 變形詞 時間: 2025-3-29 01:05
