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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是1111-1120 订阅

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

详细简洁

排序：

Modeling Contractor's Bidding Decisions 7

Modeling Contractor's Bidding Decisions

引用

7th international conference on Engineering, Project, and Production Management (EPPM)

作者： Biruk, Slawomir Jaskowski, Piotr Czarnigowska, Agata Lublin Univ Technol Nadbystrzycka 40 PL-20631 Lublin Poland

Experience and business intuition of a contractor are often insufficient to ensure that tender procedures will provide a good trade-off between the cost of bid preparation and the benefit of a high probability of winning a money-making contract. the authors put forward a set of decision-support models: a multi-criteria analysis for assessing the desirability of a potential new contract, and two linear programming models: one for calculating the total price, and the other for distributing the bid amount among the items of the bill of quantities to maximize the contractor's cash flows. Application of the models is illustrated with a numerical example. (C) 2016 the Authors. Published by Elsevier Ltd.

关键词： construction management decision support decision to tender linear programming pricing

来源：评论

学校读者我要写书评

暂无评论

Inverse Optimal Control Based Enhancement of Sprinting Motion Analysis with and without Running-Specific Prostheses

Inverse Optimal Control Based Enhancement of Sprinting Motio...

引用

IEEE/RAS-EMBS international conference on Biomedical Robotics and Biomechatronics (BioRob)

作者： Anna Lena Emonds Née Kleesattel Katja Mombaur Institute of Computer Engineering (ZITI) Heidelberg University Heidelberg Germany

ISBN: (纸本)9781538681848

Over the past decade, the sprinting performances of athletes with a leg amputation have come significantly closer to those of their non-amputee colleagues. the differences in the underlying whole-body mechanics of amputee and non-amputee sprinting have not yet been fully explored, though. the aim of this study was to investigate optimality principles applied by amputee and non-amputee sprinters by means of inverse optimal control (IOC). We have formulated hypotheses for five potential elementary optimality criteria and identified their respective weights that allow the closest possible matches to reference motions for both cases. We have established rigid multi-body system models of a non-amputee and a unilateral transtibial amputee athlete. Each of them has 13 degrees of freedom in the sagittal plane and is equipped with torque actuators at all internal joints - except for the ankle joint of the passive running-specific prosthesis. the IOC problem is formulated as a bi-Ievel problem that solves an identification problem in the outer loop and a motion synthesis optimal control problem in the inner loop. We found a set of optimal weights for each of the two athletes with which motions are synthesized that come close to motion capture data. We conclude that the IOC approach is promising for the identification of optimization criteria in sprinting with and without prostheses.

关键词： Optimal control Legged locomotion Linear programming Prosthetics Torque Optimization Acceleration

来源：评论

学校读者我要写书评

暂无评论

A Survey on Multiple Sequence Alignment using Metaheuristics 7

A Survey on Multiple Sequence Alignment using Metaheuristics

引用

7th international conference on Communication Systems and Network Technologies (CSNT)

作者： Dey, Ashmita Saha, Indrajit Maulik, Ujjwal Natl Inst Tech Teachers Training & Res Dept Comp Sci & Engn Kolkata India Jadavpur Univ Dept Comp Sci & Engn Kolkata India

ISBN: (纸本)9781538618608

Over the past two decades, various research works have been going on Multiple Sequence Alignment (MSA) and it becomes an important domain in bioinformatics. this is an NPhard problem. For this purpose, various traditional, heuristics and metaheuristic methods have been applied. Among these methods, metaheuristics show an effective output to overcome the bottleneck of MSA problem. Different metaheuristic methods and software have been developed to overcome the speed and accuracy problem of MSA, while the number of sequences increases. In this article, we have surveyed widely used metaheuristic methods and alignment tools applied for solving MSA problem. However, after reviewing we can conclude that the time complexity is still a big challenge for MSA problem.

关键词： Dynamic programming Evolutionary algorithms Multiple sequence alignment Metaheuristics

来源：评论

学校读者我要写书评

暂无评论

A Framework For Hypothesis-Driven Approaches To Support Data-Driven Learning Analytics In Measuring Computational thinking In Block-Based programming 17

A Framework For Hypothesis-Driven Approaches To Support Data...

引用

7th international Learning Analytics and Knowledge conference (LAK)

作者： Grover, Shuchi Bienkowski, Marie Basu, Satabdi Eagle, Michael Diana, Nicholas Stamper, John SRI Int 333 Ravenswood Ave Menlo Pk CA 94025 USA Carnegie Mellon Univ HCII Pittsburgh PA 15213 USA

ISBN: (纸本)9781450348706

K-12 classrooms use block-based programming environments (BBPEs) for teaching computer science and computational thinking (CT). To support assessment of student learning in BBPEs, we propose a learning analytics framework that combines hypothesis- and data-driven approaches to discern students' programming strategies from BBPE log data. We use a principled approach to design assessment tasks to elicit evidence of specific CT skills. Piloting these tasks in high school classrooms enabled us to analyze student programs and video recordings of students as they built their programs. We discuss a priori patterns derived from this analysis to support data-driven analysis of log data in order to better assess understanding and use of CT in BBPEs.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Difficulties in Learning Structured programming: A Case Study in UTP 7

Difficulties in Learning Structured Programming: A Case Stud...

引用

7th World Engineering Education Forum, WEEF 2017

作者： Hashim, Ahmad Sobri Ahmad, Rohiza Shahrul Amar, Muhammad Shafiq Department of Computer Information Sciences Universiti Teknologi PETRONAS Perak Seri Iskandar Malaysia Direct Consulting and Services SDN. Bhd. Kuala Lumpur Bukit Jalil Malaysia

ISBN: (纸本)9781538615232

this study is part of the whole study which is to introduce robotic approach in teaching and learning Structured programming. Learning programming especially to new students who do not have any prior experience in coding can be a daunting tasks. Structured programming subject that has been taught in traditional form mainly using input / output screen without students fully understand the concepts. the problems faced by students when they learn programming;they could not visualize how the programs work. therefore, this study further investigates on the difficulties faced by students in learning Structured programming. Universiti Teknologi PETRONAS (UTP) has been taken as the case study where the course is currently taught using C++ programming language in which this language is not interactive enough (students write the program, compile and run a black screen). Questionnaire has been distributed to 226 undergraduate students who are currently taking the course. Descriptive and multiple regression analyses have been performed to analyze the data. the results showed that the factors including demography, students' perception, lecturer's teaching method, students' study method and students' ability and attitude contributed toward student's understanding in programming. © 2017 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Scaling Analysis of Solving Algorithms for Canonical Problem of Dispatching in the Context of Dynamic programming 7

Scaling Analysis of Solving Algorithms for Canonical Problem...

引用

7th international conference Internet Technologies and Applications (ITA)

作者： Fedosenko, Yuriy S. Reznikov, Mikhail B. Plekhov, Aleksandr S. Chakirov, Roustiam Houlden, Nigel Volga State Univ Water Transportat 5 Nesterov St Nizhnii Novgorod 603005 Russia Alekseev Nizhny Novgorod State Tech Univ 24 Minin St Nizhnii Novgorod 603155 Russia Bonn Rhein Sieg Univ Appl Sci 20 Grantham Allee D-53757 St Augustin Germany Glyndwr Univ Mold Rd Wrexham LL11 2AW Wales

ISBN: (纸本)9781509048151

the paper analyses computational model based on dynamic programming for platforms with multicore processors and heterogeneous architectures with FPGA. the models are applied for solving a canonical problem of dispatching where the computation time significantly depends on the problem scale factor. the parallel algorithms of NP-hard problem of dispatching are complicate and require intensive RAM data exchange. In order to reduce the computation time, it is suggested to use FPGA as a coprocessor providing massively parallel computation and increase the operational performance of the system in one order.

关键词： massively parallel calculations dynamic programming dispatching problem calculations modeling discrete optimisation

来源：评论

学校读者我要写书评

暂无评论

Automatic Metal Waste Separator System In Malaysia

Automatic Metal Waste Separator System In Malaysia

引用

international conference on Computer and Communication Engineering, ICCCE

作者： Sazali Mahat Siti Hajar Yusoff Syasya Azra Zaini Nur Shahida Midi Sarah Yasmin Mohamad Department of Electrical & Computer Engineering International Islamic University Malaysia Jalan Gombak Kuala Lumpur Malaysia

Metal recycling is an issue that needs attention and should be practiced by people as it has many advantages to human and Earth. In order to get a metal from Earth, the process called mining are needed where it can harm our natural resources due to depletion of the area to be mined. If the process is not controlled, most of the areas on Earth will have huge excavation holes. So, people should be responsible to prevent this from happening to preserve the environment in a good quality by recycling the metal material. By metal recycling, it can save an energy and resources as it can reduce the demand for raw materials, hence maintain the natural resources for the future. the proposed automatic metal waste separation system is intended to ease the people to separate the waste material. Besides, it will make the metal recycling industry work easier because the metal waste is already isolated at garbage collection side. the purpose of the project is to design a system to separate the metal recyclable household waste automatically and record the data waste collected. there are total of four detectors used to separate the non-metal, steel, copper and aluminum metal waste. the average time used to complete metal separation process by using the proposed prototype is 14.5 seconds. this project includes a mechanical part, programming part and an electronic design. the system will be programmed using Arduino Mega as a microcontroller to control all the electronic component in the system.

关键词： Containers Copper Steel Aluminum Image color analysis Servomotors

来源：评论

学校读者我要写书评

暂无评论

An Object-Oriented Model for Object Orchestration in Smart Environments 8

An Object-Oriented Model for Object Orchestration in Smart E...

引用

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

作者： Bergesio, Luca Bernardos, Ana M. Casar, Jose R. Univ Politecn Madrid Telecommun Sch Av Complutense 30 E-28040 Madrid Spain

Nowadays, the heterogeneity of interconnected things and communication technologies creates several small worlds composed of a single object and a smartphone. For each object, the user needs to download a specific application, search and connect the device. the result is a waste of valuable resources: several objects are able to communicate with the smartphone, but they cannot directly interact among them. In this paper, we propose a model that can be used to define a set of standard interfaces suitable for every smart object. Devices that adhere to the same model can be easily controlled and placed in relation among them, creating multi-object behaviors for a smart space. the smartphone is still a control center, but with a single application it is possible to control and personalize spaces in a holistic way, instead of using the traditional one-to-one approach. Moreover, personalization should be portable: it is desirable that a behavior works in as many smart spaces as possible, at least in a similar way as it does in the environment in which it was configured, freeing the user from the tedious task of adapting it manually every time s/he goes to another space. A portable personalization extends the bring your own device paradigm to a new "bring your own space" paradigm. the model is inspired in the object-oriented programming, reinterpreting features such as inheritance and polymorphism to the real world, so it is possible to provide a software system able to adapt existing behaviors to new spaces. the use of the model is exemplified in the paper with two examples of smart spaces. 1877-0509 (C) 2017 the Authors. Published by Elsevier B.V.

关键词： Smart object ubiquitous computing modeling object-oriented programming ECA smartphone smart spaces IoT

来源：评论

学校读者我要写书评

暂无评论

Reducing distribution losses using distributed end-user reactive power support 7

Reducing distribution losses using distributed end-user reac...

引用

7th international conference on Power Systems, ICPS 2017

作者： Jyothi, Gajula Teja, S Charan Yemula, Pradeep Kumar Department of Electrical Engineering Indian Institute of Technology Hyderabad Kandi Hyderabad India

ISBN: (纸本)9781538617892

Distribution losses are one of the major concern for India. According to central electricity authority(CEA) executive summary report May 2017 transmission and distribution losses accounts for about 22%. these losses can be reduced by improving power factor via local reactive power supply. In order to address the above issue this paper proposes a method for distributed reactive power support using end user equipment. the main contribution of this paper is to find the optimal bus location for reactive power injection considering the availability. A sensitivity matrix for power loss with reactive power injection is built for finding the optimal bus location subject to the availability of reactive power support at that location. In order to demonstrate the proposed solution approach, a IEEE 33 bus radial distribution system is taken. Results of the case study are obtained by using MATLAB programming and the same are presented. Obtained results show about 30% of reduction in losses and improvement in the voltage profile. © 2017 IEEE.

关键词： Location

来源：评论

学校读者我要写书评

暂无评论

ROP Defense in the Cloud through LIve Text Page-level Re-ordering the LITPR System 7

ROP Defense in the Cloud through LIve Text Page-level Re-ord...

引用

7th international conference on Cloud Computing and Services Science (CLOSER)

作者： Sapello, Angelo Chiang, C. Jason Elwell, Jesse Ghosh, Abhrajit Kubota, Ayumu Matsunaka, Takashi Vencore Labs Inc Intelligent IA Syst Res Basking Ridge NJ 07920 USA KDDI R&D Labs Network Secur Lab Saitama Japan

ISBN: (纸本)9789897582431

As cloud computing environments move towards securing against simplistic threats, adversaries are moving towards more sophisticated attacks such as ROP (Return Oriented programming). In this paper we propose the LIve Text Page-level Re-ordering (LITPR) system for prevention of ROP style attacks and in particular the largely unaddressed Blind ROP attacks on applications running on cloud servers. ROP and BROP, respectively, bypass protections such as DEP (Data Execution Prevention) and ASLR (Address Space Layout Randomization) that are offered by the Linux operating system and can be used to perform arbitrary malicious actions against it. LITPR periodically randomizes the in-memory locations of application and kernel code, at run time, to ensure that both ROP and BROP style attacks are unable to succeed. this is a dramatic change relative to ASLR which is a load time randomization technique.

关键词： Return Oriented programming ROP Mitigation Program Randomization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 108 109 110 111 112 113 114 115 116 117 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：