Search results for "computer.software_genre"
showing 10 items of 3858 documents
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…
Outlier recognition in crystal-structure least-squares modelling by diagnostic techniques based on leverage analysis.
2005
The identification of the actual outliers in a least-squares crystal-structure model refinement and their subsequent elimination from the data set is a non-trivial task that has to be carried out carefully when a high level of accuracy of the estimates is required. One of the most suitable tools for detecting the influence of each data entry on the regression is the identification of ;leverage points'. On the other hand, the recognition of the actual statistical outliers is effectively possible by using some diagnostics as a function of the leverage, such as Cook's distance, DFFITS and FVARATIO. The evaluation of these estimators makes it possible to achieve a reliable identification of the…
Data Quality Model-based Testing of Information Systems
2020
This paper proposes a model-based testing approach by offering to use the data quality model (DQ-model) instead of the program’s control flow graph as a testing model. The DQ-model contains definitions and conditions for data objects to consider the data object as correct. The study proposes to automatically generate a complete test set (CTS) using a DQmodel that allows all data quality conditions to be tested, resulting in a full coverage of DQ-model. In addition, the possibility to check the conformity of the data to be entered and already stored in the database is ensured. The proposed alternative approach changes the testing process: (1) CTS can be generated prior to software developmen…
Data Quality Model-Based Testing of Information Systems: Two-Level Testing of the Insurance System
2021
In order to develop reliable software, its operating must be verified for all possible cases of use. This can be achieved, at least partly, by means of a model-based testing (MBT), by establishing tests that check all conditions covered by the model. This paper presents a Data Quality Model-based Testing (DQMBT) using the data quality model (DQ-model) as a testing model. The DQ-model contains definitions and conditions for data objects to consider the data object as correct. The proposed testing approach allows complete testing of the conformity of the data to be entered and the data already stored in the database. The data to be entered shall be verified by means of predefined pre-conditio…
A Bond Graph Approach to Modeling and Simulation of Nonlinear Wind Turbine System
2013
This chapter addresses the problem of bond graph methodology as a graphical approach for modeling of wind turbine generating systems. The purpose of this chapter is to show some of the benefits of the bond graph approach in contributing a model for wind turbine systems. We will present a nonlinear model of a wind turbine generating system, containing pitch, drive train, tower motion and generator. All which will be modeled by means of bond graph. We will especially focus on the drive train, and show the difference between modeling with a classical mechanical method and by using bond graph. The model consists of realistic parameters, but we are not trying to validate a specific wind turbine …
PACS infrastructure supporting e-learning
2011
Digital imaging is becoming predominant in radiology. This has implications for teaching support, because conventional film-based concepts are now obsolete. The IHE Teaching File and Clinical Study Export (TCE) profile provides an excellent platform to enhance PACS infrastructure with educational functionality. This can be supplemented with dedicated e-learning tools.
State of the Art Review and Report of New Tool for Drug Discovery
2017
BACKGROUND There are a great number of tools that can be used in QSAR/QSPR studies; they are implemented in several programs that are reviewed in this report. The usefulness of new tools can be proved through comparison, with previously published approaches. In order to perform the comparison, the most usual is the use of several benchmark datasets such as DRAGON and Sutherland's datasets. METHODS Here, an exploratory study of Atomic Weighted Vectors (AWVs), a new tool useful for drug discovery using different datasets, is presented. In order to evaluate the performance of the new tool, several statistics and QSAR/QSPR experiments are performed. Variability analyses are used to quantify the…
Computational Identification of Chemical Compounds with Potential Activity against Leishmania amazonensis using Nonlinear Machine Learning Techniques.
2019
Leishmaniasis is a poverty-related disease endemic in 98 countries worldwide, with morbidity and mortality increasing daily. All currently used first-line and second-line drugs for the treatment of leishmaniasis exhibit several drawbacks including toxicity, high costs and route of administration. Consequently, the development of new treatments for leishmaniasis is a priority in the field of neglected tropical diseases. The aim of this work is to develop computational models those allow the identification of new chemical compounds with potential anti-leishmanial activity. A data set of 116 organic chemicals, assayed against promastigotes of Leishmania amazonensis, is used to develop the the…
Evaluating protein structures determined by structural genomics consortia.
2006
Structural genomics projects are providing large quantities of new 3D structural data for proteins. To monitor the quality of these data, we have developed the protein structure validation software suite (PSVS), for assessment of protein structures generated by NMR or X-ray crystallographic methods. PSVS is broadly applicable for structure quality assessment in structural biology projects. The software integrates under a single interface analyses from several widely-used structure quality evaluation tools, including PROCHECK (Laskowski et al., J Appl Crystallog 1993;26:283-291), MolProbity (Lovell et al., Proteins 2003;50:437-450), Verify3D (Luthy et al., Nature 1992;356:83-85), ProsaII (Si…
Molecular Docking approach on the Topoisomerase I inhibitors series included in the NCI anti-cancer agents mechanism database
2006
Topoisomerase I (Top1) is an essential enzyme participating to all those processes associated with separation of DNA strands. It manages superhelical tensions through the transient breakage of one strand of duplex DNA, followed by the unwinding of supercoiled DNA. Camptothecins, a class of alkaloids extracted from the wood of a Chinese tree, were found to be potent inhibitors of Topoisomerase I. The National Cancer Institute (NCI) Anti-cancer Agents Mechanism Database contains several camptothecins derivatives, classified as selective Top1 inhibitors. In this work we performed molecular docking studies on 24 camptothecin-like inhibitors present in this database (using Autodock 3.0.5). In or…