Buscar
Mostrando ítems 31-40 de 385
Experimental evaluation of SDL and One-Op mutation for C
(IEEE Computer SocietyCleveland, Ohio, 2014-03-31)
Mutation analysis modifies a program by applying
syntactic rules, called mutation operators, systematically to create
many versions of the program (mutants) that differ in small
ways. Testers then design tests to cause ...
Optimization Methods Based on Decision Diagrams for Constraint Programming, AI Planning, and Mathematical Programming
(2021)
Decision diagrams (DDs) are graphical structures that can be used to solve discrete optimization problems by representing the set of feasible solutions as paths in a graph. This graphical encoding of the feasibility set ...
Restrição alimentar programada na produção de Tilápia (Oreochromis niloticus) em viveiros e em recirculação de água
(Universidade Federal de Minas GeraisUFMG, 2014-08-07)
The development of more appropriate feeding programs as the intensity and duration of the restriction may constitute an effective way to minimize the effects of excessive consumption of food and its negative consequences ...
Uma extensão para a linguagem de consulta AQL
(Universidade Federal de Santa MariaBrasilCiência da ComputaçãoUFSMPrograma de Pós-Graduação em Ciência da ComputaçãoCentro de Tecnologia, 2017-08-31)
Software systems are constantly modified and adapted to new features. These modifications
usually increase their complexity and decrease their quality. One way to improve these
features and keep an updated software system ...
A girl with 15q overgrowth syndrome and dup(15)(q24q26.3) that included telomeric sequences
(2012)
The primary goal of this research is directed toward the study and characterization of nonlinear power system transient phenomena following large perturbations. A novel analytical framework based on a nonlinear Galerkin ...
Assessing the influence of multiple test case selection on mutation experiments
(IEEE Computer SocietyCleveland, Ohio, 2014-03-31)
Mutation testing is widely used in experiments.
Some papers experiment with mutation directly, while others
use it to introduce faults to measure the effectiveness of tests
created by other methods. There is some random ...
Sistema de rotas de ônibus utilizando o algoritmo de melhor caminho
(Universidade Tecnológica Federal do ParanáCornelio ProcopioBrasilTecnologia em Análise e Desenvolvimento de SistemasUTFPR, 2014)
This work proposes the development of a system that is able to recognize and map the path of least cost as well as insert, update and delete the stored paths, and the development of an application for the Android platform ...
Efficient and automated large-scale detection of structural relationships in proteins with a flexible aligner
(2016)
Abstract
Background
The total number of known three-dimensional protein structures is rapidly increasing. Consequently, the need for fast structural search against complete ...