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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

2,403 篇 工学
- 1,901 篇 计算机科学与技术...
- 1,151 篇 软件工程
- 419 篇 电气工程
- 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
185 篇 dynamic programm...
142 篇 computer program...
119 篇 integer programm...
116 篇 optimization
109 篇 logic programmin...
87 篇 genetic programm...
83 篇 functional progr...
73 篇 computational mo...
68 篇 object oriented ...
66 篇 programming prof...
64 篇 parallel program...
56 篇 software enginee...
54 篇 costs
51 篇 mathematical mod...
48 篇 computer program...
47 篇 heuristic algori...
42 篇 quadratic progra...
42 篇 artificial intel...

机构

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,431 篇 英文
144 篇 其他
28 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3604 条记录，以下是1851-1860 订阅

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

详细简洁

排序：

pBot: An active and accelerated introduction to programming using mobile devices

pBot: An active and accelerated introduction to programming ...

引用

7th IASTED international conference on Human-Computer Interaction, HCI 2012

作者： Ray, Andrew A. Radford University 801 E. Main Street Radford VA 24142 United States

ISBN: (纸本)9780889869202

In this paper, we describe a new approach for introducing the principles of programming to students. Students in introductory CS courses (CS0/CS1) often have minimal exposure to or experience with programming and may struggle for weeks while creating their initial programs. We present a tool called pBot, which is designed to provide a guided and highly interactive introduction to programming. pBot consists of a custom teaching language, an IDE designed for iPod touches, and a simulator that allows for a robot to explore and manipulate its world. this paper deals with motivation for creating pBot, its features, how it has been used in our introductory classes, and feedback we have received on its use.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

A Taxonomy of Time and State Attacks

A Taxonomy of Time and State Attacks

引用

7th international conference on Availability, Reliability and Security (ARES)

作者： Corcalciuc, Horia V. Univ Birmingham Sch Comp Sci Birmingham B15 2TT W Midlands England

ISBN: (纸本)9780769547756

Software classifications have been created with the purpose of keeping track of attack patterns as well as providing a history of incidents for software packages. this article focuses on one single class of such attacks, conventionally known as "Time and State" attacks. We offer a method of analyzing the anatomy of such attacks by reasoning about vulnerabilities using "swimlane" diagrams annotated with some semantics of concurrent programming, such as the notions of traces and stability. We summarize our conclusions with a taxonomy based on abstraction layers, implying thereby some form of tree hierarchy where vulnerabilities inherit properties from the upper layers and share code-level flaws on the lower layers. this approach allows us to classify attacks by what they share in common, which is different from other classification attempts.

关键词： Parallel programming Software packages INCIDENTS Semantics Reasoning attack pattern

来源：评论

学校读者我要写书评

暂无评论

A Necessary Condition for Optimality in Multi Objective programming under Inclusion Constraints

A Necessary Condition for Optimality in Multi Objective Prog...

引用

7th international conference on MEMS, NANO and Smart Systems (ICMENS 2011)

作者： Shen Jinxing Guangdong Polytech Normal Univ Guanzhou Coll Comp Sci Guangzhou 510665 Guangdong Peoples R China

ISBN: (纸本)9783037853122

Optimality conditions for multi objective programming problems have been studied extensively in the literature. A necessary condition for Pareto optimality is derived by reducing the multi objective programming under inclusion constraints to systems of single objective problem and then using known results of them. the result is reasonable and efficient. Our aim in this paper is to get the optimality condition of problem (MOP) by a lemma which helps reducing multi objective optimality problem to systems of single objective ones.

关键词： Multi objective (single objective) programming inclusion constraints optimality condition support function Pareto optimum

来源：评论

学校读者我要写书评

暂无评论

Parallel sparse matrix multiplication for preconditioning and SSTA on a many-core architecture

Parallel sparse matrix multiplication for preconditioning an...

引用

2012 IEEE 7th international conference on Networking, Architecture and Storage, NAS 2012

作者： Zhang, Keliang Wu, Baifeng School of Computer Science Fudan University No. 825 Zhang Heng Road Shanghai 201203 China

ISBN: (纸本)9780769547220

Operations related to Sparse matrix multiplication are frequently used in scientific computing area, and these operations usually become a performance bottleneck because of their high operational complexity. For example, sparse matrix multiplying diagonal matrix (CS) is a key sub-procedure in preconditioning, and sparse matrix multiplying one-dimension block diagonal matrix (BCS) is a key sub-procedure for statistical static timing analysis (SSTA) without slope propagation based on sparse matrix framework. Although ELLH format along with its variant is suited to many-core architecture for spare matrix multiplying vector (SpMV) operation, for CS operation it leads to large amount of memory access due to accessing the column index matrix, for BCS operation it not only leads to larger amount of memory access, but also brings high computational complexity during parallel programming due to the complex data denpendencies among matrix elements. this paper presents a new sparse format (named ELLV format). For CS operation, the number of memory access can be reduced by half because of no requirement of accessing the matrix for column index. Experiment result shows that with our ELLV format the performance of CS operation can be improved by 15% versus with ELLH format. For BCS operation, due to consistency of column index between the logical matrices and the physical matrices, not only the number of memory access can be reduced more remarkably, but also bring efficient and straightforward parallel programming on a many-core architecture. © 2012 IEEE.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Self-adaptive Genetically Programmed Differential Evolution

Self-adaptive Genetically Programmed Differential Evolution

引用

7th international conference on Electrical and Computer Engineering

作者： Roy, Pravakar Islam, Md Jahidul Islam, Md Monirul Bangladesh Univ Engn & Technol Dept Comp Sci & Engn Dhaka 1000 Bangladesh

ISBN: (纸本)9781467314343;9781467314350

Differential evolution (DE) is a simple and efficient technique for real parameter optimization over continuous spaces. Its success is highly dependent on the choice of correct trial vector generation strategies and control parameters. Choosing appropriate trial vector generation strategies and control parameters for new problems by trial and error method can be computationally costly and inefficient. this paper proposes a hybrid approach, incorporating genetic programming (GP) with DE, where GP generates trial vector generation strategies based on the problem specification and the state of the population using a simple learning method. Trial vector generation strategies are chosen from this pool of strategies generated by GP. the choice of a particular strategy depends on the type of the problem, initialization values and state of evolution. Consequently, the strategies chosen for different run of the same problem are different. However, it allows self-adaptation to be completely problem dependent and as a result for a unknown problem domain the method is expected to perform better than other state-of-the-art self-adaptive evolutionary techniques. In this method, the control parameter F is eliminated and crossover ratio Cr is evolved with the population and population size NP is still fixed empirically. the performance of this method is extensively evaluated using the CEC2005 contest test instances. Experimental results show that, self-adaptive genetically programmed differential evolution (SaGPDE) leads to quick convergence and produce very competitive results.

关键词： Differential evolution genetic programming trial vector generation strategy self-adaptation

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 7th Workshop in Primary and Secondary Computing Education, WiPSCE 2012

Proceedings - 7th Workshop in Primary and Secondary Computin...

引用

7th Workshop in Primary and Secondary Computing Education, WiPSCE 2012

ISBN: (纸本)9781450317870

the proceedings contain 31 papers. the topics discussed include: on the importance of being earnest: challenges in computer science education;is self-efficacy in programming decreasing with the level of programming skills?;concept of an extracurricular learning environment for computer science;uncovering structure behind function the experiment as teaching method in computer science education;agile projects in high school computing education - emphasizing a learners' perspective;conceptual change and epistemological belief framework for web site credibility instruction;how teachers in different educational systems value central concepts of computer science;promoting computational thinking with programming;preparing teachers for teaching informatics: theoretical considerations and practical implications;bringing contexts into the classroom a design-based approach;and information theory on Czech grammar schools: first findings.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Selective encryption algorithm implementation for video call on Skype client

Selective encryption algorithm implementation for video call...

引用

2012 7th international conference on Telecommunication Systems, Services, and Applications, TSSA 2012

作者： Ramdan, Alwi Alfiansyah Munir, Rinaldi Informatics Engineering Bandung Institute of Technology Jl. Ganeca 10 Bandung Indonesia Informatics Research Group Bandung Institute of Technology Jl. Ganeca 10 Bandung Indonesia

ISBN: (纸本)9781467345507

Video calling is one of the widely used method of communicating. Encryption is applied to video call data to keep it secret. Real-time encryption is needed to support real-time communication such as video calling. Selective encryption is present as a solution to this problem. Skype is software that supports video calling. It cannot be ascertained whether Skype communication channel can be eavesdropped or not, since Skype communication protocol is very closed and concealed. Because of skype closed and concealed communication protocol, there is possibility that Skype party can eavesdrop communication in its communication channel. In this paper, we proposed a Skype client application made especially for video calling. Its main objective is to implement a selective encryption algorithm in video calling, especially via Skype. this Skype client is implemented in C++ programming language using Skypekit API from Skype. Testing proved that Skype client built support video calling with minor delay. Selective encryption algorithm is implemented to encrypt video in this Skype client. © 2012 IEEE.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Non-Intrusive Repair of Reactive Programs

Non-Intrusive Repair of Reactive Programs

引用

IEEE 17th international conference on Engineering of Complex Computer Systems (ICECCS)

作者： Harel, David Katz, Guy Marron, Assaf Weiss, Gera Weizmann Inst Sci Dept Comp Sci & Appl Math IL-76100 Rehovot Israel Ben Gurion Univ Negev Dept Comp Sci Beer Sheva Israel

ISBN: (纸本)9782954181004

We show how, under certain conditions, programs written in the behavioral programming approach can be modified (e. g., as result of new requirements or discovered bugs) using automatically-generated code modules. Given a trace of undesired behavior, one can generate a relatively small piece of code, whose execution is interwoven at run time with the rest of the system and brings about the desired changes without modifying existing code, and without introducing new bugs. At the core of our approach is the ability of a thread of behavior to prevent the triggering of events from other threads. Our repair algorithms apply model checking to the program and transform the counterexamples produced by the model-checker into corrective modules. Our work is supported by a proof-of-concept tool, which creates understandable modules that can be further manually managed as part of ongoing incremental system development.

关键词： Program repair verification behavioral programming model checking patching

来源：评论

学校读者我要写书评

暂无评论

A two-stage electronic ballast for HID lamp with flyback PFC

A two-stage electronic ballast for HID lamp with flyback PFC

引用

2012 IEEE 7th international Power Electronics and Motion Control conference - ECCE Asia, IPEMC 2012

作者： Liang, Tsorng-Juu Liao, Hsueh-Ko Chen, Jiann-Fuh Huang, Chien-Ming Lin, Ho-Ta Cheng, Chun-An National Cheng-Kung University Tainan Taiwan Department of Electrical Engineering I-Shou University Taiwan

ISBN: (纸本)9781457720864

this paper presents a two-stage electronic ballast for metal-halide (MH) lamps. the first stage is a single-switch flyback and buck-boost integrated converter. the post stage is a half-bridge inverter driving the MH lamps with low-frequency square-wave current for avoiding acoustic resonance. the operating principle of the proposed topology is discussed. Also, constant power control is realized using the methodology employed for peak inductor current control. Finally, a laboratory prototype of a 70W electronic ballast for MH lamp operated with 200264V input voltage is implemented to verify the feasibility. the measured results illustrate that the harmonic distortion of AC input current satisfies the requirements of the IEC 61000-3-2 Class C standard. © 2012 IEEE.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

Resource-Efficient Designs using an Aspect-Oriented Approach

Resource-Efficient Designs using an Aspect-Oriented Approach

引用

15th IEEE international conference on Computational Science and Engineering (CSE) / 10th IEEE/IFIP international conference on Embedded and Ubiquitous Computing (EUC)

作者： Coutinho, Jose G. F. Bhattacharya, Sujit Luk, Wayne Constantinides, George A. Cardoso, Joao M. P. Carvalho, Tiago Diniz, Pedro C. Petrov, Zlatko Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England Dept Elect & Elect Eng London England Univ Porto Dep Engenharia Informt Porto Portugal INESC ID Lisboa Lisbon Portugal Honeywell Int Vidin Bulgaria

ISBN: (纸本)9781467351652;9780769549149

the increasing capability and flexibility of reconfigurable hardware, such as Field-Programmable Gate Arrays (FPGAs), give developers a wide range of architectural choices that can satisfy various non-functional requirements, such as those involving performance, resource and energy efficiency. this paper describes a novel approach, based on an aspect-oriented language called LARA, that enables systematic coding and reuse of optimisation strategies that address such non-functional requirements. Our approach will be presented in three steps. First, this approach is shown to support design space exploration (DSE) which makes use of various compilation and optimisation tools, through the deployment of a master weaver and multiple slave weavers. Second, we present three compilation and synthesis strategies for word-length optimisation based on this approach, which involve three tools: the WLOT word-length optimiser deploying a combination of analytical methods;the AutoESL tool compiling C-based descriptions into hardware;and the ISE tool targeting Xilinx devices. third, the effectiveness of the approach is evaluated. In addition to promoting design re-use, our approach can be used to automatically produce a range of designs with different trade-offs in resource usage and numerical accuracy according to a given LARA-based strategy. For example, one implementation for a subband filter in an MPEG encoder provides 31% savings in area using non-uniform quantizers when compared to a floating-point description with a similar error specification at the output. Another fixed-point implementation for the gridIterate kernel used by a 3D path planning application consumed 25% less resources when the error specification is increased from 1e-6 to 1e-4.

关键词： aspect-oriented programming hardware compilation high-level synthesis word-length optimization aspect-oriented programming high level synthesis word length Collected papers weaver reconfigurable hardware

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 182 183 184 185 186 187 188 189 190 191 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：