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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

646 篇 会议
70 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

592 篇 工学
- 457 篇 软件工程
- 441 篇 计算机科学与技术...
- 44 篇 控制科学与工程
- 36 篇 电气工程
- 17 篇 信息与通信工程
- 8 篇 建筑学
- 6 篇 电子科学与技术（可...
- 4 篇 材料科学与工程（可...
- 4 篇 动力工程及工程热...
- 4 篇 土木工程
- 4 篇 生物工程
- 3 篇 化学工程与技术
- 2 篇 力学（可授工学、理...
- 2 篇 石油与天然气工程
- 2 篇 农业工程
- 2 篇 生物医学工程（可授...
93 篇 理学
- 46 篇 数学
- 36 篇 生物学
- 5 篇 系统科学
- 4 篇 物理学
- 3 篇 化学
- 2 篇 统计学（可授理学、...
30 篇 教育学
- 30 篇 教育学
- 14 篇 心理学(可授教育学...
23 篇 管理学
- 17 篇 图书情报与档案管...
- 8 篇 管理科学与工程(可...
- 7 篇 工商管理
19 篇 法学
- 19 篇 社会学
3 篇 经济学
- 3 篇 应用经济学
2 篇 农学
- 2 篇 作物学
1 篇 医学
1 篇 军事学
1 篇 艺术学

主题

95 篇 functional progr...
74 篇 languages
50 篇 genetic programm...
46 篇 design
43 篇 computer program...
30 篇 haskell
26 篇 computer program...
25 篇 programming
21 篇 theory
20 篇 dependent types
19 篇 performance
15 篇 algorithms
15 篇 parallel program...
15 篇 programming lang...
14 篇 logic programmin...
14 篇 functional react...
13 篇 verification
12 篇 object oriented ...
12 篇 domain-specific ...
11 篇 education

机构

8 篇 northeastern uni...
7 篇 portland state u...
6 篇 microsoft res ca...
5 篇 carnegie mellon ...
5 篇 chalmers univ te...
4 篇 inria
4 篇 univ penn philad...
3 篇 indiana univ blo...
3 篇 delft univ techn...
3 篇 univ edinburgh e...
3 篇 open university ...
3 篇 microsoft res re...
3 篇 univ strathclyde...
3 篇 univ new s wales...
3 篇 carnegie mellon ...
3 篇 univ cambridge c...
3 篇 technion-israel ...
3 篇 univ utah salt l...
3 篇 univ chicago il ...
3 篇 yale univ dept c...

作者

5 篇 flatt matthew
5 篇 jones mark p.
5 篇 findler robert b...
5 篇 krishnaswami nee...
4 篇 o'reilly una-may
4 篇 xi hw
4 篇 mcbride conor
4 篇 devriese dominiq...
4 篇 vafeiadis viktor
4 篇 weirich stephani...
4 篇 spector lee
4 篇 claessen koen
4 篇 jeuring johan
4 篇 wu nicolas
4 篇 chlipala adam
4 篇 keller gabriele
4 篇 walker david
3 篇 leshchinskiy rom...
3 篇 lorenz david h.
3 篇 pottier francois

语言

635 篇 英文
78 篇 其他
2 篇 葡萄牙文
2 篇 中文

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

共 717 条记录，以下是71-80 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Is Twitter Enough? Investigating Situational Awareness in Social and Print Media during the Second COVID-19 Wave in India 14

Is Twitter Enough? Investigating Situational Awareness in So...

引用

14th IEEE/acm international conference on Advances in Social Networks Analysis and Mining, ASONAM 2022

作者： Vohra, Ishita Nigam, Meher Shashwat Sakaria, Aryan Kudari, Amey Rangaswamy, Nimmi International Institute of Information and Technology Telangana Hyderabad India

ISBN: (纸本)9781665456616

the COVID-19 pandemic required efficient allocation of public resources and transforming existing ways of societal functions. To manage any crisis, governments and public health researchers ex-ploit the information available to them in order to make informed decisions, also defined as situational awareness. Gathering situational awareness using so-cial media, has been functional to manage epidemics. Previous research focused on using discussions during periods of epidemic crises on social media platforms like Twitter, Reddit, or Facebook and developing NLP techniques to filter out important/relevant discussions from a huge corpus of messages and posts. Social media usage varies with internet penetration and other socio-economic factors, which might induce disparity in an-alyzing discussions across different geographies. How-ever, print media is a ubiquitous information source, irrespective of geography. Further, topics discussed in news articles are already 'newsworthy', while on social media 'newsworthiness' is a product of techno-social processes. Developing this fundamental difference, we study Twitter data during the second wave in India focused on six high-population cities with varied macro-economic factors. through a mixture of qualitative and quantitative methods, we further analyze two Indian newspapers during the same period and compare topics from both Twitter and the newspapers to evaluate sit-uational awareness around the second phase of COVID on each of these platforms. We conclude that factors like internet penetration and GDP in a specific city influence the discourse surrounding situational updates on social media. thus, augmenting information from newspapers to information extracted from social media would provide a more comprehensive perspective in resource-deficit cities © 2022 IEEE.

关键词： COVID-19

来源：评论

学校读者我要写书评

暂无评论

Kaizen: A scalable concolic fuzzing tool for Scala 11

Kaizen: A scalable concolic fuzzing tool for Scala

引用

11th acm sigplan international Symposium on Scala, SCALA 2020, co-located with the acm sigplan conference on Systems, programming, Languages, and Applications: Software for Humanity, SPLASH 2020

作者： Ashouri, Mohammadreza University of Potsdam Germany

ISBN: (纸本)9781450381772

Scala is an open-source programming language created by Martin Odersky in 2001 and released under the BSD or Berkeley Software Distribution license. the language consolidates object-oriented and functional programming in one high-level and robust language. Scala also maintains static types that help to reduce tricky errors during the execution time. In this paper, we introduce "Kaizen"as a practical security analysis tool that works based on concolic fuzzing for evaluating real-world Scala applications. To evaluated our approach, we analyzed 1,000 popular Scala projects existing on Github. As a result, Kaizen could report and exploit 101 security issues;some of those have not been reported before. Furthermore, our performance analysis outcome on the ScalaBench test suite demonstrates a 49% runtime overhead that proves Kaizen's usefulness for security testing in the Scala ecosystem. © 2020 acm.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Erlang 2020 - Proceedings of the 19th acm sigplan international Workshop on Erlang, co-located with ICFP 2020

Erlang 2020 - Proceedings of the 19th ACM SIGPLAN Internatio...

引用

19th acm sigplan international Workshop on Erlang, Erlang 2020, co-located with the Annual international conference on functional programming, ICFP 2020

ISBN: (纸本)9781450380492

the proceedings contain 5 papers. the topics discussed include: machine-checked natural semantics for core Erlang: exceptions and side effects;teaching practical realistic verification of distributed algorithms in Erlang with TLA+;transformations towards clean functional code;secure design and verification of Erlang systems;and Clojerl: the expressive power of clojure on the BEAM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

the Development of a Collaborative Learning Tool for AI Education: Corobolab

The Development of a Collaborative Learning Tool for AI Educ...

引用

international conference on Educational and Information Technology (ICEIT)

作者： Haibin Lai Peng Peng Yuhui Lv Peiwei Cai Qiongxiong Ma Zhun Zhang Guangdong Provincial Key Laboratory of Nanophotonic Functional Materials and Devices Guangdong Basic Research Center of Excellence for Structure and Fundamental Interactions of Matter School of Optoelectronic Science and Engineering South China Normal University Guangzhou China

ISBN: (数字)9798331540883

ISBN: (纸本)9798331540890

K-12 Artificial Intelligence (AI) education can potentially benefit from robots based collaborative learning tools. Currently, the scarcity of collaboration-oriented features in most educational robotics poses a challenge to the seamless implementation of collaborative learning in AI education. To address this gap, this paper presents Corobolab, a purpose-built collaborative learning tool for AI education. Its core objective is to facilitate the harmonious integration of AI education and collaborative learning for both educators and learners. Corobolab achieves this by integrating software and hardware platforms, establishing a two-tiered collaborative ecosystem. the shared programming workspace is a key feature, allowing multiple students to engage in real-time collaboration. Here, they can jointly develop and integrate functional modules, promoting teamwork and knowledge sharing. Moreover, Corobolab is highly adaptable. It can be customized according to project requirements by leveraging modular and programmable sensors and robot components. this flexibility enables educators to design courses that are tailored to different teaching objectives as well as collaborative activities. Pilot applications in primary and middle schools showed that Corobolab provides an efficient software-hardware collaborative environment for AI education classrooms. Educators now have access to a versatile set of tools that simplify the process of conducting collaborative learning classes, ultimately enhancing the quality of AI education in the K-12 context.

关键词： Federated learning Education Ecosystems Collaboration Software Real-time systems Hardware Teamwork Artificial intelligence programming profession

来源：评论

学校读者我要写书评

暂无评论

Gegelati: Lightweight Artificial Intelligence through Generic and Evolvable Tangled Program Graphs 21

Gegelati: Lightweight Artificial Intelligence through Generi...

引用

14th Workshop on Design and Architectures for Signal and Image Processing, DASIP 2021, held jointly with the 16th HiPEAC conference

作者： Desnos, Karol Sourbier, Nicolas Raumer, Pierre-Yves Gesny, Olivier Pelcat, Maxime Ietr Laboratory Insa Rennes France Silicom France

ISBN: (纸本)9781450389013

Tangled Program Graph (TPG) is a reinforcement learning technique based on genetic programming concepts. On state-of-the-art learning environments, TPGs have been shown to offer comparable competence with Deep Neural Networks (DNNs), for a fraction of their computational and storage cost. this lightness of TPGs, both for training and inference, makes them an interesting model to implement Artificial Intelligences (AIs) on embedded systems with limited computational and storage resources. In this paper, we introduce the Gegelati library for TPGs. Besides introducing the general concepts and features of the library, two main contributions are detailed in the paper: 1/ the parallelization of the deterministic training process of TPGs, for supporting heterogeneous Multiprocessor Systems-on-Chipss (MPSoCss). 2/ the support for customizable instruction sets and data types within the genetically evolved programs of the TPG model. the scalability of the parallel training process is demonstrated through experiments on architectures ranging from a high-end 24-core processor to a low-power heterogeneous MPSoCs. the impact of customizable instructions on the outcome of a training process is demonstrated on a state-of-the-art reinforcement learning environment. © 2021 acm.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

An Experimental Circuit for Electronic Engineering Training

An Experimental Circuit for Electronic Engineering Training

引用

international conference on Educational and Information Technology (ICEIT)

作者： Zhenhao Li Lin Li Zhongxi Liao Ying Cui Jun Xiao Zhidong Wang College of Electric Power South China University of Technology Guangzhou China College of Integrated Circuit Sun Yat-sen University Guangzhou China

ISBN: (数字)9798331540883

ISBN: (纸本)9798331540890

To further enrich the experimental content of the Electronic Engineering Training course, a design scheme for a radio circuit based on the FT6088 chip is specifically proposed. the paper delves deep into the design architecture of the circuit system. It meticulously analyzes the functional modules and their interconnections within the circuit, presenting a clear picture of how each part contributes to the overall performance. Moreover, the operational mechanism of the circuit is explained in detail, from the signal input process to the final output result. this design stands out for its conciseness and clarity, with an operational principle that is easy to understand. the paper elaborates in detail on the design architecture and operational mechanism of the circuit system. the design is concise and explicit, and the operational principle is readily comprehensible. After applying this circuit to teaching, it has been found that it effectively enhances students' interest in and participation in Electronic Engineering Training, and significantly improves students' practical skills and comprehensive qualities.

关键词： Training Knowledge engineering Design automation Engineering profession Printed circuits Integrated circuit interconnections Solids Information technology Consumer electronics programming profession

来源：评论

学校读者我要写书评

暂无评论

TyDe 2020 - Proceedings of the 5th acm sigplan international Workshop on Type-Driven Development, co-located with ICFP 2020

TyDe 2020 - Proceedings of the 5th ACM SIGPLAN International...

引用

5th acm sigplan international Workshop on Type-Driven Development, TyDe 2020, co-located with the international conference on functional programming, ICFP 2020

the proceedings contain 2 papers. the topics discussed include: strongly bounded termination with applications to security and hardware synthesis;and practical dependent type checking using twin types.

ISBN: (纸本)9781450380515

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fast and Accurate Motif Discovery in Protein Sequences Using Parallel Processing with OpenMP

Fast and Accurate Motif Discovery in Protein Sequences Using...

引用

international econference on Computer and Knowledge Engineering (ICCKE)

作者： Rahele Mohammadi Mahmoud Naghibzadeh Abdorreza Savadi Dept. of Computer Engineering Ferdowsi University of Mashhad Mashhad Iran

ISBN: (数字)9798331511272

ISBN: (纸本)9798331511289

In today's rapidly advancing field of biomedical research, the demand for swift and accurate identification of mutations within biological sequences, including proteins and genomes, is essential for effective disease diagnosis and treatment. Within the realm of protein sequence analysis, recurring patterns known as motifs play a crucial role. these motifs, whether of fixed or variable lengths, often signify essential structural or functional features such as transcription factor binding sites or protein-protein interaction interfaces. Over time, several methods have emerged for detecting motifs within protein datasets. Among these, our previous work introduced the Tree-based Fast Exact Motif (TFEM) algorithm. Unlike some contemporary techniques like Sensitive thorough Rapid Enriched Motif Elicitation (STREME), Multiple EM for Motif Elicitation (MEME), and Discriminative Regular Expression Motif Elicitation (DREME), TFEM demonstrated superior efficiency in accurately identifying motifs. However, the computational complexity of TFEM presents challenges. With a time complexity of O (n20 k ), where ‘n’ denotes the number of sequences in the input set and ‘k’ signifies the length of the motif under investigation, the algorithm's performance is heavily influenced by the size of the input set. To address this challenge, we propose leveraging CPU parallelization techniques, specifically Open-MP programming, to optimize the execution time of the TFEM algorithm. the evaluation results showed that parallelization in large datasets can reduce execution time up to approximately half compared to the serial algorithm.

关键词： Knowledge engineering Protein engineering Accuracy Genomics programming Parallel processing Approximation algorithms Protein sequence Medical diagnosis Time complexity

来源：评论

学校读者我要写书评

暂无评论

Tangible Music programming Blocks for Visually Impaired Children 20

Tangible Music Programming Blocks for Visually Impaired Chil...

引用

14th international conference on Tangible, Embedded, and Embodied Interaction (TEI)

作者： Sabuncuoglu, Alpay Koc Univ Intelligent User Interface Lab Twin Sci & Robot Istanbul Turkey

ISBN: (纸本)9781450361071

programming can benefit children on learning science, math, and creative thinking, and has become a part of the primary school curriculum. However, programming tools for visually impaired children are still scarce. We developed an affordable and accessible tangible music platform for visually impaired children that aims to teach the basics of programming through music creation. By ordering the tangible blocks in an algorithmic structure, the children can create a melody. the physical and conceptual design of the system was developed with the help of visually impaired developers. We conducted a user study with fourteen visually impaired middle school children to observe their interactions with the prototype. In this paper, we present our design, provide several TUI design considerations for students with low to zero sight, and discuss the results of our user study and future directions.

关键词： Tangible programming blocks Music programming Visually-impaired student education

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共72页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：