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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 期刊文献
7 册 图书

馆藏范围

276 篇 电子文献
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 篇 logic gates

机构

3 篇 univ penn dept c...
3 篇 electronics and ...
3 篇 division of comp...
2 篇 ben-gurion unive...
2 篇 univ cambridge 6...
2 篇 duke univ dept e...
2 篇 tu wien austria
2 篇 institute of sys...
2 篇 school of mathem...
2 篇 department of co...
2 篇 dacya complutens...
2 篇 med mobile 535 2...
2 篇 college of compu...
2 篇 deis universit d...
2 篇 school of comput...
1 篇 lahore pakistan
1 篇 department of co...
1 篇 university of ca...
1 篇 dept. of mechani...
1 篇 key laboratory o...

作者

3 篇 parlato gennaro
3 篇 sokolsky oleg
3 篇 park junkil
3 篇 pajic miroslav
3 篇 lee insup
3 篇 la torre salvato...
3 篇 fischer bernd
2 篇 holeman isaac
2 篇 mohd azlishah ot...
2 篇 tomasco ermenegi...
2 篇 inverso omar
2 篇 segal michael
2 篇 lengál ondřej
2 篇 ross peter
2 篇 hamzah asyrani s...
2 篇 yahaya abd rahim
2 篇 mohd fairuz iska...
2 篇 marchetti-spacca...
2 篇 corne david
1 篇 roihan ahmad

语言

275 篇 英文
2 篇 中文

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

共 276 条记录，以下是181-190 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Computational Collective Intelligence: Semantic Web, Social Networks and Multiagent systems - First international conference, ICCCI 2009, Proceedings

Computational Collective Intelligence: Semantic Web, Social ...

引用

1st international conference on Computational Collective Intelligence, ICCCI 2009

ISBN: (纸本)3642044409

The proceedings contain 73 papers. The topics discussed include: rough set approach to knowledge discovery about preferences;toward a self-referential collective intelligence: some philosophical background of the IEML research program;a-teams and their applications;local search algorithms for core checking in hedonic coalition games;information foraging theory as a form of collective intelligence for social search;SAM: semantic argumentation based model for collaborative knowledge creation and sharing system;a conception for modification of learning scenario in an intelligent e-learning system;Firefly algorithm for continuous constrained optimization tasks;distributed data mining methodology with classification model example;a token-based mutual exclusion approach to improve collaboration in distributed environments;discovering medical knowledge from data in patients' files;and towards an increase of collective intelligence within organizations using trust and reputation models.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An investigation into small world phenomenon in engineering informatics

An investigation into small world phenomenon in engineering ...

引用

3rd international Multi-conference on Computing in the Global Information Technology, ICCGI 2008

作者： Zhengxu, Zhao Jinsheng, Fan School of Computing University of Derby Kedleston Road Derby DE22 1GB United Kingdom School of Computing and Informatics Shijiazhuang Tiedao Institute Shijiazhuang Hebei Province China

ISBN: (纸本)9780769532752

Product information is complex and discrete in terms of design methods and manufacturing processes, its long term retention has for time been a great challenge. This paper presents an initial investigation into the Small World Phenomenon within product information with an emphasis on computer-Aided Design (CAD) data and its generating systems. The objective is to construct a networking model in the notion of Six Degrees Separation and thereafter to produce useful findings for future reference in information organization. It is expected that this model will be an essence for effective CAD data translation, exchange, index and migration and for helping to deal with the key problems in long term retention of product data. © 2008 IEEE.

关键词： computer aided design

来源：评论

学校读者我要写书评

暂无评论

1st international conference on Codes, Cryptology, and Information Security, C2SI 2015

1st International Conference on Codes, Cryptology, and Infor...

引用

1st international conference on Codes, Cryptology, and Information Security, C2SI 2015

ISBN: (纸本)9783319186801

The proceedings contain 31 papers. The special focus in this conference is on Codes, Cryptology, and Information Security. The topics include: Multidimensional bell inequalities and quantum cryptography;securing the web of things with role-based access control;on the security of long-lived archiving systems based on the evidence record syntax;on the properties of vectorial functions with plateaued components and their consequences on APN functions;beyond cryptanalysis is software security the next threat for smart cards;a family of quasi-involutive block ciphers easy to mask;a dynamic attribute-based authentication scheme;repeated-root isodual cyclic codes over finite fields;formal enforcement of security policies on parallel systems with risk integration;countermeasures mitigation for designing rich shell code in java card;square code attack on a modified sidelnikov cryptosystem;a family of six-weight reducible cyclic codes and their weight distribution;a note on the existence of self-dual skew codes over finite fields;the weight distribution of a family of lagrangian-grassmannian codes;algorithms of constructing linear and robust codes based on wavelet decomposition and its application;failure of the point blinding countermeasure against fault attack in pairing-based cryptography;impossible differential properties of reduced round streebog;uncovering self code modification in android;performance of LDPC decoding algorithms with a statistical physics theory approach;representation of dorsal hand vein pattern using local binary patterns (LBP);watermarking based multi-biometric fusion approach and factoring RSA moduli with weak prime factors.

关键词：

来源：评论

学校读者我要写书评

暂无评论

EOst-an access method for obfuscating spatio-temporal data in LBS

引用

1st international conference on Frontiers in Intelligent Computing: theory and Applications, FICTA 2012

作者： Gavali, Ashwini Limkar, Suresh Patil, Dnyanashwar Department of Computer Engineering GHRCEM Pune India Department of Computer Engineering AISSMS's IOIT Pune India Department of Computer Engineering DYPCOE Ambi Pune India

ISBN: (纸本)9783642353130

Most widely use of mobile communication devices and the technical improvements of location techniques are fostering the development of new applications that use the physical position of users to offer location-based services for business, social, or informational purposes. Since the development of location-based services, privacy-preserving has gained special attention and many algorithms aiming at protecting user's privacy have been created such as obfuscation or k-anonymity. The Ost-tree capable of obfuscating the spatio-temporal data of users. Also it is easy for the adversary to infer a user's exact position in the obfuscated area if the probability distribution of user's position is uniformly distributed in case of Ost- tree. So this problem can be addressed by proposing EOst-tree, which obfuscates the spatiotemporal data for the probability distribution of user's position belongs to a region is not uniformly distributed. As in real life, the region where a user belongs to depends on many factors related to geography. © 2013 Springer-Verlag.

关键词： Probability distributions

来源：评论

学校读者我要写书评

暂无评论

Mobile code for coordination

Mobile code for coordination

引用

3rd international Multi-conference on Computing in the Global Information Technology, ICCGI 2008

作者： Iliasov, Alexei School of Computing Science Newcastle University Newcastle upon Tyne NE1 7RU United Kingdom

ISBN: (纸本)9780769532752

An effective coordination mechanism is central to building large distributed systems. Overcoming limitations of a coordination language can be a major challenge for developers of distributed systems. This paper presents a novel coordination mechanism based on code mobility. In this mechanism coordination is realised by exchanging pieces of mobile code between coordinated entities. This approach overcomes constrains of a statically defined coordination language by allowing coordinated entities to dynamically redefine coordination rules and use all the power of a programming language to express such rules. This helps to implement sophisticated and efficient data retrieval and processing algorithms and also reduce network traffic. The paper also discusses a non-language based coordination framework specially developed to support coordination based on mobile code and a pragmatic solution to the problem of protecting hosts from potentially harmful mobile code. A proof of concept implementation demonstrates the feasibility and applicability of the proposal. © 2008 IEEE.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

Principles of Distributed systems 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Chenyang Lu Toshimitsu Masuzawa Mohamed Mosbah

ISBN: (数字)9783642176531

ISBN: (纸本)9783642176524

The 14th international conference on Principles of Distributed systems (OPODIS 2010) took place during December 14–17, 2010 in Tozeur, Tunisia. It continued a tradition of successful conferences; Chantilly (1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002), La Martinique (2003), Gre- ble (2004), Pisa (2005), Bordeaux (2006), Guadeloupe (2007), Luxor (2008) and Nˆ?mes (2009). The OPODIS conference constitutes an open forum for the exchange of sta- of-the-art knowledge on distributed computing and systems among researchers from around the world. Following the tradition of the previous events, the p- gram was composed of high-quality contributed papers. The program call for papers looked for original and signi?cant research contributions to the theory, speci?cation, design and implementation of distributed systems, including: – Communication and synchronization protocols – Distributed algorithms, multiprocessor algorithms – Distributed cooperative computing – Embedded systems – Fault-tolerance, reliability, availability – Grid and cluster computing – Location- and context-aware systems – Mobile agents and autonomous robots – Mobile computing and networks – Peer-to-peer systems, overlay networks – Complexity and lower bounds – Performance analysis of distributed systems – Real-time systems – Security issues in distributed computing and systems – Sensor networks: theory and practice – Speci?cation and veri?cation of distributed systems – Testing and experimentation with distributed systems In response to this call for papers, 122 papers were submitted. Each paper was reviewed by at least three reviewers, and judged according to scienti?c and p- sentation quality, originality and relevance to theconference topics.

关键词： computer Communication Networks Algorithm Analysis and Problem Complexity Discrete Mathematics in computer Science Software Engineering Artificial Intelligence Symbolic and Algebraic Manipulation

来源：评论

学校读者我要写书评

暂无评论

An Exploration of how Trust Online Relates to Psychological and Subjective Wellbeing 23

An Exploration of how Trust Online Relates to Psychological ...

引用

1st international Symposium on Trustworthy Autonomous systems, TAS 2023

作者： Dowthwaite, Liz Perez Vallejos, Elvira Portillo, Virginia Patel, Menisha Zhao, Jun Creswick, Helen Horizon Digital Economy Research School of Computer Science University of Nottingham United Kingdom School of Medicine and School of Computer Science University of Nottingham United Kingdom University of Oxford United Kingdom University of Nottingham United Kingdom

ISBN: (纸本)9798400707346

Internet users often report feelings of stress, anxiety, and a lack of control, often related to uncertainty about the use of algorithms and autonomous systems (AS) behind what they encounter. This may lead to a loss of trust in the services, content, and websites people encounter online. In order to ensure that the online world contributes to human flourishing, it is important to understand how both trust and wellbeing manifest online. This paper describes an online questionnaire exploring the relationships between factors related to trust and psychological and subjective wellbeing, as well as online activity and digital confidence. Results suggest that trust is important to people online but in practice is quite low, and that positive measures of wellbeing outweigh the negative, but more could be done to design AS in a responsible, trustworthy, and wellbeing-affirming manner, particularly considering ways to enhance human autonomy and competence. Suggestions are made for how designers might consider trust and wellbeing when approaching the creation and presentation of online AS. © 2023 ACM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共28页 << < 15 16 17 18 19 20 21 22 23 24 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：