咨询与建议

限定检索结果

文献类型

  • 238 篇 会议
  • 18 册 图书
  • 7 篇 期刊文献

馆藏范围

  • 262 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 177 篇 工学
    • 161 篇 计算机科学与技术...
    • 72 篇 软件工程
    • 21 篇 信息与通信工程
    • 14 篇 电气工程
    • 6 篇 控制科学与工程
    • 5 篇 建筑学
    • 5 篇 土木工程
    • 4 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 4 篇 生物医学工程(可授...
    • 3 篇 机械工程
    • 2 篇 光学工程
    • 2 篇 测绘科学与技术
    • 2 篇 轻工技术与工程
  • 70 篇 理学
    • 54 篇 数学
    • 12 篇 物理学
    • 7 篇 统计学(可授理学、...
    • 4 篇 化学
    • 4 篇 系统科学
    • 2 篇 生物学
  • 20 篇 管理学
    • 11 篇 图书情报与档案管...
    • 10 篇 管理科学与工程(可...
    • 3 篇 工商管理
  • 6 篇 法学
    • 5 篇 社会学
    • 2 篇 法学
  • 6 篇 教育学
    • 6 篇 教育学
  • 4 篇 医学
    • 4 篇 基础医学(可授医学...
    • 4 篇 临床医学
    • 3 篇 药学(可授医学、理...
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 文学

主题

  • 13 篇 graph theory
  • 13 篇 artificial intel...
  • 9 篇 discrete mathema...
  • 8 篇 automata theory
  • 7 篇 theory of comput...
  • 6 篇 software enginee...
  • 6 篇 algorithm analys...
  • 5 篇 computer communi...
  • 4 篇 software enginee...
  • 4 篇 computers
  • 4 篇 game theory
  • 4 篇 data structures
  • 4 篇 computer softwar...
  • 4 篇 information stor...
  • 3 篇 approximation al...
  • 3 篇 turing machines
  • 3 篇 symbolic and alg...
  • 3 篇 information theo...
  • 3 篇 educational inst...
  • 3 篇 database managem...

机构

  • 3 篇 university of be...
  • 2 篇 department of co...
  • 2 篇 uclic university...
  • 2 篇 charles universi...
  • 2 篇 rhein westfal th...
  • 2 篇 warsaw universit...
  • 2 篇 school of comput...
  • 2 篇 centre for desig...
  • 2 篇 centre for socia...
  • 2 篇 university of li...
  • 2 篇 institute of com...
  • 2 篇 the institute of...
  • 2 篇 department of in...
  • 2 篇 department of co...
  • 1 篇 university of ca...
  • 1 篇 adv. digital sci...
  • 1 篇 univ genoa dept ...
  • 1 篇 faculty of elect...
  • 1 篇 cern 1 esplanade...
  • 1 篇 university of sc...

作者

  • 3 篇 wagner dorothea
  • 3 篇 van leeuwen jan
  • 3 篇 šíma jiří
  • 3 篇 saurabh saket
  • 2 篇 peleg david
  • 2 篇 bieliková mária
  • 2 篇 žák stanislav
  • 2 篇 ono hirotaka
  • 2 篇 mária bieliková
  • 2 篇 leszek pacholski
  • 2 篇 freivalds rūsiņš
  • 2 篇 paulusma daniel
  • 2 篇 sanguineti marce...
  • 2 篇 orponen pekka
  • 2 篇 inenaga shunsuke
  • 2 篇 kiya hironori
  • 2 篇 fuchs janosch
  • 2 篇 bongartz d
  • 2 篇 rossmanith peter
  • 2 篇 pokorný jaroslav

语言

  • 259 篇 英文
  • 4 篇 中文
检索条件"任意字段=35th Conference on Current Trends in Theory and Practice of Computer Science"
263 条 记 录,以下是31-40 订阅
排序:
the Complexity of Graph Exploration Games  50th
The Complexity of Graph Exploration Games
收藏 引用
50th International conference on current trends in theory and practice of computer science, SOFSEM 2025
作者: Fuchs, Janosch Grüne, Christoph Janßen, Tom Department of Computer Science RWTH Aachen University Aachen Germany
Graph Exploration problems ask a searcher to explore an unknown environment. the environment is modeled as a graph, where the searcher needs to visit each vertex beginning at some vertex. Treasure Hunt problems are a ... 详细信息
来源: 评论
Parameterized Complexity of Feedback Vertex Set with Connectivity Constraints  50th
Parameterized Complexity of Feedback Vertex Set with Conne...
收藏 引用
50th International conference on current trends in theory and practice of computer science, SOFSEM 2025
作者: Abhinav, Ankit Jana, Satyabrata Purohit, Nidhi Sahu, Abhishek Saurabh, Saket National Institute of Science Education and Research An OCC of Homi Bhabha National Institute Odisha Bhubaneswar752050 India University of Warwick Coventry United Kingdom National University of Singapore Singapore Singapore The Institute of Mathematical Sciences HBNI Chennai India University of Bergen Bergen Norway
the Feedback Vertex Set (FVS) problem, together with several of its variants, is arguably one of the most well-studied problems in the field of Parameterized Complexity. Two versions of the problem that have garnered ... 详细信息
来源: 评论
Multi-agent Search-Type Problems on Polygons: (Extended Abstract)  50th
Multi-agent Search-Type Problems on Polygons: (Extended Abs...
收藏 引用
50th International conference on current trends in theory and practice of computer science, SOFSEM 2025
作者: Georgiou, Konstantinos Jones, Caleb Lucier, Jesse Department of Mathematics Toronto Metropolitan University TorontoON Canada
We present several advancements in search-type problems for fleets of mobile agents operating in two dimensions under the wireless model. Potential hidden target locations are equidistant from a central point, forming... 详细信息
来源: 评论
On the Structural Parameterized Complexity of Defective Coloring  50th
On the Structural Parameterized Complexity of Defective Co...
收藏 引用
50th International conference on current trends in theory and practice of computer science, SOFSEM 2025
作者: Bhyravarapu, Sriram Kumar, Pankaj Saurabh, Saket Institute of Mathematical Science HBNI Chennai India School of Computer Science University of Birmingham Birmingham United Kingdom University of Bergen Bergen Norway
In this paper, we consider the problem Defective Coloring. Given a graph G and two positive integers k and Δ∗, the objective is to determine whether it is possible to obtain a coloring (not necessarily proper) of the... 详细信息
来源: 评论
Parameterized Complexity of Generalizations of Edge Dominating Set  50th
Parameterized Complexity of Generalizations of Edge Domina...
收藏 引用
50th International conference on current trends in theory and practice of computer science, SOFSEM 2025
作者: Aute, Shubhada Panolan, Fahad Saha, Souvik Saurabh, Saket Upasana, Anannya Department of Computer Science and Engineering IIT Hyderabad Kandi India School of Computer Science University of Leeds Leeds United Kingdom The Institute of Mathematical Sciences HBNI Chennai India University of Bergen Bergen Norway
the objective of this article is to propose two natural generalizations of covering edges by edges (Edge Dominating Set) and study these problems from the multivariate lens. the first is simply considering Edge Domina... 详细信息
来源: 评论
Probabilistic Acceptors for Languages over Infinite Words
Probabilistic Acceptors for Languages over Infinite Words
收藏 引用
35th conference on current trends in theory and practice of computer science
作者: Baier, Christel Bertrand, Nathalie Groesser, Marcus Tech Univ Dresden Fac Comp Sci Dresden Germany INRIA Rennes Bretagne Atlantique Rennes France
Probabilistic omega-automata are variants of nondeterministic automata for infinite words where all choices are resolved by probabilistic distributions. Acceptance of an infinite input word requires that the probabili... 详细信息
来源: 评论
On Stateless Deterministic Restarting Automata
On Stateless Deterministic Restarting Automata
收藏 引用
35th conference on current trends in theory and practice of computer science
作者: Kutrib, Martin Messerschmidt, Hartmut Otto, Friedrich Univ Giessen Inst Informat Arndtstr 2 D-35392 Giessen Germany Intelligent Syst Technol Zentrum Informat D-28359 Bremen Germany Univ Kassel Fachbereich Elektrotechn Informat D-34109 Kassel Germany
the transitions of a stateless automaton do not depend on internal states but. solely on the symbols currently scanned by its heads accessing the input. or memory. We investigate stateless deterministic restarting aut... 详细信息
来源: 评论
the Shortcut Problem - Complexity and Approximation
The Shortcut Problem - Complexity and Approximation
收藏 引用
35th conference on current trends in theory and practice of computer science
作者: Bauer, Reinhard D'Angelo, Gianlorenzo Delling, Daniel Wagner, Dorothea Univ Karlsruhe TH Fac Informat Stockholm Sweden Univ Aquila Elect & Informat Engn Dept I-67100 Laquila Italy
During the last years, speed-up techniques for DIJKSTRA's algorithm have been developed that make the computation of shortest paths a matter of microseconds even oil huge road networks. the most sophisticated meth... 详细信息
来源: 评论
SOFSEM 2009: theory and practice of computer science  2009
收藏 引用
丛书名: Lecture Notes in computer science
2009年
作者: Mogens Nielsen Antonin Kucera Peter Bro Miltersen Catuscia Palamidessi Petr Tuma Frank Valencia
this book constitutes the refereed proceedings of the 35th conference on current trends in theory and practice of computer science, SOFSEM 2009, held in pindleruv Mln, Czech Republic, in January 2009. the 49 revised f...
来源: 评论
theoretical computer science  1st ed. 2017
收藏 引用
丛书名: Communications in computer and Information science
2017年
作者: Dingzhu Du Lian Li En Zhu Kun He
this book constitutes the thoroughly refereed proceedings of the National conference of theoretical computer science, NCTCS 2017, held in Wuhan, Hubei, China, in October 2017. the 25 full papers presented were careful...
来源: 评论