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

CHI conference on Human Factors in computing systems (CHI)

作者： Ramakers, Raf Leen, Danny Kim, Jeeeun Luyten, Kris Houben, Steven Veuskens, Tom Hasselt Univ Flanders Make Expertise Ctr Digital Media Hasselt Belgium Texas A&M Univ Comp Sci & Engn College Stn TX USA Eindhoven Univ Technol Eindhoven Netherlands

ISBN: (纸本)9781450394215

The majority of errors in making processes can be tracked back to errors in dimensional specifications. While technical aspects of measurement, such as precision and speed have been extensively studied in metrology, the user aspects of measurement received significantly less attention. While little research exists that specifically addresses the user aspects of handling dimensions, various systems have been built that embed new interactive modalities, processes, and techniques which significantly impact how users deal with dimensions or conduct measurements. However, these features are mostly hidden in larger system contributions. To uncover and articulate these techniques, we conducted a holistic literature survey on measurement practices in crafting techniques and systems for rapid prototyping. Based on this survey, we contribute 10 measurement patterns, which describe reusable elements and solutions for common difficulties when dealing with dimensions throughout workflows for making physical artifacts.

关键词： Fabrication Making measurement Patterns

来源：评论

学校读者我要写书评

暂无评论

Forecasting Algorithms for Intelligent Resource Scaling: An Experimental analysis 15

Forecasting Algorithms for Intelligent Resource Scaling: An ...

引用

15th Annual acm Symposium on Cloud computing, SoCC 2024

作者： Diao, Yanlei Horn, Dominik Kipf, Andreas Shchur, Oleksandr Benito, Ines Dong, Wenjian Pagano, Davide Pfeil, Pascal Nathan, Vikram Narayanaswamy, Balakrishnan Kraska, Tim Amazon Web Services United States Utn Germany

ISBN: (纸本)9798400712869

There has been a growing demand for making modern cloud-based data analytics systems cost-effective and easy to use. AI-powered intelligent resource scaling is one such effort, aiming at automating scaling decisions for serverless offerings like Amazon Redshift Serverless. The foundation of intelligent resource scaling lies in the ability to forecast query workloads and their resource consumption accurately. Although the forecasting problem has been extensively studied across various domains, there is a lack of thorough analysis of existing forecasting algorithms for large-scale, real-world cloud query workloads. This paper fills this gap by providing an in-depth analysis of forecasting algorithms for real-world cloud workloads, covering the fundamental data characteristics that distinguish query workload forecasting from prior problems and evaluating the strengths and limitations of existing algorithms in this new domain. We anticipate that our findings will provide valuable insights in informing the design of an efficient and effective solution for production use, as well as in steering the forecasting community toward more effective algorithms of high real-world impact. © 2024 Owner/Author.

关键词： Cloud analytics

来源：评论

学校读者我要写书评

暂无评论

Probabilistic Resource-Aware Session Types

引用

proceedings OF THE acm ON PROGRAMMING LANGUAGES-PacmPL 2023年第POPL期7卷 1925-1956页

作者： Das, Ankush Wang, Di Hoffmann, Jan Amazon Seattle WA 98109 USA Carnegie Mellon Univ Pittsburgh PA 15213 USA

Session types guarantee that message-passing processes adhere to predefined communication protocols. Prior work on session types has focused on deterministic languages but many message-passing systems, such as Markov chains and randomized distributed algorithms, are probabilistic. To implement and analyze such systems, this article develops the meta theory of probabilistic session types with an application focus on automatic expected resource analysis. Probabilistic session types describe probability distributions over messages and are a conservative extension of intuitionistic (binary) session types. To send on a probabilistic channel, processes have to utilize internal randomness from a probabilistic branching or external randomness from receiving on a probabilistic channel. The analysis for expected resource bounds is smoothly integrated with the type system and is a variant of automatic amortized resource analysis. Type inference relies on linear constraint solving to automatically derive symbolic bounds for various cost metrics. The technical contributions include the meta theory that is based on a novel nested multiverse semantics and a typereconstruction algorithm that allows flexible mixing of different sources of randomness without burdening the programmer with complex type annotations. The type system has been implemented in the language NomosPro with linear-time type checking. Experiments demonstrate that NomosPro is applicable in different domains such as cost analysis of randomized distributed algorithms, analysis of Markov chains, probabilistic analysis of amortized data structures and digital contracts. NomosPro is also shown to be scalable by (i) implementing two broadcast and a bounded retransmission protocol where messages are dropped with a fixed probability, and (ii) verifying the limiting distribution of a Markov chain with 64 states and 420 transitions.

关键词： Session Types Resource analysis Probabilistic Concurrency Nested Multiverse Semantics

来源：评论

学校读者我要写书评

暂无评论

The Development of Students' Professional Competencies on a Work-Based Software Engineering Program 2024

The Development of Students' Professional Competencies on a ...

引用

55th acm Technical Symposium on Computer Science Education (SIGCSE)

作者： Barr, Matthew Andrei, Oana Morrison, Alistair Nabi, Syed Waqar Univ Glasgow Glasgow Lanark Scotland

ISBN: (纸本)9798400704239

Competencies may be defined as the knowledge, skills, and professional dispositions that an individual is required to demonstrate in order to be considered professionally competent. Competency-based education has long been a feature of professional degree programs, but the discipline of computing Science has only recently begun to embrace competencies as a means of structuring or evaluating students' learning. Meanwhile, the practice of work-based learning - also well-established in other professional disciplines - has become more prevalent in computing Science education, with increasing emphasis placed on work-based modes of learning, such as internships and apprenticeships. In this paper, we examine how students enrolled on a degree-level apprenticeship in Software Engineering have developed their professional competencies in the workplace. The paper is based on an analysis of 38 student assignments, wherein apprentices were asked to identify the competencies they have demonstrated, with reference to a portfolio of work. The UK Standard for Professional Engineering Competence and Commitment, which outlines the competencies required for certification as an Incorporated Engineer, provided the necessary framework. Competencies relating to communication and interpersonal skills were among those most often cited by apprentices, with competencies relating to knowledge and understanding and design and development systems also featuring prominently. Competencies relating to responsibility, management, or leadership were less prevalent, with professional commitment proving to be the least commonly cited category of competencies. We provide examples of how apprentices claim to have demonstrated each competency, and discuss the implications of these findings for competency-based learning in computing Science education.

关键词： professional competencies computing education competency-based education software engineering work-based learning

来源：评论

学校读者我要写书评

暂无评论

Breaking Out of the Ivory Tower: A Large-scale analysis of Patent Citations to HCI Research 23

Breaking Out of the Ivory Tower: A Large-scale Analysis of P...

引用

CHI conference on Human Factors in computing systems (CHI)

作者： Cao, Hancheng Lu, Yujie Deng, Yuting McFarland, Daniel A. Bernstein, Michael S. Stanford Univ Comp Sci Stanford CA 94305 USA Univ Calif Santa Barbara Comp Sci Santa Barbara CA 93106 USA Carnegie Mellon Univ Sch Comp Sci Pittsburgh PA USA

ISBN: (纸本)9781450394215

What is the impact of human-computer interaction research on industry? While it is impossible to track all research impact pathways, the growing literature on translational research impact measurement offers patent citations as one measure of how industry recognizes and draws on research in its inventions. In this paper, we perform a large-scale measurement study primarily of 70,000 patent citations to premier HCI research venues, tracing how HCI research are cited in United States patents over the last 30 years. We observe that 20.1% of papers from these venues, including 60-80% of papers at UIST and 13% of papers in a broader dataset of SIGCHI-sponsored venues overall, are cited by patents-far greater than premier venues in science overall (9.7%) and NLP (11%). However, the time lag between a patent and its paper citations is long (10.5 years) and getting longer, suggesting that HCI research and practice may not be efficiently connected.

关键词： Industry impact technology transfer translational science patent citation analysis

来源：评论

学校读者我要写书评

暂无评论

Thermal Characterization of AI Applications on AI Accelerators-equipped Microcontrollers 10

Thermal Characterization of AI Applications on AI Accelerato...

引用

Workshop on Body-Centric computing systems (BodySys)

作者： Jang, SiYoung Kawsar, Fahim Min, Chulhong Nokia Bell Labs Cambridge England Univ Glasgow Glasgow Lanark Scotland

ISBN: (纸本)9798400706660

We investigate the thermal characteristics of tiny ML devices with AI accelerators, to understand the thermal impact on wearable devices. We identify the unique characteristics of temperature measurement, temporal and spatial temperature variation, define two novel temperature metrics, saturation temperature and rate, and report these metrics for each compute component. For the analysis, we conduct various benchmarks and evaluate the thermal profiles of different AI applications and tasks. The results and insights lay an empirical foundation for the development of heat-safe wearable hardware.

关键词： AI accelerator TinyML Thermal measurement

来源：评论

学校读者我要写书评

暂无评论

How Much is Performance Worth to Users? 23

How Much is Performance Worth to Users?

引用

20th acm International Conference on computing Frontiers (CF)

作者： Hastings, Adam Chilton, Lydia Sethumadhavan, Simha Columbia Univ New York NY 10027 USA

ISBN: (纸本)9798400701405

In computer systems design, computer architects can evaluate features and techniques in terms of traditional design metrics like power, performance, and area but not in terms of net benefit or cost to the end user. For example, a security feature may come at a 10% cost to performance, but is this worth the tradeoff? The problem is that user-level features like security, privacy, and usability can be converted into a monetary amount but traditional architecture metrics (which lack the notion of user value) cannot. In this paper, we make the first known attempt to bridge this gap: We conduct two studies (one of which is incentive compatible) that elicit the value of performance in terms of US$ to end users. Thus in this work, we make the first known quantitative measurement of the tradeoff between performance and user value, providing architects with a novel design metric and filling a crucial gap in the end-to-end quantitative evaluation of systems.

关键词： user studies performance measurements human factors in computing security economics security tradeoffs

来源：评论

学校读者我要写书评

暂无评论

Systematic Evaluation of Personalized Deep Learning Models for Affect Recognition

引用

proceedings OF THE acm ON INTERACTIVE MOBILE WEARABLE AND UBIQUITOUS TECHNOLOGIES-IMWUT 2024年第4期8卷 1-35页

作者： Han, Yunjo Zhang, Panyu Park, Minseo Lee, Uichin Korea Adv Inst Sci & Technol Daejeon South Korea Sungkyunkwan Univ Suwon South Korea

Understanding human affective states such as emotion and stress is crucial for both practical applications and theoretical research, driving advancements in the field of affective computing. While traditional approaches often rely on generalized models trained on aggregated data, recent studies highlight the importance of personalized models that account for individual differences in affective responses. However, there remains a significant gap in research regarding the comparative evaluation of various personalization techniques across multiple datasets. In this study, we address this gap by systematically evaluating widely-used deep learning-based personalization techniques for affect recognition across five open datasets (i.e., AMIGOS, ASCERTAIN, WESAD, CASE, and K-EmoCon). Our analysis focuses on realistic scenarios where models must adapt to new, unseen users with limited available data, reflecting real-world conditions. We emphasize the principles of reproducibility by utilizing open datasets and making our evaluation models and codebase publicly available. Our findings provide critical insights into the generalizability of personalization techniques, the data requirements for effective personalization, and the relative performance of different approaches. This work offers valuable contributions to the development of personalized affect recognition systems, fostering advancements in both methodology and practical application.

关键词： Affective computing Deep Learning Personalization Open Datasets Reproducibility

来源：评论

学校读者我要写书评

暂无评论

Miracle or Mirage? A measurement Study of NFT Rug Pulls

引用

proceedings of the acm on measurement and analysis of computing systems 2023年第3期7卷 1-25页

作者： Huang, Jintao He, Ningyu Ma, Kai Xiao, Jiang Wang, Haoyu Huazhong Univ Sci & Technol Wuhan Peoples R China Peking Univ Beijing Peoples R China

NFT rug pull is one of the most prominent type of NFT scam, whose definition is that the developers of an NFT project abandon it and run away with investors' funds. Although they have drawn attention from our community, to the best of our knowledge, the NFT rug pulls have not been systematically measured. To fill the void, this paper presents the first in-depth measurement study of NFT rug pulls. Specifically, we first compile a list of 253 known NFT rug pulls as our initial confirmed rug pulls (i.e., ground truth), based on which we perform a pilot study, highlighting the key symptoms of NFT rug pulls. Then, we design an effective rule-based detector to measure the prevalence of NFT rug pulls in the ecosystem. We have labelled 7,487 happened NFT rug pull projects which were not revealed by our community. To eliminate the potential damage brought by rug pull scams, we take a step further towards designing a real-time prediction model to proactively identify the potential rug pull projects in an early stage ahead of the scam happens. We have implemented a prototype system, and deployed it in the real-world setting for over 6 months. Our system has raised alarms for 5,557 new NFT projects by the time of this writing, which works as a whistle blower that pinpoints rug pull scams timely, thus mitigating the impacts.

关键词： non-fungible token NFT rug pull blockchain

来源：评论

学校读者我要写书评

暂无评论

VCFloat2: Floating-Point Error analysis in Coq 2024

VCFloat2: Floating-Point Error Analysis in Coq

引用

13th acm SIGPLAN International Conference on Certified Programs and Proofs (CPP)

作者： Appel, Andrew W. Kellison, Ariel E. Princeton Univ Princeton NJ 08544 USA Cornell Univ Ithaca NY 14853 USA

ISBN: (纸本)9798400704888

The development of sound and efficient tools that automatically perform floating-point round-off error analysis is an active area of research with applications to embedded systems and scientific computing. In this paper we describe VCFloat2, a novel extension to the VCFloat tool for verifying floating-point C programs in Coq. Like VCFloat1, VCFloat2 soundly and automatically computes round-off error bounds on floating-point expressions, but does so to higher accuracy;with better performance;with more generality for nonstandard number formats;with the ability to reason about external (user-defined or library) functions;and with improved modularity for interfacing with other program verification tools in Coq. We evaluate the performance of VCFloat2 using common benchmarks;compared to other state-of-the art tools, VCFloat2 computes competitive error bounds and transparent certificates that require less time for verification.

关键词： floating point round-off error analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：