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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

631 篇 会议
69 篇 期刊文献
3 册 图书

馆藏范围

703 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

581 篇 工学
- 483 篇 软件工程
- 440 篇 计算机科学与技术...
- 30 篇 电气工程
- 27 篇 控制科学与工程
- 16 篇 信息与通信工程
- 6 篇 建筑学
- 5 篇 土木工程
- 5 篇 生物工程
- 4 篇 化学工程与技术
- 4 篇 生物医学工程（可授...
- 3 篇 材料科学与工程（可...
- 2 篇 力学（可授工学、理...
- 2 篇 机械工程
- 2 篇 光学工程
- 2 篇 动力工程及工程热...
- 2 篇 农业工程
60 篇 理学
- 49 篇 数学
- 6 篇 生物学
- 6 篇 统计学（可授理学、...
- 5 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
38 篇 教育学
- 38 篇 教育学
29 篇 管理学
- 18 篇 图书情报与档案管...
- 12 篇 管理科学与工程(可...
- 5 篇 工商管理
6 篇 法学
- 6 篇 社会学
2 篇 经济学
- 2 篇 应用经济学
2 篇 农学
- 2 篇 作物学
2 篇 医学
- 2 篇 临床医学

主题

105 篇 functional progr...
66 篇 languages
64 篇 computer program...
46 篇 design
35 篇 computer program...
32 篇 haskell
30 篇 programming
20 篇 object oriented ...
20 篇 dependent types
18 篇 functional react...
18 篇 theory
18 篇 programming lang...
17 篇 performance
13 篇 domain-specific ...
13 篇 semantics
12 篇 algorithms
12 篇 logic programmin...
11 篇 generic programm...
11 篇 verification
11 篇 continuations

机构

8 篇 carnegie mellon ...
7 篇 northeastern uni...
7 篇 portland state u...
5 篇 univ penn philad...
5 篇 chalmers univ te...
4 篇 inria
4 篇 microsoft res ca...
3 篇 north carolina s...
3 篇 indiana univ blo...
3 篇 georgia inst tec...
3 篇 univ edinburgh e...
3 篇 univ strathclyde...
3 篇 harvard univ cam...
3 篇 univ new s wales...
3 篇 it university of...
3 篇 carnegie mellon ...
3 篇 univ cambridge c...
3 篇 univ utah salt l...
3 篇 yale univ dept c...
3 篇 luca school of a...

作者

7 篇 krishnaswami nee...
6 篇 findler robert b...
5 篇 flatt matthew
5 篇 keller gabriele
5 篇 jones mark p.
4 篇 xi hw
4 篇 mcbride conor
4 篇 vafeiadis viktor
4 篇 weirich stephani...
4 篇 claessen koen
4 篇 jeuring johan
4 篇 chlipala adam
4 篇 dreyer derek
4 篇 peyton jones sim...
4 篇 walker david
3 篇 oliveira bruno c...
3 篇 dolstra eelco
3 篇 loh andres
3 篇 leshchinskiy rom...
3 篇 watanabe takuo

语言

642 篇 英文
55 篇 其他
2 篇 法文
2 篇 葡萄牙文
2 篇 中文

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

共 703 条记录，以下是321-330 订阅

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

详细简洁

排序：

programming mixed music in ReactiveML

Programming mixed music in ReactiveML

引用

2013 1st acm sigplan Workshop on functional Art, Music, Modeling and Design, FARM 2013 - Co-located with the 18th acm sigplan international conference on functional programming, ICFP 2013

作者： Baudart, Guillaume Mandel, Louis Pouzet, Marc École Normale Supérieure de Cachan Antenne de Bretagne DI École Normale Supérieure France Univ. Paris-Sud 11 DI École Normale Supérieure INRIA Paris-Rocquencourt France Univ. Pierre et Marie Curie DI École Normale Supérieure INRIA Paris-Rocquencourt France

ISBN: (纸本)9781450323864

Mixed music is about live musicians interacting with electronic parts which are controlled by a computer during the performance. It allows composers to use and combine traditional instruments with complex synthesized sounds and other electronic devices. there are several languages dedicated to the writing of mixed music scores. Among them, the Antescofo language coupled with an advanced score follower allows a composer to manage the reactive aspects of musical performances: how electronic parts interact with a musician. However these domain specific languages do not offer the expressiveness of functional programming. We embed the Antescofo language in a reactive functional programming language, ReactiveML. this approach offers to the composer recursion, higher order, inductive types, as well as a simple way to program complex reactive behaviors thanks to the synchronous model of concurrency on which ReactiveML is built. this article presents how to program mixed music in ReactiveML through several examples. Copyright © 2013 acm.

关键词： Music

来源：评论

学校读者我要写书评

暂无评论

Leveling up dependent types generic programming over a predicative hierarchy of universes

Leveling up dependent types generic programming over a predi...

引用

2013 acm sigplan Workshop on Dependently-Typed programming, DTP 2013, Co-located with the 18th international conference on functional programming, ICFP 2013

作者： Diehl, Larry Sheard, Tim Portland State University United States

ISBN: (纸本)9781450323840

Generic programming is about writing a single function that does something different for each type. In most languages one cannot case over the structure of types. So in such languages generic programming is accomplished by defining a universe, a data structure isomorphic to some subset of the types supported by the language, and performing a case analysis over this datatype instead. Such functions support a limitied level of genericity, limited to the subset of types that the universe encodes. the key to full genericity is defining a rich enough universe to encode all types in the language. In this paper we show how to define a universe with a predicative hierarchy of types, encoding a finite set of base types (including dependent products and sums), and an infinite set of user defined datatypes. We demonstrate that such a system supports a much broader notion of generic programming, along with a serendipitous extension to the usefulness of user defined datatypes with existential arguments. © 2013 by the Association for Computing Machinery, Inc. (acm).

关键词： Encoding (symbols)

来源：评论

学校读者我要写书评

暂无评论

ViperVM: A runtime system for parallel functional high-performance computing on heterogeneous architectures

ViperVM: A runtime system for parallel functional high-perfo...

引用

2nd acm sigplan Workshop on functional High-Performance Computing, FHPC 2013 - Co-located with the 18th acm sigplan international conference on functional programming, ICFP 2013

作者： Henry, Sylvain University of Bordeaux 351 cours de la Libération 33405 Talence France

ISBN: (纸本)9781450323819

the current trend in high-performance computing is to use heterogeneous architectures (i.e. multi-core with accelerators such as GPUs or Xeon Phi) because they offer very good performance over energy consumption ratios. programming these architectures is notoriously hard, hence their use is still somewhat restricted to parallel programming experts. the situation is improving with frameworks using high-level programming models to generate efficient computation kernels for these new accelerator architectures. However, an orthogonal issue is to efficiently manage memory and kernel scheduling especially on architectures containing multiple accelerators. Task graph based runtime systems have been a first step toward efficiently automatizing these tasks. However they introduce new challenges of their own such as task granularity adaptation that cannot be easily automatized. In this paper, we present a programming model and a preliminary implementation of a runtime system called ViperVM that takes advantage of parallel functional programming to extend task graph based runtime systems. the main idea is to substitute dynamically created task graphs with pure functional programs that are evaluated in parallel by the runtime system. Programmers can associate kernels (written in OpenCL, CUDA, Fortran. . . ) to identifiers that can then be used as pure functions in programs. During parallel evaluation, the runtime system automatically schedules kernels on available accelerators when it has to reduce one of these identifiers. An extension of this mechanism consists in associating both a kernel and a functional expression to the same identifier and to let the runtime system decide either to execute the kernel or to evaluate the expression. We show that this mechanism can be used to perform dynamic granularity adaptation. Copyright © 2013 by the Association for Computing Machinery, Inc. (acm).

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism

Towards systematic parallel programming of graph problems vi...

引用

2nd acm sigplan Workshop on functional High-Performance Computing, FHPC 2013 - Co-located with the 18th acm sigplan international conference on functional programming, ICFP 2013

作者： Wang, Qi Chen, Meixian Liu, Yu Hu, Zhenjiang STAP Group School of Software Shanghai Jiao Tong University China Dpt of Computer Science and Engineering Shanghai Jiao Tong University China University for Advanced Studies Japan National Institute of Informatics Japan

ISBN: (纸本)9781450323819

Many graph optimization problems, such as theMaximumWeighted Independent Set problem, are NP-hard. For large scale graphs that have billions of edges or vertices, these problems are hard to be computed directly even using popular data-intensive frameworks like MapReduce or Pregel that are deployed on large computerclusters, because of the extremely high computational complexity. On the other hand, many studies have shown the existence of polynomial time algorithms on graphs with bounded treewidth, which makes it possible to solve these problems on large graphs. However, the algorithms are usually difficult to be understood or parallelized. In this paper, we propose a novel programming framework which provides a user-friendly programming interface and automatic in-black-box parallelization. the programming interface, which is a simple and straightforward abstraction called Generate- Test-Aggregate (GTA for short), is used to describe a set of graph problems. We propose to derive bottom-up dynamic programming algorithms on tree decompositions from the user-specified GTA algorithms, and further transform the bottom-up algorithms to parallel ones which run in a divide-and-conquer manner on a list of subtrees. Besides, balanced tree partition strategies are discussed for efficient parallel computing. Our preliminary experimental results on the Maximum Weighted Independent Set problem demonstrate the practical viability of our approaches. Copyright © 2013 by the Association for Computing Machinery, Inc. (acm).

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

QuaFL: A typed DSL for quantum programming

QuaFL: A typed DSL for quantum programming

引用

2013 1st acm sigplan Workshop on functional programming Concepts in Domain-Specific Languages, FPCDSL 2013 - Co-located with the 18th acm sigplan international conference on functional programming, ICFP 2013

作者： Lapets, Andrei Da Silva, Marcus P. thome, Mike Adler, Aaron Beal, Jacob Rötteler, Martin Raytheon BBN Technologies 10 Moulton Street Cambridge MA 02138 United States NEC Laboratories America 4 Independence Way Princeton NJ 08540 United States

ISBN: (纸本)9781450323802

Quantum computers represent a novel kind of programmable hardware with properties and restrictions that are distinct from those of classical *** investigate how some existing abstractions and programming language features developed within the programming languages community can be adapted to expose the unique capabilities of quantum computers to programmers while at the same time allowing them to manage the new and unfamiliar constraints of programming a quantum device. We introduce QuaFL, a statically typed domain-specific programming language for writing high-level definitions of algorithms that can be compiled into logical quantum circuits. the primary purpose of QuaFL is to support programmers in defining high-level yet physically realizable quantum algorithms and in helping them make informed decisions about implementation trade-offs. QuaFL allows programmers to use high-level data structures including integers, fixed point reals, and arrays within quantum algorithms, and to explicitly define superpositions and unitary transformations on data. the QuaFL type system allows programmers to distinguish between classical and quantum portions of a program, uses a variant of linear types and an orthogonality checking algorithm to ensure the quantum portions are physically realizable, and provides type size annotations that can facilitate automated computation of the quantities of quantum resources that will be necessary to run the compiled program (i.e., a logical quantum circuit). © 2013 by the Association for Computing Machinery, Inc. (acm).

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

Extending access to personalized verbal feedback about robots for programming students with visual impairments

Extending access to personalized verbal feedback about robot...

引用

15th international acm SIGACCESS conference on Computers and Accessibility, ASSETS 2013

作者： Remy, Sekou L. Clemson University Clemson SC United States

ISBN: (纸本)9781450324052

this work demonstrates improvements in a software tool that provides verbal feedback about executed robot code. Designed for programming students with visual impairments, the tool is now multi-lingual and no longer requires locally installed text-to-speech software. these developments use cloud and web standards to provide greater flexibility in generating personalized verbal feedback.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

Seeding the Cloud with Students from Every Computer Science Undergraduate Program

Seeding the Cloud with Students from Every Computer Science ...

引用

15th international conference on Enterprise Information Systems (ICEIS)

作者： Hollingsworth, Joel Powell, David J. Elon Univ Dept Comp Sci Elon NC 27244 USA

ISBN: (纸本)9789898565600

the introduction of enterprise-level cloud computing to the computer science curriculum is necessary to remain consistent with the industry. Cloud computing is rapidly being used throughout industry and there is a current and projected shortage of IT developers with cloud computing skills. University computer science curricula need to provide cloud computing courses to prepare graduates to enter the work place. this paper describes a required cloud based enterprise-level programming course at Elon University that used free cloud based software and hardware and free training materials. this cloud based development course provides an example that could be immediately used at any university to give their students the cloud based skills needed to be successful in the IT market.

关键词： Cloud Computing Platform as a Service Enterprise programming Server Side programming IBM Smartcloud Enterprise Google App Engine

来源：评论

学校读者我要写书评

暂无评论

Optimization of switch keyboards

Optimization of switch keyboards

引用

15th international acm SIGACCESS conference on Computers and Accessibility, ASSETS 2013

作者： Zhang, Xiao Fang, Kan Francis, Gregory Department of Computer Science Purdue University 703 Third Street West Lafayette IN 47907 United States Department of Psychological Sciences Purdue University 703 Third Street West Lafayette IN 47907 United States School of Industrial Engineering Purdue University 315 N. Grant Street West Lafayette IN 47907 United States

ISBN: (纸本)9781450324052

Patients with motor control difficulties often "type" on a computer using a switch keyboard to guide a scanning cursor to text elements. We show how to optimize some parts of the design of switch keyboards by casting the design problem as mixed integer programming. A new algorithm to find an optimized design solution is approximately 3600 times faster than a previous algorithm, which was also susceptible to finding a non-optimal solution. the optimization requires a model of the probability of an entry error, and we show how to build such a model from experimental data. Example optimized keyboards are demonstrated.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Nurse Rostering with Soft Constraints Evidence from Chilean Mid-size Health Care Centers

Nurse Rostering with Soft Constraints <i>Evidence from Chile...

引用

15th international conference on Enterprise Information Systems (ICEIS)

作者： Soto, Ricardo Crawford, Broderick Bertrand, Rodrigo Monfroy, Eric Pontificia Univ Catolica Valparaiso Valparaiso Chile Univ Autonoma Chile Santiago Chile Univ Finis Terrae Santiago Chile Univ Nantes CNRS LINA Nantes France

ISBN: (纸本)9789898565594

Nurse rostering deals with the shifts arrangements of nursing staff in the daily operation of health care centers. the design of suitable rosters for nurses is known to be particularly complex due to the number of interrelated requirements that must be considered. the literature reports a wide list of works devoted to solve such a problem. the techniques used range from classic methods such as linear programming to more modern incomplete methods such as evolutionary computing. However, most works are centered on the performance of techniques for solving well-known instances of nurse rostering. In this paper, we focus on a real case study of nurse rostering. the solution is devoted to a set of mid-size Chilean hospitals that use a very uncommon shift pattern due to proper country legal regulations. We present a new model involving hard and soft constraints that can be applied generically to any chilean health care center.

关键词： Rostering Constraint programming Heuristic Search

来源：评论

学校读者我要写书评

暂无评论

A Novel Mathematical Formulation for the Strategic Planning of a Reverse Supply Chain Network theoretical and Computational Results

A Novel Mathematical Formulation for the Strategic Planning ...

引用

15th international conference on Enterprise Information Systems (ICEIS)

作者： Santibanez-Gonzalez, Ernesto D. R. Maculan, Nelson Univ Fed Ouro Preto DECOM Ouro Preto MG Brazil Univ Fed Rio de Janeiro COPPE Rio De Janeiro RJ Brazil

ISBN: (纸本)9789898565594

In the last decade, literature on strategic planning of a supply chain network grew rapidly. In this paper we address a classical three-layer remanufacturing supply chain network design problem that CoVers sourcing, reprocessing and remanufacturing activities, in vddch strategic decisions regarding the number, location of reprocessing units and the flow of returns through the logistics network are made. First, we propose an alternative mixed-integer mathematical programming (MILT) formulation for this problem and provide theoretical proof of equivalence between the classical and the proposed mathematical formulation. Second, the goodness of both formulations is compared by means of a computational study, and the results for large instances of the problem are discussed. We empirically prove that the proposed formulation provides tighter linear relaxation lower bounds and obtains the integer solutions several tunes faster than the classical formulation.

关键词： Reverse Supply Chain Supply Chain Integer programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共71页 << < 29 30 31 32 33 34 35 36 37 38 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：