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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

7,650 篇 会议
334 篇 期刊文献
252 册 图书

馆藏范围

8,236 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4,052 篇 工学
- 2,995 篇 计算机科学与技术...
- 1,848 篇 软件工程
- 985 篇 电气工程
- 581 篇 控制科学与工程
- 352 篇 信息与通信工程
- 336 篇 电子科学与技术（可...
- 189 篇 机械工程
- 87 篇 仪器科学与技术
- 78 篇 化学工程与技术
- 49 篇 生物医学工程（可授...
- 48 篇 材料科学与工程（可...
- 41 篇 生物工程
- 37 篇 动力工程及工程热...
- 37 篇 交通运输工程
- 37 篇 航空宇航科学与技...
- 36 篇 土木工程
- 33 篇 建筑学
- 33 篇 环境科学与工程（可...
- 31 篇 安全科学与工程
928 篇 理学
- 730 篇 数学
- 142 篇 系统科学
- 98 篇 物理学
- 97 篇 统计学（可授理学、...
- 68 篇 生物学
488 篇 管理学
- 398 篇 管理科学与工程(可...
- 121 篇 工商管理
- 99 篇 图书情报与档案管...
57 篇 医学
- 46 篇 临床医学
46 篇 经济学
- 41 篇 应用经济学
32 篇 法学
30 篇 教育学
- 30 篇 教育学
20 篇 文学
20 篇 农学
6 篇 艺术学
5 篇 军事学

主题

1,299 篇 programming
768 篇 linear programmi...
579 篇 programming prof...
487 篇 application soft...
485 篇 parallel program...
374 篇 computer archite...
371 篇 computer science
362 篇 hardware
351 篇 dynamic programm...
311 篇 software systems
311 篇 logic programmin...
271 篇 software enginee...
267 篇 concurrent compu...
267 篇 optimization
258 篇 computational mo...
244 篇 object oriented ...
239 篇 parallel process...
232 篇 control systems
207 篇 costs
198 篇 operating system...

机构

19 篇 department of el...
16 篇 carnegie mellon ...
16 篇 school of electr...
12 篇 school of electr...
11 篇 ibm thomas j. wa...
10 篇 georgia inst tec...
10 篇 department of el...
9 篇 department of el...
9 篇 oak ridge nation...
9 篇 department of el...
8 篇 univ hong kong d...
8 篇 institute of dig...
7 篇 department of el...
7 篇 chair for progra...
7 篇 department of co...
7 篇 department of co...
7 篇 department of co...
6 篇 inria
6 篇 school of comput...
6 篇 department of el...

作者

24 篇 steffen bernhard
14 篇 w.-s. lu
13 篇 liu derong
12 篇 anon
11 篇 josef börcsök
10 篇 wei qinglai
9 篇 bernhard steffen
9 篇 wu-sheng lu
9 篇 tiziana margaria
9 篇 margaria tiziana
8 篇 p. hasler
8 篇 a. antoniou
8 篇 sitek pawel
8 篇 m.r. lyu
8 篇 derong liu
8 篇 lu w.-s.
7 篇 wu youfeng
7 篇 t.m. khoshgoftaa...
7 篇 k.h. kim
7 篇 leucker martin

语言

8,071 篇 英文
109 篇 其他
35 篇 中文
19 篇 葡萄牙文
5 篇 西班牙文

检索条件"任意字段=International Symposium on Programming and Systems"

共 8236 条记录，以下是291-300 订阅

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

详细简洁

排序：

On the Optimal Construction of a Visual Cryptography Scheme for Multiple Secret Images 17

On the Optimal Construction of a Visual Cryptography Scheme ...

引用

17th international symposium on Information Theory and Its Applications, ISITA 2022

作者： Ioki, Raiki Koga, Hiroki University of Tsukuba College of Engineering Systems School of Science and Engineering 1-1-1 Tennoudai Tsukuba Ibaraki305-8573 Japan University of Tsukuba Faculty of Engineering Information and Systems Tsukuba305-8573 Japan

ISBN: (纸本)9784885523410

A visual cryptography scheme (VCS) is a secret sharing scheme for digital images. In a VCS, two n × m Boolean matrices, called basis matrices, are used to generate n black-white images called shares from a black-white secret image. Usually, m is called the pixel expansion because the n shares become m times larger than a secret image. So far, minimization of the pixel expansion has been discussed by various authors. In this paper, we consider a VCS that enables the secret sharing of q multiple secret images under q distinct access structures. We give a construction of 2q basis matrices with the minimum pixel expansion by solving a certain integer programming problem. It is also shown that 2q basis matrices can be explicitly constructed for a certain class of q access structures. © 2022 IEICE.

关键词： Integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 2022 IEEE 36th international Parallel and Distributed Processing symposium Workshops, IPDPSW 2022

Proceedings - 2022 IEEE 36th International Parallel and Dist...

引用

36th IEEE international Parallel and Distributed Processing symposium Workshops, IPDPSW 2022

ISBN: (纸本)9781665497473

The proceedings contain 148 papers. The topics discussed include: heterogeneous architecture for sparse data processing;combined application of approximate computing techniques in DNN hardware accelerators;highly efficient ALLTOALL and ALLTOALLV communication algorithms for GPU systems;implementing spatio-temporal graph convolutional networks on graphcore IPUs;the best of many worlds: scheduling machine learning inference on CPU-GPU integrated architectures;online learning RTL synthesis for automated design space exploration;machine learning aided hardware resource estimation for FPGA DNN implementations;optimal schedules for high-level programming environments on FPGAs with constraint programming;on how to push efficient medical semantic segmentation to the edge: the SENECA approach;and exploiting high-bandwidth memory for FPGA-acceleration of inference on sum-product networks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Applying Genetic programming for the Inverse Lindenmayer Problem 21

Applying Genetic Programming for the Inverse Lindenmayer Pro...

引用

21st IEEE international symposium on Computational Intelligence and Informatics

作者： Eszes, Tibor Botzheim, Janos Eotvos Lorand Univ Fac Informat Dept Artificial Intelligence Pazmany Peter Setany 1-C H-1117 Budapest Hungary

ISBN: (纸本)9781665426848

The aim of this work is to find an automated solution for the Inverse Lindenmayer problem - that is to find the describing system for a given end-result of an L-system - using both Bacterial programming and other related algorithms. To achieve this, several well-known L-systems were considered, their building symbols taken as the inputs for each algorithm, and the evolution results were compared with the formal definition of each system. The results indicate that this is indeed a viable area of research, as both Bacterial programming and other different algorithms

关键词： Evolutionary Computation Genetic programming Lindenmayer System

来源：评论

学校读者我要写书评

暂无评论

CuGraph C++ primitives: Vertex/edge-centric building blocks for parallel graph computing

CuGraph C++ primitives: Vertex/edge-centric building blocks ...

引用

2023 IEEE international Parallel and Distributed Processing symposium Workshops, IPDPSW 2023

作者： Kang, Seunghwa Hastings, Chuck Eaton, Joe Rees, Brad NVIDIA United States

ISBN: (纸本)9798350311990

Software development of high-performance graph algorithms is difficult on modern parallel computers. To simplify this task, we have designed and implemented a collection of C++ graph primitives, basic building blocks, within cuGraph to assist graph analytics software developers on parallel computers, ranging from desktops to large clusters. This graph primitives API provides a vertex/edge-centric C++ Standard Template Library (STL)-like interface, allowing users to pick a primitive algorithm, and specify desired operations on vertices and edges and how to reduce the output of such operations through C++ functors. The API implementation is responsible for executing these functors on the underlying hardware. In this case, the graph primitives are implemented to run on NVIDIA GPU systems, from a single-GPU to multi-GPUs in a distributed cluster. RAPIDS cuGraph is NVIDIA's graph analytics solution for data scientists and software integrators. Algorithms in cuGraph are either implemented using the cuGraph C++ primitives API or being migrated over to using the primitives API. The Louvain and PageRank algorithms have been tested on clusters with over 1000 GPUs. © 2023 IEEE.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Variational analytic programming for synthesis of optimal control 14

Variational analytic programming for synthesis of optimal co...

引用

14th international symposium on Intelligent systems

作者： Konyrbaev, N. B. Dauitbayeva, A. O. Ostayeva, A. B. Yessirkepova, A. U. Bexeitova, A. B. Korkyt ATA Kyzylorda State Univ Aiteke Bi 29A Kyzylorda 120014 Kazakhstan

In this paper we use analytic programming method for optimal control synthesis. We developed variation version of the analytic programming to improve the search process efficiency. The method perform search over the set of the small variations of the given basic solution. Search efficiency depends on the basic solution. We give an example of optimal control synthesis for the three-dimension system with the state constraints over the set of the initial states using this method. (c) 2021 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (http://***/licenses/by-nc-nd/4.0/) Peer-review under responsibility of the scientific committee of the 14th international symposium "Intelligent systems".

关键词： Analytic programming optimal control synthesis problem

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a Programmable Dynamic Geometry System with Support for Reverse Debugging

Design and Implementation of a Programmable Dynamic Geometry...

引用

international Conference on Digital Home (ICDH)

作者： Xiuxiu Zhang Xiaowei Guan Ying Wang Hao Guan Institute of Computing Science and Technology Guangzhou University Guangzhou China School of Mathematics and Information Science Guangzhou University Guangzhou China

ISBN: (数字)9798331509873

ISBN: (纸本)9798331509880

Dynamic geometry systems (DGS) are widely used in mathematics education to enhance students' thinking skills through geometric exploration. Integrating programming into DGS fosters both mathematical and computational thinking. However, research on reverse debugging design for programmable dynamic geometry systems is limited, and existing systems fail to meet the needs for operation reversal. To address this, this paper proposes a programming environment that supports reverse debugging, aiming to overcome the limitations of current programmable dynamic geometry systems in debugging. We abstracted dynamic geometry operations and defined three types of drawing instructions. To ensure sequential execution and debugging, we designed a debuggable sequential execution algorithm, followed by a reverse debugging control algorithm. The effectiveness of the system is verified by experiments.

关键词： Geometry Heuristic algorithms Education Debugging Dynamic programming programming profession programming environments

来源：评论

学校读者我要写书评

暂无评论

Benchmarking Photonic Quantum Machine Learning Simulators 17

Benchmarking Photonic Quantum Machine Learning Simulators

引用

17th IEEE international symposium on Applied Computational Intelligence and Informatics, SACI 2023

作者： Varga, Henrik Kiss, Attila Kolarovszki, Zoltan Elte Eötvös Loránd University Department of Algorithms and Their Applications Budapest Hungary Elte Eötvös Loránd University Department of Information Systems Budapest Hungary J. Selye University Department of Informatics Komárno Slovakia Department of Programming Languages and Compilers Elte Eotvos Lorand University Budapest Hungary Wigner Research Centre for Physics Department of Computational Sciences Budapest Hungary

ISBN: (纸本)9798350321104

In the past few years, quantum computing has gotten more attention, and the need for efficient simulations is getting increasingly important as well. A significant branch of quantum computing is photonic quantum computing. For simulating photonic quantum circuits, Strawberry Fields is the most popular framework. In this paper, we compared it with another framework currently under development called Piquasso regarding gradient calculation time, which is an essential part of continuous-variable quantum neural networks. We present the apparent scalability of Piquasso over Strawberry Fields by storing fewer data, but leading to possible accuracy differences as a trade-off, which could motivate future work. © 2023 IEEE.

关键词： Quantum optics

来源：评论

学校读者我要写书评

暂无评论

An Evolvable Swarm-Parallel Algorithm Framework for Satellite-Ground Networking Problem

An Evolvable Swarm-Parallel Algorithm Framework for Satellit...

引用

Aerospace Engineering and systems (ISAES), international symposium on

作者： Cheng Chen Yonghao Du Feng Yao College of Systems Engineering National University of Defense Technology Changsha China

ISBN: (数字)9798350350418

ISBN: (纸本)9798350350425

Satellite Internet has been deployed rapidly, leading to an explosive growth in satellite scale, further strengthening the contradiction between the growing demand for satellite-ground communication and the limited ground station resources. To address this challenge, this paper introduces an evolvable swarm-parallel algorithm framework (ESPAF), which comprises a swarm-parallel solving and deconflicting framework, a learning-assisted metaheuristic (LM) fast-solving algorithm that combines reinforcement learning (RL) and Tabu simulated annealing (TSA), and a linear programming (LP) exact-solving algorithm. The ESPAF breaks through the traditional task-driven satellite scheduling approach found in existing research and presents a novel and appropriate method for optimizing satellite-ground networking under a new macro paradigm. A series of experimental instances involving up to 1,000 satellites and 100 ground stations demonstrate the efficient performance of ESPAF. Comparative experiments with alternative metaheuristic algorithms and the CPLEX solver further emphasized ESP AF's ability to generate high-quality solutions more rapidly.

关键词： Satellites Metaheuristics Simulated annealing Reinforcement learning Integer linear programming Linear programming Mathematical models Explosives Internet Mathematical programming

来源：评论

学校读者我要写书评

暂无评论

Event Log Collection and Processing in Educational Environments: Discovering Usage Patterns for Learning Management systems

Event Log Collection and Processing in Educational Environme...

引用

international symposium on Intelligent systems and Informatics (SISY)

作者： Darko Etinger Faculty of Informatics Juraj Dobrila University of Pula

ISBN: (数字)9798350385601

ISBN: (纸本)9798350385618

The widespread adoption of Learning Management systems (LMS) in higher education, coupled with the increasing acceptance of e-learning, distance learning, and hybrid educational models, has significantly raised the expectations and performance metrics for students. This research, conducted at the Faculty of Informatics in Pula, aims to uncover the process models and usage patterns of the LMS in an educational setting, specifically focusing on the online course Business Information systems. The primary data source is an event log collected from the Moodle LMS used in this course. By employing process mining techniques for process discovery and model analysis, we developed a set of procedures within the Python programming environment to create a process model, process map, and process tree. The findings from this research demonstrate that a better understanding of e-learning usage patterns can contribute to the development of intelligent systems, such as recommendation systems, intelligent agents, and personal assistants, which can enhance the personalization of the learning experience for students.

关键词： Learning management systems Analytical models Electronic learning Soft sensors Data models Intelligent systems Informatics Recommender systems Python programming environments

来源：评论

学校读者我要写书评

暂无评论

Implementation and Diagnosis of a Production Line

Implementation and Diagnosis of a Production Line

引用

systems, Advanced Technologies and Knowledge (ISSATK), international symposium of

作者： Sarra Benhalima Department of Electrical Engineering Higher Institute of Applied Science And Technology of Kairouan Tunisia

ISBN: (数字)9798331540173

ISBN: (纸本)9798331540180

The implementation and diagnosis of industrial systems are essential for optimizing production. They involve integrating advanced technologies and quickly resolving issues to maintain high efficiency and quality output. This article entitled “Implementation and Diagnostic of a Production Line” aims to improve existing systems and, at the same time, to seek solutions to actual problems. This system is an industrial production line dedicated to chemical products that contains a diagnostic system for fault detection.

关键词： Accuracy Fault detection Production programming Security Reliability Monitoring Chemicals Pharmaceuticals

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 26 27 28 29 30 31 32 33 34 35 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：