检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

235 篇 会议
17 册 图书
8 篇 期刊文献

馆藏范围

259 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

171 篇 工学
- 160 篇 计算机科学与技术...
- 64 篇 软件工程
- 17 篇 电气工程
- 17 篇 信息与通信工程
- 6 篇 控制科学与工程
- 5 篇 机械工程
- 4 篇 化学工程与技术
- 4 篇 生物医学工程（可授...
- 3 篇 建筑学
- 3 篇 土木工程
- 3 篇 交通运输工程
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 2 篇 测绘科学与技术
- 2 篇 轻工技术与工程
71 篇 理学
- 56 篇 数学
- 12 篇 物理学
- 7 篇 统计学（可授理学、...
- 4 篇 化学
- 4 篇 生物学
- 4 篇 系统科学
19 篇 管理学
- 11 篇 图书情报与档案管...
- 10 篇 管理科学与工程(可...
- 6 篇 工商管理
6 篇 医学
- 6 篇 基础医学(可授医学...
- 6 篇 临床医学
- 3 篇 公共卫生与预防医...
- 3 篇 药学(可授医学、理...
5 篇 法学
- 5 篇 社会学
4 篇 教育学
- 4 篇 教育学
1 篇 经济学
1 篇 文学

主题

16 篇 graph theory
11 篇 artificial intel...
8 篇 discrete mathema...
8 篇 automata theory
6 篇 theory of comput...
6 篇 computer communi...
6 篇 algorithm analys...
5 篇 software enginee...
5 篇 information stor...
4 篇 software enginee...
4 篇 database managem...
4 篇 computers
4 篇 data structures
4 篇 information retr...
3 篇 computer science
3 篇 approximation al...
3 篇 computational co...
3 篇 turing machines
3 篇 set theory
3 篇 logic programmin...

机构

3 篇 university of be...
2 篇 katholieke univ ...
2 篇 department of co...
2 篇 charles universi...
2 篇 rhein westfal th...
2 篇 warsaw universit...
2 篇 vrije univ bruss...
2 篇 university of ch...
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 篇 faculty of elect...
1 篇 cern 1 esplanade...
1 篇 univ nacl pedro ...
1 篇 weizmann inst sc...
1 篇 univ kassel fach...
1 篇 univ wroclaw ins...

作者

3 篇 wagner dorothea
3 篇 van leeuwen jan
3 篇 šíma jiří
3 篇 saurabh saket
3 篇 černá ivana
2 篇 peleg david
2 篇 bieliková mária
2 篇 bogaerts b. a. r...
2 篇 žák stanislav
2 篇 ono hirotaka
2 篇 mária bieliková
2 篇 leszek pacholski
2 篇 freivalds rūsiņš
2 篇 paulusma daniel
2 篇 inenaga shunsuke
2 篇 denecker m. a. r...
2 篇 kiya hironori
2 篇 fuchs janosch
2 篇 bongartz d
2 篇 donahoo michael ...

语言

255 篇 英文
4 篇 中文
1 篇 其他

检索条件"任意字段=36th Conference on Current Trends in Theory and Practice of Computer Science"

共 260 条记录，以下是211-220 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Beyond the turing limit: Evolving interactive systems 28th

引用

28th International conference on current trends in theory and practice of Informatics, SOFSEM 2001

作者： Van Leeuwen, Jan Wiedermann, Jiří Institute of Information and Computing Sciences Utrecht University Padualaan 14 Utrecht3584 CH Netherlands Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vodàrenskou věŽì 2 Prague 8182 07 Czech Republic

ISBN: (纸本)9783540429128

Modern networked computing systems follow scenarios that differ from those modeled by classical Turing machines. For example, their architecture and functionality may change over time as components enter or disappear. Also, as a rule their components interact with each other and with the environment at unpredictable times and in unpredictable manners, and they evolve in ways that are not pre-programmed. Finally, although the life span of the individual components may be finite, the life span of the systems as a whole is practically unlimited. the examples range from families of cognitive automata to (models of) the Internet and to communities of intelligent communicating agents. We present several models for describing the computational behaviour of evolving interactive systems, in order to characterize their computational power and efficiency. the analysis leads to new models of computation, including ‘interactive’ Turing machines (ITM’s) with advice and new, natural characterizations of non-uniform complexity classes. We will argue that ITM’s with advice can serve as an adequate reference model for capturing the essence of computations by evolving interactive systems, showing that ‘in theory’ the latter are provably more powerful than classical systems. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Turing machines

来源：评论

学校读者我要写书评

暂无评论

Multitape NFA: Weak synchronization of the input heads

Multitape NFA: Weak synchronization of the input heads

引用

38th conference on current trends in theory and practice of computer science, SOFSEM 2012

作者： Eǧecioǧlu, Ömer Ibarra, Oscar H. Tran, Nicholas Q. Department of Computer Science University of California Santa Barbara CA 93106 United States Department of Mathematics and Computer Science Santa Clara University Santa Clara CA 95053 United States

ISBN: (纸本)9783642276590

Given an n-tape nondeterministic finite automaton (NFA) M with a one-way read-only head per tape and a right end marker $ on each tape, and a nonnegative integer k, we say that M is weakly k-synchronized if for every n-tuple x = (x1, ..., xn) that is accepted, there is a computation on x such that at any time during the computation, no pair of input heads, neither of which is on $, are more than k cells apart. As usual, an n-tuple x = (x1, ..., xn ) is accepted if M eventually reaches the configuration where all n heads are on $ in an accepting state. We show decidable and undecidable results concerning questions such as: (1) Given M, is it weakly k-synchronized for some k (resp., for a specified k) and (2) Given M, is there a weakly k-synchronized M′ for some k (resp., for a specified k) such that L(M′) = L(M)? Most of our results are the strongest possible in the sense that slight restrictions on the models make the undecidable problems decidable. A few questions remain open. © 2012 Springer-Verlag.

关键词： Computability and decidability

来源：评论

学校读者我要写书评

暂无评论

Information society technologies in healthcare 27th

引用

27th conference on current trends in theory and practice of Informatics, SOFSEM 2000

作者： Katehakis, Dimitrios G. Tsiknakis, Manolis Orphanoudakis, Stelios C. P.O. Box 1385 Heraklion CreteGR-71110 Greece Department of Computer Science University of Crete P.O. Box 2208 HeraklionCreteGR-71110 Greece

ISBN: (纸本)3540413480

the growing demand for more efficient and effective healthcare services, coupled with an implicit requirement for supporting citizen mobility and continuity of care, is currently setting the stage for the exploitation of Information and Telecommunications Technologies in the health sector. the current vision comprises affordable wireless access to healthcare resources and services for all citizens, thus making medical expertise a shared resource wherever and whenever needed. Important areas in which Information Society Technologies are likely to have a significant impact include those of pre-hospital health emergencies, remote monitoring of patients with chronic conditions, and medical collaboration through sharing of health-related information resources. Accessibility to these and other media-rich, user-oriented services, in the context of the emerging Global Information Society, will be supported by a Healthcare Information Infrastructure (HII), which can achieve effective horizontal integration of networked information sources. © Springer-Verlag Berlin Heidelberg 200.

关键词： Health care

来源：评论

学校读者我要写书评

暂无评论

Cyber Security and Digital Forensics -Challenges in current Scenario 15

Cyber Security and Digital Forensics -Challenges in Current ...

引用

15th International conference on Advances in Computing, Control, and Telecommunication Technologies, ACT 2024

作者： Shirbhate, Dhiraj D. Gupta, Sunil R. Government College of Engineering Computer Engineering Yavatmal India PRMITR Computer Science & Engineering Badnera Amravati India

ISBN: (纸本)9798331300579

those who are not in computer science background, the preparation of the tutorial of cyber security can be more complex and difficult to *** paper generates a degree level virtualforensics and security course in a computer engineering department which presents synopsis, policies and application for a different departmental student *** the larger numbers of students in the section don't have background of computer science, then the application for integrated student listeners can be *** course led to provide a comprehensive perspective to widen knowledge and deep learning of network security by utilizing multidisciplinary groups to get knowledge and experience taking theory to practice and *** science gives conceptual support and technological tools and approach to verify security *** techniques and principles to critical analysis are provided by Forensic *** also collect data and analyzes the data which is digital *** course involves learners from multidisciplinary educational backgrounds promotes cooperation between computer science and forensic *** this student gets familiar with the all views of *** abstract concludes that producing students which are well-equipped to plot the route for complex and emerging field of cyber *** research also explores emerging technologies and trends that are reshaping the cyber security landscape, including the role of artificial intelligence and machine learning in threat detection, the rise of quantum-resistant cryptography, and the implications on digital *** review paper critically examines the current landscape of cyber security measures with a focus on strategies employed to counteract evolving digital *** technology continues to advance, so do the complexities of cyber threats, necessitating a thorough analysis of existing cyber security paradigms. © Grenze Scientific Society, 2024.

关键词： Cyber attacks

来源：评论

学校读者我要写书评

暂无评论

Hierarchical Graph Transformer with Adaptive Node Sampling 36

Hierarchical Graph Transformer with Adaptive Node Sampling

引用

36th conference on Neural Information Processing Systems (NeurIPS)

作者： Zhang, Zaixi Liu, Qi Hu, Qingyong Lee, Chee-Kong Univ Sci & Technol China Anhui Prov Key Lab Big Data Anal & Applicat Sch Comp Sci & Technol Hefei Anhui Peoples R China State Key Lab Cognit Intelligence Hefei Anhui Peoples R China Hong Kong Univ Sci & Technol Hong Kong Peoples R China Tencent Amer Bellevue WA USA

ISBN: (纸本)9781713871088

the Transformer architecture has achieved remarkable success in a number of domains including natural language processing and computer vision. However, when it comes to graph-structured data, transformers have not achieved competitive performance, especially on large graphs. In this paper, we identify the main deficiencies of current graph transformers: (1) Existing node sampling strategies in Graph Transformers are agnostic to the graph characteristics and the training process. (2) Most sampling strategies only focus on local neighbors and neglect the long-range dependencies in the graph. We conduct experimental investigations on synthetic datasets to show that existing sampling strategies are sub-optimal. To tackle the aforementioned problems, we formulate the optimization strategies of node sampling in Graph Transformer as an adversary bandit problem, where the rewards are related to the attention weights and can vary in the training procedure. Meanwhile, we propose a hierarchical attention scheme with graph coarsening to capture the long-range interactions while reducing computational complexity. Finally, we conduct extensive experiments on real-world datasets to demonstrate the superiority of our method over existing graph transformers and popular GNNs.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

On interactive computation: Intelligent tutoring systems 26th

On interactive computation: Intelligent tutoring systems

引用

26th conference on current trends in theory and practice of Informatics, SOFSEM 1999

作者： Garzon, Max H. The Tutoring Research Group The University of Memphis MemphisTN38152 United States

ISBN: (纸本)354066694X

this talk will give an overview of an interdisciplinary research project being developed at the University of Memphis, led by a team of computer scientists, psychologists, and educators. the project's goal is to research and develop prototypes for an intelligent autonomous software agent capable of tutoring a human user on a narrow, but fairly open, domain of expertise. the chosen prototype domain is computer literacy. the agent interacts with the user in natural language and other modalities. It receives input in typewritten form, possesses a good deal of syntactic and semantic capabilities to interpret inputs in context relevant fashion, select appropriate responses (short feedback, dialog moves), and completes the dialog cycle in multimodal form (feedback delivered in short spoken expressions and/or facial gestures, spoken information delivery and pointing to appropriate illustrations, animations, etc.). the performance of the agent is expected to be consistent with the level of performance of untrained human tutors. the talk will give a brief overview of the overall architecture of the tutor, explore some of the challenges and tools that have been used in solving them, and provide a demo of the current version, AutoTutor, with an emphasis on the multimodal delivery of the dialog cycle. © Springer-Verlag Berlin Heidelberg 1999.

关键词： computer aided instruction

来源：评论

学校读者我要写书评

暂无评论

SOFSEM 2001 : theory and practice of informatics : 28th conference on current trends in theory and P

引用

2001年

作者： SOFSEM (conference)

来源：内蒙古大学图书馆图书评论

学校读者我要写书评

暂无评论

Interactive indexing and retrieval of multimedia content

Interactive indexing and retrieval of multimedia content

引用

29th conference on current trends in theory and practice of Informatics, SOFSEM 2002

作者： Worring, Marcel Bagdanov, Andrew Gemert, Jan V. Geusebroek, Jan-Mark Minh, Hoang Schreiber, Guus Snoek, Cees Vendrig, Jeroen Wielemaker, Jan Smeulders, Arnold Intelligent Sensory Information Systems University of Amsterdam Kruislaan 403 1098 SJ Amsterdam Netherlands Social Science Informatics University of Amsterdam Netherlands

ISBN: (纸本)354000145X

the indexing and retrieval of multimedia items is difficult due to the semantic gap between the user's perception of the data and the descriptions we can derive automatically from the data using computer vision, speech recognition, and natural language processing. In this contribution we consider the nature of the semantic gap in more detail and show examples of methods that help in limiting the gap. these methods can be automatic, but in general the indexing and retrieval of multimedia items should be a collaborative process between the system and the user. We show how to employ the user's interaction for limiting the semantic gap. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Indexing (of information)

来源：评论

学校读者我要写书评

暂无评论

Work in Progress: Project-Based Assignments for a Graduate-Level Digital Signal Processing Course

Work in Progress: Project-Based Assignments for a Graduate-L...

引用

Frontiers in Education (FIE) conference

作者： Jill K. Nelson Department of Electrical and Computer Engineering George Mason University Fairfax VA USA

We explore the use of projects to replace conventional problem sets as learning tools in a graduate-level digital signal processing (DSP) course. To help students draw strong connections between the theory and practice of DSP, we propose replacing weekly problem sets with four larger-scale projects. Each project is based on a real-world application of DSP and is designed to incorporate a subset of the core concepts covered in the course. In addition to theoretical components, the projects include hands-on MATLAB elements. We hypothesize that employing application-based projects rather than conventional problem sets will improve students' understanding of fundamental DSP concepts and their ability to make connections between theory and practice. the success of the project-based assignments will be evaluated by administering the Signals and Systems Concept Inventory, as well as a student survey

关键词： Digital signal processing MATLAB Electrical engineering Electrical engineering computing Government Continuing education Engineering profession computer science Mathematics Springs

来源：评论

学校读者我要写书评

暂无评论

Properties of SLUR formulae

Properties of SLUR formulae

引用

38th conference on current trends in theory and practice of computer science, SOFSEM 2012

作者： Čepek, Ondřej Kučera, Petr Vlček, Václav Department of Theoretical Computer Science and Mathematical Logic Charles University Malostranské nám. 25 118 00 Praha 1 Czech Republic Estonská 500 100 00 Praha 10 Czech Republic

ISBN: (纸本)9783642276590

Single look-ahead unit resolution (SLUR) algorithm is a nondeterministic polynomial time algorithm which for a given input formula in a conjunctive normal form (CNF) either outputs its satisfying assignment or gives up. A CNF formula belongs to the SLUR class if no sequence of nondeterministic choices causes the SLUR algorithm to give up on it. the SLUR class is reasonably large. It is known to properly contain the well studied classes of Horn CNFs, renamable Horn CNFs, extended Horn CNFs, and CC-balanced CNFs. In this paper we show that the SLUR class is considerably larger than the above mentioned classes of CNFs by proving that every Boolean function has at least one CNF representation which belongs to the SLUR class. On the other hand, we show, that given a CNF it is coNP-complete to decide whether it belongs to the SLUR class or not. Finally, we define a non-collapsing hierarchy of CNF classes SLUR(i) in such a way that for every fixed i there is a polynomial time satisfiability algorithm for the class SLUR(i), and that every CNF on n variables belongs to SLUR(i) for some i ≤ n. © 2012 Springer-Verlag.

关键词： Boolean functions

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共26页 << < 17 18 19 20 21 22 23 24 25 26 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：