Optimization Of Gene Prediction Via More Accurate Phylogenetic Substitution Models,
2011
Washington University in St Louis
Optimization Of Gene Prediction Via More Accurate Phylogenetic Substitution Models, Ezekiel Maier, Randall H. Brown, Michael R. Brent
All Computer Science and Engineering Research
Determining the beginning and end positions of each exon in each protein coding gene within a genome can be difficult because the DNA patterns that signal a gene’s presence have multiple weakly related alternate forms and the DNA fragments that comprise a gene are generally small in comparison to the size of the genome. In response to this challenge, automated gene predictors were created to generate putative gene structures. N SCAN identifies gene structures in a target DNA sequence and can use conservation patterns learned from alignments between a target and one or more informant DNA sequences. N SCAN uses …
End-To-End Communication Delay Analysis In Wirelesshart Networks,
2011
Washington University in St Louis
End-To-End Communication Delay Analysis In Wirelesshart Networks, Abusayeed Saifullah, You Xu, Chenyang Lu, Yixin Chen
All Computer Science and Engineering Research
WirelessHART is a new standard specifically designed for real-time and reliable communication between sensor and actuator devices for industrial process monitoring and control applications. End-to-end communication delay analysis for WirelessHART networks is required to determine the schedulability of real-time data flows from sensors to actuators for the purpose of acceptance test or workload adjustment in response to network dynamics. In this paper, we map the scheduling of real-time periodic data flows in a WirelessHART network to real-time multiprocessor scheduling. We then exploit the response time analysis for multiprocessor scheduling and propose a novel method for the delay analysis that establishes …
A Survey On Communication Networks In Emergency Warning Systems,
2011
Washington University in St Louis
A Survey On Communication Networks In Emergency Warning Systems, Yan Li
All Computer Science and Engineering Research
No abstract provided.
Near Optimal Rate Selection For Wireless Control Systems,
2011
Washington University in St Louis
Near Optimal Rate Selection For Wireless Control Systems, Abusayeed Saifullah, Chengjie Wu, Paras Babu Tiwari, You Xu, Yong Fu, Chenyang Lu, Yixin Chen
All Computer Science and Engineering Research
With the advent of industrial standards such as WirelessHART, process industries are now gravitating towards wireless control systems. Due to limited bandwidth in a wireless network shared by multiple control loops, it is critical to optimize the overall control performance. In this paper, we address the scheduling-control co-design problem of determining the optimal sampling rates of feedback control loops sharing a WirelessHART network. The objective is to minimize the overall control cost while ensuring that all data flows meet their end-to-end deadlines. The resulting constrained optimization based on existing delay bounds for WirelessHART networks is challenging since it is non-differentiable, …
Webcam Image Alignment,
2011
Washington University in St Louis
Webcam Image Alignment, Matthew Klein
All Computer Science and Engineering Research
No abstract provided.
Efficient Deadlock Avoidance For Streaming Computation With Filtering,
2011
Computer Sciences
Efficient Deadlock Avoidance For Streaming Computation With Filtering, Jeremy Buhler, Kunal Agrawal, Peng Li, Roger D. Chamberlain
All Computer Science and Engineering Research
In this report, we show that deadlock avoidance for streaming computations with filtering can be performed efficiently for a large class of DAG topologies. We first give efficient algorithms for dummy interval computation in series-parallel DAGs, then generalize our results to a larger graph family, the CS4DAGs, in which every undirected cycle has exactly one source and one sink. Our results show that, for a large set of application topologies that are both intuitively useful and formalizable, the streaming model with filtering can be implemented safely with reasonable compilation overhead.
Mercury Blastn Biosequence Similarity Search System: Technical Reference Guide,
2011
Washington University in St Louis
Mercury Blastn Biosequence Similarity Search System: Technical Reference Guide, Jeremy Buhler
All Computer Science and Engineering Research
This guide documents the operation of the Mercury BLASTN system for hardware-accelerated DNA similarity search. It includes detailed information on the syntax and limitations of the system's component commands, as well as a description of the system's hardware platform suitable for administrators who need to maintain a Mercury BLASTN system. Mercury BLASTN is a product of the High Performance COmputational Biology Group at Washington University.
Distributed Channel Allocation Algorithms For Wireless Sensor Networks,
2011
Washington University in St Louis
Distributed Channel Allocation Algorithms For Wireless Sensor Networks, Abusayeed Saifullah, You Xu, Chenyang Lu, Yixin Chen
All Computer Science and Engineering Research
Interference between concurrent transmissions can cause severe performance degradation in wireless sensor networks (WSNs). While multiple channels available in WSN technology such as IEEE 802.15.4 can be exploited to mitigate interference, channel allocation can have a significant impact on the performance of multi-channel communication. This paper proposes a set of distributed algorithms for near-optimal channel allocation in WSNs with theoretical bounds. We first consider the problem of minimizing the number of channels needed to remove interference in a WSN, and propose both receiver-based and link-based distributed channel allocation protocols. For WSNs with an insufficient number of channels, we formulate a …
Real Time Baseball Augmented Reality,
2011
Washington University in St Louis
Real Time Baseball Augmented Reality, Adam Kraft
All Computer Science and Engineering Research
As computer hardware becomes increasingly powerful, there is an ongoing trend towards integrating complex, legacy real-time systems using fewer hosts through virtualization. Especially in embedded systems domains such as avionics and automotive engineerin
Implementation And Evaluation Of Mixed-Criticality Scheduling Approaches For Periodic Tasks,
2011
Washington University in St Louis
Implementation And Evaluation Of Mixed-Criticality Scheduling Approaches For Periodic Tasks, Huang-Ming Huang, Christopher Gill, Chenyang Lu
All Computer Science and Engineering Research
Traditional fixed-priority scheduling analysis for periodic task sets is based on the assumption that all tasks are equally critical to the correct operation of the system. Therefore, every task has to be schedulable under the scheduling policy, and estimates of tasks’ worst case execution times must be conservative in case a task runs longer than is usual. To address the significant under-utilization of a system’s resources under normal operating conditions that can arise from these assumptions, three main approaches have been proposed: priority assignment, period transformation, and zero-slack scheduling. However, to date there has been no quantitative comparison of system …
2-Edge-Connectivity And 2-Vertex-Connectivity With Fault Containment,
2011
Washington University in St Louis
2-Edge-Connectivity And 2-Vertex-Connectivity With Fault Containment, Abusayeed Saifullah
All Computer Science and Engineering Research
Self-stabilization for non-masking fault-tolerant distributed system has received considerable research interest over the last decade. In this paper, we propose a self-stabilizing algorithm for 2-edge-connectivity and 2-vertex-connectivity of an asynchronous distributed computer network. It is based on a self-stabilizing depth-first search, and is not a composite algorithm in the sense that it is not composed of a number of self-stabilizing algorithms that run concurrently. The time and space complexities of the algorithm are the same as those of the underlying self-stabilizing depth-first search algorithm.
Generating Muscle Driven Arm Movements Using Reinforcement Learning,
2011
Washington University in St Louis
Generating Muscle Driven Arm Movements Using Reinforcement Learning, Alex S. Broad
All Computer Science and Engineering Research
This project focuses on using Reinforcement Learning to optimize arm dynamics through muscle control for desired trajectories. The goal of this project was to create a tool that can be used to gain a better understanding of the arm’s muscles and collect information that is useful in many other disciplines such as biomechanics, anthropology, medicine and robotics. I developed biologically realistic models of primate arm's using Stanford’s SimTK software, an open-source tool for modeling musculoskeletal structures. I then made use of Differential Dynamic Programming in order to generate novel movements from first principles and optimize motion over a specified trajectory. …
Software And Hardware Techniques To Aid In Automating And Troubleshooting Hybrid Systems That Fabricate Three-Dimensional Electronics,
2011
University of Texas at El Paso
Software And Hardware Techniques To Aid In Automating And Troubleshooting Hybrid Systems That Fabricate Three-Dimensional Electronics, Mohammed Alawneh
Open Access Theses & Dissertations
Various issues in automating the fabrication of three dimensional electronics were addressed in this thesis. The three dimensional electronics were fabricated by a stereolithoraphy and direct print hybrid system. Hardware and software limitations were discussed and possible solutions were implemented. Various automation software tools were developed, specifically a computer aided design to printed electronics conversion software compatible with various stages.
Semi-Automatic Management Of Knowledge Bases Using Formal Ontologies,
2011
Department of Computing, Cork Institute of Technology, Cork, Ireland.
Semi-Automatic Management Of Knowledge Bases Using Formal Ontologies, Andreas Textor
Theses
This thesis presents an approach that deals with the ever-growing amount of data in knowledge bases, especially concerning knowledge interoperability and formal representation of domain knowledge. There arc multiple issues that must be addressed with current systems. A multitude of different formats, sources and tools exist in a domain, and it is desirable to develop their use further towards a standardised environment. Such an environment should support both the representation and processing of data from this domain, and the connection to other domains, where necessary. In order to manage large amounts of data, it should be possible to perform whatever …
Survey On Cloud Forensics And Critical Criteria For Cloud Forensic Capability: A Preliminary Analysis,
2011
University College Dublin
Survey On Cloud Forensics And Critical Criteria For Cloud Forensic Capability: A Preliminary Analysis, Keyun Ruan, Ibrahim Baggili, Joe Carthy, Tahar Kechadi
Electrical & Computer Engineering and Computer Science Faculty Publications
In this paper we present the current results and analysis of the survey “Cloud forensics and critical criteria for cloud forensic capability” carried out towards digital forensic experts and practitioners. This survey was created in order to gain a better understanding on some of the key questions of the new field - cloud forensics - before further research and development. We aim to understand concepts such as its definition, the most challenging issues, most valuable research directions, and the critical criteria for cloud forensic capability.
Cat Detect (Computer Activity Timeline Detection): A Tool For Detecting Inconsistency In Computer Activity Timelines,
2011
Zayed University
Cat Detect (Computer Activity Timeline Detection): A Tool For Detecting Inconsistency In Computer Activity Timelines, Andrew Marrington, Ibrahim Baggili, George Mohay, Andrew Clark
Electrical & Computer Engineering and Computer Science Faculty Publications
The construction of timelines of computer activity is a part of many digital investigations. These timelines of events are composed of traces of historical activity drawn from system logs and potentially from evidence of events found in the computer file system. A potential problem with the use of such information is that some of it may be inconsistent and contradictory thus compromising its value. This work introduces a software tool (CAT Detect) for the detection of inconsistency within timelines of computer activity. We examine the impact of deliberate tampering through experiments conducted with our prototype software tool. Based on the …
Technology Management Trends In Law Schools,
2011
University of Georgia School of Law Library
Technology Management Trends In Law Schools, Carol A. Watson, Larry Reeves
Articles, Chapters and Online Publications
Discusses the role of librarians in law school technology management and analyzes technology staffing survey results for 2002, 2006, and 2010. While survey results indicate a trend toward establishing separate information technology departments within law schools, librarians are and will continue to be actively involved in law school technology.
Towards Nominal Formal Languages,
2011
Chapman University
Towards Nominal Formal Languages, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
Engineering Faculty Articles and Research
We introduce formal languages over infinite alphabets where words may contain binders.We define the notions of nominal language, nominal monoid, and nominal regular expressions. Moreover, we extend history-dependent automata (HD-automata) by adding stack, and study the recognisability of nominal languages.
Generic Trace Logics,
2011
University of Leicester
Generic Trace Logics, Christian Kissig, Alexander Kurz
Engineering Faculty Articles and Research
We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.
Investigations Into Library Web Scale Discovery Services,
2011
University of Nevada, Las Vegas
Investigations Into Library Web Scale Discovery Services, Jason Vaughan
Library Faculty Research
Web scale discovery services for libraries provide deep discovery to a library’s local and licensed content, and represent an evolution, perhaps a revolution, for end user information discovery as pertains to library collections. This article frames the topic of Web scale discovery, and begins by illuminating Web scale discovery from an academic library’s perspective – that is, the internal perspective seeking widespread staff participation in the discovery conversation. This included the creation of a Discovery Task Force, a group which educated library staff, conducted internal staff surveys, and gathered observations from early adopters. The article next addresses the substantial research …
