咨询与建议

限定检索结果

文献类型

  • 188 篇 会议
  • 15 册 图书
  • 7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 141 篇 工学
    • 135 篇 计算机科学与技术...
    • 51 篇 软件工程
    • 21 篇 信息与通信工程
    • 15 篇 电气工程
    • 9 篇 控制科学与工程
    • 6 篇 网络空间安全
    • 4 篇 化学工程与技术
    • 3 篇 建筑学
    • 3 篇 土木工程
    • 2 篇 机械工程
    • 2 篇 测绘科学与技术
    • 2 篇 轻工技术与工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 光学工程
  • 56 篇 理学
    • 44 篇 数学
    • 9 篇 物理学
    • 5 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 生物学
    • 2 篇 系统科学
  • 18 篇 管理学
    • 16 篇 图书情报与档案管...
    • 3 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 3 篇 法学
    • 3 篇 社会学
    • 1 篇 法学
  • 3 篇 教育学
    • 3 篇 教育学
  • 3 篇 医学
    • 3 篇 基础医学(可授医学...
    • 3 篇 临床医学
    • 2 篇 药学(可授医学、理...
  • 1 篇 文学
    • 1 篇 新闻传播学

主题

  • 13 篇 graph theory
  • 9 篇 artificial intel...
  • 8 篇 automata theory
  • 7 篇 discrete mathema...
  • 6 篇 theory of comput...
  • 6 篇 computers
  • 5 篇 computer communi...
  • 4 篇 software enginee...
  • 4 篇 software enginee...
  • 4 篇 algorithm analys...
  • 4 篇 information stor...
  • 3 篇 turing machines
  • 3 篇 database managem...
  • 3 篇 game theory
  • 3 篇 complexity theor...
  • 3 篇 software
  • 3 篇 computer program...
  • 3 篇 information retr...
  • 2 篇 data storage rep...
  • 2 篇 computer science

机构

  • 3 篇 university of be...
  • 2 篇 department of co...
  • 2 篇 charles universi...
  • 2 篇 department of co...
  • 2 篇 dept. of compute...
  • 2 篇 warsaw universit...
  • 2 篇 dept. of compute...
  • 2 篇 school of comput...
  • 2 篇 university of li...
  • 2 篇 institute of com...
  • 2 篇 the institute of...
  • 2 篇 university of am...
  • 2 篇 department of in...
  • 2 篇 central universi...
  • 2 篇 department of co...
  • 2 篇 school of comput...
  • 1 篇 university of ca...
  • 1 篇 faculty of elect...
  • 1 篇 cern 1 esplanade...
  • 1 篇 ist austria klos...

作者

  • 3 篇 van leeuwen jan
  • 3 篇 šíma jiří
  • 3 篇 saurabh saket
  • 2 篇 peleg david
  • 2 篇 zhaoquan gu
  • 2 篇 bieliková mária
  • 2 篇 žák stanislav
  • 2 篇 ono hirotaka
  • 2 篇 mária bieliková
  • 2 篇 leszek pacholski
  • 2 篇 freivalds rūsiņš
  • 2 篇 shaohua wang
  • 2 篇 paulusma daniel
  • 2 篇 inenaga shunsuke
  • 2 篇 xinchen wang
  • 2 篇 kiya hironori
  • 2 篇 rossmanith peter
  • 2 篇 wiedermann jiri
  • 2 篇 pokorný jaroslav
  • 2 篇 iliopoulos costa...

语言

  • 206 篇 英文
  • 4 篇 中文
检索条件"任意字段=38th Conference on Current Trends in Theory and Practice of Computer Science"
210 条 记 录,以下是91-100 订阅
排序:
Quantum finite one-counter automata  26th
Quantum finite one-counter automata
收藏 引用
26th conference on current trends in theory and practice of Informatics
作者: Kravtsev, M Latvian State Univ Dept Comp Sci Riga Latvia
In this paper the notion of quantum finite one-counter automata (QF1CA) is introduced. Introduction of the notion is similar to that of the 2-way quantum finite state automata in [1]. the well-formedness conditions fo... 详细信息
来源: 评论
the HyperBagGraph DataEdron: An Enriched Browsing Experience of Datasets Track: Foundation of Data science and Engineering  46th
The HyperBagGraph DataEdron: An Enriched Browsing Experience...
收藏 引用
46th International conference on current trends in theory and practice of Informatics (SOFSEM)
作者: Ouvrard, Xavier Le Goff, Jean-Marie Marchand-Maillet, Stephane CERN 1 Esplanade Particules Meyrin Switzerland Univ Geneva Carouge Switzerland
Traditional verbatim browsers give back information linearly according to a ranking performed by a search engine that may not be optimal for the surfer. the latter may need to assess the pertinence of the information ... 详细信息
来源: 评论
Building a bridge between mirror neurons and theory of embodied cognition
收藏 引用
30th conference on current trends in theory and practice of computer science
作者: Wiedermann, J Acad Sci Czech Republ Inst Comp Sci Prague 18207 8 Czech Republic
Mirror neurons are specialized neurons recently discovered in the brains of primates. In experiments mirror neurons showed activity both when a subject performed an action and when it observed the same action performe... 详细信息
来源: 评论
Distributed computations by autonomous mobile robots  28th
收藏 引用
28th International conference on current trends in theory and practice of Informatics, SOFSEM 2001
作者: Santoro, Nicola School of Computer Science Carleton University Ottawa Canada
Most of the concerns of Distributed Computing may appear in settings which are quite different from its traditonal applications ares such as distributed systems, data and communication networks, etc. An important sett...
来源: 评论
Computing longest common substring and all palindromes from compressed strings  1
收藏 引用
34th conference on current trends in theory and practice of computer science
作者: Matsubara, Wataru Inenaga, Shunsuke Ishino, Akira Shinohara, Ayumi Nakamura, Tomoyuki Hashimoto, Kazuo Tohoku Univ Grad Sch Informat Sci Sendai Miyagi 980 Japan Kyushu Univ Dept Comp Sci & Commun Fukuoka 812 Japan
this paper studies two problems on compressed strings described in terms of straight line programs (SLPs). One is to compute the length of the longest common substring of two given SLP-compressed strings, and the othe... 详细信息
来源: 评论
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2012年 7147 LNCS卷 V-VII页
作者: Bieliková, Mária Friedrich, Gerhard Gottlob, Georg Katzenbeisser, Stefan Turán, György Slovak University of Technology Bratislava Slovakia Alpen-Adria-Universität Klagenfurt Austria University of Oxford United Kingdom Technische Universität Darmstadt Germany University of Illinois Chicago IL United States University of Szeged Hungary
来源: 评论
SOFSEM'97: theory and practice of Informatics  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
this book constitutes the refereed proceedings of the 24th Seminar on current trends in theory and practice of Informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a... 详细信息
来源: 评论
Parameterized Algorithms for Covering by Arithmetic Progressions  49th
Parameterized Algorithms for Covering by Arithmetic Progress...
收藏 引用
49th International conference on current trends in theory and practice of computer science (SOFSEM)
作者: Bliznets, Ivan Nederlof, Jesper Szilagyi, Krisztina Univ Groningen Groningen Netherlands Univ Utrecht Utrecht Netherlands
An arithmetic progression is a sequence of integers in which the difference between any two consecutive elements is the same. We investigate the parameterized complexity of two problems related to arithmetic progressi... 详细信息
来源: 评论
Asynchronous Deterministic Rendezvous on the Line
Asynchronous Deterministic Rendezvous on the Line
收藏 引用
35th conference on current trends in theory and practice of computer science
作者: Stachowiak, Grzegorz Univ Wroclaw Inst Comp Sci PL-50383 Wroclaw Poland
We study the rendezvous problem in the asynchronous setting in the graph of infinite line following the model introduced in [13]. We formulate general lemmas about deterministic rendezvous algorithms in this setting w... 详细信息
来源: 评论
Finding Disjoint Paths in Split Graphs
Finding Disjoint Paths in Split Graphs
收藏 引用
40th International conference on current trends in theory and practice of computer science
作者: Heggernes, Pinar van 't Hof, Pim van Leeuwen, Erik Jan Saei, Reza Univ Bergen Dept Informat N-5020 Bergen Norway MPI Informatik Saarbucken Germany
the well-known Disjoint Paths problem takes as input a graph G and a set of k pairs of terminals in G, and the task is to decide whether there exists a collection of k pairwise vertex-disjoint paths in G such that the... 详细信息
来源: 评论