Avoiding the undefined by underspecification

D Gries, FB Schneider - Computer Science Today, 1995 - Springer
… In this paper, we discuss an aspect of one of these fields that has been explored by computer
scientists, handling undefined terms in formal logic. Logicians are concerned mainly with …

Waste to bioproduct conversion with undefined mixed cultures: the carboxylate platform

MT Agler, BA Wrenn, SH Zinder, LT Angenent - Trends in biotechnology, 2011 - Elsevier
Our societies generate increasing volumes of organic wastes. Considering that we also
need alternatives to oil, an opportunity exists to extract liquid fuels or even industrial solvents …

Undefined by data: a survey of big data definitions

JS Ward, A Barker - arXiv preprint arXiv:1309.5821, 2013 - arxiv.org
The term big data has become ubiquitous. Owing to a shared origin between academia,
industry and the media there is no single unified definition, and various stakeholders provide …

Chronic rejection—an undefined conundrum

NL Tilney, WD Whitley, JR DIAMoND… - …, 1991 - journals.lww.com
Within four decades, transplantation of the kidney, and more recently of other organs, has
become a unique and exciting treatment for patients with end-stage organ failure; indeed, in …

Undefined behavior: what happened to my code?

X Wang, H Chen, A Cheung, Z Jia… - Proceedings of the Asia …, 2012 - dl.acm.org
… This paper investigates whether bugs due to programmers using constructs with undefined
undefined behavior in their code, and to understand performance implications of undefined

[HTML][HTML] Using Valgrind to Detect Undefined Value Errors with Bit-Precision.

J Seward, N Nethercote - USENIX Annual Technical Conference …, 2005 - usenix.org
We present Memcheck, a tool that has been implemented with the dynamic binary instrumentation
framework Valgrind. Memcheck detects a wide range of memory errors in programs …

Towards optimization-safe systems: Analyzing the impact of undefined behavior

X Wang, N Zeldovich, MF Kaashoek… - Proceedings of the …, 2013 - dl.acm.org
This paper studies an emerging class of software bugs called optimization-unstable code:
code that is unexpectedly discarded by compiler optimizations due to undefined behavior in …

Clinical characteristics and genetic analyses of 187 patients with undefined autoinflammatory diseases

NM Ter Haar, C Eijkelboom, L Cantarini… - Annals of the …, 2019 - ard.bmj.com
Objectives To describe the clinical characteristics, treatment response and genetic findings
in a large cohort of patients with undefined systemic autoinflammatory diseases (SAIDs). …

Achieving empirical progress in an undefined field

PA Vanderwerf, CG Brush - Entrepreneurship Theory and …, 1990 - journals.sagepub.com
Investigators’ practice of sampling from different populations has hindered the progress of
empirical entrepreneurship research. Reaching agreement on a narrowed definition of the …

Intelligence defined and undefined: A relativistic appraisal.

D Wechsler - American Psychologist, 1975 - psycnet.apa.org
Discusses various opinions on the nature and meaning of intelligence. It is argued that
intelligence is a multifaceted entity, a product of many factors and subject to innumerable …