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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

8,759 篇 会议
453 篇 期刊文献
29 册 图书

馆藏范围

9,242 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

6,790 篇 工学
- 5,812 篇 计算机科学与技术...
- 3,566 篇 软件工程
- 1,175 篇 信息与通信工程
- 943 篇 电气工程
- 816 篇 控制科学与工程
- 412 篇 生物工程
- 327 篇 电子科学与技术（可...
- 214 篇 机械工程
- 201 篇 仪器科学与技术
- 183 篇 生物医学工程（可授...
- 158 篇 动力工程及工程热...
- 141 篇 网络空间安全
- 130 篇 安全科学与工程
- 122 篇 建筑学
- 107 篇 材料科学与工程（可...
- 105 篇 土木工程
2,221 篇 理学
- 1,392 篇 数学
- 549 篇 统计学（可授理学、...
- 468 篇 生物学
- 335 篇 系统科学
- 319 篇 物理学
- 93 篇 化学
1,456 篇 管理学
- 927 篇 管理科学与工程(可...
- 675 篇 图书情报与档案管...
- 459 篇 工商管理
270 篇 法学
- 243 篇 社会学
162 篇 医学
- 147 篇 临床医学
- 116 篇 基础医学(可授医学...
132 篇 经济学
- 130 篇 应用经济学
131 篇 教育学
- 125 篇 教育学
30 篇 农学
12 篇 军事学
7 篇 文学
6 篇 艺术学
1 篇 哲学

主题

296 篇 measurement
228 篇 performance anal...
151 篇 performance
150 篇 computational mo...
123 篇 analytical model...
121 篇 concurrent compu...
119 篇 computer science
112 篇 application soft...
110 篇 algorithm design...
106 篇 real time system...
103 篇 time measurement
99 篇 power system ana...
96 篇 computer archite...
88 篇 cloud computing
85 篇 database systems
82 篇 visualization
82 篇 distributed comp...
81 篇 static analysis
80 篇 monitoring
79 篇 design

机构

49 篇 carnegie mellon ...
31 篇 school of comput...
30 篇 univ washington ...
24 篇 georgia inst tec...
20 篇 univ michigan an...
19 篇 microsoft res re...
19 篇 carnegie mellon ...
18 篇 oak ridge natl l...
18 篇 purdue univ w la...
15 篇 univ chicago il ...
15 篇 univ calif berke...
14 篇 inria
14 篇 oak ridge nation...
13 篇 northeastern uni...
13 篇 tsinghua univ pe...
13 篇 univ british col...
12 篇 penn state univ ...
12 篇 peking univ peop...
12 篇 department of co...
12 篇 swiss fed inst t...

作者

15 篇 schulz martin
13 篇 hoefler torsten
12 篇 mutlu onur
11 篇 zimmermann roger
10 篇 dongarra jack
10 篇 abella jaume
10 篇 wierman adam
10 篇 nahrstedt klara
10 篇 vetter jeffrey s...
9 篇 vishwanath venka...
9 篇 wang wei
9 篇 anon
9 篇 van houdt benny
9 篇 tiwari devesh
8 篇 liu jiangchuan
8 篇 oral sarp
8 篇 boukerche azzedi...
8 篇 squillante mark ...
8 篇 qian feng
8 篇 mueller frank

语言

8,770 篇 英文
440 篇 其他
27 篇 中文
5 篇 葡萄牙文
3 篇 西班牙文

检索条件"任意字段=Proceedings of the ACM on Measurement and Analysis of Computing Systems"

共 9242 条记录，以下是911-920 订阅

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

详细简洁

排序：

Confidential VMs Explained: An Empirical analysis of AMD SEV-SNP and Intel TDX 25

Confidential VMs Explained: An Empirical Analysis of AMD SEV...

引用

Abstracts of the 2025 acm SIGMETRICS International Conference on measurement and Modeling of Computer systems

作者： Masanori Misono Dimitrios Stavrakakis Nuno Santos Pramod Bhatotia Technical University of Munich Munich Germany INESC-ID & Instituto Superior Tecnico University of Lisbon Lisbon Portugal

ISBN: (纸本)9798400715938

Confidential Virtual Machines (CVMs) strive to alleviate the programmability and usability challenges of the previously proposed enclave-based trusted computing technologies, promoting easier deployment in cloud infrastructures. However, differing microarchitectural features, interfaces, and security properties among vendors complicate the evaluation of CVMs for different use cases. Understanding the performance implications, functional limitations, and security guarantees of CVMs is a crucial step toward their *** work presents a detailed empirical analysis of two leading CVM technologies: AMD Secure Encrypted Virtualization--Secure Nested Paging (SEV-SNP) and Intel Trust Domain Extensions (TDX). We review their microarchitectural components and conduct a thorough performance evaluation across various aspects, including memory management, computational and I/O performance, and attestation primitives. We further present a security analysis through a trusted computing base (TCB) evaluation and Common Vulnerabilities and Exposures (CVE) analysis. Our key findings demonstrate, among others, the effect of CVMs on boot time, memory management and I/O, and identify inefficiencies in their context switch mechanisms. We further provide insights into the performance implications of CVMs and highlight potential room for improvement.

关键词： amd sev-snp

来源：评论

学校读者我要写书评

暂无评论

Who Uses Office Hours? A Comparison of In-Person and Virtual Office Hours Utilization 2022

Who Uses Office Hours? A Comparison of In-Person and Virtual...

引用

53rd Annual acm SIGCSE Technical Symposium on Computer Science Education (SIGCSE)

作者： Gao, Zhikai Heckman, Sarah Lynch, Collin N Carolina State Univ Raleigh NC 27695 USA

ISBN: (纸本)9781450390705

In Computer Science (CS) education, instructors use office hours for one-on-one help-seeking. Prior work has shown that traditional in-person office hours may be underutilized. In response many instructors are adding or transitioning to virtual office hours. Our research focuses on comparing in-person and online office hours to investigate differences between performance, interaction time, and the characteristics of the students who utilize in-person and virtual office hours. We analyze a rich dataset covering two semesters of a CS2 course which used in-person office hours in Fall 2019 and virtual office hours in Fall 2020. Our data covers students' use of office hours, the nature of their questions, and the time spent receiving help as well as demographic and attitude data. Our results show no relationship between student's attendance in office hours and class performance. However we found that female students attended office hours more frequently, as did students with a fixed mindset in computing, and those with weaker skills in transferring theory to practice. We also found that students with low confidence in or low enjoyment toward CS were more active in virtual office hours. Finally, we observed a significant correlation between students attending virtual office hours and an increased interest in CS study;while students attending in-person office hours tend to show an increase in their growth mindset.

关键词： Office Hours Computer Science education Data analysis Correlation analysis

来源：评论

学校读者我要写书评

暂无评论

Designing with Dynamics: Reflections on Co-design Workshops between People Living with Dementia and Their Care Partners 25

Designing with Dynamics: Reflections on Co-design Workshops ...

引用

2025 CHI Conference on Human Factors in computing systems, CHI 2025

作者： Hsu, Long-Jing Foster, Alex Sabanovic, Selma Chung, Chia-Fang School of Informatics Computing and Engineering Indiana University Bloomington BloomingtonIN United States Computational Media University of California Santa Cruz Santa CruzCA United States

ISBN: (纸本)9798400713941

Human-Computer Interaction (HCI) researchers focusing on informal care partners and people living with dementia often create personas, incorporating expectations about the pair's relationship dynamics to guide their research and design outcome. Similarly, in our two iterations of co-design workshops aimed at designing a robot to enhance these relationships, we started with expectation that care partners would primarily lead the relationship. This assumption guided the design of the co-design workshops, which included diary studies followed by co-design sessions with eight dyads. However, our results from reflexive thematic analysis challenge the initial view that relationship dynamics follow a single persona or outcome. Instead, the diversity in relationship dynamics led to multiple design outcomes, highlighting the need for HCI researchers to consider care dynamics when designing and conducting research studies for care partnerships. Researchers can structure and create iterative co-design workshops to accommodate these dynamics by incorporating ongoing reflection on the dyad's relationship dynamics and the researchers' influence throughout all co-design stages. This approach enhances researchers' ability to create more thoughtful and effective relationship technology. © 2025 Copyright held by the owner/author(s).

关键词： Integrated circuit layout

来源：评论

学校读者我要写书评

暂无评论

AI-assisted sensemaking: Human-AI collaboration for the analysis and interpretation of recorded facilitated conversations

AI-assisted sensemaking: Human-AI collaboration for the anal...

引用

2025 CHI Conference on Human Factors in computing systems, CHI EA 2025

作者： Kabbara, Jad Phan, Thanh-Mai Rakhilin, Marina Detwiller, Maya E. Dimitrakopoulou, Dimitra Roy, Deb Center for Constructive Communication MIT CambridgeMA United States Cortico BostonMA United States

ISBN: (纸本)9798400713958

In light of growing toxic polarization and societal fragmentation often fueled by social media, we are designing alternative communication spaces we refer to as dialogue networks—networks of people engaged in recorded small-group prompted dialogue. We introduce the dialogue network framework and our use of tools powered by large language models that assist humans in the analysis and interpretation of themes and patterns across conversations which we refer to as sensemaking. We pilot case studies in collaboration with community partners using a prototype AI-assisted sensemaking tool. Insights from these pilots can inform the use of AI for human-led community engagement processes. © 2025 Copyright held by the owner/author(s).

关键词： Ambient intelligence

来源：评论

学校读者我要写书评

暂无评论

Lookee: Gaze Tracking-based Infant Vocabulary Comprehension Assessment and analysis 25

Lookee: Gaze Tracking-based Infant Vocabulary Comprehension ...

引用

2025 CHI Conference on Human Factors in computing systems, CHI 2025

作者： Kim, Minji Shim, Minkyu Chai, Jun Ho Ko, Eon-Suk Lee, Youngki Computer Science and Engineering Seoul National University Seoul Korea Republic of Sunway University Kuala Lumpur Malaysia Center for Data Science in Humanities Institute of Humanities Chosun University Gwangju Korea Republic of English Language and Literature Chosun University Gwangju Korea Republic of

ISBN: (纸本)9798400713941

Measuring preverbal vocabulary comprehension of young children is vital for early intervention and developmental evaluation, yet challenging due to their limited communication abilities. We introduce Lookee, an AI-powered vocabulary comprehension assessment tool through gaze tracking for toddlers in the preverbal stage. Lookee incorporates the Intermodal Preferential Looking Paradigm (IPLP), which is one of the prominent word comprehension measures for toddlers and estimates word comprehension through a random forest model analysis. We design and validate Lookee through user studies involving 19 toddlers and their parents. Then we identify necessary design requirements from potential stakeholders' perspectives through in-depth interviews including researchers, clinicians, and parents. As a result, Lookee achieves considerable estimation accuracy with sufficient system usability and demonstrates key design requirements for each stakeholder group. From our study, we highlight necessary design implications in developing and validating AI-powered clinical tools for toddlers. © 2025 Copyright held by the owner/author(s).

关键词： Nutrition

来源：评论

学校读者我要写书评

暂无评论

Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud systems 22

Detecting Missing-Permission-Check Vulnerabilities in Distri...

引用

28th acm SIGSAC Conference on Computer and Communications Security, CCS 2022

作者： Lu, Jie Li, Haofeng Liu, Chen Li, Lian Cheng, Kun Sklp Institute of Computing Technology CAS University of Chinese Academy of Sciences China Huawei Technologies Co. Ltd China TianQi Soft Inc. China

ISBN: (纸本)9781450394505

Missing-Permission-Check (MPC) vulnerability is a type of bug where permission checks are not enforced for privileged operations. MPC vulnerability is prevalent and can cause severe security impacts. This paper proposes the first tool to detect MPC vulnerabilities in distributed cloud systems. We conduct an in-depth study of 95 real-world MPC vulnerabilities and our findings motivate a new tool named MPChecker. The tool introduces a combined log-static analysis to automatically identify privileged operations by inferring variables representing user owned data and critical system states, whose accesses need to be protected. We have evaluated MPChecker with 6 popular distributed systems. The tool reports 44 new vulnerabilities, and 43 of them have been confirmed and labeled as critical bugs. Moreover, 1 bug is particular dangerous and the developers requested to keep it undisclosed. © 2022 Owner/Author.

关键词： Distributed cloud

来源：评论

学校读者我要写书评

暂无评论

"piecing Data Connections Together Like a Puzzle": Effects of Increasing Task Complexity on the Effectiveness of Data Storytelling Enhanced Visualisations 25

"piecing Data Connections Together Like a Puzzle": Effects o...

引用

2025 CHI Conference on Human Factors in computing systems, CHI 2025

作者： Milesi, Mikaela Elizabeth Mejia-Domenzain, Paola Brandl, Laura Echeverria, Vanessa Jin, Yueqiao Gasevic, Dragan Tsai, Yi-Shan Käser, Tanja Martinez-Maldonado, Roberto Monash University Melbourne Australia Machine Learning for Education EPFL Lausanne Switzerland Psychology LMU Munich Munich Germany Department of Human Centred Computing Monash University Clayton Australia Escuela Superior Politécnica Del Litoral Guayaquil Ecuador Monash University ClaytonVIC Australia Faculty of Information Technology Monash University ClaytonVIC Australia Faculty of Information Technologies Monash University MelbourneVIC Australia

ISBN: (纸本)9798400713941

The emerging concept of data storytelling (DS) suggests that enhancing visualisations with annotations and narratives can make complex data more insightful than conventional visualisations. Previous works found that DS-enhanced visualisations are more effective than conventional visualisations for simple tasks like identifying key data points or the main message. However, no previous work has explored the extent to which DS enhancements influence task completion across different levels of cognitive complexity. We address this gap by presenting the results of a study where 128 participants completed tasks based on four visualisations (two line charts and two choropleth maps, either with or without DS elements) spanning a range of complexity based on Bloom's taxonomy, which has been applied in data visualisation to categorise tasks hierarchically from lower to higher-order thinking. Results suggest that while DS-enhanced visualisations effectively support lower-order tasks (finding data points and understanding insights), they don't necessarily aid the correct completion of higher-order tasks (application, analysis, evaluation and creation). However, DS enhancements improve how efficiently participants complete complex tasks. © 2025 Copyright held by the owner/author(s).

关键词： Data visualization

来源：评论

学校读者我要写书评

暂无评论

Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 25

Detection of Read-Write Issues in Hyperledger Fabric Smart C...

引用

40th Annual acm Symposium on Applied computing, SAC 2025

作者： Olivieri, Luca Negrini, Luca Arceri, Vincenzo Ferrara, Pietro Cortesi, Agostino Ca' Foscari University of Venice Venice Italy University of Parma Parma Italy

ISBN: (纸本)9798400706295

Hyperledger Fabric is a well-known framework for developing enterprise blockchain solutions. Developers of these blockchains must ensure the correct execution of read and write operations so that the smart contracts' application logic is consistent with the business logic. In this paper, we present a static analysis approach based on abstract interpretation to detect read-write set issues in Hyperledger Fabric smart contracts and avoid bugs and critical errors that could compromise blockchain applications. The analysis is implemented in GoLiSA, a semantics-based static analyzer for Go applications. Our experimental results show that the proposed analysis can detect read-write set issues on a significant benchmark of existing applications. Moreover, it achieves better results in detecting read-after-write issues than other well-known open-source analyzers for Hyperledger Fabric smart contracts. Copyright © 2025 held by the owner/author(s).

关键词： Open systems

来源：评论

学校读者我要写书评

暂无评论

MindTerior: A Mental Healthcare Game with Metaphoric Gamespace and Effective Activities for Mitigating Mild Emotional Difficulties

MindTerior: A Mental Healthcare Game with Metaphoric Gamespa...

引用

Extended Abstracts of the 2023 CHI Conference on Human Factors in computing systems, CHI EA 2023

作者： Lee, Ain Lee, Juhyun Ahn, Sooyeon Lee, Youngik Graduate School of Culture Technology Games and Life Lab Korea Advanced Institute of Science and Technology Korea Republic of Graduate School of Culture Technology Information-Based Design Lab Korea Advanced Institute of Science and Technology Korea Republic of Department of Industrial Design DxD Lab Korea Advanced Institute of Science and Technology Korea Republic of Graduate School of Culture Technology Social Computing Lab Korea Advanced Institute of Science and Technology Korea Republic of

ISBN: (纸本)9781450394222

Contemporaries suffer from more stress and emotional difficulties, but developing practices that allow them to manage and become aware of emotional states has been a challenge. MindTerior is a mental health care game developed for people who occasionally experience mild emotional difficulties. The game contains four mechanisms: measuring players' emotional state, providing game activities that help mitigate certain negative emotions, visualizing players' emotional state and letting players cultivate the game space with customizable items, and completing game events that educate players on how to cope with certain negative emotions. This set of gameplays can allow players to experience effective positive emotional relaxation and to perform gamified mental health care activities. Playtest showed that projecting players' emotional state to a virtual game space is helpful for players to be conscious of their emotional state, and playing gamified activities is helpful for mental health care. Additionally, the game motivated players to practice the equivalent activities in real life. © 2023 Owner/Author.

关键词： Health care

来源：评论

学校读者我要写书评

暂无评论

Automating the Quantitative analysis of Reproducibility for Build Artifacts derived from the Android Open Source Project 22

Automating the Quantitative Analysis of Reproducibility for ...

引用

15th acm Conference on Security and Privacy in Wireless and Mobile Networks (acm WiSec)

作者： Poell, Manuel Roland, Michael Johannes Kepler Univ Linz Inst Networks & Secur Linz Austria

ISBN: (纸本)9781450392167

This work proposes a modular automation toolchain to analyze current state and over-time changes of reproducibility of build artifacts derived from the Android Open Source Project (AOSP). While perfect bit-by-bit equality of binary artifacts would be a desirable goal to permit independent verification if binary build artifacts really are the result of building a specific state of source code, this form of reproducibility is often not (yet) achievable in practice. Certain complexities in the Android ecosystem make assessment of production firmware images particularly difficult. To overcome this, we introduce "accountable builds" as a form of reproducibility that allows for legitimate deviations from 100 percent bit-by-bit equality. Using our framework that builds AOSP in its native build system, automatically compares artifacts, and computes difference scores, we perform a detailed analysis of differences, identify typical accountable changes, and analyze current major issues leading to non-reproducibility and non-accountability. We find that pure AOSP itself builds mostly reproducible and that Project Treble helped through its separation of concerns. However, we also discover that Google's published firmware images deviate from the claimed codebase (partially due to side-effects of Project Mainline).

关键词： Deterministic build Over-time measurement comparison

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 88 89 90 91 92 93 94 95 96 97 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：