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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

632 篇 会议
65 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

106 篇 functional progr...
66 篇 languages
61 篇 computer program...
46 篇 design
34 篇 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

机构

7 篇 northeastern uni...
7 篇 carnegie mellon ...
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...
5 篇 flatt matthew
5 篇 keller gabriele
5 篇 jones mark p.
5 篇 findler robert b...
4 篇 xi hw
4 篇 mcbride conor
4 篇 vafeiadis viktor
4 篇 weirich stephani...
4 篇 claessen koen
4 篇 jeuring johan
4 篇 chlipala adam
4 篇 peyton jones sim...
4 篇 walker david
3 篇 oliveira bruno c...
3 篇 leshchinskiy rom...
3 篇 watanabe takuo
3 篇 pottier francois
3 篇 devriese dominiq...
3 篇 gibbons phillip ...

语言

631 篇 英文
63 篇 其他
2 篇 法文
2 篇 葡萄牙文
2 篇 中文

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

共 700 条记录，以下是41-50 订阅

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

详细简洁

排序：

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

programming Pedagogy and Assessment in the Era of AI/ML: A Position Paper 22

Programming Pedagogy and Assessment in the Era of AI/ML: A P...

引用

15th Annual acm India Compute conference, COMPUTE 2022

作者： Raman, Arun Kumar, Viraj Dayananda Sagar University India Indian Institute of Science India

ISBN: (纸本)9781450397759

A growing set of tasks that once depended critically on human cognition can now be effectively accomplished by automated systems, either independently or in partnership with humans. this trend is being accelerated by advances in Artificial Intelligence and Machine Learning, and it forces educators to consider whether tasks emphasized by existing curricula will remain relevant once their students graduate. For introductory programming (CS1), existing curricula emphasize the task of code writing. We survey recent research on automated systems for writing code, some of which are as proficient as undergraduates on CS1-level programming tasks. Further, these tools are rapidly improving and some of them are available freely for students. thus, we posit that pedagogy and assessment for code writing requires rethinking. We examine the components of the code-writing task using a six-step framework proposed in the literature, and we identify the impact of automated systems at each step. In response to this impact, we propose changes to CS1 pedagogy and assessment. © 2022 acm.

关键词： Curricula

来源：评论

学校读者我要写书评

暂无评论

Dedup-for-Speed: Storing Duplications in Fast programming Mode for Enhanced Read Performance 22

Dedup-for-Speed: Storing Duplications in Fast Programming Mo...

引用

15th acm international conference on Systems and Storage (SYSTOR)

作者： Bae, Jaeyong Park, Jaehyung Jun, Yuhun Seo, Euiseong Sungkyunkwan Univ Suwon South Korea Samsung Elect Co Ltd Suwon South Korea

ISBN: (纸本)9781450393805

Storage deduplication improves write latency, increases available space, and reduces thewear of storage media by eliminating redundant writes. the flash translation layer (FTL) of a flash solid state disk (SSD) easily enables deduplication in an SSD through the simple mapping of duplicated logical pages to the same physical page. therefore, a few deduplicating FTLs have been proposed. However, the deduplication of partially duplicated files breaks the sequentiality of data storage at the flash page level, resulting in a significant degradation of the read performance. Although increasing available storage space, reducing flash write, and extending lifespan are barely perceptible to users, extended read latency is critical to user-perceived performance. In this paper, we propose a novel deduplication FTL called Dedup-for-Speed (DFS). the DFS FTL trades surplus capacity gained through inline deduplication for improved read performance by storing duplicated pages in fast flash modes, such as the pseudo-single-level-cell(pSLC) mode. the flash mode of a page is determined by its degree of deduplications. Duplicate pages are migrated to fast flash blocks during idle intervals to minimize interference with host-issued operations. Contrary to conventional deduplication schemes, DFS improves the read performance while maintaining the aforementioned benefits of deduplication. Our evaluation of six real-world traces showed that DFS improved the read latency by 16 % on average and up to 34 %. It also enhanced the write latency by 64 % on average and up to 82 %.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Erlang 2021 - Proceedings of the 20th acm sigplan international Workshop on Erlang, co-located with ICFP 2021

Erlang 2021 - Proceedings of the 20th ACM SIGPLAN Internatio...

引用

20th acm sigplan international Workshop on Erlang, Erlang 2021, co-located with the Annual international conference on functional programming, ICFP 2021

ISBN: (纸本)9781450386128

the proceedings contain 6 papers. the topics discussed include: graft: general purpose raft consensus in Elixir;the Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network;detecting oxbow code in erlang codebases with the highest degree of certainty;Makina: a new QuickCheck state machine library;bidirectional typing for Erlang;and what are the critical security flaws in my system?.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Brain Principles programming 15th

Brain Principles Programming

引用

15th international conference on Artificial General Intelligence (AGI)

作者： Vityaev, Evgenii Kolonin, Anton Kurpatov, Andrey Molchanov, Artem Sobolev Inst Math Koptuga 4 Novosibirsk Russia Novosibirsk State Univ Pirogova 2 Novosibirsk Russia Sberbank Russia Neurosci Lab Moscow Russia

ISBN: (纸本)9783031199066;9783031199073;9783031199066

the monograph "Strong Artificial Intelligence. On the Approaches to Superintelligence", referenced by this paper, provides a cross-disciplinary review of Artificial General Intelligence (AGI). As an anthropomorphic direction of research, it considers Brain Principles programming (BPP) - the formalization of universal mechanisms (principles) of the brain's work with information, which are implemented at all levels of the organization of nervous tissue. this monograph provides a formalization of these principles in terms of the category theory. However, this formalization is not enough to develop algorithms for working with this information. In the paper, for the description and modeling of BPP, it is proposed to apply mathematical models and algorithms developed by us earlier that model cognitive functions, which are based on well-known physiological, psychological and other natural science theories. the paper uses mathematical models and algorithms of the following theories: ***'s theory of functional Brain Systems, Eleonor Rosh's prototypical categorization theory, Bob Rehter's theory of causal models and "natural" classification. As a result, the formalization of the BPP is obtained and computer examples are given that demonstrate the algorithm's operation.

关键词： Brain principles Categorization Category theory Formal concepts

来源：评论

学校读者我要写书评

暂无评论

Extracting Smart Contracts Tested and Verified in Coq 2021

Extracting Smart Contracts Tested and Verified in Coq

引用

10th acm sigplan international conference on Certified Programs and Proofs (CPP)

作者： Annenkov, Danil Milo, Mikkel Nielsen, Jakob Botsch Spitters, Bas Aarhus Univ Concordium Blockchain Res Ctr Aarhus Denmark Aarhus Univ Dept Comp Sci Aarhus Denmark

ISBN: (纸本)9781450382991

We implement extraction of Coq programs to functional languages based on MetaCoq's certified erasure. As part of this, we implement an optimisation pass removing unused arguments. We prove the pass correct wrt. a conventional call-by-value operational semantics of functional languages. We apply this to two functional smart contract languages, Liquidity and Midlang, and to the functional language Elm. Our development is done in the context of the ConCert framework that enables smart contract verification. We contribute a verified boardroom voting smart contract featuring maximum voter privacy such that each vote is kept private except under collusion of all other parties. We also integrate property-based testing into ConCert using QuickChick and our development is the first to support testing properties of interacting smart contracts. We test several complex contracts such as a DAO-like contract, an escrow contract, an implementation of a Decentralized Finance (DeFi) contract which includes a custom token standard (Tezos FA2), and more. In total, this gives us a way to write dependent programs in Coq, test them semi-automatically, verify, and then extract to functional smart contract languages, while retaining a small trusted computing base of only MetaCoq and the pretty-printers into these languages.

关键词： smart contracts blockchain Coq proof assistants code extraction formal verification property-based testing certified programming software correctness

来源：评论

学校读者我要写书评

暂无评论

CC 2021 - Proceedings of the 30th acm sigplan international conference on Compiler Construction

CC 2021 - Proceedings of the 30th ACM SIGPLAN International ...

引用

30th acm sigplan international conference on Compiler Construction, CC 2021

ISBN: (纸本)9781450383257

the proceedings contain 14 papers. the topics discussed include: data-aware process networks;integrating a functional pattern-based IR into MLIR;compiling data-parallel datalog;PGZ: automatic zero-value code specialization;exploring the space of optimization sequences for code-size reduction: insights and tools;polybench/python: benchmarking python environments with polyhedral optimizations;a modern compiler for the French tax code;communication-safe web programming in TypeScript with routed multiparty session types;helper function inlining in dynamic binary translation;lightning BOLT: powerful, fast, and scalable binary optimization;compact native code generation for dynamic languages on micro-core architectures;and deep NLP-based co-evolvement for synthesizing code analysis from natural language.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards a framework for analyzing context-oriented programming languages 13

Towards a framework for analyzing context-oriented programmi...

引用

13th acm international Workshop on Context-Oriented programming and Advanced Modularity, COP 2021, co-located with the 35th European conference on Object-Oriented programming, ECOOP 2021 and the 30th acm SIGSOFT international Symposium on Software Testing and Analysis, ISSTA 2021

作者： Elyasaf, Achiya Sturm, Arnon Ben-Gurion University of the Negev Beer-Sheva Israel

ISBN: (纸本)9781450385428

Context-aware systems keep on emerging in all of our daily activities. To cope with this new situation, programming languages were extended to support the notion of context. Although context-oriented programming languages exist for over 15 years, they were tested for their suitability in developing context-aware systems only to a limited extent. In this paper, we propose a framework for analyzing context-oriented languages from that viewpoint. In this framework, we refer to context definition and activation, reasoning capabilities, process aspects of how to work with the suggested extension, and pragmatic considerations. To demonstrate the use of the framework, we applied it to a relatively new context-oriented programming paradigm, namely context-oriented behavioral programming. the proposed framework can support users of context-oriented programming languages in deciding on the most fitted language for their purpose. Developers of context-oriented programming languages can also use the framework to improve such languages and their supporting tools. © 2021 acm.

关键词： Behavioral research

来源：评论

学校读者我要写书评

暂无评论

Semantic Mapping from SysML to FRP: to Enable Executable and Verifiable Systems Design 15

Semantic Mapping from SysML to FRP: to Enable Executable and...

引用

15th Annual IEEE international Systems conference (SysCon)

作者： Huang, Jingwei Khallouli, Wael Holly, Handley A. H. Edmonson, William Ahmed, Trisha Kibret, Nadew Old Dominion Univ Engn Management & Syst Engn Norfolk VA 23529 USA NC A&T State Univ Elect & Comp Engn Greensboro NC USA

ISBN: (纸本)9781665444392

the emerging Digital Engineering demands digital representation of the system of interest and sharing models and data across the boundaries of organizations and the boundaries of the engineering lifecycle. Towards this direction, it is critical to develop systems modeling languages and tools that accommodate Digital Engineering. this paper presents our research on semantic mapping from System Modeling Language (SysML) to functional Reactive programming (FRP) with the goal of developing computing mechanisms with functional reactive programming to support executable and verifiable SysML model specification.

关键词： Digital Engineering Model-Based Systems Engineering SysML functional Reactive programming Semantic mapping Executable & verifiable systems design Modeling language and tools

来源：评论

学校读者我要写书评

暂无评论

Eliciting Empathy towards Urban Accessibility Issues 23

Eliciting Empathy towards Urban Accessibility Issues

引用

15th Biannual conference of the Italian SIGCHI Chapter: Crossing HCI and AI, CHItaly 2023

作者： Paananen, Ville Visuri, Aku Van Berkel, Niels Hosio, Simo University of Oulu Oulu Finland Aalborg University Aalborg Denmark

ISBN: (纸本)9798400708060

Empathy is an integral part of what it means to be human. Empathy refers to the ability to sense other people's emotions, coupled with the ability to imagine what they might be thinking and feeling. Architectural and urban design have identified empathy as a crucial factor in the design process and especially in user-centered participatory methods. Although empathy has been recognized as important for relating to other people's issues, current research has not explored how urban accessibility issues elicit empathy. We conducted a between-subjects online study where 202 participants observed five scenarios on different accessibility issues. Our results show that empathic traits and previous experience are significant factors in empathizing with accessibility issues. Additionally, storytelling and photos can influence perceptions of accessibility issues. the study highlights the importance of empathic traits and personal experience in understanding and addressing accessibility issues, as well as the potential of storytelling and photos in shaping perceptions of accessibility issues and evoking empathy. Our contribution demonstrates the advantages of incorporating narrative multimedia into design processes for improved urban accessibility. © 2023 Owner/Author.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共70页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：