Development and validation of meaningful hybrid e-training model for computer education by Din, Rosseni, Nordin, Mohamad Sahari, Abu Kassim, Noor Lide, Tunku Ahmad, Tunku Badariah, Jusoff, Kamaruzzaman, Johar, Nur Ayu, Kamarul Zaman, Muhammad Faizal, Zakaria, Mohamad Shanudin, Ahmad, Mazalah, Abdul Karim, Aidah, Mastor, Khairul Anwar

Get full text

Vestibular Evoked Myogenic Potentials : physiology, variability, and statistical characteristics by Prakash, Srinivasamurthy Ravi

Get full text

Edit Distance Cannot Be Computed in Strongly Subquadratic Time (Unless SETH is False) by Backurs, Arturs, Indyk, Piotr

Get full text

Modelling of manufacturing processes by a computational intelligence approach by Garg, Akhil

“…A study of the literature also reveals that extensive focus has been paid to computational intelligence (CI) methods such as genetic programming (GP), M5ʹ, adaptive neuro fuzzy inference system (ANFIS), artificial neural network (ANN), support vector regression (SVR), etc. for modelling the output variables of the systems because of their ability to formulate the models based only on data obtained from the system. …”
Get full text

Pairwise Stability in Two Sided Market with Strictly Increasing Valuation Functions by Yasir Ali, Asma Javaid

Get full text

General Bindings and Alpha-Equivalence in Nominal Isabelle by Christian Urban, Cezary Kaliszyk

Get full text

Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories by Luis Barguno, Guillem Godoy, Eduard Huntingford, Ashish Tiwari

Get full text

A Finite-Model-Theoretic View on Propositional Proof Complexity by Erich Grädel, Martin Grohe, Benedikt Pago, Wied Pakusa

Get full text

SPRINGS OF VARIABLE STIFFNESS IN THE CONTROL OF SEISMIC ACTIONS IN BUILDINGS by Alexandre Wahrhaftig, Julia Dantas, Cibele Menezes, Larysa Neduzha

Get full text

Computational workflow for investigating highly variable genes in single-cell RNA-seq across multiple time points and cell types by Jantarika Kumar Arora, Anunya Opasawatchai, Sarah A. Teichmann, Ponpan Matangkasombut, Varodom Charoensawan

Get full text

A Novel Genetic Trajectory Planning Algorithm With Variable Population Size for Multi-UAV-Assisted Mobile Edge Computing System by Muhammad Asim, Wali Khan Mashwani, Samir Brahim Belhaouari, Saima Hassan

Get full text

Learning Reduplication with a Neural Network that Lacks Explicit Variables by Brandon Prickett, Aaron Traylor, Joe Pater

Get full text

Inter-Variability Study of COVLIAS 1.0: Hybrid Deep Learning Models for COVID-19 Lung Segmentation in Computed Tomography by Jasjit S. Suri, Sushant Agarwal, Pranav Elavarthi, Rajesh Pathak, Vedmanvitha Ketireddy, Marta Columbu, Luca Saba, Suneet K. Gupta, Gavino Faa, Inder M. Singh, Monika Turk, Paramjit S. Chadha, Amer M. Johri, Narendra N. Khanna, Klaudija Viskovic, Sophie Mavrogeni, John R. Laird, Gyan Pareek, Martin Miner, David W. Sobel, Antonella Balestrieri, Petros P. Sfikakis, George Tsoulfas, Athanasios Protogerou, Durga Prasanna Misra, Vikas Agarwal, George D. Kitas, Jagjit S. Teji, Mustafa Al-Maini, Surinder K. Dhanjil, Andrew Nicolaides, Aditya Sharma, Vijay Rathore, Mostafa Fatemi, Azra Alizad, Pudukode R. Krishnan, Ferenc Nagy, Zoltan Ruzsa, Archna Gupta, Subbaram Naidu, Mannudeep K. Kalra

Get full text

Output-sensitive Information flow analysis by Cristian Ene, Laurent Mounier, Marie-Laure Potet

Get full text

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic by Ki Yung Ahn, Ross Horne, Alwen Tiu

Get full text

Bounded Linear Logic, Revisited by Ugo Dal Lago, Martin Hofmann

Get full text

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems by Stéphane Jean Eric Lengrand, Roy Dyckhoff, James McKinna

Get full text

The impact of the information search variables, time pressure and involvement, on buying behaviour in a three-dimensional hypermedia computer-mediated environment by A. H. Nelmapius, C. Boshoff, A. P. Calitz, B. R. Klemz

Get full text

Analytic Tableaux for Simple Type Theory and its First-Order Fragment by Chad E. Brown, Gert Smolka

Get full text

Transforming structures by set interpretations by Thomas Colcombet, Christof Löding

Get full text