STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings
著者
書誌事項
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings
(Lecture notes in computer science, 900)
Springer-Verlag, 1995
大学図書館所蔵 全61件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
内容説明・目次
内容説明
This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995.
Besides three invited talks, the book contains revised versions of 53 research papers selected from a total of 180 submissions. The contributions address all current aspects of theoretical computer science; they are organized in sections on complexity theory, automata theory, algorithms, logic, theory of parallel computing, communication theory, graph theory and databases, and computational geometry.
目次
On the synthesis of strategies in infinite games.- Finding the maximum with linear error probabilities: a sequential analysis approach.- Completeness and weak completeness under polynomial-size circuits.- Communication complexity of key agreement on small ranges.- Pseudorandom generators and the frequency of simplicity.- Classes of bounded counting type and their inclusion relations.- Lower bounds for depth-three circuits with equals and mod-gates.- On realizing iterated multiplication by small depth threshold circuits.- A random NP-complete problem for inversion of 2D cellular automata.- On the subword equivalence problem for infinite words.- On the separators on an infinite word generated by a morphism.- Systolic tree ?-languages.- Structural complexity of ?-automata.- Algorithms explained by symmetries.- Generalized scans and tri-diagonal systems.- Two-dimensional pattern matching in linear time and small space.- On-line and dynamic algorithms for shortest path problems.- On compact representations of propositional circumscription.- A set-theoretic translation method for (poly)modal logics.- On the synthesis of discrete controllers for timed systems.- A fully abstract semantics for causality in the ?-calculus.- On the sizes of permutation networks and consequences for efficient simulation of hypercube algorithms on bounded-degree networks.- Exploiting storage redundancy to speed up randomized shared memory simulations.- Interval routing schemes.- A packet routing protocol for arbitrary networks.- A family of tag systems for paperfolding sequences.- Growing context-sensitive languages and Church-Rosser languages.- Deterministic generalized automata.- Optimal simulation of automata by neural nets.- Concurrent process equivalences: Some decision problems.- Optimal lower bounds on the multiparty communication complexity.- Simultaneous messages vs. communication.- Coding and strong coding in trace monoids.- On codings of traces.- Finding largest common embeddable subtrees.- The ?t-coloring problem.- Expander properties in random regular graphs with edge faults.- Dynamic analysis of the sizes of relations.- On slender context-free languages.- Partial derivatives of regular expressions and finite automata constructions.- Dependence orders for computations of concurrent automata.- On the undecidability of deadlock detection in families of nets.- On the average running time of odd-even merge sort.- Optimal average case sorting on arrays.- Normal numbers and sources for BPP.- Lower bounds on learning decision lists and trees.- Line segmentation of digital curves in parallel.- Computability of convex sets.- Enumerating extreme points in higher dimensions.- The number of views of piecewise-smooth algebraic objects.- On the structure of log-space probabilistic complexity classes.- Resource-bounded instance complexity.- On the sparse set conjecture for sets with low density.- Beyond PNP=NEXP.- Malign distributions for average case circuit complexity.- A possible code in the genetic code.
「Nielsen BookData」 より