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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

687 篇 会议
67 篇 期刊文献
5 册 图书

馆藏范围

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

日期分布

学科分类号

584 篇 工学
- 500 篇 软件工程
- 440 篇 计算机科学与技术...
- 38 篇 控制科学与工程
- 34 篇 电气工程
- 20 篇 信息与通信工程
- 10 篇 生物工程
- 8 篇 建筑学
- 6 篇 机械工程
- 6 篇 材料科学与工程（可...
- 6 篇 电子科学与技术（可...
- 6 篇 土木工程
- 6 篇 生物医学工程（可授...
- 4 篇 动力工程及工程热...
- 4 篇 化学工程与技术
85 篇 理学
- 61 篇 数学
- 16 篇 生物学
- 8 篇 物理学
- 6 篇 统计学（可授理学、...
- 5 篇 化学
37 篇 管理学
- 22 篇 图书情报与档案管...
- 16 篇 管理科学与工程(可...
- 11 篇 工商管理
27 篇 教育学
- 27 篇 教育学
8 篇 法学
- 8 篇 社会学
6 篇 医学
- 5 篇 临床医学
- 3 篇 基础医学(可授医学...
6 篇 艺术学
- 6 篇 音乐与舞蹈学
- 4 篇 艺术学理论
5 篇 农学
- 5 篇 作物学
3 篇 经济学
- 3 篇 应用经济学

主题

102 篇 functional progr...
66 篇 languages
52 篇 computer program...
42 篇 design
31 篇 haskell
30 篇 object oriented ...
27 篇 programming
26 篇 computer program...
20 篇 dependent types
19 篇 logic programmin...
19 篇 theory
17 篇 functional react...
16 篇 parallel program...
16 篇 dynamic programm...
15 篇 aspect oriented ...
14 篇 performance
13 篇 generic programm...
13 篇 semantics
13 篇 verification
13 篇 programming lang...

机构

7 篇 portland state u...
6 篇 northeastern uni...
6 篇 microsoft res ca...
5 篇 univ penn philad...
5 篇 chalmers univ te...
4 篇 inria
4 篇 indiana univ blo...
4 篇 university of ch...
4 篇 carnegie mellon ...
3 篇 department of pr...
3 篇 ecole polytech f...
3 篇 univ edinburgh e...
3 篇 univ cambridge c...
3 篇 univ strathclyde...
3 篇 carnegie mellon ...
3 篇 univ new s wales...
3 篇 microsoft resear...
3 篇 ibm research
3 篇 carnegie mellon ...
3 篇 univ cambridge c...

作者

6 篇 figueroa ismael
6 篇 krishnaswami nee...
5 篇 claessen koen
5 篇 tabareau nicolas
5 篇 jones mark p.
5 篇 tanter éric
4 篇 flatt matthew
4 篇 xi hw
4 篇 mcbride conor
4 篇 sheeran mary
4 篇 vafeiadis viktor
4 篇 weirich stephani...
4 篇 jeuring johan
4 篇 chlipala adam
4 篇 hudak paul
4 篇 keller gabriele
4 篇 findler robert b...
4 篇 walker david
3 篇 o'connor liam
3 篇 leshchinskiy rom...

语言

690 篇 英文
65 篇 其他
2 篇 葡萄牙文
2 篇 中文

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

共 759 条记录，以下是31-40 订阅

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

详细简洁

排序：

Higher-Order Concurrency for Microcontrollers 18

Higher-Order Concurrency for Microcontrollers

引用

18th acm sigplan international conference on Managed programming Languages and Runtimes (MPLR)

作者： Sarkar, Abhiroop Krook, Robert Svensson, Bo Joel Sheeran, Mary Chalmers Univ Gothenburg Sweden

ISBN: (纸本)9781450386753

programming microcontrollers involves low level interfacing with hardware and peripherals that are concurrent and reactive. Such programs are typically written in a mixture of C and assembly using concurrent language extensions (like FreeRTOS tasks and semaphores), resulting in unsafe, callback-driven, error-prone and difficult-to-maintain code. We address this challenge by introducing SenseVM - a bytecode-interpreted virtual machine that provides a message passing based higher-order concurrency model, originally introduced by Reppy, for microcontroller programming. this model treats synchronous operations as first-class values (called Events) akin to the treatment of first-class functions in functional languages. this primarily allows the programmer to compose and tailor their own concurrency abstractions and, additionally, abstracts away unsafe memory operations, common in shared-memory concurrency models, thereby making microcontroller programs safer, composable and easier-to-maintain. Our VM is made portable via a low-level bridge interface, built atop the embedded OS - Zephyr. the bridge is implemented by all drivers and designed such that programming in response to a software message or a hardware interrupt remains uniform and indistinguishable. In this paper we demonstrate the features of our VM through an example, written in a Caml-like functional language, running on the nRF52840 and STM32F4 microcontrollers.

关键词： concurrency virtual machine microcontrollers functional programming

来源：评论

学校读者我要写书评

暂无评论

Perpetual Sensor Networks with the Minimum Number of Mobile Chargers 23

Perpetual Sensor Networks with the Minimum Number of Mobile ...

引用

12th international Symposium on Information and Communication Technology, SOICT 2023

作者： Le, Minh Quang Nang Hung, Nguyen Nguyen, Kien Nguyen, Phi Le Do, Phan thuan School of Information and Communication Technology Hanoi University of Science and Technology Hai Ba Trung Hanoi Viet Nam Graduate School of Engineering Chiba University Chiba Japan

ISBN: (纸本)9798400708916

Wireless charging is a promising solution to resolving the energy constraint of wireless sensor networks. In a wireless rechargeable sensor network, mobile chargers (MCs) move around the network and charge the sensor nodes. this study focuses on the optimal deployment of MCs to perpetually maintain network operations. More specifically, we aim to determine the minimum number of MCs and their charging schedule to guarantee the perpetual lifetime of sensor nodes. To this end, we first mathematically formulate the targeted problem. We then propose a dynamic programming-based algorithm to determine the minimum number of MCs. Since the complexity of the dynamic programming-based algorithm is exponential, we introduce a lightweight algorithm based on local search. We conduct experiments to prove the effectiveness of the proposed algorithm compared to other alternatives. the experimental results show that our algorithm can reduce the number of sensors by at least 23.8% on average and 68% in the best case compared to the existing algorithms. In addition, we also perform theoretical analysis to derive the computational complexity of the proposed algorithm. © 2023 acm.

关键词： Dynamic 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

来源：评论

学校读者我要写书评

暂无评论

Application of Computer Artificial Intelligence Technology in the Manufacturing System of Aero-Powered Aircraft

Application of Computer Artificial Intelligence Technology i...

引用

2023 international conference on Internet of things, Robotics and Distributed Computing, ICIRDC 2023

作者： Bi, Yingpu Xu, Weichang Liu, Jifang Wu, Yake Hu, Zongchun High-tech Institude FanGong-ting South Street on the 12th Shandong Qingzhou262500 China

ISBN: (纸本)9798350375275

this project proposes a programmable logic-oriented algorithm to solve the difficult problem of coding generation of aircraft control system. the synchronous data flow computing model suitable for control system modeling is used to realize the cooperative communication between multiple functional modules in UAV control system. the spatial information fusion platform including physical space, transport layer, data layer, model layer, service layer and application layer is constructed. the dynamic programming method between multiple agents is used to solve the problem of motion trajectory optimization and cooperative task assignment among multiple agents. A multi-machine joint simulation platform with cluster collaboration is constructed and its performance is verified. the simulation results show that the system has high efficiency. © 2023 IEEE.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Enabling RAJA on Intel GPUs with SYCL 24

Enabling RAJA on Intel GPUs with SYCL

引用

12th international Workshop on OpenCL and SYCL, IWOCL 2024

作者： Homerding, Brian Vargas, Arturo Scogland, Tom Chen, Robert Davis, Mike Hornung, Rich Argonne National Laboratory United States Lawrence Livermore National Laboratory United States

ISBN: (纸本)9798400717901

To achieve high performance, modern HPC systems take advantage of heterogeneous GPU architectures. Often these GPUs are programmed using a vendor preferred parallel programming model. Unfortunately, this often results in application code that is not portable across vendors. To address this issue, open parallel programming models have been introduced. One such parallel programming model is provided by the RAJA Portability Suite. RAJA is a portability layer that provides an abstract application developer API as a library through modern C++. In RAJA, computational kernels are lowered down to a backend language appropriate for the target architecture. Additionally, RAJA is designed to provide control to the application developer over kernel execution while minimizing modification to the application source code. In this work, we describe the SYCL backend implementation in RAJA for Intel GPU execution. We discuss the implementation of various features in the SYCL backend along with the challenges and lessons learned. Finally, we investigate the performance impact of executing several HPC kernels through RAJA when compared to direct SYCL implementations. © 2024 acm.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Design and Development of a Text programming Teaching System for Primary school Students 14

Design and Development of a Text Programming Teaching System...

引用

14th international conference on Education Technology and Computers, ICETC 2022

作者： Ding, Guozhu Liu, Jiaxin Liu, Xuan Jiang, Tao Liang, Guanjian Guangzhou University China Foshan Nanhai Shimen Middle School China

ISBN: (纸本)9781450397766

Computational thinking (CT) is a key component of 21st century education. With that visual programming has become a major tool for primary school students to learn programming. In response to the current difficulties of primary school students in transitioning from visual programming learning to C++ programming learning, this paper develops an online programming teaching system based on the Goc programming for primary school students for introductory C++ programming learning (***). the system has the characteristics of visualization of programming results, game-based teaching and service of teaching. the usefulness and reliability of the system has been verified through its implementation in Foshan, Guangdong for nearly three years, which has helped in the teaching of programming. © 2022 acm.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

Enhancing programming Knowledge Tracing by Interacting programming Skills and Student Code 22

Enhancing Programming Knowledge Tracing by Interacting Progr...

引用

12th Annual international conference on Learning Analytics and Knowledge (LAK)

作者： Zhu, Mengxia Han, Siqi Yuan, Peisen Lu, Xuesong East China Normal Univ Sch Data Sci & Engn Shanghai Peoples R China Nanjing Agr Univ Coll Artificial Intelligence Nanjing Peoples R China

ISBN: (纸本)9781450395731

programming education has received extensive attention in recent years due to the increasing demand for programming ability in almost all industries. Educational institutions have widely employed online judges for programming training, which can help teachers automatically assess programming assignments by executing students' code with test cases. However, a more important teaching process with online judges should be to evaluate how students master each of the programming skills such as strings or pointers, so that teachers may give personalized feedback and help them proceed to the success more efficiently. Previous studies have adopted deep models of knowledge tracing to evaluate a student's mastery level of skills during the interaction with programming exercises. However, existing models generally follow the conventional assumption of knowledge tracing that each programming exercise requires only one skill, whereas in practice a programming exercise usually inspects the comprehensive use of multiple skills. Moreover, the feature of student code is often simply concatenated with other input features without the consideration of its relationship with the inspected programming skills. To bridge the gap, we propose a simple attention-based approach to learn from student code the features reflecting the multiple programming skills inspected by each programming exercise. In particular, we first use a program embedding method to obtain the representations of student code. then we use the skill embeddings of each programming exercise to query the embeddings of student code and form an aggregated hidden state representing how the inspected skills are used in the student code. We combine the learned hidden state with DKT (Deep Knowledge Tracing), an LSTM (Long Short-Term Memory)-based knowledge tracing model, and show the improvements over baseline model. We point out some possible directions to improve the current work.

关键词： programming education knowledge tracing code representation attention mechanism intelligent education

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic programming 8

How Attacker Knowledge Affects Privacy Risks: An Analysis Us...

引用

acm international Workshop on Security and Privacy Analytics (IWSPA) / 12th acm Annual conference on Data and Applications Security and Privacy (CODASPY)

作者： Halvorsen, Louise Steffensen, Siv L. Rafnsson, Willard Kulyk, Oksana Pardo, Raul IT Univ Copenhagen Copenhagen Denmark

ISBN: (纸本)9781450392303

Governments and businesses routinely disclose large amounts of private data on individuals, for data analytics. However, despite attempts by data controllers to anonymise data, attackers frequently deanonymise disclosed data by matching it with their prior knowledge. When is a chosen anonymisation method adequate? For this, a data controller must consider attackers befitting their scenario;how does attacker knowledge affect disclosure risk? We present a multi-dimensional conceptual framework for assessing privacy risks given prior knowledge about data. the framework defines three dimensions: distinctness (of input records), informedness (of attacker), and granularity (of anonymisation program output). We model three well-known types of disclosure risk: identity disclosure, attribute disclosure, and quantitative attribute disclosure. We demonstrate how to apply this framework in a health record privacy scenario: We analyse how informing the attacker with COVID-19 infection rates affects privacy risks. We perform this analysis using Privug, a method that uses probabilistic programming to do standard statistical analysis with Bayesian Inference.

关键词： privacy anonymization probabilistic programming health privacy

来源：评论

学校读者我要写书评

暂无评论

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?.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：