371 research outputs found
Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms
We introduce a new programming language for expressing reversibility,
Energy-Efficient Language (Eel), geared toward algorithm design and
implementation. Eel is the first language to take advantage of a partially
reversible computation model, where programs can be composed of both reversible
and irreversible operations. In this model, irreversible operations cost energy
for every bit of information created or destroyed. To handle programs of
varying degrees of reversibility, Eel supports a log stack to automatically
trade energy costs for space costs, and introduces many powerful control logic
operators including protected conditional, general conditional, protected
loops, and general loops. In this paper, we present the design and compiler for
the three language levels of Eel along with an interpreter to simulate and
annotate incurred energy costs of a program.Comment: 17 pages, 0 additional figures, pre-print to be published in The 8th
Conference on Reversible Computing (RC2016
Energy-Efficient Algorithms
We initiate the systematic study of the energy complexity of algorithms (in
addition to time and space complexity) based on Landauer's Principle in
physics, which gives a lower bound on the amount of energy a system must
dissipate if it destroys information. We propose energy-aware variations of
three standard models of computation: circuit RAM, word RAM, and
transdichotomous RAM. On top of these models, we build familiar high-level
primitives such as control logic, memory allocation, and garbage collection
with zero energy complexity and only constant-factor overheads in space and
time complexity, enabling simple expression of energy-efficient algorithms. We
analyze several classic algorithms in our models and develop low-energy
variations: comparison sort, insertion sort, counting sort, breadth-first
search, Bellman-Ford, Floyd-Warshall, matrix all-pairs shortest paths, AVL
trees, binary heaps, and dynamic arrays. We explore the time/space/energy
trade-off and develop several general techniques for analyzing algorithms and
reducing their energy complexity. These results lay a theoretical foundation
for a new field of semi-reversible computing and provide a new framework for
the investigation of algorithms.Comment: 40 pages, 8 pdf figures, full version of work published in ITCS 201
Recommended from our members
Motivating doctors into leadership and management: a cross-sectional survey
Purpose:
Calls for doctors to enter management are louder as the benefits of medical leadership become clearer. But supply is not meeting demand. This study asks doctors: what might encourage you to go into leadership, and what do you see as the disincentives? The same was asked about leadership training. First, the paper attempts to understand doctors’ motivation to lead, specifically, to explore the job characteristics that might act as incentives and disincentives. Second, the study points to organisational obstacles that further shrink the medical leadership pipeline.
Method:
Doctors were surveyed through the Organization of Danish Medical Societies. Our key variables included: 1) willingness to take on a management or leadership position; 2) the incentives to go into leadership or management; 3) disincentives to do so; and 4) incentives for participating in leadership training. Our sample includes 3534 doctors (17% response rate).
Findings:
Nearly 70% of doctors said that they would consider leadership or management positions. Overwhelmingly, the main incentive reported was to have a positive impact. Doctors are put off by fears of extra administration, longer hours, burnout, lack of resources, and by organisational cultures resistant to change. But they are fully aware of their need for leadership training.
Practical implications:
Health systems should adapt to reflect the motivations of their potential medical leaders, especially the best talent, who may not be the first to apply for management positions. It is also essential they offer leadership training. These findings, that aid succession planning, are especially important as more is known about the influence of medical leaders on organisational outcomes, and at a time of high reported stress, burnout, and staff recruitment and retention challenges
The effects of user characteristics on query performance in the presence of information request ambiguity
This paper investigates the effects of personality characteristics on individuals' abilities to compose queries from information requests containing various types of ambiguity. In particular, this research examines the effects of user personality characteristics on query performance in the presence of information requests that contained no extraneous, syntactic, or both extraneous and syntactic ambiguities. The results indicate that personality characteristics significantly affect users' abilities to compose accurate queries. Neuroticism, agreeableness, openness to experience, and conscientiousness significantly affected the number of errors made in the query formulations. Conscientiousness affected the length of time taken to compose the queries and neuroticism affected the confidence users had in the accuracy of their queries. Although several personality dimensions affected query performance, no significant interactions between personality dimensions and ambiguity were detected. Furthermore, both query complexity and information request ambiguity exhibited greater impacts on query performance than personality characteristics. Hence, organizations should attempt to train users to deal with query complexity and information request ambiguity before modifying their training programs for personality characteristics
The yeast P5 type ATPase, Spf1, regulates manganese transport into the endoplasmic reticulum
The endoplasmic reticulum (ER) is a large, multifunctional and essential organelle. Despite intense research, the function of more than a third of ER proteins remains unknown even in the well-studied model organism Saccharomyces cerevisiae. One such protein is Spf1, which is a highly conserved, ER localized, putative P-type ATPase. Deletion of SPF1 causes a wide variety of phenotypes including severe ER stress suggesting that this protein is essential for the normal function of the ER. The closest homologue of Spf1 is the vacuolar P-type ATPase Ypk9 that influences Mn2+ homeostasis. However in vitro reconstitution assays with Spf1 have not yielded insight into its transport specificity. Here we took an in vivo approach to detect the direct and indirect effects of deleting SPF1. We found a specific reduction in the luminal concentration of Mn2+ in ∆spf1 cells and an increase following it’s overexpression. In agreement with the observed loss of luminal Mn2+ we could observe concurrent reduction in many Mn2+-related process in the ER lumen. Conversely, cytosolic Mn2+-dependent processes were increased. Together, these data support a role for Spf1p in Mn2+ transport in the cell. We also demonstrate that the human sequence homologue, ATP13A1, is a functionally conserved orthologue. Since ATP13A1 is highly expressed in developing neuronal tissues and in the brain, this should help in the study of Mn2+-dependent neurological disorders
Experimentally verifying molecular dynamics simulations through fluorescence anisotropy measurements
Protocols for calibrating multibeam sonar
Author Posting. © Acoustical Society of America, 2005. This article is posted here by permission of Acoustical Society of America for personal use, not for redistribution. The definitive version was published in Journal of the Acoustical Society of America 117 (2005): 2013-2027, doi:10.1121/1.1869073.Development of protocols for calibrating multibeam sonar by means of the standard-target method is documented. Particular systems used in the development work included three that provide the water-column signals, namely the SIMRAD SM2000/90- and 200-kHz sonars and RESON SeaBat 8101 sonar, with operating frequency of 240 kHz. Two facilities were instrumented specifically for the work: a sea well at the Woods Hole Oceanographic Institution and a large, indoor freshwater tank at the University of New Hampshire. Methods for measuring the transfer characteristics of each sonar, with transducers attached, are described and illustrated with measurement results. The principal results, however, are the protocols themselves. These are elaborated for positioning the target, choosing the receiver gain function, quantifying the system stability, mapping the directionality in the plane of the receiving array and in the plane normal to the central axis, measuring the directionality of individual beams, and measuring the nearfield response. General preparations for calibrating multibeam sonars and a method for measuring the receiver response electronically are outlined. Advantages of multibeam sonar calibration and outstanding problems, such as that of validation of the performance of multibeam sonars as configured for use, are mentioned.Support by the National Science Foundation through Award
No. OCE-0002664, NOAA through Grant No.
NA97OG0241, and the Cooperative Institute for Climate and
Ocean Research (CICOR) through NOAA Contract No.
NA17RJ1223 is acknowledged
The Gene Ontology knowledgebase in 2023
The Gene Ontology (GO) knowledgebase (http://geneontology.org) is a comprehensive resource concerning the functions of genes and gene products (proteins and noncoding RNAs). GO annotations cover genes from organisms across the tree of life as well as viruses, though most gene function knowledge currently derives from experiments carried out in a relatively small number of model organisms. Here, we provide an updated overview of the GO knowledgebase, as well as the efforts of the broad, international consortium of scientists that develops, maintains, and updates the GO knowledgebase. The GO knowledgebase consists of three components: (1) the GO-a computational knowledge structure describing the functional characteristics of genes; (2) GO annotations-evidence-supported statements asserting that a specific gene product has a particular functional characteristic; and (3) GO Causal Activity Models (GO-CAMs)-mechanistic models of molecular "pathways" (GO biological processes) created by linking multiple GO annotations using defined relations. Each of these components is continually expanded, revised, and updated in response to newly published discoveries and receives extensive QA checks, reviews, and user feedback. For each of these components, we provide a description of the current contents, recent developments to keep the knowledgebase up to date with new discoveries, and guidance on how users can best make use of the data that we provide. We conclude with future directions for the project
- …