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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,651 篇 会议
323 篇 期刊文献
252 册 图书

馆藏范围

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

日期分布

学科分类号

4,042 篇 工学
- 2,988 篇 计算机科学与技术...
- 1,846 篇 软件工程
- 985 篇 电气工程
- 581 篇 控制科学与工程
- 351 篇 信息与通信工程
- 335 篇 电子科学与技术（可...
- 187 篇 机械工程
- 86 篇 仪器科学与技术
- 78 篇 化学工程与技术
- 49 篇 生物医学工程（可授...
- 48 篇 材料科学与工程（可...
- 41 篇 生物工程
- 37 篇 动力工程及工程热...
- 37 篇 交通运输工程
- 37 篇 航空宇航科学与技...
- 36 篇 土木工程
- 33 篇 建筑学
- 32 篇 环境科学与工程（可...
- 31 篇 安全科学与工程
921 篇 理学
- 727 篇 数学
- 142 篇 系统科学
- 97 篇 统计学（可授理学、...
- 96 篇 物理学
- 67 篇 生物学
485 篇 管理学
- 395 篇 管理科学与工程(可...
- 121 篇 工商管理
- 99 篇 图书情报与档案管...
55 篇 医学
- 46 篇 临床医学
46 篇 经济学
- 41 篇 应用经济学
32 篇 法学
30 篇 教育学
- 30 篇 教育学
20 篇 文学
19 篇 农学
6 篇 艺术学
5 篇 军事学

主题

1,298 篇 programming
769 篇 linear programmi...
579 篇 programming prof...
487 篇 application soft...
486 篇 parallel program...
374 篇 computer archite...
367 篇 computer science
362 篇 hardware
349 篇 dynamic programm...
312 篇 logic programmin...
310 篇 software systems
271 篇 software enginee...
267 篇 concurrent compu...
267 篇 optimization
258 篇 computational mo...
244 篇 object oriented ...
239 篇 parallel process...
232 篇 control systems
209 篇 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,020 篇 英文
153 篇 其他
35 篇 中文
16 篇 葡萄牙文
5 篇 西班牙文

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

共 8226 条记录，以下是411-420 订阅

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

详细简洁

排序：

Coding Buddy: An Adaptive AI-Powered Platform for Personalized Learning

Coding Buddy: An Adaptive AI-Powered Platform for Personaliz...

引用

international symposium on Networks, Computers and Communications (ISNCC)

作者： Harsha Nutalapati Sachin Velmurugan Nestor Michael Tiglao Department of Electrical and Computer Engineering University of Maryland College Park Maryland USA

ISBN: (数字)9798350364910

ISBN: (纸本)9798350364927

In today's fast-paced tech world, students often struggle to keep up with complex programming concepts. Traditional online learning platforms fail to adapt to individual learning speeds, leaving many students frustrated and falling behind. Our research introduces “Coding Buddy,” an innovative online learning system designed to solve this problem. Coding Buddy uses advanced technology to track how each student learns and adapts the course content accordingly. By analyzing factors like the time spent on each lesson, the types of mistakes made, and how often students ask for help, our system creates a personalized learning experience. Our study of 1,000 computer science students showed that 70% found traditional online courses too rigid. With Coding Buddy, 85% of students reported better understanding of complex topics. The system's ability to adjust difficulty levels in real-time led to a 40% increase in course completion rates. The key innovation is our use of AI-powered chat assistants and granular difficulty levels. This allows Coding Buddy to offer explanations in simpler language when needed, or provide more challenging content for advanced learners. Our results suggest that this personalized approach significantly improves learning outcomes in tech education. By addressing the individual needs of each student, Coding Buddy represents a major step forward in online programming education, potentially revolutionizing how we teach and learn complex technical skills.

关键词： Learning systems Technological innovation Analytical models Adaptive systems Computational modeling Education Predictive models Encoding Real-time systems programming profession

来源：评论

学校读者我要写书评

暂无评论

Cross Language Soccer Framework: An Open Source Framework for the RoboCup 2D Soccer Simulation

Cross Language Soccer Framework: An Open Source Framework fo...

引用

27th RoboCup international symposium, 2024

作者： Zare, Nader Sayareh, Aref Sadraii, Alireza Firouzkouhi, Arad Soares, Amilcar CYRUS Robotic Team Halifax Canada Memorial University of Newfoundland St. John’s Canada Department of Computer Science and Media Technology Linnaeus University Växjö Sweden Amirkabir University of Technology Tehran Iran

ISBN: (纸本)9783031858581

RoboCup Soccer Simulation 2D (SS2D) research is hampered by the complexity of existing C++-based codes like Helios, Cyrus, and Gliders, which also suffer from limited integration with modern machine learning frameworks. This development paper introduces a transformative solution: a gRPC-based, language-agnostic framework that seamlessly integrates with the high-performance Helios base code. This approach not only facilitates the use of diverse programming languages including C#, JavaScript, and Python—but also maintains the computational efficiency critical for real-time decision-making in SS2D. By breaking down language barriers, our framework significantly enhances collaborative potential and flexibility, empowering researchers to innovate without the overhead of mastering or developing extensive base codes. We invite the global research community to leverage and contribute to the Cross Language Soccer (CLS) framework, which is openly available under the MIT License, to drive forward the capabilities of multi-agent systems in soccer simulations (https://***/CLSFramework,https://***/CLSFramework/cross-language-soccer-framework/wiki). © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Linear Coding for AWGN Channels with Noisy Output Feedback via Dynamic programming

Linear Coding for AWGN Channels with Noisy Output Feedback v...

引用

IEEE international symposium on Information Theory (ISIT)

作者： Mishra, Rajesh Vasal, Deepanshu Kim, Hyeji Univ Texas Austin Dept ECE Austin TX 78712 USA Northwestern Univ Dept ECE Evanston IL 60208 USA

ISBN: (纸本)9781538682098

In this paper, we consider a communication system where a sender sends messages over a memoryless Gaussian point-to-point channel to a receiver and receives the output feedback over another Gaussian channel with known variance and unit delay. The sender sequentially transmits the message over multiple times till a certain error performance is achieved. The aim of our work is to design a transmission strategy to process every transmission with the information that was received in the previous feedback and send a signal so that the estimation error drops as quickly as possible. The optimal code is unknown for channels with noisy output feedback when the block length is finite. Even within the family of linear codes, optimal codes are unknown in general. Bridging this gap, we propose a family of linear sequential codes and provide a dynamic programming (DP) algorithm to solve for a closed form expression for the optimal code within a class of sequential linear codes. The optimal code discovered via DP is a generalized version of which the Schalkwijk-Kailath (SK) scheme is one special case with noiseless feedback;our proposed code coincides with the celebrated SK scheme for noiseless feedback settings.

关键词： Estimation error Communication systems Heuristic algorithms Receivers Linear codes Encoding Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

A Charge-Trap-Transistor-Based Fully Analog Machine Learning Inference Engine for Audio Keyword Spotting

A Charge-Trap-Transistor-Based Fully Analog Machine Learning...

引用

IEEE international symposium on Circuits and systems (ISCAS)

作者： Navid Rezazadeh John Gosson Roger Levinson Paramjeet Sahni Mark Bury Juan Diaz Shufan Chan Eve Boyer Niraj Mathur Hamid Taheri Blumind Inc. Ottawa Canada

ISBN: (数字)9798350330991

ISBN: (纸本)9798350331004

We present an analog machine learning chip for audio keyword spotting based on charge-trap transistors in 22 nm FD-SOI process. This implementation does not require any analog-to-digital conversion and uses 4-bit weights with a full scale of 200 nA, resulting in an ultra-low-power solution suitable for edge devices. A recurrent neural network has been implemented on chip demonstrating a 96% correlation between silicon measurement and simulation, while consuming an average of 10 nJ per inference.

关键词： Semiconductor device measurement Recurrent neural networks Neuromorphics Machine learning programming Silicon Robustness

来源：评论

学校读者我要写书评

暂无评论

Integrating Information Flow Analysis in Unifying Theories of programming 26

Integrating Information Flow Analysis in Unifying Theories o...

引用

26th IEEE Pacific Rim international symposium on Dependable Computing (PRDC)

作者： Mu, Chunyan Li, Guoqiang Teesside Univ Dept Comp & Games Middlesbrough Cleveland England Shanghai Jiao Tong Univ Sch Software Shanghai Peoples R China

ISBN: (纸本)9781665424769

This paper presents a formal approach for modelling and reasoning about information flow control in software systems under Hoare and He's Unifying Theories of programming (UTP). We investigate the problem of integrating information flow control into system design in a unified semantic setting. Our approach can therefore treat information flow analysis and control in various families of specification languages and programming paradigms in a more general way. In addition, we formalise the link between classes of predicates as a paired function which maps set of the predicates from one class into set of the predicates from the other with a concern of flow security preservation. The proposed flow-sensitive combined theories of multiple level classes of predicates can be applied to ensure flow security in different paradigms under stepwise development.

关键词： information flow language-based security formal method UTP refinement

来源：评论

学校读者我要写书评

暂无评论

Characterizing Massively Parallel Polymorphism

Characterizing Massively Parallel Polymorphism

引用

IEEE international symposium on Performance Analysis of systems and Software (ISPASS)

作者： Zhang, Mengchi Alawneh, Ahmad Rogers, Timothy G. Purdue Univ W Lafayette IN 47907 USA

ISBN: (纸本)9781728186436

GPU computing has matured to include advanced C++ programming features. As a result, complex applications can potentially benefit from the continued performance improvements made to contemporary GPUs with each new generation. Tighter integration between the CPU and GPU, including a shared virtual memory space, increases the usability of productive programming paradigms traditionally reserved for CPUs, like object-oriented programming. Programmers are no longer forced to restructure both their code and data for GPU acceleration. However, the implementation and performance implications of advanced C++ on massively multithreaded accelerators have not been well studied. In this paper, we study the effects of runtime polymorphism on GPUs. We first detail the implementation of virtual function calls in contemporary GPUs using microbenchmarking. We then propose Parapoly, the first open-source polymorphic GPU benchmark suite. Using Parapoly, we further characterize the overhead caused by executing dynamic dispatch on GPUs using massively scaled CPU workloads. Our characterization demonstrates that the optimization space for runtime polymorphism on GPUs is fundamentally different than for CPUs. Where indirect branch prediction and ILP extraction strategies have dominated the work on CPU polymorphism, GPUs are fundamentally limited by excessive memory system contention caused by virtual function lookup and register spilling. Using the results of our study, we enumerate several pitfalls when writing polymorphic code for GPUs and suggest several new areas of system and architecture research that can help alleviate overhead.

关键词： GPU Object Oriented programming Polymorphism

来源：评论

学校读者我要写书评

暂无评论

Derivative-Free-Optimization-based Bifurcation Point Detection Method without Parameter Tuning

Derivative-Free-Optimization-based Bifurcation Point Detecti...

引用

IEEE international symposium on Circuits and systems (ISCAS)

作者： Haruna Matsushita Hiroaki Kurokawa Takuji Kousaka Kagawa University Japan Tokyo University of Technology Japan Chukyo University Japan

ISBN: (数字)9798350330991

ISBN: (纸本)9798350331004

This study proposes a novel derivative-free-optimization-based bifurcation point detection strategy that automatically adjusts parameter settings during the search. The proposed method is based on an adaptive differential evolution (JADE) and does not require parameter tuning by the user. Simulation results show that the proposed method obtains accurate bifurcation parameter sets with a higher success rate and a shorter time than the classic DE. Furthermore, we investigate the influence of the population size on the performance, and the proposed method requires fewer populations than DE. By using the proposed method, the user obtains a two-parameter bifurcation diagram without the derivative of the objective function or the careful setting of the simulation parameters.

关键词： Accuracy Runtime Simulation Sociology Optimization methods Bifurcation Linear programming

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis between programming languages in Android mobile embedded systems 23

Comparative analysis between programming languages in Androi...

引用

27th Brazilian symposium on programming Languages, SBLP 2023

作者： Neder, Fernando Miranda Filho, Ricardo Azevedo, Jônatas Pessoa, Larissa De Freitas, Rosiane Barreto, Raimundo Instituto de Computação Universidade Federal Do Amazonas Brazil

ISBN: (纸本)9798400716287

Com o surgimento de dispositivos móveis de poder computacional cada vez maior, novas linguagens de programação também surgem de modo a dar suporte ao desenvolvimento de sistemas cada vez mais complexos que atendam aos desafios crescentes do mercado e às necessidades dos usuários. Cada linguagem de programação possui características específicas e a escolha da mais adequada depende de um conjunto de fatores associados aos requisitos do projeto a ser implementado, bem como à plataforma em que será executado. Neste trabalho foi investigado o desempenho de smartphones, que são considerados sistemas embarcados móveis devido possuírem configuração específica de hardware e software, em relação ao tempo de execução e aos consumos de energia e de memória, na execução de aplicativos móveis Android desenvolvidos em linguagens de programação clássicas, sendo C, C++, Java, Python, e também Kotlin, uma das linguagens oficiais do Android e Google, recentemente proposta e ainda pouco investigada, através de códigos abertos de algoritmos de benchmark multilinguagem.

关键词： algorithms mobile embedded systems multilingual benchmark programming languages

来源：评论

学校读者我要写书评

暂无评论

Multiobjective Branch-and-Cut Method with Shared Cutting Plane Information: A Case Study on Optimizing Garbage Collection

Multiobjective Branch-and-Cut Method with Shared Cutting Pla...

引用

international symposium on Soft Computing and Intelligent systems (SCIS)

作者： Tomoki Kaho Kazutoshi Sakakibara Mikiharu Arimura Shinya Watanabe The Graduate School of Engineering Muroran Institute of Technology Muroran Japan Department of Data Science Faculty of Information Engineering Toyama Prefectural University Toyama Japan Department of Engineering Muroran Institute of Technology Muroran Japan Department of Sciences and Informatics Muroran Institute of Technology Muroran Japan

ISBN: (数字)9798350373332

ISBN: (纸本)9798350373349

This paper presents an application of the Multi-Objective Branch-and-Bound based on Decomposition (MOBB/D) method for Branch-and-Cut, combining branch-and-bound and cutting-plane methods. Traditionally, multi-objective branch-and-bound methods for multi-objective mixed-integer linear programming problems struggle with the large number of Pareto-optimal solutions. MOBB/D addresses this by decomposing multi-objective problems into single-objective subproblems using weight vectors and applying branch-and-bound to each, with information sharing between nearby subproblems. In this paper, we customize the MOBB/D method for Branch-and-Cut to achieve an efficient search by sharing cutting plane information in MOBB/D. We demonstrate our approach with a case study on garbage collection planning in Muroran City, Hokkaido, Japan. This case study combines facility location and route optimization within a multi-objective framework, balancing the burdens on residents and garbage collection workers. Numerical experiments compare execution times and solutions with and without cutting plane sharing, and visualize the impact of different objective balance preferences on route optimization. The results show substantial efficiency gains and provide practical insights for multi-objective optimization in urban planning.

关键词： Visualization Scalability Roads Urban planning Vectors Real-time systems Planning Mixed integer linear programming Computational efficiency Optimization

来源：评论

学校读者我要写书评

暂无评论

A 0.5 μm2 2-T Thin-Oxide OTP Antifuse with Reliability Enhanced by Auto Shut-off Program Logic for Low-Power Applications

A 0.5 μm2 2-T Thin-Oxide OTP Antifuse with Reliability Enha...

引用

IEEE international symposium on Circuits and systems (ISCAS)

作者： Haoyu Li Dong Wang Jiazheng Zhou Junhua Liu Huailin Liao Beijing Advanced Innovation Center for Integrated Circuits School of Integrated Circuits Peking University Beijing China

ISBN: (数字)9798350330991

ISBN: (纸本)9798350331004

A 2-T Antifuse cell with only thin-oxide transistors is proposed in this work, which is completely compatible with standard CMOS process. Its layout area is only as 0.5 μm 2 (1×0.5 μm 2 ) in 40nm CMOS process, representing a 67% reduction in size compared with previous work at the same thickness. Considering the bitcell trade-off between area and reliability, the reliability is enhanced by an auto shut-off program logic and its feasibility is proven. Moreover, based on the cell, a 4Kb OTP array simulation shows that the program current is only 7 μA and read current is 5 μA. The characteristics of the memory array demonstrate its suitability for low-power applications in systems like RFID.

关键词： Programmable logic arrays Voltage programming CMOS process Timing Logic Transistors

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 38 39 40 41 42 43 44 45 46 47 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：