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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

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

ISBN: (纸本)9789819914272

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 to college campuses at present. the composition of domestic waste on campus varies with the function of the area, so North China University of Technology is divided into six types of functional areas. the addition and location of domestic waste collection facilities are optimized by using linear planning, and at the same time, suitable proportional parameters are found based on multi-dimensional scale analysis, and regional waste classification standards specific to universities are designed and obtained. the optimized allocation plan of domestic waste collection facilities is proposed for North China University of Technology. the configuration scheme of garbage collection facilities proposed by the actual situation of the campus is compared with the configuration scheme of existing garbage collection facilities in China and verified by using fuzzy comprehensive evaluation, which proves that the configuration scheme of garbage collection facilities proposed in this paper is more feasible in colleges and universities. © 2023, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450396998

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 world rapidly moving towards a number of far-from equilibrium tipping points. We will do this in relation to our (the three authors') experiences with a particular area of Copenhagen: Amager Fælled (in English Amager Common'). Our text, the result of an experimental and undisciplined collaborative writing project, adopts a posthuman epistemology and is an implicit critique of solutionist ways of conceiving participative computing where the dichotomies between e.g. agency-structure, body-mind and research subjects-objects can be easily identified and used. By linking our three vignettes of personal encounters with a specific common and its associated commoning practices, we show our different personal and affective relationship to Amager Fælled. through them we interweave our private and professional selves and reflect on our positioning with regards to immediate and future ecological concerns towards more sustainable futures in HCI and design. By weaving together bodily felt experiences, technological engagements, and theoretical perspectives, we aim towards cultivating an agenda for future research and activation that both resonates with existing research in HCI and design and hopefully opens new discussions and research trajectories. © 2022 acm.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450383172

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 software engineering overhead involved in porting the code. Existing support for C+ + on GPUs allows programmers to port polymorphic code with little effort. However, the overhead from the virtual functions introduced by polymorphic code has not been well studied or mitigated on CPUs. To alleviate the performance cost of virtual functions, we propose two novel techniques that determine an object's type based only on the object's address, without accessing the object's embedded virtual table pointer. the first technique, Coordinated Object Allocation and function Lookup (COAL), is a software-only solution that allocates objects by type and uses the compiler and runtime to find the object's vTable without accessing an embedded pointer. COAL improves performance by 80%, 47%, and 6% over contemporary CUDA, prior research, and our newly-proposed type-based allocator, respectively. the second solution, TypePointer, introduces a hardware modification that allows unused bits in the object pointer to encode the object's type, improving performance by 90%, 56%, and 12% over CUDA, prior work, and our new allocator. TypePointer can also be used with the default CUDA allocator to achieve an 18% performance improvement without modifying object allocation.

关键词： GPU Virtual functions Object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (数字)9798400705892

ISBN: (纸本)9798350353662

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, which include interactions with human agents in possibly safety-critical environments. To this end, we introduce the foundations of a domain-agnostic and flexible Domain-Specific Language (DSL) called LIrAs. the language is designed to be accessible to users without programming expertise. LIrAs’ semantics are mapped to Deterministic Finite-state Automata, making specifications amenable to formal verification. the DSL is exemplified through an illustrative scenario from the service robotics *** CONCEPTS• Software and its engineering → Domain specific languages; Formal language definitions; • Computer systems organization → Embedded and cyber-physical systems.

关键词： Service robots Semantics Formal languages Organizations programming Software DSL

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9798400711244

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 tackled by studying brain recordings like functional magnetic resonance imaging (fMRI). As a first step, the neuroscience community has contributed several large cognitive neuroscience datasets related to passive reading/listening/viewing of concept words, and narrative stories. Encoding and decoding models using recent advances in deep learning have opened new opportunities for modelling brain activity and exploring the convergent representations underlying language comprehension in the human brain and in neural language models (LM). Using encoding and decoding, what insights can we draw from recent, largely task-free neuroimaging datasets for theories of language and the brain? this tutorial will provide a working knowledge of stimulus representations, popular naturalistic neuroscience datasets, and state-of-the-art methods for brain encoding and decoding. It will also offer a better understanding of the benefits and limitations of encoding and decoding with deep learning.

关键词： Language models

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781665434799

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 several years in variable conditions, are used for supporting complex data-driven applications such as smart cities applications, home automation, health monitoring, etc. throughout their extended lifetime, the devices forming the IoT networks need to be re-programmed, so that new features are added and software bugs or security vulnerabilities are resolved. In this work, we present work-in-progress on the design of a Compilation-and Remote-programming-as-a-Service platform that enables cloud-based compilation and build of device firmware, as well as remote firmware updates for deployed IoT devices, in a reliable and secure way. We introduce the functional architecture of our platform and elaborate on the interaction of functional components. Our solution can easily support various embedded operating systems and heterogeneous hardware platforms, as well as different communication patterns for firmware transfer.

关键词： Internet of things Cloud computing Platform-as-a-Service Cloud compilation Over-the-air programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450390064

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 economic conditions and social environments in different provinces of China, the development of high-tech development zones are different. this paper mainly analyzes the innovative development ability and the current situations of Shaanxi High-tech Zone,in order to finds out the factors that influence the innovation ability of Shaanxi High-tech Zone. © 2021 acm.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (数字)9798331538699

ISBN: (纸本)9798331538705

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 applications. this paper examines the potential of LLMs, such as ChatGPT, to improve the accessibility of native Android apps. It evaluates whether LLM-generated code aligns with established accessibility standards, focusing on various screen layouts and prompt designs. Two studies were conducted to assess the accessibility of the generated interfaces. the first study analyzed the generation of seven types of mobile interfaces using less restrictive prompts. In contrast, the second study required the generated code to adhere to a specific interface programming model. After evaluation, 540 accessibility issues were identified, with interfaces generated using the Jetpack Compose framework showing better performance, although still in need of improvement. Interestingly, prompts explicitly requesting accessibility often produced more errors than standard prompts, highlighting the difficulties that LLMs face in comprehending and implementing accessibility requirements. this research emphasizes the need to refine LLM outputs when it comes to interface descriptions, as accessibility issues may be introduced into code intended for use by developers.

关键词： Codes Large language models Layout Focusing programming Mobile applications Standards Faces Software engineering Software development management

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450396998

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, the industry practices and methods appear to lag behind. To advance HCAI method development, current practices of AI developer companies need to be understood. To understand how HCAI principles manifest in the current practices of AI development, we conducted an interview study of practitioners from 12 AI developer companies in Finland, focusing on the early stages of AI application development. Our thematic analysis reveals current development practices and identifies four main challenges: (i) detachment of HCAI work from technical development, (ii) clients' central role as the source of user requirements, (iii) uncertain nature of AI, and (iv) lack of value-based understanding of AI. the findings inform the development of HCAI methods and implementation of HCAI principles in AI application development. © 2022 Owner/Author.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450381741

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 users manipulate them in the host language. However, macros are often at odds with other programming techniques since they can only process code written at the call-site and cannot analyze code behind abstraction boundaries such as variables and methods. Furthermore, the quotes generated for macro expansion exist only at compile-time and cannot be passed around in user code. Multi-stage programming treats quotes as runtime values to address this problem, but introduces the cost of running the compiler when splicing quotes. this forces developers to choose between low runtime overhead and modularity. What if we could have the best of both worlds? We introduce fluid quotes, a new technique that uses dependent types to let users pass quotes through abstraction boundaries in runtime code while splicing them ahead-of-time. this technique enables new metaprogramming capabilities by eliminating the traditional requirement of co-locating parameter expressions with call-sites. Fluid quotes capture not only source code but also associated runtime context to ensure correctness. In addition, they can be composed into larger expressions without any macro code. We demonstrate the capabilities of fluid quotes through two specific applications: optimizing data processing pipelines and making language integrated queries more flexible.

关键词： metaprogramming dependent types inlining functional programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共77页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：