咨询与建议

限定检索结果

文献类型

  • 689 篇 会议
  • 70 篇 期刊文献
  • 5 册 图书

馆藏范围

  • 764 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 587 篇 工学
    • 503 篇 软件工程
    • 443 篇 计算机科学与技术...
    • 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 篇 应用经济学

主题

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

机构

  • 7 篇 portland state u...
  • 6 篇 northeastern uni...
  • 6 篇 microsoft res ca...
  • 5 篇 carnegie mellon ...
  • 5 篇 univ penn philad...
  • 5 篇 chalmers univ te...
  • 4 篇 inria
  • 4 篇 indiana univ blo...
  • 4 篇 university of ch...
  • 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 篇 dreyer derek
  • 4 篇 hudak paul
  • 4 篇 keller gabriele
  • 4 篇 findler robert b...
  • 4 篇 walker david
  • 3 篇 dolstra eelco

语言

  • 692 篇 英文
  • 68 篇 其他
  • 2 篇 葡萄牙文
  • 2 篇 中文
检索条件"任意字段=12th ACM SIGPLAN International Conference on Functional Programming"
764 条 记 录,以下是61-70 订阅
排序:
Design of Fuzzy System for Garbage Classification Based on Optimization Algorithm  12th
Design of Fuzzy System for Garbage Classification Based on O...
收藏 引用
12th international conference on Frontier Computing, FC 2022
作者: Ge, Zixuan Dai, Yaxun Wang, Junying Wang, Ning Shi, Bingbing Zhang, Ying School of Electrical Engineering North China University of Science and Technology Hebei Tangshan China School of Artificial Intelligence North China University of Science and Technology Hebei Tangshan China School of Economics North China University of Science and Technology Hebei Tangshan China Yisheng Innovation Education Base North China University of Science and Technology Hebei Tangshan China North China University of Science and Technology Hebei Tangshan China
the configuration of garbage collection facilities has a direct impact on the sorting effect. Although the configuration scheme of garbage collection facilities in the pilot city is very perfect, it is not applicable ... 详细信息
来源: 评论
the Problem(s) of Caring for the Commons  22
The Problem(s) of Caring for the Commons
收藏 引用
12th Nordic conference on Human-Computer Interaction: Participative Computing for Sustainable Futures, NordiCHI 2022
作者: Fritsch, Jonas Saad-Sulonen, Joanna Poderi, Giacomo Digital Design IT University of Copenhagen Denmark Digital Design Department IT University of Copenhagen Denmark
In the following critique, we attempt to engage with, reflect upon, and problematize how we might care for the commons by opening a discursive space for us as researchers to be touched by our troubled presence in a wo... 详细信息
来源: 评论
Judging a Type by Its Pointer: Optimizing GPU Virtual Functions  21
Judging a Type by Its Pointer: Optimizing GPU Virtual Functi...
收藏 引用
26th international conference on Architectural Support for programming Languages and Operating Systems (ASPLOS)
作者: Zhang, Mengchi Alawneh, Ahmad Rogers, Timothy G. Purdue Univ W Lafayette IN 47907 USA
Programmable accelerators aim to provide the flexibility of traditional CPUs with significantly improved performance. A wellknown impediment to the widespread adoption of programmable accelerators, like CPUs, is the s... 详细信息
来源: 评论
Towards Verifiable Multi-Agent Interaction Pattern Specification
Towards Verifiable Multi-Agent Interaction Pattern Specifica...
收藏 引用
FME Workshop on Formal Methods in Software Engineering (FormaliSE)
作者: Alberto Tagliaferro Livia Lestingi Matteo Rossi Politecnico di Milano Milan Italy
Smart cyber agents play a crucial role in software-intensive systems by monitoring their physical surroundings and making impactful decisions. this paper addresses the challenge of specifying multi-agent patterns, whi... 详细信息
来源: 评论
Language Models and Brain Alignment: Brain Encoding and Decoding  24
Language Models and Brain Alignment: Brain Encoding and Deco...
收藏 引用
Proceedings of the 8th international conference on Data Science and Management of Data (12th acm IKDD CODS and 30th COMAD)
作者: Subba Reddy Oota Raju Surampudi Bapi Inria Bordeaux IN International Institute of Information Technology Hyderabad Hyderabad IN
Can we obtain insights about the brain using AI models? How is the information in deep learning models related to brain recordings? Can we improve AI models with the help of brain recordings? Such questions can be tac... 详细信息
来源: 评论
A Compilation-and Remote-programming-as-a-Service Platform for IoT Devices  12
A Compilation-and Remote-Programming-as-a-Service Platform f...
收藏 引用
12th IEEE international conference on Joint Cloud Computing (IEEE JCC) / 9th IEEE international conference on Mobile Cloud Computing, Services, and Engineering (IEEE MobileCloud)
作者: Charalampidis, Pavlos Fragkiadakis, Alexandros Fdn Res & Technol Hellas FORTH ICS Inst Comp Sci Iraklion Greece Hellen Open Univ Sch Sci & Technol Patras Greece
the Internet-of-things (IoT) presents itself as an emerging technology, which is able to interconnect a massive number of heterogeneous smart objects. these ubiquitous object-enabled networks, which may operate for se... 详细信息
来源: 评论
Analysis on influencing factors of innovation ability of high-tech development zones in Shaanxi Province  2021
Analysis on influencing factors of innovation ability of hig...
收藏 引用
12th international conference on E-business, Management and Economics, ICEME 2021
作者: Zhang, Shuanxing Ren, Tong School of Economics and Management Xi'an University of Technology Xi'an China
Under the background of China's high-tech industrialization, the national high-tech development zones have developed rapidly and become an important force in the development of high-tech *** to the different econo... 详细信息
来源: 评论
Breaking Barriers in Mobile Accessibility: A Study of LLM-Generated Native Android Interfaces
Breaking Barriers in Mobile Accessibility: A Study of LLM-Ge...
收藏 引用
international conference on Mobile Software Engineering and Systems (MOBILESoft)
作者: Daniel Mesquita Feijó Rabelo Ribamar de Souza Martins Isaac Santos Paulo Henrique G. Da Silva Kiev Gama Windson Viana Federal University of Ceará Fortaleza Brazil Federal University of Pernambuco Recife Brazil
Rapid advancements in artificial intelligence, particularly in large language models (LLMs), have opened new opportunities for automating software development tasks, including the generation of code for mobile applica... 详细信息
来源: 评论
Human-Centered AI Design in Reality: A Study of Developer Companies' Practices A study of Developer Companies' Practices  22
Human-Centered AI Design in Reality: A Study of Developer Co...
收藏 引用
12th Nordic conference on Human-Computer Interaction: Participative Computing for Sustainable Futures, NordiCHI 2022
作者: Hartikainen, Maria Väänänen, Kaisa Lehtiö, Anu Ala-Luopa, Saara Olsson, thomas Faculty of Information Technology and Communication Tampere University Finland
Human-Centered AI (HCAI) advocates the development of AI applications that are trustworthy, usable, and based on human needs. While the conceptual foundations of HCAI are extensively discussed in recent literature, th... 详细信息
来源: 评论
Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types  2020
Fluid Quotes: Metaprogramming across Abstraction Boundaries ...
收藏 引用
19th acm sigplan international conference on Generative programming - Concepts and Experiences (GPCE)
作者: Laddad, Shadaj Sen, Koushik Univ Calif Berkeley Berkeley CA 94720 USA
Object-oriented programming, functional programming, and metaprogramming each offer a unique axis of abstraction that enables modular code. Macros, a common technique for metaprogramming, capture ASTs as quotes to let... 详细信息
来源: 评论