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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

62 篇 会议
8 册 图书
2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

45 篇 工学
- 39 篇 计算机科学与技术...
- 21 篇 软件工程
- 6 篇 信息与通信工程
- 5 篇 电气工程
- 3 篇 控制科学与工程
- 3 篇 化学工程与技术
- 2 篇 安全科学与工程
- 2 篇 网络空间安全
- 1 篇 机械工程
- 1 篇 仪器科学与技术
- 1 篇 交通运输工程
22 篇 理学
- 12 篇 数学
- 5 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 大气科学
- 1 篇 生物学
11 篇 管理学
- 9 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
- 2 篇 工商管理
- 1 篇 公共管理
3 篇 法学
- 3 篇 社会学
2 篇 医学
- 2 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 公共卫生与预防医...
- 1 篇 护理学（可授医学、...
1 篇 经济学
- 1 篇 应用经济学
1 篇 文学
- 1 篇 新闻传播学

主题

4 篇 computer communi...
4 篇 discrete mathema...
3 篇 theory of comput...
3 篇 software enginee...
3 篇 software enginee...
3 篇 database managem...
3 篇 computers
3 篇 artificial intel...
3 篇 algorithm analys...
2 篇 data storage rep...
2 篇 graph theory
2 篇 automata theory
2 篇 quantum theory
2 篇 information stor...
1 篇 surveys
1 篇 information syst...
1 篇 learning systems
1 篇 theory-building
1 篇 digital innovati...
1 篇 计算理论

机构

2 篇 department of co...
2 篇 department of in...
1 篇 department of so...
1 篇 institute of inf...
1 篇 faculty of infor...
1 篇 school of applie...
1 篇 certicon shareho...
1 篇 institute of inf...
1 篇 us ctr dis contr...
1 篇 department of in...
1 篇 university of el...
1 篇 institute of che...
1 篇 robotics and cyb...
1 篇 dept. of compute...
1 篇 univ minnesota m...
1 篇 university of th...
1 篇 bundesamt fur ei...
1 篇 department of cy...
1 篇 dept. of informa...
1 篇 shanghai jiao to...

作者

3 篇 šimko marián
2 篇 kutrib martin
2 篇 leszek pacholski
2 篇 löwe jan-thomas
1 篇 petr kadera
1 篇 ronquillo charle...
1 篇 laryea samuel
1 篇 afsarmanesh hami...
1 篇 beňňušková ľubic...
1 篇 breton vincent
1 篇 chukwunonso fran...
1 篇 nørager1 sofie
1 篇 wielemaker jan
1 篇 geusebroek jan-m...
1 篇 frans c. a. groe...
1 篇 peter ružička (e...
1 篇 pennec xavier
1 篇 de vaujany franç...
1 篇 petr novák
1 篇 herveg jean a.m.

语言

69 篇 英文
3 篇 中文

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

共 72 条记录，以下是31-40 订阅

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

详细简洁

排序：

Maestoso: An Intelligent Educational Sketching Tool for Learning Music theory 29

Maestoso: An Intelligent Educational Sketching Tool for Lear...

引用

29th Association-for-the-Advancement-of-Artificial-Intelligence (AAAI) conference on Artificial Intelligence

作者： Taele, Paul Barreto, Laura Hammond, Tracy Texas A&M Univ Sketch Recognit Lab College Stn TX 77843 USA Vassar Coll Comp Sci Dept Poughkeepsie NY 12604 USA

ISBN: (纸本)9781577357032

Learning music theory not only has practical benefits for musicians to write, perform, understand, and express music better, but also for both non-musicians to improve critical thinking, math analytical skills, and music appreciation. However, current external tools applicable for learning music theory through writing when human instruction is unavailable are either limited in feedback, lacking a written modality, or assuming already strong familiarity of music theory concepts. In this paper, we describe Maestoso, an educational tool for novice learners to learn music theory through sketching practice of quizzed music structures. Maestoso first automatically recognizes students' sketched input of quizzed concepts, then relies on existing sketch and gesture recognition techniques to automatically recognize the input, and finally generates instructor-emulated feedback. From our evaluations, we demonstrate that Maestoso performs reasonably well on recognizing music structure elements and that novice students can comfortably grasp introductory music theory in a single session.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Incorporating domain knowledge in matching problems via harmonic analysis

Incorporating domain knowledge in matching problems via harm...

引用

29th International conference on Machine Learning, ICML 2012

作者： Pachauri, Deepti Collins, Maxwell Kondor, Risi Singh, Vikas Dept. of Computer Sciences University of Wisconsin Madison United States Dept. of Biostatistics and Med. Informatics University of Wisconsin Madison United States Dept. of Computer Science Dept. of Statistics University of Chicago United States

ISBN: (纸本)9781450312851

Matching one set of objects to another is a ubiquitous task in machine learning and computer vision that often reduces to some form of the quadratic assignment problem (QAP). the QAP is known to be notoriously hard, both in theory and in practice. Here, we investigate if this difficulty can be mitigated when some additional piece of information is available: (a) that all QAP instances of interest come from the same application, and (b) the correct solution for a set of such QAP instances is given. We propose a new approach to accelerate the solution of QAPs based on learning parameters for a modified objective function from prior QAP instances. A key feature of our approach is that it takes advantage of the algebraic structure of permutations, in conjunction with special methods for optimizing functions over the symmetric group Script Sn in Fourier space. Experiments show that in practical domains the new method can outperform existing approaches. Copyright 2012 by the author(s)/owner(s).

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

Two-way restarting automata and j-monotonicity 28th

引用

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

作者： Plàtek, Martin Charles University Department of Computer Science Malostranskè nàm. 25 PRAHA 1118 00 Czech Republic

ISBN: (纸本)9783540429128

We introduce restarting automata as two-way automata in order to obtain a more general model which is closer to our linguistic motivations. We study the notion of j-monotonicity to show the advantages of this model. We show that the j-monotonicity can be considered as a degree of non-context-freeness and that it is a robust notion due to the considered models of restarting automata. Some other aspects concerning power and applications of two-way restarting automata are mentioned. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

thinking in advance about the last algorithm we ever need to invent 29

Thinking in advance about the last algorithm we ever need to...

引用

29th International conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA 2018

作者： Häggström, Olle Dept of Mathematical Sciences Chalmers University of Technology Göteborg412 96 Sweden Institute for Future Studies Box 591 Stockholm101 31 Sweden

ISBN: (纸本)9783959770781

We survey current discussions about possibilities and risks associated with an artificial intelligence breakthrough on the level that puts humanity in the situation where we are no longer foremost on the planet in terms of general intelligence. the importance of thinking in advance about such an event is emphasized. Key issues include when and how suddenly superintelligence is likely to emerge, the goals and motivations of a superintelligent machine, and what we can do to improve the chances of a favorable outcome. © Olle Häggström.

关键词： Intelligence explosion Omohundro-Bostrom theory Superintelligence

来源：评论

学校读者我要写书评

暂无评论

the potential of grid, virtual laboratories and virtual organizations for bio-sciences 28th

引用

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

作者： Afsarmanesh, Hamideh Kaletas, Ersin Hertzberger, Louis O. University of Amsterdam Informatics Institute Kruislaan 403 Amsterdam1098 SJ Netherlands

ISBN: (纸本)9783540429128

VLAM-G, the Grid-based Virtual Laboratory AMsterdam, provides a science portal for distributed analysis in applied scientific research. It offers scientists the possibility to carry out their experiments in a familiar environment that provides seamless access to geographically distributed resources and devices. In this paper, the general design of the VLAM-G platform is introduced. Furthermore, the application of the VLAM-G and its extension with Virtual Organization concepts for specific scientific domains is presented, with focus on bio-sciences. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

24th Seminar on current trends in theory and practice of informatics, SOFSEM 1997

24th Seminar on Current Trends in Theory and Practice of Inf...

引用

24th Software Seminar on current trends in theory and practice of informatics, SOFSEM 1997

ISBN: (纸本)3540637745

the proceedings contain 46 papers. the special focus in this conference is on Fundamentals, Distributed and Parallel Computing. the topics include: Algorithms and heuristics for a deep look into the future;algorithms for triangulated terrains;on the distributed realization of parallel algorithms;the fundamental problem of database design;solving and approximating combinatorial optimization problems;the computational power of continuous time neural networks;a foundation for computable analysis;towards machines that can think;computational complexity of continuous problems;path layout in ATM networks;the mobile agent technology;theory and practice in interactionally rich distributed systems;configuration-based programming systems;automatic generation of parallelizing compilers for object-oriented programming languages from denotational semantics specifications;from domains via requirements to software;the whole picture to software process improvement;object-oriented design patterns;object-oriented DBMS and beyond;on integration of relational and object-oriented database systems;from OO through deduction to active databases;an introduction to virtual reality modeling language and stepping stones to an information society;lower bounds for the virtual path layout problem in ATM networks;query processing in temporal evidential databases;a first approach to temporal predicate locking for concurrency detection in temporal relational databases supporting schema versioning;efficient insertion of approximately sorted sequences of items into a dictionary;high availability support in CORBA environments;zero-overhead exception handling using metaprogramming;the output-store formal translator directed by LR parsing and parallel processing on alphas under MATLAB 5.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Contrasting safety management approaches for natural disasters applied to landslides in sandnes (Norway) 29

Contrasting safety management approaches for natural disaste...

引用

29th European Safety and Reliability conference, ESREL 2019

作者： Mulero, Diego Lopez Nja, Ove University of Stavanger Postboks 8600 Stavanger Norway SEROS University of Stavanger Norway

ISBN: (纸本)9789811127243

the social, economic and environmental effects of natural disasters are increasing. It is widely demonstrated that the main cause is related to the climate change, and the latest predictions from the IPCC do not forecast a promising future in this regard. Numerous countries are taking actions against these challenges as the rate of occurrence and consequences are higher. the return periods of extreme climatic events are decreasing. the urbanization keeps its pace thus, more population and economic activity is allocated vulnerable areas. the current situation in Norwegian municipalities is that they are assumed to self-regulate their safety management activities to protect against natural disasters and develop emergency preparedness systems designed to evacuate exposed population. this is a regulatory strategy being successful in the Norwegian oil and gas industry, but we raise questions towards its effectiveness in the public sector. this paper aims to analyze and contrast the traditional safety management approach seen in Norwegian municipalities with a systems theory based on Leveson's System-theoretic Accident Model and Processes (STAMP). We use the landslide protection management practice in the Sandnes municipality as our case study. the analysis and comparison are a step in a wider effort to quantify the landslide occurrence likelihood given certain conditions based on data and typical causes in order to support the community in creating resilience in preparation for future landslide risks. Copyright © 2019 European Safety and Reliability Association.

关键词： System theory

来源：评论

学校读者我要写书评

暂无评论

Zero Trust Validation: from practice to theory : An empirical research project to improve Zero Trust implementations 29

Zero Trust Validation: from Practice to Theory : An empirica...

引用

29th IEEE Annual Software Technology conference, STC 2022

作者： Bobbert, Yuri Scheerder, Jeroen ON2IT

ISBN: (数字)9781665488648

ISBN: (纸本)9781665488648

How can high-level directives concerning risk, cybersecurity and compliance be operationalized in the central nervous system of any organization above a certain complexity? How can the effectiveness of technological solutions for security be proven and measured, and how can this technology be aligned with the governance and financial goals at the board level? these are the essential questions for any CEO, CIO or CISO that is concerned with the wellbeing of the firm. the concept of Zero Trust (ZT) approaches information and cybersecurity from the perspective of the asset to be protected, and from the value that asset represents. Zero Trust has been around for quite some time. Most professionals associate Zero Trust with a particular architectural approach to cybersecurity, involving concepts such as segments, resources that are accessed in a secure manner and the maxim 'always verify never trust'. this paper describes the current state of the art in Zero Trust usage. We investigate the limitations of current approaches and how these are addressed in the form of Critical Success Factors in the Zero Trust Framework developed by ON2IT 'Zero Trust Innovators' (1). Furthermore, this paper describes the design and engineering of a Zero Trust artefact that addresses the problems at hand (2), according to Design Science Research (DSR). the last part of this paper outlines the setup of an empirical validation trough practitioner oriented research, in order to gain a broader acceptance and implementation of Zero Trust strategies (3). the final result is a proposed framework and associated technology which, via Zero Trust principles, addresses multiple layers of the organization to grasp and align cybersecurity risks and understand the readiness and fitness of the organization and its measures to counter cybersecurity risks. © 2022 IEEE.

关键词： Risk management

来源：评论

学校读者我要写书评

暂无评论

Extension of rescheduling based on minimal graph cut 1

引用

34th conference on current trends in theory and practice of Computer Science

作者： Lekavy, Marian Navrat, Pavel Slovak Tech Univ Bratislava Fac Informat & Informat Technol Bratislava 84216 Slovakia

ISBN: (数字)9783540775669

ISBN: (纸本)9783540775652

An important role of a workflow system is to schedule and reschedule the workflow process and to allow the user to monitor and guide the overall progress of the workflow and its activities. this paper presents extensions of a rescheduling algorithm based on minimal graph cut. the initial approach allowed to find an optimal rescheduling, which changed the initial schedule by shortening and moving of activities. the new schedule had the lowest overall price, counted as the sum of prices of shortening activities. the extension presented in this paper allows several extensions, while keeping the optimality: handling several delayed activities, handling the price of moving an activity and handling the price of deadline violation. the rescheduling algorithm is used within an ontology-based workflow management system for the process of military exercise preparation in Centre of simulation technologies National Academy of Defence.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

Massively parallel pattern recognition with link failures 27th

引用

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

作者： Kutrib, Martin Löwe, Jan-thomas Institute of Informatics University of Giessen Arndtstr. 2 GiessenD-35392 Germany

ISBN: (纸本)3540413480

the capabilities of reliable computations in linear cellular arrays with communication failures are investigated in terms of syntactical pattern recognition. In particular we consider very fast, i. e. real-time, computations. It is wellknown that real-time one-way arrays are strictly less powerful than realtime two-way arrays. Here it is shown that the sets of patterns reliably recognizable by real-time arrays with link failures are strictly in between the sets of (intact) one-way and (intact) two-way arrays. Hence, the failures cannot be compensated in general but, on the other hand, do not decrease the computing power to that one of one-way arrays. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Computing power

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共8页 << < 1 2 3 4 5 6 7 8 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：