咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是41-50 订阅
排序:
Automatic Bug Detection in Microcontroller Software by Static Program Analysis
Automatic Bug Detection in Microcontroller Software by Stati...
收藏 引用
35th conference on current trends in theory and practice of computer science
作者: Fehnker, Ansgar Huuck, Ralf Schlich, Bastian Tapp, Michael Univ New South Wales NICTA Ltd Locked Bag 6016 Sydney NSW 1466 Australia Rhein Westfal TH Aachen Embedded Software Lab Aachen Germany
Microcontroller software typically consists of a few hundred lines of code only, but, it is rather different from standard application code.. the software is highly hardware and platform specific, and bugs are often a... 详细信息
来源: 评论
Network Analysis of the science of science: A Case Study in SOFSEM conference  44th
Network Analysis of the Science of Science: A Case Study in ...
收藏 引用
44th International conference on current trends in theory and practice of computer science (SOFSEM)
作者: Gogoglou, Antonia Tsikrika, theodora Manolopoulos, Yannis Aristotle Univ Thessaloniki Dept Informat Thessaloniki 54124 Greece Ctr Res & Technol Hellas Thessaloniki 57001 Greece
A rising issue in the scientific community entails the identification of temporal patterns in the evolution of the scientific enterprise and the emergence of trends that influence scholarly impact. In this direction, ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Algorithmic aspects of minimum energy edge-disjoint paths in wireless networks
Algorithmic aspects of minimum energy edge-disjoint paths in...
收藏 引用
33rd conference on current trends in theory and practice of computer science
作者: Maier, Markus Mecke, Steffen Wagner, Dorothea Univ Karlsruhe TH Kaiserstr 12 Karlsruhe Germany
the problem of finding k minimum energy, edge-disjoint paths in wireless networks (MEEP) arises in the context of routing and belongs to the class of range assignment problems. A polynomial algorithm which guarantees ... 详细信息
来源: 评论
Smooth Optimal Decision Strategies for Static Team Optimization Problems and their Approximations
Smooth Optimal Decision Strategies for Static Team Optimizat...
收藏 引用
36th conference on current trends in theory and practice of computer science
作者: Gnecco, Giorgio Sanguineti, Marcello Univ Genoa Dept Comp & Informat Sci DISI Via Dodecaneso 35 I-16146 Genoa Italy Univ Genoa Dept Commun Comp & Syst Sci DIST I-16145 Genoa Italy
Sufficient conditions for the existence and uniqueness of smooth optimal decision strategies for static team optimization problems with statistical information structure are derived. Approximation methods and algorith... 详细信息
来源: 评论
Towards a Higher-Dimensional String theory for the Modeling of computerized Systems
Towards a Higher-Dimensional String Theory for the Modeling ...
收藏 引用
40th International conference on current trends in theory and practice of computer science
作者: Janin, David Univ Bordeaux LaBRI 351 Cours Liberat F-33405 Talence France
Recent modeling experiments conducted in computational music give evidence that a number of concepts, methods and tools belonging to inverse semigroup theory can be attuned towards the concrete modeling of time-sensit... 详细信息
来源: 评论
Clock Synchronization: Open Problems in theory and practice
Clock Synchronization: Open Problems in Theory and Practice
收藏 引用
36th conference on current trends in theory and practice of computer science
作者: Lenzen, Christoph Locher, thomas Sommer, Philipp Wattenhofer, Roger ETH Comp Engn & Networks Lab TIK CH-8092 Zurich Switzerland
Clock synchronization is one of the most basic building blocks for many applications in computer science and engineering. the purpose of clock synchronization is to provide the constituent parts of a distributed syste... 详细信息
来源: 评论
Web science: the Digital-Heritage Case
Web Science: The Digital-Heritage Case
收藏 引用
36th conference on current trends in theory and practice of computer science
作者: Schreiber, Guus Vrije Univ Amsterdam NL-1081 HV Amsterdam Netherlands
Web science studies the interpay between web technology and the human behaviour it induces at the micro, meso and macro level. In this extended abstract we examine Web science research issues by taking a closer look a... 详细信息
来源: 评论
A Calculus for Language Transformations  46th
A Calculus for Language Transformations
收藏 引用
46th International conference on current trends in theory and practice of Informatics (SOFSEM)
作者: Mourad, Benjamin Cimini, Matteo Univ Massachusetts Lowell Lowell MA 01854 USA
In this paper we propose a calculus for expressing algorithms for programming languages transformations. We present the type system and operational semantics of the calculus, and we prove that it is type sound. We hav... 详细信息
来源: 评论
Practising what we preach: Are knowledge management systems in practice really knowledge management systems?  35
Practising what we preach: Are knowledge management systems ...
收藏 引用
35th Annual Hawaii International conference on System sciences, HICSS 2002
作者: Wickramasinghe, N. Computer and Information Science Department James J. Nance College of Business Administration Cleveland State University United States
Knowledge management systems (KMS) are predominant in both theory and practice. However, are the same systems discussed in theory actualised in practice? By comparing and contrasting KMS in theory and practice, this p... 详细信息
来源: 评论