Search results for "Database"
showing 10 items of 2136 documents
Process specification and verification
1996
Graph grammars provide a very convenient specification tool for distributed systems of processes. This paper addresses the problem how properties of such specifications can be proven. It shows a connection between algebraic graph rewrite rules and temporal (trace) logic via the graph expressions of [2]. Statements concerning the global behavior can be checked by local reasoning.
Predictive validity of the GOSLON Yardstick index in patients with unilateral cleft lip and palate: A systematic review
2017
Among the various indices developed for measuring the results of treatment in patients born with unilateral cleft lip and palate (UCLP), the GOSLON Yardstick index is the most widely used to assess the efficacy of treatment and treatment outcomes, which in UCLP cases are closely linked to jaw growth. The aim of this study was to conduct a systematic review to validate the predictability of growth using the GOSLON Yardstick in patients born with UCLP. A systematic literature review was conducted in four Internet databases: Medline, Cochrane Library, Scopus and Embase, complemented by a manual search and a further search in the databases of the leading journals that focus on this topic. An el…
Comparative evaluation of three semi-quantitative radiographic grading techniques for knee osteoarthritis in terms of validity and reproducibility in…
2008
OBJECTIVE: The objective of this work was to compare the measurement properties of three categorical X-ray scoring methods of knee osteoarthritis (OA), both on semiflexed and extended views. METHODS: In data obtained from trials and cohorts, X-rays were graded using Kellgren and Lawrence (KL), the OA Research Society International (OARSI) joint space narrowing score, and measurement of joint space width (JSW). JSW was analyzed as a categorical variable. Construct validity was assessed through logistic regression between X-ray stages and Western Ontario and McMaster Universities OA Index. Inter-observer reliability was assessed in 50 subjects for extended views by weighted kappa. Intra-obser…
A dynamic model for hysteresis in magnetostrictive devices
2014
In this paper, a dynamic model for the description and design of hysteresis in magnetostrictive devices is presented. The model is based on Preisach theory and its dynamic extension. A procedure for determining the Preisach distribution function is given. This procedure is based on neural networks. The model is able to reconstruct both the magnetization relation and the field-strain relation. The model is validated through comparison and prediction of data collected from a typical Terfenol-D sample and a novel experimental technique dedicated to the validation of dynamic models is proposed.
Master curve for price-impact function
2003
The price reaction to a single transaction depends on transaction volume, the identity of the stock, and possibly many other factors. Here we show that, by taking into account the differences in liquidity for stocks of different size classes of market capitalization, we can rescale both the average price shift and the transaction volume to obtain a uniform price-impact curve for all size classes of firm for four different years (1995–98). This single-curve collapse of the price-impact function suggests that fluctuations from the supply-and-demand equilibrium for many financial assets, differing in economic sectors of activity and market capitalization, are governed by the same statistical r…
Centrality in primate-parasite networks reveals the potential for the transmission of emerging infectious diseases to humans
2013
We thank Randi Griffin, Amy Pedersen, Rosa Menendez, Mark Lineham, and two anonymous reviewers for discussion and comments on a previous draft. This work was funded by the Spanish Ministry of Science (J.M.G. and M.V.), by the Junta de Andalucia (J.M.G.), and by National Science Foundation Grants DEB-0211908 and EF-0723939/0904359 (C.L.N.).
Multivariate denoising methods combining wavelets and principal component analysis for mass spectrometry data
2010
The identification of new diagnostic or prognostic biomarkers is one of the main aims of clinical cancer research. In recent years, there has been a growing interest in using mass spectrometry for the detection of such biomarkers. The MS signal resulting from MALDI-TOF measurements is contaminated by different sources of technical variations that can be removed by a prior pre-processing step. In particular, denoising makes it possible to remove the random noise contained in the signal. Wavelet methodology associated with thresholding is usually used for this purpose. In this study, we adapted two multivariate denoising methods that combine wavelets and PCA to MS data. The objective was to o…
A Approach to Clinical Proteomics Data Quality Control and Import
2011
International audience; Biomedical domain and proteomics in particular are faced with an increasing volume of data. The heterogeneity of data sources implies heterogeneity in the representation and in the content of data. Data may also be incorrect, implicate errors and can compromise the analysis of experiments results. Our approach aims to ensure the initial quality of data during import into an information system dedicated to proteomics. It is based on the joint use of models, which represent the system sources, and ontologies, which are use as mediators between them. The controls, we propose, ensure the validity of values, semantics and data consistency during import process.
The Integrated Migrant worker Safety Training Evaluation Model: IMSTEM
2021
Abstract This paper presents the development of the IMSTEM (Integrated Migrant worker Safety Training Evaluation Model), which aims to provide guidance on how to evaluate the transfer of safety training of migrant workers. Addressing the lack of rigorous safety training evaluation frameworks, the IMSTEM, using a mixed methods, multi-source approach, covers the deficiencies of previous models. The IMSTEM has its foundations in three main sources: a) the integration of safety training literature in relation to migrant workers; b) the theoretical framework of realist evaluation, which enables evaluators to understand what works for whom in which circumstances; and c) the integration of the tra…
A bargaining model of Farrell inefficiency
1998
Abstract An enormous number of empirical papers have estimated technical efficiency, the distance of firms inside a frontier, following the model of Farrell (Farrell, 1957. The measurement of productive efficiency. Journal of the Royal Statistical Society Series A 120 (3), 253–290). We propose a theory that explains the distance these empirical papers seek to measure. The theory is based on the idea that workers can bargain low `effort' (high crew sizes etc.) if they and the firm have some monopoly power. We provide simple theoretical expressions for the empirical measures of technical and allocative efficiency and compare them to those in the statistical literature. We also consider the re…