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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

60 篇 会议
3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

51 篇 工学
- 49 篇 软件工程
- 46 篇 计算机科学与技术...
- 2 篇 电子科学与技术（可...
- 1 篇 信息与通信工程
- 1 篇 化学工程与技术
- 1 篇 纺织科学与工程
- 1 篇 生物工程
7 篇 理学
- 3 篇 数学
- 1 篇 物理学
- 1 篇 化学
- 1 篇 生物学
- 1 篇 系统科学
4 篇 管理学
- 3 篇 管理科学与工程(可...
- 2 篇 工商管理
- 1 篇 图书情报与档案管...
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学

主题

15 篇 design
11 篇 performance
11 篇 languages
5 篇 algorithms
4 篇 experimentation
4 篇 reliability
4 篇 program synthesi...
4 篇 verification
3 篇 software enginee...
3 篇 compiler
3 篇 computer program...
2 篇 object oriented ...
2 篇 programming prof...
2 篇 programming
2 篇 computer archite...
2 篇 java
2 篇 operational sema...
2 篇 determinism
2 篇 abstract interpr...
2 篇 static analysis

机构

3 篇 univ michigan an...
3 篇 princeton univ p...
2 篇 intel corp haifa
2 篇 cornell univ dep...
2 篇 northeastern uni...
2 篇 seoul natl univ ...
1 篇 penn state univ ...
1 篇 univ waterloo wa...
1 篇 univ toronto on
1 篇 university of aa...
1 篇 univ oxford oxfo...
1 篇 univ wisconsin m...
1 篇 university of co...
1 篇 uc santa barbara...
1 篇 700–0005
1 篇 intel corporatio...
1 篇 sun microsystems...
1 篇 tsinghua univers...
1 篇 department of co...
1 篇 purdue universit...

作者

2 篇 cheng perry
2 篇 yi kwangkeun
2 篇 august david i.
2 篇 bacon david f.
2 篇 zaks ayal
2 篇 myers andrew c.
2 篇 lee wonchan
1 篇 oliveira bruno c...
1 篇 ding wei
1 篇 muñoz césar
1 篇 oda tetsuya
1 篇 wu jingyue
1 篇 sewe andreas
1 篇 ueda chiaki
1 篇 chen yanju
1 篇 lan jin
1 篇 wang xinyu
1 篇 rendel tillmann
1 篇 cartey luke
1 篇 olivier jeffrey

语言

61 篇 英文
2 篇 其他

检索条件"任意字段=33rd ACM SIGPLAN Conference on Programming Language Design and Implementation"

共 63 条记录，以下是11-20 订阅

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

详细简洁

排序：

WebRobot: Web Robotic Process Automation using Interactive programming-by-Demonstration 2022

WebRobot: Web Robotic Process Automation using Interactive P...

引用

43rd acm sigplan International conference on programming language design and implementation (PLDI)

作者： Dong, Rui Huang, Zhicheng Lam, Ian Iong Chen, Yan Wang, Xinyu Univ Michigan Ann Arbor MI 48109 USA Univ Toronto Toronto ON Canada

ISBN: (纸本)9781450392655

It is imperative to democratize robotic process automation (RPA), as RPA has become a main driver of the digital transformation but is still technically very demanding to construct, especially for non-experts. In this paper, we study how to automate an important class of RPA tasks, dubbed web RPA, which are concerned with constructing software bots that automate interactions across data and a web browser. Our main contributions are twofold. First, we develop a formal foundation which allows semantically reasoning about web RPA programs and formulate its synthesis problem in a principled manner. Second, we propose a web RPA program synthesis algorithm based on a new idea called speculative rewriting. This leads to a novel speculate-and-validate methodology in the context of rewrite-based program synthesis, which has also shown to be both theoretically simple and practically efficient for synthesizing programs from demonstrations. We have built these ideas in a new interactive synthesizer called WEBROBOT and evaluate it on 76 web RPA benchmarks. Our results show that WEBROBOT automated a majority of them effectively. Furthermore, we show that WEBROBOT compares favorably with a conventional rewrite-based synthesis baseline implemented using egg. Finally, we conduct a small user study demonstrating WEBROBOT is also usable.

关键词： Program Synthesis programming by Demonstration Rewrite-based Synthesis Robotic Process Automation Web Automation Human-in-the-loop

来源：评论

学校读者我要写书评

暂无评论

Visualization Question Answering using Introspective Program Synthesis 2022

Visualization Question Answering using Introspective Program...

引用

43rd acm sigplan International conference on programming language design and implementation (PLDI)

作者： Chen, Yanju Yan, Xifeng Feng, Yu Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA

ISBN: (纸本)9781450392655

While data visualization plays a crucial role in gaining insights from data, generating answers over complex visualizations from natural language questions is far from an easy task. Mainstream approaches reduce data visualization queries to a semantic parsing problem, which either relies on expensive-to-annotate supervised training data that pairs natural language questions with logical forms, or weakly supervised models that incorporate a larger corpus but fail on long-tailed queries without explanations. This paper aims to answer data visualization queries by automatically synthesizing the corresponding program from natural language. At the core of our technique is an abstract synthesis engine that is bootstrapped by an off-the-shelf weakly supervised model and an optimal synthesis algorithm guided by triangle alignment constraints, which represent consistency among natural language, visualization, and the synthesized program. Starting with a few tentative answers obtained from an off-the-shelf statistical model, our approach first involves an abstract synthesizer that generates a set of sketches that are consistent with the answers. Then we design an instance of optimal synthesis to complete one of the candidate sketches by satisfying common type constraints and maximizing the consistency among three parties, i.e., natural language, the visualization, and the candidate program. We implement the proposed idea in a system called POE that can answer visualization queries from natural language. Our method is fully automated and does not require users to know the underlying schema of the visualizations. We evaluate POE on 629 visualization queries and our experiment shows that Poe outperforms state-of-the-arts by improving the accuracy from 44% to 59%.

关键词： Program Synthesis Visualization Machine Learning Natural language Processing

来源：评论

学校读者我要写书评

暂无评论

ADA: a tool for visualizing the architectural overview of open-source repositories 11

ADA: a tool for visualizing the architectural overview of op...

引用

11th acm sigplan International Workshop on the State Of the Art in Program Analysis, SOAP 2022, co-located with the 43rd acm sigplan International conference on programming language design and implementation, PLDI 2022

作者： Misu, Md Rakib Hossain Janjanin, Aleksandar Saša Bian, Zhiqiang Burlacu, Valentin-Sebastian Anteski, Naum University College London United Kingdom

ISBN: (纸本)9781450392747

Writing highly maintainable and efficient software code is becoming increasingly difficult, especially while following the rapid, agile development process and working in a distributed team. One of the key indicators of that inefficient software design is a high degree of code coupling, which leads to unwanted side-effects during refactoring and acts as a burden during future development. To alleviate these problems, we developed a visualization tool, ADA, that statically analyzes an open-source repository and seeks to address the issue of code coupling by providing developers with a powerful graphic representation. ADA showcases the relationships and the degree of inter-connectivity between the classes. ADA will ultimately guide developers to instantly locate the coupled area and assist them in decoupling it. © 2022 acm.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

SOAP 2022 - Proceedings of the 11th acm sigplan International Workshop on the State Of the Art in Program Analysis, co-located with PLDI 2022

SOAP 2022 - Proceedings of the 11th ACM SIGPLAN Internationa...

引用

ISBN: (纸本)9781450392747

The proceedings contain 7 papers. The topics discussed include: BinFPE: accurate floating-point exception detection for GPU applications;modeling code manipulation in JIT compilers;statically detecting data leakages in data science code;ensuring determinism in blockchain software with GoLiSA: an industrial experience report;ADA: a tool for visualizing the architectural overview of open-source repositories;abstract interpretation of Michelson smart-contracts;and towards an implementation of differential dynamic logic in PVS.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards an implementation of differential dynamic logic in PVS 11

Towards an implementation of differential dynamic logic in P...

引用

作者： Slagel, J. Tanner Muñoz, César Balachandran, Swee Moscato, Mariano Dutle, Aaron Masci, Paolo White, Lauren Nasa Langley Research Center United States National Institute of Aerospace United States

ISBN: (纸本)9781450392747

This paper describes an ongoing effort to embed and verify differential dynamic logic (dL) in the Prototype Verification System (PVS). dL is a logic for specifying and formally reasoning about hybrid systems, i.e., systems that employ both continuous and discrete dynamics. There are several benefits of this effort. First, the embedding of dL in PVS offers an independent formal verification of the semantics and inference rules of dL. Second, the embedding is fully operational within PVS, giving PVS practitioners the ability to use dL in the formal specification and verification of hybrid systems. Third, the rich specification language, type system, and powerful interactive prover of PVS can be used on dL objects. In addition to the embedding and verification of dL, a custom extension for Visual Studio Code has been developed, so that a stylized dL syntax can be used to specify hybrid programs and their properties. © 2022 acm.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

JAX Based Parallel Inference for Reactive Probabilistic programming 2022

JAX Based Parallel Inference for Reactive Probabilistic Prog...

引用

23rd International conference on languages, Compilers, and Tools for Embedded System (LCTES)

作者： Baudart, Guillaume Mandel, Louis Tekin, Reyyan PSL Univ DI ENS Ecole Normale Super CNRSInria Paris France IBM Res Armonk NY USA

ISBN: (纸本)9781450392662

ProbZelus is a synchronous probabilistic language for the design of reactive probabilistic models in interaction with an environment. Reactive inference methods continuously learn distributions over the unobserved parameters of the model from statistical observations. Unfortunately, this inference problem is in general intractable. Monte Carlo inference techniques thus rely on many independent executions to compute accurate approximations. These methods are expensive but can be parallelized. We propose to use JAX to parallelize ProbZelus reactive inference engine. JAX is a recent library to compile Python code which can then be executed on massively parallel architectures such as GPUs or TPUs. In this paper, we describe a new reactive inference engine implemented in JAX and the new associated JAX backend for ProbZelus. We show on existing benchmarks that our new parallel implementation outperforms the original sequential implementation for a high number of particles.

关键词： Probabilistic programming Reactive programming Streaming Inference Parallel Computing Compilation

来源：评论

学校读者我要写书评

暂无评论

language Transformations in the Classroom 28

Language Transformations in the Classroom

引用

43rd acm sigplan International conference on programming language design and implementation (PLDI)

作者： Cimini, Matteo Mourad, Benjamin Univ Massachusetts Lowell Lowell MA 01854 USA

language transformations are algorithms that take a language specification in input, and return the language specification modified. language transformations are useful for automatically adding features such as subtyping to programming languages (PLs), and for automatically deriving abstract machines. In this paper, we set forth the thesis that teaching programming languages features with the help of language transformations, in addition to the planned material, can be beneficial for students to help them deepen their understanding of the features being taught. We have conducted a study on integrating language transformations into an undergraduate PL course. We describe our study, the material that we have taught, and the exam submitted to students, and we present the results from this study. Although we refrain from drawing general conclusions on the effectiveness of language transformations, this paper offers encouraging data. We also offer this paper to inspire similar studies.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

MAPL 2019 - Proceedings of the 3rd acm sigplan International Workshop on Machine Learning and programming languages, co-located with PLDI 2019

MAPL 2019 - Proceedings of the 3rd ACM SIGPLAN International...

引用

3rd acm sigplan International Workshop on Machine Learning and programming languages, MAPL 2019, co-located with PLDI 2019

ISBN: (纸本)9781450367196

The proceedings contain 5 papers. The topics discussed include: machine learning in python with no strings attached;triton: an intermediate language and compiler for tiled neural network computations;HackPPL: a universal probabilistic programming language;neural query expansion for code search;and a case study on machine learning for synthesizing benchmarks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

design of a Deep Q-Network Based Simulation System for Actuation Decision in Ambient Intelligence 33rd

Design of a Deep Q-Network Based Simulation System for Actua...

引用

33rd International conference on Advanced Information Networking and Applications, AINA 2019

作者： Oda, Tetsuya Ueda, Chiaki Ozaki, Ryo Katayama, Kengo 1-1 Ridaicho Kita-ku Okayama 700–0005 Japan

ISBN: (纸本)9783030150341

Ambient Intelligence (AmI) deals with a new world of ubiquitous computing devices, where physical environments interact intelligently and unobtrusively with people. AmI environments can be diverse, such as homes, offices, meeting rooms, schools, hospitals, control centers, vehicles, tourist attractions, stores, sports facilities, and music devices. This paper presents design and implementation of a simulation system based on Deep Q-Network (DQN) for actuation decision in AmI. DQN is a deep neural network structure used for estimation of Q-value of the Q-learning method. We implemented the proposed simulating system by Rust programming language. We describe the design and implementation of the simulation system, and show some simulation results to evaluate its performance. © 2019, Springer Nature Switzerland AG.

关键词： Ambient intelligence

来源：评论

学校读者我要写书评

暂无评论

A Hitchhiker’s guide to reinventing a prolog machine 33

A Hitchhiker’s guide to reinventing a prolog machine

引用

Technical Communications of the 33rd International conference on Logic programming, ICLP 2017

作者： Tarau, Paul Department of Computer Science and Engineering University of North Texas Denton United States

ISBN: (纸本)9783959770583

We take a fresh, "clean-room" look at implementing Prolog by deriving its translation to an executable representation and its execution algorithm from a simple Horn Clause meta-interpreter. The resulting design has some interesting properties. The heap representation of terms and the abstract machine instruction encodings are the same. No dedicated code area is used as the code is placed directly on the heap. Unification and indexing operations are orthogonal. Filtering of matching clauses happens without building new structures on the heap. Variables in function and predicate symbol positions are handled with no performance penalty. A simple English-like syntax is used as an intermediate representation for clauses and goals and the same simple syntax can be used by programmers directly as an alternative to classic Prolog syntax. Solutions of (multiple) logic engines are exposed as answer streams that can be combined through typical functional programming patterns, with flexibility to stop, resume, encapsulate and interleave executions. Performance of a basic interpreter implementing our design is within a factor of 2 of a highly optimized compiled WAM-based system using the same host language. To help placing our design on the fairly rich map of Prolog systems, we discuss similarities to existing Prolog abstract machines, with emphasis on separating necessary commonalities from arbitrary implementation choices. © Paul Tarau

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共7页 << < 1 2 3 4 5 6 7 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：