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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

293 篇 measurement
226 篇 performance anal...
150 篇 performance
146 篇 computational mo...
123 篇 analytical model...
121 篇 concurrent compu...
119 篇 computer science
112 篇 application soft...
106 篇 real time system...
106 篇 algorithm design...
96 篇 computer archite...
95 篇 power system ana...
95 篇 time measurement
87 篇 cloud computing
85 篇 database systems
82 篇 visualization
82 篇 high performance...
81 篇 static analysis
81 篇 distributed comp...
79 篇 monitoring

机构

49 篇 carnegie mellon ...
31 篇 school of comput...
31 篇 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...
16 篇 univ calif berke...
15 篇 univ chicago il ...
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
11 篇 zimmermann roger
10 篇 dongarra jack
10 篇 abella jaume
10 篇 wierman adam
10 篇 vetter jeffrey s...
9 篇 vishwanath venka...
9 篇 nahrstedt klara
9 篇 wang wei
9 篇 anon
9 篇 van houdt benny
9 篇 mutlu onur
9 篇 tiwari devesh
8 篇 liu jiangchuan
8 篇 oral sarp
8 篇 boukerche azzedi...
8 篇 squillante mark ...
8 篇 qian feng
8 篇 mueller frank

语言

8,902 篇 英文
292 篇 其他
25 篇 中文
5 篇 葡萄牙文
3 篇 西班牙文

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

共 9226 条记录，以下是701-710 订阅

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

详细简洁

排序：

Diversifying Grain-Based Compliance Illusion by Varying Base Compliance 25

Diversifying Grain-Based Compliance Illusion by Varying Base...

引用

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

作者： Mun, Buyoung Lee, Junsu Kim, Jiseong Heo, Seongkook Lee, Jaeyeon TACT Lab UNIST Ulsan Korea Republic of Department of Computer Science University of Virginia CharlottesvilleVA United States

ISBN: (纸本)9798400713941

Grain-based compliance illusion mimics the mechanical vibrations that occur when a compliant object deforms with grain-like, short (∼15 ms) impulse-response vibrations. Previous work has demonstrated its robust effect on various types of devices. However, the impact of the device's inherent compliance (i.e., base compliance) on perceived compliance remains unclear. This paper investigates the influence of base compliance on the perception of illusory compliance through three psychophysical experiments. The results show that (1) the compliance illusion remained effective with base compliance, (2) the description of compliance was affected by both illusory and base compliance, and (3) it is possible to render the compliance with the same magnitude but multiple different feelings. © 2025 Copyright held by the owner/author(s).

关键词： Vibration analysis

来源：评论

学校读者我要写书评

暂无评论

AN INTEGRATION MODEL TO ENHANCE INFORMATION systems ADMINISTRATION AND DATA SHARING - A CASE OF NAMIBIAN LOWER COURTSAN INTEGRATION MODEL TO ENHANCE INFORMATION systems ADMINISTRATION AND DATA SHARING - A CASE OF NAMIBIAN LOWER COURTS 4

AN INTEGRATION MODEL TO ENHANCE INFORMATION SYSTEMS ADMINIST...

引用

4th African Conference on Human Computer Interaction (AfriCHI) - Beyond Limits

作者： Mewiliko, J. Namutenya Irja, N. Shaanka Namibia Univ Sci & Technol Dept Informat Windhoek Namibia

ISBN: (纸本)9798400708879

The Namibian lower courts in the pursuit to address poor service delivery and inefficiency, implemented the Namibian Courts Information System (NAMCIS) in magistrates' courts across the country. NAMCIS handles case-flow management and financial transactions. The current setup of these information systems is not centralised and each NAMCIS operates from a stand-alone server. This has seen challenges with systems administration and data reporting, whereby maintenance, as well as administration of the systems, is time-consuming and the information is inaccurate. Integrating the lower courts' information systems is proposed as an aid to the issues at hand. A qualitative research strategy was employed to allow the researcher to gain an in-depth understanding of the lower courts' computing environment. The study adopted a case study design, whereby the Office of the Judiciary was the case. Semi-structured interviews and open-ended questionnaires were used for data collection. Data was analysed interpretively. Based on the findings from the analysis, an integration model was developed. This study will act as a guide to industry practitioners who will embark upon the integration of NAMCIS since each systems integration exercise is unique to its environment.

关键词： systems integration data sharing systems administration integration model

来源：评论

学校读者我要写书评

暂无评论

Bridging Digital Wellbeing and Accessibility: An analysis of the W3C Web Content Accessibility Guidelines

Bridging Digital Wellbeing and Accessibility: An Analysis of...

引用

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

作者： Schwartz, R.X. Roffarello, Alberto Monge De Russis, Luigi Dipartimento di Automatica e Informatica Politecnico di Torino Torino Italy

ISBN: (纸本)9798400713958

The W3C Web Content Accessibility Guidelines (WCAG), first released in 1999, have over time expanded their focus on cognitive and learning disabilities, including attentional needs. User attentional needs are also a focus of digital wellbeing, a research area which aims to help users spend their time well when using technology, reducing overuse and increasing meaning. However, the overlap and potential synergies between WCAG and DWB have not yet been measured. We use an expert coding method to classify all requirements from the main versions of WCAG (1.0, 2.2, and 3.0 draft) with respect to their secondary effects on digital wellbeing and attention-capture dark patterns. We note that an increasing proportion of WCAG requirements promote digital wellbeing, although in some cases WCAG may play a merely enabling role, a limited role, or a negative role. Our findings bring forward a link between accessibility and digital wellbeing which has not been previously established. © 2025 Copyright held by the owner/author(s).

关键词： accessibility digital overuse digital self-control tools Digital wellbeing persuasive technology WCAG

来源：评论

学校读者我要写书评

暂无评论

"Seriously, I’m Okay With Criticism": Assessing Participants Emotional Reactions During Participatory User Sessions via EEG Hyperscanning analysis

"Seriously, I’m Okay With Criticism": Assessing Participant...

引用

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

作者： Al Qadi, Leen F. Amin, Safa R. Omar, Alah Fraser, Lynne M. Azem, Jinan Y. Salminen, Joni Jansen, Bernard J. College of Science and Engineering Hamad bin Khalifa University Doha Qatar Carnegie Mellon University in Qatar Doha Qatar Qatar National Library Doha Qatar Qatar Computing Research Institute Hamad bin Khalifa University Doha Qatar University of Vaasa Vaasa Finland College of Information Science and Technology Penn State University ParkPA United States

ISBN: (纸本)9798400713958

We investigate using electroencephalography (EEG) devices to improve participatory user sessions, which are common in HCI research and practice. Using writing consultations as a critical example of such participatory user sessions, we evaluate six emotional reactions between a consultant and five patrons. EEG data was collected in consultant-patron dyads during each session and then analyzed concurrently. The analysis highlights the critical interaction effect between consultant and patron emotional levels, including stress levels, usually focused on criticism of the patron’s writing, and excitement centered on praising the patron’s writing. Findings point to the need to establish a positive relationship between the consultant and participants via eye contact and a welcoming environment. The findings imply that there is value in hyperscanning investigations to prepare HCI experts for qualitative user interviews, focus groups, and similar participatory user sessions and hint at the potential for neuroscience-informed practices in HCI processes. © 2025 Copyright held by the owner/author(s).

关键词： autonomic synchronization brain connectivity EEG hyperscanning user participation session writing consultations

来源：评论

学校读者我要写书评

暂无评论

Towards Robust Models of Cyber-Physical systems 21

Towards Robust Models of Cyber-Physical Systems

引用

acm International Joint Conference on Pervasive and Ubiquitous computing (UbiComp) / acm International Symposium on Wearable Computers (ISWC)

作者： Schaffeld, Matthias Weis, Torben Univ Duisburg Essen Duisburg Germany

ISBN: (纸本)9781450384612

Cyber-Physical systems (CPS) combine software with the physical world. For this purpose, CPS must model physical behavior in software. However, a software-based model cannot always accurately reflect the physical world. Often the model is a simplification of complex physical processes, or it suffers from measurement errors, or the physical side is subject to modifications and parameter drift, or the model is simply subject to misconceptions. It is an open research challenge how we can verify that physics and software-based model fit together. However, to rely on CPS in real-world scenarios we must ensure that physics and model are aligned. We propose a model formalism based on hidden Markov models that considers uncertainty and unknown phenomena and is robust enough to allow the analysis of CPS when working with error-prone data. More specifically, given observation data and an instance of the proposed model for a CPS (both of which may be flawed) the proposed formalism allows us to quantify the suitability between physics and model. If, however, a given model instance is deemed correct, the formalism enables methods which identify and smooth corrupt observation data as well as compute the most likely sequence of events for a given set of observations. Additionally, the formalism enables the learning of a suitable model according to given observation data. The model formalism will be tested with a simulation and a case study of an overhead traveling cargo crane system.

关键词： cyber-physical systems hidden Markov model ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

ABS: A formally correct software tool for space-efficient symbolic synthesis 25

ABS: A formally correct software tool for space-efficient sy...

引用

proceedings of the 25th acm International Conference on Hybrid systems: Computation and Control (HSCC)

作者： Weber, Alexander Macoveiciuc, Elisei Reissig, Gunther Univ Appl Sci Munich Germany Univ Bundeswehr Munich Dept Aerosp Engn Munich Germany

ISBN: (纸本)9781450391962

We present ABS, a software for Abstraction-Based Synthesis of controllers for continuous-state control systems. The tool distinguishes itself from previously known such software by being formally correct, i.e., any controller synthesized by ABS is mathematically guaranteed to solve the control problem provided as input. ABS achieves this quality by providing an input language with mathematically defined semantics and a respective compiler, and by carefully taking into account all numerical and rounding errors that might be incurred at either compile- or run-time. To mitigate computational overhead caused by the aforementioned approach, ABS implements, e.g. on-the-fly synthesis algorithms with greatly reduced memory requirement. The tool is currently applicable to invariance and reachability problems and requires state measurement. We discuss structure, algorithmic details and basic usage of ABS, and we demonstrate on two examples that its performance compares favorably with that of competing, not formally correct synthesis software. The source code of ABS is publicly available. See http://***/gunther/pubs/***

关键词： Controller Synthesis Symbolic Model Discrete Abstraction Formal Correctness Application Specific Compiler Floating-point arithmetic Round-off Error Rounding Error Numerical Error Static Program analysis On-the-fly Synthesis

来源：评论

学校读者我要写书评

暂无评论

Circuits for measurement Based Quantum State Preparation

Circuits for Measurement Based Quantum State Preparation

引用

25th Design, Automation and Test in Europe Conference and Exhibition (DATE)

作者： Gleinig, Niels Hoefler, Torsten Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland

ISBN: (纸本)9783981926361

In quantum computing, state preparation is the problem of synthesizing circuits that initialize quantum systems to specific states. It has been shown that there are states that require circuits of exponential size to be prepared (when not using measurements), and consequently, despite extensive research on this problem, the existing computer-aided design (CAD) methods produce circuits of exponential size. In this paper, we show how CAD based state preparation can be made scalable by using techniques that are unique to quantum computing: measurements, and the resulting state collapses. With this approach, we are able to produce wide classes of states in polynomial time, resulting in an exponential improvement over existing CAD methods.

关键词： quantum computing quantum compilation quantum state preparation

来源：评论

学校读者我要写书评

暂无评论

A Critical analysis of Machine Learning Eco-feedback Tools through the Lens of Sustainable HCI 25

A Critical Analysis of Machine Learning Eco-feedback Tools t...

引用

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

作者： Görücü, Sinem Morais, Luiz A. Panagiotidou, Georgia King's College London London United Kingdom CIn Universidade Federal de Pernambuco Recife Brazil

ISBN: (纸本)9798400713941

In light of machine learning's increasing computational needs, developers created energy and carbon-reporting tools to calculate and communicate their models' environmental impact. These tools use modeling parameters as inputs and respond with expected or incurred energy requirements or carbon emissions. This work critically and systematically analyses them regarding their content, form, and design process. Besides their noble intentions, many of the shortcomings of early sustainable HCI eco-feedback tools are still being propagated in these tools. Moreover, their design and development have limited inclusion of potential stakeholders. We argue the need for a next generation of approaches to ML eco-feedback that (a) further support rematerialization, (b) use participatory approaches in their design and development to support collaborative team environments and go beyond individual persuasion, (c) consider complexities of ML models and processes, and more broadly, (d) re-center around sufficiency rather than only efficiency. © 2025 Copyright held by the owner/author(s).

关键词： Ecodesign

来源：评论

学校读者我要写书评

暂无评论

ArtBot: An Exploration into AI’s Potential for Guiding Art analysis

ArtBot: An Exploration into AI’s Potential for Guiding Art ...

引用

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

作者： von Davier, Thomas Serban Larsen, Aaron John Henry Van Kleek, Max Shadbolt, Nigel Faculty of History University of Oxford Oxford United Kingdom Department of Computer Science University of Oxford Oxfordshire Oxford United Kingdom

ISBN: (纸本)9798400713958

Art analysis, the process of reasoning through an artwork, cultivates critical thinking, empathy, and cultural awareness. However, historically, art analysis has been inaccessible to individuals outside of cultural institutions and, more recently, social media platforms, making individuals passive consumers. Therefore, we developed ArtBot, a Socratic large language model (LLM) art companion designed to guide users through artwork analysis. We evaluated this prototype through a within-subjects lab study (n=13), comparing it to conditions inspired by digital museum collection sites and social media. Our findings reveal statistically significant differences between the conditions across several metrics, including self-reported understanding, the use of complex vocabulary, and writing proficiency. Post-hoc tests revealed that ArtBot and digital collections performed comparably and slightly better than social media, but not significantly. These results suggest that AI tools can support deeper engagement with art in digital spaces while laying the groundwork for iterative testing. © 2025 Copyright held by the owner/author(s).

关键词： Tweets

来源：评论

学校读者我要写书评

暂无评论

How Humans Communicate Programming Tasks in Natural Language and Implications For End-User Programming with LLMs 25

How Humans Communicate Programming Tasks in Natural Language...

引用

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

作者： Pickering, Madison Williams, Helena Gan, Alison He, Weijia Park, Hyojae Piedrahita Velez, Francisco Littman, Michael L. Ur, Blase University of Chicago ChicagoIL United States University of Southampton Southampton United Kingdom Carnegie Mellon University PittsburghPA United States Brown University ProvidenceRI United States

ISBN: (纸本)9798400713941

Large language models (LLMs) like GPT-4 can convert natural-language descriptions of a task into computer code, making them a promising interface for end-user programming. We undertake a systematic analysis of how people with and without programming experience describe information-processing tasks (IPTs) in natural language, focusing on the characteristics of successful communication. Across two online between-subjects studies, we paired crowdworkers either with one another or with an LLM, asking senders (always humans) to communicate IPTs in natural language to their receiver (either a human or LLM). Both senders and receivers tried to answer test cases, the latter based on their sender's description. While participants with programming experience tended to communicate IPTs more successfully than non-programmers, this advantage was not overwhelming. Furthermore, a user interface that solicited example test cases from senders often, but not always, improved IPT communication. Allowing receivers to request clarification, though, was less successful at improving communication. © 2025 Copyright held by the owner/author(s).

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 67 68 69 70 71 72 73 74 75 76 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：