Results 11 to 20 of about 14,799,241 (221)
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code
, 2012 In recent projects on operating-system verification, C and C++ data types are often formalized using a semantics that does not fully specify the precise byte encoding of objects.
Tews, Hendrik +2 more
core +2 more sources
Instantaneous identification of Bouc-Wen-type hysteretic systems from seismic response data [PDF]
, 2007 This paper presents a technique for identification of non-linear hysteretic systems subjected to non-stationary loading. In the numerical simulations, a Bouc-Wen model was chosen for its ability to represent the properties of a wide class of real ...
Ceravolo, Rosario +2 more
core +5 more sources
AlgaTerra Information System: Types data and data types [PDF]
Proceedings of the 1st Central European Diatom Meeting 2007, 2007 AlgaTerra is an information system for micro algal biodiversity (Jahn & Kusber 2007) which has been online since 2004. The database is a concept based implementation of the Berlin Model, developed at the BGBM, Berlin. The basic data have been researched within a joint project of five German research groups between 2001 and 2005 (R.
Wolf-Henning Kusber +2 more
openaire +2 more sources
Improving Automatic Content Type Identification from a Data Set [PDF]
, 2017 Data file layout inference refers to building the structure and determining the metadata of a text file. The text files dealt within this research are personal information records that have a consistent structure. Traditionally, if the layout structure
Dai, Kathy T
core +2 more sources
MissForest - nonparametric missing value imputation for mixed-type data
, 2011 Modern data acquisition based on high-throughput technology is often facing the problem of missing data. Algorithms commonly used in the analysis of such large-scale data often depend on a complete set.
D. J. Stekhoven +11 more
core +1 more source
A Type Language for Calendars [PDF]
, 2005 Time and calendars play an important role in databases, on the Semantic Web, as well as in mobile computing. Temporal data and calendars require (specific) modeling and processing tools.
Bry, François +2 more
core +2 more sources
Network topology drives population temporal variability in experimental habitat networks
Population Ecology, EarlyView.Habitat patches connected by dispersal pathways form habitat networks. We explored how network topology affects population outcomes in laboratory experiments using a model species (Daphnia carinata). Central habitat nodes in complex lattice networks exhibited lower temporal variability in population sizes, suggesting they support more stable ...
Yiwen Xu +3 more
wiley +1 more source
An inverse problem of Calderon type with partial data [PDF]
, 2011 A generalized variant of the Calder\'on problem from electrical impedance tomography with partial data for anisotropic Lipschitz conductivities is considered in an arbitrary space dimension $n \geq 2$.
Behrndt, Jussi, Rohleder, Jonathan
core
WFPC2 Images of the Central Regions of Early-Type Galaxies - I. The Data [PDF]
, 2001 We present high resolution R-band images of the central regions of 67 early-type galaxies obtained with the Wide Field and Planetary Camera 2 (WFPC2) aboard the Hubble Space Telescope (HST).
Armin Rest +17 more
core +2 more sources
Geographic variation in walking activity in the red flour beetle Tribolium castaneum
Population Ecology, EarlyView.This study examined whether there is geographic variation in field populations, focusing on the moving activity in the red flour beetle Tribolium castaneum. Results showed significant differences in moving activity among field populations but no correlation with latitude or meteorological factors.
Kentarou Matsumura
wiley +1 more source