Abstract Automated flowsheet synthesis is an important field in computer-aided process engineering. The present work demonstrates how reinforcement learning can be used for automated without any heuristics or prior knowledge of conceptual design. environment consists a steady-state simulator that contains all physical knowledge. An agent trained to take discrete actions and sequentially build u...

We present the design and the implementation of a prototype verification condition generator for imperative programs. The generator is part of the Theorema system, a computer aided mathematical assistant which offers automated reasoning and computer algebra facilities. We use Hoare Logic and the weakest precondition strategy, but in addition we propose a novel method for analyzing loop construc...

We have developed computer-aided diagnosis (CAD) schemes for the detection of lung nodules, interstitial lung diseases, interval changes, and asymmetric opacities, and also for the differential diagnosis of lung nodules and interstitial lung diseases on chest radiographs. Observer performance studies indicate clearly that radiologists' diagnostic accuracy was improved significantly when radiolo...

in this research, first of all, the existing problems in fragmentation measurement are reviewed for the sake of its fast and reliable evaluation. then, the available methods used for evaluation of blast results are mentioned. the produced errors especially in recognizing the rock fragments in computer-aided methods, and also, the importance of determination of their sizes in the image analysis ...

background: antifungal drug resistance and few numbers of available drugs limit therapeutic options against fungal infections. the present study was designed to discover new antifungal drugs.   m aterials and methods: this study was carried out in two separate steps, that is, in silico lead identification and in vitro assaying of antifungal potential. a structural data file of a ternary complex...

Due to ever increasing of medical images data in the world’s medical centers and recent developments in hardware and technology of medical imaging, necessity of medical data software analysis is needed. Equipping medical science with intelligent tools in diagnosis and treatment of illnesses has resulted in reduction of physicians’ errors and physical and financial damages. In this article we pr...

This paper describes a method of machining feature recognition from a freeform surface based on the relationship between unique machining patches and critical points on a component’s surface. The method uses Morse theory to extract critical surface points by defining a scalar function on the freeform surface. Features are defined by region growing between the critical points using a tool path g...

Measurement of software development productivity is needed in order to control software costs, but it is discouragingly labor-intensive and expensive. Computer aided sofcware engineering (CASE) technologies -especially repository-based, integrated CASE -have the potential to support the automation of this measurement. In this paper, we discuss the development of automated analyzers for function...

OBJECTIVES The objective of this study was to develop a computer-aided detection system for automated brain metastases detection using magnetic resonance black-blood imaging and compare its applicability with conventional magnetization-prepared rapid gradient echo (MP-RAGE) imaging. MATERIALS AND METHODS Twenty-six patients with brain metastases were imaged with a contrast-enhanced, 3-dimensi...