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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

2,402 篇 工学
- 1,899 篇 计算机科学与技术...
- 1,155 篇 软件工程
- 418 篇 电气工程
- 270 篇 控制科学与工程
- 199 篇 信息与通信工程
- 128 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 45 篇 化学工程与技术
- 41 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
676 篇 理学
- 485 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 74 篇 生物学
- 51 篇 化学
403 篇 管理学
- 338 篇 管理科学与工程(可...
- 149 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 103 篇 教育学
71 篇 医学
- 46 篇 临床医学
- 36 篇 基础医学(可授医学...
64 篇 经济学
- 64 篇 应用经济学
40 篇 法学
22 篇 文学
12 篇 农学
9 篇 艺术学
3 篇 军事学

主题

309 篇 linear programmi...
251 篇 programming
187 篇 dynamic programm...
142 篇 computer program...
119 篇 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,494 篇 英文
82 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3605 条记录，以下是1921-1930 订阅

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

详细简洁

排序：

On a linear programming approach to the discrete Willmore boundary value problem and generalizations

On a linear programming approach to the discrete Willmore bo...

引用

7th international conference on Curves and Surfaces, Curves and Surfaces 2010

作者： Schoenemann, thomas Masnou, Simon Cremers, Daniel Center for Mathematical Sciences Lund University Sweden Université Lyon 1 CNRS UMR 5208 Institut Camille Jordan Villeurbanne France Department of Computer Science Technical University of Munich Garching Germany

ISBN: (纸本)9783642274121

We consider the problem of finding (possibly non connected) discrete surfaces spanning a finite set of discrete boundary curves in the three-dimensional space and minimizing (globally) a discrete energy involving mean curvature. Although we consider a fairly general class of energies, our main focus is on the Willmore energy, i.e. the total squared mean curvature. Most works in the literature have been devoted to the approximation of a surface evolving by the Willmore flow and, in particular, to the approximation of the so-called Willmore surfaces, i.e., the critical points of the Willmore energy. Our purpose is to address the delicate task of approximating global minimizers of the energy under boundary constraints. the main contribution of this work is to translate the nonlinear boundary value problem into an integer linear program, using a natural formulation involving pairs of elementary triangles chosen in a pre-specified dictionary and allowing self-intersection. the reason for such strategy is the well-known existence of algorithms that can compute global minimizers of a large class of linear optimization problems, however at a significant computational and memory cost. the case of integer linear programming is particularly delicate and usual strategies consist in relaxing the integral constraint x ∈ {0,1} into x ∈ [0,1] which is easier to handle. Our work focuses essentially on the connection between the integer linear program and its relaxation. We prove that: One cannot guarantee the total unimodularity of the constraint matrix, which is a sufficient condition for the global solution of the relaxed linear program to be always integral, and therefore to be a solution of the integer program as well;Furthermore, there are actually experimental evidences that, in some cases, solving the relaxed problem yields a fractional solution. these facts indicate that the problem cannot be tackled with classical linear programming solvers, but only with pure integer linea

关键词： Boundary value problems

来源：评论

学校读者我要写书评

暂无评论

An adaptive driver alert system making use of implicit sensing and notification techniques

An adaptive driver alert system making use of implicit sensi...

引用

7th international ICST conference on Mobile and Ubiquitous Systems, MobiQuitous 2010

作者： Beyer, Gilbert Bertolotti, Gian Mario Cristiani, Andrea Al Dehni, Shadi Programming and Software Engineering Ludwig-Maximilians-University Munich Oettingenstr. 67 80538 Munich Germany Dip. Informatica e Sistemistica Università di Pavia Via Ferrata 1 27100 Pavia Italy

ISBN: (纸本)9783642291531

In this paper we present an adaptive driver alert system that uses passive techniques for extracting psycho-physiological features from the user, and a head-up display actuator that hands preprocessed information about the driving behavior back to the user. the paper starts with background information on driver inattentiveness. that followed we present our conception of an adaptive loop with a view to improve the driver's attention. We give an overview on current research on sensor and actuator techniques that support our adaptation strategy attaining data about user drowsiness and distraction. then we describe a suitable hardware and software solution for the proposed system, using a head-up display and vision-based sensor techniques. We close describing first tests of our system in the lab and road tests with a Ferrari car. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Computer vision

来源：评论

学校读者我要写书评

暂无评论

Joint congestion control and routing subject to dynamic interruptions in cognitive radio networks

Joint congestion control and routing subject to dynamic inte...

引用

international conference on Cognitive Radio Oriented Wireless Networks and Communications

作者： Husheng Li Lijun Qian Department of EECS University of Tennessee Knoxville TN USA Department of ECE Texas A and M University Prairie View TX USA Department of ECE Prairie View A and M University Prairie View TX USA

Cognitive radio networks suffer from dynamic interruptions from primary users. the joint congestion control and routing are tackled using stochastic control techniques. Centralized dynamic programming is applied for the primal optimization, which provides a performance upper bound. Q-learning is applied when the primary user knowledge is unknown. Dual optimization based decomposition is used to decentralize the stochastic control. A heuristic scheme based on the limited lookahead policy (LLP) and binary pricing is proposed to tackle the prohibitive difficulty in the dual optimization. Numerical simulation shows that the proposed algorithms achieve the optimal or near-optimal performance.

关键词： Routing Cognitive radio Optimization Pricing Dynamic programming Joints Stochastic processes

来源：评论

学校读者我要写书评

暂无评论

Anisotropic Mechanical and thermal Properties of Nd₂SrAl₂O₇

Anisotropic Mechanical and Thermal Properties of Nd<sub>2</s...

引用

7th China international conference on High-Performance Ceramics (CICC 7)

作者： Feng, J. Huang, Z. C. Zhou, R. Pan, W. Kunming Univ Sci & Technol Dept Mat Sci & Engn Kunming 650093 Peoples R China Tsinghua Univ Dept Mat Sci & Engn State Key Lab New Ceram & Fine Processing Beijing 100084 Peoples R China

ISBN: (纸本)9783037854259;9783038138396

For a long time since the anisotropy basically confined to a single crystal, used as a polycrystalline ceramic materials generally considered to be isotropic. In this paper, the anisotropic mechanical, thermal expansion coefficient and thermal conductivity of a double perovskite slab-rocksalt layer Nd2SrAl2O7 was studied by first principles as an example. the method is using density functional theory (DFT) and crystal parameters, which has been used to calculate the modulus of elasticity of anisotropic in a three-dimensional space. While combined with traditional thermal conductivity theory, we have obtained the tensor of thermal diffusion, thermal conductivity in 3D space for the first time in the world within no. the results are in good agreement with the experiment. the advantage of method is avoiding the difficulty of experimental measurement, reducing the time and obtaining relatively accurate results.

关键词： Ceramics thermal expansion Elastic modulus thermal conductivity

来源：评论

学校读者我要写书评

暂无评论

Mobile devices in computer programming lectures: Are CS lecturers prepared for mobile learning?

Mobile devices in computer programming lectures: Are CS lect...

引用

international conference on Computer Science & Education (ICCSE)

作者： Wafaa Alsaggaf Margaret Hamilton James Harland School of Computer Science and Information Technology RMIT University Melbourne Australia

ISBN: (纸本)9781467302418

Mobile learning represents a paradigm shift in the delivery of curricula in higher education. Hand held or mobile devices make use of immediacy, and engage with the problems as they are set. Based partly on students' interest in technology, universities are adapting to take advantage of these changes, especially in computer-based disciplines. By using mobile devices, computer science students can enhance their learning experience. this study concerns computer science lecturers' attitudes towards using mobile technology during programming lectures. Interviews were conducted with instructors who teach programming courses to explore their views on integrating these learning tools into the lecture. the research found that the issues raised by the study participants were not fundamental to their acceptance of such technology. However, the lecturers' positive attitudes towards change were not reflected in their classroom practices. Two findings are discussed: factors affecting educators' willingness to integrate mobile learning as a delivery system during lectures and factors that influence successful integration of such devices into the learning environment for programming courses. Further, the identified factors were classified into two main themes: personal attitudes and curricular issues. this research argues that instructors' acceptance of mobile devices as a learning aid during programming lectures underpins adoption.

关键词： Mobile communication Mobile handsets programming profession Education Computers

来源：评论

学校读者我要写书评

暂无评论

Comparison of Fuzzy Functions for Low Quality Data GAP Algorithms

引用

7th international conference on Hybrid Artificial Intelligent Systems (HAIS)

作者： de la Cal, Enrique Villar, Jose R. Garcia-Tamargo, Marco Sedano, Javier Univ Oviedo Dept Comp Sci Campus Viesques S-N Gijon 33204 Spain Inst Tecnol Castilla Leon Burgos 09001 Spain

ISBN: (纸本)9783642289309;9783642289316

the undesired effects of data gathered from real world can be produced by the noise in the process, the bias of the sensors and the presence of hysteresis, among other uncertainty sources. Data gathered by this way are called Low Quality Data (LQD). thus, uncertainty representation tools are needed for using in learning models with this kind of data. this work presents a method to represent the uncertainty and an approach for learning white box Equation Based Models (EBM). the proficiency of the representations with different noise levels and fitness functions typology is compared. the numerical results show that the use of the described objectives improves the proficiency of the algorithms. It has been also proved that each meta-heuristic determines the typology of fitness function.

关键词： Low Quality Data Simulated Annealing Genetic programming Algorithm Equation Based Model

来源：评论

学校读者我要写书评

暂无评论

Semiring-based constraint models and frameworks for security-related scenarios

Semiring-based constraint models and frameworks for security...

引用

international conference on Risks and Security of Internet and Systems, CRiSIS

作者： Stefano Bistarelli Francesco Santini Dipartimento di Matematica e Informatica Università di Perugia S Lucia Canetola Perugia Italy Centrum Wiskunde and Informatica Amsterdam Netherlands

Semiring-based constraint models and frameworks have been extensively used in literature to optimize different security-related metrics, in order to represent trust scores, levels of security and, in general, quantitative information on shared resources to be securely managed. In this tutorial, we summarize four approaches that show an application of these formal models to different security-related problems, as Access Control List-like rights, policy-based access with weighted credentials, propagation of trust on trust-networks, and the cascade vulnerability problem.

关键词： programming Tutorials Measurement Cognition Access control

来源：评论

学校读者我要写书评

暂无评论

Pure Type Systems with Corecursion on Streams From Finite to Infinitary Normalisation

Pure Type Systems with Corecursion on Streams From Finite to...

引用

17th ACM SIGPLAN international conference on functional programming

作者： Severi, Paula de Vries, Fer-Jan Univ Leicester Dept Comp Sci Leicester LE1 7RH Leics England

In this paper, we use types for ensuring that programs involving streams are well-behaved. We extend pure type systems with a type constructor for streams, a modal operator next and a fixed point operator for expressing corecursion. this extension is called Pure Type Systems with Corecursion (CoPTS). the typed lambda calculus for reactive programs defined by Krishnaswami and Benton can be obtained as a CoPTS. CoPTSs allow us to study a wide range of typed lambda calculi extended with corecursion using only one framework. In particular, we study this extension for the calculus of constructions which is the underlying formal language of Coq. We use the machinery of infinitary rewriting and formalise the idea of well-behaved programs using the concept of infinitary normalisation. the set of finite and infinite terms is defined as a metric completion. We establish a precise connection between the modal operator (center dot A) and the metric at a syntactic level by relating a variable of type (center dot A) with the depth of all its occurrences in a term. this syntactic connection between the modal operator and the depth is the key to the proofs of infinitary weak and strong normalisation.

关键词： Typed lambda calculus modal operator recursion streams infinitary normalisation

来源：评论

学校读者我要写书评

暂无评论

Uniform illumination over a square target-surface using LED arrangements

Uniform illumination over a square target-surface using LED ...

引用

international conference on Industrial and Information Systems, ICIIS

作者： Gururaj S. Punekar K. Suhas Pratap Singh Yadav Ritabrata Bhattacharya Madhav Shekar Associate Prof. : Dept. of Electrical and Electronics Engg. NITK Surathkal Mangalore India Students: Dept. of Electrical and Electronics Engg. NITK Surathkal Mangalore India

this document intends to present a study of configurations for the uniform illumination over a square-target-surface (of task-lighting dimensions) using power LEDs. A particular application of this is the illumination of a carrom board. A lighting scheme involving a distributed arrangement of LEDs that provides a near-uniform illumination level for a given height, is proposed. the optimized parameters for the variables in the arrangement are obtained by the use of MATLAB functions for optimization. the existing lighting system for the illumination of the carrom boards at NITK Surathkal is measured and compared with the proposed arrangement.

关键词： Lighting Light emitting diodes Optimization MATLAB Linear programming Light sources Standards

来源：评论

学校读者我要写书评

暂无评论

Jointly optimal sensing and resource allocation for multiuser interweave cognitive radios

Jointly optimal sensing and resource allocation for multiuse...

引用

international conference on Cognitive Radio Oriented Wireless Networks and Communications

作者： Luis M. Lopez-Ramos Antonio G. Marques Javier Ramos Department of Signal Theory and Communications King Juan Carlos University Madrid Spain

Successful deployment of cognitive radios requires efficient sensing of the spectrum and dynamic adaptation of the available resources according to the sensed (imperfect) information. While most works design these two tasks separately, in this paper the sensing and resource allocation schemes are designed jointly. We investigate an interweave CR with multiple secondary users that access orthogonally a set frequency bands originally devoted to primary users. the schemes are designed to optimize the performance of the secondary users while limiting the “probability of interfering” the primary users. the joint design is addressed using dynamic programming and nonlinear optimization techniques. A two-step strategy that first finds the optimal resource allocation for any sensing scheme and then uses that solution as input to solve for the optimal sensing policy is implemented. the two-step strategy is optimal and entails a computational complexity much lower than that required to solve the original formulation.

关键词： Sensors Joints Interference Resource management Dynamic programming Optimization Vectors

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 189 190 191 192 193 194 195 196 197 198 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：