A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
ARP/wARPand molecular replacement: the next generation
2007
Acta Crystallographica Section D: Biological Crystallography
Preserved Fulltext
To introduce the differences between the three flex-wARP protocols (keeping the complete search model, converting it to atomic coordinates but ignoring atom identities or using the electron-density map ...
Based on this analysis, an empirical estimator was proposed that predicts how good the final model produced by flex-wARP is likely to be based on the experimental data and the quality of the molecular-replacement ...
Between 2.0 and 2.5 Å models are in general less complete and more cases tend not to work, but in general the runs are successful. ...
doi:10.1107/s0907444907047580
pmid:18094467
pmcid:PMC2394809
fatcat:z27sxsptv5atbc7zrufctr5dj4
Combinatorial Interaction Regression Testing: A Study of Test Case Generation and Prioritization
2007
Conference on Software Maintenance, Proceedings of the
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Effective regression testing techniques select and order (or prioritize) test cases between successive releases of a program. ...
There has been little work that empirically assesses the use of CIT test generation as the basis for selection or prioritization. ...
This work was supported in part by an NSF EPSCoR FIRST award, by an NSF EPSCoR small grant, and by a UNL Layman award. ...
doi:10.1109/icsm.2007.4362638
dblp:conf/icsm/QuCW07
fatcat:2zm3zk4rdvbhrhi3o4fxfm73ce
Code Coverage Aware Test Generation Using Constraint Solver
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We applied this approach to a few real-world case studies. The results showed that the new test generation approach could generate effective test cases and detect new faults. ...
Code coverage has been used in the software testing context mostly as a metric to assess a generated test suite's quality. ...
Acknowledgement This research is conducted as a part of the project TACR TH02010296 Quality Assurance System for the Internet of Things Technology. ...
arXiv:2009.02915v1
fatcat:37z6smdldfbsffdrvi3dhlmmn4
MINTS: A general framework and tool for supporting test-suite minimization
2009
2009 IEEE 31st International Conference on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
In our empirical evaluation, we show how mints can be used to instantiate a number of different test-suite minimization problems and efficiently find an optimal solution for such problems using different ...
Regression test suites tend to grow over time as new test cases are added to exercise new functionality or to target newly-discovered faults. ...
However, the applications we use in our studies are real programs, used in many previous studies, and one of them is a widely used program. ...
doi:10.1109/icse.2009.5070541
dblp:conf/icse/HsuO09
fatcat:4cdumz6cofdkbcukpfscziji74
FlexibleSUSY - a meta spectrum generator for supersymmetric models
[article]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
FlexibleSUSY is a software package that takes as input descriptions of (non-)minimal supersymmetric models written in Wolfram/Mathematica and generates a set of spectrum generator libraries and executables ...
This clean separation makes it easy to adapt the generated code for individual projects. The current status of the interface and implementation is sketched. ...
generated C++ class library for a more advanced study. ...
arXiv:1410.7385v2
fatcat:rdp4gjnexzaczfyw3iayn4ihka
FlexibleSUSY – a meta spectrum generator for supersymmetric models
2016
Nuclear and Particle Physics Proceedings
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
FlexibleSUSY is a software package that takes as input descriptions of (non-)minimal supersymmetric models written in Wolfram/Mathematica and generates a set of spectrum generator libraries and executables ...
This clean separation makes it easy to adapt the generated code for individual projects. The current status of the interface and implementation is sketched. ...
generated C++ class library for a more advanced study. ...
doi:10.1016/j.nuclphysbps.2015.09.413
fatcat:i3w5wqukxjfkjkso7vszoxuwie
Path-oriented test cases generation based adaptive genetic algorithm
2017
PLoS ONE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The automatic generation of test cases oriented paths in an effective manner is a challenging problem for structural testing of software. ...
This novel approach is experimented and tested on a benchmark and six industrial programs. ...
Test cases generation based on improved adaptive genetic algorithm (IAGA). 1: Input Program: instrumented version of a program to be tested 2: CDG: control-dependence graph for PUT (Program Under Test) ...
doi:10.1371/journal.pone.0187471
pmid:29136028
pmcid:PMC5685491
fatcat:x7fuwe4q7rbc5ni5xwmlv3kl2y
Toward Inclusion of Special Education Students in General Education
2006
Remedial and special education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
They were conservative about how to best do this, with many of them preferring to have the included students accompanied by a special education teacher or instructional assistant or continuing to have ...
The primary intent of this program evaluation was to determine the degree of inclusion of students with disabilities in general education classes in four elementary and four secondary schools; the similarities ...
Middle School E was implementing a pilot program using flex teams and providing a program for statewide test preparation. ...
doi:10.1177/07419325060270020601
fatcat:573tshdqm5aq7hvutcdqfusxja
Achilles tendon rupture: A diagnosis not to be missed
2021
InnovAiT Education and inspiration for general practice
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This article will focus on the aetiology of AT ruptures, presentation in general practice and how best to diagnose and manage an AT rupture. ...
Whilst AT ruptures present more commonly in the emergency department, it is still a common presentation in general practice. ...
Special tests The Thompson test (also known as Simmonds Test) is performed with the patient lying on the examination bed in a prone position, with the legs hanging over the end of the bed or knees flexed ...
doi:10.1177/17557380211016020
fatcat:22jgilqc3fdorgb5u4ngzk6fjm
Effect of Acupuncture on the Timeliness of Explosive Forces Generated by the Male Shoulder Joint
2021
Evidence-Based Complementary and Alternative Medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Therefore, the purpose of this study was to explore the effect of acupuncture on the timeliness of explosive forces generated by the male shoulder joint. ...
Athletes aim to improve muscle strength to optimize sports performance and gain a competitive edge. ...
And in some cases, even if a needle is inserted into a nerve, "De-qi" cannot be induced [40] . is has been shown in past studies that "De-qi" sensation was well achieved before the needle touched the ...
doi:10.1155/2021/5585605
pmid:33815552
pmcid:PMC7987443
fatcat:nfwo3po3irh5xhaipd57e6pugy
An empirical evaluation of Lex/Yacc and ANTLR parser generation tools
2022
PLoS ONE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Two random groups of students implement the same language using a different parser generator, and we statistically compare their performance with different measures. ...
Due to the widespread usage of parsers, there exist different tools aimed at automizing their generation. Two of the most common parser generation tools are the classic Lex/Yacc and ANTLR. ...
In their study, they select six experts to implement WAEBRIC, a little language for XHTML markup generation used for website creation. ...
doi:10.1371/journal.pone.0264326
pmid:35239695
pmcid:PMC8893623
fatcat:bsdh56avsbeadj5vafbrijub6u
BasketballGAN: Generating Basketball Play Simulation Through Sketching
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
to generate natural player movements based on a latent noise and a user sketched set play; and a discriminator that is used to evaluate the realism of the basketball play. ...
To achieve the goal, we train a conditional adversarial network on NBA movement data to imitate the behaviors of how players move around the court through two major components: a generator that learns ...
We are also grateful to Prof. Chin-Jen Cheng for the valuable discussions, and all the participants who joined the user study. ...
arXiv:1909.07088v2
fatcat:nxt47rsgkrcydcvj4234hvr7t4
Black Swans and Generative Resilience
2020
Management and Organization Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In some cases, though, it may be close to impossible to 'flex' resources and structures. It would be quite difficult to put Ilva's steel production furnaces to other uses. ...
This systematic analysis generates a 'book' containing part of the valid and reliable knowledge that can be used in a fast way in case of emergencyan analogue of the actually existing, but unbelievably ...
doi:10.1017/mor.2020.31
fatcat:svqgfqyb65cxplyjcikfjfufjm
Deciphering general characteristics of residues constituting allosteric communication paths
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Despite having different sequences and different lengths of ACSS, they were found to be structurally quite similar to each other - suggesting a preferred structural template for communication. ...
Barring one particular case, the entire ACSS for any class of allosteric proteins did not demonstrate "small world" behavior, though the sub-graphs of the ACSSs, in certain cases, were found to form small-world ...
K. acknowledges the Polish Ministry of Science and Higher Education for financial support through ''Mobility Plus'' Program No. 1287/MOB/IV/2015/0. ...
arXiv:1802.10207v1
fatcat:c3vz2qmdt5a3pbzk2x4tjlb64m
GenProg: A Generic Method for Automatic Software Repair
2012
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
GenProg uses an extended form of genetic programming to evolve a program variant that retains required functionality but is not susceptible to a given defect, using existing test suites to encode both ...
Structural differencing algorithms and delta debugging reduce the difference between this variant and the original program to a minimal repair. ...
GenProg, an algorithm that uses GP to automatically generate patches for bugs in programs, as validated by test cases. ...
doi:10.1109/tse.2011.104
fatcat:5nxg5txfsfaqnc3xwnox5ucarq
« Previous
Showing results 1 — 15 out of 30,647 results