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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

998 篇 会议
68 册 图书
10 篇 期刊文献

馆藏范围

1,076 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

697 篇 工学
- 568 篇 计算机科学与技术...
- 497 篇 软件工程
- 147 篇 控制科学与工程
- 132 篇 信息与通信工程
- 89 篇 电气工程
- 70 篇 机械工程
- 59 篇 动力工程及工程热...
- 51 篇 生物工程
- 48 篇 交通运输工程
- 44 篇 电子科学与技术（可...
- 37 篇 安全科学与工程
- 27 篇 光学工程
- 25 篇 生物医学工程（可授...
- 23 篇 仪器科学与技术
- 22 篇 化学工程与技术
- 19 篇 材料科学与工程（可...
- 17 篇 建筑学
- 17 篇 土木工程
393 篇 理学
- 299 篇 数学
- 59 篇 生物学
- 54 篇 系统科学
- 48 篇 物理学
- 39 篇 统计学（可授理学、...
- 28 篇 化学
195 篇 管理学
- 148 篇 管理科学与工程(可...
- 77 篇 工商管理
- 70 篇 图书情报与档案管...
40 篇 教育学
- 40 篇 教育学
37 篇 经济学
- 37 篇 应用经济学
23 篇 法学
- 20 篇 社会学
16 篇 医学
13 篇 农学
2 篇 文学
2 篇 军事学

主题

66 篇 software enginee...
65 篇 linear programmi...
53 篇 programming
40 篇 software enginee...
33 篇 artificial intel...
29 篇 optimization
26 篇 dynamic programm...
25 篇 programming tech...
24 篇 costs
22 篇 computational mo...
19 篇 programming lang...
18 篇 programming prof...
18 篇 integer programm...
18 篇 logics and meani...
17 篇 training
16 篇 computer communi...
16 篇 students
14 篇 machine learning
14 篇 engineering educ...
13 篇 computer science

机构

4 篇 department of sy...
4 篇 zhejiang univers...
4 篇 school of comput...
4 篇 state grid sichu...
4 篇 school of inform...
4 篇 school of mechan...
3 篇 school of automa...
3 篇 school of inform...
3 篇 school of comput...
3 篇 cent res inst el...
3 篇 eindhoven univer...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of electr...
3 篇 school of comput...
3 篇 school of inform...
3 篇 polytechnic inst...
3 篇 department of co...
3 篇 school of inform...
3 篇 school of inform...

作者

4 篇 hideki katagiri
4 篇 sanxing cao
4 篇 yin guodong
3 篇 zhang tao
3 篇 laksono pringgo ...
3 篇 chen hao
3 篇 kosuke kato
3 篇 rosyidi cucuk nu...
3 篇 miller j
3 篇 takano hirotaka
3 篇 asano hiroshi
3 篇 liu wei
3 篇 zhang chen
3 篇 shen tong
3 篇 smith m
3 篇 el-kenawy el-say...
3 篇 yang liu
3 篇 martin a
3 篇 abotaleb mostafa
3 篇 mugridge r

语言

1,033 篇 英文
41 篇 其他
6 篇 中文
1 篇 西班牙文

检索条件"任意字段=6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022"

共 1076 条记录，以下是701-710 订阅

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

详细简洁

排序：

Mitigation Strategies for Lifeline Systems Based on the Interdependent Network Design Problem 2

Mitigation Strategies for Lifeline Systems Based on the Inte...

引用

2nd international conference on Vulnerability and Risk Analysis and Management, ICVRAM 2014 and the 6th international Symposium on Uncertainty Modeling and Analysis, ISUMA 2014

作者： González, Andrés D. Sánchez-Silva, Mauricio Dueñas-Osorio, Leonardo Medaglia, Andrés L. Department of Civil and Environmental Engineering Rice University 6100 Main Street MS-318 TX77005-1827 United States Department of Civil and Environmental Engineering Department of Industrial Engineering Universidad de Los Andes Bogota Cra 1 Este No19A-40 Colombia Department of Civil and Environmental Engineering Universidad de Los Andes Bogota Cra 1 Este No19A-40 Colombia Department of Civil and Environmental Engineering Rice University 6100 Main Street HoustonTX77005-1827 United States Department of Industrial Engineering Universidad de Los Andes Bogota Cra 1 Este No19A-40 Colombia

ISBN: (纸本)9780784413609

the objective of this paper is to present a methodology that integrates Mixed Integer programming (MIP) optimization methods into the calculation of metrics related to the reliability and resilience of a system of interdependent infrastructure networks, improving over mitigation strategies and vulnerability assessment that do not consider interdependence relations within an optimization framework. this methodology aims to provide tools to simulate diverse failure scenarios, assess their impact on the system's performance and recoverability, and quantify its sensitivity to adverse events. For the system's performance and recoverability measurement, this methodology builds upon the Interdependent Network Design Problem (INDP), which focuses on finding optimal recovery strategies given a disaster scenario. A computational experiment is carried out on simplified versions of the water, power, and gas networks in Shelby County, TN, which are geographically and physically interdependent. Results show that the approach permits comprehensive analysis about the fragility and vulnerability of a system of multiple correlated networks;hence, providing useful information for decision-makers to determine efficient mitigation actions directed to resilience enhancement. © 2014 American Society of Civil Engineers.

关键词： Risk assessment

来源：评论

学校读者我要写书评

暂无评论

6th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

6th International Symposium on Leveraging Applications of Fo...

引用

6th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

ISBN: (纸本)9783662452301

the proceedings contain 59 papers. the special focus in this conference is on engineering Virtualized Systems, Statistical Model Checking, Risk-Based Testing, Medical Cyber-Physical Systems, Scientific Workflows, Evaluation and Reproducibility of Program Analysis and Industrial Track. the topics include: Introduction to track on engineering virtualized services;fault model design space for cooperative concurrency;towards the typing of resource deployment;fully abstract operation contracts;an effective heuristic for adaptive importance splitting in statistical model checking;a formalism for stochastic adaptive systems;a review of statistical model checking pitfalls on real-time stochastic models;using statistical model checking for measuring systems;blocking advertisements on android devices using monitoring techniques;a risk assessment framework for software testing;combining risk analysis and security testing;risk-based vulnerability testing using security test patterns;challenges for the dynamic interconnection of medical devices;temporal logic based monitoring of assisted ventilation in intensive care patients;meta-analysis of disjoint sets of attributes in large cohort studies;a visual programming approach to beat-driven humanoid robot dancing;automatic annotation of bioinformatics workflows with biomedical ontologies;modeling and verifying communication systems;simple management of high assurance data in long-lived interdisciplinary healthcare research;domain-specific business modeling with the business model developer;semantic heterogeneity in the formal development of complex systems;modelling and verifying an evolving distributed control system using an event-based approach and requirements driven data warehouse design.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An analytical model for estimating execution cost of 1D array expressions

An analytical model for estimating execution cost of 1D arra...

引用

international conference on Computer science and Information Technology (CSIT)

作者： Youssef Omran Gdura Computer Engineering Department University of Tripoli Tripoli Libya

Compiler writers have developed various techniques, such as constant folding, subexpression elimination, loop transformation and vectorization, to help compilers in code optimization for performance improvement. Yet, they have been far less successful in developing techniques or cost models that compilers can rely on to simplify parallel programming and tune the performance of parallel applications automatically. this paper is the first of two-phase study to develop an analytical model that can be used to estimate the cost for sequential and parallel execution of array expressions on multicore architectures. While this paper discuss the possibility of developing a cost model to estimate the sequential execution of array expressions on a single CPU, the second part of the investigation shall focus on developing a model to estimate parallel execution of arrays on multicore platforms. the model presented in this paper is expected to be used by programming language compilers as complement component with the other model to estimate and subsequently decide whether to parallelize individual array expressions or not. the preliminary results which are presented here show that this model can give a satisfactory evaluation and high-precision estimation for the cost of executing a regular array expression on a single core processor.

关键词： Arrays Registers Assembly Optimization Program processors Parallel programming Analytical models

来源：评论

学校读者我要写书评

暂无评论

EAGL: An elliptic curve arithmetic GPU-based library for bilinear pairing

EAGL: An elliptic curve arithmetic GPU-based library for bil...

引用

6th international conference on Pairing-Based Cryptography, Pairing 2013

作者： Pu, Shi Liu, Jyh-Charn Department of Computer Science and Engineering Texas A and M University TAMU 3112 College Station TX 77843-3112 United States

In this paper we present the Elliptic curve Arithmetic GPU-based Library (EAGL), a self-contained GPU library, to support parallel computing of bilinear pairings based on the Compute Unified Device Architecture (CUDA) programming model. It implements parallelized point arithmetic, arithmetic functions in the 1-2-4-12 tower of extension fields. EAGL takes full advantage of the parallel processing power of GPU, with no shared memory bank conflict and minimal synchronization and global memory accesses, to compute some most expensive computational steps, especially the conventional-Montgomery-based multi-precision multiplications. At the 128-bit security level, EAGL can perform 3350.9 R-ate pairings/sec on one GTX-680 controlled by one CPU thread. Extensive experiments suggest that performance tradeoffs between utilization of GPU pipeline vs. memory access latency are highly complex for parallelization of pairing computations. Overall, on-chip memory is the main performance bottleneck for pairing computations on the tested GPU device, and the lazy reduction in double-struck Fq2 gives the best performance. Increasing the size of on-chip memory, together with caching and memory prefetching modules are expected to offer substantial performance improvement for GPU-based pairing computations. © 2014 Springer international Publishing.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

FuAET: A tool for developing fuzzy self-Adaptive software systems 2014

FuAET: A tool for developing fuzzy self-Adaptive software sy...

引用

6th Asia-Pacific Symposium on Internetware, Internetware 2014

作者： Yang, Qiliang Tao, Xianping Xie, Hongwei Xing, Jianchun Song, Wei College of Defense Engineering Pla University of Science and Technology Nanjing210007 China State Key Laboratory for Novel Software Technology Nanjing University Nanjing210093 China School of Computer Science and Technology Nanjing University of Science and Technology Nanjing210094 China

ISBN: (纸本)9781450334013

Handling uncertainty in software self-Adaptation has become an important and challenging issue. In our previous work, we proposed a fuzzy control based approach named Software Fuzzy Self-Adaptation (SFSA) to address fuzziness, a kind of uncertainty in software self-Adaptation. However, our SFSA approach still lacks a tool to efficiently support the implementation process of SFSA. Existing tools for realizing self-Adaptive applications does not directly deal with fuzziness in self-Adaption loops. In this paper, we present the FuAET, a tool designed for building fuzzy self-Adaptive software systems. the novelty of the tool is that it can not only provide a friendly GUI for editing and testing fuzzy self-Adaptation strategies in intelligible domain specific language (DSL), but also automatically convert DSL-based fuzzy selfadaptation strategies into aspect-based programming code in native-language (NL), e.g., C++. this paper describes the design framework and implementation principles of FuAET, and then proposes a general development process using FuAET for reference to developers. Finally, we conduct an empirical study for evaluation of FuAET using an industrial control application. the results show that FuAET can automate the development of SFSA and ease the burden of the software engineers. © 2014 ACM.

关键词： Fuzzy control

来源：评论

学校读者我要写书评

暂无评论

A survey on security in Cognitive Radio networks

A survey on security in Cognitive Radio networks

引用

international conference on Computer science and Information Technology (CSIT)

作者： Mahmoud Khasawneh Anjali Agarwal Department of Electrical and Computer Engineering Concordia University Montreal Canada

Cognitive radio (CR) has been introduced to accommodate the steady increment in the spectrum demand. In CR networks, unlicensed users, which are referred to as secondary users (SUs), are allowed to dynamically access the frequency bands when licensed users which are referred to as primary users (PUs) are inactive. One important technical area that has received little attention to date in the cognitive radio system is wireless security. New classes of security threats and challenges have been introduced in the cognitive radio systems, and providing strong security may prove to be the most difficult aspect of making cognitive radio a long-term commercially-viable concept. this paper addresses the main challenges, security attacks and their mitigation techniques in cognitive radio networks. the attacks showed are organized based on the protocol layer that an attack is operating on.

关键词： Sensors Cognitive radio Linear programming Authentication Physical layer Protocols

来源：评论

学校读者我要写书评

暂无评论

APE: End User Development for Emergency Management Training

APE: End User Development for Emergency Management Training

引用

conference on Games and Virtual Worlds for Serious Applications, VS-GAMES

作者： Zeno Menestrina Antonella De Angeli Paolo Busetta Dept. of Information Engineering and Computer Science University of Trento Trento Italy Delta Informatica Spa Trento Italy

Serious games are pedagogical tools used in many domains and considered a viable solution to professional training. Core elements for the construction of effective serious games are the Non-Player Characters (NPCs) which, depending on the quality of the artificial Intelligence (AI), can make the training scenarios more realistic and engaging. One of the main issues with existing games concerns the limited possibility to edit their content. these tools are usually delivered as closed products with no, or minimal, customization features. the modification of the virtual environment is strongly constrained and the behavior of NPCs is fixed to a predefined set of actions. therefore it becomes hard for trainers to adapt the training according to different requirements. In this paper we propose a solution for the customization of AIs, aimed at allow non-technical users to edit complex behavioral models through a new high-level approach. the Actors' programming Environment (APE) has been developed on the base of a user-centered design and a preliminary evaluation was conducted with eight experts in computer science and interaction design, serving as evaluators. the results suggest that the approach is suitable for this context and might prove to be a good basis for future developments.

关键词： Games Training artificial intelligence programming profession Visualization Emergency services

来源：评论

学校读者我要写书评

暂无评论

A Stochastic Workload Distribution Approach for an Ad Hoc Mobile Cloud

A Stochastic Workload Distribution Approach for an Ad Hoc Mo...

引用

IEEE international conference on Cloud Computing Technology and science (CloudCom)

作者： Tram Truong-Huu Chen-Khong tham Dusit Niyato Department of Electrical & Computer Engineering National University of Singapore Singapore School of Computer Engineering Nanyang Technological University Singapore

Mobile devices like smartphones have become the computing device of choice for many users, heralding the era of mobile computing. Many applications have been developed to run on mobile devices. However, despite the increased processing and wireless network speeds of mobile devices, their resources are still limited in terms of processing capacity and battery lifetime. Some applications, in particular computationally intensive ones such as multimedia processing, often require more resources than a mobile device can afford. To overcome this hurdle, we propose a mobile ad-hoc cloud in which a mobile device can access resources from other sources, such as nearby mobile devices, to share the workload. the difficulty that arises with this concept is the mobility of nearby devices, i.e. A neighbouring device may move out of range before it can communicate its results back to the source node. In this paper, we propose a workload distribution scheme among these nearby mobile devices that takes into account the randomness of the connection time between cooperating devices. In order to cope with this randomness, we adopt a multi-stage stochastic programming approach which is able to take posterior recourse actions to compensate for inaccurate predictions. Numerical studies and simulations were carried out to evaluate the performance of this scheme. the results show that the stochastic programming approach outperforms a naive scheme and a baseline scheme that only considers the average connection time.

关键词： IEEE 802.11 Standards Mobile handsets Mobile communication Stochastic processes Cloud computing Mobile computing Optimization

来源：评论

学校读者我要写书评

暂无评论

Determination of food age using neural network

Determination of food age using neural network

引用

international conference on Adaptive science & Technology (ICAST)

作者： Ima Okon Essiet George Adinoyi Audu Department of Electrical Engineering Bayero University Kano Nigeria

artificial intelligence (AI) is the aspect of computing concerned with programming computers to behave like humans. In spite of the fact that no artificial intelligence system is capable of fully simulating human behaviour, there are aspects which have been successfully mimicked. One of these applications is the development of intelligent systems to model the human sense of smell. the artificial neural network is one tool which makes inferences based on pattern recognition of selected parameters in their environment. this paper applies the neural network to the determination of food age using ammonia concentration as the major metric. the resulting algorithm is capable of determining age of common food types (in days) using supervised learning to obtain the knowledge inference database. A two process-layer neural network topology was observed to provide most accurate results with overall accuracy of 95 percent. Food samples used to obtain inference database include rice, beans, fresh vegetables, yam and potatoes.

关键词： Biological neural networks Neurons Training Accuracy artificial intelligence artificial neural networks

来源：评论

学校读者我要写书评

暂无评论

EasyCache: A transparent in-memory data caching approach for internetware 2014

EasyCache: A transparent in-memory data caching approach for...

引用

6th Asia-Pacific Symposium on Internetware, Internetware 2014

作者： Wang, Wei Liu, Zhaohui Jiang, Yong Yuan, Xinchen Wei, Jun Technology Center of Software Engineering Institute of Software Chinese Academy of Sciences Beijing100190 China State Key Laboratory of Computer Science Chinese Academy of Sciences Beijing100190 China

ISBN: (纸本)9781450334013

Developers usually use in-memory data caching system like Hazelcast with the application server to offload the backend database for scaling Internetware. Unfortunately, such caches do not integrate well with the database or the application. Developers need to take a large effort to rewrite the existing data access logic and manually manage the caching data. In this paper, we present EasyCache, a novel data caching approach, which provides transparent cache pre-loading, accessing and consistency maintenance to relieve developers of the burden of cache using and management. First, EasyCache translates each row of data in the existing database table into application cached object to pre-load cache data. Second, EasyCache allows applications to access the data cache using SQL statements and translates them into key/value based cache operations. Finally, EasyCache provides asynchronous/synchronous strategies to persist the cache data changes into the backend database. We design and implement EasyCache as a JDBC driver with Hazelcast as the caching layer. To evaluate our prototype, a detailed set of experiments were performed using the TPC-W benchmark. In the experiments, the only programming effort with EasyCache is point the application to the EasyCache JDBC driver. In contrast, when using Hazelcast as a traditional application-level caching system, we need to modify the TPC-W code over 2000 lines for 15 man days. Our experiments also show that, compared to a system with no cache and with query result cache, using EasyCache leads to up to 692× and 77× performance improvement respectively. © 2014 ACM.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共108页 << < 67 68 69 70 71 72 73 74 75 76 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：