487 research outputs found
Is defining life pointless? Operational definitions at the frontiers of Biology
Despite numerous and increasing attempts to define what life is, there is no consensus on necessary and sufficient conditions for life. Accordingly, some scholars have questioned the value of definitions of life and encouraged scientists and philosophers alike to discard the project. As an alternative to this pessimistic conclusion, we argue that critically rethinking the nature and uses of definitions can provide new insights into the epistemic roles of definitions of life for different research practices. This paper examines the possible contributions of definitions of life in scientific domains where such definitions are used most (e.g., Synthetic Biology, Origins of Life, Alife, and Astrobiology). Rather than as classificatory tools for demarcation of natural kinds, we highlight the pragmatic utility of what we call operational definitions that serve as theoretical and epistemic tools in scientific practice. In particular, we examine contexts where definitions integrate criteria for life into theoretical models that involve or enable observable operations. We show how these definitions of life play important roles in influencing research agendas and evaluating results, and we argue that to discard the project of defining life is neither sufficiently motivated, nor possible without dismissing important theoretical and practical research
A Dynamic Profile Questions Approach to Mitigate Impersonation in Online Examinations
Š The Author(s) 2018 Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.Online examinations are an integral component of many online learning environments, which face many security challenges. Collusion is seen as a major security threat to such examinations, when a student invites a third party to impersonate or abet in a test. This work aims to strengthen the authentication of students via the use of dynamic profile questions. The study reported in this paper involved 31 online participants from five countries over a five-week period. The results of usability and security analysis are reported. The dynamic profile questions were more usable than both the text-based and image-based questions (p < 0.01). An impersonation abuse scenario was simulated using email and mobile phone. The impersonation attack via email was not successful, however, students were able to share answers to dynamic profile questions with a third party impersonator in real time, which resulted in 93% correct answers. The sharing of information via phone took place in real time during an online test and the response time of an impersonator was significantly different (p < 0.01) than a student. The study also revealed that a response time factor may be implemented to identify and report impersonation attacks.Peer reviewe
Programming errors in traversal programs over structured data
Traversal strategies \'a la Stratego (also \'a la Strafunski and 'Scrap Your
Boilerplate') provide an exceptionally versatile and uniform means of querying
and transforming deeply nested and heterogeneously structured data including
terms in functional programming and rewriting, objects in OO programming, and
XML documents in XML programming. However, the resulting traversal programs are
prone to programming errors. We are specifically concerned with errors that go
beyond conservative type errors; examples we examine include divergent
traversals, prematurely terminated traversals, and traversals with dead code.
Based on an inventory of possible programming errors we explore options of
static typing and static analysis so that some categories of errors can be
avoided. This exploration generates suggestions for improvements to strategy
libraries as well as their underlying programming languages. Haskell is used
for illustrations and specifications with sufficient explanations to make the
presentation comprehensible to the non-specialist. The overall ideas are
language-agnostic and they are summarized accordingly
Knowledge politics and new converging technologies: a social epistemological perspective
The ânew converging technologiesâ refers to the prospect of advancing the human condition by the integrated study and application of nanotechnology, biotechnology, information technology and the cognitive sciences - or âNBICâ. In recent years, it has loomed large, albeit with somewhat different emphases, in national science policy agendas throughout the world. This article considers the political and intellectual sources - both historical and contemporary - of the converging technologies agenda. Underlying it is a fluid conception of humanity that is captured by the ethically challenging notion of âenhancing evolutionâ
Addressing some common objections to generalized noncontextuality
When should a given operational phenomenology be deemed to admit of a
classical explanation? When it can be realized in a generalized-noncontextual
ontological model. The case for answering the question in this fashion has been
made in many previous works, and motivates research on the notion of
generalized noncontextuality. Many criticisms and concerns have been raised,
however, regarding the definition of this notion and of the possibility of
testing it experimentally. In this work, we respond to some of the most common
of these objections. One such objection is that the existence of a classical
record of which laboratory procedure was actually performed in each run of an
experiment implies that the operational equivalence relations that are a
necessary ingredient of any proof of the failure of noncontextuality do not
hold, and consequently that conclusions of nonclassicality based on these
equivalences are mistaken. We explain why this concern in unfounded. Our
response affords the opportunity for us to clarify certain facts about
generalized noncontextuality, such as the possibility of having proofs of its
failure based on a consideration of the subsystem structure of composite
systems. Similarly, through our responses to each of the other objections, we
elucidate some under-appreciated facts about the notion of generalized
noncontextuality and experimental tests thereof.Comment: 18 pages, 5 figures. Comments welcome
- âŚ