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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

258 篇 会议
11 篇 期刊文献
9 册 图书

馆藏范围

278 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

192 篇 工学
- 167 篇 计算机科学与技术...
- 103 篇 软件工程
- 42 篇 信息与通信工程
- 30 篇 电气工程
- 21 篇 控制科学与工程
- 10 篇 电子科学与技术（可...
- 9 篇 生物工程
- 7 篇 动力工程及工程热...
- 6 篇 仪器科学与技术
- 6 篇 交通运输工程
- 5 篇 光学工程
- 5 篇 安全科学与工程
- 5 篇 网络空间安全
- 4 篇 建筑学
- 4 篇 生物医学工程（可授...
- 3 篇 力学（可授工学、理...
- 3 篇 机械工程
- 3 篇 化学工程与技术
72 篇 理学
- 47 篇 数学
- 22 篇 系统科学
- 13 篇 统计学（可授理学、...
- 10 篇 物理学
- 10 篇 生物学
- 3 篇 化学
- 3 篇 地球物理学
35 篇 管理学
- 18 篇 管理科学与工程(可...
- 17 篇 图书情报与档案管...
- 12 篇 工商管理
6 篇 医学
5 篇 法学
- 4 篇 社会学
5 篇 教育学
- 5 篇 教育学
2 篇 经济学
2 篇 农学
1 篇 文学
1 篇 军事学

主题

10 篇 genetic algorith...
8 篇 artificial intel...
8 篇 constraint theor...
6 篇 machine learning
6 篇 game theory
6 篇 clustering algor...
5 篇 computer science
5 篇 algorithm design...
4 篇 quality of servi...
4 篇 computational mo...
4 篇 graph theory
4 篇 computers
4 篇 decision making
4 篇 computer vision
4 篇 computer network...
3 篇 computer simulat...
3 篇 object detection
3 篇 systems engineer...
3 篇 algorithms
3 篇 computer communi...

机构

3 篇 univ penn dept c...
3 篇 electronics and ...
3 篇 division of comp...
2 篇 universitat jaum...
2 篇 imdea software i...
2 篇 ben-gurion unive...
2 篇 univ cambridge 6...
2 篇 university of na...
2 篇 duke univ dept e...
2 篇 tu wien austria
2 篇 institute of sys...
2 篇 bank of italy fr...
2 篇 school of mathem...
2 篇 university of al...
2 篇 university of ca...
2 篇 department of co...
2 篇 johannes gutenbe...
2 篇 los alamos natio...
2 篇 university of cy...
2 篇 scuola superiore...

作者

3 篇 parlato gennaro
3 篇 sokolsky oleg
3 篇 park junkil
3 篇 pajic miroslav
3 篇 lee insup
3 篇 la torre salvato...
3 篇 fischer bernd
2 篇 marta garcia-gas...
2 篇 sarah neuwirth
2 篇 holeman isaac
2 篇 gracia ester mar...
2 篇 mohd azlishah ot...
2 篇 tomasco ermenegi...
2 篇 inverso omar
2 篇 segal michael
2 篇 david e. singh
2 篇 lengál ondřej
2 篇 admela jukan
2 篇 matteo nardelli
2 篇 silvina caino-lo...

语言

274 篇 英文
3 篇 其他
2 篇 中文

检索条件"任意字段=1st International ICST Conference on Theory and Practice of Algorithms in Computer Systems"

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

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

详细简洁

排序：

High-confidence control: Ensuring reliability in high-performance real-time systems 1

High-confidence control: Ensuring reliability in high-perfor...

引用

1st international IEEE Symposium on Intelligent systems

作者： Samad, T Honeywell Automat & Control Solut Minneapolis MN 55418 USA

ISBN: (纸本)0780376013

Technology transfer is an especially difficult proposition for real-time control. To facilitate it, we need to complement the "high performance" orientation of control research with an emphasis on demonstrating "high confidence" in real-time implementation. Two particular problems are discussed and recent research directed at their solutions presented. First, the use of anytime algorithms requires dynamic resource management technology that is not generally available today in real-time systems. Second, complex algorithms have unpredictable computational characteristics that nevertheless need to be modeled;statistical verification is suggested as a possible approach. In both cases, a synthesis of control engineering and computer science is required if effective solutions are to be devised.

关键词： theory/practice gap verification and validation anytime algorithms probabilistic verification

来源：评论

学校读者我要写书评

暂无评论

Model checking support for the ASM high-level language

Model checking support for the ASM high-level language

引用

6th international conference on Tools and algorithms for the Construction and Analysis of systems at the European conference on theory and practice of Software

作者： Del Castillo, G Winter, K Univ GH Paderborn Heinz Nixdorf Inst D-33102 Paderborn Germany GMD 1st D-12489 Berlin Germany

ISBN: (纸本)3540672826

Gurevich's Abstract state Machines (ASM) constitute a high-level specification language for a wide range of applications. The existing tool support for ASM-currently including type-checking, simulation and debugging-should be extended to support computer-aided verification, in particular by model checking. In this paper we introduce an interface from our existing tool environment to the model checker SMV, based on a transformation which maps a large subset of ASM into the SMV language. Through a case study we show how the proposed approach can ease the validation process.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Coverability of reset Petri nets and other well-structured transition systems by partial deduction 1

引用

1st international conference on Computational Logic (CL 2000)

作者： Leuschel, M Lehmann, H Univ Southampton Dept Elect & Comp Sci Southampton SO17 1BJ Hants England

ISBN: (数字)9783540449577

ISBN: (纸本)3540677976

In recent work it has been shown that infinite state model checking can be performed by a combination of partial deduction of logic programs and abstract interpretation. It has also been shown that partial deduction is powerful enough to mimic certain algorithms to decide coverability properties of Petri nets. These algorithms are forward algorithms and hard to scale up to deal with more complicated systems. Recently, it has been proposed to use a backward algorithm scheme instead. This scheme is applicable to so-called well-structured transition systems and was successfully used, e.g., to solve coverability problems for reset Petri nets. In this paper, we discuss how partial deduction can mimic many of these backward algorithms as well. We prove this link in particular for reset Petri nets and Petri nets with transfer and doubling arcs. We thus establish a surprising link between algorithms in Petri net theory and program specialisation, and also shed light on the power of using logic program specialisation for infinite state model checking.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

IFIP international conference on Theoretical computer Science, TCS 2000

引用

1st international conference on Theoretical computer Science, IFIP TCS 2000

ISBN: (纸本)3540678239

The proceedings contain 49 papers. The special focus in this conference is on algorithms, Complexity and Models of Computation. The topics include: theory and construction of molecular computers;approximation algorithms for string folding problems;an index for two dimensional string matching allowing rotations;parallel edge coloring of a tree on a mesh connected computer;parallel approximation algorithms for maximum weighted matching in general graphs;complexity considerations for polynomial ideals;an efficient parallel algorithm for scheduling interval ordered tasks;fast interpolation using kohonen self-organizing neural networks;on the complexity of integer programming in the Blum-shub-smale computational model;on logarithmic simulated annealing;ambient groups and mobility types;an asynchronous, distributed implementation of mobile ambients;type systems for concurrent processes;from deadlock-freedom to livelock-freedom, time-boundedness;an interpretation of typed concurrent objects in the blue calculus;open ended systems, dynamic bisimulation and tile logic;on the complexity of bisimulation problems for pushdown automata;a type-theoretic study on partial continuations;partially typed terms between church-style and curry-style;hypothesis support for information integration in four-valued logics;a formal model for embedded components;a single complete refinement rule for demonic specifications;reasoning about composition using property transformers and their conjugates;new challenges for theoretical computer science;quantumization of theoretical informatics;towards a computational theory of everything and the varieties of programming language semantics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

1st international conference on Advances in Information systems, ADVIS 2000

1st International Conference on Advances in Information Syst...

引用

1st international conference on Advances in Information systems, ADVIS 2000

ISBN: (纸本)3540411844

The proceedings contain 43 papers. The special focus in this conference is on Data Warehouses, computer Networks and Constraint Programming. The topics include: Model of summary tables selection for data warehouses;modeling the behavior of OLAP applications using an UML compliant approach;conceptual multidimensional data model based on metacube;using portfolio theory for automatically processing information about data quality in data warehouse environments;representative sample data for data warehouse environments;an intrinsic element in database systems;estimating proximity of metric ball regions for multimedia data indexing;a technique for upgrading database machines online;automatic semantic object discovery and mapping from non-normalised relational database systems;estimation of uncertain relations between indeterminate temporal points;comparison of genetic and tabu search algorithms in multiquery optimization in advanced database systems;interval optimization of correlated data items in data broadcasting;a packet routing protocol for frequently changing topology with ad-hoc networks;throughput stability of reliable multicast protocols;on the rearrangeability of multistage networks employing uniform connection pattern;combining constraints and consistency techniques in knowledge-based expert systems;declarative modelling of constraint propagation strategies;clustering of texture features for content-based image retrieval;fuzzy content-based retrieval in image databases;fuzzy signatures for multimedia databases;application of metadata concepts to discovery of internet resources;evaluation of the object-orientation of a multi-agent system;development of a component oriented garment design library and an agent-based information retrieval system.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Computational Logic, CL 2000 - First international conference, Proceedings

Computational Logic, CL 2000 - First International Conferenc...

引用

1st international conference on Computational Logic, CL 2000

ISBN: (纸本)3540677976

The proceedings contain 91 papers. The topics discussed include: logic program synthesis in a higher-order setting;coverability of reset Petri nets and other well-structured transition systems by partial deduction;binary speed up for logic programs;a new module system for prolog;partial models of extended generalized logic programs;alternating fixpoint theory for logic programs with priority;proving failure in functional logic programs;semantics of input-consuming logic programs;a denotational semantics of defeasible logic;isoinitial semantics for logic programs;abstract syntax for variable binders: an overview;goal-directed proof search in multiple-conclusioned intuitionistic logic;efficient EM learning with tabulation for parameterized logic programs;model generation theorem proving with finite interval constraints;and arc consistency algorithms via iterations of subsumed functions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Performing algorithmic refinement before data refonement in B 1

引用

1st international conference of B and Z Users, ZB 2000

作者： Butler, Michael Meagher, Mairead Department of Electronics and Computer Science University of Southampton SouthamptonSO17 1BJ United Kingdom Department of Physical and Quantitative Sciences School of Science Waterford Institute of Technology Waterford Ireland

ISBN: (纸本)9783540679448

Algorithmic Refinement is part of the theory of the B method both at the refinement and implementation stages. It a sign of how little loop introduction is used in practice at the refinement stage that neither the B-Toolkit nor Atelier-B provide support for loop introduction until the implementation stage. This paper examines the use of algorithmic refinement in general before data refinement. This involves extending the usual scope of data refinement which usually happens before algorithmic refinement. Two case studies are used to compare and contrast the application of algorithmic refinement before data refinement and vice versa. Some extensions are needed in the B-Toolkit to implement this style (i.e., algorithmic before data refinement) and are proposed. Some workarounds are also presented when appropriate. © Springer-Verlag Berlin Heidelberg 2000.

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

1st international conference on Web-Age Information Management, WAIM 2000

1st International Conference on Web-Age Information Manageme...

引用

1st international conference on Web-Age Information Management, WAIM 2000

ISBN: (纸本)9783540676270

The proceedings contain 43 papers. The special focus in this conference is on Modeling and Implementation. The topics include: Visual data mining for business intelligence applications;parallel data mining on large scale pc cluster;xml query languages in practice;a two-level method for clustering DTDs;inferring DTD to facilitate user-oriented xml document query;an object oriented multidimensional data model for OLAP;applying object-oriented conceptual modeling techniques to the design of multidimensional databases and OLAP applications;an optimal locking scheme in object-oriented database systems;an efficient distributed algorithm for computing association rules;mining association rules with negative items using interest measure;probabilistic approach to association rules in incomplete databases;discovering sequential patterns from non-uniform databases;an effective approach to mining exception class association rules;integrated data management and enterprise models;a virtual private network for virtual enterprise information systems;adaptive online retail web site based on hidden Markov model;a protocol for untraceable electronic cash;materializing web data for OLAP and DSS;hierarchically classifying Chinese web documents without dictionary support and segmentation procedure;web clustering and association rule discovery for web broadcast;a non-Euclidean model for web retrieval;advanced replacement policies for www caching;extending rectangle join algorithms for rectilinear polygons;modeling temporal aspects in hypermedia applications;a dynamic and robust access method for spatial data handling;a new architecture for distributed GIS under internet environment;global view maintenance by using inference relationship among views.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Communicating dynamic behaviors: Are interactive multimedia presentations better than static mixed-mode presentations? 1

Communicating dynamic behaviors: Are interactive multimedia ...

引用

1st international conference on theory and Application of Diagrams, Diagrams 2000

作者： Hari Narayanan, N. Hegarty, Mary Intelligent and Interactive Systems Laboratory Department of Computer Science and Software Engineering Auburn University AuburnAL36849 United States Department of Psychology University of California Santa BarbaraCA93106 United States

ISBN: (纸本)3540679154

static mixed-mode presentations consisting of verbal explanations illustrated with diagrams have long been used to communicate information. With the advent of multimedia, such presentations have become dynamic, by migrating from paper to the computer and by adding interactivity and animation. The conventional wisdom is that computer-based multimedia presentations are better than printed presentations. However, does the communicative power of mixed-mode representations stem from their careful design to match cognitive processes involved in comprehension or from their interactive and animated nature? This is an important issue that has never been investigated. This paper first presents a cognitive model of comprehension of mixed-mode representations. We describe how this model generates design guidelines for mixed-mode representations that present expository material in two domains - the concrete domain of mechanical systems and the abstract domain of computer algorithms. We then report on a series of studies that compared computer-based interactive multimedia presentations and their paper-based counterparts. Both were designed in accordance with the comprehension model and were compared against each other and against competing representational forms such as books, CD-ROMs, and animations. These studies indicate that the effectiveness of mixed-mode presentations has more to do with their match with comprehension processes than the medium of presentation. In other words, benefits of interactivity and animation are likely being overstated in the current milieu of fascination with multimedia. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Animation

来源：评论

学校读者我要写书评

暂无评论

1st NASA international conference on Quantum Computing and Quantum Communications, QCQC 1998

1st NASA International Conference on Quantum Computing and Q...

引用

1st NASA international conference on Quantum Computing and Quantum Communications, QCQC 1998

ISBN: (纸本)354065514X

The proceedings contain 43 papers. The special focus in this conference is on Entanglement and Quantum algorithms. The topics include: Multi-particle entanglement via two-particle entanglement;fast algorithms and complete circuits;quantum computer for fluid simulation;quantum entanglement and the communication complexity of the inner product function;quantum recurrent networks for simulating stochastic processes;process and time in quantum networks;quantum effects in algorithms;automated design of quantum circuits;quantum search on structured problems;generalized grover search algorithm for arbitrary initial amplitude distribution;quantum database search by a single query;quantum computer cannot speed up iterated applications of a black box;quantum resonance for solving NP-complete problems by simulations;computational complexity and physical law;the hidden subgroup problem and eigenvalue estimation on a quantum computer;a diakoptic approach to quantum computation;practical free-space quantum cryptography;quantum cryptography, eavesdropping and unsharp spin measurement;information-theoretic aspects of quantum copying;universal optimal cloning of qubits and quantum registers;entanglement of assistance;quantum generalization of conditional entropy and information;accessible information in multi-access quantum channels;capacities of quantum channels and quantum coherent information;applications in non-equilibrium thermodynamics and quantum information theory;fault-tolerant quantum computation with higher-dimensional systems;quantum convolution error correction codes;on the existence of nonadditive quantum codes;quantum error correction is applicable for reducing spatially correlated decoherence;topological quantum computation;quantum computing using electron-nuclear double resonances and physical implementations for quantum communication in quantum networks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：