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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是201-210 订阅

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

详细简洁

排序：

Development of a Navigation System on the University Territory Using Augmented Reality Technology 9

Development of a Navigation System on the University Territo...

引用

9th IEEE international conference on Problems of Infocommunications Science and Technology, PIC S and T 2022

作者： Chernykh, Olena Zakovorotniy, Oleksandr Hrianyk, Heorhii Kosmin, Leonid Bondarenko, Yelizaveta National Technical University Kharkiv Polytechnic Institute Computer Engineering and Programming Department Kharkiv Ukraine

ISBN: (纸本)9798350398915

AR navigation is one of the interactive ways to use augmented reality. By displaying virtual guides in physical space using a smartphone, users can navigate from point to point more naturally than by comparing the map to their immediate environment. thanks to this great advantage, AR navigation can help in searching both inside the academic building and on the territory of the institute. In this paper, the authors used 3DUnity and AR Foundation to create a navigation system around the territory of NTU KhPI using augmented reality technology. this development will allow you to navigate the terrain of the KhPI campus, find the location of the desired building, and also look the route from building to building on the map. the whole process is displayed on the smartphone screen. Real-time synchronization allows users in real world to feel virtual space, thereby enhancing poignancy and interaction, and making effect more vivid and almost real. © 2022 IEEE.

关键词： Augmented reality

来源：评论

学校读者我要写书评

暂无评论

Some Notes on Arcsine Exponentiated-X Family 9th

Some Notes on Arcsine Exponentiated-X Family

引用

9th international conference on New Trends of the Applications of Differential Equations in Sciences, NTADES 2022

作者： Vasileva, Maria Kyurkchiev, Nikolay Faculty of Mathematics and Informatics University of Plovdiv Paisii Hilendarski 24 Tzar Asen Plovdiv4000 Bulgaria Institute of Mathematics and Informatics Bulgarian Academy of Sciences Acad. G. Bonchev Str. Bl. 8 Sofia1113 Bulgaria

ISBN: (纸本)9783031214837

In 2020, He, Ahmad, Afify and Goual proposed a new family based on classical Arcsine distribution and exponentiated family named Arcsine Exponentiated-X family. the main purpose of this work is to continue studying the intrinsic properties of these families, namely to study the "saturation"—d to the horizontal asymptote in the Hausdorff sense. We obtain precious estimates for the value of the Hausdorff distance that can be used as an additional criterion in practice. We consider Hausdorff approximation of two submodels from the proposed family with baseline distribution—some extensions of the classical Weibull distribution. In this study, we also define a new "adaptive ASE-W model with polynomial variable transfer". We develop several simple dynamic programming modules implemented within the programming environment CAS Wolfram Mathematica. All new results are illustrated with suitable numerical experiments with real cumulative data. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

MQTT-Enabled Smart Door Access System: Design and Implementation Using NodeMCU ESP 8266 and HiveMQ 9

MQTT-Enabled Smart Door Access System: Design and Implementa...

引用

9th IEEE international conference on Computing, Engineering and Design, ICCED 2023

作者： Zainuddin, Ahmad Anwar Nor, Rizal Mohd Hussin, Amir 'Aatieff Amir Sazali, Muhammad Nurzikry Mohd International Islamic University Malaysia Kuliyyah of ICT Department of Computer Science Kuala Lumpur Malaysia International Islamic University Malaysia Kuliyyah of Engineering Department of Electrical and Computer Engineering Kuala Lumpur Malaysia

the security of one9;s residence or property is an essential consideration that warrants careful attention to safeguard the premises and its contents. It has become increasingly apparent today that physical key doo... 详细信息

ISBN: (纸本)9798350370126

the security of one's residence or property is an essential consideration that warrants careful attention to safeguard the premises and its contents. It has become increasingly apparent today that physical key door locks are susceptible to damage and can be compromised by unauthorized individuals. the inherent vulnerability of physical key door locks stems from their susceptibility to misplaced keys and duplication, as individuals are required to always carry them. this work presents a novel Internet of things (IoT) enabled smart door access system designed to improve the security of homes or premises. the system offers keyless access to individuals who have been granted authorization. the system's architectural design incorporates the utilization of a NodeMCU ESP 8266 microcontroller to oversee door operations. Access control functionality is facilitated through the implementation of the Virtuino IoT application, which enables the unlocking of doors using smartphones. Additionally, a MQTT broker, specifically the HiveMQ, is implemented to facilitate effective machine-to-machine communication within the IoT components. the rationale behind the adoption of this IoT-based solution stems from the inherent weaknesses of traditional physical key door locks, which are prone to damage and replication, consequently jeopardizing security measures. the proposed system aims to address these limitations by rendering traditional keys obsolete, thereby improving both security and convenience for users. the system has undergone comprehensive development, testing, and operationalization, resulting in a highly functional system. the success rate of all functions has consistently achieved a 100% level, which serves as an indication of the system's robustness and effectiveness. In addition, the practical implementation of the system in the Centre of Excellence for Cybersecurity (CoExCys) office at Kuliyyah of ICT IIUM exhibited smooth operation and the absence of any operational chall

关键词： Locks (fasteners)

来源：评论

学校读者我要写书评

暂无评论

AN EDUCATIONAL UNIFIED MODELLING LANGUAGE programming ENVIRONMENT AND ITS TWO CASE STUDIES 19

AN EDUCATIONAL UNIFIED MODELLING LANGUAGE PROGRAMMING ENVIRO...

引用

19th international conference on Cognition and Exploratory Learning in the Digital Age, CELDA 2022

作者： Maruyama, Ryoga Ogata, Shinpei Kayama, Mizue Tachi, Nobuyuki Nagai, Takashi Taguchi, Naomi Graduate School of Science & Technology Shinshu University Japan Shinshu University Japan Institute of Technologists Japan Minowa Junior High School Japan

ISBN: (纸本)9789898704436

this study aims to explore an educational learning environment that supports students to learn conceptual modelling with the unified modelling language (UML). In this study, we call the describing models "UML programming." In this paper, we show an educational UML programming environment for science, technology, engineering, art, and mathematics (STEAM) related subjects (especially for Technology or Engineering) in schools, which are able to apply from elementary school to university. At first, we explain why, what, and how doing the UML programming. In this study, we use a state machine diagram for UML programming. To draw this model, the students just put some states in rectangular shape and transitions in arrow shape. Two types of educational model notations in state machine diagram are introduced. then, some advanced functions of the SRPS are described. they are an educational model editor, and management of users, learning tasks and models submitted by students. Next, two case studies with the SRPS are shown. One case study is adopted to the summer camp for 5th- and 6th-grade students. the participants were 20 students and were engaged in 4 hours workshop. We used a car-type robot with two DC motors, a one-touch sensor, and one infrared sensor connected to a micro:bit. the other case study is a formal technology class at one Japanese public junior high school. One teacher and five classes worked on UML programming for traffic lights. Each class had 20 9th-grade students. One student at this school was given a traffic light robot with three Light-emitting diode (LED) lights, a one-touch sensor, and one infrared sensor connected to a micro:bit. Finally, on the basis of these two case studies using our environment, we discuss the potential for innovative STEAM education with UML programming. © 2022 Proceedings of the 19th international conference on Cognition and Exploratory Learning in the Digital Age, CELDA 2022. All rights reserved.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

A Code Completion Problem in C programming Learning Assistant System 9

A Code Completion Problem in C Programming Learning Assistan...

引用

9th international conference on Information and Education Technology (ICIET)

作者： Kyaw, Htoo Htoo Sandi Htet, Ei Ei Funabiki, Nobuo Kuribayashi, Minoru Myint, thandar Tar, Phyu Phyu Min, Nandar Win thant, Hnin Aye Wai, Phyu Hnin Okayama Univ Dept Elect & Commun Engn Okayama Japan Univ Technol Yatanarpon Cyber City Dept Informat Sci & Technol Yatanarpon Cyber City Myanmar Univ Comp Studies Mandalay Fac Comp Sci Patheingyi Myanmar Burma Myanmar

ISBN: (纸本)9781665419338

C programming has been the fundamental subject to a lot of university students for studying programming languages, algorithms, and computer architecture. Currently, we are developing C programming learning assistant system (CPLAS) for its self-study by extending our works of JPLAS for Java programming. JPLAS provides the code completion problem (CCP) to offer practical programming exercises. A CCP instance asks the completion of the given source code by filling in the missing elements. the correctness of the answer is marked through string matching by comparing each answer statement with the correct one. In this paper, we present the CCP by extending our works of the element fill-in-blank problem (EFP) in CPLAS. For evaluations, we generated 10 CCP instances and assigned them to 54 undergraduate students in Myanmar and Japan. their solution results show that the CCP instances are generally suitable for C programming study by novice students, but those on pointer need improvements for better solutions.

关键词： C programming CPLAS code completion problem missing elements blank element selection algorithm

来源：评论

学校读者我要写书评

暂无评论

Computing Persistent Homology in Futhark 9

Computing Persistent Homology in Futhark

引用

9th ACM SIGPLAN international Workshop on functional High-Performance and Numerical Computing (FHPNC)

作者： von Bromssen, Erik Chalmers Univ Technol Gothenburg Sweden

ISBN: (纸本)9781450386142

We present a massively parallel algorithm for computing persistent homology, a concept within the field of topological data analysis, and we implement it in the purely functional array-based language Futhark, which has an efficient compiler targeting GPUs. Computing persistent homology consists of bringing a certain sparse matrix to a reduced form. We compare our implementation with OpenPH, an existing library for computing persistent homology on GPUs, and on large matrices we achieve speedups of 2.3 to 5. Our work shows both that persistent homology can be computed efficiently entirely on GPU hardware, and that Futhark can be used for this kind of sparse matrix manipulation.

关键词： persistent homology GPGPU data-parallel sparse matrix functional programming Futhark

来源：评论

学校读者我要写书评

暂无评论

Would Flipped Classroom be My Approach in Teaching Computing Courses: Literature Review 9

Would Flipped Classroom be My Approach in Teaching Computing...

引用

9th international conference on Information and Education Technology (ICIET)

作者： Bakheet, Eman Madani Gravell, Andrew M. Univ Southampton Sch Elect & Comp Sci Southampton Hants England Saudi Elect Univ Riyadh Saudi Arabia

ISBN: (纸本)9781665419338

Adopting technology in education has been introduced in different models. Flipped classroom as one of the blended learning approach was tested and applied in teaching computing courses. this approach shows promising evidence that it is efficient through research evaluating it. this paper aims to review the research conducted in the flipped classroom, and in particular from computer science education perspective. the study involved a review of 20 studies that applied the flipped classroom in teaching computing courses. these studies involved experiments varying from longitudinal to a single semester evaluation. Indeed, the majority of these reports concerned a CS1 course (introductory programming course). therefore, this paper discusses and reviews the current literature reporting research conducted on flipped classroom from computer science perspectives.

关键词： Flipped classroom Inverted classroom literature review Computer science courses Introductory programming course Students perspectives

来源：评论

学校读者我要写书评

暂无评论

Security Analysis of WG-7 Lightweight Stream Cipher Against Cube Attack 1

引用

the 9th international conference on Mathematics and Computing (ICMC 2023)

作者： Das, Bijoy Das, Abhijit Chowdhury, Dipanwita Roy Indian Institute of Technology Kharagpur Kharagpur India

ISBN: (数字)9789819930807

ISBN: (纸本)9789819930791

Welch–Gong (WG) is a hardware-oriented LFSR-based stream cipher. WG-7 is a version of the eStream submission Welch–Gong, used for RFID encryption and authentication purposes. It offers 80-bit cryptographic security. In modern days, almost all ciphers achieve security by exploiting the nonlinear feedback structure. In this paper, we investigate the security of the nonlinear feedback-based initialization phase of the WG-7 stream cipher using the conventional bit-based division property of cube attack, by considering the cipher in a non-blackbox polynomial setting. In our work, we mount the cube attack using mixed-integer-linear-programming (MILP) models. the results of our attack enable us to recover the secret key of WG-7 after 20 rounds of initialization utilizing 2 10 keystream bits in 2 73 time. We show that our proposed attack takes significantly lower data complexity. To the best of our knowledge, our attack is the first one that investigates the security of the nonlinear feedback-based initialization phase of WG-7 cipher. © the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd 2023.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Fractal programming Elastic Networks

Fractal Programming Elastic Networks

引用

international conference on Control, Decision and Information Technologies (CoDIT)

作者： A.S. Semenov Computational Mathematics and Programming Department Moscow Aviation Institute (National Research University) MAI Moscow Russia

the problem of automatic control of elastic computing granularity can be solved based on self-similar (fractal) network patterns. these patterns can control the level of granularity and ensure quick and efficient response to user demand, leading to optimal performance and minimized resource usage. For controlling and programming elastic computing granularity, the Fractal Abstract Machine (FAM) is proposed. It is also a theoretical framework for designing and modeling elastic computer systems, as well as for simulated elastic granularity, in order to solve optimization problems. Currently, FAM is investigating how to regulate an elastic network model while allocating containers and scheduling tasks in distribution networks. the correspondent example is considered. the idea of fractal computing, which controls elastic computing granularity, is explored.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Overcoming Obstacles with a Home Walking Robot 9th

Overcoming Obstacles with a Home Walking Robot

引用

9th international conference on Interactive Collaborative Robotics, ICR 2024

作者： Dobrynin, Dmitry Zhiteneva, Yulia Federal Research Center "Computer Science and Control" of the Russian Academy of Sciences Moscow Russia State University of Humanities and Technology 22 Zelenaya St. Orekhovo-Zuyevo142611 Russia

ISBN: (纸本)9783031713590

the paper considers the principles of building a home walking robot capable of walking on complex surfaces – stairs and ladders. A home walking robot must walk confidently on various flat surfaces and be able to step over small obstacles. To detect obstacles and scan the surface, the robot has a simplified scanning system based on inexpensive TOF sensors for measuring distances. A mathematical model of the robot’s legs, which is used to control the drives, is presented. A model of the robot’s sensor system is presented, which is used to detect obstacle parameters and build a height map. Two ways of overcoming obstacles are considered – stepping over small obstacles and walking on wide stairs. An estimate of the maximum size of obstacles is given, which are determined by the geometric dimensions of the robot’s legs and the parameters of the sensor system. the principles of walking on narrow stairs are formulated. Modeling of the proposed ways to overcome obstacles is performed. the simulation showed acceptable stability of the robot when walking. It is shown that the proposed methods of overcoming obstacles have low computational complexity. this reduces the computing power requirements of the home walking robot control system and increases battery life. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共320页 << < 17 18 19 20 21 22 23 24 25 26 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：