نتایج جستجو برای: technical report

تعداد نتایج: 927193  

Journal: :CoRR 2013
Zoltán Ésik Szabolcs Iván

We give a Kleene-type operational characterization of Muller context-free languages (MCFLs) of well-ordered and scattered words.

2010
Alex Shye Benjamin Scholbrock Gokhan Memik Peter A. Dinda

We present a comprehensive analysis of real smartphone usage during a 6-month study, involving 25 users, and one specific smartphone, the Android G1. The goal of our work is to study the high-level characteristics of smartphone usage, and to understand the implications on optimizing smartphones, and their networks. We present 11 findings that cover general usage behavior, interaction with the b...

2012
Borhan M. Sanandaji Michael B. Wakin Tyrone L. Vincent

Recovery of the initial state of a high-dimensional system can require a large number of measurements. In this paper, we explain how this burden can be significantly reduced when randomized measurement operators are employed. Our work builds upon recent results from Compressive Sensing (CS). In particular, we make the connection to CS analysis for random block diagonal matrices. By deriving Con...

2004
Simonas Šaltenis Janne Skyt Giedrius Slivinskas Kristian Torp Kwang W. Nam Keun H. Ryu

The ability to perform meaningful empirical studies is of essence in research in spatio-temporal query processing. Such studies are often necessary to gain detailed insight into the functional and performance characteristics of proposals for new query processing techniques. We present a collection of spatio-temporal data, collected during an intelligent speed adaptation project, termed INFATI, ...

2001
Charles Hillyer

This study is focused on developing software tools for the analysis of fish population size distributions, focusing initially on commercial catfish operations in the southeastern United States but generalizable to other types of operations and locations. Progress has been made in two primary areas: 1) modeling size distributions and their dynamics through time related to biological and manageme...

2002
Xiaoming Liu Kurt Maly Mohammad Zubair Rong Tang Mohammed Imran Padshah George Roncaglia JoAnne Rocker Michael L. Nelson William von Ofenheim Richard Luce Jacqueline Stack Frances Knudson Beth Goldsmith Irma Holtkamp Miriam Blake Jack Carter Mariella Di Giacomo Jerome Nutter Susan Brown Ron Montbrand Sally Landenberger Kathy Pierson Vince Duran Beth Moser

The Technical Report Interchange project is a cooperative experimental effort between NASA Langley Research Center, Los Alamos National Laboratory, Air Force Research Laboratory, Sandia National Laboratory and Old Dominion University to allow for the integration of technical reports. This is accomplished using the Open Archives Initiative Protocol for Metadata Harvesting (OAI-PMH) and having ea...

1999

This report summarizes progress on a project to analyze water quality and hydromechanical data from the channel estuaries of the Gulf of Fonseca in Honduras and to develop suitable water quality models. The overall objective is to perform quantitative computation of the carrying capacity of the estuarine system for a viable shrimp farming industry. The study addresses Estero el Pedregal and Est...

1999
William L. Shelton

Artificial propagation is an important component of chromosome manipulation. Spawning of Nile tilapia (Oreochromis niloticus) was manipulated by photoperiod and temperature control and through hormonal intervention. Four males and ten females produced 86 natural spawns, 41 of which developed to hatching. Artificial propagation resulted in 87 pairings, which were successfully used in 23 tau esti...

2001

Proximate analyses of broodstock and grow-out feeds for gamitana (Colossoma macropomum) and paco (Piaractus brachypomus) and their constituent feedstuffs were conducted. Literature values for specific nutrients known to affect fish reproduction were calculated from published sources for the broodstock diet. Broodstock eggs have not yet been obtained for proximate analysis. However, similar anal...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید