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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

907 篇 会议
16 册 图书
4 篇 期刊文献

馆藏范围

927 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

570 篇 工学
- 450 篇 计算机科学与技术...
- 284 篇 软件工程
- 135 篇 信息与通信工程
- 134 篇 控制科学与工程
- 62 篇 电气工程
- 54 篇 交通运输工程
- 46 篇 安全科学与工程
- 43 篇 生物工程
- 32 篇 网络空间安全
- 31 篇 电子科学与技术（可...
- 27 篇 动力工程及工程热...
- 27 篇 石油与天然气工程
- 24 篇 生物医学工程（可授...
- 20 篇 机械工程
- 20 篇 仪器科学与技术
- 17 篇 光学工程
226 篇 理学
- 139 篇 数学
- 51 篇 生物学
- 30 篇 物理学
- 28 篇 系统科学
- 28 篇 统计学（可授理学、...
- 15 篇 化学
160 篇 管理学
- 115 篇 管理科学与工程(可...
- 82 篇 工商管理
- 78 篇 图书情报与档案管...
48 篇 经济学
- 48 篇 应用经济学
30 篇 教育学
- 30 篇 教育学
29 篇 法学
- 25 篇 社会学
20 篇 医学
- 19 篇 临床医学
- 17 篇 基础医学(可授医学...
7 篇 农学
4 篇 军事学
2 篇 文学
2 篇 艺术学

主题

36 篇 computer science
26 篇 control systems
21 篇 machine learning
16 篇 artificial intel...
13 篇 access control
13 篇 reinforcement le...
13 篇 computational mo...
13 篇 real-time system...
13 篇 costs
12 篇 traffic control
12 篇 bandwidth
11 篇 deep learning
11 篇 computer archite...
11 篇 protocols
10 篇 quality of servi...
9 篇 automation
9 篇 neural networks
9 篇 hardware
8 篇 mobile ad hoc ne...
8 篇 computer communi...

机构

7 篇 university polit...
7 篇 faculty of autom...
6 篇 national institu...
6 篇 university polit...
6 篇 computer science...
5 篇 pazhou lab
5 篇 chinese acad sci...
4 篇 al-balqa applied...
4 篇 faculty of autom...
4 篇 university polit...
4 篇 school of inform...
4 篇 school of comput...
4 篇 guangdong univ t...
3 篇 college of compu...
3 篇 college of infor...
3 篇 univ chinese aca...
3 篇 univ jinan sch m...
3 篇 department of gr...
3 篇 department of co...
3 篇 university polit...

作者

7 篇 li hui
5 篇 florea adina mag...
5 篇 fagarasan ioana
4 篇 adina magda flor...
4 篇 min-chul lee
4 篇 ghassan samara
4 篇 myungjin cho
4 篇 samara ghassan
4 篇 mocanu stefan
4 篇 liu derong
4 篇 mustata alexandr...
4 篇 hyun-woo kim
4 篇 teng luyao
4 篇 ştefan mocanu
3 篇 bogdan-costel mo...
3 篇 giorgian neculoi...
3 篇 mihnea alexandru...
3 篇 stamatescu grigo...
3 篇 ding naikan
3 篇 grigore stamates...

语言

920 篇 英文
5 篇 其他
3 篇 中文

检索条件"任意字段=24th International Conference on Control Systems and Computer Science, CSCS 2023"

共 927 条记录，以下是251-260 订阅

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

详细简洁

排序：

24th international conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023

24th International Conference on Verification, Model Checkin...

引用

24th international conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023

ISBN: (纸本)9783031249495

the proceedings contain 17 papers. the special focus in this conference is on Verification, Model Checking, and Abstract Interpretation. the topics include: A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation;CosySEL: Improving SAT Solving Using Local Symmetries;sound Symbolic Execution via Abstract Interpretation and Its Application to Security;result Invalidation for Incremental Modular Analyses;synthesizing History and Prophecy Variables for Symbolic Model Checking;solving Constrained Horn Clauses over Algebraic Data Types;ARENA: Enhancing Abstract Refinement for Neural Network Verification;SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study;StaticPersist: Compiler Support for PMEM Programming;symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference;satisfiability Modulo Custom theories in Z3;bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation;a Pragmatic Approach to Stateful Partial Order Reduction;compositional Verification of Stigmergic Collective systems;efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Enhancing Efficiency of the Gradual Refinement Approach 24

Enhancing Efficiency of the Gradual Refinement Approach

引用

24th international Carpathian control conference, ICCC 2023

作者： Kvet, Marek Janacek, Jaroslav University of Žilina Faculty of Management Science and Informatics Žilina010 26 Slovakia

ISBN: (纸本)9798350310221

the gradual refinement approach has proved to be very efficient tool for finding a good approximation of the Pareto front consisting of various public service designs. the individual designs are represented by sets of p facility locations selected from m possible facility locations. Quality of a design is evaluated according two conflicting criteria, where one of them minimizes system disutility perceived by an average user and the second criterion minimizes disutility perceived by the most exposed users' minority. the Pareto front consists of such designs that any other design is dominated by at least one of the Pareto front elements. the process of gradual refinement is based on step-by-step updating a current set of non-dominated system designs, when each step represents a neighborhood search procedure performed with one of the current set elements. Repeating of the process proved to be ineffective in comparison to the first application. this contribution is focused on enhancing efficiency of the gradual refinement by a special choice and treatment of the starting design after the first run of the original refinement process is performed. © 2023 IEEE.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

Lessons Learned from Creating, Implementing and Evaluating Assisted E-Learning Incorporating Adaptivity, Recommendations and Learning Analytics 1

引用

4th international conference on Adaptive Instructional systems Held as Part of the 24th international conference on Human-computer Interaction (HCII)

作者： Altun, Daniela Krauss, Christopher Streicher, Alexander Mueller, Christoph Atorf, Daniel Rerhaye, Lisa Kunde, Dietmar Fraunhofer FKIE Bonn Germany Fraunhofer FOKUS Berlin Germany Fraunhofer IOSB Karlsruhe Germany German Army Headquarters Strausberg Germany

ISBN: (数字)9783031058875

ISBN: (纸本)9783031058875;9783031058868

Applications of adaptive e-learning, recommender systems and learning analytics are typically presented individually, however, their combination poses several challenging requirements ranging from organizational to technical issues. this article presents a technical study from a holistic application of a variety of e-learning assistance technologies, including recommender systems, chatbots, adaptivity, and learning analytics. At its core we operationalize interoperability standards such as the Experience API (xAPI) and Learning Tools Interoperability (LTI), and control the data flow via a standard-encapsulating middleware approach. We report on the challenges regarding organization, methodology, content, didactics, and technology. A systematic evaluation with the target group discusses the users' expectations with the measured interactions.

关键词： Adaptive instructional systems Learning management system Artificial intelligence Adaptive learning Adult education Evaluation

来源：评论

学校读者我要写书评

暂无评论

Instance Selection Techniques for Large Volumes of Data 24th

Instance Selection Techniques for Large Volumes of Data

引用

24th international conference on Intelligent Data Engineering and Automated Learning, IDEAL 2023

作者： Cubillos, Marco Antonio Peña Ballesteros, Antonio Javier Tallón Department of Electronic Computer Systems and Automation Engineering International University of Andalusia Huelva Spain

ISBN: (纸本)9783031482311

Instance selection (IS) serves as a vital preprocessing step, particularly in addressing the complexities associated with high-dimensional problems. Its primary goal is the reduction of data instances, a process that involves eliminating irrelevant and superfluous data while maintaining a high level of classification accuracy. IS, as a strategic filtering mechanism, addresses these challenges by retaining essential instances and discarding hindering elements. this refinement process optimizes classification algorithms, enabling them to excel in handling extensive datasets. In this research, IS offers a promising avenue to strengthen the effectiveness of classification in various real-world applications. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2023.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Towards Process-Oriented Programming Distributed control systems 24

Towards Process-Oriented Programming Distributed Control Sys...

引用

24th IEEE international conference of Young Professionals in Electron Devices and Materials, EDM 2023

作者： Zyubin, Vladimir E. Ivanishkin, Dmitry S. Anureev, Igor S. Institute of Automation and Electrometry Sb Ras Cyber-physical Lab Novosibirsk Russia

ISBN: (纸本)9798350336870

this paper examines the potential of programming distributed control systems through the process-oriented paradigm. Two key characteristics exhibited by the proposed approach are topologically independent control algorithm specification and the ability to utilize the existing methods of formal verification while retaining the semantics of a centralized program. the advantages of a topologically independent specification over established approaches are discussed, delineating the salient features of tasks addressed in industrial automation. the paper illustrates the suitability of the process-oriented approach for solving challenges in the automation of cyber-physical systems. Moreover, this paper presents a thorough plan for implementing a distributed control system by relying on process-oriented specifications. A formal algorithm is introduced to partition a process-oriented program graph, wherein processes and variables serve as nodes, into distinct clusters. the effectiveness of this algorithm is demonstrated through its application to a model bottle-filling task. © 2023 IEEE.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Dynamic Shaping Neural Network-Based Fault Location Determination for Power Transmission Lines 24

Dynamic Shaping Neural Network-Based Fault Location Determin...

引用

24th international Middle East Power System conference, MEPCON 2023

作者： Rizk-Allah, Rizk M. Elkalashy, Nagy I. Eldesoky, Islam M. Ayad, Ahmed.N. Shebin El-komMenofia University Department of Electrical Engineering Faculty of Engineering Egypt Shebin El-komMenofia University Department of Basic Engineering Science Faculty of Engineering Egypt Elmenofia Higher Institute of Engineering and Technology Ministry of Higher Education Department of Basic Sciences Egypt

ISBN: (纸本)9798350358469

the reliable guidance of power grid systems due to the massive demand, the expansion and maintenance of electrical power requires more restrictive requirements to improve the continuity and the quality of the power system. Faults that occur in electrical power networks demand high-quality power system protection and control devices, which has appeared as a prime of importance. this work introduces a line-to-ground fault location estimation approach for a 138-mile transmission line length utilizing a proposed hybrid model of particle swarm optimizer and feed-forward neural network, by adapting the shape of a neural network according to results accuracy which leads to dynamic configuration of neural network. the proposed model predicts fault position utilizing data gathered like pre and post-fault situation currents and voltages for both sides of the transmission line being tested. Random forest and classical neural networks trained with cross-validation techniques are imposed to compare results. Results indicate the superiority of the proposed model for both training and testing processes by yielding minimum total mean square error. © 2023 IEEE.

关键词： Mean square error

来源：评论

学校读者我要写书评

暂无评论

24th international conference on Passive and Active Measurement, PAM 2023

24th International Conference on Passive and Active Measurem...

引用

24th international conference on Passive and Active Measurement, PAM 2023

ISBN: (纸本)9783031284854

the proceedings contain 27 papers. the special focus in this conference is on Passive and Active Measurement. the topics include: Evaluation of the ProgHW/SW Architectural Design Space of Bandwidth Estimation;An In-Depth Measurement Analysis of 5G mmWave PHY Latency and Its Impact on End-to-End Delay;A Characterization of Route Variability in LEO Satellite Networks;improving the Inference of Sibling Autonomous systems;a Global Measurement of Routing Loops on the Internet;as2 org+ : Enriching AS-to-Organization Mappings with PeeringDB;RPKI Time-of-Flight: Tracking Delays in the Management, control, and Data Planes;Intercept and Inject: DNS Response Manipulation in the Wild;Characterizing the VPN Ecosystem in the Wild;A First Look at Brand Indicators for Message Identification (BIMI);A Second Look at DNS QNAME Minimization;How Ready is DNS for an IPv6-Only World?;TTL Violation of DNS Resolvers in the Wild;operational Domain Name Classification: From Automatic Ground Truth Generation to Adaptation to Missing Values;a First Look at third-Party Service Dependencies of Web Services in Africa;exploring the Cookieverse: A Multi-Perspective Analysis of Web Cookies;Quantifying User Password Exposure to third-Party CDNs;Stranger VPNs: Investigating the Geo-Unblocking Capabilities of Commercial VPN Providers;Exploring the Evolution of TLS Certificates;Analysis of TLS Prefiltering for IDS Acceleration;DissecTLS: A Scalable Active Scanner for TLS Server Configurations, Capabilities, and TLS Fingerprinting;a Measurement-Derived Functional Model for the Interaction Between Congestion control and QoE in Video Conferencing;effects of Political Bias and Reliability on Temporal User Engagement with News Articles Shared on Facebook;Efficient Continuous Latency Monitoring with eBPF.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Simulation-Based Safety Testing of Automated Driving systems 24th

Simulation-Based Safety Testing of Automated Driving Systems

引用

24th international conference on Product-Focused Software Process Improvement (PROFES)

作者： Khan, Fauzia Anwar, Hina Pfahl, Dietmar Univ Tartu Narva Mnt 18 EE-51009 Tartu Estonia

ISBN: (纸本)9783031492686;9783031492693

An Automated Driving System (ADS) must undergo comprehensive safety testing before receiving a road permit. Since it is not clear what exactly constitutes sufficient safety for an ADS, one could assume that an ADS is safe enough if it is at least as safe as a Human Driven Vehicle (HDV). Simulation-based testing is a cost-effective way to check the safety of an ADS. My goal is to develop an approach to compare the safety behavior of ADS and HDV using simulation. this comparison aims to quantify the advantages and disadvantages of ADS compared to HDV. Additionally, I aim to develop a process for selecting specific scenarios that contribute to building trust in the accuracy and reliability of simulation results. this involves defining performance criteria against which the behavior of an ADS in the simulator is compared to that of a HDV. Furthermore, I aim to translate the performance advantages or disadvantages observed in simulated ADS behavior into real-world safety-critical traffic scenarios.

关键词： Autonomous Driving System (ADS) Human Driven Vehicle (HDV) Simulation-based Testing Safety Testing Scenario Selection

来源：评论

学校读者我要写书评

暂无评论

24th international conference on Artificial Intelligence in Education , AIED 2023

24th International Conference on Artificial Intelligence in ...

引用

24th international conference on Artificial Intelligence in Education , AIED 2023

ISBN: (纸本)9783031363351

the proceedings contain 123 papers. the special focus in this conference is on Artificial Intelligence in Education. the topics include: Simulating Learning from Language and Examples;learner Perception of Pedagogical Agents;how Useful Are Educational Questions Generated by Large Language Models?;"A Fresh Squeeze on Data": Exploring Gender Differences in Self-efficacy and Career Interest in Computing science and Artificial Intelligence Among Elementary Students;preserving Privacy of Face and Facial Expression in computer Vision Data Collected in Learning Environments;towards Extracting Adaptation Rules from Neural Networks;predicting Student Scores Using Browsing Data and Content Information of Learning Materials;item Difficulty Constrained Uniform Adaptive Testing;a Support System to Help Teachers Design Course Plans Conforming to National Curriculum Guidelines;virtual Agent Approach for Teaching the Collaborative Problem Solving Skill of Negotiation;Generative AI for Learning: Investigating the Potential of Learning Videos with Synthetic Virtual Instructors;evaluating the Rater Bias in Response Scoring in Digital Learning Platform: Analysis of Student Writing Styles;equity, Diversity, and Inclusion in Educational Technology Research and Development;it’s Good to Explore: Investigating Silver Pathways and the Role of Frustration During Game-Based Learning;evaluating Language Learning Apps for Behaviour Change Using the Behaviour Change Scale;Ghost in the Machine: AVATAR, a Prototype for Supporting Student Authorial Voice;AI Education for K-12: A Survey;annotating Educational Dialog Act with Data Augmentation in Online One-on-One Tutoring;utilizing Natural Language Processing for Automated Assessment of Classroom Discussion;using Large Language Models to Provide Formative Feedback in Intelligent Textbooks;improving Code Comprehension through Scaffolded Self-explanations;tutorial: Educational Recommender systems;AI Cognitive - Based systems Supporting Learning Process

关键词：

来源：评论

学校读者我要写书评

暂无评论

Integration of Partially Prior Physics and Data for Longitudinal Vehicle Dynamics Restoration 24

Integration of Partially Prior Physics and Data for Longitud...

引用

24th COTA international conference of Transportation Professionals: Resilient, Intelligent, Connected, and Lowcarbon Multimodal Transportation, CICTP 2024

作者： Wang, Yongsheng Xu, Bingrong Chu, Duanfeng Ding, Naikan Yin, Jianhua School of Information Engineering Wuhan Univ. of Technology Wuhan China School of Automation Wuhan Univ. of Technology Wuhan China Intelligent Transportation Systems Research Center Wuhan Univ. of Technology Wuhan China Chongqing Research Institute Wuhan Univ. of Technology Chongqing China

ISBN: (数字)9780784485484

ISBN: (纸本)9780784485484

Vehicle dynamics model is critical for autonomous vehicles since it provides certain rules of motion in response to the surrounding rapidly changing environment. However, current pure physics-based models and data-driven approaches are set against each other in constructing the dynamics model. In this work, we propose a vehicle dynamics restoration approach by integrating physics principles and data based on physics-informed machine learning. the vehicle dynamics model parameters are estimated by combining data and limited prior physical knowledge. the results of a case study demonstrate that (1) the proposed methods can accurately identify the dynamics model parameters and restore the vehicle dynamics model and (2) the neural network with physical knowledge can accurately predict the state of vehicle. the proposed method has the potential to be applied in quantifying the dynamics model uncertainty due to parameter uncertainty, and stochastic motion planning and control due to uncertainty, which will be further investigated in the future. © ASCE.

关键词： Stochastic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共93页 << < 22 23 24 25 26 27 28 29 30 31 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：