Automation Processes for Efficient Verification of Complex Systems: An Empirical Case Study by Rune Andre Haugen, Nils-Olav Skeie, Gerrit Muller

Subjects: “…automation…”
Get full text

AUTOMATION OF OPERATIONAL CONTROL OF DATA FLOWS OF THE METALLURGICAL ENTERPRISE ORGANIZATIONAL STRUCTURE by A. N. Chichko, N. V. Andrianov, Ju. V. Jatskevich

Get full text

MODEM AUTOMATION OF ACCOUNTING AT RUP «BMZ» WITH APPLICATION OF 2D-SCAIMERS by A. U. Gapanuk

Get full text

Advancements in Microextraction by Packed Sorbent: Insights into Sorbent Phases and Automation Strategies by Rafael Oliveira Martins, João Victor Basolli Borsatto, Camila Will, Fernando Mauro Lanças

Subjects: Get full text

Spatially Formulated Connected Automated Vehicle Trajectory Optimization with Infrastructure Assistance by Ran Yi, Yang Zhou, Xin Wang, Zhiyuan Liu, Xiaotian Li, Bin Ran

“…This paper presents a constrained connected automated vehicles (CAVs) trajectory optimization method on curved roads with infrastructure assistance. …”
Get full text

An automated adaptive trading system for enhanced performance of emerging market portfolios by Cristiana Tudor, Robert Sova

“…Against this backdrop, we argue that capital need not exit these riskier markets during periods of turmoil and support this by developing a second-generation Automated Adaptive Trading System (AATS) back-tested on a relevant, diversified EM portfolio that tracks the Morgan Stanley Capital International (MSCI) Emerging Markets Index during a volatile period characterized by negative returns, high risk, and a high correlation with global markets for the buy-and-hold EM portfolio. …”
Get full text

Legal and Safety Aspects of the Application of Automated and Autonomous Vehicles in the Republic of Croatia by Melita Milenković, Davor Sumpor, Sandro Tokić

Subjects: “…automated vehicles…”
Get full text

Effects of automated red-light running control on motorcycle riders in Thailand by Thaned Satiennam, Piyanat Jantosut, Phongphan Tankasem, Rattanaporn Kaewkluengklom, Wichuda Satiennam

“…This study evaluates the effects of automated RLR control on motorcycle riders over a 1-year and 5-year period following implementation. …”
Get full text

A Case Study on Formal Analysis of an Automated Guided Vehicle System by Jie Zhang, Yuntao Peng, William N. N. Hung, Xiaojuan Li, Jindong Tan, Zhiping Shi

“…This paper considers a hybrid I/O automata model for an automated guided vehicle (AGV) system. A set of key properties of an AGV system are characterized for the correctness of the system. …”
Get full text

AUTOMATED ALPHABETIC SUBJECT INDEX GENERATION FOR UNIVERSAL DECIMAL CLASSIFICATION IN BELARUSIAN by S. I. Lysy, H. R. Stanislavenka, Yu. S. Hetsevich

“…Electronic linguistic resources needed for the automated generation of ASI are described in the article. …”
Get full text

Results of Femtosecond Laser-Assisted Descemet Stripping Automated Endothelial Keratoplasty by Mohamed H. Hosny, Ayah Marrie, M. Karim Sidky, Sherif GamalEldin, Mohsen Salem

Get full text

Clinical Performance of MAGLUMI Diagnostic Tests for the Automated Detection of Dengue Virus by Bo Peng, Zhonggang Fang, Cong Li, Kun Liu, Ting Wang, Ke Huang, Fan Yang, Yalan Huang, Chunli Wu, Yue Li, Dana Huang, Qian Zhang, Yijun Tang, Xiaolian Liu, Wei Rao, Xiaolu Shi

Get full text

Towards an Automated Design Evaluation Method for Wire Arc Additive Manufacturing by Johannes Pusicha, Henrik Stromberg, Markus Quanz, Armin Lohrengel

Subjects: Get full text

Automated Detection of Short Optical Transients of Astrophysical Origin in Real Time by Marcin Sokołowski, Katarzyna Małek, Lech W. Piotrowski, Grzegorz Wrochna

Get full text

Quality control of metallized polymer films after automated laser perforation by P. A. Vyatlev, E. V. Leun, D. V. Sergeev, V. K. Sysoev

Get full text

Improvement in Automated Diagnosis of Soft Tissues Tumors Using Machine Learning by El Arbi Abdellaoui Alaoui, Stéphane Cédric Koumetio Tekouabou, Sri Hartini, Zuherman Rustam, Hassan Silkan, Said Agoujil

Get full text

Automating airborne pollen classification: Identifying and interpreting hard samples for classifiers by Manuel Milling, Simon D.N. Rampp, Andreas Triantafyllopoulos, Maria P. Plaza, Jens O. Brunner, Claudia Traidl-Hoffmann, Björn W. Schuller, Athanasios Damialis

Get full text

Towards automated recipe genre classification using semi-supervised learning. by Nazmus Sakib, G M Shahariar, Md Mohsinul Kabir, Md Kamrul Hasan, Hasan Mahmud

Get full text

Automated Testing to Evaluate Employee Attendance System Performance Using Gtmetrix by Nurul Hafizhah, Ahmad Tri Hidayat

“…This study aims to evaluate the performance of an employee attendance system through automated testing using the website performance analysis tool GTMetrix. …”
Get full text

Automated skin lesion detection and prevalence estimation in Tamanend's bottlenose dolphins by Colin J. Murphy, Melissa A. Collier, Ann-Marie Jacoby, Eric M. Patterson, Megan M. Wallen, Janet Mann, Shweta Bansal

Get full text