咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 214 篇 电子文献
  • 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 篇 mila - quebec ai...
  • 2 篇 charles universi...
  • 2 篇 department of co...
  • 2 篇 dept. of compute...
  • 2 篇 warsaw universit...
  • 2 篇 schulich school ...
  • 2 篇 department of co...
  • 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 篇 zhejiang lab
  • 2 篇 central universi...
  • 2 篇 department of co...
  • 2 篇 school of comput...

作者

  • 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...

语言

  • 211 篇 英文
  • 4 篇 中文
检索条件"任意字段=38th Conference on Current Trends in Theory and Practice of Computer Science"
215 条 记 录,以下是91-100 订阅
排序:
Rough Sets and Intelligent Systems Paradigms: Second International conference, RSEISP 2014, Held as Part of JRS 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings  1
收藏 引用
丛书名: Lecture Notes in computer science 8537 Lecture Notes in Artificial Intelligence
2014年
作者: Marzena Kryszkiewicz, Chris Cornelis, Davide Ciucci, Jesús Medina-Moreno, Hiroshi Motoda, Zbigniew W. Raś (eds.)
this book constitutes the refereed proceedings of the 23rd Australasian Joint conference on Rough Sets and Intelligent Systems Paradigms, RSEISP 2014, held in Granada and Madrid, Spain, in July 2014. RSEISP 2014 was h...
来源: 评论
Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language theory
收藏 引用
39th conference on current trends in theory and practice of computer science (SOFSEM)
作者: Anselmo, Marcella Giammarresi, Dora Madonia, Maria Univ Salerno Dipartimento Informat I-84084 Fisciano SA Italy Univ Roma Tor Vergata Dipartimento Matemat I-00133 Rome Italy Univ Catania Dip Matemat & Informat I-95125 Catania Italy
We define two-dimensional rational automata for pictures as an extension of classical finite automata for strings. they are obtained replacing the finite relation computed by the transition function with a rational re... 详细信息
来源: 评论
SOFSEM 2011: theory and practice of computer science - 37th conference on current trends in theory and practice of computer science, Proceedings
SOFSEM 2011: Theory and Practice of Computer Science - 37th ...
收藏 引用
37th International conference on current trends in theory and practice of computer science, SOFSEM 2011
the proceedings contain 45 papers. the topics discussed include: integrity and consistency for untrusted services;a structured codesign approach to many-core architectures for embedded systems;efficient algorithms for...
来源: 评论
theory of Multi Core Hypervisor Verification
收藏 引用
39th conference on current trends in theory and practice of computer science (SOFSEM)
作者: Cohen, Ernie Paul, Wolfgang Schmaltz, Sabine Microsoft Corp Redmond WA 98052 USA Univ Saarland D-66123 Saarbrucken Germany
From 2007 to 2010, researchers from Microsoft and the Verisoft XT project verified code from Hyper-V, a multi-core x-64 hypervisor, using VCC, a verifier for concurrent C code. However, there is a significant gap betw... 详细信息
来源: 评论
Asymptotic Risk Analysis for Trust and Reputation Systems
收藏 引用
39th conference on current trends in theory and practice of computer science (SOFSEM)
作者: Boreale, Michele Celestini, Alessandro Univ Florence I-50121 Florence Italy IMT Inst Adv Studies Lucca Piazza S Ponziano 6 I-55100 Lucca Italy
Trust and reputation systems are decision support tools used to drive parties' interactions on the basis of parties' reputation. In such systems, parties rate with each other after each interaction. Reputation... 详细信息
来源: 评论
An Exact Algorithm to Check the Existence of (Elementary) Paths and a Generalisation of the Cut Problem in Graphs with Forbidden Transitions
收藏 引用
39th conference on current trends in theory and practice of computer science (SOFSEM)
作者: Kante, Mamadou Moustapha Laforest, Christian Momege, Benjamin Univ Blaise Pascal Clermont Univ LIMOS CNRS Clermont Ferrand France
A graph with forbidden transitions is a pair (G, F-G) where G := (V-G, E-G) is a graph and FG is a subset of the set {({y, x}, {x, z}) epsilon E-G(2)}. A path in a graph with forbidden transitions (G, F-G) is a path i... 详细信息
来源: 评论
Worst case analysis of non-local games
收藏 引用
39th International conference on current trends in theory and practice of computer science, SOFSEM 2013
作者: Ambainis, Andris Bačkurs, Arturs Balodis, Kaspars Škuškovniks, Agnis Smotrovs, Juris Virza, Madars Faculty of Computing University of Latvia Raina bulv. 19 Riga LV-1586 Latvia Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology 32 Vassar Street Cambridge MA 02139 United States
Non-local games are studied in quantum information because they provide a simple way for proving the difference between the classical world and the quantum world. A non-local game is a cooperative game played by 2 or ... 详细信息
来源: 评论
4th International workshop on Emerging trends in Software Metrics (WETSoM 2013)
4th International workshop on Emerging Trends in Software Me...
收藏 引用
International conference on Software Engineering (ICSE)
作者: Steven Counsell Ewan Tempero Michele L. Marchesi Aaron Visaggio Department of Information Systems and Computing Brunel University London UK Department of Electrical and Electronic Engineering University of Cagliari Cagliari Italy Department of Computer Science University of Auckland Auckland New Zealand Department of Engineering University of Sannio Benevento Italy
the International Workshop on Emerging trends in Software Metrics aims at gathering together researchers and practitioners to discuss the progress of software metrics. the motivation for this workshop is the low impac... 详细信息
来源: 评论
4-Coloring H-Free Graphs When H Is Small
4-Coloring H-Free Graphs When H Is Small
收藏 引用
38th conference on current trends in theory and practice of computer science
作者: Golovach, Petr A. Paulusma, Daniel Song, Jian Univ Durham Sch Engn & Comp Sci Sci Labs Durham DH1 3LE England
the k-COLORING problem is to test whether a graph can be colored with at most k colors such that no two adjacent vertices receive the same color. If a graph C does not contain a graph H as an induced subgraph, then C ... 详细信息
来源: 评论
A Turing machine resisting isolated bursts of faults
A Turing machine resisting isolated bursts of faults
收藏 引用
38th conference on current trends in theory and practice of computer science, SOFSEM 2012
作者: Çapuni, Ilir Gács, Peter Boston University Department of Computer Science 111 Cummington str Boston MA 02215 United States
We consider computations of a Turing machine under noise that causes consecutive violations of the machine's transition function. Given a constant upper bound β on the size of bursts of faults, we construct a Tur... 详细信息
来源: 评论