Performance effects of innovative IT applications over time

There is evidence to indicate that the effects of new product and service innovations change over time as a result of learning and competition. However, there have not been any studies of the effects of learning and competition on the impacts of innovative information technology (IT) applications. This paper presents the results of an extensive study of the effects of very early investments in automated teller machines (ATMs) by banks, on market share and overall bank performance. The study spans the period from 1971 to 1984 and includes 2534 banks from across the United States. The results indicate that the impacts of early ATM investments can best be described by exponential and logistic models, indicating that the benefits were very small at first, but increased rapidly after a few years. In addition, the benefits obtained by the earliest adopters were larger than those obtained by the banks that adopted later. These results have important implications for IT investment decisions. The results also suggest that cross-sectional studies, conducted soon after an application is installed, may fail to find benefits even if large benefits are obtained     

Mapping of Trellises Associated with General Encoders onto High-Performance VLSI Architectures

A rate 1/n binary generic convolutional encoder is a shift-register circuit where the inputs are information bits and the outputs are blocks of n bits generated as linear combinations on the appropriate shift register contents. The decoding of the outputs of a convolutional encoder can be carried out by the well-known Viterbi algorithm. The communication pattern of the Viterbi Algorithm is given as a graph, called trellis, associated to the state diagram of the corresponding encoder. In this paper we present a methodology that permits the efficient mapping of the Viterbi algorithm onto a column of an arbitrary number of processors. This is done through the representation of the data flow by using mathematical operators which present an inmediate hardware projection. A single operator string has been obtained to represent a generic encoder through the study of the data flow of free-forward encoders and feed-back encoders. The formal model developed is employed for the partitioning of the computations among an arbitrary number of processors in such a way that the data are recirculated opimizing the use of the processors and the communications. As a result, we obtain a highly regular and modular architecture suitable for VLSI implementation.     

Using simulation‐based experiments for software requirements engineering

We describe the use of simulation‐based experiments to assess the computer support needs of automation supervisors in the United States Postal Service (USPS). Because of the high cost of the proposed system, the inability of supervisors to articulate their computer support needs, and the infeasibility of direct experimentation in the actual work environment, we used a simulation to study end‐user decision making, and to experiment with alternative computer support capabilities. In Phase One we investigated differences between expert and novice information search and decision strategies in the existing work environment. In Phase Two, we tested the impact of computer support features on performance. The empirical results of the two experiments showed how to differentially support experts and novices, and the effectiveness of proposed information systems before they were built. The paper concludes by examining the implications of the project for the software requirements engineering community.     

The minimum dosage of praziquantel in the treatment of Taenia saginata, 1986-1993

Patients who have a unicornuate uterus with a noncommunicating rudimentary horn that contains an endometrial cavity are at risk for endometriosis and obstetric complications. As in this case, resection of the rudimentary horn can be performed laparoscopically without increased risk to the patient and with some potential benefit.     

Blocage par injection de modes sous- harmoniques d’un oscillateur utilisant une ligne à retard à ondes de surface

A nonlinear regeneration pulsed oscillator driven by a monochromatic source has been built. Subharmonics of the resonance carrier/modulation are measured with an accuracy of 10^-10 thanks to the use of a double beats measurement set-up. The multiscale analysis of frequency readings reveals a rich fine structure which is in agreement with the nonlinear topological approach of synchronized states.     

Differential acetylcholine and GABA release from cultured chick retina cells

In the present work we investigated the mechanisms controlling the release of acetylcholine (ACh) and of gamma-aminobutyric acid (GABA) from cultures of amacrine-like neurons, containing a subpopulation of cells which are simultaneously GABAergic and cholinergic. We found that 81.2 +/- 2.8% of the cells present in the culture were stained immunocytochemically with an antibody against choline acetyltransferase, and 38.5 +/- 4.8% of the cells were stained with an antibody against GABA. Most of the cells containing GABA (87.0 +/- 2.9%) were cholinergic. The release of acetylcholine and GABA was mostly Ca2+-dependent, although a significant release of [3H]GABA occurred by reversal of its transporter. Potassium evoked the Ca2+-dependent release of [3H]GABA and [3H]acetylcholine, with EC50 of 31.0 +/- 1.0 mm and 21.6 +/- 1.1 mm, respectively. The Ca2+-dependent release of [3H]acetylcholine was significantly inhibited by 1 micrometer tetrodotoxin and by low (30 nm) omega-conotoxin GVIA (omega-CgTx GVIA) concentrations, or by high (300 nm) nitrendipine (Nit) concentrations. On the contrary, the release of [14C]GABA was reduced by 30 nm nitrendipine, or by 500 nm omega-CgTx GVIA, but not by this toxin at 30 nm. The release of either transmitters was unaffected by 200 nm omega-Agatoxin IVA (omega-Aga IVA), a toxin that blocks P/Q-type voltage-sensitive Ca2+ channels (VSCC). The results show that Ca2+-influx through omega-CgTx GVIA-sensitive N-type VSCC and through Nit-sensitive L-type VSCC induce the release of ACh and GABA. However, the significant differences observed regarding the Ca2+ channels involved in the release of each neurotransmitter suggest that in amacrine-like neurons containing simultaneously GABA and acetylcholine the two neurotransmitters may be released in distinct regions of the cells, endowed with different populations of VSCC.     

Automatic verification of concurrent stochastic systems

Formal Methods in System Design - Automated verification techniques for stochastic games allow formal reasoning about systems that feature competitive or collaborative behaviour among rational...     

Does maintainability relate to the energy consumption of software? A case study

Software Quality Journal - Energy consumption of software has been becoming increasingly significant, since it can vary according to how the software has been developed. In recent years, developers...