標題: Titlebook: Implementation and Application of Automata; 21st International C Yo-Sub Han,Kai Salomaa Conference proceedings 2016 Springer International [打印本頁] 作者: Monomania 時間: 2025-3-21 18:41
書目名稱Implementation and Application of Automata影響因子(影響力)
書目名稱Implementation and Application of Automata影響因子(影響力)學(xué)科排名
書目名稱Implementation and Application of Automata網(wǎng)絡(luò)公開度
書目名稱Implementation and Application of Automata網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Implementation and Application of Automata被引頻次
書目名稱Implementation and Application of Automata被引頻次學(xué)科排名
書目名稱Implementation and Application of Automata年度引用
書目名稱Implementation and Application of Automata年度引用學(xué)科排名
書目名稱Implementation and Application of Automata讀者反饋
書目名稱Implementation and Application of Automata讀者反饋學(xué)科排名
作者: 移植 時間: 2025-3-21 22:25
Deterministic Stack Transducersn automaton with the additional ability to move the stack head inside the stack without altering the contents. For stack transducers, we distinguish between a digging and a non-digging mode. In digging mode, the stack transducer can write on the output tape when its stack head is inside the stack, w作者: Intact 時間: 2025-3-22 02:25
Derived-Term Automata of Multitape Rational Expressionsitape expressions such as .. We define expansions, which generalize the concept of derivative of a rational expression, but relieved from the need of a free monoid. We propose an algorithm based on expansions to build multitape automata from multitape expressions.作者: Hypomania 時間: 2025-3-22 07:56 作者: 鬧劇 時間: 2025-3-22 11:56
Ternary Equational Languages distributivity conditions as generalized truth values, and finitely decomposable algebras as data domains. When the algebra of data domains is a word or a tree algebra, fixed point equations may be interpreted as grammars and we obtain wide classes of (fuzzy) languages and tree languages.作者: 隱士 時間: 2025-3-22 14:22 作者: BILK 時間: 2025-3-22 18:40
A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of Tree-Width 2 fota. Though it has been shown that the membership problem is solvable in linear time for graphs of bounded tree-width, the algorithm obtained in the previous study is unusable in practice because of a big hidden constant.作者: ALLAY 時間: 2025-3-22 21:20
A Practical Simulation Result for Two-Way Pushdown Automataven pushdown automaton accepts a word, while the actual run of the automaton may take exponential time. The algorithm is practical since it only explores reachable configurations, simulates a class of quasi-deterministic decision problems in linear time even if the pushdown automaton is nondetermini作者: 無可爭辯 時間: 2025-3-23 01:51 作者: 樸素 時間: 2025-3-23 08:13 作者: Valves 時間: 2025-3-23 13:27 作者: 不斷的變動 時間: 2025-3-23 15:13
A Logical Characterization of Small 2NFAse formulas apply the transitive-closure operator on a quantifier-free disjunctive normal form of ., where (i) apart from two special variables, all others are equated to constants in every clause, and (ii) no clause simultaneously relates these two special variables and refers to fixed input cells. 作者: GUEER 時間: 2025-3-23 21:09
Experiments with Synchronizing Automatanown results concerning bounds on the reset length. Our improvements make possible to consider a number of conjectures and open questions concerning synchronizing automata, checking them for automata with a small number of states and discussing the results. In particular, we have verified the ?erny 作者: essential-fats 時間: 2025-3-23 22:33
Implementation of Code Properties via Transducersmethods to manipulate transducers and we go one level higher than existing formal language systems and implement methods to manipulate objects representing classes of independent languages (widely known as code properties). Our methods allow users to define their own code properties and combine them作者: 遠足 時間: 2025-3-24 04:33
On Synchronizing Automata and Uniform Distributionite transducer (DFT) whose input/output alphabets are [.]. Denote the prefix of length . of an infinite word . by .. A function . is said to be compatible if from . it follows .. It is known that all functions defined by DFT are compatible. A function . is said to be a uniformly distributed function作者: Goblet-Cells 時間: 2025-3-24 09:55
l health issues due to their size dependent larger surface area and high reactivity. In this chapter, an introduction on the likely interactions of nanoparticles with biotic environment, various possibilities of these man-made nanoparticles coming in contact with the environment, and thereby consequ作者: BRAVE 時間: 2025-3-24 14:41
at are useful in building complex embeddedsystems. These techniques provide a competitive advantage over purelyhardware or software implementations of time-constrained embeddedsystems. .Recent advances in chip-level synthesis have made it possible tosynthesize application-specific circuits under str作者: JADED 時間: 2025-3-24 17:16 作者: Acclaim 時間: 2025-3-24 19:28
Cottrell, 1977; Hokfelt ., 1980), Dale’s postulate that each neurone contains one and only one putative neurotransmitter can no longer be considered an acceptable generalisation. There are two versions of what has become to be known as Dale’s principle stating that a neurone contains and releases t作者: 比目魚 時間: 2025-3-25 01:43 作者: 廢墟 時間: 2025-3-25 04:06 作者: 發(fā)電機 時間: 2025-3-25 08:53
have some common characteristics, such as the occurrence of few grazers, high arboreal species richness, and high numbers of frugivore specialists (Whitmore 1998; Primack and Corlett 2005). In general, the body size of mammals in tropical rain forests is relatively smaller than that of the individua作者: 憤憤不平 時間: 2025-3-25 15:04
Akim Demaille as ad networks, marketing agencies and companies specialized in delivering software for managing and displaying advertising campaigns. Efficient use of advertising budgets and maximizing profits from ad impressions are the common goal of all players. This goal is usually achieved by manual manageme作者: 羽毛長成 時間: 2025-3-25 17:15 作者: UTTER 時間: 2025-3-25 21:39 作者: 火海 時間: 2025-3-26 02:24
Henning Fernau,Andreas Krebshe need for public services is high while at the same time the uptake of their digital counterparts is low. One of the reasons is that many digital public services (or e-services) do not respond well to the life worlds, use contexts and use practices of its target audiences. An increasingly popular 作者: 供過于求 時間: 2025-3-26 05:05
Akio Fujiyoshied use of mobile health apps, there is still a lack of research on patient self-monitoring, and few studies have focused on children with chronic diseases and their parents. In this study, we draw from a case of the design of a mobile application – a symptom tracker – to continuously monitor childre作者: Nuance 時間: 2025-3-26 11:05
Robert Glückity for living and a part of goal 6 of the sustainable development goal, poor water monitoring systems have been one of the reasons for water wastage around communities. The inadequate control of water in and out of the storage has been a part of the cause of water wastage. In Anchor University Lago作者: 混雜人 時間: 2025-3-26 16:31
Michal Hospodár,Galina Jirásková,Peter Mlynár?ike from the current problems associated with the Covid-19 pandemic, highlight digitalization as one of their main priorities. However, technology and digitalization do not only apply to organizations, but also to the lives of individuals and communities. After all, many places today are faced with ma作者: 幻想 時間: 2025-3-26 17:05 作者: Original 時間: 2025-3-26 23:19 作者: SPALL 時間: 2025-3-27 04:32
Christos A. Kapoutsis,Lamana Mulafferudies from various contexts and disciplines, making them rel.This book represents an applied, up-to-date work on RRI developments and their potential positive impact on societies. The societal challenges of the 21st century require the ability to integrate the knowledge and expertise of different so作者: 相容 時間: 2025-3-27 08:23
Andrzej Kisielewicz,Jakub Kowalski,Marek Szyku?athe SISCODE (Society in Innovation and Science through CO-DEsign) project, funded by the EU under the H2020 programme, the goal of which is to set up an analytical, reflective and learning framework to explore the transformations in initiatives and policies emerging from the interaction between citi作者: 嬉耍 時間: 2025-3-27 12:28 作者: 無彈性 時間: 2025-3-27 17:41 作者: 發(fā)出眩目光芒 時間: 2025-3-27 18:04 作者: 分發(fā) 時間: 2025-3-27 23:04 作者: 抗體 時間: 2025-3-28 05:13 作者: DEAWL 時間: 2025-3-28 08:39
0302-9743 pplication of Automata, CIAA 2016,.held in Seoul, South Korea, in July 2016..The 26 revised full papers presented?were carefully reviewed and selected from.49 submissions. The papers cover a wide range of topics including?characterizations of automata,?computing distances between strings and languag作者: grudging 時間: 2025-3-28 12:33 作者: Resistance 時間: 2025-3-28 18:07
A Logical Characterization of Small 2NFAsWe prove that automata with polynomially many states are as powerful as formulas with polynomially many clauses and polynomially large constants. This can be seen as a refinement of Immerman’s theorem that nondeterministic logarithmic space matches positive transitive-closure logic (.?=?.).作者: ureter 時間: 2025-3-28 20:54
Problems on Finite Automata and the Exponential Time Hypothesisrestricted to unary input alphabets. A different type of problems on finite automata relates to aperiodicity and to synchronizing words. We also consider finite automata that work on commutative alphabets and those working on two-dimensional words.作者: chassis 時間: 2025-3-28 23:40
A Practical Simulation Result for Two-Way Pushdown Automatares reachable configurations, simulates a class of quasi-deterministic decision problems in linear time even if the pushdown automaton is nondeterministic, and iterates over a simple work list. This is an improvement over previous simulation algorithms.作者: Lethargic 時間: 2025-3-29 06:49 作者: 殘忍 時間: 2025-3-29 10:40
Experiments with Synchronizing Automataynchronizing automata, checking them for automata with a small number of states and discussing the results. In particular, we have verified the ?erny conjecture for all binary automata with at most 12 states, and all ternary automata with at most 8 states.作者: 刻苦讀書 時間: 2025-3-29 11:44 作者: 彩色 時間: 2025-3-29 17:10 作者: 手段 時間: 2025-3-29 22:06 作者: Organonitrile 時間: 2025-3-30 00:58 作者: characteristic 時間: 2025-3-30 05:57 作者: 發(fā)酵 時間: 2025-3-30 09:23 作者: foppish 時間: 2025-3-30 12:50
Decision Problems for Finite Automata over Infinite Algebraic StructuresWe introduce the concept of finite automata over algebraic structures. We address the classical emptiness problem and its various refinements in our setting. In particular, we prove several decidability and undecidability results. We also explain the way our automata model connects with the existential first order theory of algebraic structures.作者: dainty 時間: 2025-3-30 17:43 作者: fatty-streak 時間: 2025-3-30 21:37 作者: recession 時間: 2025-3-31 01:28
A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of Tree-Width 2 fota. Though it has been shown that the membership problem is solvable in linear time for graphs of bounded tree-width, the algorithm obtained in the previous study is unusable in practice because of a big hidden constant.作者: AWRY 時間: 2025-3-31 07:44 作者: mortgage 時間: 2025-3-31 11:11 作者: tolerance 時間: 2025-3-31 14:01
Solving Parity Games Using an Automata-Based Algorithmgorithm based on alternating automata. More precisely, we consider an algorithm introduced by Kupferman and Vardi that solves a parity game by solving the emptiness problem of a corresponding alternating parity automaton. Our empirical evaluation demonstrates that this algorithm outperforms other al作者: kindred 時間: 2025-3-31 20:49
pproach so as to eliminate cross-contaminants from the use of toxic solvents and surfactants. Further, utilization of advanced technique such as the transmission electron microscopy (TEM) and microarray-based transcriptional profiling to evaluate the bacterial response mechanisms will be described.作者: capsaicin 時間: 2025-3-31 22:07 作者: 取消 時間: 2025-4-1 02:19 作者: Graves’-disease 時間: 2025-4-1 06:34
Suna Bensch,Johanna Bj?rklund,Martin Kutribn maintaining not only future crop trees (Rockwell et al. 2007; Pe?a-Claros et al. 2008) and forest biomass (Johns et al. 1996; Pinard and Putz 1996; Bertault and Sist 1997; Sist et al. 1998; Putz et al. 2008b; Imai et al. 2009), but also biological diversity, such as dung beetles (Davis 2000), flyi作者: 有節(jié)制 時間: 2025-4-1 11:27
ts. On the other hand, the diversity of ungulates and small primates in this region is lower than those in the other tropical regions (Primack and Corlett 2005). Primack and Corlett (2005) suggest that the irregular fruiting cycle of the Southeast Asian rain forests is one of the reasons for this pa
