Search results: Found 6

Listing 1 - 6 of 6
Sort by
Specification Languages for Preserving Consistency between Models of Different Languages

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783731507840 Year: Volume: 24 Pages: XX, 440 p. DOI: 10.5445/KSP/1000081446 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching and diffing problems. Three new languages that follow this preservation approach are presented.

Benchmarking Eventually Consistent Distributed Storage Systems

Author:
ISBN: 9783731501862 Year: Pages: VIII, 183 p. DOI: 10.5445/KSP/1000039389 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Business and Management
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

Cloud storage services and NoSQL systems typically offer only ""Eventual Consistency"", a rather weak guarantee covering a broad range of potential data consistency behavior. The degree of actual (in-)consistency, however, is unknown. This work presents novel solutions for determining the degree of (in-)consistency via simulation and benchmarking, as well as the necessary means to resolve inconsistencies leveraging this information.

Color Image Processing

Author:
ISBN: 9783038429579 9783038429586 Year: Pages: X, 228 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: General and Civil Engineering
Added to DOAB on : 2018-05-22 12:58:28
License:

Loading...
Export citation

Choose an application

Abstract

What we call the "color" of an object is the result of a very complicated and not yet fully understood mechanism that involves the interaction between the light reflected by the object surface and the eyes, and the subsequent analysis of the retinal signal by the brain. For these reasons, research into color is intrinsically multidisciplinary and can be conducted from many points of view. The contributions presented in this book reflect this spirit, ranging from rigorous mathematical models of color geometry, to the psychophysical discussion of chromatic visual illusion, passing through state-of-the-art computational models in color enhancement. The idea behind this book is to give the reader an idea of the richness and variety of the research into color, proving it to be one of the most fascinating interdisciplinary research fields in contemporary science.

New Developments in Statistical Information Theory Based on Entropy and Divergence Measures

Author:
ISBN: 9783038979364 / 9783038979371 Year: Pages: 344 DOI: 10.3390/books978-3-03897-937-1 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Social Sciences --- Sociology --- Statistics
Added to DOAB on : 2019-06-26 08:44:06
License:

Loading...
Export citation

Choose an application

Abstract

This book presents new and original research in Statistical Information Theory, based on minimum divergence estimators and test statistics, from a theoretical and applied point of view, for different statistical problems with special emphasis on efficiency and robustness. Divergence statistics, based on maximum likelihood estimators, as well as Wald’s statistics, likelihood ratio statistics and Rao’s score statistics, share several optimum asymptotic properties, but are highly non-robust in cases of model misspecification under the presence of outlying observations. It is well-known that a small deviation from the underlying assumptions on the model can have drastic effect on the performance of these classical tests. Specifically, this book presents a robust version of the classical Wald statistical test, for testing simple and composite null hypotheses for general parametric models, based on minimum divergence estimators.

Keywords

sparse --- robust --- divergence --- MM algorithm --- Bregman divergence --- generalized linear model --- local-polynomial regression --- model check --- nonparametric test --- quasi-likelihood --- semiparametric model --- Wald statistic --- composite likelihood --- maximum composite likelihood estimator --- Wald test statistic --- composite minimum density power divergence estimator --- Wald-type test statistics --- Bregman divergence --- general linear model --- hypothesis testing --- influence function --- robust --- Wald-type test --- log-linear models --- ordinal classification variables --- association models --- correlation models --- minimum penalized ?-divergence estimator --- consistency --- asymptotic normality --- goodness-of-fit --- bootstrap distribution estimator --- thematic quality assessment --- relative entropy --- logarithmic super divergence --- robustness --- minimum divergence inference --- generalized renyi entropy --- minimum divergence methods --- robustness --- single index model --- model assessment --- statistical distance --- non-quadratic distance --- total variation --- mixture index of fit --- Kullback-Leibler distance --- divergence measure --- ?-divergence --- relative error estimation --- robust estimation --- information geometry --- centroid --- Bregman information --- Hölder divergence --- indoor localization --- robustness --- efficiency --- Bayesian nonparametric --- Bayesian semi-parametric --- asymptotic property --- minimum disparity methods --- Hellinger distance --- Berstein von Mises theorem --- measurement errors --- robust testing --- two-sample test --- misspecified hypothesis and alternative --- 2-alternating capacities --- composite hypotheses --- corrupted data --- least-favorable hypotheses --- Neyman Pearson test --- divergence based testing --- Chernoff Stein lemma --- compressed data --- Hellinger distance --- representation formula --- iterated limits --- influence function --- consistency --- asymptotic normality --- location-scale family --- n/a

Measures of Spirituality/Religiosity (2018)

Author:
ISBN: 9783038979326 9783038979333 Year: Pages: 180 DOI: 10.3390/books978-3-03897-933-3 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Religion
Added to DOAB on : 2019-05-09 17:16:14
License:

Loading...
Export citation

Choose an application

Abstract

The interest in the topic of spirituality as a more or less independent dimension of quality of life is continuously growing, and research questions are beginning to change as the field of religiosity changes, becoming more diverse and pluralistic. Addressing new topics in health research also relies on standardized questionnaires. The number of instruments intended to measure specific aspects of spirituality is growing, and it is particularly difficult to evaluate the new instruments. This Special Issue will focus on some of the established instruments (updating them to different languages and cultures), but will also describe the features and intentions of newly-developed instruments, which may potentially be used in larger studies to develop knowledge relevant to spiritual care and practice. This Special Issue will serve as a resource on the instruments used to study the wide range of organized religiosity, the individual experience of the divine, and an open approach in the search for meaning and purpose in life.

Remote Sensing of Leaf Area Index (LAI) and Other Vegetation Parameters

Authors: --- ---
ISBN: 9783039212392 / 9783039212408 Year: Pages: 334 DOI: 10.3390/books978-3-03921-240-8 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Science (General)
Added to DOAB on : 2019-12-09 11:49:15
License:

Loading...
Export citation

Choose an application

Abstract

Monitoring of vegetation structure and functioning is critical to modeling terrestrial ecosystems and energy cycles. In particular, leaf area index (LAI) is an important structural property of vegetation used in many land surface vegetation, climate, and crop production models. Canopy structure (LAI, fCover, plant height, and biomass) and biochemical parameters (leaf pigmentation and water content) directly influence the radiative transfer process of sunlight in vegetation, determining the amount of radiation measured by passive sensors in the visible and infrared portions of the electromagnetic spectrum. Optical remote sensing (RS) methods build relationships exploiting in situ measurements and/or as outputs of physical canopy radiative transfer models. The increased availability of passive (radar and LiDAR) RS data has fostered their use in many applications for the analysis of land surface properties and processes, thanks also to their insensitivity to weather conditions and the capability to exploit rich structural and textural information. Data fusion and multi-sensor integration techniques are pressing topics to fully exploit the information conveyed by both optical and microwave bands.

Keywords

conifer forest --- leaf area index --- smartphone-based method --- canopy gap fraction --- terrestrial laser scanning --- forest inventory --- density-based clustering --- forest aboveground biomass --- root biomass --- tree heights --- GLAS --- artificial neural network --- allometric scaling and resource limitation --- structure from motion (SfM) --- 3D point cloud --- remote sensing --- local maxima --- fixed tree window size --- managed temperate coniferous forests --- point cloud --- spectral information --- structure from motion (SfM) --- unmanned aerial vehicle (UAV) --- chlorophyll fluorescence (ChlF) --- drought --- Mediterranean --- photochemical reflectance index (PRI) --- photosynthesis --- R690/R630 --- recovery --- BAAPA --- remote sensing --- household survey --- forest --- farm types --- automated classification --- sampling design --- adaptive threshold --- over and understory cover --- LAI --- leaf area index --- EPIC --- simulation --- satellite --- MODIS --- biomass --- evaluation --- southern U.S. forests --- VIIRS --- leaf area index (LAI) --- Fraction of Photosynthetically Active Radiation absorbed by vegetation (FPAR) --- MODIS --- consistency --- uncertainty --- evaluation --- downscaling --- Pléiades imagery --- unmanned aerial vehicle --- stem volume estimation --- remote sensing --- clumping index --- leaf area index --- trunk --- terrestrial LiDAR --- HemiView --- forest above ground biomass (AGB) --- polarization coherence tomography (PCT) --- P-band PolInSAR --- tomographic profiles --- canopy closure --- global positioning system --- hemispherical sky-oriented photo --- signal attenuation --- geographic information system --- digital aerial photograph --- aboveground biomass --- leaf area index --- photogrammetric point cloud --- recursive feature elimination --- machine-learning --- forest degradation --- multisource remote sensing --- modelling aboveground biomass --- random forest --- Brazilian Amazon --- validation --- phenology --- NDVI --- LAI --- spectral analyses --- European beech --- altitude --- forests biomass --- remote sensing --- REDD+ --- random forest --- Tanzania --- RapidEye

Listing 1 - 6 of 6
Sort by
Narrow your search
-->