Results 231 to 240 of about 19,585 (258)
Some of the next articles are maybe not open access.
Associated code and estimators for a subgrid parameterization for the atmosphere
2020Data and code for simulations using Random Forests as a subgrid parameterization scheme in SAM.
O'Gorman, Paul, Yuval, Janni
openaire +1 more source
Parameterized codes associated to the edges of some subgraphs of a simple graph
Applicable Algebra in Engineering, Communication and Computing, 2015zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Manuel González Sarabia +1 more
openaire +2 more sources
Pion cross section parameterizations for space radiation codes
Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, 2013Abstract The space radiation environment consists of energetic particles that originate from the Sun and from sources outside the solar system. It is necessary to understand how these particles interact with materials to design effective radiation shielding.
Charles M. Werneth +2 more
openaire +1 more source
Parameterized code SHARM-3D for radiative transfer over inhomogeneous surfaces
Applied Optics, 2005The code SHARM-3D, developed for fast and accurate simulations of the monochromatic radiance at the top of the atmosphere over spatially variable surfaces with Lambertian or anisotropic reflectance, is described. The atmosphere is assumed to be laterally uniform across the image and to consist of two layers with aerosols contained in the bottom layer ...
Alexei, Lyapustin, Yujie, Wang
openaire +2 more sources
A GPU/FPGA-Based K-Means Clustering Using a Parameterized Code Generator
2018 Symposium on High Performance Computing Systems (WSCAD), 2018The K-means algorithm is a method used for the unsupervised learning task of data clustering. This work presents a K-means specific domain code generator capable of generating code for GPUs and FPGAs. To increase efficiency, the code is parameterized and specialized for Nvidia GPUs and Intel/Altera CPU-FPGA HARP v.2 platform. Furthermore, the generator
Jeronimo Costa Penha +7 more
openaire +1 more source
Dynamically parameterized architectures for power-aware video coding: motion estimation and DCT
Proceedings Second International Workshop on Digital and Computational Video, 2002Power-aware video coding requires a combination of high-performance and flexibility to satisfy perceptual quality requirements and meet low-power constraints. This work explores the use of dynamically configurable algorithms and architectures which leverage two fundamental properties of video processing: 1.
Wayne P. Burleson +2 more
openaire +2 more sources
Rapid Annotation of Non-coding RNA Structures with a Parameterized Filtering Approach
2015An important problem in structural bioinformatics is to search genomes for RNA sequences with known secondary structures. Most of the existing approaches use sequence-structure alignment to evaluate the probability for a sequence segment to be a member of the searched RNA family.
Yinglei Song, Junfeng Qu, Chunmei Liu
openaire +1 more source
A Novel Frequency Modulated Waveform With a Parameterized Coding Structure
IGARSS 2023 - 2023 IEEE International Geoscience and Remote Sensing Symposium, 2023Xifeng Zhang +4 more
openaire +1 more source
Compact binary : an efficient non-parameterized code for index compression
2003Δημοσιεύσεις μελών--ΣΔΟ--Τμήμα Βιβλιοθηκονομίας και Συστημάτων Πληροφόρησης ...
Dervos, Dimitrios +2 more
openaire +1 more source
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, 2001
We consider the problem of Uniform Algorithmic Verification of Parameterized Systems, which requires establishing in a single verification effort the correctness of a parameterized family of systems for any value of the parameter. As has been observed by several researchers, using regular expressions or equivalent formalisms (e.g.
openaire +1 more source
We consider the problem of Uniform Algorithmic Verification of Parameterized Systems, which requires establishing in a single verification effort the correctness of a parameterized family of systems for any value of the parameter. As has been observed by several researchers, using regular expressions or equivalent formalisms (e.g.
openaire +1 more source