Reasoning about discontinuance of information system use

While many studies have explored conditions and consequences of information systems adoption and use, few have focused on the final stages of the information system lifecycle. In this paper, I develop a theoretical and an initial empirical contribution to understanding individuals’ intentions to discontinue the use of an information system. This understanding is important because it yields implications about maintenance, retirement, and users’ switching decisions, which ultimately can affect work performance, system effectiveness, and return on technology investments. In this paper, I offer a new conceptualization of factors determining users’ intentions to discontinue the use of information systems. I then report on a preliminary empirical test of the model using data from a field study of information system users in a promotional planning routine in a large retail organization. Results from the empirical analysis provide first empirical support for the theoretical model. I discuss the work’s implications for theory on information systems continuance and dual-factor logic in information system use. I also provide suggestions for managers dealing with cessation of information systems and broader work routine change in organizations due to information system end-of-life decisions.

Abundance and distribution of the eastern North Pacific Steller sea lion (Eumetopias jubatus) population

The eastern Steller sea lion (Eumetopias jubatus) population comprises animals that breed along the west coast of North America between California and southeastern Alaska. There are currently 13 major rookeries (>50 pups): five in southeastern Alaska, three in British Columbia, two in Oregon, and three in California. Overall abundance has increased at an average annual rate of 3.1% since the 1970s. These increases can largely be attributed to population recovery from predator-control kills and commercial harvests, and abundance is now probably as high as it has been in the last century. The number of rookeries has remained fairly constant (n=11 to 13) over the past 80 years, but there has been a northward shift in distribution of both rookeries and numbers of animals. Based on the number of pups counted in a population-wide survey in 2002, total pup production was estimated to be about 11,000 (82% in southeastern Alaska and British Columbia), representing a total population size as approximately 46,000−58,000 animal

Sequence variation and genetic diversity in the giant panda

About 336-444 bp mitochondrial D-loop region and tRNA gene were sequenced for 40 individuals of the giant panda which were collected from Mabian, Meigu, Yuexi, Baoxing, Pingwu, Qingchuan, Nanping and Baishuijiang, respectively. 9 haplotypes were found in 21 founders. The results showed that the giant panda has low genetic variations, and that there is no notable genetic isolation among geographical populations. The ancestor of the living giant panda population perhaps appeared in the late Pleistocene, and unfortunately, might have suffered bottle-neck attacks. Afterwards, its genetic diversity seemed to recover to same extent.

Rotifera recorded from China, 1893-1997, with remarks on their composition and distribution

A search of the literature on rotifers recorded from China, includes today 477 valid species names and 42 subspecies or infrasubspecific variants in 84 genera and 28 families recorded since 1893. Chinese rotifera research is reviewed, and all recorded species are listed with current taxonomic status and their first localities in China. Most of the named taxa are widely distributed or cosmopolitan, with only a small number (about 3%) possibly restricted to China. This fauna exhibits 15 endemic taxa. The composition and distribution of Chinese Rotifera are briefly analyzed. It is likely that considerably more rotifers remain to be described from China as further study to be carried on and taxonomic resolution improves.

Genetic variation and phylogeographic history of Picea likiangensis revealed by RAPD markers

Repeated cycles of retreat and recolonization during the Quaternary ice ages are thought to have greatly influenced current species distributions and their genetic diversity. It remains unclear how this climatic oscillation has affected the distribution of genetic diversity between populations of wind-pollinated conifers in the Qinghai-Tibetan region. In this study, we investigated the within-species genetic diversity and phylogenetic relationships of Picea likiangensis, a dominant forest species in this region using polymorphic DNA (RAPD) markers. Our results suggest that this species has high overall genetic diversity, with 85.42% of loci being polymorphic and an average expected heterozygosity (H (E)) of 0.239. However, there were relatively low levels of polymorphism at population levels and the differences between populations were not significant, with percentages of polymorphic bands (PPB) ranging from 46.88 to 69.76%, Nei's gene diversity (H (E)) from 0.179 to 0.289 and Shannon's indices (Hpop) from 0.267 to 0.421. In accordance with our proposed hypothesis, a high level of genetic differentiation among populations was detected based on Nei's genetic diversity (G (ST) = 0.256) and AMOVA analysis (Phi (st) = 0.236). Gene flow between populations was found to be limited (Nm = 1.4532) and far lower than reported for other conifer species with wide distribution ranges from other regions. No clusters corresponding to three morphological varieties found in the south, north and west, respectively, were detected in either UPGMA or PCO analyses. Our results suggest that this species may have had different refugia during the glacial stages in the southern region and that the northern variety may have multiple origins from these different refugia.

Meta-Rules: Reasoning About Control

How can we insure that knowledge embedded in a program is applied effectively? Traditionally the answer to this question has been sought in different problem solving paradigms and in different approaches to encoding and indexing knowledge. Each of these is useful with a certain variety of problem, but they all share a common problem: they become ineffective in the face of a sufficiently large knowledge base. How then can we make it possible for a system to continue to function in the face of a very large number of plausibly useful chunks of knowledge? In response to this question we propose a framework for viewing issues of knowledge indexing and retrieval, a framework that includes what appears to be a useful perspective on the concept of a strategy. We view strategies as a means of controlling invocation in situations where traditional selection mechanisms become ineffective. We examine ways to effect such control, and describe meta-rules, a means of specifying strategies which offers a number of advantages. We consider at some length how and when it is useful to reason about control, and explore the advantages meta-rules offer for doing this.

Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code

In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous. Students can focus on a specific collection of constructs that are represented consistently. Examples and counterexamples can be evaluated. Assignments can be assembled and checked with the help of an automated formal reasoning system. However, usability and accessibility do not have a high priority and are not addressed sufficiently well in the design of many existing machine-readable representations and corresponding formal reasoning systems. In earlier work [Lap09], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. We report on our attempt to evaluate our proposed design criteria by deploying within the classroom a lightweight formal verification system designed according to these criteria. The lightweight formal verification system was used within the instruction of a common application of formal reasoning: proving by induction formal propositions about functional code. We present all of the formal reasoning examples and assignments considered during this deployment, most of which are drawn directly from an introductory text on functional programming. We demonstrate how the design of the system improves the effectiveness and understandability of the examples, and how it aids in the instruction of basic formal reasoning techniques. We make brief remarks about the practical and administrative implications of the system’s design from the perspectives of the student, the instructor, and the grader.

Levels and distribution of genetic diversity of coconut (Cocos nucifera L., var. Typica form typica) from Sri Lanka assessed by microsatellite markers

The coconut variety Typica, form typica, commonly known as Sri Lanka tall coconuts is the most widely exploited and grown variety in Sri Lanka. Under the coconut bio-diversity conservation programme, several Typica populations have been collected by island-wide surveys and planted ex situ. Thirty-three coconut populations were subjected to microsatellite assay with eight coconut-specific microsatellite primer pairs in order to study the levels and distribution of genetic variation of the collected materials for formulating future collection strategies and selecting parents for the breeding programme. A total of 56 alleles were detected ranging from 3 to 10 alleles per primer pair with an average of 7 alleles per locus. Overall a very high level of genetic diversity was detected (0.999) for all the populations studied ranging from 0.526 for population Debarayaya to 0.683 for population Dickwella. Only four introduced coconut populations, i.e. Clovis, Margeret, Dickwella, Mirishena and an embryo-cultured population were clearly separated from the resulting dendrogram. A very high level of within population variation (99%) accounted for native populations suggests a common history and a restricted genetic base for native Sri Lankan tall coconuts. Categorization of alleles into different classes according to their frequency and distribution confirmed the results of the dedrogram and concluded the adequacy of single large collection from the entire target area to represent the total genetic diversity in Sri Lanka. This study discusses useful information regarding conservation and breeding of coconut in Sri Lanka.

Young children's reasoning about the order of past events

Four studies are reported that employed an object location task to assess temporal-causal reasoning. In Experiments 1-3, successfully locating the object required a retrospective consideration of the order in which two events had occurred. In Experiment 1, 5- but not 4-year-olds were successful; 4-year-olds also failed to perform at above-chance levels in modified versions of the task in Experiments 2 and 3. However, in Experiment 4, 3-year-olds were successful when they were able to see the object being placed first in one location and then in the other, rather than having to consider retrospectively the sequence in which two events had happened. The results suggest that reasoning about the causal significance of the temporal order of events may not be fully developed before 5 years. (C) 2007 Elsevier Inc. All rights reserved.

Variation and trends in incidence of childhood diabetes in Europe

Background To study the epidemiology of childhood-onset type 1 insulin-dependent diabetes in Europe, the EURODIAB collaborative group established in 1988 prospective geographically-defined registers of new cases diagnosed under 15 years of age. This report is based on 16 362 cases registered during the period 1989-94 by 44 centres representing most European countries and Israel and covering a population of about 28 million children.