咨询与建议

限定检索结果

文献类型

  • 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
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 ... 详细信息
来源: 评论
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
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 te... 详细信息
来源: 评论
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
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 generat... 详细信息
来源: 评论
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
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 u... 详细信息
来源: 评论
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
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 mathemat... 详细信息
来源: 评论
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
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 e... 详细信息
来源: 评论
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
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 convenie... 详细信息
来源: 评论
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 l... 详细信息
来源: 评论
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
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 carefull... 详细信息
来源: 评论
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
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 qu... 详细信息
来源: 评论