Adjusted automata learning algorithm for security protocol adaptive model checking by Jing YANG, Dan FAN, Yu-qing ZHANG

Subjects: Get full text

Fatigue Life Analysis of 2.5MW Wind Turbine Gearbox based on Romax by Wu Jianwei, Chen Huanguo, Chen Wenhua, Chen Te, Pan Xiaodong

Subjects: Get full text

How Can Journalists Strengthen Their Fight Against Misinformation in a Changing Media Landscape? by Marina Tulin, Michael Hameleers, Christofer Talvitie, Claes de Vreese

Subjects: Get full text

A constructionist approach to Arabic active participles by Ayman Yasin, Osama Abdelghafer

Subjects: Get full text

Facilitating automated fact-checking: a machine learning based weighted ensemble technique for claim detection by Md. Rashadur Rahman, Rezaul Karim, Mohammad Shamsul Arefin, Pranab Kumar Dhar, Gahangir Hossain, Tetsuya Shimamura

Subjects: “…Check-worthiness…”
Get full text

An Approach for Multi-Artifact Testing Through an Ontological Perspective for Behavior-Driven Development by Thiago Rocha Silva, Jean-Luc Hak, Marco Winckler

Subjects: “…Automated requirements checking…”
Get full text

The importance of homework in the system of mathematical education by Viktorija Sičiūnienė

Subjects: Get full text

Hierarchical Optimization Segmentation and Parameter Extraction of Street Trees Based on Topology Checking and Boundary Analysis from LiDAR Point Clouds by Yuan Kou, Xianjun Gao, Yue Zhang, Tianqing Liu, Guanxing An, Fen Ye, Yongyu Tian, Yuhan Chen

Subjects: Get full text

Effective Partitioning Method With Predictable Hardness for CircuitSAT by Konstantin Chukharev, Irina Gribanova, Dmitry Ivanov, Stepan Kochemazov, Victor Kondratiev, Alexander Semenov

Subjects: Get full text

An improved RFID authentication protocol based on quadratic residue by Zhiliang LIU

Subjects: Get full text

MULTI-OBJECTIVE OPTIMIZATION OF SHELL KEY PARAMETERS OF ROTATING BUTT SKIRT AND PROTOTYPE DEVELOPMENT by GONG HaiXia, LIU Zhe, WANG LiQuan, HOU ShuPing, WANG ChenYe

Subjects: Get full text

BIM-Based Model Checking: A Scientometric Analysis and Critical Review by Sihao Li, Ziyang Jiang, Zhao Xu

Subjects: “…automated compliance checking…”
Get full text

Analysis of efficiency between self-check in and conventional check in with queue method (case study at terminal 3 Soekarno-Hatta airport) by Tukhas Shilul Imaroh, Abdul Hafaz Ngah, Sugiyono Sugiyono

Subjects: Get full text

Using artificial intelligence tools for automating the assessment of future computer science teachers' work by Oleksandr M. Spazhev, Oksana V. Klochko

Subjects: “…automated work checking…”
Get full text

Designs and Application of Over Pin Distance Checking Fixture of Small Modulus Spline by Lu Qiulong

Subjects: Get full text

Design of concatenated Hash-Polar code based on segmented CRC code by Zhengjie LI, Shunlan LIU, Xu ZHANG

Subjects: Get full text

A novel method for encoding and decoding based on enhanced parity-check-concatenated polar codes by Yan WANG, Shunlan LIU, Zhenzhen XI, Jianrong BAO

Subjects: Get full text

Checks and Balances: The Concept and Its Implications for Corruption by Luciano Da Ros, Matthew M. Taylor

Subjects: “…Checks and balances…”
Get full text

Health checks for autistic adults: study protocol for a cluster randomised controlled trial by Jeremy R. Parr, Helen Taylor, Colin Wilson, Clare Scarlett, Sarah Al-Asmori, Carole Buckley, Sally-Ann Cooper, Cristina Fernandez-Garcia, Tracy Finch, Rhianna Lees, Nicholas Lennox, Hannah Merrick, Sebastian Moss, Christina Nicolaidis, Malcolm Osbourne, Dora M. Raymaker, Tomos Robinson, Anna Urbanowicz, James M. S. Wason, Barry Ingham

Subjects: Get full text

Kamuyu Bilgilendirme Modeli Bağlamında Uluslararası Doğruluk Kontrolü Ağı’nın (IFCN) Betimsel Bir Analizi by Resul Taşan, Ümit Arklan

Subjects: Get full text