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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,066 篇 会议
63 册 图书
9 篇 期刊文献

馆藏范围

1,138 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

705 篇 工学
- 567 篇 计算机科学与技术...
- 479 篇 软件工程
- 135 篇 信息与通信工程
- 131 篇 控制科学与工程
- 99 篇 电气工程
- 71 篇 生物工程
- 64 篇 机械工程
- 55 篇 动力工程及工程热...
- 52 篇 电子科学与技术（可...
- 45 篇 交通运输工程
- 38 篇 生物医学工程（可授...
- 31 篇 化学工程与技术
- 25 篇 安全科学与工程
- 23 篇 土木工程
- 22 篇 光学工程
- 22 篇 石油与天然气工程
391 篇 理学
- 277 篇 数学
- 78 篇 生物学
- 63 篇 物理学
- 58 篇 统计学（可授理学、...
- 57 篇 系统科学
- 32 篇 化学
192 篇 管理学
- 138 篇 管理科学与工程(可...
- 80 篇 工商管理
- 68 篇 图书情报与档案管...
34 篇 经济学
- 34 篇 应用经济学
33 篇 教育学
- 33 篇 教育学
28 篇 法学
26 篇 医学
- 24 篇 基础医学(可授医学...
- 24 篇 临床医学
- 23 篇 药学(可授医学、理...
13 篇 农学
1 篇 艺术学

主题

51 篇 software enginee...
50 篇 programming
47 篇 linear programmi...
40 篇 software enginee...
31 篇 dynamic programm...
30 篇 artificial intel...
24 篇 integer programm...
23 篇 computer communi...
22 篇 optimization
21 篇 programming lang...
19 篇 machine learning
18 篇 logics and meani...
17 篇 computer science
17 篇 heuristic algori...
16 篇 computational mo...
16 篇 students
16 篇 software
15 篇 costs
15 篇 programming tech...
13 篇 object oriented ...

机构

7 篇 college of energ...
6 篇 school of electr...
5 篇 college of elect...
5 篇 school of scienc...
5 篇 information engi...
4 篇 school of comput...
4 篇 school of vehicl...
4 篇 china electric p...
4 篇 school of cyber ...
3 篇 school of electr...
3 篇 school of electr...
3 篇 school of transp...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of inform...
3 篇 state key labora...
3 篇 department of co...
3 篇 nanjing universi...
3 篇 shanghai maritim...
3 篇 polytechnic inst...

作者

4 篇 meikang qiu
3 篇 wang hui
3 篇 miller james
3 篇 gong peizhu
3 篇 wang junxiang
3 篇 xigang yuan
3 篇 batra salil
3 篇 salil batra
3 篇 mekruksavanich s...
3 篇 jitpattanakul an...
3 篇 liu jin
3 篇 wu zhongdai
3 篇 mengjie zhang
2 篇 yin jianbing
2 篇 heinz stefan
2 篇 seniman
2 篇 li cheng
2 篇 saraswat sudhir
2 篇 duo liu
2 篇 cheng wang

语言

1,114 篇 英文
21 篇 其他
5 篇 中文

检索条件"任意字段=7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023"

共 1138 条记录，以下是21-30 订阅

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

详细简洁

排序：

Designing Multifunctional Materials for Sustainable Construction: A Review 7th

Designing Multifunctional Materials for Sustainable Construc...

引用

7th international conference on Construction, Real Estate, Infrastructure, and Project Management, ICCRIP 2023

作者： Kumari, Soni Krishna, Gude Rama Abhishek, Kumar Pathak, B.N. Khayoon, Ali Talib Dutt, Amit Anandhi, R.J. Chandra, Pradeep Kumar Department of Mechanical Engineering GLA University UP Mathura India Department of Civil Engineering Institute of Aeronautical Engineering Hyderabad500043 India Gujarat Ahmedabad380026 India Department of Mechanical Engineering IMS Engineering College Ghaziabad India College of Engineering Technology National University of Science and Technology DhiQar Iraq Lovely Professional University Panjab Phagwara India Department of Information Science Engineering New Horizon College of Engineering Bangalore India Lloyd Institute of Engineering and Technology Knowledge Park II Greater Noida Uttar Pradesh201306 India

ISBN: (纸本)9789819649013

this review paper focuses on the design of multifunctional materials for sustainable construction. the paper presents an overview of the key concepts and principles of sustainable construction and highlights the importance of using multifunctional materials to achieve sustainability. the paper discusses the various types of multifunctional materials, including phase change materials, shape memory alloys, and self-healing materials, and their applications in sustainable construction. the review also covers the recent advances in the design and development of multifunctional materials, including the use of nanotechnology and biomimicry. the paper concludes by identifying the challenges and opportunities associated with the design and implementation of multifunctional materials for sustainable construction. Overall, this review provides a comprehensive overview of the current state of the art in the design of multifunctional materials for sustainable construction and highlights the potential for further research and development in this area. © the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Sustainable building

来源：评论

学校读者我要写书评

暂无评论

Achilles: Efficient TEE-Assisted BFT Consensus via Rollback Resilient Recovery 25

Achilles: Efficient TEE-Assisted BFT Consensus via Rollback ...

引用

20th European conference on Computer Systems, EuroSys 2025, co-located 30th ACM international conference on Architectural Support for programming Languages and Operating Systems, ASPLOS 2025

作者： Niu, Jianyu Wen, Xiaoqing Wu, Guanlong Liu, Shenqi Yu, Jianshan Zhang, Yinqian SUSTech China University of British Columbia Canada University of Sydney Australia Research Institute of Trustworthy Autonomous Systems Department of Computer Science and Engineering SUSTech China

ISBN: (纸本)9798400711961

BFT consensus that uses Trusted Execution Environments (TEEs) to improve the system tolerance and performance is gaining popularity. However, existing works suffer from TEE rollback issues, resulting in a tolerance-performance tradeoff. In this paper, we propose Achilles, an efficient TEE-assisted BFT protocol that breaks the tradeoff. the key idea behind Achilles is removing the expensive rollback prevention of TEEs from the critical path of committing transactions. To this end, Achilles adopts a rollback resilient recovery mechanism, which allows nodes to assist each other in recovering their states. Besides, Achilles follows the chaining spirit in modern chained BFT protocols and leverages customized chained commit rules to achieve linear message complexity, end-to-end transaction latency of four communication steps, and fault tolerance for the minority of Byzantine nodes. Achilles is the first TEE-assisted BFT protocol in line with CFT protocols in these metrics. We implement a prototype of Achilles based on Intel SGX and evaluate it in both LAN and WAN, showcasing its outperforming performance compared to several state-of-the-art counterparts. © 2025 Copyright held by the owner/author(s).

关键词： Network protocols

来源：评论

学校读者我要写书评

暂无评论

Chrono: Meticulous Hotness Measurement and Flexible Page Migration for Memory Tiering 25

Chrono: Meticulous Hotness Measurement and Flexible Page Mig...

引用

20th European conference on Computer Systems, EuroSys 2025, co-located 30th ACM international conference on Architectural Support for programming Languages and Operating Systems, ASPLOS 2025

作者： Qi, Zhenlin Zheng, Shengan Huang, Ying Hui, Yifeng Zhang, Bowen Huang, Linpeng Mei, Hong Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China MoE Key Lab of Artificial Intelligence AI Institute Shanghai Jiao Tong University Shanghai China Intel Shanghai China Shanghai Jiao Tong University Shanghai China

ISBN: (纸本)9798400711961

As the memory demand continues to surge, the limitations of DRAM scalability have spurred the development of various new memory technologies in today’s data centers. In order to harness the benefits of the heterogeneous memory architecture, tiering has become a widely adopted memory management paradigm. the effectiveness of a tiered memory management system primarily relies on its ability to accurately identify frequently accessed ("hot") pages and infrequently accessed ("cold") pages, and efficiently relocate them between tiers. However, existing systems rely on coarse-grained frequency measurement schemes that do not align with the performance characteristics of modern memory devices and memory-intensive applications. Additionally, these systems often incorporate rigid rules or manually configured parameters for page classification, resulting in inflexible migration strategies. this paper introduces Chrono, a novel OS-level tiering system that offers precise characterization of page access frequencies in different tiers and enables efficient migration of hot and cold pages. By leveraging timers instead of counters, Chrono achieves meticulous measurement of hot page access frequency with low overhead. this approach allows Chrono to automatically tune its page classification parameters, leading to flexible migration strategies that adapt to various workloads. Furthermore, Chrono includes a dynamic cold page identification subsystem, which balances the utilization and availability of tiered memory. We have implemented and evaluated Chrono on existing tiered memory platforms, and experimental results demonstrate that Chrono outperforms state-of-the-art tiering systems by a large margin. © 2025 Copyright held by the owner/author(s).

关键词： Memory management

来源：评论

学校读者我要写书评

暂无评论

Analyzing the Impact of Uncertain Parameters in Reverse Supply Chain Network Using Fuzzy Alpha-Cut Approach

Analyzing the Impact of Uncertain Parameters in Reverse Supp...

引用

international Youth conference on Radio Electronics, Electrical and Power engineering (REEPE)

作者： Mahmoud Elashwah N. Afia W. Abbas T. Ismail Basic and Applied Sciences department Faculty of Engineering and Technology Arab Academy for Science Technology and Maritime Transport Design and Production Engineering department Ain Shams University

ISBN: (数字)9798331531836

ISBN: (纸本)9798331531843

Optimizing reverse supply chains (RSC) design is crucial for sustainability, impacting the collection and processing of used products. this study introduces a fuzzy mixed-integer linear programming (FMILP) model employing the fuzzy alpha-cut method to determine optimal locations for collection points under uncertainty. the model considers uncertainty in the quantity of used products at customer locations and the selling prices at collection points and retailers. Six scenarios were analyzed, covering individual and combined uncertainties. Each scenario utilized triangular fuzzy numbers with alpha-cuts to assess robustness at medium (a=0.5) and high ( $a=1$ ) confidence levels, providing upper and lower bounds of uncertainty. Results indicate that combined uncertainties significantly affect RSC performance compared to individual uncertainties. A comparison with exact solutions highlights the influence of uncertainty parameters on decision-making in reverse supply chains.

关键词： Adaptation models Uncertainty Costs Profitability Supply chains Stochastic processes programming Robustness Mixed integer linear programming Sustainable development

来源：评论

学校读者我要写书评

暂无评论

OHMiner: An Overlap-centric System for Efficient Hypergraph Pattern Mining 25

OHMiner: An Overlap-centric System for Efficient Hypergraph ...

引用

20th European conference on Computer Systems, EuroSys 2025, co-located 30th ACM international conference on Architectural Support for programming Languages and Operating Systems, ASPLOS 2025

作者： Qi, Hao Luo, Kang He, Ligang Zhang, Yu Cai, Minzhi Dai, Jingxin He, Bingsheng Jin, Hai Zhang, Zhan Zhao, Jin Yue, Hengshan Yu, Hui Liao, Xiaofei National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology China Department of Computer Science University of Warwick United Kingdom National University of Singapore Singapore Zhejiang Lab China Jilin University China

ISBN: (纸本)9798400711961

Hypergraph Pattern Mining (HPM) aims to identify all the instances of user-interested subhypergraphs (patterns) in hypergraphs, which has been widely used in various applications. However, existing solutions either need significant enumeration overhead because they extend subhypergraphs at the granularity of vertices, or suffer from massive redundant computations because they often need to repeatedly fetch and process the same incident hyperedges for different vertices. this paper presents an overlap-centric system named OHMiner to efficiently support HPM. OHMiner proposes an overlap-centric execution model to determine the subhypergraphs isomorphism through computing and comparing overlaps among hyperedges using set operations. this model aims to efficiently handle the vertices that collectively share the same incident hyperedges. To automatically and precisely retrieve an arbitrary pattern’s overlapping semantics without performing redundant set computations, OHMiner further proposes a redundancy-free compiler, which constructs an Overlap Intersection Graph (OIG) for the pattern, optimizes the OIG, and generates an overlap-centric execution plan to guide the procedure of HPM. Moreover, OHMiner designs an overlap-centric parallel execution engine, which adopts an incremental overlap-pruned approach to fast validate candidates for HPM. Additionally, it proposes a degree-aware data store to support efficient generation of candidates. through evaluating OHMiner on a broad range of real-world hypergraphs with various patterns, our experimental results show that OHMiner outperforms the state-of-the-art HPM system by 5.4×-22.2×. © 2025 Copyright held by the owner/author(s).

关键词： Compiler

来源：评论

学校读者我要写书评

暂无评论

Effect of Early Intervention on Students in a CS1 programming Course 7th

Effect of Early Intervention on Students in a CS1 Progra...

引用

7th international conference on Applied Informatics, ICAI 2024

作者： Llanos-Mosquera, Jose Miguel Quimbayo-Castro, Julian Andres Garcia-Perdomo, Edisney Alarcon-Lopez, Alvaro Hernan Faculty of Engineering Corporación Universitaria del Huila - CORHUILA Neiva Colombia

ISBN: (纸本)9783031751462

CS1 programming courses often exhibit low academic performance. One way to address this issue is by implementing early interventions for students. In higher education, various theories have contributed to the topic of intervention, one of which is Vygotsky’s zone of proximal development. However, there is no consensus in the results, and more studies are needed to evaluate early interventions in CS1 courses. the objective of this research is to examine the effect of an early intervention on students’ academic performance in a CS1 course. the study involved 49 students from a Logic programming course, with 24 in the experimental group and 25 in the control group. Two stages of the zone of proximal development were used, including group tutoring and the development of a programming reinforcement workshop. Additionally, the Motivated Strategies for Learning Questionnaire (MSLQ) was used to identify the learning and motivation strategies employed by students in a CS1 programming course. the quantitative results of the experimental group show a positive correlation between the percentage of attendance at group tutoring sessions and the student’s final grade. Furthermore, a positive correlation was identified between the percentage of submitted reinforcement exercises and the student’s final grade. In the control group, significant improvements were identified in four subscales of the selected learning and motivation strategies questionnaire, even though no intervention strategy was applied. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

A Progressive Single-Modality to Multi-modality Classification Framework for Alzheimer’s Disease Sub-type Diagnosis 7th

A Progressive Single-Modality to Multi-modality Classificat...

引用

7th international Workshop on Machine Learning in Clinical Neuroimaging, MLCN 2024, Held in Conjunction with 27th international conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2024

作者： Liu, Yuxiao Liu, Mianxin Zhang, Yuanwang Sun, Kaicong Shen, Dinggang School of Biomedical Engineering and State Key Laboratory of Advanced Medical Materials and Devices ShanghaiTech University Shanghai201210 China Shanghai Artificial Intelligence Laboratory Shanghai200232 China Shanghai United Imaging Intelligence Co. Ltd. Shanghai200230 China Shanghai Clinical Research and Trial Center Shanghai201210 China

ISBN: (纸本)9783031787607

the current clinical diagnosis framework of Alzheimer’s disease (AD) involves multiple modalities acquired from multiple diagnosis stages, each with distinct usage and cost. Previous AD diagnosis research has predominantly focused on how to directly fuse multiple modalities for an end-to-end one-stage diagnosis, which practically requires a high cost in data acquisition. Moreover, a significant part of these methods diagnose AD without considering clinical guideline and cannot offer accurate sub-type diagnosis. In this paper, by exploring inter-correlation among multiple modalities, we propose a novel progressive AD sub-type diagnosis framework, aiming to give diagnosis results based on easier-to-access modalities in earlier low-cost stages, instead of all modalities from all stages. Specifically, first, we design 1) a text disentanglement network for better processing tabular data collected in the initial stage, and 2) a modality fusion module for fusing multi-modality features separately. Second, we align features from modalities acquired in earlier low-cost stage(s) with later high-cost stage(s) to give accurate diagnosis without actual modality acquisition in later-stage(s) for saving cost. Furthermore, we follow the clinical guideline to align features at each stage for achieving sub-type diagnosis. third, we leverage a progressive classifier that can progressively include additional acquired modalities (if needed) for diagnosis, to achieve the balance between diagnosis cost and diagnosis performance. We evaluate our proposed framework on large diverse public and in-home datasets (8280 subjects in total) and achieve superior performance over state-of-the-art methods. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Neurodegenerative diseases

来源：评论

学校读者我要写书评

暂无评论

GPT-Based Wasm Instruction Analysis for Program Language Processing 5th

GPT-Based Wasm Instruction Analysis for Program Language Pro...

引用

5th international conference on Emerging Information Security and Applications, EISA 2024

作者： Deng, Liangjun Zhong, Qi Lei, Hang Qiu, Yao Chen, Jingxue School of Information and Software Engineering University of Electronic Science and Technology of China Chengdu610054 China Faculty of Data Science City University of Macau China Ningbo Polytechnic College Zhejiang Ningbo315800 China School of Mathematical and Physical Sciences University of Technology Sydney SydneyNSW2007 Australia

ISBN: (纸本)9783031804182

Capturing the logical structure of programming languages poses a significant challenge for program analysis. Given the complex syntax rules, subjective code vulnerabilities, irrelevant statements, code annotations, and intricate structural information, related studies have explored various semantic comprehension and intermediate representation approaches to extract precise information for program analysis. However, most research in the generic domain ignores defective and non-defective program code, putting them in the same category. In this paper, we introduce a new program analysis method that combines WebAssembly (Wasm) instructions with a 20-billion-parameter transformer model and natural language processing. this approach aims to advance the capabilities of program analysis tools in computer science by jointly embedding Wasm instructions and natural language for more effective program analysis. Our experiments demonstrate that this fused embedding approach achieves state-of-the-art performance, and the accuracy reaches approximately 98 percent, better than traditional small-scale weight models based on intricate conversion tasks such as abstract syntax trees(AST). Moreover, it is more valuable to classify potential vulnerable and non-vulnerable programs in the formal verification special field. Our exploration enhances traditional program classification methods in software security and introduces the application of GPT to offer a more straightforward, convenient, and high-performance approach. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Selected papers from the Rigorous State-Based Methods, 7th international conference, ABZ 2023, Nancy, France, May 30–June 2, 2023

引用

science of Computer programming 2025年

作者： Dominique Méry Rosemary Monahan LORIA Université de Lorraine Campus Scientifique 54506 Vandœuvre-lès-Nancy France Maynoth University Department of Computer Science Co. Kildare Maynooth Ireland

来源：评论

学校读者我要写书评

暂无评论

Model-Driven Quantum Federated Learning (QFL) 23

Model-Driven Quantum Federated Learning (QFL)

引用

7th international conference on the art, science, and engineering of programming (programming)

作者： Moin, Armin Badii, Atta Challenger, Moharram Tech Univ Munich Munich Germany Univ Antwerp Antwerp Belgium Univ Reading Reading Berks England Flanders Make Lommel Belgium

ISBN: (纸本)9798400707551

Recently, several studies have proposed frameworks for Quantum Federated Learning (QFL). For instance, the Google TensorFlow Quantum (TFQ) and TensorFlow Federated (TFF) libraries have been deployed for realizing QFL. However, developers, in the main, are not as yet familiar with Quantum Computing (QC) libraries and frameworks. A Domain-Specific Modeling Language (DSML) that provides an abstraction layer over the underlying QC and Federated Learning (FL) libraries would be beneficial. this could enable practitioners to carry out software development and data science tasks efficiently while deploying the state of the art in Quantum Machine Learning (QML). In this position paper, we propose extending existing domain-specific Model-Driven engineering (MDE) tools for Machine Learning (ML) enabled systems, such as MontiAnna, ML-Quadrat, and GreyCat, to support QFL.

关键词： model-driven engineering quantum computing federated machine learning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共114页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：