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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

633 篇 会议
68 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

581 篇 工学
- 482 篇 软件工程
- 440 篇 计算机科学与技术...
- 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 篇 临床医学

主题

107 篇 functional progr...
66 篇 languages
62 篇 computer program...
46 篇 design
35 篇 computer program...
32 篇 haskell
30 篇 programming
20 篇 object oriented ...
20 篇 dependent types
18 篇 functional react...
18 篇 theory
18 篇 programming lang...
17 篇 performance
14 篇 semantics
13 篇 domain-specific ...
12 篇 algorithms
12 篇 logic programmin...
11 篇 generic programm...
11 篇 verification
11 篇 continuations

机构

8 篇 carnegie mellon ...
7 篇 northeastern uni...
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 篇 dreyer derek
4 篇 peyton jones sim...
4 篇 walker david
3 篇 oliveira bruno c...
3 篇 dolstra eelco
3 篇 loh andres
3 篇 leshchinskiy rom...
3 篇 watanabe takuo

语言

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

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

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

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Poster Abstract: Landing-Type Aware Multi-Drone Route Generation for Last-Mile Delivery Service

Poster Abstract: Landing-Type Aware Multi-Drone Route Genera...

引用

IEEE/acm international conference on Cyber-Physical Systems (ICCPS)

作者： JiHyun Kwon BaekGyu Kim Yi-Ying Chen Chung-Wei Lin Dept. of Electrical Engineering and Computer Science DGIST Daegu South Korea Dept. of Computer Science and Information Engineering National Taiwan University Taipei Taiwan

ISBN: (数字)9798350369274

ISBN: (纸本)9798350369281

We consider the problem of generating delivery routes for multiple drones in the last-mile delivery service. In particular, the landing type—how a parcel is to be dropped off from a drone—is explicitly modeled in terms of the landing area and the landing time, which was not considered in other drone delivery works. A Mixed Integer Linear programming (MILP) problem is formulated to optimize the delivery route for each drone by minimizing the total delivery completion time. Our preliminary result shows that landing types affect the total delivery completion time significantly, even with a small number of drones. therefore, it is necessary to explicitly consider the characteristics of landing types for more realistic delivery route generation of a large number of drones.

关键词： Cyber-physical systems Mixed integer linear programming Drones

来源：评论

学校读者我要写书评

暂无评论

thermal Comfort-aware Aggregation via Multi-HVAC Systems for Demand-side Flexibility 24

Thermal Comfort-aware Aggregation via Multi-HVAC Systems for...

引用

Proceedings of the 15th acm international conference on Future and Sustainable Energy Systems

作者： Ren Sasaki Shotaro Nonaka Dafang Zhao Hiroki Nishikawa Ittetsu Taniguchi Takao Onoye Osaka University Japan

ISBN: (纸本)9798400704802

this paper proposes a thermal comfort-aware demand-side flexibility-oriented Heating, Ventilation, and Air Conditioning (HVAC) aggregation method. It aims to balance maximizing occupants’ thermal comfort with generating demand-side flexibility by adjusting HVAC temperature setpoints. the approach involves formulating the problem through Linear programming (LP) to optimize HVAC operation schedules while considering thermal comfort. Our simulation results demonstrate that our approach significantly generates the flexibility while maintaining thermal comfort among users.

关键词： HVAC aggregation demand-side flexibility linear programming thermal comfort

来源：评论

学校读者我要写书评

暂无评论

Representing Computational Relations in Knowledge Graphs Using functional Languages 15

Representing Computational Relations in Knowledge Graphs Usi...

引用

15th international conference on Spatial Information theory, COSIT 2022

作者： Qi, Yanmin Du, Heshan Farjudian, Amin Zhu, Yunqiang School of Computer Science University of Nottingham Ningbo China State Key Laboratory of Resources and Environmental Information System Institute of Geographic Sciences and Natural Resources Research Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China

ISBN: (纸本)9783959772570

Knowledge representation is the cornerstone of constructing a geoscience knowledge graph (GKG). the existing representations of spatial and computational relations in GKGs, however, are inadequate. In this paper, we use Dimensionally Extended Nine-Intersection Model (DE-9IM) to represent spatial topological relations. To represent computational relations, we use typed lambda calculus via its implementation in the functional language Haskell, in which functions are first-class primitives. We exemplify our ideas through some basic examples in Haskell. © 2022 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

MonoSR: A Monoidal-Monad Pattern for Bridging Gaps in Developer Communication and Code Semantics

MonoSR: A Monoidal-Monad Pattern for Bridging Gaps in Develo...

引用

international conference on Cognitive Infocommunications (CogInfoCom)

作者： Ádám B. Csapó Corvinus Institute for Advanced Studies & Institute of Data Analytics and Information Systems Corvinus University of Budapest Budapest Hungary Hungarian Research Network Budapest Hungary

ISBN: (数字)9798350378245

ISBN: (纸本)9798350378252

Category theory is a branch of mathematics that focuses on understanding and organizing mathematical concepts at a high level, with an emphasis on the structural and functional relationships between different mathematical entities. Despite its highly abstract nature, category theory has proven valuable in various technical fields, including software architecture design. However, these concepts often remain confined to purely functional languages due to their steep learning curve and the lack of widely applicable design patterns, limiting their adoption in mainstream programming languages. In this paper, we introduce a design pattern that reinterprets and integrates the State and Reader monads with monoidal data types, creating a powerful abstraction for describing and conveying program intent. We show that this pattern is versatile, applicable across different programming languages, and capable of expressing a wide range of functionalities. Additionally, we argue that adopting this pattern can lead to clearer code semantics, thus improving communication among developers.

关键词： Computer languages Codes Limiting Software architecture Semantics Mathematics functional programming Standards

来源：评论

学校读者我要写书评

暂无评论

MIF: Optimizing Information Freshness in Intermittently Connected Sensor Networks 15

MIF: Optimizing Information Freshness in Intermittently Conn...

引用

15th acm international conference on Underwater Networks & Systems

作者： Luu, Howard Ngo, Hung Tang, Bin Beheshti, Mohsen Calif State Univ Dominguez Hills Dept Comp Sci Carson CA 90747 USA

ISBN: (纸本)9781450395625

We study how to maximize information freshness in intermittently connected sensor networks (ICSNs). ICSNs are emerging sensing applications and systems that are deployed in challenging environments (e.g., underwater exploration). Due to the inaccessibility of the environments, the newly generated data in ICSNs must be stored inside the network before uploading opportunities (e.g., autonomous underwater vehicles (AUVs)) become available. How to accurately quantify and effectively achieve the freshness of information stored in ICSNs pose a new challenge. We propose an algorithmic framework, referred to as MIF: maximization of information freshness, to maximize the freshness of data packets stored in ICSNs while incurring a minimum amount of energy cost in this process. We first formulate an integer linear programming (ILP) problem to solve MIF optimally. We then propose a more time-efficient greedy algorithm. Finally, simulation results show that our algorithms achieve information freshness for ICSNs under different network parameters while incurring minimum energy consumptions.

关键词： Information freshness network flows integer linear programming intermittently connected sensor networks

来源：评论

学校读者我要写书评

暂无评论

ConCert: A Smart Contract Certification Framework in Coq 2020

ConCert: A Smart Contract Certification Framework in Coq

引用

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

作者： Annenkov, Danil Nielsen, Jakob Botsch Spitters, Bas Aarhus Univ Concordium Blockchain Res Ctr Aarhus Denmark

ISBN: (纸本)9781450370974

We present a new way of embedding functional languages into the Coq proof assistant by using meta-programming. this allows us to develop the meta-theory of the language using the deep embedding and provides a convenient way for reasoning about concrete programs using the shallow embedding. We connect the deep and the shallow embeddings by a soundness theorem. As an instance of our approach, we develop an embedding of a core smart contract language into Coq and verify several important properties of a crowd-funding contract based on a previous formalisation of smart contract execution in blockchains.

关键词： certified programming software correctness Coq smart contracts blockchain functional programming languages

来源：评论

学校读者我要写书评

暂无评论

Logical Optimisation and Cost Modelling of Stream-Processing Programs Written in a Purely-functional Framework

Logical Optimisation and Cost Modelling of Stream-Processing...

引用

IEEE international conference on Utility and Cloud Computing (UCC)

作者： Jonathan Dowland Paul Watson Adam Cattermole Red Hat Inc. 3 Science Square Newcastle Helix Newcastle upon Tyne United Kingdom National Innovation Centre for Data 3 Science Square Newcastle Helix Newcastle upon Tyne United Kingdom School of Computing Newcastle University Urban Sciences Building 1 Science Square Newcastle Helix Newcastle upon Tyne United Kingdom

We present a vision for the automatic optimisation of distributed stream processing programs. StrIoT -a distributed stream-processing framework built using purely-functional programming – enables a set of validated logical optimisation rules to generate a set of possible deployment plans. A cost model then filters and ranks the plans before the best is automatically deployed across the cloud and edge devices. We describe StrIoT’s functional operators for writing stream-processing programs; the design, implementation and performance of StrIoT’s logical optimiser; and the cost model, which filters and ranks re-written programs and deployment plans in terms of two non-functional requirements: bandwidth and cost. the StrIoT vision is being explored through an open-source proof-of-concept implementation. We present our initial results with a motivating example before outlining the success criteria for future work in this area.

关键词： Performance evaluation Cloud computing Costs Semantics Bandwidth Writing programming

来源：评论

学校读者我要写书评

暂无评论

Playground: A Safe Building Operating System

Playground: A Safe Building Operating System

引用

IEEE/acm international conference on Cyber-Physical Systems (ICCPS)

作者： Xiaohan Fu Yihao Liu Jason Koh Dezhi Hong Rajesh Gupta Gabe Fierro University of California San Diego USA Nanyang Technology University Singapore Mapped USA Amazon USA Colorado School of Mines USA

ISBN: (数字)9798350369274

ISBN: (纸本)9798350369281

Building operating systems are an emerging class of system software that provides services to applications running on commercial buildings. the current state-of-the-art requires applications to be trusted and carefully monitored due to a lack of authorization, access control, and execution isolation mechanisms in existing building operating systems. Proposed solutions do not adequately handle the complexity and scale of modern buildings, therefore impeding the adoption of applications that can enhance energy efficiency, occupant health, comfort, and *** work explores the execution of untrusted user-facing applications in smart building environments with a focus on maintenance and management labor costs, ensuring the practicality and long-term sustainability of adopting such applications. We develop an operating system abstraction for smart buildings, PlayGround, that incorporates a structured semantic representation of the building to inform the safe, multi-tenant execution of untrusted applications. We use the semantic representation to implement (a) a novel graph-based capability mechanism for fine-grained and expressive access control management, and (b) a resource isolation mechanism with preemptive interventions and passive telemetry-based live resource monitoring. We demonstrate PlayGround on several real applications in a real building.

关键词： Smart buildings Costs Operating systems Buildings Semantics programming Maintenance

来源：评论

学校读者我要写书评

暂无评论

Energy Storage Market Power Withholding Bounds in Real-time Markets 24

Energy Storage Market Power Withholding Bounds in Real-time ...

引用

Proceedings of the 15th acm international conference on Future and Sustainable Energy Systems

作者： Zhiyi Zhou Ningkun Zheng Runfan Zhang Bolun Xu Xi'an Jiaotong University China Columbia University USA

ISBN: (纸本)9798400704802

this paper analyzes the economic withholding behavior of energy storage that exercises market power in real-time electricity markets. the arbitrage problem for storage considers a general price sensitivity model to quantify market power. We apply a stochastic dynamic programming model to calculate the marginal state of charge (SoC) value function as the opportunity cost, which can be used as the benchmark for bids. Furthermore, we derive the formulation of the market power economic withholding upper bound in a similar recursive way, which shows the maximum difference between the bids under the assumptions of exercising and not exercising market power. We prove that this bound is only based on the future peak and current price expectations, regardless of the price sensitivity model and distribution type of price uncertainty. We validate our results in simulation under both linear and nonlinear price sensitivity models, based on the real-time price data from the New York Independent System Operator.

关键词： Dynamic programming Energy storage Market power Power system economics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：