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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

189 篇 会议
5 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

135 篇 工学
- 99 篇 计算机科学与技术...
- 81 篇 软件工程
- 22 篇 化学工程与技术
- 17 篇 信息与通信工程
- 16 篇 材料科学与工程（可...
- 16 篇 电子科学与技术（可...
- 13 篇 电气工程
- 13 篇 控制科学与工程
- 11 篇 冶金工程
- 10 篇 机械工程
- 7 篇 动力工程及工程热...
- 7 篇 生物医学工程（可授...
- 6 篇 光学工程
- 6 篇 环境科学与工程（可...
- 5 篇 土木工程
- 5 篇 食品科学与工程（可...
- 4 篇 力学（可授工学、理...
69 篇 理学
- 32 篇 数学
- 28 篇 物理学
- 25 篇 化学
- 7 篇 生物学
- 7 篇 统计学（可授理学、...
- 4 篇 地质学
30 篇 管理学
- 20 篇 管理科学与工程(可...
- 11 篇 工商管理
- 11 篇 图书情报与档案管...
9 篇 教育学
- 8 篇 教育学
7 篇 医学
- 7 篇 临床医学
- 6 篇 基础医学(可授医学...
2 篇 法学
2 篇 农学
1 篇 经济学

主题

10 篇 linear programmi...
6 篇 costs
5 篇 programming
5 篇 semantics
5 篇 genetic algorith...
4 篇 programming prof...
4 篇 computer program...
4 篇 students
4 篇 software
4 篇 testing
3 篇 internet of thin...
3 篇 computer archite...
3 篇 education
3 篇 java
3 篇 medical services
3 篇 computational mo...
3 篇 production
3 篇 particle swarm o...
3 篇 protocols
3 篇 python

机构

3 篇 department of me...
2 篇 graduate school ...
2 篇 s. seifullin kaz...
2 篇 school of mathem...
2 篇 amrita school of...
2 篇 school of chemic...
2 篇 school of inform...
2 篇 um power energy ...
2 篇 nanjing les cybe...
2 篇 school of new en...
2 篇 alibaba east chi...
2 篇 school of crypto...
2 篇 mukhametzhan tyn...
2 篇 air traffic cont...
2 篇 graduate school ...
2 篇 school of mathem...
2 篇 school of electr...
1 篇 saveetha school ...
1 篇 department of el...
1 篇 decision systems...

作者

3 篇 tsukamoto hideak...
3 篇 hirasawa kotaro
2 篇 junyong liu
2 篇 mabu shingo
2 篇 noprianto
2 篇 yang yang
2 篇 kobayashi ichiro
2 篇 w.chen
2 篇 marquez menandro...
2 篇 villanueva joel ...
1 篇 wang yiming
1 篇 liu sihua
1 篇 lee jae won
1 篇 raulet mickaël
1 篇 pan yi
1 篇 kosuke ohta
1 篇 yoongahm kim
1 篇 puranam kumar
1 篇 shamsuddin liyan...
1 篇 cheng xiao

语言

165 篇 英文
30 篇 其他
2 篇 中文

检索条件"任意字段=5th International School on Advanced Functional Programming"

共 196 条记录，以下是131-140 订阅

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

详细简洁

排序：

Formally specifying and analyzing a parallel virtual machine for lazy functional languages using Maude

Formally specifying and analyzing a parallel virtual machine...

引用

5th ACM SIGPLAN Workshop on High-Level Parallel programming and Applications, HLPP 2011

作者： Fourtounis, Georgios Ölveczky, Peter Csaba Papaspyrou, Nikolaos School of Electrical and Computer Eng. National Technical University of Athens Athens Greece Department of Informatics University of Oslo Oslo Norway

ISBN: (纸本)9781450308625

Pure lazy functional languages are a promising programming paradigm for harvesting massive parallelism, as their abstraction features and lack of side effects support the development of modular programs without unneeded serialization. We give a new formal message passing semantics for implicitly parallel execution of a lazy functional programming language, based on the intensional transformation that converts programs in functional style to a form that can be executed in a dataflow paradigm. We use rewriting logic to define the semantics of our parallel virtual machine and we use the Maude tool to formally analyze our model. We also briefly discuss a prototype parallel implementation of our model in Erlang. © 2011 ACM.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Hardware and Software: Verification and Testing - 5th international Haifa Verification Conference, HVC 2009, Revised Selected Papers

Hardware and Software: Verification and Testing - 5th Intern...

引用

5th international Haifa Verification Conference on Hardware and Software: Verification and Testing, HVC 2009

ISBN: (纸本)9783642192364

the proceedings contain 12 papers. the topics discussed include: can we verify an elephant?;pain, possibilities, and prescriptions industry trends in advanced functional verification;the SBSE approach to automated optimization of verification and testing;reduction of interrupt handler executions for model checking embedded software;diagnosability of pushdown systems;functional test generation with distribution constraints;an explanation-based constraint debugger;evaluating workloads using multi-comparative functional coverage;reasoning about finite-state switched systems;dataflow analysis for properties of aspect systems;bisimulation minimizations for Boolean equation systems;synthesizing solutions to the leader election problem using model checking and genetic programming;stacking-based context-sensitive points-to analysis for java;and an interpolating decision procedure for transitive relations with uninterpreted functions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Learning Logical Structures of Paragraphs in Legal Articles 5

Learning Logical Structures of Paragraphs in Legal Articles

引用

5th international Joint Conference on Natural Language Processing, IJCNLP 2011

作者： Bach, Ngo Xuan Le Minh, Nguyen Oanh, Tran thi Shimazu, Akira School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai Nomi Ishikawa 923-1292 Japan

ISBN: (纸本)9789744665645

this paper presents a new task, learning logical structures of paragraphs in legal articles, which is studied in research on Legal Engineering (Katayama, 2007). the goals of this task are recognizing logical parts of law sentences in a paragraph, and then grouping related logical parts into some logical structures of formulas, which describe logical relations between logical parts. We present a two-phase framework to learn logical structures of paragraphs in legal articles. In the first phase, we model the problem of recognizing logical parts in law sentences as a multi-layer sequence learning problem, and present a CRF-based model to recognize them. In the second phase, we propose a graph-based method to group logical parts into logical structures. We consider the problem of finding a subset of complete sub-graphs in a weighted-edge complete graph, where each node corresponds to a logical part, and a complete sub-graph corresponds to a logical structure. We also present an integer linear programming formulation for this optimization problem. Our models achieve 74.37% in recognizing logical parts, 79.59% in recognizing logical structures, and 55.73% in the whole task on the Japanese National Pension Law corpus. © 2011 AFNLP

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Framework for robotics in education: Some experiences and case studies in test arena based projects

Framework for robotics in education: Some experiences and ca...

引用

IEEE international Conference on E-Learning in Industrial Electronics, ICELIE

作者： Andrew Chiou Ngit Chan Lye Reginald Lai Kok Wai Wong School of ICT Central Queensland University Rockhampton Australia School of Information Technology Murdoch University Western Australia School of ICT Central Queensland University Rockhampton 4702 QLD Australia

the utilization of robots as an educational medium in teaching and learning has in recent times become prominent. this paper presents a framework identifying the necessary constructs that establishes a sustainable model for using test arenas in educational robotics as an educational tool. Several successful implementation of this framework is demonstrated, covering projects and research activities ranging from advanced level software engineering courses to higher research degree. Areas of the project includes, search and rescue, intelligent navigation, search and detection and computer-aided learning (CAL) to design and build competitive dancing and soccer playing robots.

关键词： Software Education Educational robots programming Robot sensing systems Navigation

来源：评论

学校读者我要写书评

暂无评论

Interactive decision making for hierarchical multiobjective linear programming problems with random variable coefficients

Interactive decision making for hierarchical multiobjective ...

引用

Joint 5th international Conference on Soft Computing and Intelligent Systems and 11th international Symposium on advanced Intelligent Systems, SCIS and ISIS 2010

作者： Yano, Hitoshi School of Humanities and Social Sciences Nagoya City University Nagoya 467-8501 Japan

In this paper, we focus on hierarchical multiobjective linear programming problems with random variable coefficients where multiple decision makers in a hierarchical organization have their own multiple objective linear functions together with common linear constraints. In order to deal with multiple objective linear functions and linear constraints involving random variable coefficients, P-Pareto optimality concept is defined in cumulative distribution function space. After each decision maker specifies his/her own decision power and reference probabilistic values, the corresponding candidate of a satisfactory solution is obtained from among P-Pareto optimal solution set on the basis of linear programming. Interactive processes are demonstrated by means of an illustrative numerical example.

关键词： Random variables

来源：评论

学校读者我要写书评

暂无评论

Fuzzy class association rule mining for traffic prediction using genetic network programming with multi-branches and full-paths

Fuzzy class association rule mining for traffic prediction u...

引用

Joint 5th international Conference on Soft Computing and Intelligent Systems and 11th international Symposium on advanced Intelligent Systems, SCIS and ISIS 2010

作者： Nohmura, Ryo Zhou, Huiyu Mabu, Shingo Hirasawa, Kotaro Graduate School of Information Production and Systems Waseda University 2-7 Hibikino Wakamatsu-ku Kitakyushu Fukuoka Japan

A new fuzzy rule mining method based on Generalized Genetic Network programming(Generalized GNP) has been proposed to extract important time related association rules from sequential numerical database. the fuzzy set theory is applied to the data handling of continuous data in this paper. A new classification method based on extracted rules is also proposed to predict the future traffic density of each road in road networks. Experiments on traffic density prediction are carried out using the proposed methods and the results show that the proposed methods are available to find a variety of rules from the large database effectively and efficiently and improve the classification accuracy.

关键词： Data handling

来源：评论

学校读者我要写书评

暂无评论

Multiobjective two-level integer programming through genetic algorithms

Multiobjective two-level integer programming through genetic...

引用

Joint 5th international Conference on Soft Computing and Intelligent Systems and 11th international Symposium on advanced Intelligent Systems, SCIS and ISIS 2010

作者： Niwa, Keiichi Hayashida, Tomohiro Sakawa, Masatoshi Kan, Tetsuya Faculty of Economics Hiroshima University of Economics 5-37-1 Asaminami-ku Hiroshima 731-0192 Japan Graduate School of Engineering Hiroshima University 1-4-1 Kagamiyama Higashi-Hiroshima 739-8527 Japan Chugoku Sales Office Hitachi Cable Ltd. 3-7-5 Otemachi Naka-ku Hiroshima 730-0051 Japan

In this paper we consider a multiobjective two-level integer programming problem in which there is not cordination between the decision maker at the upper level and the decision maker at the lower level. the decision maker at the upper level has an objective function and the decision maker at the lower level has multiple objective functions. the decision maker at the upper level must take account of multiple rational responses of the decision maker at the lower level in the problem. We examine two kinds of situations based on anticipation of the decision maker at the upper level;an optimistic anticipation and a pessimistic anticipation. Mathematical programming problems for obtaining the Stackelberg solutions based on two kinds of anticipation are formulated and three kinds of computational methods for obtaining the Stackelberg solutions are proposed. We carry out numerical experiments in order to demonstrate feasibility and effectiveness of the proposed methods.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

programming learning support system with learning progress monitoring feature

Programming learning support system with learning progress m...

引用

Joint 5th international Conference on Soft Computing and Intelligent Systems and 11th international Symposium on advanced Intelligent Systems, SCIS and ISIS 2010

作者： Ohshiro, Masanori Yamakawa, Yuuko J.mackin, Kenneth Matsushita, Kotaro Nunohiro, Eiji Tokyo University of Information Sciences 4-1 Onaridai Wakaba-ku Chiba 265-8501 Japan Graduate School of Tokyo University of Information Sciences 4-1 Onaridai Wakaba-ku Chiba 265-8501 Japan

the authors have developed a programming training system based on the ARCS learning model, and have applied the system in an actual programming course. the ARCS model is known as a learning model aiming at stimulating and sustaining the learner's motivation to learn. In this training system, learners create programs similarly to solving a puzzle game. In such a learning support system, it is important that the learner can view one's learning progress objectively. Furthermore, if the learning progress could be compared with those of other learners, competition will occur to stimulate the learner's motivation. In this paper, the features to realize the real-time monitoring of each the learner's progress are proposed, and implemented in the puzzle-based programming training system CAPTAIN currently under development. the proposed features allows the learner to view one's own progress ranking compared to the whole class, and also enables the teacher to monitor each individual learner, in order to quickly spot and support learners having difficulty.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

A study on making a disaster restoration schedule considering the mutual dependent relationships among lifeline networks

A study on making a disaster restoration schedule considerin...

引用

Joint 5th international Conference on Soft Computing and Intelligent Systems and 11th international Symposium on advanced Intelligent Systems, SCIS and ISIS 2010

作者： Ajikata, Sayaka Kobayashi, Ichiro Kobayashi Lab. Graduate School of Humanities and Sciences Ochanomizu University 2-1-1 Ohtsuka Bunkyo-ku Tokyo 112-8610 Japan Graduate School of Humanities and Sciences Ochanomizu University Advanced Sciences 2-1-1 Ohtsuka Bunkyo-ku Tokyo 112-8610 Japan

When a large-scaled disaster occurs, it is expected that plural lifelines get damaged at the same time. this causes big damage to our everyday lives, so we urgently need a plan to recover from the disaster. However, since lifeline networks have mutual relationships in terms of their functions, so it is difficult to promptly make a proper disaster restoration schedule. With this background, in this study, we aim to efficiently make a disaster restoration schedule with genetic algorithm taking account of the functional constraints among lifeline networks.

关键词： Disasters

来源：评论

学校读者我要写书评

暂无评论

Recipe recommendation for a diet considering user's various conditions

Recipe recommendation for a diet considering user's various ...

引用

Joint 5th international Conference on Soft Computing and Intelligent Systems and 11th international Symposium on advanced Intelligent Systems, SCIS and ISIS 2010

作者： Mino, Yoko Kobayashi, Ichiro Kobayashi Lab. Graduate School of Humanities Sciences Ochanomizu University 2-1-1 Ohtsuka Bunkyo-ku Tokyo 112-8610 Japan Graduate School of Humanities and Sciences Ochanomizu University 2-1-1 Ohtsuka Bunkyo-ku Tokyo 112-8610 Japan

Today, it is said that many people have got lifestylerelated diseases and the metabolic syndrome. therefore, the health care has been becoming an important issue in our lives. So, in this study, we focus on recommending proper cooking recipes as a part of health care. We propose a method to recommend healthy cooking recipes to such people by selecting some candidates of recipes with restricted calorie intake considering the user's schedule and by applying linear programming to the candidates with the constraints of carbohydrate, fat, protein, salt, increasing the amount of vegetable intake. In addition, we also show flexible recommendation methods considering various cases where user's schedule has changed and a user did not have the recommended foods, etc.

关键词： Health care

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共20页 << < 10 11 12 13 14 15 16 17 18 19 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：