Filters








30,647 Hits in 8.8 sec

ARP/wARPand molecular replacement: the next generation

Serge X. Cohen, Marouane Ben Jelloul, Fei Long, Alexei Vagin, Puck Knipscheer, Joyce Lebbink, Titia K. Sixma, Victor S. Lamzin, Garib N. Murshudov, Anastassis Perrakis
2007 Acta Crystallographica Section D: Biological Crystallography  
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

Xiao Qu, Myra B. Cohen, Katherine M. Woolf
2007 Conference on Software Maintenance, Proceedings of the  
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]

Krystof Sykora and Bestoun S. Ahmed and Miroslav Bures
2020 arXiv   pre-print
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

Hwa-You Hsu, Alessandro Orso
2009 2009 IEEE 31st International Conference on Software Engineering  
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]

Peter Athron, Jae-hyeon Park, Dominik Stöckinger, Alexander Voigt
2014 arXiv   pre-print
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

Peter Athron, Jae-hyeon Park, Dominik Stöckinger, Alexander Voigt
2016 Nuclear and Particle Physics Proceedings  
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

Xiaoan Bao, Zijian Xiong, Na Zhang, Junyan Qian, Biao Wu, Wei Zhang, Francesco Pappalardo
2017 PLoS ONE  
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

Lorna Idol
2006 Remedial and special education  
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

Dáire Rooney, Neil Heron
2021 InnovAiT Education and inspiration for general practice  
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

I-Lin Wang, Jun Wang, Yi-Ming Chen, Rui Hu, Yu Su, Shun Yao, Chun-Sheng Ho, Wen-Dien Chang
2021 Evidence-Based Complementary and Alternative Medicine  
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

Francisco Ortin, Jose Quiroga, Oscar Rodriguez-Prieto, Miguel Garcia, Sergio Consoli
2022 PLoS ONE  
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]

Hsin-Ying Hsieh, Chieh-Yu Chen, Yu-Shuen Wang, Jung-Hong Chuang
2019 arXiv   pre-print
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

Anna Grandori
2020 Management and Organization Review  
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]

Girik Malik, Anirban Banerji, Maksim Kouza, Irina A. Buhimschi, Andrzej Kloczkowski
2018 arXiv   pre-print
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

Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer
2012 IEEE Transactions on Software Engineering  
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