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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,394 篇 会议
133 篇 期刊文献
76 册 图书

馆藏范围

3,601 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

2,401 篇 工学
- 1,896 篇 计算机科学与技术...
- 1,152 篇 软件工程
- 420 篇 电气工程
- 272 篇 控制科学与工程
- 199 篇 信息与通信工程
- 128 篇 机械工程
- 74 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 61 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 45 篇 化学工程与技术
- 43 篇 动力工程及工程热...
- 38 篇 土木工程
- 37 篇 仪器科学与技术
- 34 篇 冶金工程
675 篇 理学
- 482 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 74 篇 生物学
- 53 篇 化学
402 篇 管理学
- 337 篇 管理科学与工程(可...
- 148 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 103 篇 教育学
71 篇 医学
- 46 篇 临床医学
- 35 篇 基础医学(可授医学...
64 篇 经济学
- 64 篇 应用经济学
40 篇 法学
22 篇 文学
12 篇 农学
9 篇 艺术学
3 篇 军事学

主题

309 篇 linear programmi...
251 篇 programming
187 篇 dynamic programm...
142 篇 computer program...
118 篇 integer programm...
116 篇 optimization
109 篇 logic programmin...
87 篇 genetic programm...
82 篇 functional progr...
73 篇 computational mo...
68 篇 object oriented ...
66 篇 programming prof...
65 篇 parallel program...
56 篇 software enginee...
54 篇 costs
49 篇 mathematical mod...
48 篇 computer program...
46 篇 heuristic algori...
42 篇 artificial intel...
41 篇 computer science

机构

9 篇 univ london impe...
7 篇 inesc tec porto
6 篇 feup porto
6 篇 russian acad sci...
5 篇 c mast ubi covil...
4 篇 univ leicester l...
4 篇 vienna univ tech...
4 篇 institute of fun...
4 篇 chinese acad sci...
4 篇 university of am...
4 篇 univ nottingham ...
4 篇 beijing universi...
3 篇 weizmann inst sc...
3 篇 univ nottingham ...
3 篇 delft center for...
3 篇 international is...
3 篇 international bu...
3 篇 department of co...
3 篇 school of comput...
3 篇 univ cyprus dept...

作者

8 篇 catalao joao p. ...
7 篇 musirin ismail
5 篇 weiss gera
5 篇 marron assaf
4 篇 hirschfeld rober...
4 篇 ghani n
4 篇 katz guy
4 篇 saraswat vijay
4 篇 xiong rui
4 篇 funabiki nobuo
4 篇 fitiwi desta z.
4 篇 shi yong
4 篇 boercsoek josef
4 篇 jagadeesan radha
4 篇 gupta vineet
4 篇 michael n. young
4 篇 pesant gilles
4 篇 harel david
3 篇 muggleton stephe...
3 篇 faisal a. aldo

语言

3,496 篇 英文
79 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=7th International Conference on Functional Programming"

共 3603 条记录，以下是1071-1080 订阅

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

详细简洁

排序：

On the adaptive instantiation of type-specific collections 8

On the adaptive instantiation of type-specific collections

引用

8th international conference on Ambient Systems, Networks and Technologies (ANT) / 7th international conference on Sustainable Energy Information Technology (SEIT)

作者： Sofiato, Bruno de Azevedo Rocha, Ricardo Luis Univ Sao Paulo Dept Comp Engn Escola Politecn Av Prof Luciano GualbertoTravessa 3380 BR-05508900 Sao Paulo SP Brazil

After an age of almost unlimited computing resources, the advent of resource-constrained computing devices such as cell phones, brought questions of performance back into the spotlight. programming languages usually provide a set of general-purpose collections. Albeit highly optimized, they fall short of type-specific implementations in both processing time and memory usage. We describe a method for automatically deciding which implementation to use in runtime. Two complementary strategies for determining whether a type-specific collection should be employed are described. To measure their gains, we conducted an experiment composed of eleven benchmarks, ranging from databased to compilers. Results show improvements of 13% in processing and of 3.5% in memory usage. As an unexpected side-effect, our technique reduced instantiations of collection in runtime. (C) 2017 the Authors. Published by Elsevier B.V.

关键词： Java Adaptive programming Collections Aspect-oriented programming Object-oriented programming Self-modifying Software

来源：评论

学校读者我要写书评

暂无评论

Exploring Relationships between Syntax and Semantics of a Process-Oriented Language by Category theory 8

Exploring Relationships between Syntax and Semantics of a Pr...

引用

8th international conference on Ambient Systems, Networks and Technologies (ANT) / 7th international conference on Sustainable Energy Information Technology (SEIT)

作者： Zhu, Ming Grogono, Peter Ormandjieva, Olga Shandong Univ Technol Coll Comp Sci & Technol Zibo Peoples R China Concordia Univ Dept Comp Sci & Software Engn Montreal PQ Canada

Recent research findings demonstrate that process-oriented programming languages provide a suitable means to develop concurrent systems. In this paper, we propose to use mandatory/optional trace sets to model the semantics of a process-oriented programming language named Erasmus. Inspired by Hoare's view of category theory and obtained research results towards validating the view, category theory is used to explore relationships between syntax and semantics of Erasmus. To illustrate the research activities, several examples are developed. In doing so, it is shown that a relationship between Erasmus commands can lead to a corresponding relationship between semantics for commands. 1877-0509 (C) 2017 the Authors. Published by Elsevier B.V.

关键词： Category theory Semantics Syntax Process-oriented programming Erasmus

来源：评论

学校读者我要写书评

暂无评论

Traffic Signal Light Control Model Based on Evolutionary programming Algorithm Optimization BP Neural Network 7

Traffic Signal Light Control Model Based on Evolutionary Pro...

引用

7th IEEE international conference on Electronics Information and Emergency Communication (ICEIEC)

作者： Jiang, Linying Li, Yachen Liu, Yuanlong Chen, Chao Northeastern Univ Dept Software Engn Software Coll Shenyang Liaoning Peoples R China

ISBN: (纸本)9781509030255

In this paper, evolutionary programming algorithm through the mutation operator and the selection strategy to find weights and threshold value. through this way, we can improve the training efficiency, speed up the convergence rate, increase the irregularity of the weights and threshold value, avoid BP neural network training into locally optimal solution. In this paper, the evolutionary programming algorithm optimization BP neural network is applied to the traffic signal light control, according to the historical traffic flow data of a crossroad to s traffic flow data, and then through the predicted traffic flow data to re-adjust the traffic signal light frequency, to improve traffic congestion and other traffic problems. the experimental results show that evolutionary programming algorithm optimization BP neural network has a good effect on traffic signal light optimization.

关键词： BP neural network Evolutionary programming algorithm Intelligent traffic

来源：评论

学校读者我要写书评

暂无评论

Construction of Teaching Assistant Robot in programming Class

Construction of Teaching Assistant Robot in Programming Clas...

引用

IIAI international conference on Advanced Applied Informatics (IIAIAAI)

作者： Kazuyoshi Yoshino Shanjun Zhang Department of Robotics and Mechatronics Kanagawa Institute of Technology Atsugi Kanagawa Japan Department of Information Sciences Kanagawa University Hiratsuka Kanagawa Japan

ISBN: (纸本)9781538674482;9781538674475

this paper describes a robot for supporting instructors who are teaching programming classes. the Ministry of Education, Culture, Sports, Science and Technology in Japan, in its Latest Course of Study, strongly recommends using a system of active learning and conducting programming education in elementary schools. programming instruction typically includes explanation of the basic syntax of programming languages, application of basic syntax, and exercises. However, in programming classes, the teachers spend much more time correcting errors, that is, programming bugs, in students' programs than they spend teaching. To help make programming classes more effective, we aim to build a robot that helps students troubleshoot and fix bugs during programming lessons. the robot needs to detect students having difficulty and find mistakes in students' programs. this paper describes techniques necessary for the teaching assistant robot to support a teacher in programming classes. In particular, this paper explains the abilities of the teaching assistant robot to detect students raising their hands, confirm the correctness of a vehicle robot assembled by a student, and check a student's program by evaluating the performance of the vehicle robot. We also show the effectiveness of the teaching robots by conducting evaluation experiments using these techniques.

关键词： Education Robot sensing systems programming profession Task analysis Image color analysis

来源：评论

学校读者我要写书评

暂无评论

Smart Steering Auto Alert System

Smart Steering Auto Alert System

引用

international conference on Computer and Communication Engineering, ICCCE

作者： M.F. Abdul Muin Nor F. Za'bah International Islamic University Malaysia Kuala Lumpur Malaysia International Islamic University Malaysia Kuala Lumpur MY

Drivers can easily be distracted by their handheld devices while they are driving and this ultimately contributed to the increase of road accidents. this work proposed a steering wheel cover that is designed using an array of touch sensors TTP223 and Raspberry Pi 3 microprocessor. A tilt sensor is also incorporated in order to mimic the movement of the system. Using Python as the main programming language and the Raspbian OS, for a sample size of 40 touch inputs, the system yielded an accuracy of 97.5 % and 75.0 % in its input detection during stationary and driving mode. the results have shown that as a proof of concept, the proposed system is capable of detecting touch inputs from the user's hand and determining the position of the hands on the steering wheel.

关键词： Wheels Tactile sensors Vehicles Light emitting diodes Sensor arrays Roads Tomography

来源：评论

学校读者我要写书评

暂无评论

international Space Station (ISS) Roll-Out Solar Array (ROSA) Spaceflight Experiment Mission and Results

International Space Station (ISS) Roll-Out Solar Array (ROSA...

引用

2018 IEEE 7th World conference on Photovoltaic Energy Conversion (WCPEC) (A Joint conference of 45th IEEE PVSC, 28th PVSEC & 34th EU PVSEC)

作者： Brian R. Spence Steve White Matt LaPointe Steve Kiefer Peter LaCorte Jeremy Banik David Chapman John Merrill Deployable Space Systems Inc. (DSS) Santa Barbara CA United States Air Force Research Laboratory Space Vehicle Directorate Kirtland AFB NM United States

Deployable Space Systems, Inc., (DSS) Roll-Out Solar Array (ROSA) is a new flexible-blanket technology that achieves ultra-high performance and affordability for end-users. Recently, in June 2017, a spaceflight demonstration mission of the ROSA solar array funded by the U.S. Air Force was conducted on the international Space Station (ISS). the 7-day long mission was specifically structured to validate functional deployment, deployed dynamics behavior and deployed stiffness, deployed thermal / dimensional stability, stowed vibration survivability, retraction and re-deployment, photovoltaic power production and on-orbit operating temperature. Results from the highly successful spaceflight mission confirmed all key performance metrics for validating functional deployment, deployed dynamics, vibration survivability, retraction and redeployment, dimensional stability, and power production. the mission also validated many detailed analytical models that are being applied towards future mission applications. the mission success has resulted in a flight ready status of the ROSA technology and has enabled many commercial infusion implementations.

关键词： Torque Hardware Torque measurement thermal stability Production Arrays Dynamics

来源：评论

学校读者我要写书评

暂无评论

Effects of Question Types on Engagement and Performance of programming Learning for Non-computer Science Majors

Effects of Question Types on Engagement and Performance of P...

引用

IIAI international conference on Advanced Applied Informatics (IIAIAAI)

作者： Nuttaphat Arunoprayoch Chih-Hung Lai Pham-Duc tho Jing-San Liang Jie-Chi Yang Dept. of Computer Science and Information Engineering National Dong Hwa University Hualien Taiwan R.O.C Taipei Municipal Sanxing Elementary School Taipei Taiwan R.O.C. Dept. of Computer Science and Information Engineering National Central University Taoyuan Taiwan R.O.C

ISBN: (纸本)9781538674482;9781538674475

this study seeks to investigate the effects of web-based computer programming learning, equipped with Questions and Answers, on students whose majors are not computer science. the proposed system allows five types of questions to be generated: essay, multiple-choice, fill-in-the-blank, true-false, and coding. It is found that spending time to complete given tasks by interacting with questions is a significant predictor. Furthermore, academic performance is significantly correlated with participating in fill-in-the-blank, essay, and coding questions. Findings are also stated that there were no differences between academic performance and engagement regarding gender.

关键词： programming profession Encoding Education Correlation Linear regression

来源：评论

学校读者我要写书评

暂无评论

Adaptive Iterative Improvement GP-based Methodology for HW/SW Co-synthesis of Embedded Systems 7

Adaptive Iterative Improvement GP-based Methodology for HW/S...

引用

7th international Joint conference on Pervasive and Embedded Computing and Communication Systems (PECCS)

作者： Gorski, Adam Ogorzalek, Maciej Jagiellonian Univ Cracow Dept Informat Technol Prof Stanislawa Lojasiewicza 11 Krakow Poland

ISBN: (纸本)9789897582660

the paper presents a novel adaptive genetic programming based iterative improvement algorithm for hardware/software co-synthesis of distributed embedded systems. the algorithm builds solutions by starting from suboptimal architecture (the fastest) and using system-building options improves the system's quality. Most known genetic programming algorithms for co-synthesis of embedded systems are built choosing fixed probability. In our approach we decided to change the probability during the work of the program.

关键词： Embedded Systems Architecture Hardware/Software Co-synthesis Genetic programming Genetic Algorithm Adaptive Systems

来源：评论

学校读者我要写书评

暂无评论

Analysis of thUG: A Low-Interaction Client Honeypot to Identify Malicious Websites and Malwares

Analysis of THUG: A Low-Interaction Client Honeypot to Ident...

引用

international conference on Computer and Communication Engineering, ICCCE

作者： Nurul Fariza Zulkurnain Azli Fitri Rebitanim Noreha Abdul Malik Electrical and Computer Engineering International Islamic University Malaysia Kuala Lumpur Malaysia

Cybersecurity is becoming more relevant throughout time. As information and technologies expand, so does the potential for it to be exploited. Computer and media have become more widespread in every modern country in the world. Unfortunately, certain community uses this opportunity to exploit the vulnerabilities that these computers left behind. Black hat, which is more identified as hackers and exploiters, uses the networks and servers that are commonly used to gain unauthorized information and data on the innocent victim. this work analyzes several honeypots and makes comparisons between them. Analysis has been done on the results to figure the disadvantages between each honeypot and try to improve one of the honeypots based on programming. the honeypot is deployed to simulate its effectiveness in combating cybercrime by detecting and collecting the information captured on the web browsers.

关键词： Virtual machining Operating systems Linux Firewalls (computing) Python

来源：评论

学校读者我要写书评

暂无评论

3D Implementation of Heterogeneous Topologies on MPSoC 7

3D Implementation of Heterogeneous Topologies on MPSoC

引用

7th international conference on Cloud Computing, Data Science and Engineering (Confluence)

作者： Bhulania, Paurush Tripathy, M. R. Khan, Ayoub Amity Univ Noida Uttar Pradesh India

ISBN: (纸本)9781509035199

Network-on-Chip (NoC) on Microprocessor System-on-Chip (MPSoC) has emerged as the new generation communication infrastructure providing a promising solution to connect different IPs through a scalable, effective and modular communication network. NoC could bring significant improvement over crossbar interconnections and conventional bus. To design an efficient NoC, the choice of suitable network topology is very important. Wrong choices can affect the network performance. Critical factors of selection for correct topology are degree of the network, diameter of the network, throughput of the network and latency of the network. In this paper we are proposing the communication on 3D heterogeneous topology implementation on Microprocessor System on Chip. My work here explores the combination of 2D Mesh and 2D Hexagon in a 3D heterogeneous topology.

关键词： Transportation Supply and demand programming Linear programming Approximation algorithms Resource management

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 104 105 106 107 108 109 110 111 112 113 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：