Results 51 to 60 of about 868,117 (329)
Source Code Verification for Embedded Systems using Prolog
, 2017 System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST).
Flederer, Frank +3 more
core +2 more sources
, 2022 Abstract This chapter provides the reader with the skills to assess and design experimental research on deliberation. First, it introduces the logic and methodology of experimentation and presents the different types of experiments that are used in social science research.
Grönlund, Kimmo, Herne, Kaisa
openaire +3 more sources
Partial identification with categorical data and nonignorable missing outcomes
Canadian Journal of Statistics, EarlyView.Abstract Nonignorable missing outcomes are common in real‐world datasets and often require strong parametric assumptions to achieve identification. These assumptions can be implausible or untestable, and so we may wish to forgo them in favour of partially identified models that narrow the set of a priori possible values to an identification region.
Daniel Daly‐Grafstein, Paul Gustafson
wiley +1 more source
A comparison of HK-CONWIP and BK-CONWIP control strategies in a multi-product manufacturing system
Operations Research Perspectives, 2015 This paper evaluates the performance of the Hybrid Kanban Constant Work-In-Process control strategy and Basestock Kanban Constant Work-In-Process control strategy operating Shared Kanban Allocation Policy (S-KAP) and Dedicated Kanban Allocation Policy (D-
Chukwunonyelum Emmanuel Onyeocha +3 more
doaj +1 more source
Inter-Regional Wage Differentials in Portugal: An Analysis Across the Wage Distribution [PDF]
, 2012 Typically, studies on regional wage differentials are based on ordinary least squares (OLS) estimates. Quantile regression is an alternative approach which allows these differences to be studied across the whole wage distribution.
Galego, Aurora, Pereira, João
core +2 more sources
Chaplygin's method is Newton's method
Journal of Mathematical Analysis and Applications, 1978 This method has been extended to ordinary differential equations in [w” by Lusin [6], to ordinary differential equations in Banach spaces by Mlak [8] and to parabolic equations by Mlak [7] and Szarki [15, Sect. 661. In each case a different type of hypotheses is assumed. A formal generalization considered by Wazewski [18] has been found by Schelkunoff [
openaire +3 more sources
Irrigation and Drainage, EarlyView.ABSTRACT Food security in Kerala depends on effective irrigation, but poor‐quality irrigation water poses threats such as salinity, sodicity and reduced soil productivity. Although past assessments have been localised, this study presents the first comprehensive, statewide evaluation of irrigation water suitability across 44 major rivers in Kerala.
Raji Karuna +2 more
wiley +1 more source
Jules Vuillemin : de la méthode cartésienne à la méthode structurale
Philosophia Scientiæ, 2020 I studied the structural method defined by Vuillemin in La Philosophie de l’algèbre and the origins of this method by considering the fourth rule of the Discours de la méthode and its interpretation given by Vuillemin in Mathématiques et métaphysique ...
Sébastien Maronne
doaj +1 more source
Ultrasound shear wave elastography for liver disease. A critical appraisal of the many actors on the stage [PDF]
, 2016 In the last 12\u200a-\u200a18 months nearly all ultrasound manufacturers have arrived to implement ultrasound shear wave elastography modality in their equipment for the assessment of chronic liver disease; the few remaining players are expected to ...
Cantisani, Vito +4 more
core +1 more source
Cultivating biodiversity: When conservation in agricultural landscapes embodies farmers' values
People and Nature, EarlyView.Abstract Efforts to conserve biodiversity in agricultural landscapes across Europe remain insufficient, as biodiversity further declines. This is sometimes ascribed to conservation policy failing to address the meanings and values that farmers attribute to the social and ecological contexts shaping their decisions influencing biodiversity.
Maria L. Kernecker +4 more
wiley +1 more source