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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,044 篇 会议
100 篇 期刊文献
54 册 图书

馆藏范围

3,198 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,152 篇 工学
- 1,675 篇 计算机科学与技术...
- 964 篇 软件工程
- 340 篇 电气工程
- 251 篇 控制科学与工程
- 196 篇 信息与通信工程
- 101 篇 机械工程
- 67 篇 电子科学与技术（可...
- 47 篇 化学工程与技术
- 47 篇 生物工程
- 46 篇 动力工程及工程热...
- 44 篇 仪器科学与技术
- 43 篇 石油与天然气工程
- 41 篇 材料科学与工程（可...
- 40 篇 生物医学工程（可授...
- 30 篇 交通运输工程
- 27 篇 土木工程
633 篇 理学
- 460 篇 数学
- 96 篇 物理学
- 79 篇 生物学
- 76 篇 系统科学
- 71 篇 统计学（可授理学、...
- 46 篇 化学
291 篇 管理学
- 219 篇 管理科学与工程(可...
- 103 篇 工商管理
- 83 篇 图书情报与档案管...
92 篇 教育学
- 92 篇 教育学
63 篇 医学
- 49 篇 临床医学
- 35 篇 基础医学(可授医学...
41 篇 法学
- 36 篇 社会学
28 篇 经济学
- 28 篇 应用经济学
19 篇 文学
19 篇 农学
2 篇 军事学
2 篇 艺术学

主题

220 篇 linear programmi...
212 篇 programming
170 篇 dynamic programm...
120 篇 logic programmin...
96 篇 integer programm...
76 篇 functional progr...
75 篇 optimization
72 篇 computer program...
67 篇 object oriented ...
65 篇 programming prof...
65 篇 computer program...
64 篇 genetic programm...
64 篇 parallel program...
64 篇 software
50 篇 quadratic progra...
48 篇 education
47 篇 software enginee...
44 篇 computational mo...
36 篇 computer science
36 篇 hardware

机构

10 篇 univ british col...
7 篇 lakhshya cyber s...
7 篇 univ edinburgh e...
6 篇 lakhshya cyber s...
6 篇 amrita vishwa vi...
4 篇 graduate school ...
4 篇 ural fed univ ek...
4 篇 center for compu...
4 篇 univ minho ctr a...
4 篇 naval systems an...
4 篇 univ manchester ...
4 篇 faculty of engin...
4 篇 school of electr...
4 篇 russian acad sci...
4 篇 department of in...
4 篇 chalmers univ te...
3 篇 electric dispatc...
3 篇 school of inform...
3 篇 school of electr...
3 篇 nanjing research...

作者

8 篇 schaub torsten
8 篇 de meuter wolfga...
8 篇 cheney james
8 篇 tompits hans
7 篇 woltran stefan
7 篇 pradeep menon
6 篇 r vinayakumar
6 篇 gebser martin
6 篇 soman k. p.
6 篇 vinayakumar r.
6 篇 kp soman
6 篇 menon pradeep
5 篇 liu yang
5 篇 t.t. shannon
5 篇 eiter thomas
5 篇 binder walter
5 篇 wadler philip
4 篇 leone nicola
4 篇 jun zhang
4 篇 de araújo costa ...

语言

3,133 篇 英文
48 篇 其他
12 篇 中文
3 篇 俄文
2 篇 西班牙文
1 篇 意大利文

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

共 3198 条记录，以下是161-170 订阅

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

详细简洁

排序：

Easy Hand Gesture Control of a ROS-Car Using Google MediaPipe for Surveillance Use 9th

Easy Hand Gesture Control of a ROS-Car Using Google MediaPip...

引用

9th international conference on HCI in Business, Government and Organizations (HCIBGO) Held as Part of the 24th international conference on Human-Computer Interaction (HCII)

作者： Allena, Christian Diego Collin De Leon, Ryan Wong, Yung-Hao Minghsin Univ Sci & Technol Xinfeng 30401 Hsinchu County Taiwan Adamson Univ 900 Ermita Manila Philippines

ISBN: (纸本)9783031055447;9783031055430

Hand gestures are a relatively new way for humans to communicate with computers. the goal of gesture recognition is to bridge the physical and digital worlds. Hand gestures make it much easier to communicate our intentions and ideas to the computer. there are numerous methods for a computer to recognize a hand gesture, one of which is image recognition. the use of a Convolutional Neural Network (CNN) allows for the detection of human gestures. However, training a CNN necessitates a massive dataset of human gesture images. In this paper, we employ Google MediaPipe, a Machine Learning (ML) pipeline that combines Palm Detection and Hand Landmark Models, to develop a simple hand tracking method to control a Robot Operating System (ROS) based surveillance car with socket programming. the study demonstrates control of a ROS car's steering direction and speed. Hand-gesture-controlled surveillance vehicles could aid in the improvement of security systems.

关键词： ROS Hand tracking Google MediaPipe Socket programming Hand gesture recognition

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 9th ACIS international Virtual conference on Applied Computing and Information Technology, ACIT 2022

Proceedings - 9th ACIS International Virtual Conference on A...

引用

9th ACIS international Virtual conference on Applied Computing and Information Technology, ACIT 2022

ISBN: (纸本)9781450397605

the proceedings contain 13 papers. the topics discussed include: stratifying large software files to improve prediction performance in software defect prediction;social media usage amongst University of Botswana first year undergraduate students;categorization of the reviewers based on the preciseness of the consumers’ reviews in online retail marketplace;authorship verification for hired plagiarism detection;assessing students for industry readiness using classification methods;proposal of host computer camera controlling method for remote meeting system user utilizing gesture recognition;obstacle detection surrounding a moving object with fisheye camera and circle line laser light;proposal of automatic sand catcher robot of uniforms;innovating system of real-time log collection and analysis from students learning visual programming language;and characterization of studying process of using student log analysis on software programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Fault Simulation Based functional Safety Platform for Automotive Chips Complying with ISO26262

A Fault Simulation Based Functional Safety Platform for Auto...

引用

international conference on Integrated Circuits and Microsystems (ICICM)

作者： Yulong Liu Junhao Lin Song Jia Yuan Wang School of Software and Microelectronics Peking University Beijing China School of Integreted Circuits Peking University Beijing China

ISBN: (数字)9798331509453

ISBN: (纸本)9798331520243

With the increasing scale of automotive electronics and the gradual maturity of the automotive-grade chip development process, simulation-level fault injection has become the most mainstream fault injection method in the industry. In this paper, a fault injection platform closely coupled with FMEDA based on the Verilog programming interface (VPI) is proposed to solve the functional safety simulation requirements of the ISO26262 for automotive-grade chips at the RT level and GL level. To demonstrate the applicability of the proposed platform, a memory protected by CRC has been used for experiment.

关键词： Micromechanical devices Measurement Integrated circuits Source coding programming Real-time systems Safety Circuit faults Hardware design languages Chip scale packaging

来源：评论

学校读者我要写书评

暂无评论

Trend analysis in competitive programming using topic modeling 9th

Trend analysis in competitive programming using topic modeli...

引用

9th international conference on Computer Science and Computational Intelligence, ICCSCI 2024

作者： Ramahalim, Albert Yulius Karuniawan, Christoffer Edbert Purwanto, Eko Setyo Ario, Muhamad Keenan Computer Science Department School of Computer Science Bina Nusantara University Jakarta11480 Indonesia Mobile Application & Technology Program Computer Science Department School of Computer Science Bina Nusantara University Jakarta11480 Indonesia

Competitive programming (CP) is a mind sports activity where people solve problems using command-line computer programs to provide correct output for the given test cases. Competitors need to practice problem-solving and mathematics as well as study algorithms and data structures to perform well in CP. this study aims to provide an original way to perform a trend analysis in CP, distinguishing topics frequently used in CP contests. To fulfill our goal, we create topic models based on previous topic modeling works to do natural language processing tasks using Latent Dirichlet Allocation (LDA) and Biterm Topic Model (BTM). For our dataset, we constructed a corpus from Codeforces blog posts, a popular website for competitive programmers, by extracting its content and user comments. Our results indicate that BTM is powerful enough to do trend analysis in CP. the trend analysis recognized that dynamic programming and complexity analysis have been the most prominent topics for the last ten years. Data structures and string algorithms are runners-up that may have potential trends in the future. this study opens up further research on other methods to perform trend analysis using better topic models and corpora. © 2024 the Authors.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

mimium: A Self-Extensible programming Language for Sound and Music 9

<i>mimium</i>: A Self-Extensible Programming Language for So...

引用

9th ACM SIGPLAN international Workshop on functional Art, Music, Modelling, and Design (FARM)

作者： Matsuura, Tomoya Jo, Kazuhiro Kyushu Univ Grad Sch Design Fukuoka Fukuoka Japan Kyushu Univ Fac Design Fukuoka Fukuoka Japan

ISBN: (纸本)9781450386135

We propose a programming language for music named mimium, which combines temporal-discrete control and signal processing in a single language. mimium has an intuitive imperative syntax and can use stateful functions as Unit Generator in the same way as ordinary function definitions and applications. Furthermore, the runtime performance is made equivalent to that of lower-level languages by compiling the code through the LLVM compiler infrastructure. By using the strategy of adding a minimum number of features for sound to the design and implementation of a general-purpose functional language, mimium is expected to lower the learning cost for users, simplify the implementation of compilers, and increase the self-extensibility of the language. In this paper, we present the basic language specification, semantics for simple task scheduling, the semantics for stateful functions, and the compilation process. mimium has certain specifications that have not been achieved in existing languages. Future works suggested include extending the compiler functionality to combine task scheduling with the functional paradigm and introducing multi-stage computation for parametric replication of stateful functions.

关键词： programming language computer music functional programming signal processing

来源：评论

学校读者我要写书评

暂无评论

Combining the Knowledge of Experienced Programmers to Extract Useful Web Resources for Solving programming Tasks 23

Combining the Knowledge of Experienced Programmers to Extrac...

引用

9th Asian HCI Symposium, Asian CHI 2023

作者： Watanabe, Ko Kücük, Hacer Kübra Gonzales, Sarah Vargo, Andrew Kise, Koichi Ishimaru, Shoya RPTU Kaiserslautern-Landau DFKI GmbH Kaiserslautern Germany RPTU Kaiserslautern-Landau Kaiserslautern Germany Osaka Metropolitan University Osaka Japan

ISBN: (纸本)9798400707612

People with more programming experience often perform more streamlined and efficient web searches. Previous studies have shown that expert programmers spend less time searching for knowledge on the web than novices. However, which web resources are practical for expert programmers and whether they lead to efficient programming problem-solving is unknown. In this study, we aim to extract practical learning web resources for solving programming tasks from web browsing logs of programming experts. We present a web browser extension that tracks a user's browsing history. Data is collected from ten participants with over four years of programming experience. Participants are asked to complete three text-mining tasks using the R programming language. After the experiment, participants are asked to complete a post-experiment survey to indicate which web resource assisted them in solving the problem. the results show that combining the results of web access for programmers make it possible to discover practical web resources for problem-solving. Our results demonstrate a strategy for extracting web resources helpful in solving programming tasks. © 2023 ACM.

关键词： Websites

来源：评论

学校读者我要写书评

暂无评论

Minimax Design of M-D Complex-Coefficient FIR Filters with Nearly-Constant Low Group Delays 9

Minimax Design of M-D Complex-Coefficient FIR Filters with N...

引用

9th international Multidisciplinary Moratuwa Engineering Research conference, MERCon 2023

作者： Pakiyarajah, Darukeesan Chamira Edussooriya, U.S. Wijenayake, Chamith Madanayake, Arjuna University of Jaffna Department of EEE Killinochchi Sri Lanka University of Moratuwa Department of ENTC Moratuwa Sri Lanka University of Queensland School of ITEE Brisbane Australia Florida International University Department of ECE MiamiFL United States

ISBN: (纸本)9798350345216

the optimal designs of multi-dimensional (M-D) complex-coefficient finite-extent impulse response (FIR) filters with low group delays predominantly consider only the minimization of the frequency response error. this leads to substantial deviation of the group delay from the desired constant group delay of such a filter, especially near the passband edges. In this paper, we propose a minimax design method for M-D complex-coefficient FIR filters with reduced group delay error. We incorporate constraints on phase response error while minimizing the frequency response error. We formulate the proposed minimax design method as a second-order cone programming problem. Design examples confirm that the proposed minimax design method significantly reduces the group delay error compared to previously proposed methods. © 2023 IEEE.

关键词： Second-order cone programming

来源：评论

学校读者我要写书评

暂无评论

Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems 9

Towards Introducing Asynchronous Tasks to an FRP Language fo...

引用

6th international Workshop on Reactive and Event-Based Languages and Systems (REBLS)

作者： Yokoyama, Akihiko Moriguchi, Sosuke Watanabe, Takuo Tokyo Inst Technol Tokyo Japan

ISBN: (纸本)9781450399111

Emfrp is a functional reactive programming language designed for small embedded systems. By imposing certain restrictions on the language mechanism, the language guarantees the termination of the update process for each time-varying value and enables static determination of the amount of memory required for execution. this allows Emfrp programs to run safely even in resource-constrained execution environments. However, the abovementioned restrictions make it difficult to write time-consuming operations (heavy tasks) such as graph structure construction and exploration based on external data. Moreover, since Emfrp updates time-varying values synchronously, a naive implementation of such heavy tasks using external function calls will result in a slow response time to input. Some existing programming languages provide asynchronous processing mechanisms to ensure descriptiveness and responsiveness for heavy tasks. In this study, we propose a method to introduce heavy tasks into reactive programs naturally by introducing language mechanisms equivalent to asynchronous processing mechanisms, such as future and promise, into Emfrp. In this paper, we first discuss the problems with a naive implementation of heavy tasks in Emfrp, then explain the proposed method based on an example, and discuss the language runtime implementation.

关键词： functional reactive programming asynchronous tasks promise embedded systems

来源：评论

学校读者我要写书评

暂无评论

Berth Allocation Problem with uncertain arrival and handling times 9

Berth Allocation Problem with uncertain arrival and handling...

引用

9th IEEE international conference on Sciences of Electronics, Technologies of Information and Telecommunications, SETIT 2022

作者： Oudani, Mustapha Benghalia, Abderaouf International University of Rabat Rocade TICLab ESIN Sale Rabat Morocco Algiers i University Dept. of Computer Science Algiers Algeria

ISBN: (数字)9781728184425

ISBN: (纸本)9781728184425

the Berth Allocation Problem (BAP), or the assignment of berths to ships, is a classical decision problem encountered in maritime container terminals. Ships assignment to berths in most efficient way enables to reduce the handling times of containers and improves the service quality for container ships. While several research papers deal with deterministic version of the BAP assuming that the arrival times of ships and handling times of containers are known in advance, few researchers consider uncertainty issues. the main propose of the current paper is to allocate ships to berths considering the uncertainty in arrival times and in the end times of handling. We build two fuzzy mixed linear programs to formulate the problem and we use a successful parametric approach to transform fuzzy models to crisp ones. © 2022 IEEE.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共320页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：