Sign Up to like & get
recommendations!
0
Published in 2020 at "Journal of Software: Evolution and Process"
DOI: 10.1002/smr.2273
Abstract: One of the main challenges of software testing research is the automated addition of oracles to the generated test cases: Whereas the automated generation of operation sequences (which is one of the essential components of…
read more here.
Keywords:
automated generation;
regular expressions;
test;
generation oracled ... See more keywords
Sign Up to like & get
recommendations!
0
Published in 2020 at "Annals of Biomedical Engineering"
DOI: 10.1007/s10439-020-02490-4
Abstract: The geometrical representation of muscles in computational models of the musculoskeletal system typically consists of a series of line segments. These muscle anatomies are based on measurements from a limited number of cadaveric studies that…
read more here.
Keywords:
three dimensional;
automated generation;
muscle;
generation three ... See more keywords
Sign Up to like & get
recommendations!
1
Published in 2022 at "Journal of chemical theory and computation"
DOI: 10.1021/acs.jctc.2c00754
Abstract: The nanoreactor approach first introduced by the group of Martı́nez [Wang et al. Nat. Chem. 2014, 6, 1044-1048] has recently attracted much attention because of its ability to accelerate the discovery of reaction pathways. Here,…
read more here.
Keywords:
fully automated;
automated generation;
reaction;
prebiotically relevant ... See more keywords
Sign Up to like & get
recommendations!
1
Published in 2020 at "ACS Catalysis"
DOI: 10.1021/acscatal.0c00630
Abstract: Reactions on the surface of catalysts are rather complex, and many possible reaction pathways and intermediates are involved. We here propose a method that is able to automatically generate a catalytic reaction network and identify…
read more here.
Keywords:
automated generation;
generation analysis;
catalytic reaction;
reaction network ... See more keywords
Sign Up to like & get
recommendations!
1
Published in 2022 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2020.3025732
Abstract: Advanced tools used in model-based systems engineering (MBSE) frequently represent their models as graphs. In order to test those tools, the automated generation of well-formed (or intentionally malformed) graph models is necessitated which is often…
read more here.
Keywords:
automated generation;
generation;
graph;
graph models ... See more keywords
Sign Up to like & get
recommendations!
1
Published in 2019 at "Applied Sciences"
DOI: 10.3390/app9091789
Abstract: Spatial movements of workers and equipment should be carefully planned according to project plans. In particular, it is crucial for workers’ safety to prepare emergency evacuation paths according to changing construction site configurations and construction…
read more here.
Keywords:
generation daily;
paths bim;
construction;
evacuation paths ... See more keywords
Sign Up to like & get
recommendations!
0
Published in 2022 at "Diagnostics"
DOI: 10.3390/diagnostics12020253
Abstract: Problem: Ultrasonography is recommended as the first choice for evaluation of thyroid nodules, however, conventional ultrasound features may not be able to adequately predict malignancy. Ultrasound elastography, adjunct to conventional B-mode ultrasound, can effectively improve…
read more here.
Keywords:
elastography;
automated generation;
elastography images;
aue net ... See more keywords