標(biāo)題: Titlebook: Jewels are Forever; Contributions on The Juhani Karhum?ki,Hermann Maurer,Grzegorz Rozenberg Book 1999 Springer-Verlag Berlin Heidelberg 199 [打印本頁] 作者: 不服從 時間: 2025-3-21 18:49
書目名稱Jewels are Forever影響因子(影響力)
書目名稱Jewels are Forever影響因子(影響力)學(xué)科排名
書目名稱Jewels are Forever網(wǎng)絡(luò)公開度
書目名稱Jewels are Forever網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Jewels are Forever被引頻次
書目名稱Jewels are Forever被引頻次學(xué)科排名
書目名稱Jewels are Forever年度引用
書目名稱Jewels are Forever年度引用學(xué)科排名
書目名稱Jewels are Forever讀者反饋
書目名稱Jewels are Forever讀者反饋學(xué)科排名
作者: Robust 時間: 2025-3-21 21:37 作者: 慷慨不好 時間: 2025-3-22 00:46
Semilattices of Fault Semiautomataled ., by a set . = {.., …,..} of ‘faulty’ semiautomata. To define multiple faults from ., we need a binary composition operation, say ⊙, on semiautomata, which is idempotent, commutative, and associative. Thus, one has the free semilattice .. generated by .. In general, however, the single faults a作者: dagger 時間: 2025-3-22 06:26 作者: 褪色 時間: 2025-3-22 12:05 作者: 補(bǔ)助 時間: 2025-3-22 14:08
Synchronized Shuffle and Regular Languagesroved that the family of regular star languages is the smallest family containing the language (. + .)* and closed under synchronized shuffle and length preserving morphism. The second representation result states that the family of ε-free regular languages is the smallest family containing the lang作者: Ophthalmoscope 時間: 2025-3-22 19:46
Synchronization Expressions: Characterization Results and Implementationr semantics is defined using the synchronization languages. In this paper we survey results on synchronization languages, in particular, various approaches to obtain a characterization of this language family using closure under a set of rewriting rules. Also, we discuss the use and implementation o作者: 木訥 時間: 2025-3-22 23:05 作者: anachronistic 時間: 2025-3-23 02:23
Tree-Walking Pebble Automatae proper. They include all locally first-order definable tree languages. We allow the tree-walking automaton to use a finite number of pebbles, which have to be dropped and lifted in a nested fashion. The class of tree languages accepted by these tree-walking pebble automata contains all first-order作者: 過剩 時間: 2025-3-23 08:50
On the Equivalence of Finite Substitutions and Transducerss well as its relations to the equivalence problems of sequential transducers. Among other things it is proved to be decidable whether for a regular language . and two substitutions . and . the latter one being a prefix substitution, the relation Unknown control sequence φ(.) ? . (.) holds for all .作者: prosperity 時間: 2025-3-23 13:01 作者: Indigence 時間: 2025-3-23 17:21 作者: Mendacious 時間: 2025-3-23 18:06
Linear Automata, Rational Series and a Theorem of Fine and Wilfce the notion of greatest common divisor of two linear semiautomata and prove its existence and uniqueness. If a partial function is periodic with respect to two linear semiautomata .. and .. then, under suitable conditions on its domain, it is also periodic with respect to the greatest common divis作者: 根除 時間: 2025-3-23 23:43 作者: 徹底檢查 時間: 2025-3-24 04:17
Juhani Karhum?ki,Hermann Maurer,Grzegorz RozenbergA comprehensive state of the art in theoretical computer science.Original articles by leading experts in automata theory, formal languages and combinatorics of words.Includes supplementary material: 作者: 壓碎 時間: 2025-3-24 07:49
http://image.papertrans.cn/j/image/500895.jpg作者: Anal-Canal 時間: 2025-3-24 10:40
On Some Special Classes of Regular Languagesch case considered, the directing words constitute a regular language and one can study the families of such regular languages. In this paper, six classes of regular languages are defined in accordance with the different definitions of directability given in [5], and we investigate the properties of the classes considered.作者: 嘮叨 時間: 2025-3-24 16:11 作者: DEAF 時間: 2025-3-24 19:08 作者: foliage 時間: 2025-3-25 03:05 作者: Common-Migraine 時間: 2025-3-25 03:56
Counter Machines: Decision Problems and ApplicationsWe give a brief survey of the (un)decidable properties of multicounter machines. In particular, we present some of the strongest decidable results (concerning emptiness, containment, and equivalence) known to date regarding these machines. We also discuss some applications.作者: 絕種 時間: 2025-3-25 08:40 作者: propose 時間: 2025-3-25 14:49 作者: 才能 時間: 2025-3-25 15:49 作者: evaculate 時間: 2025-3-25 21:14
Jürgen Dassowe and function. Techniques are now available to capture features of the anatomy and function of whole brain scales, mapping neuronal dynamics and gene expression as well as growth and degeneration processes that span multi-layer time scales both for post mortem and in vivo cases. The number of brain作者: 漫不經(jīng)心 時間: 2025-3-26 00:45
Giovanna Melideo,Cesidia Pasquarelli,Stefano Varricchio作者: Coterminous 時間: 2025-3-26 06:56 作者: GRUEL 時間: 2025-3-26 09:25
nd combinatorics of words.Includes supplementary material: Dedicated to Arto Salomaa, a towering figure of theoretical computer science, on the occasion of his 65th birthday, this book is a tribute to him on behalf of the theoretical computer science community. The contributions are written by inter作者: Indicative 時間: 2025-3-26 12:38
Synchronization Expressions: Characterization Results and Implementationaches to obtain a characterization of this language family using closure under a set of rewriting rules. Also, we discuss the use and implementation of synchronization expressions in a programming language designed for a parallel or distributed computing environment.作者: 表被動 時間: 2025-3-26 17:52
Tree-Walking Pebble Automatahave to be dropped and lifted in a nested fashion. The class of tree languages accepted by these tree-walking pebble automata contains all first-order definable tree languages and is still included in the class of regular tree languages. It also contains all deterministic top-down recognizable tree languages.作者: fulcrum 時間: 2025-3-26 23:43
Complementation of Büchi Automata Revisitedardi (1997), we present a streamlined version of this complementation proof. An essential point is a determinacy result on infinite games with a weak winning condition. In a unifying logical setting, the three approaches are shown to correspond to three different types of second-order definitions of .-languages.作者: PARA 時間: 2025-3-27 05:05 作者: 館長 時間: 2025-3-27 08:58 作者: 施加 時間: 2025-3-27 13:32
Semilattices of Fault Semiautomataact quotient semilattices. We then survey the known results about random-access memories (RAMs) for the Thatte-Abraham fault model consisting of stuck-at, transition, and coupling faults. We present these results in a simplified semiautomaton model and give new characterizations of two fault semilattices.作者: 樣式 時間: 2025-3-27 16:50 作者: fatty-acids 時間: 2025-3-27 21:11 作者: perimenopause 時間: 2025-3-27 22:53 作者: Enliven 時間: 2025-3-28 02:35
Numerical Parameters of Evolutionary Grammarse show that these parameters cannot be bounded in order to generate all possible languages..Furthermore we study the function which gives the number of words which can be generated by a certain number of derivation steps. We present some bounds and examples for such functions.作者: 駭人 時間: 2025-3-28 08:41 作者: Recess 時間: 2025-3-28 12:51
Book 1999ehalf of the theoretical computer science community. The contributions are written by internationally recognized scientists and cover most of Salomaa‘s many research areas. Due to its representative selection of classic and cutting edge trends in theoretical computer science, the book constitutes a 作者: Infraction 時間: 2025-3-28 15:42
An Approach for Using Modified Nucleotides in Aqueous DNA Computingt. Here, we consider a new approach to aqueous computing where modified nucleotides are used to ‘write‘ on double-stranded DNA molecules to establish the logical values of true or false for a set of clauses. We introduce an implementation scenario where binding proteins specific to each modification作者: 現(xiàn)代 時間: 2025-3-28 22:05
Marxism in Paris, 1889,istently worked towards more nuanced versions of Marxism, seeking to overcome the theoretical aporias that were, to some extent, by-products of the initial theoretical simplifications. The latter endeavours resulted in a particular sort of practical knowledge and a richer sense of collective situate作者: 猜忌 時間: 2025-3-29 00:38
Model Checking Two Layers of Mean-Field Modelsaccurate analysis of such systems, while avoiding the state-space explosion problem. To date, the mean-field method has primarily been used for classical performance evaluation purposes. In this chapter, we discuss model-checking mean-field models. We define and motivate two logics, called . (MF-CSL作者: 進(jìn)步 時間: 2025-3-29 06:31
Analysis of TFRNs Associated with Steroid Hormone-Related Cancers,d/or progression of steroid hormone-related cancers. Their cognate receptors function as hormone-dependent transcription factors, which directly regulate the expression of their target genes. Genome-wide analysis of hormone receptor-related networks will provide new insights into the understanding o作者: Slit-Lamp 時間: 2025-3-29 07:55
internet applications using component-based, modularized Ja.Practical Ext JS 4. will get you up and running, using Ext JS 4.2 for your projects, as quickly as possible. After a quick refresher on some JavaScript basics, you will get to grips with Ext JS 4’s OO concepts (such as mixins) and familiar作者: progestin 時間: 2025-3-29 12:20 作者: xanthelasma 時間: 2025-3-29 17:36 作者: Palpate 時間: 2025-3-29 20:54 作者: seroma 時間: 2025-3-30 00:39
Rui Wang,Guoliang Yustributed communication. We model an enterprise as a collection of cooperating distributed application domains, deriving a federated architecture . to support enterprise-wide distributed computing, where tightly and loosely integrated groups of applications, as well as legacy applications, can co-ex作者: 改正 時間: 2025-3-30 06:01
Enhancing Sustainability: Concept Design Optimization Workflow for Human-Centered Low Carbon Solutiost mechanical engineers in their computations. A practical example demonstrates how the workflow was applied to achieve high daylight comfort and reduced solar gains in a subtropical climate for a 220?m high office building. Additionally, the study suggests steps for quantitatively assessing operati作者: 無關(guān)緊要 時間: 2025-3-30 12:12
0924-199X lowed to play an even more dominant role in the future. The reader is then provided with a more modern version of what economists mean by the concept of natural978-94-010-7632-6978-94-009-2508-3Series ISSN 0924-199X 作者: 異端邪說下 時間: 2025-3-30 12:24
Ein Warteschlangenansatz zur integrierten Produktionsplanung978-3-642-95888-5Series ISSN 1431-7915 作者: reptile 時間: 2025-3-30 18:56 作者: 緊張過度 時間: 2025-3-31 00:35
