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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,500 篇 会议
328 篇 期刊文献
280 册 图书
1 篇 学位论文

馆藏范围

8,108 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

3,619 篇 工学
- 2,471 篇 计算机科学与技术...
- 1,825 篇 软件工程
- 636 篇 控制科学与工程
- 529 篇 信息与通信工程
- 342 篇 电气工程
- 304 篇 机械工程
- 291 篇 生物工程
- 258 篇 生物医学工程（可授...
- 235 篇 电子科学与技术（可...
- 198 篇 光学工程
- 149 篇 仪器科学与技术
- 149 篇 化学工程与技术
- 128 篇 材料科学与工程（可...
- 125 篇 动力工程及工程热...
- 99 篇 安全科学与工程
- 98 篇 力学（可授工学、理...
2,406 篇 理学
- 1,720 篇 数学
- 557 篇 物理学
- 463 篇 统计学（可授理学、...
- 355 篇 系统科学
- 322 篇 生物学
- 144 篇 化学
821 篇 管理学
- 538 篇 管理科学与工程(可...
- 310 篇 图书情报与档案管...
- 250 篇 工商管理
196 篇 医学
- 162 篇 临床医学
- 141 篇 基础医学(可授医学...
- 106 篇 药学(可授医学、理...
143 篇 教育学
- 129 篇 教育学
119 篇 法学
- 106 篇 社会学
97 篇 经济学
62 篇 农学
41 篇 文学
10 篇 艺术学
3 篇 哲学
3 篇 军事学

主题

2,049 篇 mathematical mod...
587 篇 computational mo...
457 篇 computer science
398 篇 equations
298 篇 mathematical mod...
247 篇 predictive model...
227 篇 optimization
183 篇 accuracy
178 篇 analytical model...
178 篇 feature extracti...
162 篇 data models
154 篇 neural networks
154 篇 training
146 篇 iterative method...
140 篇 approximation me...
131 篇 data mining
131 篇 algorithm design...
127 篇 software enginee...
127 篇 mathematical log...
124 篇 educational inst...

机构

23 篇 school of mathem...
21 篇 department of co...
20 篇 school of comput...
16 篇 state key labora...
14 篇 school of comput...
14 篇 lovely professio...
14 篇 school of comput...
13 篇 school of mathem...
12 篇 school of comput...
11 篇 school of comput...
11 篇 school of comput...
11 篇 institute of com...
10 篇 centre of resear...
10 篇 centre for mathe...
10 篇 school of mathem...
9 篇 computer electri...
9 篇 maharishi school...
9 篇 school of comput...
9 篇 novosibirsk stat...
9 篇 school of physic...

作者

20 篇 weickert joachim
11 篇 mohamed-slim alo...
8 篇 yi wang
8 篇 peter pascal
8 篇 dyvak mykola
8 篇 bo liu
7 篇 carl olsson
7 篇 vikram kumar
7 篇 nazir ahmad zafa...
7 篇 gasnikov alexand...
7 篇 shinji doki
6 篇 a l zolkin
6 篇 kulikov igor
6 篇 raman ramakrishn...
6 篇 masina olga n.
6 篇 ying sun
6 篇 ramakrishnan ram...
6 篇 mykola dyvak
6 篇 jinwen ma
6 篇 ma jinwen

语言

7,543 篇 英文
527 篇 其他
77 篇 中文
8 篇 俄文

检索条件"任意字段=Conference on Mathematical Methods in Computer Science"

共 8109 条记录，以下是111-120 订阅

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

详细简洁

排序：

Fast Inexact Bilevel Optimization for Analytical Deep Image Priors 10th

Fast Inexact Bilevel Optimization for Analytical Deep Image...

引用

10th International conference on Scale Space and Variational methods in computer Vision, SSVM 2025

作者： Salehi, Mohammad Sadegh Bubba, Tatiana A. Korolev, Yury Department of Mathematical Sciences University of Bath BathBA27AY United Kingdom Department of Mathematics and Computer Science University of Ferrara Ferrara Italy

ISBN: (纸本)9783031923654

The analytical deep image prior (ADP) introduced by Dittmer et al. (2020) establishes a link between deep image priors and classical regularization theory via bilevel optimization. While this is an elegant construction, it involves expensive computations if the lower-level problem is to be solved accurately. To overcome this issue, we propose to use adaptive inexact bilevel optimization to solve ADP problems. We discuss an extension of a recent inexact bilevel method called the method of adaptive inexact descent of Salehi et al. (2024) to an infinite-dimensional setting required by the ADP framework. In our numerical experiments we demonstrate that the computational speed-up achieved by adaptive inexact bilevel optimization allows one to use ADP on larger-scale problems than in the previous literature, e.g. in deblurring of 2D color images. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Data-driven regularization inexact bilevel optimization regularization by architecture semi-blind deblurring

来源：评论

学校读者我要写书评

暂无评论

An Innovative Method to Detect Cyberbullying on Social Media 3

An Innovative Method to Detect Cyberbullying on Social Media

引用

3rd International conference on Electronics and Renewable Systems, ICEARS 2025

作者： Pandiaraja, P. Muthumanickam, K. Geetha, M. Mahesh, P.C. Senthil Vedhashree, S.K. Selvarathi, C. Vel Tech Rangarajan Dr.Sagunthala R&d Institute of Science and Technology Department of Computer Science and Engineering Chennai600062 India Kongunadu College of Engineering and Technology Department of Information Technology Tholurpatti Tamil Nadu Trichy621215 India M.Kumarasamy College of Engineering Department of Computer Science and Engineering Karur639113 India Excel Engineering College Department of Computer Science and Engineering Tamilnadu Komarapalayam637303 India Karpagam Institute of Technology Department of Electronics and Communication Engineering Coimbatore641021 India

ISBN: (纸本)9798331509675

Today social media has fundamentally altered global communication and information exchange. However, as these platforms have become more widely used, so has cyber-hatred which is a significant problem that has caught academics' attention. This article has been addressed by a variety of methods from deep learning and machine learning, including recurrent neural networks, convolutional neural networks, logistic regression, and Naive Bayes. These techniques distinguish between various classes using mathematical concepts. However, sentiment-oriented data offers an accurate picture of how the public reads communications online, accurate classification necessitates a more "critical thinking"perspective. Two machine learning classifiers were employed in this study, one of which was built on a review of the literature to look at efficient classification techniques. Four online hatred datasets using logistic regression and multinomial naive Bayes. To better grasp the text in the datasets, the classifier results were enhanced by using XG-Boost algorithm. © 2025 IEEE.

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

Who Owns the Cloud Data? Exploring a non-interactive way for secure proof of ownership 23

Who Owns the Cloud Data? Exploring a non-interactive way for...

引用

23rd IEEE International conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2024

作者： Yang, Zhihuan Tian, Wenlong Li, Ruixuan Ye, Xuming Xu, Zhiyong University of South China School of Computer Science and Technology Hengyang China Nanyang Technology University School of Physical and Mathematical Sciences Singapore Huazhong University of Science and Technology School of Computer Science and Technology China Suffolk University Department of Mathematics and Computer Science United States

Cloud storage is widely used for flexible and efficient data management, yet redundant data across users requires storage optimization. Deduplication helps by storing only unique data, making data sharing and ownership verification essential post-deduplication. Current Proof of Ownership (PoW) methods rely on interactive communication, leading to delays and performance issues during intensive data operations, and often assume a level of trust that may not hold in practical scenarios. To overcome these issues, we propose ES-PoW, a non-interactive secure proof of ownership scheme for cloud storage. ES-PoW performs ownership verification in a single round, avoiding delays in block verification. Using modular exponentiation and the discrete logarithm problem, ES-PoW generates and verifies ownership proofs efficiently. Unlike previous schemes, ES-PoW is resilient against brute-force, replay, and Man-in-the-Middle attacks, without relying on trusted nodes, making it better suited to real-world applications. Experimental results show that ES-PoW reduces I/O operation time and accelerates computation, achieving up to 53.6× and 54.5× speed improvements over current methods. © 2024 IEEE.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

The Continuum Hypothesis Implies the Existence of Non-principal Arithmetical Ultrafilters – A Coq Formal Verification 1

引用

25th International conference on Formal Engineering methods, ICFEM 2024

作者： Dou, Guowei Chen, Si Yu, Wensheng Zhang, Ru Beijing Key Laboratory of Space-Ground Interconnection and Convergence School of Electronic Engineering Beijing University of Posts and Telecommunications Beijing100876 China School of Science Beijing University of Posts and Telecommunications Beijing100876 China

ISBN: (数字)9789819606177

ISBN: (纸本)9789819606160

The formalization of mathematical theorems is an important direction in the field of formal verification. Formalizing mathematical theorems ensures their accuracy and rigor in practical applications. Non-principal arithmetical ultrafilter (NPAUF) was proposed in [27]. It can be directly applied to the extension of number systems such as real numbers and non-standard real numbers. So far, though the existence of NPAUF has not been proven only with general set theories, it can be proven with the help of some additional consistent set-theoretic assumptions, such as the Continuum Hypothesis (CH). This paper presents the formal verification of the existence of NPAUF, implemented with the Coq proof assistant and grounded in the Morse-Kelley (MK) axiomatic set theory augmented with CH. The formal descriptions for the concepts related to filter, arithmetical ultrafilter (AUF), NPAUF, and CH are all provided. This work serves as the first step of our long-term objective – to formalize the non-standard analysis. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Set theory

来源：评论

学校读者我要写书评

暂无评论

Remote physics experiment mathematical pendulum as an attractive alternative to traditional laboratory exercises 23

Remote physics experiment Mathematical pendulum as an attrac...

引用

23rd DIDFYZ conference on New Approaches in Physics Education for Generation Z

作者： Lustig, F. Brom, P. Hejnová, E. Department of Physics Faculty of Science Jan Evangelista Purkyně University Ústí nad Labem Czech Republic Department of Quantitative Methods Škoda Auto University Czech Republic

Traditional laboratory exercises are usually not popular among students, especially the processing and submission of protocols. Students are used to using digital technologies, prefer active participation in the learning process, and love visualisations. To improve motivation and make laboratory practices more attractive to students, remote laboratories with the real time control and available anytime and anywhere can be offered. In this paper, we present the remote experiment mathematical Pendulum, which is physically located at the Department of Physics, Faculty of science, Jan Evangelista Purkyně University (UJEP) in Ústí nad Labem. Using it we can study physical laws such as the dependence of the pendulum's period of oscillation on its length and determine the value of the gravitational acceleration. The remote pendulum is interactively controlled through a web browser from a computer or mobile phone, provides live video stream and experimental data downloadable via Internet. This single remote laboratory task is complemented by remote measurements of the acceleration of gravity at different latitudes through a group of ten identical mathematical pendulums created within the WorldPendulum WP@ELAB project. In this paper, we present not only the results of the measurements made, but also a pilot investigation of the use of this complex remote experiment. © Published under licence by IOP Publishing Ltd.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Research on Traditional Morphological methods and Deep Learning for Apple Image Recognition 5

Research on Traditional Morphological Methods and Deep Learn...

引用

5th International conference on computer Vision, Image and Deep Learning, CVIDL 2024

作者： Wan, Changcheng Sun Yat-sen University School of Geospatial Engineering and Science Zhuhai China

ISBN: (纸本)9798350373820

This paper presents a comprehensive study on apple identification and maturity assessment using advanced image processing and deep learning techniques. Initially, it employs bilateral filtering for noise reduction while preserving image edges, followed by multi-channel threshold segmentation to differentiate apples from their backgrounds using color space transformations. The study further develops a mathematical model for analyzing apple maturity based on color ratios in the HSI color model, effectively distinguishing fruit maturity stages. Additionally, it quantifies apple quality by correlating the fruit's pixel area with its actual volume, establishing a linear relationship for accurate quality assessment. Finally, the application of Faster RCNN for transfer learning in MATLAB 2022b demonstrates significant advancements in automated apple recognition, showcasing the potential of these models in agricultural quality control and yield estimation. © 2024 IEEE.

关键词： Noise abatement

来源：评论

学校读者我要写书评

暂无评论

Perspectives on methods to Overcome Obstacles to Physics-Based Models of LIB for EV 4

Perspectives on Methods to Overcome Obstacles to Physics-Bas...

引用

4th IEEE International conference on Electrical, computer, and Energy Technologies, ICECET 2024

作者： Plett, Gregory L. Trimboli, M. Scott University of Colorado Colorado Springs Colorado SpringsCO United States

ISBN: (纸本)9798350395914

Battery-management systems (BMS) rely on mathematical models of their cells, which may be either empirical or physical in nature. Physics-based models (PBMs) have the advantage that they can predict the conditions that trigger the onset of rapid degradation. However, there are challenges to using PBMs in BMS. This paper presents six obstacles to using PBMs of lithium ion battery cells in BMS applications such as for electric vehicles and energy storage. It gives perspectives on how the reader might overcome these obstacles and succeed in developing battery-management algorithms that improve upon the state-of-the-art by enabling a better optimization of battery lifetime versus performance than is possible using empirical models. © 2024 IEEE.

关键词： Lithium-ion batteries

来源：评论

学校读者我要写书评

暂无评论

Signal Timing Optimization at Intersections Based on NSGA-II 5

Signal Timing Optimization at Intersections Based on NSGA-II

引用

5th International conference on Machine Learning and computer Application, ICMLCA 2024

作者： Gui, Gaihua Liang, Yuyan Zhang, Qiqi Wang, Zhongchao Yuan, Zhanjiang Guangdong Polytechnic Of Science and Technology Guangdong Zhuhai China

ISBN: (纸本)9798331530334

This study combines the methods of data analysis and mathematical modeling to explore an effective solution about traffic flow control in well-known scenic towns. Firstly, the missing and abnormal data of license plate number are eliminated through the open source dataset. Then, through hierarchical clustering analysis to divide the peak traffic flow hours, statistical traffic flow hour data, and using NSGA-II algorithm to optimize the signal timing, and establish a service level model to analyze the results, and it is found that it can effectively improve the traffic efficiency and alleviate traffic congestion. The case used in this paper is the 2024 National Student mathematical Modeling Competition E question - traffic flow control of the topic for research and analysis, the results obtained and the actual review of the results of the information very much in line with the results. © 2024 IEEE.

关键词： Traffic congestion

来源：评论

学校读者我要写书评

暂无评论

mathematical modeling of ecological observations data using time series analysis methods 18

Mathematical modeling of ecological observations data using ...

引用

18th IEEE International conference on computer science and Information Technologies, CSIT 2023

作者： Tuzenko, Olga Sidun, Nataliia Pryazovskyi State Technical University Department of Infromation Technologies Mariupol Ukraine

ISBN: (纸本)9798350360462

In this work a mathematical model for the environment, particularly atmosphere, pollution is constructed. The model is based on wavelet transform for non-consistent time series which allows to get precise description of non-stationary and random processes of the air impurities spreading. The detailed wavelet transform algorithm, which allows to predict time series formed by the complex of random process observations, was provided. To improve the environmental situation and for ecological incidents prevention an air environment monitoring was performed. It includes a complex monitoring system for environment observation that takes in account the effect of natural and anthropogenic factors. Observation data is the main source of data for making ecologically significant decisions. © 2023 IEEE.

关键词： Wavelet transforms

来源：评论

学校读者我要写书评

暂无评论

Optimizing Wireless Connectivity Through Reconfigurable Intelligent Surfaces: An Examination of Channel Estimation Strategies - Model-Based Versus Model-Free Method 2

Optimizing Wireless Connectivity Through Reconfigurable Inte...

引用

2nd International conference on Data science and Information System, ICDSIS 2024

作者： Raman, Ramakrishnan Kumar, Vikram Pillai, Biju G. Rabadiya, Dhaval Divekar, Rajiv Vachharajani, Hardik Pune India Srv Media Pvt. Ltd Pune India Management It & Business Analytics Pune India Parul Institute Of Technology Parul University Computer Science And Engineering Engineering And Technology Vadodara India Pune India Quality Management And Benchmarking Pune India

ISBN: (纸本)9798350381665

The advent of Reconfigurable Intelligent Surfaces (RIS) marks a significant advancement in wireless communications, promising enhanced connectivity through dynamic alteration of the propagation environment. This paper investigates channel estimation strategies essential for optimizing RIS-enabled connectivity, distinguishing between model-based methods, which utilize theoretical models and mathematical formulations, and model-free methods, which rely on machine learning algorithms to adapt to empirical data. We introduce a novel hybrid channel estimation framework that integrates the predictive precision of model-based approaches with the adaptive capabilities of model-free strategies. Extensive simulations validate the superior performance of this hybrid framework, demonstrating estimation accuracy of 92%, system throughput of 120 Mbps, and communication reliability of 95%, significantly outperforming traditional methods. This innovative framework optimizes performance in dynamic communication environments, setting a new standard for future research in intelligent communication systems. © 2024 IEEE.

关键词： Channel estimation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：