• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 47
Next 10 →

und Computeralgebra (CDC) Algebraic methods in analyzing lightweight cryptographic symmetric primitives

by Theoretische Informatik Kryptographie, Michael Walter, Prof Johannes, A. Buchmann, Dr. Stanislav Bulygin, Tag Der Einreichung Acknowledgement, Dr. Stanislav Bulygin, Prof Johannes Buchmann
"... Algebraic methods in analyzing ..."
Abstract - Add to MetaCart
Algebraic methods in analyzing

Adaptive linear filtering compression on realtime sensor networks

by Aaron B. Kiely, Mingsen Xu, Wen-zhan Song, Renjie Huang, Behrooz Shirazi - 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),”

by Fred Mitlitsky , Andrew H Weisberg , Blake Myers - 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

by Xiao Li, Andrea Rueetschi, Anna Scaglione, Yonina C. Eldar
"... 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

by Aaron Kiely, Mingsen Xu, Wen-zhan Song, Renjie Huang, Behrooz Shirazi , 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

by Gernot Ziegler , Rouslan Dimitrov , Christian Theobalt , Hans-peter Seidel
"... 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

by Bradley C Hubartt , Xuejing Liu , Jacques G Amar
"... 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

by MD Jeffrey Pike , MD, MHSc Darin Davidson , MD, MHSc Donald Garbuz , MD, MSc, FRCSC Clive P Duncan , MD, FRCSC Peter J O'brien , MD, FRCSC Bassam A Masri , Dr Masri
"... 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

by Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski , 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

by Sinda Smirani, Mohamed Kamoun, Mireille Sarkiss, Abdellatif Zaidi, Pierre Duhamel
"... 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
Next 10 →
Results 1 - 10 of 47
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University