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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Creating a Double Lock with the Help of Sound programming and Image programming for the Security of Data for Remote Location Treatment in Body Area Network 7

Creating a Double Lock with the Help of Sound Programming an...

引用

7th international conference on System Modeling and Advancement in Research Trends (SMART)

作者： Kumar, Pradeep Sharma, Anand MUST CET Lakshmangarh Rajasthan India MUST CET CSE Lakshmangarh Rajasthan India

ISBN: (纸本)9781538663691

Body area network is creating engineering with medical science, and internet technology will take over in facilitating medical services to offer treatment at the remote destination. Advances in wireless technologies are perfectly allowing secure data communication. It allows for quality through mobile to mobile standardization and creating analyses for marketing and development specifically for medical applications. Market profit for Wireless Body area network is also taking concerns from different governments as to enhance remote medical facilities. Secure data transfer is also a prime concern of body area network technology, so cryptographic algorithms are required. this paper will propose an algorithm for authentication with the optimization process, using image data, sound data for cryptographic key management and a genetic algorithm for treating a patient through body area network technique. IEEE standards are allowing these technologies for this development are like ZigBee. Bluetooth etc. are the technologies of prime concern for body area networks. this paper will also demonstrate very possibility of sound that can be used as a key. Sound programming is the purest area for the utility of human culture. this paper is establishing more thoughts in the sound engineering area. Strings from image and sound can use as a double lock.

关键词： Image Processing Sound Processing Key Management Body Area Network Security Image as a Key Sound as a Key

来源：评论

学校读者我要写书评

暂无评论

Detection of low wall motion and comparison study with scar tissue using 4D left ventricle cardiac images 7

Detection of low wall motion and comparison study with scar ...

引用

7th IEEE international Symposium on Next-Generation Electronics (ISNE) - Next-Generation Electronics for AI and 5G Communications

作者： Lee, Chien-Yi Singh, Yashbir Hu, Wei Chih Chung Yuan Christian Univ Biomed Engn Zhongli Taiwan

ISBN: (纸本)9781538614457

the myocardial contraction creates an effective cardiovascular pumping system. While regional dysfunction of myocardium leads to functional abnormality of cardiac wall motion that is one of the risk factors for ventricular remodeling. It helps in the early phase detecting abnormalities of wall motion while wall motion of cardiac cycle make difficult to observe without any physical reference point. In this research, we find to characterize regional systolic function abnormalities. In house developed 4D image processing software that extracts the wall motion of left ventricle from a 4D cardiac images. We created 10 frames of 3D heart model that contains long axis as reference for predicting left ventricle wall motion. We tested our model with Scar tissue to 4D cardiac model of left ventricle, low motion area as noninvasive method of early detection. the detection in wall motion could effectively reflect the dysfunction of myocardium. thus, this study provides a new approach to assess the degree and site dysfunction area of myocardium.

关键词： Left ventricle remodeling Scar Tissue 4D Cardiac image Myocardial wall motion

来源：评论

学校读者我要写书评

暂无评论

On accuracy estimates for one regularization method in linear programming 7th

On accuracy estimates for one regularization method in linea...

引用

7th international conference on Optimization Problems and their Applications, OPTA 2018

作者： Popov, Leonid D. Krasovskii Institute of Mathematics and Mechanics UB RAS Ekaterinburg Russia Ural Federal University Ekaterinburg Russia

ISBN: (纸本)9783319937991

In this paper, the alternative duality schemes for mathematical programming problems are considered. these schemes are based on the Lagrange function regularized by Tikhonov in primal and dual variables simultaneously. Earlier such schemes were investigated for convex programming problems only, and the conditions were found which guarantee a convergence of both primal and dual components of the saddle point of the regularized Lagrange function to the optimal sets of primal and dual problems respectively. In addition, some accuracy estimates were obtained for deviation of only one of these components from the normal solution (solution with minimal the Euclidean norm) of the corresponding problem, primal or dual. Unfortunately, these estimates are valid only if primal and dual parameters of regularization have a different order of smallness. In this article, the linear case is investigated in detail. It is shown that for linear programming problem both mentioned sequences converge to the normal solutions of primal and dual programs simultaneously, and it is not essential for such a convergence whether the regularization parameters have a different or the same order of smallness. Also, the alternative accuracy estimates are presented which appear to be more precise and efficient in comparison with the estimates known for a convex case. © Springer international Publishing AG, part of Springer Nature 2018.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Erlang 2018 - Proceedings of the 17th ACM SIGPLAN international Workshop on Erlang, co-located with ICFP 2018

Erlang 2018 - Proceedings of the 17th ACM SIGPLAN Internatio...

引用

17th ACM SIGPLAN international Workshop on Erlang, Erlang 2018, co-located with the Annual international conference on functional programming, ICFP 2018

ISBN: (纸本)9781450358248

the proceedings contain 7 papers. the topics discussed include: iDeA: an immersive debugger for actors;understanding formal specifications through good examples;modeling distributed erlang within a single node;automatic detection of core erlang message passing errors;typing the wild in erlang;modeling erlang processes as petri nets;and towards secure erlang systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Non-photorealistic Rendering with Cartesian Genetic programming Using Graphics Processing Units 1

引用

7th international conference on Computational Intelligence in Music, Sound, Art and Design (EvoMUSART) / 14th European Event on Biologically Inspired Music, Sound, Art and Design

作者： Bakurov, Illya Ross, Brian J. Brock Univ Dept Comp Sci 1812 Sir Isaac Brock Way St Catharines ON L2S 3A1 Canada

ISBN: (数字)9783319775838

ISBN: (纸本)9783319775838;9783319775821

A non-photorealistic rendering system implemented with Cartesian genetic programming (CGP) is discussed. the system is based on Baniasadi's NPR system using tree-based GP. the CGP implementation uses a more economical representation of rendering expressions compared to the tree-based system. the system borrows their many-objective fitness evaluation scheme, which uses a model of aesthetics, colour testing, and image matching. GPU acceleration of the paint stroke application results in up to 6 times faster rendering times compared to CPU-based renderings. the convergence dynamics of CGP's mu+lambda evolutionary strategy was more unstable than conventional GP runs with large populations. One possible reason may be the sensitivity of the smaller mu+lambda population to the many-objective ranking scheme, especially when objectives are in conflict with each other. this instability is arguably an advantage as an exploratory tool, especially when considering the subjectivity inherent in evolutionary art.

关键词： Non-photorealistic rendering Cartesian genetic programming Graphics processing units Evolutionary art

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Computational Intelligence in Music, Sound, Art and Design, EvoMUSART 2018

7th International Conference on Computational Intelligence i...

引用

7th international conference on Computational Intelligence in Music, Sound, Art and Design, EvoMUSART 2018

ISBN: (纸本)9783319775821

the proceedings contain 20 papers. the special focus in this conference is on Computational Intelligence in Music, Sound, Art and Design. the topics include: RoboJam: A musical mixture density network for collaborative touchscreen interaction;towards a general framework for artistic style transfer;adaptive interface for mapping body movements to sounds;on collaborator selection in creative agent societies: An evolutionary art case study;towards partially automatic search of edge bundling parameters;co-evolving melodies and harmonization in evolutionary music composition;learning as performance: Autoencoding and generating dance movements in real time;deep interactive evolution;the light show: Flashing fireflies gathering and flying over digital images;dynamical music with musical boolean networks;evotype: Towards the evolution of type stencils;non-photorealistic rendering with cartesian genetic programming using graphics processing units;construction of a repertoire of analog form-finding techniques as a basis for computational morphological exploration in design and architecture;medical Art therapy of the Future: Building an Interactive Virtual Underwater World in a Children’s Hospital;expressive piano music playing using a kalman filter;generative solid modelling employing natural language understanding and 3D data;evoExplore: Multiscale visualization of evolutionary histories in virtual reality;musical organisms: A generative approach to growing musical scores.

关键词：

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Optimization Problems and their Applications, OPTA 2018

7th International Conference on Optimization Problems and Th...

引用

7th international conference on Optimization Problems and their Applications, OPTA 2018

ISBN: (纸本)9783319937991

the proceedings contain 27 papers. the special focus in this conference is on Optimization Problems and their Applications. the topics include: On vector summation problem in the euclidean space;fast numerical evaluation of periodic solutions for a class of nonlinear systems and its applications for parameter estimation problems;on vertices of the simple boolean quadric polytope extension;on accuracy estimates for one regularization method in linear programming;binary solutions to some systems of linear equations;variant of the cutting plane method with approximation of the set of constraints and auxiliary functions epigraphs;sorger game under uncertainty: Discrete case;public-private partnership models with tax incentives: Numerical analysis of solutions;fuzzy core allocations in a mixed economy of arrow-debreu type;a new model of competitive location and pricing with the uniform split of the demand;convergence analysis of swarm intelligence metaheuristic methods;an optimization model for empty tank cars movement at railway petroleum logistics market;complexity of bi-objective buffer allocation problem in systems with simple structure;inventory policies in dual sourcing systems with uncertain yield;a genetic algorithm for the pooling-inventory-capacity problem in spare part supply systems;a core heuristic and the branch-and-price method for a bin packing problem with a color constraint;on calculation and estimation of flow transmission probability in a communication network;profit maximization and vehicle fleet planning for a harbor logistics company;branch and bound method for the weber problem with rectangular facilities on lines in the presence of forbidden gaps;exact solution of one production scheduling problem.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Sorger game under uncertainty: Discrete case 7th

Sorger game under uncertainty: Discrete case

引用

7th international conference on Optimization Problems and their Applications, OPTA 2018

作者： Adukova, Natalia V. Kudryavtsev, Konstantin N. South Ural State University Chelyabinsk Russia Chelyabinsk State University Chelyabinsk Russia

ISBN: (纸本)9783319937991

At the present time, the discrete-time models are not given enough attention. But these models are more realistic than the continuous models, because the allocation of funds is discrete. In the paper a new discrete model of optimal advertising is proposed. this model takes into account the uncertainties. these uncertainties are caused by acts of a set of the small companies. the companies’ problem is to maximize their market share taking into account the reaction of competitors. the problem is a discrete multistep optimal control problem. For this model the optimal control problem is solved explicitly. the Bellman method of dynamic programming is used to construct the guaranteed equilibrium. © Springer international Publishing AG, part of Springer Nature 2018.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Traffic Signal Optimization Based on System Equilibrium and Bi-level Multi-objective programming Model 7th

Traffic Signal Optimization Based on System Equilibrium and ...

引用

7th international conference on Green Intelligent Transportation System and Safety (GITSS)

作者： Wang, Xiao-ting Chang, Yu-lin Zhang, Peng Jiangsu Univ Sch Automot & Traff Engn Zhenjiang 212013 Peoples R China Southeast Univ Jiangsu Key Lab Urban ITS Nanjing 211189 Jiangsu Peoples R China

ISBN: (纸本)9789811035517;9789811035500

Based on the design principle of minimizing the automotive exhaust emissions and the total impedance of the road network, an urban road traffic signal control method of bi-level multi-objective programming model is established by designing the heuristic particle swarm optimization (PSO) algorithm. First of all, the upper-level model which combined the vehicle emissions model and system optimum assignment model is built, and the lower-level model is built based on minimizing the sum of the link travel time function integral. then, the heuristic PSO algorithm is designed and transformed to solve upper-level and lower-levels model iteratively by two PSO algorithms. Ultimately, by altering the weight parameters of the upper model, the model is dealt with separately in case of single target and multi-target, the optimization results of which is compared with the VISSIM simulation results and the optimization results by means of heuristic genetic algorithm. the simulation results show that bi-level multi-objective control method, which could improve the operating quality of road network, is of great optimization ability and can effectively reduce the automotive exhaust emissions and the total impedance of the road network.

关键词： Traffic engineering Bi-level multi-objective programming model PSO algorithm Signal control System equilibrium

来源：评论

学校读者我要写书评

暂无评论

Smart Context Generation for Disambiguation to Wikipedia 7th

Smart Context Generation for Disambiguation to Wikipedia

引用

7th international conference on Artificial Intelligence and Natural Language (AINL)

作者： Sysoev, Andrey Nikishina, Irina Russian Acad Sci Ivannikov Inst Syst Programming Moscow Russia Higher Sch Econ Moscow Russia

ISBN: (纸本)9783030012045;9783030012038

Wikification is a crucial NLP task that aims to identify entities in text and disambiguate their meaning. Being partially solved for English, the problem still remains fairly untouched for Russian. In this article we present a novel approach to Disambiguation to Wikipedia applied to the Russian language. Inspired by the Neural Machine Translation task our method implements encoder-decoder neural network architecture. It translates text tokens into concept embeddings that are subsequently used as context for disambiguation. In order to test our hypothesis we add our context features to GLOW system considered a baseline. Moreover, we present commonly available dataset for the Disambiguation to Wikipedia task.

关键词： Disambiguation to Wikipedia Wikification for Russian Encoder-decoder neural network architecture Concept embeddings

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 99 100 101 102 103 104 105 106 107 108 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：