咨询与建议

限定检索结果

文献类型

  • 624 篇 会议
  • 71 篇 期刊文献
  • 5 册 图书

馆藏范围

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

日期分布

学科分类号

  • 554 篇 工学
    • 485 篇 软件工程
    • 394 篇 计算机科学与技术...
    • 31 篇 电气工程
    • 31 篇 控制科学与工程
    • 23 篇 信息与通信工程
    • 10 篇 建筑学
    • 10 篇 生物工程
    • 6 篇 土木工程
    • 5 篇 力学(可授工学、理...
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 光学工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 动力工程及工程热...
    • 3 篇 石油与天然气工程
    • 2 篇 机械工程
    • 2 篇 农业工程
  • 71 篇 理学
    • 50 篇 数学
    • 13 篇 生物学
    • 6 篇 物理学
    • 5 篇 统计学(可授理学、...
    • 4 篇 化学
    • 4 篇 系统科学
  • 31 篇 教育学
    • 30 篇 教育学
  • 24 篇 管理学
    • 15 篇 图书情报与档案管...
    • 9 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 9 篇 法学
    • 8 篇 社会学
  • 3 篇 农学
    • 3 篇 作物学
  • 3 篇 医学
  • 2 篇 经济学
    • 2 篇 应用经济学

主题

  • 92 篇 functional progr...
  • 77 篇 languages
  • 62 篇 computer program...
  • 54 篇 design
  • 34 篇 haskell
  • 26 篇 programming
  • 22 篇 performance
  • 22 篇 computer program...
  • 19 篇 logic programmin...
  • 19 篇 dependent types
  • 19 篇 theory
  • 18 篇 dynamic programm...
  • 15 篇 functional react...
  • 15 篇 generic programm...
  • 14 篇 object oriented ...
  • 14 篇 algorithms
  • 14 篇 programming lang...
  • 12 篇 verification
  • 11 篇 domain-specific ...
  • 11 篇 continuations

机构

  • 7 篇 portland state u...
  • 6 篇 northeastern uni...
  • 6 篇 chalmers univ te...
  • 4 篇 inria
  • 4 篇 carnegie mellon ...
  • 4 篇 univ penn philad...
  • 4 篇 microsoft res ca...
  • 3 篇 georgia inst tec...
  • 3 篇 indiana univ blo...
  • 3 篇 princeton univ p...
  • 3 篇 univ edinburgh e...
  • 3 篇 univ strathclyde...
  • 3 篇 univ new s wales...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ cambridge c...
  • 3 篇 univ utah salt l...
  • 3 篇 yale univ dept c...
  • 3 篇 univ washington ...
  • 3 篇 brown univ provi...
  • 2 篇 intel res berkel...

作者

  • 5 篇 claessen koen
  • 5 篇 jones mark p.
  • 5 篇 krishnaswami nee...
  • 4 篇 flatt matthew
  • 4 篇 xi hw
  • 4 篇 mcbride conor
  • 4 篇 vafeiadis viktor
  • 4 篇 weirich stephani...
  • 4 篇 jeuring johan
  • 4 篇 chlipala adam
  • 4 篇 keller gabriele
  • 4 篇 findler robert b...
  • 4 篇 walker david
  • 3 篇 leshchinskiy rom...
  • 3 篇 schmidt-schauss ...
  • 3 篇 pottier francois
  • 3 篇 walker d
  • 3 篇 runciman colin
  • 3 篇 hinze ralf
  • 3 篇 sheeran mary

语言

  • 627 篇 英文
  • 68 篇 其他
  • 4 篇 中文
  • 1 篇 德文
检索条件"任意字段=13th ACM SIGPLAN International Conference on Functional Programming"
700 条 记 录,以下是31-40 订阅
排序:
Incorporating Antigen Processing into CD4+T cell Epitope Prediction with Integer Linear programming  22
Incorporating Antigen Processing into CD4+T cell Epitope Pre...
收藏 引用
13th acm international conference on Bioinformatics, Computational Biology, and Health Informatics (acm-BCB)
作者: Bhattacharya, Avik Lyons, Molly C. Landry, Samuel J. Mettu, Ramgopal R. Tulane Univ New Orleans LA 70118 USA
CD4+ T-cell receptors recognize peptide-MHCII complexes displayed on the surface of antigen-presenting cells to induce an immune response. A fundamental problem in immunology is to characterize which peptides (i.e., e... 详细信息
来源: 评论
Blockly-DS: Blocks programming for Data Science with Visual, Statistical, Descriptive and Predictive Analysis  2023
Blockly-DS: Blocks Programming for Data Science with Visual,...
收藏 引用
13th international conference on Learning Analytics and Knowledge: Towards Trustworthy Learning Analytics, LAK 2023
作者: Barboza, Luiz Mello, Rafael Ferreira Modell, Micah Gideon Teixeira, Erico Souza CESAR School PE Recife Brazil Mount Saint Mary College NewburghNY United States
Interest in data science has been growing across industries - both STEM and non-STEM. Non-STEM students often have difficulties with programming and data analysis tools. these entry barriers can be minimized, and thes... 详细信息
来源: 评论
When to Intervene? Utilizing Two Facets of Temporality in Students' SRL Processes in a programming Course  2023
When to Intervene? Utilizing Two Facets of Temporality in St...
收藏 引用
13th international conference on Learning Analytics and Knowledge: Towards Trustworthy Learning Analytics, LAK 2023
作者: Nazeri, Sina Hatala, Marek Salehian Kia, Fatemeh School of Interactive Arts and Technology Simon Fraser University SurreyBC Canada School of Information The University of British Columbia VancouverBC Canada
this study explored two aspects of temporality in students' SRL behaviours to understand the dynamics of SRL phase transitions. In the first aspect, which refers to the temporal order of Self-regulated learning (S... 详细信息
来源: 评论
Extending SYCL's programming Paradigm with Tensor-based SIMD Abstractions  22
Extending SYCL's Programming Paradigm with Tensor-based SIMD...
收藏 引用
13th Annual acm/SPEC international conference on Performance Engineering (ICPE)
作者: Feng, Wilson Yao, Shucai Wang, Kai Ting Raihan, Md Aamir Feng, Laichun Xu, Chunrong Huawei Canada Res Ctr Markham ON Canada
Heterogeneous computing has emerged as an important method for supporting more than one kind of processors or accelerators in a program. there is generally a trade off between source code portability and device perfor... 详细信息
来源: 评论
An Implementation of Phrase Fill-in-blank Problem for Test Code Reading Study in Java programming Learning Assistant System  23
An Implementation of Phrase Fill-in-blank Problem for Test C...
收藏 引用
13th international conference on Advances in Information Technology, IAIT 2023
作者: Lu, Xiqin Funabiki, Nobuo Hsu Wai, Khaing thandar Aung, Soe Mentari, Mustika Kao, Wen-Chun Okayama University Okayama Japan State Polytechnic of Malang Malang Indonesia National Taiwan Normal University Taipei Taiwan
Java is a multi-purpose programming language revolving around the concepts of objects and classes. JUnit is a unit testing framework for Java developers to write test codes and execute testing for highly reliable and ... 详细信息
来源: 评论
Towards a framework for analyzing context-oriented programming languages  13
Towards a framework for analyzing context-oriented programmi...
收藏 引用
13th acm international Workshop on Context-Oriented programming and Advanced Modularity, COP 2021, co-located with the 35th European conference on Object-Oriented programming, ECOOP 2021 and the 30th acm SIGSOFT international Symposium on Software Testing and Analysis, ISSTA 2021
作者: Elyasaf, Achiya Sturm, Arnon Ben-Gurion University of the Negev Beer-Sheva Israel
Context-aware systems keep on emerging in all of our daily activities. To cope with this new situation, programming languages were extended to support the notion of context. Although context-oriented programming langu... 详细信息
来源: 评论
Improving performance of SYCL applications on CPU architectures using LLVM-directed compilation flow  13
Improving performance of SYCL applications on CPU architectu...
收藏 引用
13th international Workshop on programming Models and Applications for Multicores and Manycores (PMAM) part of PPoPP conference
作者: Ghiglio, Pietro Dolinsky, Uwe Goli, Mehdi Narasimhan, Kumudha Codeplay Software Ltd Edinburgh Scotland
the wide adoption of SYCL as an open-standard API for accelerating C++ software in domains such as HPC, Automotive, Artificial Intelligence, Machine Learning, and other areas necessitates efficient compiler and runtim... 详细信息
来源: 评论
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
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 ... 详细信息
来源: 评论
Online help-seeking occurring in multiple computer-mediated conversations affects grades in an introductory programming course  2023
Online help-seeking occurring in multiple computer-mediated ...
收藏 引用
13th international conference on Learning Analytics and Knowledge: Towards Trustworthy Learning Analytics, LAK 2023
作者: Cloude, Elizabeth B. Baker, Ryan S. Fouh, Eric Graduate School of Education University of Pennsylvania PhiladelphiaPA United States
Computing education researchers often study the impact of online help-seeking behaviors that occur across multiple online resources in isolation. Such separation fails to capture the interconnected nature of online he... 详细信息
来源: 评论
***: 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
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 p... 详细信息
来源: 评论