Pantry 发表于 2025-3-25 05:49:07

http://reply.papertrans.cn/63/6262/626136/626136_21.png

控诉 发表于 2025-3-25 09:53:02

Packing Edges in Random Regular Graphsching in the classical sense). We consider the problem of approximating the solution to the maximum .-separated matching problem in random .-regular graphs for each fixed integer . and each fixed . ≥ 3. We prove both constructive lower bounds and combinatorial upper bounds on the size of the optimal solutions.

沙草纸 发表于 2025-3-25 15:04:42

Accessibility in Automata on Scattered Linear Orderingsite words introduced by Büchi. In this paper, we show that if only words indexed by scattered linear orderings are considered, the accessibility and the emptiness in these automata can be checked in time .. where . and . are the number of states and the number of transitions. This solves the problem for automata on transfinite words.

Minatory 发表于 2025-3-25 17:59:30

http://reply.papertrans.cn/63/6262/626136/626136_24.png

abreast 发表于 2025-3-25 19:59:42

Mathematical Foundations of Computer Science 2002978-3-540-45687-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

CHURL 发表于 2025-3-26 03:08:22

http://reply.papertrans.cn/63/6262/626136/626136_26.png

狂乱 发表于 2025-3-26 06:22:37

Michel Bidoit,Donald Sannella,Andrzej Tarleckiod and organization of neuromorphic architecture.Presents a This book focuses on neuromorphic computing principles and organization and how to build fault-tolerant scalable hardware for large and medium scale spiking neural networks with learning capabilities. In addition, the book describes in a co

Lipohypertrophy 发表于 2025-3-26 11:22:34

Alan Gibbons,Paul Santod and organization of neuromorphic architecture.Presents a This book focuses on neuromorphic computing principles and organization and how to build fault-tolerant scalable hardware for large and medium scale spiking neural networks with learning capabilities. In addition, the book describes in a co

avulsion 发表于 2025-3-26 15:47:52

http://reply.papertrans.cn/63/6262/626136/626136_29.png

Heresy 发表于 2025-3-26 18:45:37

http://reply.papertrans.cn/63/6262/626136/626136_30.png
页: 1 2 [3] 4 5 6 7
查看完整版本: Titlebook: Mathematical Foundations of Computer Science 2002; 27th International S Krzysztof Diks,Wojciech Rytter Conference proceedings 2002 Springer