Reactive computer systems bear inherent complexity due to continuous interactions with their environment. While this environment often proves to be uncontrollable, we still want to ensure that critical computer systems will not fail, no matter what they face. Examples are legion: railway traffic, power plants, plane navigation systems, etc. Formal verification of a system may ensure that it sat...

Rapid Prototyping has been proposed as a means to reduce development time and costs of real–time systems. Our approach uses a heterogeneous, tightly coupled multiprocessor system based on off–the–shelf components as target architecture for an executable prototype, which is generated from the specification in an automated design process. Here, too, we aim to use existing tools and languages. But...

Submitted: Aug 7, 2013; Accepted: Sep 18, 2013; Published: Sep 25, 2013 Abstract: Existing search design automated systems during the conceptual design perform engineering solutions in the form of a sensing control system elements physical principle. The basis of the technical solutions have laid down a number of different approaches: formalized natural science, the scientific and technical eff...

We synthesized 18F-FDG by using an automated synthetic apparatus "FDG MicroLab" (GE Medical Systems) which produces 18F-FDG by a solid phase 18F-fluorination. Its quality and reproducibility were evaluated in order to assess feasibility of the apparatus for routine clinical production of 18F-FDG. For 5 consecutive 18F-FDG synthesis, target irradiation was carried out at 15 microA for 60 min. 18...

Aptamer-drug conjugates (ApDCs) are promising targeted drug delivery systems for reducing toxicity while increasing the efficacy of chemotherapy. However, current ApDC technologies suffer from problems caused by the complicated preparation and low controllability of drug-aptamer conjugation. To solve such problems, we have designed and synthesized a therapeutic module for solid phase synthesis,...

Effective application of AI techniques requires an understanding of how the representation vs. reasoning tradeoffs impact the domain of interest. In this paper we evaluate these tradeoffs for the software engineering problem of automatically retrieving components from a library. We generalize our experience in building several automated component retrieval and automated program synthesis system...

The first automated assessment of student programs was reported more than 60 years ago, but this topic remains relevant and highly topical among computer science researchers teachers. In the last decade, several factors have contributed to popularity approach, such as development massive online courses, where large numbers students can hardly be assessed manually, COVID-19 pandemic with a stron...