標(biāo)題: Titlebook: Recent Trends in Algebraic Development Techniques; 20th International W Till Mossakowski,Hans-J?rg Kreowski Conference proceedings 2012 Spr [打印本頁(yè)] 作者: LANK 時(shí)間: 2025-3-21 16:11
書(shū)目名稱Recent Trends in Algebraic Development Techniques影響因子(影響力)
書(shū)目名稱Recent Trends in Algebraic Development Techniques影響因子(影響力)學(xué)科排名
書(shū)目名稱Recent Trends in Algebraic Development Techniques網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Recent Trends in Algebraic Development Techniques網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Recent Trends in Algebraic Development Techniques被引頻次
書(shū)目名稱Recent Trends in Algebraic Development Techniques被引頻次學(xué)科排名
書(shū)目名稱Recent Trends in Algebraic Development Techniques年度引用
書(shū)目名稱Recent Trends in Algebraic Development Techniques年度引用學(xué)科排名
書(shū)目名稱Recent Trends in Algebraic Development Techniques讀者反饋
書(shū)目名稱Recent Trends in Algebraic Development Techniques讀者反饋學(xué)科排名
作者: 向宇宙 時(shí)間: 2025-3-21 22:02 作者: Contend 時(shí)間: 2025-3-22 00:24 作者: 擦試不掉 時(shí)間: 2025-3-22 07:42 作者: gustation 時(shí)間: 2025-3-22 09:34 作者: Foreknowledge 時(shí)間: 2025-3-22 16:58
Roberto Bruni,Anne Kersten,Ivan Lanese,Giorgio Spagnolo cell receives approximately 10,000 synaptic inputs, of which about 75% are excitatory .. The vast majority of these excitatory inputs arise from other cortical neurons, with each presynaptic cell donating only a few synapses, leading to a very large degree of convergence of synaptic input onto each作者: CLAMP 時(shí)間: 2025-3-22 17:16
Pablo F. Castro,Tom S. E. Maibaumrs. Accumulated evidence suggests that endogenous cannabinoids function as diffusible and short-lived intercellular messengers that modulate synaptic transmission. Recent studies have provided strong experimental evidence that endogenous cannabinoids (endocannabinoids) are released from postsynaptic作者: 粗魯性質(zhì) 時(shí)間: 2025-3-23 00:49 作者: CLAM 時(shí)間: 2025-3-23 01:26 作者: 漫步 時(shí)間: 2025-3-23 07:30 作者: synovitis 時(shí)間: 2025-3-23 09:43
Mihai Codescu,Fulya Horozal,Michael Kohlhase,Till Mossakowski,Florian Rabe,Kristina Sojakovaes this a timely subject to review. The wide range of atoms treated and the accuracies required place stringent demands on any comprehensive theory, forcing it to consider effects of relaxation, relativity, radiation, correlation, nuclear size and the bulk. To date, there is no theory capable of tre作者: Ornithologist 時(shí)間: 2025-3-23 17:53 作者: 確定方向 時(shí)間: 2025-3-23 20:42
Timothy Bourke,Alexandre David,Kim G. Larsen,Axel Legay,Didier Lime,Ulrik Nyman,Andrzej W?sowskidvances in instrumentation and the availability of commercial nanosecond spectrofluorimeters as well as the development of many new fluorescent probes. Methodologically, these studies fall into two main categories: (1) lifetime measurements, to be addressed in this chapter, and (2) time-resolved flu作者: febrile 時(shí)間: 2025-3-24 01:11 作者: Nibble 時(shí)間: 2025-3-24 03:13
Ana Paula Maldonado,Luís Monteiro,Markus Roggenbachncerned with luminescence, other aspects of the excited state have not been excluded. In the five years which have elapsed since the publication of the classical monograph of Konev, a wealth of new information has ap- peared on the emission properties of proteins and nucleic acids. Indeed, since new作者: 護(hù)航艦 時(shí)間: 2025-3-24 07:19 作者: 慢慢流出 時(shí)間: 2025-3-24 11:50
Liam O’Reilly,Till Mossakowski,Markus Roggenbachpment of boxing in England is consistent with arguments regarding the advancing threshold of repugnance towards both inflicting and watching severe violence. This “threshold of sensitivity” reflects broader figurational changes in state formation and violence monopolisation that shapes the organisat作者: 單調(diào)性 時(shí)間: 2025-3-24 15:09
Daniel Seidel,Janis Voigtl?nderpment of boxing in England is consistent with arguments regarding the advancing threshold of repugnance towards both inflicting and watching severe violence. This “threshold of sensitivity” reflects broader figurational changes in state formation and violence monopolisation that shapes the organisat作者: consent 時(shí)間: 2025-3-24 20:09 作者: DNR215 時(shí)間: 2025-3-25 02:38
pment of boxing in England is consistent with arguments regarding the advancing threshold of repugnance towards both inflicting and watching severe violence. This “threshold of sensitivity” reflects broader figurational changes in state formation and violence monopolisation that shapes the organisat作者: 針葉 時(shí)間: 2025-3-25 03:39 作者: 北京人起源 時(shí)間: 2025-3-25 08:28
0302-9743 rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance validation, and verification.978-3-642-28411-3978-3-642-28412-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 迎合 時(shí)間: 2025-3-25 14:48
of the NMDA receptor may find clinical utility in the future. Currently available NMDA receptor blockers, acting either at the glutamate binding site or the open ion channel, either have difficulty penetrating the blood-brain barrier or have unacceptable side effects such as psychosis. The glycine 作者: 季雨 時(shí)間: 2025-3-25 16:37 作者: 啞巴 時(shí)間: 2025-3-25 23:17 作者: 蜈蚣 時(shí)間: 2025-3-26 01:45 作者: 主動(dòng) 時(shí)間: 2025-3-26 04:23
Paolo Baldan,Clara Bertolissihyl-.-aspartate (NMDA) receptors — induces membrane depolarization, which in turn can lead to opening of voltage-sensitive calcium channels [1,3,4]. In addition, NMDA receptors [5,6], and possibly some species of kainate receptors [7], are themselves permeable to calcium ions. Thus, activation of an作者: 密切關(guān)系 時(shí)間: 2025-3-26 11:25
Roberto Bruni,Anne Kersten,Ivan Lanese,Giorgio Spagnolodal cells are a large variety of GABAergic inhibitory interneurons.. One prominent pattern of connectivity in the cerebral cortex is that local axons from pyramidal cells innervate not only other pyramidal cells, but also GABAergic interneurons, which in turn innervate local pyramidal cells. This pa作者: 動(dòng)物 時(shí)間: 2025-3-26 14:26 作者: 諷刺 時(shí)間: 2025-3-26 20:40
Christine Choppy,Gianna Reggiomicroscopy level, and variable subcellular organizations have been described. It was shown that the subcellular distribution of GABAA receptors varies according to the isotypes. Some GABARs are accumulated at PSDs while other spread throughout the somato-dendritic membrane independently of synapses.作者: Motilin 時(shí)間: 2025-3-26 23:38
Mihai Codescu only poorly understood. In this chapter, we will discuss our recent experimental investigation of the synaptic and network properties of a subtype of inhibitory interneuron, the fast-spiking cell (FS), that may provide powerful anti-epileptic and stabilizing mechanisms. First, we will discuss the o作者: 清晰 時(shí)間: 2025-3-27 01:58
Mihai Codescu,Fulya Horozal,Michael Kohlhase,Till Mossakowski,Florian Raberespect, they differ from many aromatic compounds for which internal conversion from the first excited singlet state is unimportant. Therefore, most of the work has been performed either at extreme pH values where the nucleic bases exhibit measurable fluorescence emission or at 77K in glasses where 作者: 確保 時(shí)間: 2025-3-27 07:16 作者: 熱情的我 時(shí)間: 2025-3-27 10:05
Andrea Corradini,Fabio Gadducci,Leila Ribeiroryland vii Contents Chapter 1 Some Principles Governing the Luminescence of Organic Molecules R. M Hochstrasser 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2. Spontaneous Emission . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 作者: defray 時(shí)間: 2025-3-27 16:19
Timothy Bourke,Alexandre David,Kim G. Larsen,Axel Legay,Didier Lime,Ulrik Nyman,Andrzej W?sowskiypes of measurements is vastly different. Lifetime experiments tell us about the dynamic properties of the fluorescent moiety itself, while anisotropy measurements provide information regarding the shape and hydrodynamic properties of the proteins to which the fluorescent moiety is attached. An exha作者: FADE 時(shí)間: 2025-3-27 21:51 作者: 激怒 時(shí)間: 2025-3-27 22:05
Ana Paula Maldonado,Luís Monteiro,Markus Roggenbachtions, rather than a compendium of data with minimal comment. Finally, it should be stressed that the rapid evolution of the subject at the time of writing makes it inevitable that the book will age to some degree over the next few years, although this will occur at differing rates for the various c作者: Asymptomatic 時(shí)間: 2025-3-28 03:08 作者: Agility 時(shí)間: 2025-3-28 07:55
Liam O’Reilly,Till Mossakowski,Markus Roggenbachr classes. The “hybridisation” of cultural models of physical conflict was enabled by figurations of sporting entrepreneurs, fighters, patrons and spectators, and also aided by the pressures towards the relative equalising of fighting chances brought about by the excitement of gambling. The chapter 作者: 歡樂(lè)東方 時(shí)間: 2025-3-28 11:00
Daniel Seidel,Janis Voigtl?nderr classes. The “hybridisation” of cultural models of physical conflict was enabled by figurations of sporting entrepreneurs, fighters, patrons and spectators, and also aided by the pressures towards the relative equalising of fighting chances brought about by the excitement of gambling. The chapter 作者: Cardioplegia 時(shí)間: 2025-3-28 17:49
Adrián Riescor classes. The “hybridisation” of cultural models of physical conflict was enabled by figurations of sporting entrepreneurs, fighters, patrons and spectators, and also aided by the pressures towards the relative equalising of fighting chances brought about by the excitement of gambling. The chapter 作者: 飛行員 時(shí)間: 2025-3-28 19:42 作者: CERE 時(shí)間: 2025-3-28 23:57 作者: 鞭子 時(shí)間: 2025-3-29 06:42
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactionserved after a fault actually occurred. Moreover, the operational semantics is defined in terms of (1-safe) Petri nets and hence retains causality and concurrency information about the events that can occur, not evident in the standard trace semantics.作者: 吃掉 時(shí)間: 2025-3-29 10:17 作者: 改變 時(shí)間: 2025-3-29 13:58
An Institution for Graph Transformation graph as an algebra in itself) frustrated the efforts of the researchers. Resorting to the theory of institutions, the paper introduces a model for the operational semantics of graph transformation systems specified according to the so-called double-pullback approach.作者: Cuisine 時(shí)間: 2025-3-29 17:20
New Results on Timed Specificationsüchi objectives of timed games. This new algorithm can be used to enforce liveness in an interface, or to guarantee that the interface can indeed be implemented. We illustrate the framework with an infrared sensor case study.作者: 惰性女人 時(shí)間: 2025-3-29 22:44 作者: Cpr951 時(shí)間: 2025-3-30 00:33 作者: 定點(diǎn) 時(shí)間: 2025-3-30 06:40
My ADT Shrinew was on objects and systems. The interest in data issues paled in comparison. There were cases, however, where benefits could be drawn from the early work on ADTs and the foundations established in this field.作者: NATAL 時(shí)間: 2025-3-30 12:00 作者: 危險(xiǎn) 時(shí)間: 2025-3-30 13:16
0302-9743 proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic spec作者: 不給啤 時(shí)間: 2025-3-30 17:53
Building a Modal Interface Theory for Concurrency and Dataent behavior of components with data states on the basis of interface theories. The dynamic aspects of a system are specified by modal I/O-transition systems, whereas changes of data states are specified by pre- and postconditions. In this setting we study refinement and behavioral compatibility of 作者: Statins 時(shí)間: 2025-3-31 00:38 作者: 密切關(guān)系 時(shí)間: 2025-3-31 04:21 作者: Favorable 時(shí)間: 2025-3-31 08:53
Sharing in the Graph Rewriting Calculuserms. We study a reduction strategy for the graph rewriting calculus which is intended to maintain the sharing in the terms as long as possible. We show that the corresponding reduction relation is adequate w.r.t. the original semantics of the graph rewriting calculus, formalising the intuition that作者: heterogeneous 時(shí)間: 2025-3-31 09:19
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions assess their merits w.r.t. existing proposals. The new semantics is ., in the sense that it guarantees that distributed compensations may only be observed after a fault actually occurred. Moreover, the operational semantics is defined in terms of (1-safe) Petri nets and hence retains causality and 作者: 毀壞 時(shí)間: 2025-3-31 16:36
Towards a First-Order Deontic Action Logicended logic is that it not only provides the standard quantifiers of first-order logic, but it also has similar algebraic operators for actions as for the propositional version of [1]. Since the pioneering works of Hintikka and Kanger, little advance has been made in developing first-order deontic l作者: 原始 時(shí)間: 2025-3-31 21:17 作者: ARY 時(shí)間: 2025-3-31 23:12
Lambda Expressions in , Architectural Specificationsin two manners: the first is purely model-theoretic and the second attempts to discharge model semantics conditions statically based on a diagram of dependencies between components (extended static semantics). In the case of lambda expressions, which are used to define the way generic units are buil作者: concert 時(shí)間: 2025-4-1 05:31 作者: TEN 時(shí)間: 2025-4-1 09:52
Towards Logical Frameworks in the Heterogeneous Tool Set Hetsploying the Curry-Howard isomorphism: propositions are represented as types, and proofs as terms..Hets is an integration tool for logics, logic translations and provers, with a model theoretic focus, based on the meta-framework of institutions, a formalisation of the notion of logical system..In thi
