標(biāo)題: Titlebook: STACS 2007; 24th Annual Symposiu Wolfgang Thomas,Pascal Weil Conference proceedings 2007 Springer-Verlag Berlin Heidelberg 2007 Automat.alg [打印本頁] 作者: Pierce 時(shí)間: 2025-3-21 19:33
書目名稱STACS 2007影響因子(影響力)
書目名稱STACS 2007影響因子(影響力)學(xué)科排名
書目名稱STACS 2007網(wǎng)絡(luò)公開度
書目名稱STACS 2007網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱STACS 2007被引頻次
書目名稱STACS 2007被引頻次學(xué)科排名
書目名稱STACS 2007年度引用
書目名稱STACS 2007年度引用學(xué)科排名
書目名稱STACS 2007讀者反饋
書目名稱STACS 2007讀者反饋學(xué)科排名
作者: 開始沒有 時(shí)間: 2025-3-22 00:03
Testing Convexity Properties of Tree Colorings whether the dependency on . can be reduced in some cases, and provide an alternative testing algorithm for the case of paths. Then we investigate a variant of convexity, namely ., in which all but one of the colors are required to induce connected components. For this problem we provide a 1-sided, 作者: Cabg318 時(shí)間: 2025-3-22 04:01
Why Almost All ,-Colorable Graphs Are Easyy partially non-rigorous analytical tools from statistical physics, is the complicated clustering of the solution space at that regime, unlike the more “regular” structure that denser graphs possess. Thus in some sense, our result rigorously supports this explanation.作者: 生來 時(shí)間: 2025-3-22 08:24
Broadcasting vs. Mixing and Information Dissemination on Cayley Graphsng (among others) Star graphs, Transposition graphs, and Pancake graphs. We show that randomized broadcasting has optimal runtime on all graphs belonging to this class. Finally, we develop a new proof technique by combining martingale tail estimates with combinatorial methods. Using this approach, w作者: floaters 時(shí)間: 2025-3-22 10:35 作者: extemporaneous 時(shí)間: 2025-3-22 14:00
Adrian Dumitrescu,Csaba D. Tóthrtalized human cancer cell lines. We do not know why the success rate for establishing cell lines is so low for some types of cancer and so high for others. The histopathology of the tumor of origin and the extent to which the derived cell line retains the differentiated features of that tumor are c作者: debase 時(shí)間: 2025-3-22 18:02
Hugo Gimbertrtalized human cancer cell lines. We do not know why the success rate for establishing cell lines is so low for some types of cancer and so high for others. The histopathology of the tumor of origin and the extent to which the derived cell line retains the differentiated features of that tumor are c作者: 我不怕犧牲 時(shí)間: 2025-3-22 21:13 作者: Torrid 時(shí)間: 2025-3-23 01:58 作者: 擴(kuò)大 時(shí)間: 2025-3-23 09:28
Serge Abiteboulding into the estimation of losses in future events in different parts of the world;it discusses ways in which pre-event mitigation activity and post-event emergency management can reduce the toll of casualties in future events; and it identifies future research needs.978-94-007-3478-4978-90-481-9455-1Series ISSN 1878-9897 Series E-ISSN 2213-6959 作者: intimate 時(shí)間: 2025-3-23 12:18
Moshe Y. Vardiding into the estimation of losses in future events in different parts of the world;it discusses ways in which pre-event mitigation activity and post-event emergency management can reduce the toll of casualties in future events; and it identifies future research needs.978-94-007-3478-4978-90-481-9455-1Series ISSN 1878-9897 Series E-ISSN 2213-6959 作者: 運(yùn)動(dòng)吧 時(shí)間: 2025-3-23 17:02
Dorothea Wagner,Thomas Willhalmding into the estimation of losses in future events in different parts of the world;it discusses ways in which pre-event mitigation activity and post-event emergency management can reduce the toll of casualties in future events; and it identifies future research needs.978-94-007-3478-4978-90-481-9455-1Series ISSN 1878-9897 Series E-ISSN 2213-6959 作者: 性滿足 時(shí)間: 2025-3-23 21:49
Bruno Courcelle,Andrew Twiggding into the estimation of losses in future events in different parts of the world;it discusses ways in which pre-event mitigation activity and post-event emergency management can reduce the toll of casualties in future events; and it identifies future research needs.978-94-007-3478-4978-90-481-9455-1Series ISSN 1878-9897 Series E-ISSN 2213-6959 作者: Intellectual 時(shí)間: 2025-3-24 00:35 作者: 運(yùn)動(dòng)性 時(shí)間: 2025-3-24 04:17 作者: 高度贊揚(yáng) 時(shí)間: 2025-3-24 07:57
Jean Berstel,Luc Boasson,Olivier Carton,Isabelle Fagnotding into the estimation of losses in future events in different parts of the world;it discusses ways in which pre-event mitigation activity and post-event emergency management can reduce the toll of casualties in future events; and it identifies future research needs.978-94-007-3478-4978-90-481-9455-1Series ISSN 1878-9897 Series E-ISSN 2213-6959 作者: colostrum 時(shí)間: 2025-3-24 13:07
Sylvain Lombardyding into the estimation of losses in future events in different parts of the world;it discusses ways in which pre-event mitigation activity and post-event emergency management can reduce the toll of casualties in future events; and it identifies future research needs.978-94-007-3478-4978-90-481-9455-1Series ISSN 1878-9897 Series E-ISSN 2213-6959 作者: Ostrich 時(shí)間: 2025-3-24 18:32 作者: 無能性 時(shí)間: 2025-3-24 19:02 作者: Noctambulant 時(shí)間: 2025-3-25 00:59
Amin Coja-Oghlan,Michael Krivelevich,Dan Vilenchikding into the estimation of losses in future events in different parts of the world;it discusses ways in which pre-event mitigation activity and post-event emergency management can reduce the toll of casualties in future events; and it identifies future research needs.978-94-007-3478-4978-90-481-9455-1Series ISSN 1878-9897 Series E-ISSN 2213-6959 作者: 我沒有強(qiáng)迫 時(shí)間: 2025-3-25 06:44 作者: 壕溝 時(shí)間: 2025-3-25 10:46
Troy Leeding into the estimation of losses in future events in different parts of the world;it discusses ways in which pre-event mitigation activity and post-event emergency management can reduce the toll of casualties in future events; and it identifies future research needs.978-94-007-3478-4978-90-481-9455-1Series ISSN 1878-9897 Series E-ISSN 2213-6959 作者: 獨(dú)特性 時(shí)間: 2025-3-25 12:47
Ilan Newman,Yuri Rabinovichding into the estimation of losses in future events in different parts of the world;it discusses ways in which pre-event mitigation activity and post-event emergency management can reduce the toll of casualties in future events; and it identifies future research needs.978-94-007-3478-4978-90-481-9455-1Series ISSN 1878-9897 Series E-ISSN 2213-6959 作者: MOAN 時(shí)間: 2025-3-25 16:27 作者: 得意牛 時(shí)間: 2025-3-25 23:31
Dietmar Berwangerhigh for others. The histopathology of the tumor of origin and the extent to which the derived cell line retains the differentiated features of that tumor are c978-90-481-5286-5978-0-306-46861-2Series ISSN 1389-2142 作者: VOC 時(shí)間: 2025-3-26 00:38 作者: Spinal-Fusion 時(shí)間: 2025-3-26 05:37
Hard Metrics from Cayley Graphs of Abelian Groupsong the researchers in the area..In this paper we present another construction of hard metrics, different from [10,3], and more general yet clearer and simpler than [8]. Our results naturally extend to NEG and to ?..作者: conjunctivitis 時(shí)間: 2025-3-26 11:50 作者: hurricane 時(shí)間: 2025-3-26 15:38 作者: 他日關(guān)稅重重 時(shí)間: 2025-3-26 17:25
On Defining Integers in the Counting Hierarchy and Proving Arithmetic Circuit Lower Boundsumption on the permanent, we conclude that the Pochhammer-Wilkinson polynomials . and the Taylor approximations . and . of exp and log, respectively, can be computed by arithmetic circuits of size polynomial in log. (allowing divisions). This connects several so far unrelated conjectures in algebraic complexity.作者: MURKY 時(shí)間: 2025-3-26 20:59 作者: 充足 時(shí)間: 2025-3-27 02:42
Pure Stationary Optimal Strategies in Markov Decision Processesyoff functions, and we prove that any MDP equipped with such a payoff function admits pure stationary optimal strategies..This result unifies and simplifies several existing proofs. Moreover, it is a key tool for generating new examples of MDPs with pure stationary optimal strategies.作者: 先行 時(shí)間: 2025-3-27 07:00 作者: 大雨 時(shí)間: 2025-3-27 11:58 作者: 弄臟 時(shí)間: 2025-3-27 15:06
Speed-Up Techniques for Shortest-Path Computationse for typical instances. They are usually based on a preprocessing that annotates the graph with additional information which can be used to prune or guide the search. Timetable information in public transport is a traditional application domain for such techniques. In this paper, we provide a conde作者: Expostulate 時(shí)間: 2025-3-27 18:30 作者: 顯而易見 時(shí)間: 2025-3-28 01:50 作者: 睨視 時(shí)間: 2025-3-28 06:07 作者: Bernstein-test 時(shí)間: 2025-3-28 08:00 作者: propose 時(shí)間: 2025-3-28 14:29
On the Size of the Universal Automaton of a Regular Languageired by the factor matrix defined by Conway thirty years ago. We prove in this paper that a tight bound on its size with respect to the size of the smallest equivalent NFA is given by Dedekind’s numbers. At the end of the paper, we deal with the unary case. Chrobak has proved that the size of the mi作者: Mystic 時(shí)間: 2025-3-28 17:46 作者: 獨(dú)裁政府 時(shí)間: 2025-3-28 21:07 作者: 面包屑 時(shí)間: 2025-3-29 02:54
Why Almost All ,-Colorable Graphs Are Easys work we consider the uniform distribution over .-colorable graphs with . vertices and exactly . edges, . greater than some sufficiently large constant. We rigorously show that all proper .-colorings of most such graphs are clustered in one cluster, and agree on all but a small, though constant, nu作者: 煞費(fèi)苦心 時(shí)間: 2025-3-29 06:24
On Defining Integers in the Counting Hierarchy and Proving Arithmetic Circuit Lower Boundsic circuits for computing the permanent of . by . matrices having size polynomial in ., then .(.!) is polynomially bounded in log.. Under the same assumption on the permanent, we conclude that the Pochhammer-Wilkinson polynomials . and the Taylor approximations . and . of exp and log, respectively, 作者: 一條卷發(fā) 時(shí)間: 2025-3-29 09:07 作者: 安撫 時(shí)間: 2025-3-29 12:04 作者: Explicate 時(shí)間: 2025-3-29 16:36 作者: Noisome 時(shí)間: 2025-3-29 22:51 作者: 紋章 時(shí)間: 2025-3-30 00:53
Admissibility in Infinite Games horizon. This concept is known to provide a valuable criterion for selecting among multiple equilibria and to yield sharp predictions in finite games. However, generalisations to the infinite are inherently problematic, due to unbounded dominance chains and the requirement of transfinite induction.作者: FILLY 時(shí)間: 2025-3-30 06:30
Pure Stationary Optimal Strategies in Markov Decision Processes function. The controller of the MDP seeks to optimize those performances, using optimal strategies..There exists various ways of measuring performances, i.e. various classes of payoff functions. For example, average performances can be evaluated by a mean-payoff function, peak performances by a lim作者: 相符 時(shí)間: 2025-3-30 09:21
Symmetries and the Complexity of Pure Nash Equilibriumyers is unbounded, is that players cannot (or need not) distinguish between the other players. We define four classes of symmetric games by considering two additional properties: . for all players and the ability to . from the other players. Based on these varying notions of symmetry, we investigate作者: legacy 時(shí)間: 2025-3-30 15:49 作者: atopic 時(shí)間: 2025-3-30 17:45 作者: 慢慢流出 時(shí)間: 2025-3-31 00:30
Compact Forbidden-Set Routingor graphs of tree width ., we give a routing scheme using routing tables of size .(..log..). We introduce m-clique width, generalizing clique width, to show that graphs of m-clique width . also have a routing scheme using size .(..log..) tables.作者: 脫水 時(shí)間: 2025-3-31 03:17
On the Size of the Universal Automaton of a Regular Languagenimal deterministic automaton with respect to the smallest NFA is tightly bounded by the Landau’s function; we show that the size of the universal automaton is in this case an exponential of the Landau’s function.作者: 放縱 時(shí)間: 2025-3-31 06:51 作者: Density 時(shí)間: 2025-3-31 12:19 作者: GROG 時(shí)間: 2025-3-31 16:00
A First Investigation of Sturmian Treesh .. As for the case of words, Sturmian trees are irrational trees of minimal complexity. We give various examples of Sturmian trees, and we characterize one family of Sturmian trees by means of a structural property of their automata.作者: attenuate 時(shí)間: 2025-3-31 21:36
978-3-540-70917-6Springer-Verlag Berlin Heidelberg 2007
