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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

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 条记录，以下是31-40 订阅

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

详细简洁

排序：

Poster: programming Rules by Demonstration in Virtual Reality 23

Poster: Programming Rules by Demonstration in Virtual Realit...

引用

15th Biannual conference of the Italian SIGCHI Chapter: Crossing HCI and AI, CHItaly 2023

作者： Bellini, Nikita Artizzu, Valentino Frau, Vittoria Spano, Lucio Davide University of Cagliari Italy

ISBN: (纸本)9798400708060

this paper proposes a solution based on programming-by-demonstration supporting the definition of rules for configuring the behaviour of Virtual Reality environments by end users. the interface allows end users to record the interaction and demonstrate the updates in an immersive mode. After the recording phase, it segments the updates and asks the user to identify which ones are useful for the rule definition and which are not. Finally, the user graphically separates the selected updates into triggers and actions, obtaining the desired configuration rules. © 2023 Owner/Author.

关键词： Virtual reality

来源：评论

学校读者我要写书评

暂无评论

COP 2022 - Proceedings of the 14th international Workshop on Context-Oriented programming and Advanced Modularity, Co-located with ECOOP 2022

COP 2022 - Proceedings of the 14th International Workshop on...

引用

14th international Workshop on Context-Oriented programming and Advanced Modularity, COP 2022 - Co-located with ECOOP 2022

ISBN: (纸本)9781450399869

the proceedings contain 6 papers. the topics discussed include: layer activation mechanism for asynchronous executions in JavaScript;explicit tool support for implicit layer activation;modeling flexible monitoring systems with a role-based control loop;guard the cache: dispatch optimization in a contextual role-oriented language;generating virtual scenarios for cyber ranges from feature-based context-oriented models: a case study;and a step toward programming with versions in real-world functional languages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Image Content Reorganization Based on Differential Vision 23

Image Content Reorganization Based on Differential Vision

引用

15th international conference on Digital Image Processing, ICDIP 2023

作者： Wang, Gangke Du, Zhenlong Li, Xiaoli Chen, Dong Nanjing Tech University China

ISBN: (纸本)9798400708237

A variety of colorful patterns can be found in life. they play an important role in housing decoration, landscape design, clothes design, etc. these simple elements make up the pattern. they are grouped together in a number of ways. In the paper, the pattern content organization method based on differential function pattern processing is discussed. the technique can identify the essential elements in the pattern. And the method can get the occlusion order of elements in the pattern. then create another style of pattern. the method can deal with these patterns with approximate rules effectively. the ingredients in the picture are layered by the differential function. And then, the image content is organized. the method has the advantages of high precision and low computational complexity. the approach studied in this paper improves the distortion and data loss during elements organization. Compared with other image element organization methods, the proposed method is more robust. © 2023 acm.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Cloud Storage and Processing Service Selection considering Tiered Pricing and Data Regulations 15

Cloud Storage and Processing Service Selection considering T...

引用

IEEE/acm 15th international conference on Utility and Cloud Computing (UCC) / 9th international conference on Big Data Computing, Applications and Technologies (BDCAT)

作者： Sahu, Pankaj Roy, Shubhro Gharote, Mangesh Mondal, Sutapa Lodha, Sachin Tata Consultancy Serv Ltd TCS Res Mumbai Maharashtra India

ISBN: (纸本)9781665460873

Most countries have come up with varied data privacy regulations. Some countries have stringent data storage and processing regulations, while others allow conditional data transfer across borders. For enterprises with geographically distributed data sources (users), it becomes challenging to select cloud data centers that meet data regulations and have minimal overall operational costs. In this work, we propose a joint optimization model for the selection of storage and processing services from multiple cloud service providers, taking into practical consideration of data regulations and tiered pricing, which has not been addressed in the prior art. To solve this hard multi-objective combinatorial optimization problem, we propose a greedy cost-reductionbased algorithm. the proposed algorithm gives multiple nondominating solutions, which are on average 2.5% away from the optimal solution. Further, we demonstrate the implications of data regulations and the benefits of joint optimization.

关键词： Cloud Storage Selection Service Allocation Data Regulation Tiered Pricing Multi-Objective optimization Integer programming

来源：评论

学校读者我要写书评

暂无评论

Retrofitting a Virtual Instrument DSL with programming Abstractions 25

Retrofitting a Virtual Instrument DSL with Programming Abstr...

引用

Proceedings of the 24th acm sigplan international conference on Generative programming: Concepts and Experiences

作者： Mathias Vatter Sebastian Erdweg JGU Mainz Mainz Germany

ISBN: (纸本)9798400719950

KSP is an imperative DSL in music production that enables realistic modelling of musical instruments in real-time using Kontakt as a runtime environment. Once a niche topic for hobbyists, the field has since professionalized, with Kontakt becoming an industry standard. Its scripting language, however, has not evolved much, lacking modern functional and data abstractions while remaining closed-source. this paper proposes transformations that introduce modularity and basic abstraction principles to KSP. this entails functions with parameters and return values, recursive data types, and the implementation of lexical scope to replace the current global variable management. the transformations have been implemented in a preprocessing compiler framework--preceding the actual KSP interpreter--to an extend, that allows for the new syntax elements to be used in real-world KSP scripts.

关键词： KSP

来源：评论

学校读者我要写书评

暂无评论

EEGWavelet Classification for Fall Detection with Genetic programming 22

EEGWavelet Classification for Fall Detection with Genetic Pr...

引用

15th acm international conference on Pervasive Technologies Related to Assistive Environments (PETRA)

作者： Bird, Jordan J. Nottingham Trent Univ Nottingham Computat Intelligence & Applicat Res Grp CIA Nottingham England

ISBN: (纸本)9781450396318

the ability to autonomously detect a physical fall is one of the many enabling technologies towards better independent living. this work explores how genetic programming can be leveraged to develop machine learning pipelines for the classification of falls via EEG brainwave activity. Eleven physical activities (5 types of falls and 6 non-fall activities) are clustered into a binary classification problem of whether a fall has occurred or not. Wavelet features are extracted from the brainwaves before machine learning models are explored and tuned for better k-fold classification accuracy, precision, recall, and F1 score. Results show that solutions discovered through genetic programming can detect falls with a mean accuracy of 89.34%, precision of 0.883, recall of 0.908, and an F1-Score of 0.895 from EEG brainwave data alone. All three genetic programming solutions chose a further step of Principal Component Analysis for additional feature extraction from the computed wavelet features, each with iterated powers of 6, 3, and 7, and all with a randomised Singular Value Decomposition approach. the best model is finally analysed via the Receiver Operating Characteristic and Precision-Recall curves. Python code for each of the genetic programming pipelines are provided.

关键词： Fall Detection EEG Signal Processing Signal Classification

来源：评论

学校读者我要写书评

暂无评论

AlgoPoint as an Original Didactic Tool for Introductory programming Using Flowcharts 15

AlgoPoint as an Original Didactic Tool for Introductory Prog...

引用

15th international conference on Computer Supported Education, CSEDU 2023

作者： Stefanowicz, Marcin Sasak-Okoń, Anna Maria Curie-Sklodowska University Pl. M. Curie-Sklodowskiej 5 Lublin20-031 Poland

ISBN: (纸本)9789897586415

the paper concerns the development of the authoring application called AlgoPoint, which supports high school students in the process of learning programming. AlgoPoint is a block-based flowchart editor. It separates the syntax and semantics of the programming language from the actual control flow of the algorithm. In this way, students can focus on developing problem-solving skills, expressing a solution to a problem by building it using various functional blocks and connections. For more advanced users, mechanisms are available to build more complex data structures, functions, or subroutines, which can then be tested with the use of the built-in console or expressed as a text code in the selected programming language. the usefulness and advantages of the proposed application have been positively verified by students in real high school. the verification was conducted in natural conditions during computer science classes under the supervision of a teacher. Copyright © 2023 by SCITEPRESS – Science and Technology Publications, Lda.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450386753

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 extensions (like FreeRTOS tasks and semaphores), resulting in unsafe, callback-driven, error-prone and difficult-to-maintain code. We address this challenge by introducing SenseVM - a bytecode-interpreted virtual machine that provides a message passing based higher-order concurrency model, originally introduced by Reppy, for microcontroller programming. this model treats synchronous operations as first-class values (called Events) akin to the treatment of first-class functions in functional languages. this primarily allows the programmer to compose and tailor their own concurrency abstractions and, additionally, abstracts away unsafe memory operations, common in shared-memory concurrency models, thereby making microcontroller programs safer, composable and easier-to-maintain. Our VM is made portable via a low-level bridge interface, built atop the embedded OS - Zephyr. the bridge is implemented by all drivers and designed such that programming in response to a software message or a hardware interrupt remains uniform and indistinguishable. In this paper we demonstrate the features of our VM through an example, written in a Caml-like functional language, running on the nRF52840 and STM32F4 microcontrollers.

关键词： concurrency virtual machine microcontrollers functional programming

来源：评论

学校读者我要写书评

暂无评论

Learning and Preserving Relationship Privacy in Photo Sharing 9

Learning and Preserving Relationship Privacy in Photo Sharin...

引用

IEEE/acm 15th international conference on Utility and Cloud Computing (UCC) / 9th international conference on Big Data Computing, Applications and Technologies (BDCAT)

作者： Liu, Jialin Li, Lin Li, Na Prairie View A&M Univ Dept Comp Sci Prairie View TX 77446 USA

ISBN: (纸本)9781665460903

In recent years, Online Social Networks (OSN) have become popular content-sharing environments. With the emergence of smartphones with high-quality cameras, people like to share photos of their life moments on OSNs. the photos, however, often contain private information that people do not intend to share with others (e.g., their sensitive relationship). Solely relying on OSN users to manually process photos to protect their relationship can be tedious and error-prone. therefore, we designed a system to automatically discover sensitive relations in a photo to be shared online and preserve the relations by face blocking techniques. We first used the Decision Tree model to learn sensitive relations from the photos labeled private or public by OSN users. then we defined a face blocking problem and developed a linear programming model to optimize the tradeoff between preserving relationship privacy and maintaining the photo utility. In this paper, we generated synthetic data and used it to evaluate our system performance in terms of privacy protection and photo utility loss.

关键词： relationship privacy utility decision tree face blocking linear programming

来源：评论

学校读者我要写书评

暂无评论

Intrinsic Brain Connectivity Associated with Pragmatic Language Impairment in Children with Autism 23

Intrinsic Brain Connectivity Associated with Pragmatic Langu...

引用

15th international conference on Bioinformatics and Biomedical Technology, ICBBT 2023

作者： Yu, Hangyan Department of Linguistics School of International Studies Zhejiang University China

ISBN: (纸本)9798400700385

Impairment in pragmatic language is one of the most noticeable symptoms of autism spectrum disorders (ASD). Abnormal activity in the inferior frontal gyrus (IFG), a critical language area associated with pragmatic meaning processing, has been repeatedly reported in individuals with ASD. While brain areas are connected via networks, few studies have examined how the intrinsic network of IFG is connected atypically to other brain areas in ASD participants compared to typical controls. To elucidate the putative brain network underlying IFG, we compared the resting-state functional connectivity in ASD and typically developing children. A two-sample t-test based on 16 autistic and 16 typically developing children revealed that both LIFG and RIFG had aberrant functional connectivity. Specifically, compared to the typically developing children, the ASD group had lower pragmatic language performance and were associated with weaker connectivity between LIFG and inferior occipital gyrus (IOG), inferior frontal gyrus, opercular part (IFGoperc), middle frontal gyrus (MFG), and thalamus (thA), but increased functional connectivity between LIFG and cingulate gyrus (CG). Regarding RIFG, our study revealed reduced functional connectivity between RIFG and the fusiform (FFG), lingual gyrus (LING), pons, and cuneus (CUN), but increased functional connectivity between RIFG and the middle temporal gyrus (MTG). this altered brain network is closely linked to the classical network of theory of mind (ToM) network, which provides a rationale for understanding pragmatic language impairment in autism. Based on the results of functional connectivity, this study discussed the possible reasons of pragmatic impairment in children with autism in the scope of ToM, and provided suggestions for the neural mechanism, clinical diagnosis and rehabilitation of children with autism who have pragmatic disorders. © 2023 acm.

关键词： Patient rehabilitation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共71页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：