標(biāo)題: Titlebook: Recent Trends in Algebraic Development Techniques; 14th International W Didier Bert,Christine Choppy,Peter D. Mosses Conference proceedings [打印本頁] 作者: cherub 時間: 2025-3-21 18:25
書目名稱Recent Trends in Algebraic Development Techniques影響因子(影響力)
書目名稱Recent Trends in Algebraic Development Techniques影響因子(影響力)學(xué)科排名
書目名稱Recent Trends in Algebraic Development Techniques網(wǎng)絡(luò)公開度
書目名稱Recent Trends in Algebraic Development Techniques網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Recent Trends in Algebraic Development Techniques被引頻次
書目名稱Recent Trends in Algebraic Development Techniques被引頻次學(xué)科排名
書目名稱Recent Trends in Algebraic Development Techniques年度引用
書目名稱Recent Trends in Algebraic Development Techniques年度引用學(xué)科排名
書目名稱Recent Trends in Algebraic Development Techniques讀者反饋
書目名稱Recent Trends in Algebraic Development Techniques讀者反饋學(xué)科排名
作者: evince 時間: 2025-3-21 21:11 作者: Acupressure 時間: 2025-3-22 01:52 作者: 貧困 時間: 2025-3-22 06:34
Extending , by Late Bindingctions called ., for which, differently to what happens for usual functions, overloading resolution is delayed at evaluation time and not required to be conservative. The extension consists, at the semantic level, in the definition of an institution . supporting late binding which is defined on top 作者: Ganglion 時間: 2025-3-22 10:03 作者: 莎草 時間: 2025-3-22 16:43 作者: 帶傷害 時間: 2025-3-22 18:05 作者: 刺耳 時間: 2025-3-22 23:15 作者: Myofibrils 時間: 2025-3-23 03:17 作者: FAR 時間: 2025-3-23 06:19
Specification Refinement with System F – The Higher-Order Casee type-theoretic setting consists of System F and the logic for parametric polymorphism of Plotkin and Abadi. For first-order signatures, this setting immediately gives a natural notion of specification refinement up to observational equivalence via the notion of simulation relation. Moreover, a pro作者: Decibel 時間: 2025-3-23 12:52 作者: Transfusion 時間: 2025-3-23 15:34
An Institution of Hybrid Systemsir relation with embedded systems (systems that interact with the . changing real-world). In order to deal with complex problems, compositional specification and verification methods are needed. Using the specification language of . as a starting point, an institution of hybrid systems is establishe作者: sundowning 時間: 2025-3-23 19:27 作者: TAIN 時間: 2025-3-23 22:23 作者: resilience 時間: 2025-3-24 05:03
A General Algebraic Framework for Studying Modular Systemsnses. First, it is independent of the specification (or programming) formalism used to build modules as long as the formalism satisfies some algebraic properties. Moreover, we can combine modules built over different such formalisms. Secondly, our setting enables us to define compositional semantics作者: Encephalitis 時間: 2025-3-24 09:19
History Preserving Bisimulation for Contextual Netsthout consuming them (non-destructive read operations). A first equivalence, simply called ., is based on Winskel’s prime event structures. A finer equivalence, called . (where “R” stands for “read”), relies on . [1], a generalization of prime event structures which gives a more faithful account of 作者: 學(xué)術(shù)討論會 時間: 2025-3-24 12:03
A Model for Interaction of Agents and Environmentsmeans of labelled transition systems considered up to bisimilarity. The equivalence of agents is characterised in terms of an algebra of behaviours which is a continuous algebra with approximation and two operations: nondeterministic choice and prefixing. Environments are introduced as agents suppli作者: 預(yù)定 時間: 2025-3-24 17:46 作者: FLING 時間: 2025-3-24 21:26
From States to Historiesies are captured by system invariants that help to prove properties about state machines. Our approach provides a bridge from state-based system models defined by state transitions to the more abstract history views on systems and their components.作者: GREEN 時間: 2025-3-25 02:42
Specification Refinement with System F – The Higher-Order Case these results to the higher-order case, we find it necessary firstly to develop an alternative simulation relation and secondly to extend the parametric PER-model interpretation, both in such a way as to observe data type abstraction barriers more closely.作者: Chronological 時間: 2025-3-25 07:15 作者: Frisky 時間: 2025-3-25 11:16 作者: 我們的面粉 時間: 2025-3-25 14:21 作者: synchronous 時間: 2025-3-25 19:04 作者: OATH 時間: 2025-3-25 22:54 作者: 難理解 時間: 2025-3-26 04:03 作者: Camouflage 時間: 2025-3-26 07:06 作者: 貪婪地吃 時間: 2025-3-26 08:30
Principles and Pragmatics of Subtyping in PVSbtyping is a central concept in the PVS type system. PVS admits the definition of subtypes corresponding to nonzero integers, prime numbers, injective maps, order-preserving maps, and even empty subtypes. We examine the principles underlying the PVS subtype mechanism and its implementation and use.作者: 除草劑 時間: 2025-3-26 13:41
Subsorted Partial Higher-Order Logic as an Extension of CASLartial logic which in turn is defined in terms of many-sorted partial first-order logic. A new notion of homomorphism is introduced to meet the need to get a faithful embedding of first-order CASL into higher-order CASL. Finally, it is discussed how a proof calculus for the proposed logic can be developed.作者: 蘑菇 時間: 2025-3-26 20:43 作者: cavity 時間: 2025-3-26 23:21 作者: 易受刺激 時間: 2025-3-27 01:09
Algebra-Coalgebra Structures and Bialgebrasn by Turi and Plotkin [18], uses a similar pair of an algebra and a coalgebra structures, which fits in a certain diagram that involves a natural transformation with distributive property. The paper investigates a relationship between these two similar formulations, and shows when they can be interchangeable and when they cannot.作者: 機(jī)制 時間: 2025-3-27 06:04 作者: Offensive 時間: 2025-3-27 10:28
Serge Autexier,Dieter Hutter,Heiko Mantel,Axel Schairer作者: 過濾 時間: 2025-3-27 15:16 作者: Aspirin 時間: 2025-3-27 17:47
Christine Choppy,Gianna Reggioe expected due to the consideration of additional cellular buffers. Fabiato’s curve is lower than the data of Pierce .. (1985). This might also be expected since Pierce .. (1985) measured buffering in whole homogenate which may include additional sites, both appropriately (i.e. intracellular sites n作者: 結(jié)果 時間: 2025-3-27 22:22 作者: Ostrich 時間: 2025-3-28 06:08
Markus Roggenbach,Lutz Schr?der,Till Mossakowskithan it is to the Na/K-ATPase or H/K-ATPase (Niggli ., 1981a; Verma ., 1988). The plasma membrane Ca-ATPase was first cloned by Shull & Greeb (1988) and there are four human isogenes (PMCA1–4) and also numerous splice variants (Carafoli, 1994). A central stretch of ~80 kDa is all that is required fo作者: mydriatic 時間: 2025-3-28 08:10 作者: 墊子 時間: 2025-3-28 10:26 作者: 內(nèi)部 時間: 2025-3-28 17:47 作者: 全能 時間: 2025-3-28 20:03 作者: 偏離 時間: 2025-3-28 23:11
Paulo Mateus,Amílcar Sernadas,Cristina Sernadas-type] have been identified and classified according to their agonist selectivity, physiological properties and amino acid sequence homology between subunits constituting subtypes of these GluRs (reviewed by Seeburg 1993; Hollmann and Heinemann 1994). Several subunits have been discovered within eac作者: 內(nèi)疚 時間: 2025-3-29 07:05 作者: 阻止 時間: 2025-3-29 10:57 作者: PAD416 時間: 2025-3-29 13:20 作者: graphy 時間: 2025-3-29 18:20 作者: 精致 時間: 2025-3-29 22:18
Ataru T. Nakagawalate receptors, as did those of later experiments with the quisqualate analogue, .H-AMPA (Foster and Fagg, 1984; Monaghan et al., 1989). In conformity with this concept, autoradiographic patterns obtained in brain sections with .H-kainate and .H-AMPA are quite distinct (Cotman et al., 1987).作者: Legend 時間: 2025-3-30 00:30 作者: 似少年 時間: 2025-3-30 04:45
A General Completeness Result in Refinementis, and the central notion here is that of algebraic structure on locally ordered categories, not on sets. Our definition of refinement is neither a restriction nor a generalisation of Hoare, He and Sanders’ definition, but we include all their important examples.作者: Flounder 時間: 2025-3-30 10:04
A Model for Interaction of Agents and Environmentsvalence. Two behaviours are insertion equivalent if they define the same transformation of an environment. The properties of this equivalence are studied. Three main types of insertion functions are used to develop interesting applications: one-step insertion, head insertion, and look-ahead insertio作者: 冒煙 時間: 2025-3-30 13:30 作者: 持續(xù) 時間: 2025-3-30 18:52
978-3-540-67898-4Springer-Verlag Berlin Heidelberg 2000作者: 領(lǐng)帶 時間: 2025-3-30 20:47
Recent Trends in Algebraic Development Techniques978-3-540-44616-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: paradigm 時間: 2025-3-31 03:48 作者: CYN 時間: 2025-3-31 08:58 作者: 陳舊 時間: 2025-3-31 09:30 作者: Medley 時間: 2025-3-31 13:22 作者: 幼稚 時間: 2025-3-31 17:36 作者: 職業(yè) 時間: 2025-4-1 00:59 作者: Ventilator 時間: 2025-4-1 05:38 作者: Culmination 時間: 2025-4-1 07:23 作者: Itinerant 時間: 2025-4-1 13:54
Markus Roggenbach,Lutz Schr?der,Till Mossakowskie Ca-pump was first reported in erythrocytes (Schatzmann, 1966), but is ubiquitous (Schatzmann, 1982, 1989; Carafoli & Stauffer, 1993; Guerini ., 1998). The red cell plasma membrane Ca-pump has been most extensively characterized and appears closely related to that in other tissues. Two key features作者: ECG769 時間: 2025-4-1 17:59
Jo Erskine Hannay can be regulated. This article will cover the evidence that cyclic nucleotides regulate the Ca. influx into the myocardial cells during each cardiac cycle and into vascular smooth muscle (VSM) cells. This regulation is presumable mediated by phosphorylation(s) of the Ca. slow channel protein and/or作者: pus840 時間: 2025-4-1 19:42 作者: 朦朧 時間: 2025-4-1 23:31
Yoshiki Kinoshita,John Powere and GABA can be explained from a two-compartment model. (Berl et al, 1961; Berl and Clarke, 1978; van den Berg and Garfinkel, 1971; Balazs et al, 1970). Such a simple classification is surprising in view of the heterogenous composition of the brain both in anatomical and biochemical terms. The two作者: MURAL 時間: 2025-4-2 04:17
Hugo Louren?o,Amílcar Sernadasly selective for upper motor neurones, a proportion of which are represented by Betz cells (Fig. lA) in the fifth layer of the motor cortex, and for lower motor neurones in the ventral horn of the spinal cord (Fig. 1B) and brainstem. The selective vulnerability of motor neurones in ALS is relative a作者: milligram 時間: 2025-4-2 10:38
