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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

172 篇 logic gates
137 篇 fuzzy logic
123 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
64 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
50 篇 semantics
49 篇 computer science
49 篇 training
46 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
40 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
35 篇 computer program...
34 篇 integer programm...

机构

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 el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...
3 篇 lancaster univer...

作者

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,100 篇 英文
25 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

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

共 2139 条记录，以下是311-320 订阅

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

详细简洁

排序：

An Epistemic Model-Based Tutor for Imperative programming 22nd

An Epistemic Model-Based Tutor for Imperative Programming

引用

22nd international conference on Artificial Intelligence in Education (AIED) - Mind the Gap - AIED for Equity and Inclusion

作者： Kumar, Amruth N. Ramapo Coll Mahwah NJ 07430 USA

ISBN: (纸本)9783030782702;9783030782696

We developed a tutor for imperative programming in C++. It covers algorithm formulation, program design and coding - all three stages involved in writing a program to solve a problem. The design of the tutor is epistemic, i.e., true to real-life programming practice. The student works through all the three stages of programming in interleaved fashion, and within the context of a single code canvas. The student has the sole agency to compose the program and write the code. The tutor uses goals and plans as prompts to scaffold the student through the programming process designed by an expert. It provides drill-down immediate feedback at the abstract, concrete and bottom-out levels at each step. So, by the end of the session, the student is guaranteed to write the complete and correct program for a given problem. We used model-based architecture to implement the tutor because of the ease with which it facilitates adding problems to the tutor. In a preliminary study, we found that practicing with the tutor helped students solve problems with fewer erroneous actions and less time.

关键词： programming tutor Imperative programming Model-based architecture

来源：评论

学校读者我要写书评

暂无评论

Generative Program Analysis and Beyond: The Power of Domain-Specific Languages 1

引用

22nd international conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) jointly with the 48th ACM SIGPLAN Symposium on Principles of programming Languages (POPL)

作者： Steffen, Bernhard Murtovi, Alnis TU Dortmund Univ Chair Programming Syst Otto Hahn Str 14 D-44227 Dortmund Germany

ISBN: (数字)9783030670672

ISBN: (纸本)9783030670665;9783030670672

In this paper we position Linear Time Temporal logic (LTL), structural operational semantics (SOS), and a graphical generalization of BNF as central DSLs for program analysis and verification tasks in order to illustrate the impact of language to the mindset: (1) Specifying program analyses in LTL changes the classical algorithmic 'HOW' thinking into a property-oriented 'WHAT' thinking that allows one to logically combine analysis goals and eases proofs. (2) Playing with the original store component in SOS configurations allows one to elegantly realize variants of abstract program interpretations, and to align different aspects, like e.g., the symbolic values of variables and path conditions. (3) Specializing languages by refining their BNF-like meta models has the power to lift certain verification tasks from the program to the programming language level. We will illustrate the advantages of the change of mindset imposed by these three DSLs, as well as the fact that these advantages come at low price due to available adequate generator technology.

关键词： Generative programming Domain-specific languages Meta modelling Program analysis (Second-order) model checking Modal transition systems Context-free/procedural transition systems Modal refinement Predicate/property transformers Binary decision diagram

来源：评论

学校读者我要写书评

暂无评论

A Taxonomy of Software Flaws Leading to Buffer Overflows

A Taxonomy of Software Flaws Leading to Buffer Overflows

引用

IEEE international conference on Software Quality, Reliability and Security (QRS)

作者： Raphaël Khoury Department of Computer Science and Engineering Université du Québec en Outaouais Gatineau Québec

The buffer overflow attack has been dubbed ‘the vulnerability of the century’, because of the frequency and impact of this class of vulnerability. The wide variety of situations where this vulnerability can arise makes it particularly difficult to assess their occurrence or prevent them. In this paper, we present a novel taxonomy of programming errors which can lead to buffer overflows. This taxonomy easily translates into preconditions that ensure the code’s safe execution. We also illustrate each taxonomic class with a real-life example. Finally, from these examples, we draw a series of principles that developers can immediately incorporate in their programming habits in order to improve the security of their code.

关键词： Codes Taxonomy Buffer overflows Software quality programming Software reliability Security

来源：评论

学校读者我要写书评

暂无评论

Reinforcement Learning-Based Optimal Control for Continuous-Time Quantized Systems via Adaptive Dynamic programming

Reinforcement Learning-Based Optimal Control for Continuous-...

引用

IEEE SSD international Multi-conference on Systems, Signals and Devices

作者： Omar Qasem Weinan Gao Omar R. Daoud Electrical and Computer Engineering Department School of Engineering and Computing American International University Al-Jahra Kuwait State Key Laboratory of Synthetical Automation for Process Industries Northeastern University Shenyang Lianning China

ISBN: (数字)9798331542726

ISBN: (纸本)9798331542733

Ahstract- This paper presents a comprehensive investigation into the stability analysis and design conditions for quantizers to ensure the closed-loop stability of continuous-time linear quantized systems, under the conditions derived by the small-gain theorem. The study begins by deriving explicit bounds on the quantizer parameters required for maintaining system stability. Building on this foundation, an optimal controller is designed using the linear quadratic regulator (LQR) framework, providing an efficient data-driven control strategy. To further enhance the system's performance, an adaptive dynamic programming (ADP) algorithm, referred to as the hybrid iteration (HI) method, is developed. This algorithm effectively learns the optimal control policy by leveraging the trajectories of the quantized states and inputs, thereby addressing the challenges posed by quantization constraints. The proposed HI approach combines the advantages of adaptive learning and optimization, making it well-suited for continuous-time systems with limited information. The simulation results confirm that the ADP approach with the provided conditions not only stabilizes the quantized system but also achieves optimal control performance under the specified quantization conditions. This study offers valuable insights and a robust methodological framework for addressing stability and control challenges, with insights to be expanded to continuous-time nonlinear quantized systems, with potential applications in various engineering domains, such as networked systems, robotics and autonomous systems.

关键词： Quantization (signal) Adaptive systems Regulators Simulation Heuristic algorithms Optimal control Stability analysis Dynamic programming Trajectory Thermal stability

来源：评论

学校读者我要写书评

暂无评论

Integrated Control of Yaw and Roll Stability for Autonomous Vehicles Using Interval Type-2 Fuzzy logic

Integrated Control of Yaw and Roll Stability for Autonomous ...

引用

IEEE international conference on Industrial Informatics (IndIN)

作者： Yigao Ning Xuan Zhao Jianyi Ning Rui Liu Yanru Wang School of Automobile Chang'an University Xi'an China China Academy of Transportation Sciences Beijing China

ISBN: (数字)9798331527471

ISBN: (纸本)9798331527488

An integrated control framework for the yaw and roll stability of autonomous vehicles based on interval type-2 fuzzy logic (IT2 FL) is presented in this research. Firstly, to describe the lateral, yaw and roll motion adequately, a three degrees of freedom dynamic model that can represent the driving stability of autonomous vehicles is established by force balance equations. Secondly, the integrated control framework is constructed according to the vehicle dynamics model, which contains three IT2 FL systems: one is to stabilize the vehicle roll angle, another is to decrease the vehicle sideslip angle, and the last is to regulate the vehicle yaw rate. Thirdly, the control algorithm of IT2 FL systems using singleton fuzzification, product inference engine, center of sets type reduction and interval average defuzzifier is presented in detail to perform fuzzy rules summarized through dynamical analysis. Finally, comparative simulation experiments both in undisturbed and disturbed conditions are performed using a co-simulation platform based on Carsim and Matlab/Simulink, and the feasibility and superiority of the proposed integrated control strategy are proved by the corresponding results.

关键词： Fuzzy logic Heuristic algorithms Force Stability analysis Mathematical models Inference algorithms Vehicle dynamics Autonomous vehicles Engines Centralized control

来源：评论

学校读者我要写书评

暂无评论

A Fuzzy logic System-Based Multidimensional Integrated Routing and Wavelength Assignment Method in Optical Network-on-Chip (ONoC)

A Fuzzy Logic System-Based Multidimensional Integrated Routi...

引用

international conference on Communication Technology (ICCT)

作者： Jiahe ZHAO Hui Li Feiyang LIU State Key Laboratory of Integrated Services Networks School of Telecommunications Engineering Xidian University Xi'an China Xi'an Aeronautics Computing Technique Research Institute AVIC Xi'an China

In Optical Network-on-Chip (ONoC), both routing and wavelength assignment have an impact on the Optical Signal-to-Noise (OSNR), which further influence the power efficiency and scalability. In this work, we propose a multidimensional Integrated RWA method based on the fuzzy logic system (named as I-RWA) which considers routing and wavelength assignment. OSNR, traffic distribution, waiting delay and wavelength utilization are taken into consideration at the same time. The effect of wavelength assignment on OSNR is also discussed. The evaluation results show that the proposed method I-RWA can obtain the best performance in OSNR and is feasible to be adapted for other more performance factors.

关键词： Integrated optics Fuzzy logic Wavelength assignment Scalability Network-on-chip Routing Communications technology

来源：评论

学校读者我要写书评

暂无评论

CONTRASTIVE LEARNING OF MUSICAL REPRESENTATIONS 22

CONTRASTIVE LEARNING OF MUSICAL REPRESENTATIONS

引用

22nd international conference on Music Information Retrieval, ISMIR 2021

作者： Spijkervet, Janne Burgoyne, John Ashley Institute for Logic Language and Computation University of Amsterdam Netherlands

ISBN: (纸本)9781732729902

While deep learning has enabled great advances in many areas of music, labeled music datasets remain especially hard, expensive, and time-consuming to create. In this work, we introduce SimCLR to the music domain and contribute a large chain of audio data augmentations to form a simple framework for self-supervised, contrastive learning of musical representations: CLMR. This approach works on raw time-domain music data and requires no labels to learn useful representations. We evaluate CLMR in the downstream task of music classification on the MagnaTagATune and Million Song datasets and present an ablation study to test which of our music-related innovations over SimCLR are most effective. A linear classifier trained on the proposed representations achieves a higher average precision than supervised models on the MagnaTagATune dataset, and performs comparably on the Million Song dataset. Moreover, we show that CLMR’s representations are transferable using out-of-domain datasets, indicating that our method has strong generalisability in music classification. Lastly, we show that the proposed method allows data-efficient learning on smaller labeled datasets: we achieve an average precision of 33.1% despite using only 259 labeled songs in the MagnaTagATune dataset (1% of the full dataset) during linear evaluation. To foster reproducibility and future research on self-supervised learning in music, we publicly release the pre-trained models and the source code of all experiments of this paper. © 2021 Proceedings of the 22nd international conference on Music Information Retrieval, ISMIR 2021. All Rights Reserved.

关键词： Music

来源：评论

学校读者我要写书评

暂无评论

A Guide for Quantum Web Services Deployment 22nd

A Guide for Quantum Web Services Deployment

引用

22nd international conference on Web Engineering (ICWE)

作者： Alvarado-Valiente, Jaime Romero-Alvarez, Javier Garcia-Alonso, Jose Murillo, Juan M. Univ Extremadura Quercus Software Engn Grp Escuela Politecn Av Univ S-N Caceres 10003 Spain

ISBN: (纸本)9783031099175;9783031099168

Quantum computing is a new paradigm for solving problems that classical computers cannot reach. To the point that it is already generating interest in the scientific and industrial communities. Currently, quantum computers and technology are being developed to support the execution of quantum software. Several large computer companies have already built functional quantum computers, and developed several programming languages and quantum simulators that can be used by the general public. All this infrastructure for quantum computing is offered to quantum developers through the cloud, following a model similar to the familiar Infrastructure as a Service. However, due to the early stages of quantum computing taking advantage of the capabilities of these computers requires a very in depth knowledge of quantum programming and quantum hardware that is far from what cloud developers are used to in classical cloud offerings. Although the future of quantum computing is still unknown, it is highly certain that there must be a time when quantum computing coexists with classical computing. At the same time, one of the most well-known and tested solutions for the communication of heterogeneous computing systems are web services. In this tutorial we will offer an introductory view on how quantum algorithms can be converted into web services, how this web services can be deployed, using the Amazon Braket platform for quantum computing, and invoked through classical web services endpoints. Finally, we will propose a way in which a disadvantage of current quantum computers in terms of web services can be transformed into an advantage for web services through the use of a Quantum API Gateway.

关键词： Quantum software development Quantum web services Quantum programming

来源：评论

学校读者我要写书评

暂无评论

Multi-Frame Detection via Matrix Information Geometry-Based Track-Before-Detect Algorithm

Multi-Frame Detection via Matrix Information Geometry-Based ...

引用

international conference on Communication Technology (ICCT)

作者： Hao Wu Yongqiang Cheng Zheng Yang Xiaoqiang Hua Hongqiang Wang Xiang Li College of Electronic Science and Technology National University of Defense Technology Changsha China College of Meteorology and Oceanography National University of Defense Technology Changsha China

To address the performance degradation resulting from the power fluctuation of targets, the matrix information geometry-based track-before-detect algorithm for multi-frame detection is proposed. The proposed method combines the performance advantages of matrix information geometry (MIG) detector and the information accumulation ability of dynamic programming, which can improve the detection performance for fluctuating target. Specifically, the multi-frame target detection is formulated as an optimization problem on the Hermitian positive-definite (HPD) manifold, and the MIG-based dynamic programming is deduced to solve it. The experiments based on real-recorded sea clutter data show that the proposed method is effective.

关键词： Manifolds Information geometry Target tracking Heuristic algorithms Radar detection Radar tracking Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

22nd international conference on Agile Software Development, XP 2021

22nd International Conference on Agile Software Development,...

引用

22nd international conference on Agile Software Development, XP 2021

ISBN: (纸本)9783030780975

The proceedings contain 13 papers. The special focus in this conference is on Agile Software Development. The topics include: Benefits and Challenges of Adopting SAFe - An Empirical Survey;using a Low Code Development Environment to Teach the Agile Methodology;comparing Participants’ Brainwaves During Solo, Pair, and Mob programming;UX Work in Software Start-Ups: Challenges from the Current State of Practice;How to Write Ethical User Stories? Impacts of the ECCOLA Method;setting the Scope for a New Agile Assessment Model: Results of an Empirical Study;towards a Standardized Questionnaire for Measuring Agility at Team Level;the Impact of Agile Transformations on Organizational Performance: A Survey of Teams, Programs and Portfolios;measuring Software Delivery Performance Using the Four Key Metrics of DevOps;evolution of the Agile Scaling Frameworks;coordination Strategies: Managing Inter-team Coordination Challenges in Large-Scale Agile.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共214页 << < 28 29 30 31 32 33 34 35 36 37 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：