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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,053 篇 会议
51 册 图书
46 篇 期刊文献

馆藏范围

2,150 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,274 篇 工学
- 1,024 篇 计算机科学与技术...
- 583 篇 软件工程
- 254 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 11 篇 动力工程及工程热...
- 10 篇 建筑学
296 篇 理学
- 227 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
129 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
65 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
52 篇 semantics
50 篇 training
49 篇 computer science
48 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
41 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
36 篇 computer program...
35 篇 software

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of co...
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,101 篇 英文
35 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2150 条记录，以下是491-500 订阅

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

详细简洁

排序：

Detecting Gestures Through a Gesture-Based Interface to Teach Introductory programming Concepts

Detecting Gestures Through a Gesture-Based Interface to Teac...

引用

Human-Computer Interaction Thematic Area conference (HCI) Held as Part of the 22nd international conference on Human-Computer Interaction (HCII)

作者： Streeter, Lora Gauch, John Univ Arkansas Fayetteville AR 72701 USA

ISBN: (纸本)9783030490614;9783030490621

The goal of this research is to find an algorithm that is capable of recognizing gestures drawn in a visual and gesture-driven interface used to teach introductory programming concepts. Our system combines components from Google's Blockly, a visual programming language with a drag-and-drop puzzle piece interface, and Microsoft's Xbox Kinect which is used to perform skeletal tracking. We focus on two supervised machine learning clustering algorithms, centroid matching and medoid matching, to detect gestures.

关键词： Blockly Gesture matching Kinect programming Supervised machine learning Medoid matching Centroid matching Visual programming

来源：评论

学校读者我要写书评

暂无评论

Interior Point Methods for Renewable Energy Management 22

Interior Point Methods for Renewable Energy Management

引用

22nd IEEE international conference on Automation, Quality and Testing, Robotics (AQTR)

作者： Mihaly, Vlad Stanese, Mihai Susca, Mircea Dobra, Petru Tech Univ Cluj Napoca Automat Dept Str G Baritiu 26-28 Cluj Napoca 400027 Romania

ISBN: (纸本)9781728171661

In a distributed energy system, the optimal scheduling of the use of energy resources is important to reduce cost and can become critical to meeting the energy needs in an isolated system. This paper presents a general framework that allows to formulate the energy management problem in a linear programming framework with inequality constraints. In order to solve the problem thus formulated, the classical simplex or mixed-integer linear programming algorithms have been replaced with two interior point methods, which are of polynomial-time complexity.

关键词： Energy management renewable energy linear programming interior point methods energy storage

来源：评论

学校读者我要写书评

暂无评论

Development of Automated Methods for the Domain Ontology Population with the Help of a Virtual Assistant

Development of Automated Methods for the Domain Ontology Pop...

引用

Annual Siberian Russian Workshop on Electron Devices and Materials (EDM)

作者： Andrey Orlovsky Dmitriy Palchunov Novosibirsk State Univercity Novosibirsk Russia Laboratory of Computability Theory and Applied Logic Sobolev Institute of Mathematics Novosibirsk Russia

In the paper, we consider the use of a virtual assistant with a natural language interface for the task of population of the OWL ontology of computer equipment products based on the information provided on the websites of online stores. The practical value of the work is to provide the user with the opportunity to search for the required products simultaneously on several sites based on a search query described in natural language.

关键词： Virtual assistants Natural languages Sociology OWL Ontologies Software systems Data mining

来源：评论

学校读者我要写书评

暂无评论

Transparent Overlapping of Blocking Communication in MPI Applications 22

Transparent Overlapping of Blocking Communication in MPI App...

引用

22nd IEEE international conference on High Performance Computing and Communications, 18th IEEE international conference on Smart City and 6th IEEE international conference on Data Science and Systems, HPCC-SmartCity-DSS 2020

作者： Lescouet, Alexis Brunet, Elisabeth Trahay, Francois Thomas, Gael Institut Polytechnique de Paris Télécom SudParis

ISBN: (纸本)9781728176499

With the growing number of cores and fast network like Infiniband, one of the keys to performance improvement in MPI applications is the ability to overlap CPU-bound computation with network communications. While this can be done manually, this is often a complex and error prone procedure. We propose an approach that allows MPI blocking communication to act as nonblocking communication until data are needed, increasing the potential for communication and computation overlapping. Our approach, COMMMAMA, uses a separate communication thread to which communications are offloaded and a memory protection mechanism to track memory accesses in communication buffers. This guarantees both progress for these communications and the largest window during which communication and computation can be processed in *** approach also significantly reduces the hassle for programmers to design MPI applications as it reduces the need to forecast when nonblocking communication should be waited. © 2020 IEEE.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Use of Industrial System Solutions for Image Processing

Use of Industrial System Solutions for Image Processing

引用

international Carpathian Control conference (ICCC)

作者： Tomas Puda Jaromir Skuta VSB - Technical University of Ostrava Ostrava Czech Republic

This work addresses the use and compare of machine vision software for image recognition compared to commercially available systems in automation industry. The aim is to compare computational stability and time-cost efficiency of integration of available algorithms against commercially sold systems. Three types of environments are selected for comparison - code development environment, graphical development environment and industrial machine vision system solution. The evaluation is based on the use of all three systems for the same types of applications and a comparison of their results - processing time, stability, development time and total development cost. Comparison applications are presence/absence, counting, dimensional measurement, search and character recognition.

关键词： Industries Image recognition Machine vision Operating systems Software algorithms programming Licenses

来源：评论

学校读者我要写书评

暂无评论

22nd international conference on Scientific Computing and Bioinformatics, CSC 2024, and 25th international conference on Computational Biology, BIOCOMP 2024, held as part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024

22nd International Conference on Scientific Computing and Bi...

引用

22nd international conference on Scientific Computing and Bioinformatics, CSC 2024, and 25th international conference on Computational Biology, BIOCOMP 2024, held as part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024

ISBN: (纸本)9783031859014

The proceedings contain 31 papers. The special focus in this conference is on Scientific Computing and Bioinformatics,. The topics include: Austere Runway Simulated Identification;using Rhai to Create and Benchmark Bevy Entities;pyO3: Building Python Extension Modules in Native Rust with Performance and Safety in Mind;Leveraging Python Interpreters for Concurrency in SeQUeNCe;benchmark Performance of a Rust-Based Python Extension;quantum Error Correction in Repetition Codes;investigating Selective Reliability with the Laminar Networking Package;an Entanglement Swapping Throughput Analysis for Quantum Networks Using Linear Quantum Optics;notes on Symmetric Generalized Tent Map: Route to Chaos;scalable Service Model and Scheduler for Delay-Sensitive Services;regret-Minimization Heuristics for Identifying Monotone Boolean Functions;multi-class Classification of Satellite Orbits for Database Quality Control;real-Time Motion Planning for Autonomous Vehicles in Dynamic Environments;A Novel Deep Learning Method for Solving PDE’s Applied to a Shallow Water Problem;exploring the Impact of Social Media on Mental Health and Well-Being: A Multi-dimensional Analysis;the Strategic Optimization of a Tabletop Role-Playing Game;Problem-Solving Using logic and Reasoning, Mathematics, Algorithms, Python, and Generative AI: Part Two;acquisition and Analysis of Mobile Data Using Digital Forensics Tools and Techniques;structural Health Monitoring for Risk Assessment and Reliability of a Structure After Extreme Loads;scientific Constructing Adequate Statistical Decision Rules Under Parametric Uncertainty of Applied Mathematical Models via the Smart Use of Pivotal Quantities and Ancillary Statistics;a Smart Air Quality Analysis and Pollutant Diffusion Detection and Prediction System Based on Tree Canopy Shape Research Using Machine Learning and Artificial Intelligence;a High Order Scheme for Modelling Viscous Incompressible Fluid Flow in a Channel with a Step;Feasibility Study of Neutron M

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer programming 22nd

Modular Modeling and Optimized Scheduling of Building Energy...

引用

22nd international conference on Applications of Declarative programming and Knowledge Management, INAP 2019, the 33rd Workshop on logic programming, WLP 2019, and the 27th Workshop on Functional and Constraint logic programming, WFLP 2019

作者： Wolf, Armin IT4Energy Center Fraunhofer FOKUS Kaiserin-Augusta-Allee 31 Berlin10589 Germany

ISBN: (纸本)9783030467135

Almost climate neutral buildings are one of the core goals in terms of sustainability. Beside the support of the necessary design decisions for an integrated, interoperable, ecological and economical operation of building energy systems, innovative management solutions for scheduling the operation of decentralized energy systems are of great importance. The challenge is an optimal interaction between energy system components in terms of own consumption, energy efficiency and resource consumption as well as greenhouse gas emissions. To achieve these goals a modular optimization approach based on Mixed Integer programming is proposed. In detail, and to our knowledge the first time, a MIP model for the dynamic behavior of fuel cell Combined Heat and Power plants is presented. Our approach is evaluated for the operation of heat pumps showing that their energy efficiency can be increased significantly. © 2020, Springer Nature Switzerland AG.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Control of the Robotic Arm for a Smart Electric Wheelchair to Assist People with Movement Disabilities

Fuzzy Control of the Robotic Arm for a Smart Electric Wheelc...

引用

international Carpathian Control conference (ICCC)

作者： Cristina Floriana Pană Daniela Maria Pătraşcu-Pană Ionel Cristinel Vladu Liviu Florin Manta Florina-Luminiţa Besnea Petcu Ştefan Irinel Cismaru Andrei Costin Trăşculescu Faculty of Automation Computers and Electronics University of Craiova Craiova Romania Faculty of Electrical Engineering University of Craiova Craiova Romania

Robotic support arms (RSAs) have the potential to allow people with disabilities in both upper limbs and lower limbs greater independence, allowing them to perform the necessary physical activities every day. Disabled people usually use RSAs while sitting in an electric wheelchair (EW). This paper will present the Kinova Gen3 lite assistance robot's fuzzy control for people with personal needs mounted on an electric wheelchair. A controller based on fuzzy logic with the algorithm for formulating fuzzy rules on software and effective control for a 6-DOF robotic arm simulates the robotic arm's operation to perform the following two tasks: serving the user a glass of water and inserting a plug into the socket. The parameters that characterize the robotic arm will be used for the simulator to mimic the actual response. The fuzzy logic controller is applied to the robot arm and then executed on the entire robotic arm to control the desired tasks.

关键词： Fuzzy logic Fuzzy control Wheelchairs Sockets Software algorithms Manipulators Software

来源：评论

学校读者我要写书评

暂无评论

Using Active Learning Integrated with Pedagogical Aspects to Enhance Student's Learning Experience in programming and Related Concepts 2nd

Using Active Learning Integrated with Pedagogical Aspects to...

引用

22nd international conference on Interactive Collaborative Learning (ICL) / 48th IGIP international conference on Engineering Pedagogy - Impact of the 4th Industrial Revolution on Engineering Education

作者： Imbulpitiya, Asanthika Kodagoda, Nuwan Gamage, Anjalie Suriyawansa, Kushnara Sri Lanka Inst Informat Technol Malabe Sri Lanka

ISBN: (纸本)9783030402747;9783030402730

Teaching programming concepts and skills to beginners is a challenging and daunting task. As undergraduates, students struggle with understanding the fundamental concepts of programming and learning the syntaxes to build up a solution to an existing problem. The main challenges in delivering an introductory programming module are to get the students actively engaged within and outside the classroom and to increase the level of interest towards programming. Many researchers have tried out using different active learning tools and techniques to engage students in the learning process interactively. Even though lot of different techniques and tools have been introduced with time there is still a reluctancy among the learners and academics to move from the traditional teacher centric learning environment to a more interactive student centric environment. This research is focusing on how active learning integrated with pedagogical aspects can be used in an introductory programming module and the effectiveness of it when compared with a traditional approach.

关键词： Active learning Pedagogy programming Experiential learning

来源：评论

学校读者我要写书评

暂无评论

22nd international Symposium on Practical Aspects of Declarative Languages, PADL 2020

22nd International Symposium on Practical Aspects of Declara...

引用

22nd international Symposium on Practical Aspects of Declarative Languages, PADL 2020

ISBN: (纸本)9783030391966

The proceedings contain 14 papers. The special focus in this conference is on Practical Aspects of Declarative Languages. The topics include: Whitebox Induction of Default Rules Using High-Utility Itemset Mining;explanations for Dynamic programming;A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams;variability-Aware Datalog;flexible Graph Matching and Graph Edit Distance Using Answer Set programming;on Repairing Web Services Workflows;AQuA: ASP-Based Visual Question Answering;diagnosing Data Pipeline Failures Using Action Languages: A Progress Report;VRASP: A Virtual Reality Environment for Learning Answer Set programming;On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML;RTMLton: An SML Runtime for Real-Time Systems;A Timed IO Monad.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 46 47 48 49 50 51 52 53 54 55 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：