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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

187 篇 会议
7 册 图书
4 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

157 篇 工学
- 147 篇 计算机科学与技术...
- 95 篇 软件工程
- 12 篇 电气工程
- 8 篇 控制科学与工程
- 6 篇 信息与通信工程
- 6 篇 化学工程与技术
- 3 篇 机械工程
- 2 篇 电子科学与技术（可...
- 2 篇 生物医学工程（可授...
- 1 篇 力学（可授工学、理...
- 1 篇 光学工程
- 1 篇 材料科学与工程（可...
- 1 篇 土木工程
- 1 篇 农业工程
- 1 篇 环境科学与工程（可...
22 篇 理学
- 17 篇 数学
- 3 篇 物理学
- 3 篇 生物学
- 3 篇 系统科学
12 篇 管理学
- 8 篇 管理科学与工程(可...
- 3 篇 图书情报与档案管...
- 2 篇 工商管理
2 篇 文学
- 2 篇 外国语言文学
1 篇 经济学
- 1 篇 应用经济学
1 篇 农学
- 1 篇 作物学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...
1 篇 艺术学
- 1 篇 艺术学理论
- 1 篇 音乐与舞蹈学

主题

41 篇 logic programmin...
22 篇 functional progr...
13 篇 semantics
7 篇 temporal logic
6 篇 computer science
5 篇 automatic contro...
4 篇 computer circuit...
4 篇 model checking
4 篇 software enginee...
4 篇 mathematical log...
4 篇 hardware
4 篇 programming lang...
4 篇 specification la...
4 篇 dynamic programm...
4 篇 computer program...
3 篇 fuzzy logic
3 篇 formal logic
3 篇 logic gates
3 篇 computational mo...
3 篇 real-time system...

机构

2 篇 cinvestav gdl de...
2 篇 departamento de ...
2 篇 univ complutense...
2 篇 carnegie mellon ...
2 篇 univ limerick le...
2 篇 nara inst sci & ...
2 篇 univ tokyo
2 篇 cau kiel inst in...
2 篇 tu dortmund univ...
2 篇 univ london impe...
1 篇 univ augsburg de...
1 篇 telecom bretagne...
1 篇 univ innsbruck i...
1 篇 department of co...
1 篇 univ pisa dipart...
1 篇 tu dortmund univ...
1 篇 univ pisa dept c...
1 篇 department of ma...
1 篇 katholieke univ ...
1 篇 univ southern ca...

作者

4 篇 steffen bernhard
3 篇 kobayashi naoki
2 篇 jain v
2 篇 nishitani h
2 篇 stuckey peter j.
2 篇 vidal g
2 篇 albert e
2 篇 grossman ie
2 篇 imafuku k
2 篇 lano k
2 篇 vidal german
2 篇 chavoya a
2 篇 neubauer johanne...
2 篇 sanchez a
2 篇 harjunkoski i
2 篇 ramakrishnan i.v...
2 篇 naujokat stefan
2 篇 hanus m
2 篇 margaria tiziana
2 篇 antoniou grigori...

语言

194 篇 英文
4 篇 其他

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

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

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

详细简洁

排序：

Generating C System Description 16th

Generating C System Description

引用

16th international symposium on functional and logic programming (FLOPS)

作者： Kiselyov, Oleg Tohoku Univ Sendai Miyagi Japan

ISBN: (纸本)9783030994600;9783030994617

Heterogeneous metaprogramming is using a generally higherlevel host language to generate code in a lower-lever object language. Its appeal is taking advantage of the module system, higher-order functions, data types, type system and verification tools of the host language to quicker produce high-performant lower-level code with some correctness guarantees. We present two heterogeneous metaprogramming systems whose host language is OCaml and object language is C. the first relies on offshoring: treating a subset of (MetaOCaml-generated) OCaml as a different notation for (a subset of) C. the second embeds C in OCaml in tagless-final style. the systems have been used in several projects, including the generation of C supersets OpenCL and OpenMP. Generating C with some correctness guarantees is far less trivial than it may appear, with pitfalls abound. Not coincidentally, the most subtle ones accompany the introduction of variables into the code. Maintaining the offshoring system has traps of its own. We expound the pitfalls we have came across in our experience, and describe counter-measures.

关键词： Application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

Temporal logic Guided Affordance Learning for Generalizable Dexterous Manipulation

Temporal Logic Guided Affordance Learning for Generalizable ...

引用

international symposium on Autonomous Systems (ISAS)

作者： Hao Zhang Hao Wang Tangyu Qian Zhen Kan Department of Automation University of Science and Technology of China Hefei China

ISBN: (数字)9798350363173

ISBN: (纸本)9798350363180

Reinforcement learning has shown great potential to address long-horizon tasks. However, most existing work lacks the ability to reason about functional parts of objects and extract the task semantics to facilitate robotic learning, making it difficult to achieve category-level generalization even on seen objects. To address these issues, we develop a temporal logic guided affordance learning framework for generalizable dexterous manipulations (TALD). In particular, TALD is equipped with affordance learning for predicting actionable information and LTL representation for understanding the task semantics and improving learning efficiency. We design a contact predictor from the affordance learning perspective to improve the generalization performance, which predicts the max-affordance point observation based on the 3D point clouds to guide the agent to manipulate the functional part of objects. And we exploit the LTL progression to construct a task-driven labeled POMDP to address the challenge of a non-Markovian reward function, and design a task module to extract the LTL representation by Transformer Encoder to improve the sampling efficiency and facilitate the robotic learning. We validate the proposed method in four articulated manipulation scenarios. the generalization performance corresponding to success rates and visualization effects show the effectiveness of TALD. Our project is available at: https://***/view/tald-0257/.

关键词： Point cloud compression Visualization three-dimensional displays Affordances Semantics Reinforcement learning Transformers

来源：评论

学校读者我要写书评

暂无评论

On the Relationship between Dijkstra Monads and Higher-Order Fixpoint logic 34th

On the Relationship between Dijkstra Monads and Higher-Order...

引用

34th European symposium on programming, ESOP 2025, which was held as part of the international Joint Conferences on theory and Practice of Software, ETAPS 2025

作者： Yamada, Risa Kobayashi, Naoki Sakayori, Ken Sato, Ryosuke The University of Tokyo Tokyo Japan Tokyo University of Agriculture and Technology Tokyo Japan

ISBN: (纸本)9783031911200

We study the relationship between two approaches to higher-order program verification: a semi-automated method using Dijkstra monads and a fully automated method using a higher-order fixpoint logic called HFL(Z). Although the origins of both approaches are quite different, there are some striking similarities: both convert programs to corresponding predicate transformers, and the conversion is essentially obtained by a CPS transformation. After reviewing the two approaches, we formalize an exact correspondence between the two for a restricted fragment of a functional language. We also point out that, outside the restricted fragment, there are some important differences between the two approaches, suggesting the need for cross-fertilization to obtain the best of the two approaches. As an example of the cross-fertilization, we also propose a semi-automated verification method, which requires less annotations than the Dijkstra monad approach and can scale to larger programs than the HFL(Z) approach. © the Author(s) 2025.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Python-LTspice Co-Simulation to Train Neural Networks with Memristive Synapses to Learn logic Gate Operations 7

Python-LTspice Co-Simulation to Train Neural Networks with M...

引用

7th IEEE international symposium on Smart Electronic Systems (IEEE-iSES)

作者： Kumar, Shubham Das, Devarshi Mrinal Indian Inst Technol Ropar Dept Elect Engn Rupnagar Punjab India

ISBN: (纸本)9781728187532

Neuromorphic computing attempts to mimic the neural architecture of human brain by delivering a non vonNeumann hardware which can run even the most complex artificial intelligence algorithms at extremely fast computational speeds at power requirement as low in order as few tens of watts just like the human brain does. Since the brain is a complex mesh of millions of neurons communicating via the synapses and spiking signals in between them, there is a requirement of a circuit based memory element which can play the role of these synapses in electronic circuits. the memristors with there unique pinched hysteresis property have been proposed and modelled to act as these synapses. this paper introduces LTspice modelling of a simple artificial neural network with memristive synapses and training it for the universal gates-NOR and NAND by providing a mechanism for interpreting the compressed binary data generated by parametric LTspice simulations. the results show potential for application in many other crucial neuromorphic simulations and their numeric interpretation using the tool developed for Co-simulation of LTspice with the open source programming language, Python.

关键词： Spiking neuromorphic computing Artificial neural network Python-LTspice co-simulation multilayer perceprtron (MLP) crossbar universal gate

来源：评论

学校读者我要写书评

暂无评论

On the Effectiveness of Higher-Order logic programming in Language-Oriented programming 15th

On the Effectiveness of Higher-Order Logic Programming in La...

引用

15th international symposium on functional and logic programming (FLOPS)

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

ISBN: (纸本)9783030590246;9783030590253

In previous work we have presented lang-n-play, a functional language-oriented programming language with languages as first-class-citizens. Language definitions can be bound to variables, passed to and returned by functions, and can be modified at run-time before being used. lang-n-play programs are compiled and executed in the higher-order logic programming ***. In this paper, we describe our compilation methods, which highlight how the distinctive features of higher-order logic programming are a great fit in implementing a language-oriented programming language.

关键词： Higher-order logic programming Language-oriented programming functional programming

来源：评论

学校读者我要写书评

暂无评论

Mobile Game programming in Haskell 7

Mobile Game Programming in Haskell

引用

7th ACM SIGPLAN international Workshop on functional Art, Music, Modeling, and Design (FARM)

作者： Zeller, Christina Perez, Ivan Keera Studios Ltd Nottingham England

ISBN: (纸本)9781450368117

the use of pure functional languages for interactive applications, especially mobile applications and games, is still rare. Reasons include the lack of libraries and frameworks that implement necessary features, poor integration with existing toolchains, and the lack of examples that demonstrate how to best structure large interactive applications in a way that is scalable in terms of performance and modularity. In this paper we identify three specific challenges that limit the application of functional programming specifically to mobile apps and games: purity, compositionality, and abstraction. We discuss solutions to these problems, and propose a framework for mobile app programming that completely separates logic from IO, resulting in an architecture that is referentially transparent, modular, scalable, backend agnostic and trivial to test. We implement this proposal in FAWN, a collection of libraries that provide higher-level notions needed in commercial applications, like resource management, widgets, storing user preferences, audio playing, image rendering, and composable applications. We have verified the suitability of this approach by using it to build, in Haskell, six mobile games for iOS and Android.

关键词： functional programming game programming mobile applications games Haskell

来源：评论

学校读者我要写书评

暂无评论

Transformational verification of quicksort 8

Transformational verification of quicksort

引用

8th international Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020

作者： de Angelis, Emanuele Fioravanti, Fabio Proietti, Maurizio CNR IASI Via dei Taurini 19 Roma00185 Italy DEC University "G. d'Annunzio" of Chieti-Pescara Viale Pindaro 42 Pescara65127 Italy

Many transformation techniques developed for constraint logic programs, also known as constrained Horn clauses (CHCs), have found new useful applications in the field of program verification. In this paper, we work out a nontrivial case study through the transformation-based verification approach. We consider the familiar Quicksort program for sorting lists, written in a functional programming language, and we verify the pre/postconditions that specify the intended correctness properties of the functions defined in the program. We verify these properties by: (1) translating them into CHCs, (2) transforming the CHCs by removing all list occurrences, and (3) checking the satisfiability of the transformed CHCs by using the Eldarica solver over booleans and integers. the transformation mentioned at Point (2) requires an extension of the algorithms for the elimination of inductively defined data structures presented in previous work, because during one stage of the transformation we use as lemmas some properties that have been proved at previous stages. © E. De Angelis, F. Fioravanti & M. Proietti this work is licensed under the Creative Commons Attribution License.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 2019 7th international Conference in Software Engineering Research and Innovation, CONISOFT 2019

Proceedings - 2019 7th International Conference in Software ...

引用

7th international Conference in Software Engineering Research and Innovation, CONISOFT 2019

ISBN: (纸本)9781728125244

the proceedings contain 27 papers. the topics discussed include: a novel approach for software requirement prioritization;a novel approach for software requirement prioritization based upon non functional requirements;evaluating the software quality non-functional requirement through a fuzzy logic-based model based on the ISO/IEC 25000 (SQuaRE) standard;when software engineering meets cybersecurity at the classroom;what is programming? putting all together, part II the cognitive skills associated;and exploring software design skills of students in different stages of their curriculum.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Orchestrating Near-Data FPGA Accelerators using Unix Pipes 7

Orchestrating Near-Data FPGA Accelerators using Unix Pipes

引用

7th international symposium on Computing and Networking (CANDAR)

作者： Schmid, Robert Plauth, Max Wenzel, Lukas Eberhardt, Felix Polze, Andreas Univ Potsdam Hasso Plattner Inst Digital Engn Operating Syst & Middleware Grp Potsdam Germany

ISBN: (纸本)9781728152684

Near-data accelerators play an important role in satisfying the ever growing demand for compute resources. However, for an efficient integration of near-data computing resources into applications, a flexible programming model and suitable abstractions on the operating system level are required. this paper presents Metal FS, a framework that enables users and applications to orchestrate computations on a NVMe+FPGA near-data computing device through standard shell syntax, including the pipe operator. A user-space NVMe file system interface exposes the storage resources of the NVMe+FPGA accelerator. Computation pipelines expressed on the shell are mapped to pre-defined functional elements of a coarse-grained FPGA overlay, enabling data transformations to be performed in proximity to the data source. Overall, Metal FS greatly increases developer productivity for applications targeting near-data computing accelerators.

关键词： Near-Data Computing FPGA programming Model

来源：评论

学校读者我要写书评

暂无评论

Open Piping: Towards an Open Visual Workflow Environment 1

引用

7th international symposium on End-User Development, IS-EUD 2019

作者： Boisvert, Charles Roast, Chris Uruchurtu, Elizabeth Department of Computing Communication and Computing Research Centre Sheffield Hallam University City Campus Howard Street SheffieldS1 1WB United Kingdom

ISBN: (数字)9783030247812

ISBN: (纸本)9783030247805

the most popular visual programming tools focus on procedural, object-oriented and event-based programming. this paper describes a boxes-and-wires functional programming tool, aimed to be accessible to novice programmers, while also supporting open access to the specified processes, executable programs and results for study and deployment. © 2019, Springer Nature Switzerland AG.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：