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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

f2MOVE: fMRI-compatible haptic object manipulation system for closed-loop motor control studies 7

f2MOVE: fMRI-compatible haptic object manipulation system fo...

引用

7th Annual international IEEE EMBS conference on Neural Engineering (NER)

作者： Sylaidi, Anastasia Lourenco, Pedro Nageshwaran, Sathiji Lin, Chin-Hsuan Rodriguez, Marisol Festenstein, Richard Faisal, A. Aldo Univ London Imperial Coll Sci Technol & Med Dept Bioengn Brain & Behav Lab South Kensington Campus London SW7 2AZ England Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England Univ London Imperial Coll Sci Technol & Med Fac Med Gene Control Mech & Dis Grp Div Brain Sci London SW7 2AZ England Imperial Ctr Translat & Expt Med Imperial Clin Res Facil London W12 0NN England MRC Clin Sci Ctr London W12 0NN England

ISBN: (纸本)9781467363891

functional neuroimaging plays a key role in addressing open questions in systems and motor neuroscience directly applicable to brain machine interfaces. Building on our low-cost motion capture technology (fMOVE), we developed f2MOVE, an fMRI-compatible system for 6DOF goal-directed hand and wrist movements of human subjects enabling closed-loop sensorimotor haptic experiments with simultaneous neuroimaging. f2MOVE uses a high-zoom lens high frame rate camera and a motion tracking algorithm that tracks in real-time the position of special markers attached to a hand-held object in a novel customized haptic interface. the system operates with high update rate (120 Hz) and sufficiently low time delays (< 20 ms) to enable visual feedback while complex, goal-oriented movements are recorded. We present here both the accuracy of our motion tracking against a reference signal and the efficacy of the system to evoke motor control specific brain activations in healthy subjects. Our technology and approach thus support the real-time, closed-loop study of the neural foundations of complex haptic motor tasks using neuroimaging.

关键词： Visual communication

来源：评论

学校读者我要写书评

暂无评论

Homotopy Reconstruction for Compressive Sensing Based Cooperative Transmissions in Cognitive Radio Network

Homotopy Reconstruction for Compressive Sensing Based Cooper...

引用

7th IEEE international conference on Wireless Communications and Signal Processing (WCSP)

作者： Xu, Xiaorong Cao, Haiyan Guo, Qian Hangzhou Dianzi Univ Coll Telecommun Engn Hangzhou Zhejiang Peoples R China Zhejiang Univ Coll Elect Engn Hangzhou 310003 Zhejiang Peoples R China

ISBN: (纸本)9781467376877

Compressive sensing (CS) based cooperative transmissions is investigated in cognitive radio networks (CRN). Energy efficiency based optimal relay selection is implemented to determine the measurement numbers in CS. Homotopy reconstruction method that solves a bound constrained quadratic programming (BCQP) problem is studied for signal sparse reconstruction at secondary user destination (SUD) in CRN. Based on the determined measurement numbers, binary phase shift keying (BPSK) modulation signal is sparsely sampled by analog-to-information converters (AICs) equipped at the selected secondary user relays (SURs). the corresponding measurement matrix is constructed in CS-based cooperative transmissions. Homotopy reconstruction method is implemented to obtain dynamic update of the solution for BCQP problem. the updating critical value of homotopy parameter and the updating solution of the reconstructed signals' autocorrelation vector can be both achieved via iteration. Simulation results are presented to validate the effectiveness of the proposed approach. It is shown that, homotopy method recovers original signal approximately in low signal-to-noise ratio (SNR) region. Compared with orthogonal matching pursuit (OMP) reconstruction approach, it provides a balanced solution considering normalized mean square error (NMSE) performance versus computational complexity. More-over, spectrum sensing overhead plays significant role in CS based cooperative transmissions.

关键词： Homotopy reconstruction Compressive sensing (CS) based cooperative transmissions Bound constrained quadratic programming (BCQP) Homotopy parameter Normalized mean square error (NMSE)

来源：评论

学校读者我要写书评

暂无评论

A Study of the Accessible Approach to Replace the Reservoir Silt Glaze with New Formula 17th

引用

7th international conference on Cross-Cultural Design (CCD) Held as Part of 17th international conference on Human-Computer Interaction (HCI international)

作者： Lu, Chi-Chang Lin, Po-Hsien Natl Taiwan Univ Art Crafts & Design Dept Taipei 22058 Taiwan Natl Taiwan Univ Arts Grad Sch Creat Ind Design Taipei 22058 Taiwan

ISBN: (纸本)9783319209074;9783319209067

the author engaged in the research work of utilizing Shihmen Reservoir silt to make ceramic glazes. It was shown to be specific and feasible. But due to the different accumulation of layers or batches, it has more instability. the author had ever been three times to collect silt in different sedimentation pond, and was confirmed its chemical composition to be have obvious differences by instrumental analysis. If you used a direct replacement, you could find significant differences in appearance when silt content above 20 %. the "seger's formula" of ceramic glaze was used as the theoretical basis for the composition, and then calculated by Excel's Solver tool. It was always made the similar effect with original if you gave proper constraints and the substitution principle.

关键词： Ceramic arts Reservoir silt Glaze Seger formula programming solver

来源：评论

学校读者我要写书评

暂无评论

Scranvas: Gamified Forum for Amateur Designersto Share Creative Work and Generate Constructive Feedback 15

Scranvas: Gamified Forum for Amateur Designersto Share Creat...

引用

7th international conference on Human Computer Interaction, IndiaHCI 2015

作者： Chakraborty, Abhishek Industrial Design Centre Indian Institute of Technology Bombay Powai Mumbai400076 India

ISBN: (纸本)9781450332187

Feedback is important for cultivating creativity. Constructive feedback on design is crucial for helping design students and amateur designers iterate towards better solutions. However most of the current platforms don't promote honest design feedback and are primarily used only for self-promotion. this paper proposes Scranvas, a community for students and non-experts to encourage sharing of creative work and generate constructive feedback. Users interpret the designs based on the context and goals stated by the designer and share feedback through annotations. © 2015 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Dynamic-programming-Based Method for Fixation-to-Word Mapping 7th

引用

7th KES international conference on Intelligent Decision Technologies (KES-IDT)

作者： Yamaya, Akito Topic, Goran Martinez-Gomez, Pascual Aizawa, Akiko Univ Tokyo Bunkyo Ku 7-3-1 Hongo Tokyo 1138654 Japan Natl Inst Informat Tokyo 1018430 Japan

ISBN: (纸本)9783319198576;9783319198569

Eye movements made when reading text are considered to be important clues for estimating both understanding and interest. To analyze gaze data captured by the eye tracker with respect to a text, we need a noise-robust mapping between a fixation point and a word in the text. In this paper, we propose a dynamic-programming-based method for effective fixation-to-word mappings that can reduce the vertical displacement in gaze location. the golden dataset is created using FixFix, our web-based manual annotation tool. We first divide the gaze data into a number of sequential reading segments, then attempt to find the best segment-to-line alignment. To determine the best alignment, we select candidates for each segment, and calculate the cost based on the length characteristics of both the segment and document lines. We compare our method with the naive mapping method, and show that it is capable of producing more accurate fixation-to-word mappings.

关键词： Eye tracking research Error correction Fixation-to-word mapping Segment-to-line alignment Dynamic programming FixFix

来源：评论

学校读者我要写书评

暂无评论

Integer programming Based Stable and Efficiency Algorithm for Two-sided Matching with Indifferences 7th

Integer Programming Based Stable and Efficiency Algorithm fo...

引用

7th international conference on Computational Collective Intelligence (ICCCI)

作者： Ohta, Naoki Ritsumeikan Univ Coll Informat Sci & Engn Kusatsu Shiga 5258577 Japan

ISBN: (纸本)9783319240695;9783319240688

To make use of collective intelligence of many autonomous self-interested agents, it is important to form a team that all the agents agree. Two-sided matching is one of the basic approaches to form a team that consists of agents from two disjoint agent groups. Traditional two-sided matching assumes that an agent has totally ordered preference list of agents to be paired with. However, it is unrealistic to have a totally ordered list for a large-scale two-sided matching problem. therefore, two-sided matching with indifferences is proposed. It allows indifferences in the preference list of agents. Two-sided matching with indifferences has two important characters weakly stable and Pareto efficiency. In this paper, we propose a new integer programming based algorithm "nucleolus" for two-sided matching with indifferences. this algorithm propose the matching which satisfies weakly stable and Pareto efficiency.

关键词： Multi-agent system Two-sided matching Integer programming

来源：评论

学校读者我要写书评

暂无评论

User Oriented Approach to Website Navigation Concept Using Mathematical Model 7

User Oriented Approach to Website Navigation Concept Using M...

引用

7th international conference on Computational Intelligence and Communication Networks (CICN)

作者： thorat, Shalaka S. More, Priyanka GS Moze Coll Engn Dept Comp Engn Pune 411045 Maharashtra India

ISBN: (纸本)9781509000760

Web sites are most effective when they meet both the contents and usability needs of their users. Due to tremendous growth of web application, it increases the complexity of web applications and web navigation. Website design is easy task but, to navigate user efficiently is big challenge, one of the reason is user behavior is keep changing and web developer or designer not think according to user's behavior. Designing well-structured websites to facilitate effective user navigation patterns has long been a challenge in web usage mining with various applications like navigation prediction and improvement of website management. Different methods have been proposed to reorganize WebPages to improve users navigation using users navigation data but it still causes disorienting users and increases user's cognitive load. there is a need to improve the efficiency and the performance of a website for effective user navigation. through this Paper we will propose Mathematical programming model to improve user navigation while minimizing alteration to current structure. Optimal solution can be very quickly obtained. We are minimizing unnecessary changes to the present structure of a Web site and hence can be applied for Web site maintenance on a regular basis.

关键词： Mathematical programming model mini session Path threshold user navigation web mining

来源：评论

学校读者我要写书评

暂无评论

ASP, Amalgamation, and the conceptual blending workflow 13th

引用

13th international conference on Logic programming and Nonmonotonic Reasoning, LPNMR 2015

作者： Eppe, Manfred Maclean, Ewen Confalonieri, Roberto Kutz, Oliver Schorlemmer, Marco Plaza, Enric IIIA-CSIC Barcelona Spain University of Edinburgh Edinburgh United Kingdom Free University of Bozen-Bolzano Bolzano Italy International Computer Science Institute Berkeley United States

ISBN: (纸本)9783319232638

We present a framework for conceptual blending – a concept invention method that is advocated in cognitive science as a fundamental, and uniquely human engine for creative thinking. Herein, we employ the search capabilities of ASP to find commonalities among input concepts as part of the blending process, and we show how our approach fits within a generalised conceptual blending workflow. Specifically, we orchestrate ASP with imperative Python programming, to query external tools for theorem proving and colimit computation. We exemplify our approach with an example of creativity in mathematics. © Springer international Publishing Switzerland 2015.

关键词： Blending

来源：评论

学校读者我要写书评

暂无评论

Criticality-Aware Dynamic Task Scheduling for Heterogeneous Architectures 15

Criticality-Aware Dynamic Task Scheduling for Heterogeneous ...

引用

29th ACM international conference on Supercomputing (ICS)

作者： Chronaki, Kallia Rico, Alejandro Badia, Rosa M. Ayguade, Eduard Labarta, Jesus Valero, Mateo Barcelona Supercomp Ctr Barcelona Spain CSIC Artificial Intelligence Res Inst IIIA Barcelona Spain Univ Politecn Cataluna BarcelonaTech Barcelona Spain

ISBN: (纸本)9781450335591

Current and future parallel programming models need to be portable and efficient when moving to heterogeneous multi-core systems. OmpSs is a task-based programming model with dependency tracking and dynamic scheduling. this paper describes the OmpSs approach on scheduling dependent tasks onto the asymmetric cores of a heterogeneous system. the proposed scheduling policy improves performance by prioritizing the newly-created tasks at runtime, detecting the longest path of the dynamic task dependency graph, and assigning critical tasks to fast cores. While previous works use profiling information and are static, this dynamic scheduling approach uses information that is discoverable at runtime which makes it implementable and functional without the need of an oracle or profiling. the evaluation results show that our proposal outperforms a dynamic implementation of Heterogeneous Earliest Finish Time by up to 1.15x, and the default breadth-first OmpSs scheduler by up to 1.3x in an 8-core heterogeneous platform and up to 2.7x in a simulated 128-core chip.

关键词： High performance computing Scheduling Heterogeneous systems Task-based programming models

来源：评论

学校读者我要写书评

暂无评论

Life without implicit casts-safe type system in C++ 15

Life without implicit casts-safe type system in C++

引用

7th Balkan conference in Informatics, BCI 2015

作者： Baráth, Áron Porkoláb, Zoltán Department of Programming Languages and Compilers Faculty of Informatics Eötvös Loránd University Budapest Hungary

ISBN: (纸本)9781450333351

this paper contains the findings about our ongoing research to make safe type system in C++ to avoid unwanted implicit casts. Our related research revealed vulnerabilities in current mainstream programming languages, and gave recommendations for coding styles and designing a new programming language. the C++ language allows implicit conversions between basic built-in types as well as user-defined types with conversion operators and implicit constructors. this feature is occasionally used, but in most of the cases is a harmful construction. To avoid the unwanted implicit casts, we introduce a new wrapper template class which hides the wrapped concrete type (which usually is a basic type), and automatically defines the required constructors and operators. the wrapper can also be used with various user-defined types. In this paper we present some code snippets, which use our wrapper class to eliminate implicit casts. through the examples, we show the advantages of our approach, confirming with the experiences of other languages without implicit casts. © 2015 ACM.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 139 140 141 142 143 144 145 146 147 148 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：