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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

620 篇 会议
12 册 图书
12 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

480 篇 工学
- 389 篇 计算机科学与技术...
- 335 篇 软件工程
- 66 篇 控制科学与工程
- 57 篇 信息与通信工程
- 41 篇 电气工程
- 36 篇 机械工程
- 27 篇 生物工程
- 26 篇 动力工程及工程热...
- 26 篇 电子科学与技术（可...
- 21 篇 生物医学工程（可授...
- 18 篇 材料科学与工程（可...
- 18 篇 环境科学与工程（可...
- 17 篇 仪器科学与技术
- 16 篇 化学工程与技术
- 15 篇 冶金工程
- 15 篇 土木工程
- 12 篇 力学（可授工学、理...
- 12 篇 建筑学
220 篇 理学
- 141 篇 数学
- 38 篇 物理学
- 30 篇 生物学
- 30 篇 系统科学
- 22 篇 统计学（可授理学、...
- 15 篇 化学
130 篇 管理学
- 95 篇 管理科学与工程(可...
- 62 篇 工商管理
- 38 篇 图书情报与档案管...
30 篇 教育学
- 30 篇 教育学
23 篇 经济学
- 23 篇 应用经济学
16 篇 医学
- 15 篇 临床医学
11 篇 法学
10 篇 农学
5 篇 文学
3 篇 艺术学
1 篇 哲学
1 篇 军事学

主题

25 篇 programming
16 篇 software enginee...
15 篇 students
15 篇 dynamic programm...
14 篇 linear programmi...
12 篇 programming prof...
12 篇 python
10 篇 genetic algorith...
9 篇 object oriented ...
9 篇 optimization
8 篇 computer languag...
8 篇 real-time system...
7 篇 internet of thin...
7 篇 computer science
7 篇 software enginee...
7 篇 education
7 篇 java
7 篇 scheduling
6 篇 libraries
6 篇 application soft...

机构

4 篇 al-farahidi univ...
4 篇 national univers...
4 篇 al-turath univer...
3 篇 department of co...
3 篇 galgotias univer...
3 篇 school of electr...
3 篇 al-kunooze unive...
2 篇 department of co...
2 篇 departemen of nu...
2 篇 wuhan university...
2 篇 school of inform...
2 篇 informatics engi...
2 篇 computer science...
2 篇 department of in...
2 篇 department of co...
2 篇 electronics and ...
2 篇 department of co...
2 篇 amrita school of...
2 篇 school of comput...
2 篇 school of inform...

作者

3 篇 hussam ragheed
3 篇 zhang minghui
2 篇 xie hao
2 篇 he zhongzheng
2 篇 li yang
2 篇 prosser patrick
2 篇 weng tien-hsiung
2 篇 m. shirali-shahr...
2 篇 zhou jianzhong
2 篇 suraj malik
2 篇 chakraborti debj...
2 篇 jia benjun
2 篇 ghoshal sanjoy k...
2 篇 zhao youbing
2 篇 erliana cut ita
2 篇 pham hoa
2 篇 hu qihan
2 篇 machado penousal
2 篇 li jinna
2 篇 murphy gail c.

语言

596 篇 英文
46 篇 其他
12 篇 中文

检索条件"任意字段=1st International Conference on the Art, Science and Engineering of Programming, Programming 2017"

共 644 条记录，以下是331-340 订阅

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

详细简洁

排序：

A performance study of parallel programming via CPU and GPU on swarm intelligence based evolutionary algorithm 17

A performance study of parallel programming via CPU and GPU ...

引用

1st international conference on Intelligent Systems, Metaheuristics and Swarm Intelligence, ISMSI 2017

作者： Lin, Frank Po-Chen Phoa, Frederick Kin Hing College of Electrical Engineering and Computer Science National Taiwan University EE Building No 2 1 Roosevelt Road Section 4 Daan District Taipei106 Taiwan Institute of Statistical Science Academia Sinica 128 Academia Road Section 2 Nangang District Taipei115 Taiwan

ISBN: (纸本)9781450347983

Algorithm parallelization diversifies a complicated computing task into small parts, and thus it receives wide attention when it is implemented to evolutionary algorithms (EA). This works considers a recently developed EA called the Swarm Intelligence Based (SIB) method as a benchmark to compare the performance of two types of parallel computing approaches: a CPU-based approach via OpenMP and a GPU-based approach via CUDA. The experiments are conducted to solve an optimization problem in the search of supersaturated designs via the SIB method. Unlike conventional suggestions, we show that the CPU-based OpenMP outperforms CUDA at the execution time. At the end of this paper, we provide several potential problems in GPU parallel computing towards EA and suggest to use CPU-based OpenMP for parallel computing of EA. © 2017 ACM.

关键词： Swarm intelligence

来源：评论

学校读者我要写书评

暂无评论

ACM international conference Proceeding Series

ACM International Conference Proceeding Series

引用

1st Reversing and Offensive-Oriented Trends Symposium, ROOTS 2017

ISBN: (纸本)9781450353212

The proceedings contain 8 papers. The topics discussed include: reverse engineering a code without the code;a survey on automated dynamic malware analysis evasion and counter-evasion;on the (in-)security of JavaScript object signing and encryption;out-of-order execution as a cross-VM side channel and other applications;dynamic loader oriented programming on Linux;security analysis of the telegram IM;paying the price for disruption: how a FinTech allowed account takeover;and enhancing control flow graph based binary function identification.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Log-Data Clustering Analysis for Dropout Prediction in Beginner programming Classes 21

Log-Data Clustering Analysis for Dropout Prediction in Begin...

引用

21st international conference on Knowledge - Based and Intelligent Information and engineering Systems (KES)

作者： Oeda, Shinichi Hashimoto, Genki Kisarazu Coll Natl Inst Technol Dept Informat & Comp Engn 11-1 Kiyomidaihigashi 2 Chome Kisarazu City Chiba Japan Kisarazu Coll Natl Inst Technol Adv Control & Informat Engn Course 11-1 Kiyomidaihigashi 2 Chome Kisarazu City Chiba Japan

Educational data mining (EDM) involves the application of data mining, machine learning, and statistics to information generated from an educational setting. In most school education, one teacher teaches many students. A periodic examination is used as a method to confirm that students have acquired skills. However, it is difficult to grasp the status of the student from each lesson, since examinations cannot be carried out easily. On the other hand, in programming classes, the students' history of UNIX commands and source-code editing can be easily and automatically stored as log-data. Therefore, attempts have been made to estimate the student's performance from this log-data, although their estimation accuracy is not high. In this research, we aim to extract those students who cannot keep up with programming lessons, rather than estimating the student's performance from the log-data. Specifically, we propose a method for predicting dropouts using outlier detection to cluster data with unsupervised learning. (C) 2017 The Authors. Published by Elsevier B.V.

关键词： Educational data mining Dropout prediction Dynamic time warping k-means plus UNIX command history

来源：评论

学校读者我要写书评

暂无评论

Game-based educational application for informal learning of English using FLEG 1st

Game-based educational application for informal learning of ...

引用

1st international Symposium on Emerging Technologies for Education, SETE 2016 Held in Conjunction with ICWL 2016

作者： Wang, Boyu Tang, Feier Kaneko, Kousuke Yamada, Masanori Okada, Yoshihiro Faculty of Information Science and Electrical Engineering Kyushu University Fukuoka Japan Graduate School of Human-Environment Studies Kyushu University Fukuoka Japan Cyber Security Center in Kyushu University Fukuoka Japan Faculty of Arts and Science Kyushu University Fukuoka Japan Innovation Center for Educational Resource Kyushu University Fukuoka Japan

ISBN: (纸本)9783319528359

With the development of Information and Communication Technology (ICT), various types of educational applications have emerged to enhance learning. Informal learning using a mobile device or an ICT tool is one among them. The problem with an educational application is that an educator has to possess the required programming skills and knowledge of ICT skills to develop the application. Educators can hardly be expected to develop their own educational application. Therefore, this paper introduces an educational framework called FLEG (Framework for Location-based Educational Game Application) to help educators develop their gamification-based application using geolocation information without needing any programming skills, and it offers an explanation of the design and development of this framework. A sample game-based educational application is also presented with results to evaluate the application. © Springer international Publishing AG 2017.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Intelligent Environments 2017 : Workshop Proceedings of the 13th international conference on Intelligent Environments

引用

丛书名： Ambient Intelligence and Smart Environments, volume 22

2017年

作者： Analide, Cesar IOS Press Kim, Pankoo

ISBN: (纸本)9781614997955;9781614997962

The term Intelligent Environments (IEs) refers to the physical spaces in which IT and other pervasive computing technologies are integrated and used to achieve specific goals for the user, the environment or both. The ultimate objectives of IEs are enriching user experience, enabling better management and increasing user awareness of that environment. This book presents the proceedings of the 13th international conference on Intelligent Environments, held in Seoul, Korea, in August 2017. The conference provides a multidisciplinary collaborative forum for researchers and practitioners from computer science, electronic engineering, building architecture, art and design, sociology, government and education to present theoretical and practical results related to the development and applications of Intelligent Environments. IE''17 focuses on the development of advanced Intelligent Environments, as well as other newly emerging and rapidly evolving topics. The book also includes the proceedings of the following associated workshops, held during the first 2 days of the conference, which emphasize the multi-disciplinary and transversal aspects of IEs: the 6th international Workshop on the Reliability of Intelligent Environments (WoRIE''17); the 1st international Workshop on Intelligent Systems for Agricultural Production and Environmental Protection (ISAPEP''17); the 1st Workshop on Citizen Centric Smart Cities Solutions (CCSCS''17); and the 1st international Workshop on Advanced Multiple Access in Mobile Telecommunications (AMAMT''17). Providing a state-of-the-art overview of the discipline, this book will be of interest to professionals from a diversity of fields whose work involves the development or application of Intelligent Environments.

关键词： Human-computer interaction--Congresses Ubiquitous computing--Congresses Ambient intelligence--Congresses

来源：评论

学校读者我要写书评

暂无评论

Dischargeable Obligations in Abductive Logic programming 1

引用

1st international Joint conference on Rules and Reasoning (RuleML+RR)

作者： Alberti, Marco Gavanelli, Marco Lamma, Evelina Riguzzi, Fabrizio Zese, Riccardo Univ Ferrara Dipartimento Matemat & Informat Via Saragat 1 I-44122 Ferrara Italy Univ Ferrara Dipartimento Ingn Via Saragat 1 I-44122 Ferrara Italy

ISBN: (数字)9783319612522

ISBN: (纸本)9783319612522;9783319612515

Abductive Logic programming (ALP) has been proven very effective for formalizing societies of agents, commitments and norms, in particular by mapping the most common deontic operators (obligation, prohibition, permission) to abductive expectations. In our previous works, we have shown that ALP is a suitable framework for representing norms. Normative reasoning and query answering were accommodated by the same abductive proof procedure, named SCIFF. In this work, we introduce a defeasible flavour in this framework, in order to possibly discharge obligations in some scenarios. Abductive expectations can also be qualified as dischargeable, in the new, extended syntax. Both declarative and operational semantics are improved accordingly, and proof of soundness is given under syntax allowedness conditions. The expressiveness and power of the extended framework, named SCIFFD, is shown by modeling and reasoning upon a fragment of the Japanese Civil Code. In particular, we consider a case study concerning manifestations of intention and their rescission (Sect. 2 of the Japanese Civil Code).

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Towards rules-based mapping framework for REstful web Pervices 14th

Towards rules-based mapping framework for RESTful web Pervic...

引用

14th international conference on Service-Oriented Computing, ICSOC 2016 held in Conjuction with the 1st Workshop on Adaptive Service-Oriented and Cloud Applications, ASOCA 2016, 1st Workshop on IoT Systems Provisioning and Management in Cloud Computing, ISyCC 2016 and 2nd international Workshop on Big Data Services and Computational Intelligence, BSCI 2016

作者： Le, Khanh Duc Hoang The School of Computer Science and Engineering University of New South Wales SydneyNSW2052 Australia

ISBN: (纸本)9783319681351

Integrating web services is usually time-consuming and requires a lot of programming efforts and experiences due to documentation burden and coding style convention overhead provided by external parties. Fortunately, REstful web services simplify the integration task compared to the traditional web service WSDL as coding convention is significantly reduced. However, the documentation burden is still evident and developers usually rely on running examples to gain better knowledge and use web service documentation efficiently. The subject of my PhD thesis is to propose a novel rules-based mapping method for mapping a desired web service to potential candidates from a predefined web service repository. In this research, the assumption is that web services are made of REstful APIs specified in Javascript Object Notation (JSON) format. My significant thesis contributions are: (1) a hybrid model for web service similarity, (2) a rules-based mapping approach for identifying and classifying the most related and similar services against a given desired web service, and lastly (3) a concrete and detailed evaluation to show the effectiveness of the proposed approach and framework. © Springer international Publishing AG 2017.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Modelling multiobjective bilevel programming for environmental-economic power generation and dispatch using genetic algorithm 1

引用

1st international conference on Computational Intelligence, Communications, and Business Analytics, CICBA 2017

作者： Chakraborti, Debjani Biswas, Papun Pal, Bijay Baran Narula Institute of Technology AgarparaWest Bengal India JIS College of Engineering KalyaniWest Bengal India University of Kalyani KalyaniWest Bengal India

ISBN: (数字)9789811064302

ISBN: (纸本)9789811064296

This article describes a multiobjective bilevel programming (MOBLP) model to solve environmental-economic power generation and dispatch (EEPGD) problem through genetic algorithm (GA) based fuzzy goal programming (FGP) in a thermal power plant operational system. In MOBLP approach, first the objectives of problem are divided into two sets of objectives, and they are separately included at two hierarchical decision levels (top-level and bottom-level), where each level contains one or more controls variables associated with power generation decision system. Then, optimization problems of both the levels are described fuzzily to accommodate the impression arises with regard to optimizing them. In FGP model formulation, the membership functions associated with defined fuzzy goals are designed, and then they are converted into membership goals by assigning highest membership value (unity) as achievement level and introducing under- and over-deviational variables to each of them. In achievement function, minimization of under-deviational variables of membership goals according to weights of importance is considered to achieve optimal solution in decision environment. In the process of solving FGP model, a GA scheme is adopted at two stages, direct optimization of individual objectives at the first stage for fuzzy representation of them and, at the second stage, evaluation of goal achievement function to reach optimal power generation decision. The use of the proposed method is demonstrated via IEEE 30-bus system. © Springer Nature Singapore Pte Ltd. 2017.

关键词： Membership functions

来源：评论

学校读者我要写书评

暂无评论

Scalable design and synthesis of 3D mesh network on chip 1st

Scalable design and synthesis of 3D mesh network on chip

引用

1st international conference on Intelligent Communication, Control and Devices, ICICCD 2016

作者： Jain, Arpit Dwivedi, Rakesh Kumar, Adesh Sharma, Sanjeev Department of Computer Science Engineering Teerthanker Mahaveer University Moradabad India Dehradun India Department of Computer Science and Engineering JP Institute of Engineering and Technology Meerut India

ISBN: (纸本)9789811017070

The research article proposed the 3D mesh topological network on chip (NoC) and its hardware chip implementation. 3D NoC improves the performance of on-chip communication network because the connection of the switches and their length to connecting links is shorter and the data can be switched across the on-chip communication network with the help of less number of switches. The cluster size of the designed 3D mesh NoC is chosen as 4 × 4 × 4. The addressing scheme and intercommunication among nodes is verified in the scalable design. The proposed 3D mesh NoC is designed with the help of VHDL programming language, simulated in ModelSim 10.1 and synthesized in Xilinx ISE 14.2 as software tools. The communication is realized based on look ahead XYZ routing algorithm. The targeted FPGA is Virtex-5 and hardware and timing parameters are also analyzed in the same design. © Springer science+Business Media Singapore 2017.

关键词： Network-on-chip

来源：评论

学校读者我要写书评

暂无评论

Assessment regarding the use of the computer aided analytical models in the calculus of the general strength of a ship hull 5

Assessment regarding the use of the computer aided analytica...

引用

5th international conference on Modern Technologies in Industrial engineering (ModTech)

作者： Hreniuc, V. Hreniuc, A. Pescaru, A. Constanta Maritime Univ Fac Nav & Naval Transport 104 Mircea Cel Batran St Constanta 900663 Romania

Solving a general strength problem of a ship hull may be done using analytical approaches which are useful to deduce the buoyancy forces distribution, the weighting forces distribution along the hull and the geometrical characteristics of the sections. These data are used to draw the free body diagrams and to compute the stresses. The general strength problems require a large amount of calculi, therefore it is interesting how a computer may be used to solve such problems. Using computer programming an engineer may conceive software instruments based on analytical approaches. However, before developing the computer code the research topic must be thoroughly analysed, in this way being reached a meta-level of understanding of the problem. The following stage is to conceive an appropriate development strategy of the original software instruments useful for the rapid development of computer aided analytical models. The geometrical characteristics of the sections may be computed using a bool algebra that operates with 'simple' geometrical shapes. By 'simple' we mean that for the according shapes we have direct calculus relations. In the set of 'simple' shapes we also have geometrical entities bounded by curves approximated as spline functions or as polygons. To conclude, computer programming offers the necessary support to solve general strength ship hull problems using analytical methods.

关键词： Hulls (ship)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共65页 << < 30 31 32 33 34 35 36 37 38 39 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：