A method of multi-nomenclature production in terms technical and economic indicators was considered. An integrated design system that is able to assess the real relationship “partmachine-transport device-device-tool” proposed, arelationship between elements an automated machine tool examined. The structure system, proposed form a mixed graph, represented by sets described nonlinear equations, d...

Abstract The correctness of real-time systems depends both on the correct functionalities and realtime constraints. To go beyond existing Timed Automata based techniques, we propose a novel solution that integrates modular Hoare-style forward verifier with term rewriting system (TRS) Effects ( TimEffs ). main purposes are to: increase expressiveness, dynamically manipulate clocks, efficiently s...

Abuse of free Internet resources and services from false account creation, to spam, to identity theft, excessive bandwidth usage, or even vote stuffing online polls is a big problem. The Completely Automatic Public Turing Test to tell Computers and Humans Apart (CAPTCHA) controls access to resources but automated systems are increasingly adept at overcoming them. In this paper a method of acces...

We previously demonstrated that exposure of certain human tumor cells to very low chronic doses of ionizing radiation led to their enhanced survival following exposure to subsequent high doses of radiation. Survival enhancement due to these adaptive survival responses (ASRs) ranged from 1.5-fold to 2.2-fold in many human tumor cells. Furthermore, we showed that ASRs result from altered G1 check...

INTRODUCTION Alcohol use is a widely prevalent problem and poses hazard during work for certain groups such as fishermen. Disorders such as Attention-Deficit/Hyperkinetic Disorder (ADHD) correlate with early onset and greater severity of alcohol use disorders. AIMS We planned to study the frequency of ADHD among fishermen in a fishing hamlet of southern India using adult ADHD self-reported sc...