Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
47
und Computeralgebra (CDC) Algebraic methods in analyzing lightweight cryptographic symmetric primitives
"... Algebraic methods in analyzing ..."
Adaptive linear filtering compression on realtime sensor networks
- In PerCom
, 2009
"... Abstract—We present a lightweight lossless compression al-gorithm for realtime sensor networks. Our proposed Adaptive Linear Filtering Compression (ALFC) algorithm performs pre-dictive compression, using adaptive linear filtering to predict sample values followed by entropy coding of prediction resi ..."
Abstract
-
Cited by 10 (7 self)
- Add to MetaCart
residuals, encoding a variable number of samples into fixed-length packets. Adaptive prediction eliminates the need to determine prediction coefficients a priori and, more importantly, allows compression to dynamically adjust to a changing source. The algorithm requires only integer arithmetic operations
Vehicular hydrogen storage using lightweight tanks (Regenerative fuel cell systems),”
- DOE Hydrogen Program Annual Review,
, 1999
"... Abstract Lightweight hydrogen storage for vehicles is enabled by adopting and adapting aerospace tankage technology. The weight, volume, and cost are already acceptable and improving. Prototype tankage was demonstrated with 11.3% hydrogen by weight, 1.74 million inch (44.3 km) burst performance fac ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
Abstract Lightweight hydrogen storage for vehicles is enabled by adopting and adapting aerospace tankage technology. The weight, volume, and cost are already acceptable and improving. Prototype tankage was demonstrated with 11.3% hydrogen by weight, 1.74 million inch (44.3 km) burst performance
1Compressive Link Acquisition in Multiuser Communications
"... Abstract—An important receiver operation is to detect the presence specific preamble signals with unknown delays in the presence of scattering, Doppler effects and carrier offsets. This task, referred to as “link acquisition”, is typically a sequential search over the transmitted signal space. Recen ..."
Abstract
- Add to MetaCart
. Recently, many authors have suggested applying sparse recovery algorithms in the context of similar estimation or detection problems. These works typically focus on the benefits of sparse recovery, but not generally on the cost brought by compressive sensing. Thus, our goal is to examine the trade
Advance Access publication on January 20, 2010 doi:10.1093/comjnl/bxp128 Adaptive Linear Filtering Compression on Realtime Sensor Networks
, 2009
"... We present a lightweight lossless compression algorithm for realtime sensor networks. Our proposed adaptive linear filtering compression (ALFC) algorithm performs predictive compression using adaptive linear filtering to predict sample values followed by entropy coding of prediction residuals, encod ..."
Abstract
- Add to MetaCart
, encoding a variable number of samples into fixed-length packets. Adaptive prediction eliminates the need to determine prediction coefficients a priori and, more importantly, allows compression to dynamically adjust to a changing source. The algorithm requires only integer arithmetic operations and thus
RealTime QuadTree Analysis using HistoPyramids
"... Region quadtrees are convenient tools for hierarchical image analysis. Like the related Haar wavelets, they are simple to generate within a fixed calculation time. The clustering at each resolution level requires only local data, yet they deliver intuitive classification results. Although the region ..."
Abstract
-
Cited by 6 (2 self)
- Add to MetaCart
Region quadtrees are convenient tools for hierarchical image analysis. Like the related Haar wavelets, they are simple to generate within a fixed calculation time. The clustering at each resolution level requires only local data, yet they deliver intuitive classification results. Although
Large-scale molecular dynamics simulations of glancing angle deposition
"... While a variety of methods have been developed to carry out atomistic simulations of thinfilm growth at small deposition angles with respect to the substrate normal, due to the complex morphology as well as the existence of multiple scattering of depositing atoms by the growing thin-film, realistic ..."
Abstract
- Add to MetaCart
set in. In addition, for θ = 70 o − 85 o the thinfilm porosity and columnar tilt angles (for fixed azimuthal angle φ) are in reasonable agreement with experiments. We also find that for both random and fixed φ the average strain is initially compressive but becomes tensile after the onset of columnar
No Job Name
"... Abstract Postoperative periprosthetic femoral fractures around the stem of a total hip arthroplasty are increasing in frequency. To obtain optimal results, full appreciation of the clinical evaluation, classification, and modern management principles and techniques is required. Although periprosthe ..."
Abstract
- Add to MetaCart
breadth of orthopaedic surgeons rather than only those familiar with complex revision arthroplasty techniques. Emerging osteosynthesis techniques familiar to most orthopaedic surgeons are increasingly in use and appear to be effective in the management of fractures about the well-fixed femoral stem
and
, 2015
"... Effective support for custom proof automation is essential for large-scale interactive proof develop-ment. However, existing languages for automation via tactics either (a) provide no way to specify the behavior of tactics within the base logic of the accompanying theorem prover, or (b) rely on adva ..."
Abstract
- Add to MetaCart
on advanced type-theoretic machinery that is not easily integrated into established theorem provers. We present Mtac, a lightweight but powerful extension to Coq that supports dependently typed tactic programming. Mtac tactics have access to all the features of ordinary Coq programming, as well as a new set
1Achievable Rate Regions for Two-Way Relay Channel using Nested Lattice Coding
"... Abstract—This paper studies Gaussian Two-Way Relay Chan-nel where two communication nodes exchange messages with each other via a relay. It is assumed that all nodes operate in half duplex mode without any direct link between the communication nodes. A compress-and-forward relaying strategy using ne ..."
Abstract
- Add to MetaCart
Abstract—This paper studies Gaussian Two-Way Relay Chan-nel where two communication nodes exchange messages with each other via a relay. It is assumed that all nodes operate in half duplex mode without any direct link between the communication nodes. A compress-and-forward relaying strategy using
Results 1 - 10
of
47
