標(biāo)題: Titlebook: Mathematics of Program Construction; 10th International C Claude Bolduc,Jules Desharnais,Béchir Ktari Conference proceedings 2010 The Edito [打印本頁(yè)] 作者: 營(yíng)養(yǎng)品 時(shí)間: 2025-3-21 19:03
書目名稱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é)科排名
作者: KIN 時(shí)間: 2025-3-21 21:24 作者: 冬眠 時(shí)間: 2025-3-22 02:11
Process Algebras for Collective Dynamicsclude PEPA [3], EMPA [4], MoDeST [5] and IMC [6]. These formalisms retain the compositional structure of classical process algebras and the additional information captured within the model allows analysis to investigate additional properties such as dynamic behaviour and resource usage.作者: formula 時(shí)間: 2025-3-22 07:48
On Automated Program Construction and Verification Gries and Hoare, it supports proof and refutation games with automated theorem provers, model search tools and computer algebra systems combined with “hidden” domain-specific algebraic theories that have been designed and optimised for automation. The feasibility of this approach is demonstrated th作者: 同位素 時(shí)間: 2025-3-22 11:57 作者: stressors 時(shí)間: 2025-3-22 14:22 作者: 臆斷 時(shí)間: 2025-3-22 19:57
Subtyping, Declarativelyuctive definitions of non-trivial transitive inference systems: they cannot be “declarative”—as opposed to “algorithmic” or syntax-directed—because coinductive inference systems with an explicit rule of transitivity are trivial..We propose a solution to this problem. By using mixed induction and coi作者: insular 時(shí)間: 2025-3-23 01:16
Compositional Action System Derivation Using Enforced Properties to program construction where the concrete implementation is derived from its specification — via a series of small refinements — using incomplete proofs to motivate changes to the program. Formalisation of our approach is provided by ., which restrict the traces of a program to those that satisfy 作者: 空氣傳播 時(shí)間: 2025-3-23 02:42
Designing an Algorithmic Proof of the Two-Squares Theoremded Euclid’s algorithm. Rather than simply verifying the result—as it is usually done in the mathematical community—we use Euclid’s algorithm as an interface to . which numbers can be written as sums of two positive squares. The precise formulation of the problem as an algorithmic problem is the key作者: Infuriate 時(shí)間: 2025-3-23 08:19 作者: Brain-Imaging 時(shí)間: 2025-3-23 10:40 作者: Inordinate 時(shí)間: 2025-3-23 15:35
Adjoint Folds and Unfoldsely. Fundamental laws such as fusion codify basic optimisation principles. However, most, if not all, programs require some tweaking to be given the form of an (un-) fold, and thus make them amenable to formal manipulation. In this paper, we remedy the situation by introducing adjoint folds and unfo作者: 出來(lái) 時(shí)間: 2025-3-23 21:45 作者: 疲憊的老馬 時(shí)間: 2025-3-23 23:39
A Tracking Semantics for CSPs, many analyses such as deadlock analysis, reliability analysis, and program slicing try to predict properties of the specification which can guarantee the quality of the final system. These analyses often rely on the use of CSP’s traces. In this work, we introduce the theoretical basis for trackin作者: Stagger 時(shí)間: 2025-3-24 03:16 作者: cravat 時(shí)間: 2025-3-24 07:08
Lucy-n: a n-Synchronous Extension of Lustrey expression is associated to a clock indicating the instants when a value is present. A dedicated type system, the clock calculus, checks that the actual clock of a stream equals its expected clock and thus does not need to be buffered. The n-synchrony relaxes synchrony by allowing the communicatio作者: 和諧 時(shí)間: 2025-3-24 13:26
Sampling, Splitting and Merging in Coinductive Stream Calculusing and the stream processing languages. We use the framework of . and . for defining and proving properties of such operations using behavioural differential equations and coinduction proof principles. We study the invariance of certain well patterned classes of streams, namely rational and algebra作者: Hemodialysis 時(shí)間: 2025-3-24 15:57 作者: 固執(zhí)點(diǎn)好 時(shí)間: 2025-3-24 21:12
? 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作者: 殺子女者 時(shí)間: 2025-3-25 02:03
Roland Backhouse,Wei Chen,Jo?o F. Ferreiraical 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作者: 挑剔為人 時(shí)間: 2025-3-25 04:00 作者: alabaster 時(shí)間: 2025-3-25 10:49 作者: 背景 時(shí)間: 2025-3-25 11:49 作者: 南極 時(shí)間: 2025-3-25 17:28 作者: COST 時(shí)間: 2025-3-25 22:00 作者: microscopic 時(shí)間: 2025-3-26 02:36
Yifeng Chen,J. W. Sanders in order to obtain finite-dimensional integrable Hamiltonian systems (see, for example, ref [1–6]). We have proposed in ref [7] a straightforward way to obtain a hierarchy of finite-dimensional integrable Hamiltonian systems by restricting a hierarchy of integrable evolution equations to the invari作者: 多余 時(shí)間: 2025-3-26 07:21
Nils Anders Danielsson,Thorsten Altenkirchtion interactions was given by a set of coupled integral equations. The Yangs’ chosen model is in fact the repulsive version of the . Nonlinear Schr?dinger (NLS) model. We have shown that with appropriate extensions and different dispersion relations and phase shifts similar formulae apply to ‘a(chǎn)ll’ 作者: Generalize 時(shí)間: 2025-3-26 09:25
Brijesh Dongol,Ian J. Hayesples, are sketched. Close to instability points the dynamics of a complex system can be reduced to low dimensional dynamics, where fluctuations can be included. First steps towards the extension of the slaving principle towards delay equations and towards situations far away from instability points 作者: coalition 時(shí)間: 2025-3-26 12:50
Jo?o F. Ferreiraples, are sketched. Close to instability points the dynamics of a complex system can be reduced to low dimensional dynamics, where fluctuations can be included. First steps towards the extension of the slaving principle towards delay equations and towards situations far away from instability points 作者: 富饒 時(shí)間: 2025-3-26 18:53
Walter Guttmannples, are sketched. Close to instability points the dynamics of a complex system can be reduced to low dimensional dynamics, where fluctuations can be included. First steps towards the extension of the slaving principle towards delay equations and towards situations far away from instability points 作者: PURG 時(shí)間: 2025-3-26 21:46 作者: Horizon 時(shí)間: 2025-3-27 01:29 作者: 祖先 時(shí)間: 2025-3-27 07:05 作者: 配置 時(shí)間: 2025-3-27 10:26 作者: 疾馳 時(shí)間: 2025-3-27 14:35 作者: Repatriate 時(shí)間: 2025-3-27 21:42
978-3-642-13320-6The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer-Verlag GmbH, DE作者: tackle 時(shí)間: 2025-3-27 23:47
Mathematics of Program Construction978-3-642-13321-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: BUMP 時(shí)間: 2025-3-28 04:49
0302-9743 Overview: 978-3-642-13320-6978-3-642-13321-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 果仁 時(shí)間: 2025-3-28 08:26 作者: Aviary 時(shí)間: 2025-3-28 14:27 作者: 殺子女者 時(shí)間: 2025-3-28 18:02
Partial, Total and General Correctness of these axioms is sufficient to derive a useful theory, which includes the Egli-Milner order, full recursion, correctness statements and a correctness calculus. We also show that this subset is necessary.作者: follicle 時(shí)間: 2025-3-28 19:05 作者: 樂(lè)器演奏者 時(shí)間: 2025-3-29 00:00 作者: 凹槽 時(shí)間: 2025-3-29 06:12
Rudolf Berghammer,Georg Struthmpressible fluiddynamics and applied mathematics, although the level of the text ismixed and sometimes quite introductory. Each chapter is ratherself-contained 978-90-481-5541-5978-94-015-9450-9Series ISSN 1383-8601 Series E-ISSN 2215-162X 作者: bonnet 時(shí)間: 2025-3-29 09:05 作者: 匍匐 時(shí)間: 2025-3-29 13:51 作者: 浮雕寶石 時(shí)間: 2025-3-29 19:31 作者: 輕推 時(shí)間: 2025-3-29 19:51
Yifeng Chen,J. W. Sanderset a natural constraint on potential by restricting potential to the invariant subspace of the recursion operator. Under this constraint condition, the two finite-dimensional systems obtained from the Lax pair possess lower order and can be shown to be consistent. The solution to these two system so作者: tenuous 時(shí)間: 2025-3-30 03:01 作者: Inelasticity 時(shí)間: 2025-3-30 04:47
Brijesh Dongol,Ian J. Hayes foreground of future research. First steps into this direction were done by studies of lasers and new kinds of semiconductor devices. According to this author’s opinion, physics will play an increasingly important role in medicine, especially in medical diagnosis. Here synergetics can be of help fo作者: Keratin 時(shí)間: 2025-3-30 10:52
Jo?o F. Ferreira foreground of future research. First steps into this direction were done by studies of lasers and new kinds of semiconductor devices. According to this author’s opinion, physics will play an increasingly important role in medicine, especially in medical diagnosis. Here synergetics can be of help fo作者: 種子 時(shí)間: 2025-3-30 15:03 作者: left-ventricle 時(shí)間: 2025-3-30 17:02
Ian J. Hayes,Steve E. Dunne,Larissa Meinicke foreground of future research. First steps into this direction were done by studies of lasers and new kinds of semiconductor devices. According to this author’s opinion, physics will play an increasingly important role in medicine, especially in medical diagnosis. Here synergetics can be of help fo作者: shrill 時(shí)間: 2025-3-30 23:31 作者: cluster 時(shí)間: 2025-3-31 01:56
Catuscia Palamidessi; 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 作者: 神經(jīng) 時(shí)間: 2025-3-31 09:05 作者: 貝雷帽 時(shí)間: 2025-3-31 10:55
Unifying Theories of Programming That Distinguish Nontermination and Abortectness..The properties we use to distinguish the models are these: .When considering termination, we consider both an abstract model, which only distinguishes whether a program terminates or not, as well as models that include a notion of time: either abstract time representing a notion of progress or real-time.作者: excrete 時(shí)間: 2025-3-31 17:14
Adjoint Folds and Unfoldslds. We demonstrate that most programs are already of the required form and thus are directly amenable to manipulation. Central to the development is the categorical notion of an adjunction, which links adjoint (un-) folds to standard (un-) folds. We discuss a number of adjunctions and show that they are directly relevant to programming.作者: otic-capsule 時(shí)間: 2025-3-31 18:32 作者: curriculum 時(shí)間: 2025-3-31 23:15
The Algorithmics of Solitaire-Like Gamesation of the solution to a class of tiling problems. Finally, we introduce an infinite class of challenging one-person games inspired by earlier work by Chen and Backhouse on the relation between cyclotomic polynomials and generalisations of the seven-trees-in-one type isomorphism. We show how to derive algorithms to solve these games.作者: 山間窄路 時(shí)間: 2025-4-1 05:10 作者: 甜得發(fā)膩 時(shí)間: 2025-4-1 08:34 作者: parasite 時(shí)間: 2025-4-1 11:30 作者: ablate 時(shí)間: 2025-4-1 14:44 作者: 不舒服 時(shí)間: 2025-4-1 19:38
