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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,389 篇 会议
132 篇 期刊文献
76 册 图书

馆藏范围

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

日期分布

学科分类号

2,398 篇 工学
- 1,896 篇 计算机科学与技术...
- 1,152 篇 软件工程
- 418 篇 电气工程
- 269 篇 控制科学与工程
- 199 篇 信息与通信工程
- 127 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 44 篇 化学工程与技术
- 40 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
672 篇 理学
- 482 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 73 篇 生物学
- 51 篇 化学
402 篇 管理学
- 337 篇 管理科学与工程(可...
- 148 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 103 篇 教育学
70 篇 医学
- 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...
86 篇 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. ...
6 篇 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,513 篇 英文
56 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3597 条记录，以下是821-830 订阅

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

详细简洁

排序：

Road Recognition System with Heuristic Method and Machine Learning

Road Recognition System with Heuristic Method and Machine Le...

引用

international conference of Advanced Informatics: Concept, theory and Application (ICAICTA)

作者： Hagai Raja Sinulingga Rinaldi Munir School of Electrical Engineering and Informatics Institut Teknologi Bandung Medan Indonesia

ISBN: (纸本)9781728180397

Road recognition is one of essential information for determining an Autonomous Vehicle movement. Latest research has shown that machine learning could be used to obtain the information from images. Nevertheless, the system could be improved by effectivity and efficiency. this research proposed finding better feature combinations and using Artificial Neural Network algorithm to build higher accuracy road detection model for better effectivity. Region of Interest module using heuristic method also applied to reduce computation for better efficiency. these three new modules are implemented and combined with road recognition module to become road recognition system. the proposed method performance then tested and compared with the latest research. the experiment results shown that Artificial Neural Network cannot increase the system effectiveness. Nonetheless, with right feature and region of interest module, the proposed system successfully gives better performance. the prototype has accuracy increased from F1-score 0,94 to 0,95 and speed increased from 99 to 112 frames processed per second.

关键词： Machine learning algorithms Parallel programming Roads Prototypes Artificial neural networks Streaming media Real-time systems

来源：评论

学校读者我要写书评

暂无评论

Delay-dependent stabilization of positive continuous-time Takagi-Sugeno fuzzy systems: An LP approach 8

Delay-dependent stabilization of positive continuous-time Ta...

引用

8th international conference on Systems and Control (ICSC)

作者： Benzaouia, Abdellah El Hajjaji, Ahmed Ouladsine, Mustapha Univ Cadi Ayyad Fac Sci Semlalia LAEPT BP 2390 Marrakech Morocco Univ Picardie Jules Vernes UPJV 7 Rue Moulin Neuf F-8000 Amiens France Univ Paul Cezanne Aix Marseille LIS UMR 7020 Domaine Univ St Jerome F-13397 Marseille 20 France

ISBN: (纸本)9781728119380

this paper studies the stability and stabilization problem of Takagi-Sugeno (T-S) fuzzy systems with time-varying delay by using linear programming (LP) technique while imposing positivity in closed-loop. New delay-dependent stabilization conditions are derived using a new Lyapunov-Krasovskii functional (LKF). To show the advantages of the proposed design procedure, a numerical example is studied.

关键词： Positive systems T-S fuzzy systems stabilization Lyapunov-Krasovskii functional Linear program

来源：评论

学校读者我要写书评

暂无评论

Convex Optimisation for Inverse Kinematics 7

Convex Optimisation for Inverse Kinematics

引用

7th international conference on 3D Vision (3DV)

作者： Yenamandra, Tarun Bernard, Florian Wang, Jiayi Mueller, Franziska theobalt, Christian MPI Informat Saarbrucken Germany Saarland Informat Campus Saarbrucken Germany

ISBN: (纸本)9781728131313

We consider the problem of inverse kinematics (IK), where one wants to find the parameters of a given kinematic skeleton that best explain a set of observed 3D joint locations. the kinematic skeleton has a tree structure, where each node is a joint that has an associated geometric transformation that is propagated to all its child nodes. the IK problem has various applications in vision and graphics, for example for tracking or reconstructing articulated objects, such as human hands or bodies. Most commonly, the IK problem is tackled using local optimisation methods. A major downside of these approaches is that, due to the non-convex nature of the problem, such methods are prone to converge to unwanted local optima and therefore require a good initialisation. In this paper we propose a convex optimisation approach for the IK problem based on semidefinite programming, which admits a polynomial-time algorithm that globally solves (a relaxation of) the IK problem. Experimentally, we demonstrate that the proposed method significantly outperforms local optimisation methods using different real-world skeletons.

关键词： Kinematics Skeleton three-dimensional displays programming Optimization methods Graphics

来源：评论

学校读者我要写书评

暂无评论

Analysis of Bank Branch Performance Using Goal programming

Analysis of Bank Branch Performance Using Goal Programming

引用

international conference on Industrial Engineering and Applications (ICIEA)

作者： Rex Aurelius C. Robielos Elaiza Ann D. Tejada School of Industrial Engineering and Engineering Management Mapua University Manila Philippines School of Information Technology Mapua University Manila Philippines

ISBN: (数字)9781728167855

ISBN: (纸本)9781728167862

this study aims to use alternative data on measuring bank branch performance within the NCR in the Philippines. It is also aimed to identify optimal solution in maximizing the bank branches performance as a community while minimizing the operating expense using goal programming approach. It was concluded that bank branch performance in NCR is largely dependent on the number of accounts and number of over-the-counter transactions. the result of this study is very timely as the banks in the country have already started charging its clients for over-the-counter transactions, such as withdrawals and inter-regional deposits. Since the number of over-the-counter transactions has a positive effect on branch performance, the management should think of ways on how it can entice its clients on transacting in the branch instead of using the digital platforms.

关键词： Regression analysis Predictive models programming Investment Object recognition Automobiles Industrial engineering

来源：评论

学校读者我要写书评

暂无评论

Optimal Energy Management of Residential Solar PV with Battery Storage: Effects of Fast Load and Generation Transients

Optimal Energy Management of Residential Solar PV with Batte...

引用

international conference on Control, Decision and Information Technologies (CoDIT)

作者： Harald Kirchsteiger Gerald Steinmaurer The research group ASiC University of Applied Sciences Upper Austria Wels Austria

ISBN: (数字)9781728159539

ISBN: (纸本)9781728159546

An energy management algorithm to optimally control a rooftop solar photovoltaic device in combination with a battery storage and considering variable pricing is analyzed for single family houses. A discrete time dynamic programming controller is developed to minimize the electricity costs. It is shown in simulation, using real world measurement data, that considerable savings can be achieved with the optimal controller. However, we also show the limitations of such discrete time approaches in realistic scenarios when load and generation changes in-between the samples where the controller is active. this can lead to a performance deterioration making the optimal controller worse than a standard approach.

关键词： Inverters Batteries State of charge Optimization Dynamic programming Prediction algorithms Standards

来源：评论

学校读者我要写书评

暂无评论

Optimization of a smart integrated renewable energy system for isolated rural villages using integer linear programming 7

Optimization of a smart integrated renewable energy system f...

引用

7th international Engineering, Sciences and Technology conference, IESTEC 2019

作者： Masip, Yunesky Gil, Alejandro Fernandez Sanchez, Mariam Gomez Castro, Carlos Gonzalez, Suleivys M. Nunez Pontificia Universidad Católica de Valparaíso Escuela de Ingeniería Mecánica Av. Brasil 2950 Valparaíso Chile Univerisdad Técnica Federico Santa María Departamento de Ingeniería Informática Av. España 1680 Valparaíso Chile

ISBN: (纸本)9781728116914

Providing energy to areas isolated from the electricity grid through the use of a smart integrated renewable energy system (SIRES) is based on the Agenda 2030 for Sustainable Development, specifically Goal 7, according to the United Nations (UN). this study analyzes the process of identifying the appropriate size of a SIRES considering technical and economic factors (cost of energy-COE). An optimization integer linear programming model proposed was used, and a subsequent spatial-temporal analysis of the different variables was conducted. the model comprises locally available renewable energy resources, such as biomass, biogas, wind power, solar photovoltaic, and thermal power. Furthermore, it could be used to determine the energy potential of each of the isolated villages, identifying those areas in which the SIRES could be implemented as a sustainable and economical solution. the design simulates the cost of the initial investment and energy generation in the chosen village. the study also includes the study case in the region of Valparaiso, Chile. Different scenarios were used to optimize the available resources and minimize the COE generation. © 2019 IEEE.

关键词： Wind power

来源：评论

学校读者我要写书评

暂无评论

Attempt to acceleration sense provision for improvement of impression feeling by using electrical rocking chair 19

Attempt to acceleration sense provision for improvement of i...

引用

7th international conference on Applied Computing and Information Technology, ACIT 2019

作者： Koshi, Kazuhiro Muraki, Masaya Miyoshi, Masazumi National Institute of Technology Kumamoto College Koshi Kumamoto Japan

ISBN: (纸本)9781450371735

this paper describes effect for human feelings by using an electrical rocking chair (ERC) synchronized with moving pictures (MPs). the relations between human Kansei and rocking angles are clarified by using the ERC and the MPs. Furthermore, provision of acceleration sense is attempted to increase impression feeling. the impression feelings can be increased as the rocking angles and the rocking frequency of the ERC become higher. ©2019 Copyright is held by the owner/author(s). Publication rights licensed to ACM

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Evaluating robustness of neural networks with mixed integer programming 7

Evaluating robustness of neural networks with mixed integer ...

引用

7th international conference on Learning Representations, ICLR 2019

作者： Tjeng, Vincent Xiao, Kai Tedrake, Russ Massachusetts Institute of Technology United States

Neural networks trained only to optimize for training accuracy can often be fooled by adversarial examples - slightly perturbed inputs misclassified with high confidence. Verification of networks enables us to gauge their vulnerability to such adversarial examples. We formulate verification of piecewise-linear neural networks as a mixed integer program. On a representative task of finding minimum adversarial distortions, our verifier is two to three orders of magnitude quicker than the state-of-the-art. We achieve this computational speedup via tight formulations for non-linearities, as well as a novel presolve algorithm that makes full use of all information available. the computational speedup allows us to verify properties on convolutional and residual networks with over 100,000 ReLUs - several orders of magnitude more than networks previously verified by any complete verifier. In particular, we determine for the first time the exact adversarial accuracy of an MNIST classifier to perturbations with bounded l∞ norm = 0.1: for this classifier, we find an adversarial example for 4.38% of samples, and a certificate of robustness to norm-bounded perturbations for the remainder. Across all robust training procedures and network architectures considered, and for both the MNIST and CIFAR-10 datasets, we are able to certify more samples than the state-of-the-art and find more adversarial examples than a strong first-order attack. © 7th international conference on Learning Representations, ICLR 2019. All Rights Reserved.

关键词： Network architecture

来源：评论

学校读者我要写书评

暂无评论

Learning object for contextualization of matrix operations in digital image processing through programming 19

Learning object for contextualization of matrix operations i...

引用

7th international conference on Technological Ecosystems for Enhancing Multiculturality (TEEM)

作者： Galindo Cortes, Diego Mauricio Orozco Rodriguez, Claudia Margarita Vargas Alejo, Veronica Univ Guadalajara Univ Ctr Exact Sci & Engn Dept Math Guadalajara Jalisco Mexico

ISBN: (纸本)9781450371919

Currently, some students do not understand correctly certain mathematical concepts. Matrices and their operations are some example of this. this can be related to the lack of contextualization in some area of interest, which makes the student thinks that the concept learning without applications is meaningless. For this reason, it is important to present mathematical concepts in a contextualized manner in some area of interest. this paper presents the construction of a Learning Object (LO) for matrix operations and an application in digital image processing. this work carried out aims to investigate the effects produced by the use of the LO and the C ++ programming language for digital image processing, in the operations and application matrices learning process. the LO construction process followed the phases of the ADDLE model. the results obtained during the implementation and evaluation phase of the model are presented. the LO was implemented in the course of programming for Sciences, and seven students of the Bachelor of Mathematics of the University of Guadalajara participated in the focus group session. the results show the proposal is interesting, easy to use and it has a good educational potential. the evidence shows that the learning was achieved satisfactorily, since the visualization and reasoning processes are observed in the worksheets.

关键词： Array operations learning digital image processing upper level

来源：评论

学校读者我要写书评

暂无评论

Facilitating the learning process in parallel computing by using instant messaging 19

Facilitating the learning process in parallel computing by u...

引用

7th international conference on Technological Ecosystems for Enhancing Multiculturality (TEEM)

作者： Manuel Guerrero-Higueras, Angel Sanchez-Gonzalez, Lidia Angel Conde, Miguel Rodriguez Lera, Francisco J. Castejon-Limas, Manuel Petkov, Nicolai Univ Leon Dept Mech Comp Sci & Aerosp Engn Campus Vegazana S-N E-24071 Leon Spain Univ Groningen Johann Bernoulli Inst Math & Comp Sci Groningen Netherlands

ISBN: (纸本)9781450371919

Parallel programming skills may require long time to acquire. "think in parallel" is a skill which requires time, effort, and experience. In this work, we propose to facilitate the learning process in parallel programming by using instant messaging by students. Our aim is to find out if students' interaction through instant messaging is beneficial for the learning process. We asked several students of an HPC course of the Master's degree in Computer Science to develop a specific parallel application, each of them using a different application program interface: OpenMP, MPI, CUDA, or OpenCL. Even though the used APIs are different, there are common points in the design process. We proposed to these students to interact with each other by using Gitter, an instant messaging tool for Github users. Our analysis of the communications and results demonstrate that the direct interaction of students through the Gitter tool has a positive impact on the learning process.

关键词： High-performance Computing Instant Messaging Parallel programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共360页 << < 79 80 81 82 83 84 85 86 87 88 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：