標題: Titlebook: Methods of Programming; Selected Papers on t Manfred Broy,Martin Wirsing Book 1991 Springer-Verlag Berlin Heidelberg 1991 CIP-Methode.CIP-a [打印本頁] 作者: Forestall 時間: 2025-3-21 16:16
書目名稱Methods of Programming影響因子(影響力)
書目名稱Methods of Programming影響因子(影響力)學科排名
書目名稱Methods of Programming網(wǎng)絡公開度
書目名稱Methods of Programming網(wǎng)絡公開度學科排名
書目名稱Methods of Programming被引頻次
書目名稱Methods of Programming被引頻次學科排名
書目名稱Methods of Programming年度引用
書目名稱Methods of Programming年度引用學科排名
書目名稱Methods of Programming讀者反饋
書目名稱Methods of Programming讀者反饋學科排名
作者: nutrition 時間: 2025-3-21 20:15
Book 1991t the application, therequirements and the structures of computing science.Under the heading CIP (Computer-aidedIntuition-guidedProgramming), a group of researchers led by Prof. F.L. Bauerand Prof. K. Samelson started work in 1975 in the directionofformal program specification, transformationalprogr作者: 表被動 時間: 2025-3-22 03:23
Transformational meta program development,. Compared with classical functional programming, the algebraic properties allow reasoning about correctness and optimisation; the recursion schema of homomorphic extension acts as a program development strategy and as an induction schema for proofs.作者: 枯萎將要 時間: 2025-3-22 05:21
Deductive program development: Evaluation in reverse Polish notation as an example, the correctness of which is obvious and therefore can be taken as initial specification. The recursive function declaration is transformed to one working on reverse Polish notation that is derived from the trees by postorder tree traversal. Constructive proofs are given that show the correctness of the produced program.作者: Relinquish 時間: 2025-3-22 10:53
0302-9743 ledge about the application, therequirements and the structures of computing science.Under the heading CIP (Computer-aidedIntuition-guidedProgramming), a group of researchers led by Prof. F.L. Bauerand Prof. K. Samelson started work in 1975 in the directionofformal program specification, transformat作者: 容易懂得 時間: 2025-3-22 16:26 作者: 徹底檢查 時間: 2025-3-22 17:54
Ralf Steinbrüggenwhere they can play an active role in tumor progression and metastasis. The activated Trk receptors primarily bind and signal through Shc, FRS2, and PLCγ, which in turn activate PI3K, the Erks, and the hydrolysis of inositol phospholipids, among other events, leading to the modulation of gene transc作者: 茁壯成長 時間: 2025-3-22 23:35
Ulrich Berger,Werner Meixner,Bernhard M?llers TIE2 signaling is negatively regulated by the vascular endothelial protein tyrosine phosphatase, VE-PTP. ANG1 activation of TIE2 supports vascular stabilization, whereas angiopoietin-2 (ANG2), a context-dependent weak TIE2 agonist/antagonist, promotes pathological tumor angiogenesis, vascular perm作者: 人類學家 時間: 2025-3-23 04:35 作者: 強所 時間: 2025-3-23 09:00
Carlos Delgado Kloos,Walter Doschssess the number of novel mouse models that have been developed during the process of writing this book..Here we have tried to give a comprehensive overview about the mouse models of receptor tyrosine kinases. Although these molecules cannot be fully investigated without considering them in the cont作者: 引水渠 時間: 2025-3-23 10:07
ction sensitivity for antigens that cannot be detected by conventional immunogold methods, or whose label is weak compared to background noise. As a proof of concept, we show the effectiveness of this technique for detecting difficult antigens expressed in the central nervous system such as NG2, PDG作者: 無法取消 時間: 2025-3-23 14:35
Two metamodels for application system development conventional vs. object-oriented approach,ication modelling procedure..In this article, the two metamodels and the corresponding development procedures are explained in detail, discussed and contrasted with each other. There are strong arguments that our future systems will not only technically be object-oriented but also be based on object作者: 緯度 時間: 2025-3-23 21:09
On the use of elements of functional programming in program development by transformations,ed if the development aims at a functional program in an FP-like style (cf. [Backus 78]) but, on the other side, also for pure efficiency reasons. Example 1 and Example 2 of the paper demonstrate the efficiency improvement by tupling. Furthermore, function composition with specific functional expres作者: Albumin 時間: 2025-3-24 00:37 作者: Abrade 時間: 2025-3-24 03:56
H. A. Partsch,N. V?lkerand widely used methods employed in this field, providing detailed protocols that molecular and cellular biologists could easily adopt in their research programs on RTKs..978-1-4939-5449-0978-1-4939-1789-1Series ISSN 1064-3745 Series E-ISSN 1940-6029 作者: 身心疲憊 時間: 2025-3-24 08:04
Rolf Hennicker,Martin Wirsingand widely used methods employed in this field, providing detailed protocols that molecular and cellular biologists could easily adopt in their research programs on RTKs..978-1-4939-5449-0978-1-4939-1789-1Series ISSN 1064-3745 Series E-ISSN 1940-6029 作者: 串通 時間: 2025-3-24 13:25
Manfred Broyand widely used methods employed in this field, providing detailed protocols that molecular and cellular biologists could easily adopt in their research programs on RTKs..978-1-4939-5449-0978-1-4939-1789-1Series ISSN 1064-3745 Series E-ISSN 1940-6029 作者: 注意 時間: 2025-3-24 18:09
Peter Pepperand widely used methods employed in this field, providing detailed protocols that molecular and cellular biologists could easily adopt in their research programs on RTKs..978-1-4939-5449-0978-1-4939-1789-1Series ISSN 1064-3745 Series E-ISSN 1940-6029 作者: 美色花錢 時間: 2025-3-24 21:31 作者: dandruff 時間: 2025-3-25 01:08
Book 1991sof the original ideas of theCIP project. The topics range from descriptionsof theprogram development process to derivations of algorithmsfromspecifications.The volume is dedicated to Prof. F.L. Bauer.作者: 紀念 時間: 2025-3-25 04:38
0302-9743 dificationsof the original ideas of theCIP project. The topics range from descriptionsof theprogram development process to derivations of algorithmsfromspecifications.The volume is dedicated to Prof. F.L. Bauer.978-3-540-54576-7978-3-540-38491-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 向外才掩飾 時間: 2025-3-25 07:35
Another case study on reusability of transformational developments,作者: Ferritin 時間: 2025-3-25 13:27 作者: 星球的光亮度 時間: 2025-3-25 19:16
Wolfgang Hesseheir inaccessibility, but also by the lack of specific tools. The problem is particularly acute when the effect of interest must be measured at the single cell level, for example, receptor modulation of ion channels. Assignment of different G protein subunits to roles in ion channel modulation by re作者: emulsify 時間: 2025-3-25 21:46
Bernd Krieg-Brückners and implementation advice from the experts.Receptor Tyrosine Kinases: Methods and Protocols. explores on the most widely studied of the protein classes, known for their central role in several cellular functions and in a variety of human pathologies. Beginning with a section on activation and sign作者: 虛情假意 時間: 2025-3-26 00:43 作者: 補角 時間: 2025-3-26 06:47
Rolf Hennicker,Martin Wirsings and implementation advice from the experts.Receptor Tyrosine Kinases: Methods and Protocols. explores on the most widely studied of the protein classes, known for their central role in several cellular functions and in a variety of human pathologies. Beginning with a section on activation and sign作者: 放大 時間: 2025-3-26 10:11
Manfred Broys and implementation advice from the experts.Receptor Tyrosine Kinases: Methods and Protocols. explores on the most widely studied of the protein classes, known for their central role in several cellular functions and in a variety of human pathologies. Beginning with a section on activation and sign作者: 撫育 時間: 2025-3-26 14:12
Peter Peppers and implementation advice from the experts.Receptor Tyrosine Kinases: Methods and Protocols. explores on the most widely studied of the protein classes, known for their central role in several cellular functions and in a variety of human pathologies. Beginning with a section on activation and sign作者: Rotator-Cuff 時間: 2025-3-26 19:25 作者: 仲裁者 時間: 2025-3-26 22:23 作者: Agronomy 時間: 2025-3-27 02:15
Rudolf Berghammer,Herbert Ehler to the cytoplasm and nucleus of target cells. Here we focus on one subgroup of receptor tyrosine kinases, whose prototype is the epidermal growth factor receptor (EGFR). Due to ligand-induced homo- and heterodimerization by EGFR (also called ERBB1) and other family members, extracellular signals ar作者: 正面 時間: 2025-3-27 08:31
Carlos Delgado Kloos,Walter Doschnd evaluation of novel therapeutic approaches. Mouse models of receptor tyrosine kinases have been among the first to be developed and were not only indispensable for profoundly improving our understanding of diseases like cancer but also for the development of novel methodologies and techniques tha作者: BALK 時間: 2025-3-27 12:54 作者: 共同確定為確 時間: 2025-3-27 16:28
Two metamodels for application system development conventional vs. object-oriented approach,are development process. The first is a . providing full life-cycle support through its four abstraction levels: user level, functional design level, technical design level, and implementation level. With its functional design level supporting an entity-relationship modelling approach and its techni作者: Atheroma 時間: 2025-3-27 18:29
Transformational meta program development, is perhaps the use of algebraic specification and the transformational development paradigm not only for program but also for meta-program development, in fact to formalise the program development process itself. Transformation rules and their applicability conditions act as requirement specificati作者: 安裝 時間: 2025-3-27 23:28 作者: MEAN 時間: 2025-3-28 02:14 作者: elastic 時間: 2025-3-28 07:13
Literate program derivation: A case study,ext with the program proper. In this paper, we attempt to combine the principal ideas of literate programming with the concepts of formal program development, based on algebraic specifications and transformations. This experiment is performed using the sublinear string-searching algorithm of Boyer a作者: ODIUM 時間: 2025-3-28 12:12
Programs viewed as Skolem functions,ion rule that formalizes .‘s idea of quantifier elimination. From this entry on, programs are subjects of mathematical theorems, technically speaking, they are sub-expressions of logical expressions. They should not be isolated from this environment throughout the whole program development for two r作者: Graphite 時間: 2025-3-28 16:38
On the use of elements of functional programming in program development by transformations,nal program development. Formal transformation rules have been given which allow the introduction (or also the elimination) of such elements into programs that are subject to a development. For the proof of any of these rules computational respectively transformational induction has been applied. Th作者: 使熄滅 時間: 2025-3-28 21:36
Transformational development of circuit descriptions for binary adders,preserving transformations. Using this programming technique, circuit descriptions for different binary adders are derived, viz. the parallel adder, the serial adder, and the carry look-ahead adder. This case study aims at transferring notions and methods from programming to hardware description and作者: 職業(yè)拳擊手 時間: 2025-3-28 23:50 作者: 自愛 時間: 2025-3-29 03:32 作者: GRAIN 時間: 2025-3-29 10:25 作者: Creatinine-Test 時間: 2025-3-29 12:32
Programs viewed as Skolem functions,ion rule that formalizes .‘s idea of quantifier elimination. From this entry on, programs are subjects of mathematical theorems, technically speaking, they are sub-expressions of logical expressions. They should not be isolated from this environment throughout the whole program development for two reasons:作者: 流利圓滑 時間: 2025-3-29 17:44
Transformational development of circuit descriptions for binary adders,preserving transformations. Using this programming technique, circuit descriptions for different binary adders are derived, viz. the parallel adder, the serial adder, and the carry look-ahead adder. This case study aims at transferring notions and methods from programming to hardware description and design.作者: OVER 時間: 2025-3-29 22:51
https://doi.org/10.1007/BFb0018265CIP-Methode; CIP-approachch; Program Construction; Program Development; Programm-Entwicklung; Programm-Ko作者: anthropologist 時間: 2025-3-30 00:26
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/632413.jpg作者: 遷移 時間: 2025-3-30 07:29 作者: 受傷 時間: 2025-3-30 09:56
Improved Text-Independent Speaker Identification and Verification with Gaussian Mixture Modelsta duration and the approach to be used. This work presents a novel speaker recognition application using a new dimensional cepstral feature vector for building Gaussian Mixture Models (GMM) for speaker identification and verification systems. Recognition results obtained with the proposed system ar
