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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

562 篇 会议
64 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

516 篇 工学
- 438 篇 软件工程
- 374 篇 计算机科学与技术...
- 36 篇 电气工程
- 34 篇 控制科学与工程
- 11 篇 信息与通信工程
- 3 篇 建筑学
- 3 篇 农业工程
- 3 篇 生物工程
- 2 篇 力学（可授工学、理...
- 2 篇 机械工程
- 2 篇 材料科学与工程（可...
- 2 篇 动力工程及工程热...
- 2 篇 电子科学与技术（可...
- 2 篇 土木工程
- 2 篇 交通运输工程
48 篇 理学
- 41 篇 数学
- 3 篇 物理学
- 3 篇 生物学
- 3 篇 统计学（可授理学、...
- 2 篇 系统科学
- 1 篇 化学
- 1 篇 地质学
30 篇 管理学
- 16 篇 管理科学与工程(可...
- 14 篇 图书情报与档案管...
- 5 篇 工商管理
18 篇 教育学
- 18 篇 教育学
- 1 篇 心理学(可授教育学...
6 篇 法学
- 5 篇 社会学
- 1 篇 法学
3 篇 农学
- 3 篇 作物学

主题

98 篇 functional progr...
83 篇 languages
53 篇 design
49 篇 computer program...
32 篇 haskell
26 篇 programming
25 篇 computer program...
21 篇 performance
20 篇 object oriented ...
19 篇 dependent types
19 篇 theory
17 篇 functional react...
15 篇 programming lang...
14 篇 algorithms
13 篇 parallel program...
12 篇 domain-specific ...
12 篇 generic programm...
12 篇 verification
12 篇 meta-programming
11 篇 continuations

机构

7 篇 portland state u...
7 篇 chalmers univ te...
6 篇 northeastern uni...
6 篇 microsoft res ca...
5 篇 inria
4 篇 carnegie mellon ...
4 篇 univ penn philad...
3 篇 ecole polytech f...
3 篇 indiana univ blo...
3 篇 univ edinburgh e...
3 篇 univ strathclyde...
3 篇 univ new s wales...
3 篇 carnegie mellon ...
3 篇 univ cambridge c...
3 篇 univ british col...
3 篇 univ utah salt l...
3 篇 univ washington ...
3 篇 yale univ dept c...
3 篇 stanford univ st...
3 篇 brown univ provi...

作者

5 篇 flatt matthew
5 篇 jeuring johan
5 篇 jones mark p.
5 篇 krishnaswami nee...
4 篇 xi hw
4 篇 mcbride conor
4 篇 vafeiadis viktor
4 篇 weirich stephani...
4 篇 claessen koen
4 篇 chlipala adam
4 篇 dreyer derek
4 篇 keller gabriele
4 篇 findler robert b...
4 篇 walker david
3 篇 dolstra eelco
3 篇 loh andres
3 篇 leshchinskiy rom...
3 篇 yoshida nobuko
3 篇 pottier francois
3 篇 devriese dominiq...

语言

570 篇 英文
51 篇 其他
3 篇 中文
2 篇 法文
2 篇 葡萄牙文

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

共 628 条记录，以下是51-60 订阅

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

详细简洁

排序：

A Collection of Tangible theory Instruments for Design Anthropology 23

A Collection of Tangible Theory Instruments for Design Anthr...

引用

17th international conference on Tangible, Embedded, and Embodied Interaction, TEI 2023

作者： Buur, Jacob Karyda, Mary Kjærsgaard, Mette Gislev Sorenson, Jessica Aça, Ayse Özge Antonelli, Michela Department of Design and Communication University of Southern Denmark Denmark

ISBN: (纸本)9781450399777

We propose theory Instruments, a novel kind of tangible tool, to bring perspective shifts and new vocabulary into design projects and organisations. they aim to bridge disciplinary gaps among practitioners. In this pictorial, we present six theory Instruments with instructions in cutouts, so practitioners can put them into action. To test the theory Instruments, we conducted workshops with ten companies from various sectors. With the tangibles, practitioners investigated the interconnectedness of their products, the use contexts, and user experiences. they also unfolded internal interaction design practices. We contribute to Design Anthropology by mapping anthropological theories onto material structures that increase sensitivity to human practices. © 2023 acm.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

PseuToPy: Towards a Non-English Natural programming Language 2021

PseuToPy: Towards a Non-English Natural Programming Language

引用

17th Annual acm conference on international Computing Education Research (ICER)

作者： Wang, Patrick ISEP Inst Super Elect Paris Issy Les Moulineaux France

ISBN: (纸本)9781450383264

Most text-based programming languages found in introductory programming courses use English words. this fact alone can deter non-English speakers who wish to learn to program: how can we expect them to learn a programming language if they do not even understand the meaning of the keywords they are manipulating? In addition, the syntax and semantics of programming languages are also known causes of learners' mistakes. In this paper, we highlight these difficulties and then present PseuToPy, a programming language which can be localized in several tongues on the one hand and produce instructions close to these natural languages on the other. PseuToPy is still a work in progress: we have developed a version in French and hope to study its use in an educational context to see whether or not programming beginners find it easier to learn programming by implementing algorithms in their native tongues.

关键词： programming education programming language formal grammar pseudocode

来源：评论

学校读者我要写书评

暂无评论

CoFrame: A System for Training Novice Cabot Programmers 17

CoFrame: A System for Training Novice Cabot Programmers

引用

17th Annual acm/IEEE international conference on Human-Robot Interaction, HRI 2022

作者： Schoen, Andrew White, Nathan Henrichs, Curt Siebert-Evenstone, Amanda Shaffer, David Mutlu, Bilge Department of Computer Sciences Department of Educational Psychology MadisonWI United States University of Wisconsin-Madison Department of Educational Psychology MadisonWI United States

ISBN: (数字)9781665407311

ISBN: (纸本)9781538685549

the introduction of collaborative robots (cobots) into the workplace has presented both opportunities and chal-lenges for those seeking to utilize their functionality. Prior research has shown that despite the capabilities afforded by cobots, there is a disconnect between those capabilities and the applications that they currently are deployed in, partially due to a lack of effective cobot-focused instruction in the field. Experts who work successfully within this collaborative domain could offer insight into the considerations and process they use to more effectively capture this cobot capability. Using an analysis of expert insights in the collaborative interaction design space, we developed a set of Expert Frames based on these insights and integrated these Expert Frames into a new training and programming system that can be used to teach novice operators to think, program, and troubleshoot in ways that experts do. We present our system and case studies that demonstrate how Expert Frames provide novice users with the ability to analyze and learn from complex cobot application scenarios. © 2022 IEEE.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

Randomised Testing of the Compiler for a Verification-Aware programming Language 17

Randomised Testing of the Compiler for a Verification-Aware ...

引用

17th IEEE international conference on Software Testing, Verification, and Validation (ICST)

作者： Donaldson, Alastair F. Sheth, Dilan Tristan, Jean-Baptiste Usher, Alex Imperial Coll London London England AWS Boston MA USA

ISBN: (纸本)9798350308198;9798350308181

We present the design and implementation of two new tools for randomised testing of the compiler of the Dafny programming language. the Dafny language and tool-chain supports formal verification of rich functional properties of programs, and is seeing increasing adoption by industry, being used by companies such as Amazon, Consensys, Microsoft and VMWare for the construction of high assurance software components. Bugs in the Dafny compiler are of critical importance because they have the potential to undermine the safety and security of deployed software that has been formally verified at the source code level. Our new testing tools, fuzz-d and DafnyFuzz, are based on randomised program generation, and overcome the test oracle problem using a combination of differential testing, metamorphic testing and the generation of programs with known expected results. the new tools go significantly further than XDsmith, an existing randomised compiler testing tool for Dafny, in terms of the features of the language that they support. We have used these tools to find and report 24 previously-unknown Dafny compiler bugs that were beyond the reach of XDsmith, of which 9 are soundness issues. Our fuzzing campaign has also led to changes to the Dafny language specification via the identification of ambiguous or under-documented language features. We present a set of controlled experiments looking at statement and mutation coverage on the Dafny compiler code base. the results show that fuzz-d and DafnyFuzz achieve substantial additional coverage on top of that provided by XDsmith, and can cover some areas missed by the Dafny compiler regression test suite. All three of fuzz-d, DafnyFuzz and XDsmith improve upon the number of mutants killed by the Dafny regression test suite.

关键词： Fuzzing compilers formal verification Dafny

来源：评论

学校读者我要写书评

暂无评论

Promoting Learning Transfer in Computer Science Education by Training Teachers to use Explicit programming Strategies 2021

Promoting Learning Transfer in Computer Science Education by...

引用

17th Annual acm conference on international Computing Education Research (ICER)

作者： Goletti, Olivier UCLouvain ICTEAM INGI Louvain La Neuve Belgium Leiden Univ LIACS Leiden Netherlands

ISBN: (纸本)9781450383264

Some Computer Science concepts, and programming in particular, are hard to learn. As CS is (re-)entering national school curricula throughout the world, qualified CS teachers need to be trained. In this PhD work we will propose a training that will help teachers teach those concepts effectively. Based on the educational framework of learning transfer and cognitive load theory, we will do this through evidence-based instructional strategies. these explicit programming strategies aim to decrease cognitive load and foster learning transfer. My PhD will advance the topic of CS teacher training by understanding how CS teachers apply those programming strategies in their teaching through qualitative studies and by designing a validated training that can be used with tutors and teacher trainers.

关键词： explicit programming strategies cognitive load tutor training

来源：评论

学校读者我要写书评

暂无评论

VEE 2021 - Proceedings of the 17th acm sigplan/SIGOPS international conference on Virtual Execution Environments

VEE 2021 - Proceedings of the 17th ACM SIGPLAN/SIGOPS Intern...

引用

17th acm sigplan/SIGOPS international conference on Virtual Execution Environments, VEE 2021

ISBN: (纸本)9781450383943

the proceedings contain 15 papers. the topics discussed include: virtio-mem: paravirtualized memory hot(un)plug;how to design a library OS for practical containers?;(no)compromis: paging virtualization is not a fatality;automatically exploiting the memory hierarchy of GPUs through just-in-time compilation;effective exploitation of SIMD resources in cross-ISA virtualization;adaptive live migration of virtual machines under limited network bandwidth;extending Intel PML for hardware-assisted working set size estimation of VMS;multiple-tasks on multiple-devices (MTMD): exploiting concurrency in heterogeneous managed runtimes;and analysis of NVMe-SSD to passthrough GPU data transfer in virtualized systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automated, Personalised, and Timely Feedback for Awareness of programming Plagiarism and Collusion 2021

Automated, Personalised, and Timely Feedback for Awareness o...

引用

17th Annual acm conference on international Computing Education Research (ICER)

作者： Karnalim, Oscar Univ Newcastle Newcastle NSW Australia

ISBN: (纸本)9781450383264

It is important to educate students about acceptable practices with regard to programming plagiarism and collusion. However, the current approach is quite demanding since it is manual, relying heavily on instructors. the information is delivered briefly, along with other general information, and students may not understand how it applies to their own cases. there is also no warning when students might be about to breach the rules. this doctoral project proposes a system that provides automated, personalised, and timely feedback about programming plagiarism and collusion. If a submission shares undue similarity with other students' submissions, all involved students will be given similarity feedback, showing their program with similar code fragments highlighted and the similarities explained in natural language, and they are expected to resubmit. Students whose programs do not show clear similarities will be shown a simulation feedback with comparable information. the system is evaluated with some technical measurements and three quasi-experiments.

关键词： feedback code similarity programming plagiarism collusion

来源：评论

学校读者我要写书评

暂无评论

EvolvingBehavior: Towards Co-Creative Evolution of Behavior Trees for Game NPCs 22

EvolvingBehavior: Towards Co-Creative Evolution of Behavior ...

引用

17th international conference on the Foundations of Digital Games, FDG 2022

作者： Partlan, Nathan Soto, Luis Howe, Jim Shrivastava, Sarthak Seif El-Nasr, Magy Marsella, Stacy Northeastern University United States University of California Santa Cruz United States

ISBN: (纸本)9781450397957

To assist game developers in crafting game NPCs, we present EvolvingBehavior, a novel tool for genetic programming to evolve behavior trees in Unreal®Engine 4. In an initial evaluation, we compare evolved behavior to hand-crafted trees designed by our researchers, and to randomly-grown trees, in a 3D survival game. We find that EvolvingBehavior is capable of producing behavior approaching the designer's goals in this context. Finally, we discuss implications and future avenues of exploration for co-creative game AI design tools, as well as challenges and difficulties in behavior tree evolution. © 2022 acm.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

***: Declarative HTML 21

***: Declarative HTML

引用

5th international conference on the Art, Science, and Engineering of programming (programming)

作者： Reynders, Bob Choi, Kwanghoon Chonnam Natl Univ Gwangju South Korea

ISBN: (纸本)9781450389860

Interactive user experiences on the web are becoming the norm. Client-side programs are becoming more complicated and have to deal with event handling, reading HTML document state and updating the interface. In this paper we propose a declarative language that supports these three facets of client-side browser development declaratively and provides a programming model where complex interfaces can be written using simple programming techniques such as records, functions and recursion.

关键词： Web programming functional programming HTML DSL

来源：评论

学校读者我要写书评

暂无评论

TyDe 2021 - Proceedings of the 6th acm sigplan international Workshop on Type-Driven Development, co-located with ICFP 2021

TyDe 2021 - Proceedings of the 6th ACM SIGPLAN International...

引用

6th acm sigplan international Workshop on Type-Driven Development, TyDe 2021, co-located with the international conference on functional programming, ICFP 2021

the proceedings contain 2 papers. the topics discussed include: actions you can handle: dependent types for AI plans;and a simpler encoding of indexed types.

ISBN: (纸本)9781450386166

the proceedings contain 2 papers. the topics discussed include: actions you can handle: dependent types for AI plans;and a simpler encoding of indexed types.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共63页 << < 2 3 4 5 6 7 8 9 10 11 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：