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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

2,402 篇 工学
- 1,900 篇 计算机科学与技术...
- 1,151 篇 软件工程
- 418 篇 电气工程
- 270 篇 控制科学与工程
- 199 篇 信息与通信工程
- 128 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 交通运输工程
- 55 篇 材料科学与工程（可...
- 51 篇 生物工程
- 45 篇 化学工程与技术
- 41 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
674 篇 理学
- 485 篇 数学
- 104 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 74 篇 生物学
- 50 篇 化学
404 篇 管理学
- 339 篇 管理科学与工程(可...
- 149 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 102 篇 教育学
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...
64 篇 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,430 篇 英文
144 篇 其他
28 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3603 条记录，以下是1911-1920 订阅

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

详细简洁

排序：

A programming education-support PSE system to programming competition

A programming education-support PSE system to programming co...

引用

international conference on Computer Sciences and Convergence Information Technology (ICCIT)

作者： Takayuki Teramoto Atsushi Onishi Shigeo Kawata Department of Electronics and Computer Engineering Tsuyama National College of Technology Tsuyama Okayama Japan Department of Advanced Interdisciplinary Sciences Utsunomiya University Utsunomiya Japan

ISBN: (纸本)9781467308946

the programming education is very important in technical colleges, universities and enterprises. We have developed a problem solving environment (PSE) for the education and learning support: TSUNA-TASTE [T. Teramoto, et al., J. Convergence Information Tech., Vol. 5, no. 4, pp. 216-224, 2010]. the TSUNA-TASTE system has a framework to make various programming systems. In this paper we propose and develop a new subsystem of a Procon(Proguraming Contest) Competition Section in Japan. the TSUNA-TASTE may open a new possibility of helpful computer language education.

关键词： programming Education programming Competition PSE (Problem Solving Environment) programming EDUCATION programming Education technical college Companies Computer programming Languages

来源：评论

学校读者我要写书评

暂无评论

IIS-guided DFS for efficient bounded reachability analysis of linear hybrid automata

IIS-guided DFS for efficient bounded reachability analysis o...

引用

7th international Haifa Verification conference, HVC 2011

作者： Bu, Lei Yang, Yang Li, Xuandong State Key Laboratory for Novel Software Technology Nanjing University 210093 Nanjing Jiangsu China

ISBN: (纸本)9783642341878

In the authors' previous work, we proposed a linear programming (LP) based approach to check the reachability specification along one abstract path in a linear hybrid automaton (LHA) at a time by translating the reachability problem into the satisfiability problem of a linear constraint set. then a depth-first-search (DFS) is deployed on the graph structure of the LHA to check all the paths with length in the threshold to answer the question of bounded reachability. In this DFS-style bounded model checking (BMC) algorithm, once a path is found to be infeasible by the underlying LP solver, a backtracking on the graph structure will be conducted. Clearly, the efficiency of the algorithm depends on the accuracy of the backtracking. If the DFS can backtrack to the most reasonable location, the state space need to search and verify can be reduced significantly. Fortunately, once a linear constraint set is judged to be unsatisfiable, the irreducible infeasible set (IIS) technique can be deployed on the unsatisfiable constraint set to give a quick analysis and find a small set of constraints which makes the whole program unsatisfiable. In this paper, we adopt this technique into our DFS-style BMC of LHA to locate the nodes and transitions which make the path under verification infeasible to guide the backtracking and answer the bounded reachability of LHA more efficiently. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Monitoring compliance and elastic modulus in a bioreactor for optimal control of vascular tissue growth

Monitoring compliance and elastic modulus in a bioreactor fo...

引用

7th international conference on Processing and Manufacturing of Advanced Materials, thERMEC'2011

作者： Couet, Frédéric Meghezi, Sébastien Levesque, Lucie Mantovani, Diego Dept Materials Engineering and Research Centre Laval University Quebec University Hospital Quebec City G1K 7P4 Canada

ISBN: (纸本)9783037853047

functional vascular tissue engineering aims to produce blood vessels in vitro in a controlled environment named bioreactor. In order to control the growth and remodeling of vascular tissues, suitable measurements should be made on the construct in situ, i.e. during the growth. these measurements will feed the controller with information in order to take efficient control decisions. the non-destructive measurement of compliance or elastic modulus in vitro is a potential indicator of the vascular construct maturity. this work shows that compliance and elastic modulus are related: they can be estimated during the growth of constructs in a bioreactor, and thus provide useful feedback information to the controller. © (2012) Trans Tech Publications, Switzerland.

关键词： Bioreactors

来源：评论

学校读者我要写书评

暂无评论

Designing scalable and effective decision support for mitigating attacks in large enterprise networks

Designing scalable and effective decision support for mitiga...

引用

7th international ICST conference on Security and Privacy in Communication Networks, SecureComm 2011

作者： Qian, Zhiyun Mao, Z. Morley Rayes, Ammar Jaffe, David University of Michigan Ann Arbor MI 48105 United States Cisco Systems Inc. San Jose CA 95134 United States

ISBN: (纸本)9783642319082

Managing numerous security vulnerabilities has long been a difficult and daunting task especially due to the complexity, heterogeneity, and various operational constraints of the network. In this paper, we focus on the task of mitigating and managing network-device-specific vulnerabilities automatically and intelligently. We achieve the goal by a scalable, interactive, topology-aware framework that can provide mitigation actions at selectively chosen devices. the intuition behind our work is that more and more network devices are becoming security-capable so that they can be collectively used to achieve security goals while satisfying certain network policies. the intelligence utilizes integer programming to optimize a quantifiable objective conforming to the policy of a given network. An example would be to find the minimum number of network devices to install filters to effectively protect the entire network against potential attacks from external untrusted sources. the constraints of the integer programming are mainly based on the network topology and settings of vulnerable devices and untrusted sources. Our novel implementation uses an iterative algorithm to scale to networks of tens of thousands of nodes, and we demonstrate the effectiveness of our framework using both synthetic and realistic network topologies. Besides scalability, our tool is also operationally easy to use by enabling interactivity to input additional constraints during run-time. © 2012 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Access to mobile learning for novice programmers via social networking sites

Access to mobile learning for novice programmers via social ...

引用

international conference on Computer Science & Education (ICCSE)

作者： Mercy Maleko Margaret Hamilton Daryl D'Souza School of CS & IT RMIT University Melbourne Australia

ISBN: (纸本)9781467302418

Mobile devices are fast being realised as tools to facilitate increased interaction among learners and improve engagement with subject material. We report results of a survey of students in their early stages of learning programming, about their perceptions of the use of mobile devices for accessing social networking sites for discussions, chats, brainstorming, and accessing designated learning materials uploaded to support their learning of programming. Students from three universities were surveyed, involving three distinct delivery contexts: traditional face-to-face; blended; and fully online. Our findings include among other things that instant access to discussions, increased interactions, instant feedback in a student-student context, and the ability to share ideas and views anytime, anywhere, were just some of the perceived advantages of using mobile devices and social networking sites for learning programming.

关键词： programming Mobile handsets Facebook Educational institutions Portable computers Media

来源：评论

学校读者我要写书评

暂无评论

RNA secondary structure comparison based on dynamic programming

RNA secondary structure comparison based on dynamic programm...

引用

international conference on Computer Sciences and Convergence Information Technology (ICCIT)

作者： Hao Zhang Zhi Li Yuanning Liu Yanpu Li Yunna Duan Dong Xu College of Computer Science and Technology Jilin University China College of Applied Technique Changchun University of Science and Technology China Computer Science Dept Life Sciences Center University of Missouri USA

ISBN: (纸本)9781467308946

Traditional description methods of RNA secondary structure could lead higher complexity of time in RNA structure comparison. this article offers a vector method of describing RNA secondary structure. then, we compare RNA secondary structures tree by dynamic programming and those structures come from NA segments of highly pathogenic H5N1 virus. It is superior to the method of minimum free energy on time complexity. And it shows RNAs hold higher similar structure when they hold stronger pathogenicity, which could be a good guide for biological experiments.

关键词： H5N1 RNA secondary structure dynamic programming vector tree

来源：评论

学校读者我要写书评

暂无评论

Unobtrusive ambulatory estimation of knee joint angles during walking using gyroscope and accelerometer data - A preliminary evaluation study

Unobtrusive ambulatory estimation of knee joint angles durin...

引用

IEEE-EMBS international conference on Biomedical and Health Informatics, BHI 2012. In Conj. with the 8th Int. Symp.on Medical Devices and Biosensors and the 7th Int. Symp. on Biomedical and Health Engineering

作者： Schulze, Mareike Liu, Tsung-Han Xie, Jiang Zhang, Wu Wolf, Klaus-Hendrik Calliess, Tilman Windhagen, Henning Marschollek, Michael Hannover Medical School Peter L. Reichertz Institute for Medical Informatics Carl-Neuberg-Str. 1 30625 Hannover Germany Technische Universität Braunschweig Peter L. Reichertz Institute for Medical Informatics Mühlenpfordtstr. 23 38116 Braunschweig Germany School of Computer Engineering and Science No. 149 Yanchang Rd 200072 Shanghai China Orthopädische Klinik und Poliklinik Medizinischen Hochschule Hannover Klinik Im Annastift e.V. Anna-von-Borries-Str. 1-7 30625 Hannover Germany

ISBN: (纸本)9781457721779

Osteoarthritis has the highest prevalence in the elderly population, with a rising tendency. Currently often special gait labs are used for objective diagnostic assessment of functional motion deficits or treatment outcome, e.g in patients suffering from gonarthrosis. the artificial lab setting and short measurement periods affect the explanatory power of this method. Inertial multi-sensor systems in contrast allow for monitoring human gait independent of a lab setting. However, recent approaches concerning important knee function parameter analyses have not been validated for long-term monitoring yet. © 2012 IEEE.

关键词： Diagnosis

来源：评论

学校读者我要写书评

暂无评论

Exploration Strategy Related Design Considerations of WSN-Aided Mobile Robot Exploration Teams

Exploration Strategy Related Design Considerations of WSN-Ai...

引用

7th international conference on Intelligent Computing (ICIC)

作者： Tuna, Gurkan Gulez, Kayhan Gungor, Vehbi Cagri Mumcu, Tarik Veli Trakya Univ Vocat Coll Tech Sci Dept Comp Programming Edirne Turkey Yildiz Tech Univ Elect Elect Engn Fac Dept Automat Control Istanbul Turkey Bahcesehir Univ Fac Engn Dept Comp Engn Istanbul Turkey

ISBN: (纸本)9783642259432

this paper presents a novel approach to mobile robot exploration. In this approach, mobile robots send their local maps to the central controller and coordinate with each other using a wireless sensor network (WSN). Different from existing rendezvous point-based exploration strategies, the use of a WSN as the communication media allows quick and cost-effective exploration and mapping of an unknown environment. Overall, this paper introduces WSN-aided mobile robot exploration strategy and shows comparative performance evaluations using the Player/Stage simulation platform. Here, our main goal is to present potential advantages of WSN-aided mobile robot exploration for Simultaneous Localization and Mapping (SLAM).

关键词： Mobile Robot Exploration Teams WSNs Exploration Strategy Player/Stage

来源：评论

学校读者我要写书评

暂无评论

Towards parsimonious resource allocation in context-aware n-version programming

Towards parsimonious resource allocation in context-aware n-...

引用

7th IET international conference on System Safety, incorporating the Cyber Security conference 2012

作者： Jonas Buys Vincenzo De Florio Chris Blondia Department of Mathematics and Computer Science University of Antwerp Antwerp Belgium

Adopting classic redundancy-based fault-tolerant schemes in highly dynamic distributed computing systems does not necessarily result in the anticipated improvement in dependability. this primarily stems from statically predefined redundancy configurations employed within many classic dependability strategies, which as well known may negatively impact the schemes' overall effectiveness. In this paper, a novel dependability strategy is introduced encompassing advanced redundancy management, aiming to autonomously tune its internal configuration in function of disturbances observed. Policies for parsimonious resource allocation are presented thereafter, intent upon increasing the scheme's cost effectiveness without breaching its availability objective. Our experimentation suggests that the suggested solution can achieve a substantial improvement in availability, compared to traditional, static redundancy strategies, and that tuning the adopted degree of redundancy to the actual observed disturbances allows unnecessary resource expenditure to be reduced, therefore enhancing cost-effectiveness.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：