English
Related papers

Related papers: Design Didn't Prevent These Hazard Exposures

200 papers

Recommender systems are among the most commonly deployed systems today. Systems design approaches to AI-powered recommender systems have done well to urge recommender system developers to follow more intentional data collection, curation,…

We consider the problem of efficiently checking a set of safety properties P1,....,Pk of one design. We introduce a new approach called JA-verification where JA stands for "Just-Assume" (as opposed to "assume-guarantee"). In this approach,…

Logic in Computer Science · Computer Science 2018-03-12 Eugene Goldberg , Matthias Gudemann , Daniel Kroening , Rajdeep Mukherjee

Mainstream creativity support design prioritizes compliant AI for seamless writing interactions, but concerns over inappropriate AI reliance highlight the need for designs fostering reflection on balanced AI and non-AI resource use.…

Human-Computer Interaction · Computer Science 2026-05-19 Hua Xuan Qin , Guangzhi Zhu , Mingming Fan , Pan Hui

In many settings -- like market research and social choice -- people may be presented with unfamiliar options. Classical mechanisms may perform poorly because they fail to incentivize people to learn about these options, or worse, encourage…

Theoretical Economics · Economics 2025-07-22 Modibo K. Camara , Nicole Immorlica , Brendan Lucier

An approach is described in this work for detecting discomfort moments during electrical water heater daily usage. The approach employs chromatic analyzing sensors signals of electrical water heater systems for producing distinguishable…

Systems and Control · Electrical Eng. & Systems 2021-10-11 Ziyad Almajali

The relevance of code comprehension in a developer's daily work was recognized more than 40 years ago. Consequently, many experiments were conducted to find out how developers could be supported during code comprehension and which code…

Software Engineering · Computer Science 2024-06-27 Marvin Wyrich , Justus Bogner , Stefan Wagner

This paper studies a potential outcome model with a continuous or discrete outcome, a discrete multi-valued treatment, and a discrete multi-valued instrument. We derive sharp, closed-form testable implications for a class of restrictions on…

Econometrics · Economics 2025-11-19 Yuehao Bai , Shunzhuang Huang , Max Tabord-Meehan

We inspected 45 actively deployed Operational Technology (OT) product families from ten major vendors and found that every system suffers from at least one trivial vulnerability. We reported a total of 53 weaknesses, stemming from insecure…

Cryptography and Security · Computer Science 2023-03-23 Jos Wetzels , Daniel dos Santos , Mohammad Ghafari

We consider the problem of designing (or augmenting) an electric power system such that it satisfies the N-k-e survivability criterion while minimizing total cost. The survivability criterion requires that at least (1-e) fraction of the…

Optimization and Control · Mathematics 2012-01-10 Richard Li-Yang Chen , Amy Cohn , Neng Fan , Ali Pinar

Interactive systems that facilitate exposure to examples can augment problem solving performance. However designers of such systems are often faced with many practical design decisions about how users will interact with examples, with…

Human-Computer Interaction · Computer Science 2024-01-24 Joel Chan , Zijian Ding , Eesh Kamrah , Mark Fuge

As illustrated in recent years (Superstorm Sandy, the Northeast Ice Storm of 1998, etc.), extreme weather events pose an enormous threat to the electric power transmission systems and the associated socio-economic systems that depend on…

Optimization and Control · Mathematics 2017-03-20 Harsha Nagarajan , Russell Bent , Pascal Van Hentenryck , Scott Backhaus , Emre Yamangil

In contrast to the predictions of the standard theory of electroconvection (EC), our experiments showed that the action of superposed ac and dc voltages rather inhibits pattern formation than favours the emergence of instabilities; the…

Soft Condensed Matter · Physics 2014-09-04 Peter Salamon , Nandor Eber , Balazs Fekete , Agnes Buka

Designing for situational awareness could lead to better solutions for disabled people, likewise, exploring the needs of disabled people could lead to innovations that can address situational impairments. This in turn can create…

Human-Computer Interaction · Computer Science 2019-04-15 Tigmanshu Bhatnagar , Youngjun Cho , Nicolai Marquardt , Catherine Holloway

This paper reviews the reasons that Human-in-the-Loop is both critical for preventing widely-understood failure modes for machine learning, and not a practical solution. Following this, we review two current heuristic methods for addressing…

Artificial Intelligence · Computer Science 2018-11-26 David Manheim

We consider the problem of designing (or augmenting) an electric power system at a minimum cost such that it satisfies the N-k-e survivability criterion. This survivability criterion is a generalization of the well-known N-k criterion, and…

Optimization and Control · Mathematics 2013-05-06 Richard Li-Yang Chen , Amy Cohn , Neng Fan , Ali Pinar

This paper describes a normative system design that incorporates diagnosis, dynamic evolution, decision making, and information gathering. A single influence diagram demonstrates the design's coherence, yet each activity is more effectively…

Artificial Intelligence · Computer Science 2013-03-08 Peter J. Regan

Software development, often perceived as a technical endeavor, is fundamentally a social activity requiring collaboration among team members. Acknowledging this, the software development community has devised strategies to address possible…

Software Engineering · Computer Science 2024-09-04 Mikhail Evtikhiev , Ekaterina Koshchenko , Vladimir Kovalenko

The recent advances in the area of design obfuscation are encouraging, but may present themselves as hard to read for a non-specialist audience. This tutorial uncovers these advances in a clear language, contrasting the approaches that can…

Cryptography and Security · Computer Science 2021-08-26 Samuel Pagliarini

In mechanical design, there is often unavoidable uncertainty in estimates of design performance. Evaluation of design alternatives requires consideration of the impact of this uncertainty. Expert heuristics embody assumptions regarding the…

Artificial Intelligence · Computer Science 2013-03-26 Deborah L. Thurston , Yun Qi Tian

Real-world robotic tasks require complex reward functions. When we define the problem the robot needs to solve, we pretend that a designer specifies this complex reward exactly, and it is set in stone from then on. In practice, however,…

Robotics · Computer Science 2021-11-19 Jerry Zhi-Yang He , Anca D. Dragan
‹ Prev 1 8 9 10 Next ›