Automated analysis

In recent years, automated test data generation from source code has gained a significant popularity in software testing. This paper proposes a method, named Hybrid, to generate test data for unit testing C/C++ projects. The method is a combination of two test data generation methods named IIBVTG and WCFT.

20p viambani 18-06-2024 2 1   Download

Ebook The productive programmer presents the following content: Chapter 1: introduction, chapter 2: acceleration, chapter 3: focus, chapter 4: automation, chapter 5: canonicality, chapter 6: test-driven design, chapter 7: static analysis, chapter 8: good citizenship, chapter 9: YAGNI, chapter 10: ancient philosophers, chapter 11: question authority, chapter 12: meta-programming, chapter 13: composed method and SLAP, chapter 14: polyglot programming, chapter 15: find the perfect tools, chapter 16: conclusion: carrying on the conversation.

224p zizaybay1103 29-05-2024 2 2   Download

Part 1 of ebook "Measuring technology and mechatronics automation in electrical engineering" provides readers with contents including: adoption of mobile content service mobile content service in 3G era; a game analysis on multi-level emergency management emergency management for construction accident construction accident; agent-based modeling of water bloom water bloom formation mechanism formation mechanism in lakes and reservoirs; a hardware-in-the-loop hardware-in-the-loop system for development of automotive battery management systembattery management system;...

247p dongmelo 20-05-2024 5 2   Download

Modeling and automation of business processes are key to the successful company’s operation. Enterprise prosperity depends on professional modeling of business processes by considering the supply chain management. The urgency of the work consists of the real need to optimize the business process of the accounting department.

11p longtimenosee10 26-04-2024 5 1   Download

Part 1 book "Computer aided design and design automation" includes content: Modeling of circuit performances; symbolic analysis methods; numerical analysis methods; design by optimization; statistical design optimization; physical design automation; design automation technology.

188p dianmotminh00 22-04-2024 10 5   Download

Part 2 book "Computer aided design and design automation" includes content: Computer aided analysis, analog circuit simulation, internet based microelectronic design automation framework, system level design; performance modeling and analysis using vhdl and systemc; embedded computing systems and hardware software codesign; design automation technology roadmap.

249p dianmotminh00 22-04-2024 5 4   Download

Part 1 book "Bancroft’s theory and practice of histological techniques" includes content: Pathology laboratory management; chemical safety in the laboratory; light microscopy; fixation of tissues; the gross room surgical cut up including sample handling; tissue processing; microtomy for paraffin and frozen sections; resin (plastic) embedding for microscopy and tissue analysis; theory of histological staining; the hematoxylins and eosin; automation in the histology department; connective and other mesenchymal tissues with their stains; carbohydrates; pigments and minerals; amyloid.

267p muasambanhan10 11-04-2024 3 1   Download

The paper starts with an examination of the Scyther tool, emphasizing its innovative approach to automated falsification and verification, and its application in multi-protocol analysis. We then transition to exploring the use of Scyther in verifying key agreement protocols in cloud computing.

11p vilarry 01-04-2024 7 0   Download

Glycosylphosphatidylinositol biosynthesis defects (GPIBDs) cause a group of phenotypically overlapping recessive syndromes with intellectual disability, for which pathogenic mutations have been described in 16 genes of the corresponding molecular pathway.

13p vibransone 28-03-2024 6 2   Download

Whole-exome sequencing (WES) has become an efficient diagnostic test for patients with likely monogenic conditions such as rare idiopathic diseases or sudden unexplained death. Yet, many cases remain undiagnosed. Here, we report the added diagnostic yield achieved for 101 WES cases re-analyzed 1 to 7 years after initial analysis.

8p vibransone 28-03-2024 3 2   Download

Ebook "Automation for food engineering: Food quality quantization and process control" discusses advanced techniques, such as medical imaging, mathematical analysis, and statistical modeling, which have proven successful in food engineering. The authors use the characteristics of food processes to describe concepts, and they employ data from food engineering applications to explain the methods. To aid in the comprehension of technical information, they provide real-world examples and case studies from food engineering projects.

224p coduathanh1122 27-03-2024 9 1   Download

Ebook "Applications of monolithic column and isotope dimethylation labeling in shotgun proteome analysis" discusses the preparation of new monolithic columns and optimization of chromatography separation capability to improve coverage and accuracy of proteome analysis. Further, the author describes a novel online multidimensional chromatography system combined with automated online isotope labeling, which significantly improves the throughput, sensitivity and accuracy of quantitative proteomics.

103p nhanphanguyet 28-01-2024 4 2   Download

Ebook "Who is who in thermal analysis and calorimetry" provides the reader with an up-to-date list of the prominent members in this community. The publication contains only living scientists. The selection is based partly on several decades of the editors' personal professional experience and also partly on the opinion of the Regional Editors of the Journal of Thermal Analysis and Calorimetry.

372p nhanphanguyet 28-01-2024 4 2   Download

Part 1 book "Encyclopedia of meat sciences (Vol 1)" includes content: Animal breeding and genetics, animal health risk analysis, automation in the meat industry, bacon production, biofilm formation, biomethane production and cleanup, biopreservation, biotechnology in meat animal production,... and other contents.

252p muasambanhan05 22-01-2024 3 2   Download

Ebook "Computational methods in systems biology: 15th International Conference, CMSB 2017 Darmstadt, Germany, September 27–29, 2017 Proceedings" constitutes the refereed proceedings of the 15th International Conference on Computational Methods in Systems Biology, CMSB 2017, held in Darmstadt, Germany, in September 2017. The 15 full papers, 4 tool papers and 4 posters presented together with 1 invited talk were carefully reviewed and selected from 41 regular paper submissions.

339p lucchinguyen 28-12-2023 7 2   Download

Part 1 of ebook "Automated machine learning: Methods, systems, challenges" provides readers with contents including: AutoML methods; hyperparameter optimization; meta-learning; neural architecture search; blackbox hyperparameter optimization; multi-fidelity optimization; open problems and future research directions; performance estimation strategy;...

87p tieulangtran 28-09-2023 6 2   Download

Continued part 1, part 2 of ebook "Automated machine learning: Methods, systems, challenges" provides readers with contents including: AutoML systems; AutoML challenges; automatic model selection and hyperparameter optimization in WEKA; efficient and robust automated machinelearning; a tree-based pipeline optimization toolfor automating machine learning; the automatic statistician;...

136p tieulangtran 28-09-2023 1 1   Download

Lecture Digital image processing - Chapter 1: Introduction provide students with content about: digital image processing including image acquisition, perception, transformation, compression, enhancement, interpolation, restoration, analysis,... Please refer to the detailed lecture content!

38p diepkhinhchau 18-09-2023 6 5   Download

This chapter begins by presenting the requirements definition, a document that lists the new system’s capabilities. It then describes how to analyze requirements using business process automation, business process improvement, and business process reengineering techniques and how to gather requirements using interviews, JAD sessions, questionnaires, document analysis, and observation.

37p abcxyz123_04 30-03-2020 42 3   Download

The paper "Image processing-based automatic gradation of stone aggregates" aims to employ image processing methods to develop a simple tool for automatic gradation of stone aggregates. The methods of image thresholding, Gaussian filtering, median filtering, morphological closing, and contour analysis are employed. The output of the newly constructed system is the plots demonstrating particle size distribution. These plots can be used for further inspection of aggregate gradation. The system has been developed in Python and with the help of the OpenCV library.

6p nhanchienthien 25-07-2023 6 3   Download