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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

6,803 篇 工学
- 5,826 篇 计算机科学与技术...
- 3,577 篇 软件工程
- 1,183 篇 信息与通信工程
- 947 篇 电气工程
- 826 篇 控制科学与工程
- 412 篇 生物工程
- 328 篇 电子科学与技术（可...
- 216 篇 机械工程
- 202 篇 仪器科学与技术
- 183 篇 生物医学工程（可授...
- 159 篇 动力工程及工程热...
- 147 篇 网络空间安全
- 132 篇 安全科学与工程
- 122 篇 建筑学
- 107 篇 材料科学与工程（可...
- 105 篇 土木工程
2,225 篇 理学
- 1,395 篇 数学
- 549 篇 统计学（可授理学、...
- 468 篇 生物学
- 335 篇 系统科学
- 320 篇 物理学
- 93 篇 化学
1,463 篇 管理学
- 934 篇 管理科学与工程(可...
- 681 篇 图书情报与档案管...
- 459 篇 工商管理
270 篇 法学
- 243 篇 社会学
163 篇 医学
- 147 篇 临床医学
- 116 篇 基础医学(可授医学...
132 篇 经济学
- 130 篇 应用经济学
131 篇 教育学
- 125 篇 教育学
30 篇 农学
12 篇 军事学
7 篇 文学
6 篇 艺术学
1 篇 哲学

主题

295 篇 measurement
228 篇 performance anal...
151 篇 performance
147 篇 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
88 篇 cloud computing
85 篇 database systems
82 篇 static analysis
82 篇 visualization
82 篇 high performance...
81 篇 distributed comp...
80 篇 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 ...
15 篇 oak ridge nation...
14 篇 inria
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 篇 nahrstedt klara
10 篇 vetter jeffrey s...
9 篇 vishwanath venka...
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,692 篇 英文
536 篇 其他
28 篇 中文
5 篇 葡萄牙文
3 篇 西班牙文

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

共 9260 条记录，以下是1251-1260 订阅

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

详细简洁

排序：

A mobile app for contactless measurement of vital signs through remote Photoplethysmography

A mobile app for contactless measurement of vital signs thro...

引用

2022 IEEE International Conference on systems, Man, and Cybernetics, SMC 2022

作者： Casalino, Gabriella Castellano, Giovanna Nisio, Andrea Pasquadibisceglie, Vincenzo Zaza, Gianluca University of Bari Aldo Moro Computer Science Department Bari Italy University of Roma Sapienza Computer Science Department Roma Italy

ISBN: (数字)9781665452588

ISBN: (纸本)9781665452588

The healthcare domain has undergone a huge transformation thanks to the availability of new technologies. In particular, health monitoring systems have entered everyday life without interfering with the daily routine. Mobile phones are increasingly used as health monitoring systems by means of ad-hoc applications. In this work, we propose a mobile app for contactless monitoring of vital signs, such as heart rate and blood oxygen saturation. Differently from the other devices in the literature, it is able to measure vital signs from the analysis of short videos through the use of remote photoplethysmography technology. A client-server architecture has been developed to run the signal and video processing on the server while implementing video acquisition and communication with the user on the smartphone. Experiments have shown the effectiveness of the developed app in accurately measuring vital parameters. © 2022 IEEE.

关键词： Ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

Serious snacking: A survival analysis of how snacking mechanics afect atrition in a mobile serious game

Serious snacking: A survival analysis of how snacking mechan...

引用

2021 CHI Conference on Human Factors in computing systems: Making Waves, Combining Strengths, CHI 2021

作者： Alexandrovsky, Dmitry Friehs, Maximilian Achim Grittner, Jendrik DMLab University of Bremen Bremen Germany

ISBN: (纸本)9781450380966

Many serious games are most efective when played regularly;however, little is known about how individual game elements support player adherence over time. This work draws on evidence from existing frameworks and game design theories as well as from the design of casual games to investigate how individual game mechanics afect player attrition in a serious game. We implemented a math-learning game in which we could individually layer various game mechanics, and over the course of 3 weeks, 99 participants played one of six versions: Baseline, Rewards, Novelty, Completion, Waiting, or Blocking. We compared the game versions by analyzing the players' performance as well as behaviour. Using survival analysis, we identifed that the addition of Completion and Blocking mechanics facilitated the strongest sustained engagement. These fndings are congruent with existing theories of player experience and promote the development of guidelines on designing for sustained engagement in serious games. © 2021 acm.

关键词： Serious games

来源：评论

学校读者我要写书评

暂无评论

Neural Network Inference in High-Performance computing: Closing the Gap for FINN based Reconfigurable Accelerators 25

Neural Network Inference in High-Performance Computing: Clos...

引用

proceedings of the 2025 acm/SIGDA International Symposium on Field Programmable Gate Arrays

作者： Linus Jungemann Bjarne Wintermann Heinrich Riebler Christian Plessl Paderborn University Paderborn Center for Parallel Computing Paderborn Germany

ISBN: (纸本)9798400713965

In recent years, Neural Networks (NNs) have become one of the most prevailing topics in computers science, both in research and in industry. NNs are used for data analysis, natural language processing, autonomous driving and more. As such, NNs also see more application and use in High-Performance computing (HPC). At the same time, energy efficiency has become an increasingly critical topic. NNs use large amounts of energy for operation, which in return results in large amounts of CO2 emissions. This work presents a comprehensive evaluation of current NN inference soft- and hardware configurations within High-Performance computing (HPC) environments, with a focus on both performance metrics and energy consumption. NN quantization and accelerators such as FPGAs allow for an increased inference efficiency, both in terms of throughput and energy. Therefore, this work focuses on FINN, an efficient NN inference framework for FPGAs, highlighting its current lack of support for HPC systems. We provide an in-depth analysis of FINN in order to implement extensions to optimize the end-to-end execution for the usage in the HPC environment. We thoroughly evaluate the performance and energy efficiency gains using newly implemented optimizations and compare it against existing NN accelerators for HPC. With our extensions of FINN, we were able to achieve a 1847× higher throughput, while also decreasing the latency on average by 0.9978× and EDP by 0.9979× on an Alveo U55C FPGA. Data flow based NN inference accelerators on an FPGA should be used if the performance and energy footprint of the inference process is crucial, and the batch sizes are small to medium. For extremely large batch sizes and a very limited time for network-to-accelerator (less than a few days), using GPUs is still the way to go. Our results show that with the newly developed driver, we outperform a high-end Nvidia A100 GPU by up to 7.81x in throughput, while having a 0.87x lower latency and 0.88x lower energy de

关键词： dataflow architectures

来源：评论

学校读者我要写书评

暂无评论

computing Valuations of the Dieudonné Determinants 21

Computing Valuations of the Dieudonné Determinants

引用

46th International Symposium on Symbolic and Algebraic Computation, ISSAC 2021

作者： Oki, Taihei Department of Mathematical Informatics Graduate School of Information Science and Technology University of Tokyo Bunkyo-ku Tokyo Japan

ISBN: (纸本)9781450383820

This paper addresses the problem of computing valuations of the Dieudonné determinants of matrices over discrete valuation skew fields (DVSFs). This problem is an extension of computing degrees of determinants of polynomial matrices and has an application to the analysis of degrees of freedom of linear time-varying systems. Under a reasonable computational model, we propose two algorithms for a kind of DVSFs, called split. Our algorithms are extensions of the combinatorial relaxation of Murota (1995) and the matrix expansion by Moriyama-Murota (2013), both of which are based on combinatorial optimization. While our algorithms require an upper bound on the output, we show that the bound is easily obtained if the input is skew polynomial matrices. © 2021 acm.

关键词： Differential equations

来源：评论

学校读者我要写书评

暂无评论

MiLeTS'21: 7th KDD Workshop on Mining and Learning from Time Series 21

MiLeTS'21: 7th KDD Workshop on Mining and Learning from Time...

引用

27th acm SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD)

作者： Purushotham, Sanjay Li, Yaguang Che, Zhengping Univ Maryland Baltimore Cty Baltimore MD 21228 USA Google Inc Mountain View CA USA Didi Chuxing Beijing Peoples R China

ISBN: (纸本)9781450383325

Time series data are ubiquitous. Rapid advances in diverse sensing technologies, ranging from remote sensors to wearables and social sensing, are generating a rapid growth in the size and complexity of time series archives. This has resulted in a fundamental shift away from parsimonious, infrequent measurement to nearly continuous monitoring and recording. This demands development of new tools and solutions. The goals of this workshop are to: (1) highlight the significant challenges that underpin learning and mining from time series data (e.g. irregular sampling, spatiotemporal structure, and uncertainty quantification), (2) discuss recent algorithmic, theoretical, statistical, or systems-based developments for tackling these problems, and (3) synergize the research activities and discuss both new and open problems in time series analysis and mining.

关键词： time-series analysis temporal data mining COVID-19 time series

来源：评论

学校读者我要写书评

暂无评论

The parallel lives of Autonomous systems: ASN Allocations vs. BGP 21

The parallel lives of Autonomous Systems: ASN Allocations vs...

引用

21s acm Internet measurement Conference (IMC)

作者： Nemmi, Eugenio Nerio Sassi, Francesco La Morgia, Massimo Testart, Cecilia Mei, Alessandro Dainotti, Alberto Sapienza Univ Rome Rome Italy MIT Cambridge MA USA Univ Calif San Diego CAIDA Georgia Inst Technol La Jolla CA USA

ISBN: (纸本)9781450391290

Autonomous systems (ASes) exist in two dimensions on the Internet: the administrative and the operational one. Regional Internet Registries (RIRs) rule the former, while BGP the latter. In this work, we reconstruct the lives of the ASes on both dimensions, performing a joint analysis that covers 17 years of data. For the administrative dimension, we leverage delegation files published by RIRs to report the daily status of Internet resources they allocate. For the operational dimension, we characterize the temporal activity of ASNs in the Internet control plane using BGP data collected by the RouteViews and RIPE RIS projects. We present a methodology to extract insights about AS life cycles, including dealing with pitfalls affecting authoritative public datasets. We then perform a joint analysis to establish the relationship (or lack of) between these two dimensions for all allocated ASNs and all ASNs visible in BGP. We characterize the usual behaviors, specific differences between RIRs and historical resources, as well as measure the discrepancies between the two lparallelz lives. We find discrepancies and misalignment that reveal useful insights, and we highlight through examples the potential of this new lens to help pinpoint malicious BGP activity and various types of misconfigurations. This study illuminates a largely unexplored aspect of the Internet global routing system and provides methods and data to support broader studies that relate to security, policy, and network management.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

Creating Web-based, Meta-Simulation Environments for Social Dynamics in an Interactive Framework for Public Policy analysis and Design 25

Creating Web-based, Meta-Simulation Environments for Social ...

引用

25th IEEE/acm International Symposium on Distributed Simulation and Real Time Applications (DS-RT)

作者： Sgouros, Nikitas M. Kyriazis, Dimosthenis Univ Piraeus Dept Digital Syst Piraeus Greece

ISBN: (纸本)9781665433266

Simulations of Social Dynamics play an important role in public policy analysis and design as they help to estimate the effects that alternative policies can have on society. We argue for a tight integration of a novel generation of social dynamics meta-simulation tools in a policy development framework. Such tools provide a common, agent- based modeling and concurrent execution environment for creating and running such simulations. Furthermore, they enable reasoning about simulation outcomes by examining and ranking alternative policy objectives based on a set of criteria supplied by the designer. We describe our implementation of such an idea in Politika, our Elixir-based web framework for interactive, meta-simulation-based policy design and provide appropriate examples as part of the PolicyCLOUD EU research project.

关键词： systems simulation Concurrent computing Agent-based modeling Intelligent agents Design tools

来源：评论

学校读者我要写书评

暂无评论

Towards a Cost vs. Quality Sweet Spot for Monitoring Networks 20

Towards a Cost vs. Quality Sweet Spot for Monitoring Network...

引用

20th acm Workshop on Hot Topics in Networks (HotNets)

作者： Yaseen, Nofel Arzani, Behnaz Chintalapudi, Krishna Ranganathan, Vaishnavi Frujeri, Felipe Hsieh, Kevin Berger, Daniel S. Liu, Vincent Kandula, Srikanth Microsoft Redmond WA 98052 USA Univ Penn Philadelphia PA 19104 USA

ISBN: (纸本)9781450390873

Continuously monitoring a wide variety of performance and fault metrics has become a crucial part of operating large-scale datacenter networks. In this work, we ask whether we can reduce the costs to monitor - in terms of collection, storage and analysis - by judiciously controlling how much and which measurementswe collect. By positing thatwe can treat almost all measured signals as sampled time-series, we show that we can use signal processing techniques such as the Nyquist-Shannon theorem to avoid wasteful data collection. We show that large savings appear possible by analyzing tens of popular measurement systems from a production datacenter network. We also discuss some challenges that must be solved when applying these techniques in practice.

关键词： Cost benefit analysis

来源：评论

学校读者我要写书评

暂无评论

Filling the Void: Data-Driven Machine Learning-based Reconstruction of Sampled Spatiotemporal Scientific Simulation Data 24

Filling the Void: Data-Driven Machine Learning-based Reconst...

引用

proceedings of the SC '24 Workshops of the International Conference on High Performance computing, Network, Storage, and analysis

作者： Ayan Biswas Aditi Mishra Meghanto Majumder Subhashis Hazarika Alexander Most Juan Castorena Christopher Bryan Patrick McCormick James Ahrens Earl Lawrence Aric Hagberg Los Alamos National Lab Los Alamos U.S.A. Arizona State University Tempe U.S.A. Fujitsu Research of America Inc. Santa Clara U.S.A. Los Alamos National Lab Los Alamos U.S.A

ISBN: (纸本)9798350355543

As high-performance computing systems continue to advance, the gap between computing performance and I/O capabilities is widening. This bottleneck limits the storage capabilities of increasingly large-scale simulations, which generate data at never-before-seen granularities while only being able to store a small subset of the raw data. Recently, strategies for data-driven sampling have been proposed to intelligently sample the data in a way that achieves high data reduction rates while preserving important regions or features with high fidelity. However, a thorough analysis of how such intelligent samples can be used for data reconstruction is lacking. We propose a data-driven machine learning approach based on training neural networks to reconstruct full-scale datasets based on a simulation's sampled output. Compared to current state-of-the-art reconstruction approaches such as Delaunay triangulation-based linear interpolation, we demonstrate that our machine learning-based reconstruction has several advantages, including reconstruction quality, time-to-reconstruct, and knowledge transfer to unseen timesteps and grid resolutions. We propose and evaluate strategies that balance the sampling rates with model training (pretraining and fine-tuning) and data reconstruction time to demonstrate how such machine learning approaches can be tailored for both speed and quality for the reconstruction of grid-based datasets.

关键词： computing methodologies

来源：评论

学校读者我要写书评

暂无评论

Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection 27

Utilizing Risk Number and Program Slicing to Improve Human-M...

引用

27th International Conference on Engineering of Complex Computer systems, ICECCS 2023

作者： Dai, Yujun Liu, Shaoying Xu, Guangquan Liu, Ai Hiroshima University Graduate School of Advanced Science and Engineering Hiroshima Japan Tianjin University School of Cybersecurity College of Intelligence and Computing Tianjin China

ISBN: (纸本)9798350340044

Human-Machine Pair Inspection (HMPI) is a novel code inspection technology proposed in our previous work, which is the style that machine will intelligently guide the programmer to carry out inspections of the program code during programming. For large-scale software projects, the efficiency of HMPI needs to be improved due to the inaccurate measurement of the code structure and the excessive inspection scope. In this paper, to alleviate the above deficiencies, we propose the Risk Number, a code evaluation metric generated based on historical error data. The Risk Number is calculated by a statistical tool called regression analysis, which more accurately indicates the relationship between the nested structure of the code and the likelihood of containing bugs than Cognitive Complexity. Additionally, HMPI is supported by utilizing Risk Number to point out high-risk code and program slicing techniques to extract statements that have dependencies on the code to generate checklists, thereby reducing the scope of inspection. We describe a case study to evaluate the performance of this method by comparing its inspection time and number of detected errors with our previous work. The result shows that the method is likely to guide the programmer to inspect the faulty code earlier and be more efficient in detecting defects than HMPI based on Cognitive Complexity. © 2023 IEEE.

关键词： Inspection

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 122 123 124 125 126 127 128 129 130 131 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：