標(biāo)題: Titlebook: Mathematical Foundations of Programming Semantics; 5th International Co M. Main,A. Melton,D. Schmidt Conference proceedings 1990 Springer-V [打印本頁] 作者: enamel 時(shí)間: 2025-3-21 19:58
書目名稱Mathematical Foundations of Programming Semantics影響因子(影響力)
書目名稱Mathematical Foundations of Programming Semantics影響因子(影響力)學(xué)科排名
書目名稱Mathematical Foundations of Programming Semantics網(wǎng)絡(luò)公開度
書目名稱Mathematical Foundations of Programming Semantics網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Mathematical Foundations of Programming Semantics被引頻次
書目名稱Mathematical Foundations of Programming Semantics被引頻次學(xué)科排名
書目名稱Mathematical Foundations of Programming Semantics年度引用
書目名稱Mathematical Foundations of Programming Semantics年度引用學(xué)科排名
書目名稱Mathematical Foundations of Programming Semantics讀者反饋
書目名稱Mathematical Foundations of Programming Semantics讀者反饋學(xué)科排名
作者: 無可非議 時(shí)間: 2025-3-21 21:41 作者: NEXUS 時(shí)間: 2025-3-22 04:17 作者: 打火石 時(shí)間: 2025-3-22 06:33 作者: obtuse 時(shí)間: 2025-3-22 11:41
Factorizing proofs in timed CSP,Timed Communicating Sequential Processes is employed, and the strongest possible specification of a process is discussed. A proof of correctness of a simple protocol is given to illustrate the method of verification.作者: 大量 時(shí)間: 2025-3-22 15:28
Unbounded nondeterminism in CSP,ion of CSP including general nondeterministic choice and infinite hiding. Unfortunately the model is an incomplete partial order, so it is by no means obvious that the necessary fixed points exist. We have two proofs of this result, one via a congruence theorem with operational semantics and one via作者: NAVEN 時(shí)間: 2025-3-22 20:03 作者: pester 時(shí)間: 2025-3-22 21:45 作者: aspersion 時(shí)間: 2025-3-23 01:23
On some semantic issues in the reflective tower,veable paradoxes on the one hand and triviality on the other hand. The reflective tower is one of the attempts to structure computational reflection, that is, access from a running process to its computational state..This paper gives the framework of a denotational semantics of a reflective tower, i作者: 單獨(dú) 時(shí)間: 2025-3-23 08:09 作者: overrule 時(shí)間: 2025-3-23 12:49
Generalization of final algebra semantics by relativization,semantics with respect to the space of evolutionary possibilities open to a given specification. The evolutionary space itself, which we call a ., has significant semantic content. The unit of application for our semantics is such a language of specifications. We formalize relevant notions of langua作者: 商品 時(shí)間: 2025-3-23 17:04
Termination, deadlock and divergence,ze its semantic theory. We give both an operational and a denotational semantics for the language and show that they agree. The operational theory is based upon a suitable adaptation of the notion of bisimulation preorder. The denotational semantics for the language is given in terms of the initial 作者: chapel 時(shí)間: 2025-3-23 19:59
A category-theoretic semantics for unbounded indeterminacy,categorical analogues of continuity and has the meaning of while loops defined as colimits of ω-diagrams. Furthermore, it collapses via an abstraction function to a semantics that is fully abstract, and coincides with the operational semantics. The abstraction function is the only discontinuous func作者: 怕失去錢 時(shí)間: 2025-3-24 01:44 作者: 斷斷續(xù)續(xù) 時(shí)間: 2025-3-24 04:56 作者: 憤怒歷史 時(shí)間: 2025-3-24 09:31 作者: harmony 時(shí)間: 2025-3-24 11:55
An algebraic formulation for data refinement,ly reformulated and unified in terms of two principal category theoretic notions: those of an enriched category and monad, also known as a triple. The requisite definitions and theory are given, together with several examples to illustrate precisely how Hoare‘s work, including his main theorem may b作者: 說明 時(shí)間: 2025-3-24 18:30
peptides and peptide analogues.Emphasis to advanced technolo.Major advances in molecular biology, alternative RNA splicing, protein processing, identification of gene control elements, transgenic animals and bioinformatics open up multiple research avenues and allow for better understanding of neuro作者: grotto 時(shí)間: 2025-3-24 21:18 作者: 借喻 時(shí)間: 2025-3-25 02:30
Luca Cardelli,John C. Mitchellal for embryonic development and brain formation. ADNP includes an active neuroprotective site, an 8 amino acid peptide NAPSVIPQ (NAP). The current study was set out to prepare antibodies to ADNP that will recognize different sites on the molecule. Four peptides of 8–20 amino acids that span the ADN作者: 舊病復(fù)發(fā) 時(shí)間: 2025-3-25 05:21
Eugene W. Starkpeptides and peptide analogues.Emphasis to advanced technolo.Major advances in molecular biology, alternative RNA splicing, protein processing, identification of gene control elements, transgenic animals and bioinformatics open up multiple research avenues and allow for better understanding of neuro作者: Interregnum 時(shí)間: 2025-3-25 10:04 作者: acetylcholine 時(shí)間: 2025-3-25 15:34 作者: macular-edema 時(shí)間: 2025-3-25 16:16
A. W. Roscoe,Geoff Barrett as feeding behavior, energy expenditure, and thermoregulation. Neuropeptide Y (NPY) represents one such peptide mediating behavioral and homeostatic alterations favoring positive energy balance (.). Thus, direct application of NPY into the hypothalamic paraventricular nucleus (PVN) or adjacent peri作者: ALIBI 時(shí)間: 2025-3-25 21:05
Geoff Barrettt powerful orexigenic signal have led to active investigations of the properties of the NPY family of hormones, including peptide YY (PYY) and pancreatic polypeptide (PP). Nearly two decades of research have led to the identification of several NPY receptor subtypes and the development of useful rec作者: 難解 時(shí)間: 2025-3-26 03:31
Frank Pfenning,Christine Paulin-Mohringf G-protein-coupled receptor expression in this cell type. We used reverse transcriptase-coupled polymerase chain reaction (PCR) to amplify cDNAs derived from bovine tissue using degenerate oligonucleotide primers corresponding to conserved sequences in receptor transmembrane helices two and seven (作者: 懶惰人民 時(shí)間: 2025-3-26 04:23
Karoline Malmkj?r discovery of the first highly potent and selective Y. receptor antagonists— the (.)-argininamide BIBP 3226 and the benzamidine derivative SR 120819A—as well as raising hope for novel drug treatment of hypertension, obesity and metabolic diseases stimulated the search for NPY-blocking compounds. Mos作者: 喃喃訴苦 時(shí)間: 2025-3-26 12:28
Michael G. Main,David L. Blacknerves in the peripheral nervous system, especially those innervating blood vessels. There is also convincing evidence that NPY exerts prejunctional modulatory effects on transmitter release and synthesis. Moreover, there are numerous examples of postjunctional interactions that are consistent with 作者: hauteur 時(shí)間: 2025-3-26 15:36
Allen Stoughtone development of pharmacologically active compounds that are capable of crossing the blood-brain barrier to exert their biological role(s) .in vivo. and in the construction of genetic vectors to be employed in gene therapy.? .Neuropeptides: Methods and Protocols. presents a readily reproducible coll作者: sigmoid-colon 時(shí)間: 2025-3-26 19:36
Lawrence S. Moss,Satish R. Thattels relevant to a wide range of scientists.Provides key tips .Since the early days, the field of neuropeptide biology has dramatically widened, and today the ultimate frontiers in neuropeptide research lie in the development of pharmacologically active compounds that are capable of crossing the blood作者: 小木槌 時(shí)間: 2025-3-26 22:45 作者: amplitude 時(shí)間: 2025-3-27 03:40 作者: 填料 時(shí)間: 2025-3-27 07:17
J. M. E. Hyland,E. P. Robinson,G. Rosolinils relevant to a wide range of scientists.Provides key tips .Since the early days, the field of neuropeptide biology has dramatically widened, and today the ultimate frontiers in neuropeptide research lie in the development of pharmacologically active compounds that are capable of crossing the blood作者: Grandstand 時(shí)間: 2025-3-27 12:45 作者: llibretto 時(shí)間: 2025-3-27 13:39
Radhakrishnan Jagadeesanls relevant to a wide range of scientists.Provides key tips .Since the early days, the field of neuropeptide biology has dramatically widened, and today the ultimate frontiers in neuropeptide research lie in the development of pharmacologically active compounds that are capable of crossing the blood作者: Innocence 時(shí)間: 2025-3-27 19:54 作者: 公豬 時(shí)間: 2025-3-28 00:39
A. J. Powerls relevant to a wide range of scientists.Provides key tips .Since the early days, the field of neuropeptide biology has dramatically widened, and today the ultimate frontiers in neuropeptide research lie in the development of pharmacologically active compounds that are capable of crossing the blood作者: 才能 時(shí)間: 2025-3-28 03:27 作者: Assault 時(shí)間: 2025-3-28 08:53
https://doi.org/10.1007/BFb0040251Factor; Occam; distributed computing; lambda calculus; programming; programming language; real-time; semant作者: 憤怒歷史 時(shí)間: 2025-3-28 10:48 作者: Clinch 時(shí)間: 2025-3-28 17:35
978-0-387-97375-3Springer-Verlag New York 1990作者: 首創(chuàng)精神 時(shí)間: 2025-3-28 18:57
Mathematical Foundations of Programming Semantics978-0-387-34808-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: STERN 時(shí)間: 2025-3-28 23:59 作者: obtuse 時(shí)間: 2025-3-29 06:42 作者: 其他 時(shí)間: 2025-3-29 10:12 作者: CLAN 時(shí)間: 2025-3-29 11:27
A category-theoretic semantics for unbounded indeterminacy,categorical analogues of continuity and has the meaning of while loops defined as colimits of ω-diagrams. Furthermore, it collapses via an abstraction function to a semantics that is fully abstract, and coincides with the operational semantics. The abstraction function is the only discontinuous function appearing in our semantics.作者: 異常 時(shí)間: 2025-3-29 18:45
An algebraic formulation for data refinement,ly reformulated and unified in terms of two principal category theoretic notions: those of an enriched category and monad, also known as a triple. The requisite definitions and theory are given, together with several examples to illustrate precisely how Hoare‘s work, including his main theorem may be seen in this light.作者: 脆弱吧 時(shí)間: 2025-3-29 21:54 作者: paltry 時(shí)間: 2025-3-30 01:54 作者: 釋放 時(shí)間: 2025-3-30 07:43 作者: 陰謀 時(shí)間: 2025-3-30 09:29
to small proteins in mice and developmental milestones of behavior in newborn mice are described. Neuropeptide Methods provides the reader with broad perspectives and breadth of knowledge on current topics related to neuropeptide research..978-1-61737-587-3978-1-60327-099-1Series ISSN 0893-2336 Series E-ISSN 1940-6045 作者: 不給啤 時(shí)間: 2025-3-30 15:45 作者: 綠州 時(shí)間: 2025-3-30 18:23
Luca Cardelli,John C. Mitchellgraphy on peptides conjugated to SulfoLink Coupling Gel (Pierce). Mouse brain proteins were prepared (4 months old) and separated into cytoplasmic and nuclear fractions. Proteins were further separated by SDS-PAGE (SDS-PolyAcrylamide Gel Electrophoresis) and transferred to nitrocellulose membranes. 作者: 后來 時(shí)間: 2025-3-30 22:57
Eugene W. Starkto small proteins in mice and developmental milestones of behavior in newborn mice are described. Neuropeptide Methods provides the reader with broad perspectives and breadth of knowledge on current topics related to neuropeptide research..978-1-61737-587-3978-1-60327-099-1Series ISSN 0893-2336 Series E-ISSN 1940-6045 作者: GREG 時(shí)間: 2025-3-31 01:20 作者: 獨(dú)白 時(shí)間: 2025-3-31 07:12
Jim Davies,Steve Schneider-helical structure; (2) by simply hybridizing to the target RNA and thus preventing its interaction with ribosomes, polymerases, and so forth; and (3) by binding to mRNA to provide a substrate for enzymes such as RNase-H that cleave and degrade the mRNA and prevent protein expression. Additionally, 作者: CRASS 時(shí)間: 2025-3-31 09:26
A. W. Roscoe,Geoff Barrettgely unknown. Given the involvement of medial preoptic and hypothalamic ventromedial neurons in body temperature regulation, the numerous NPY-containing terminals within these forebrain areas are possible mediators of temperature-regulating actions of NPY.作者: 假裝是你 時(shí)間: 2025-3-31 14:58 作者: Jingoism 時(shí)間: 2025-3-31 19:57 作者: harmony 時(shí)間: 2025-4-1 01:13
Karoline Malmkj?rlanine scan of NPY. Typical Y. antagonists (e.g., compounds of the argininamide, benzamidine, benzimidazole, indole and aminopyridine series) have one or two basic groups which—according to the working hypothesis—could mimic Arg. and/ or Arg. in NPY. Binding models derived for some compounds (e.g., 作者: Promotion 時(shí)間: 2025-4-1 05:00
Michael G. Main,David L. Blackation-induced release of all three sympathetic cotransmitters. Studies with selective NPY- Y. antagonists provide evidence that the principal postjunctional receptor is of the Y. subtype although information is incomplete and other receptors are also present at some sites and may exert physiological作者: 馬籠頭 時(shí)間: 2025-4-1 10:04 作者: 有危險(xiǎn) 時(shí)間: 2025-4-1 12:21
L. Aceto,M. Hennessy successful .Methods in Molecular Biology?. series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls..?.Authoritative and easy to follow, .Ne作者: 過時(shí) 時(shí)間: 2025-4-1 15:26 作者: figure 時(shí)間: 2025-4-1 21:54
Lawrence S. Moss,Satish R. Thatteto their respective topics, lists of the necessary materials and reagents, step-by-step laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls..?.Authoritative and easy to follow, .Ne978-1-4939-6211-2978-1-61779-310-3Series ISSN 1064-3745 Series E-ISSN 1940-6029 作者: Obsessed 時(shí)間: 2025-4-1 23:23
J. M. E. Hyland,E. P. Robinson,G. Rosolinito their respective topics, lists of the necessary materials and reagents, step-by-step laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls..?.Authoritative and easy to follow, .Ne978-1-4939-6211-2978-1-61779-310-3Series ISSN 1064-3745 Series E-ISSN 1940-6029 作者: Esophagus 時(shí)間: 2025-4-2 06:42 作者: amphibian 時(shí)間: 2025-4-2 08:02
