Collection's Items (Sorted by Submit Date in Descending order): 151 to 200 of 2118
Issue Date | Title | Author(s) |
30-Mar-2022 | Kmclib: Automated Inference and Verification of Session Types from OCaml Programs | Imai, K; Lange, J; Neykova, R |
26-Nov-2019 | kmclib: Automated Inference and Verification of Session Types | Imai, K; Lange, J; Neykova, R |
14-Sep-2022 | On the Complexity of Determining Defeat Relations Consistent with Abstract Argumentation Semantics | Mumford, J; Sassoon, I; Black, E; Parsons, S |
14-May-2023 | Customized 2D CNN Model for the Automatic Emotion Recognition Based on EEG Signals | Baradaran, F; Farzan, A; Danishvar, S; Sheykhivand, S |
3-May-2023 | DropSPH: ISPH Simulation of Droplet Interactions with a Solid Surface | Keshtkar, H; Aburumman, N |
9-Apr-2021 | Structural dynamics of the β-coronavirus M<sup>pro</sup> protease ligand binding sites | Cho, E; Rosa, M; Anjum, R; Mehmood, S; Soban, M; Mujtaba, M; Bux, K; Dantu, S; Pandini, A; Yin, J; Ma, H; Ramanathan, A; Islam, B; Mey, ASJS; Bhowmik, D; Haider, S |
11-Apr-2023 | Energy Optimization for IRS-Aided SWIPT under Imperfect Cascaded Channels | Zhang, C; Huang, Y; He, C; Pan, C; Wang, K |
23-Sep-2008 | Examining institutional interventions: the case of electronic voters’ registration in Nigeria | Maiye, A; McGrath, K |
9-Dec-2007 | Persistent problems with IT-user collaboration: a functionalist explanation of relationship management | Papazafeiropoulou, A; McGrath, K |
7-Dec-2010 | Changing models of healthcare provision in Britain: How can ICTs contribute to this process? | McGrath, K |
27-Oct-2011 | Online social networking and citizen engagement: Debating the potential and limitations | McGrath, K; Elbanna, A; Hercheui, M; Panagiotopoulos, P; Saad, E |
11-Jul-2011 | The contribution of ICTs to socio-economic development: Experience from Nigeria | McGrath, K; Maiye, A |
15-Dec-2013 | The potential of generative mechanisms for IS research | - |
12-Dec-2021 | Accuracy and Explainability in Artificial Intelligence: Unpacking the Terms | McGrath, K |
14-Jul-2004 | Doing critical research in information systems: a case of theory and practice not informing each other | McGrath, K |
11-Jun-2007 | Electronic patient records and nurses' work: rhetoric and reality | Aderibigbe, A; Brooks, L; McGrath, K |
14-Dec-2008 | More than just friends? Facebook, disclosive ethics and the morality of technology | Light, B; McGrath, K; Griffiths, M |
12-May-2023 | Automatic Emotion Recognition from EEG Signals Using a Combination of Type-2 Fuzzy and Deep Convolutional Networks | Baradaran, F; Farzan, A; Danishvar, S; Sheykhivand, S |
25-Sep-2022 | Diagnostic Accuracy of Liquid Biomarkers for the Non-Invasive Diagnosis of Endometrial Cancer: A Systematic Review and Meta-Analysis | Karkia, R; Wali, S; Payne, A; Karteris, E; Chatterjee, J |
8-Mar-2023 | The Impact of Data Augmentation on Sentiment Analysis of Translated Textual Data | Omran, T; Sharef, B; Grosan, C; Li, Y |
27-Mar-2023 | Differentiable channel pruning guided via attention mechanism: a novel neural network pruning approach | Cheng, H; Wang, Z; Ma, L; Wei, Z; Alsaadi, FE; Liu, X |
13-Feb-2023 | Achieving Interoperability Between Gaming Engines by Utilizing Open Simulation Standards | Garratt, W; Rithviik, S; Wang, F |
30-Mar-2023 | Sentiment Analysis of Multilingual Dataset of Bahraini Dialects, Arabic, and English | Omran, T; Sharef, B; Grosan, C; Li, Y |
25-Mar-2023 | A unified approach to designing sequence-based personalized food recommendation systems: tackling dynamic user behaviors | Zhang, J; Wang, Z; Liu, W; Liu, X; Zheng, Q |
7-Mar-2023 | Thermal and wind devices for multisensory human-computer interaction: an overview | da Silveira, AC; Rodrigues, EC; Saleme, EB; Covaci, A; Ghinea, G; Santos, CAS |
23-Mar-2023 | EQRbot: A chatbot delivering EQR argument-based explanations | Castagna, F; Garton, A; McBurney, P; Parsons, S; Sassoon, I; Sklar, EI |
25-Jul-2022 | A Latent Encoder Coupled Generative Adversarial Network (LE-GAN) for Efficient Hyperspectral Image Super-Resolution | Shi, Y; Han, L; Han, L; Chang, S; Hu, T; Dancey, D |
9-Nov-2022 | CXR-Net: A Multitask Deep Learning Network for Explainable and Accurate Diagnosis of COVID-19 Pneumonia from Chest X-ray Images | Zhang, X; Han, L; Sobeih, T; Han, L; Dempsey, N; Lechareas, S; Tridente, A; Chen, H; White, S; Zhang, D |
31-Jan-2023 | StrongSORT: Make DeepSORT Great Again | Du, Y; Zhao, Z; Song, Y; Zhao, Y; Su, F; Gong, T; Meng, H |
15-Feb-2023 | ConanVarvar: a versatile tool for the detection of large syndromic copy number variation from whole-genome sequencing data | Thibaut, L; Khushi, M; Blue, GM; Winlaw, DS; Dunwoodie, SL; Giannoulatou, E |
9-Sep-2022 | Protocol-Based Particle Filtering for Nonlinear Complex Networks: Handling Non-Gaussian Noises and Measurement Censoring | Song, W; Wang, Z; Li, Z; Dong, H; Han, Q-L |
2-Nov-2022 | Sequential Fusion Estimation for Multirate Complex Networks With Uniform Quantization: A Zonotopic Set-Membership Approach | Zhao, Z; Wang, Z; Zou, L |
23-Nov-2022 | A Novel Deep Offline-to-Online Transfer Learning Framework for Pipeline Leakage Detection With Small Samples | Wang, C; Wang, Z; Liu, W; Shen, Y; Dong, H |
29-Dec-2022 | A New Particle Swarm Optimization Algorithm for Outlier Detection: Industrial Data Clustering in Wire Arc Additive Manufacturing | Fang, J; Wang, Z; Liu, W; Lauria, S; Zeng, N; Prieto, C; Sikstrom, F; Liu, X |
8-Dec-2019 | Hybrid Simulation Development - Is It Just Analytics? | Bell, D; Groen, D; Mustafee, N; Ozik, J; Strassburger, S |
11-Jul-2022 | Estimating the Optimal Number of Clusters from Subsets of Ensembles | Odebode, A; Tucker, A; Arzoky, M; Swift, S |
19-Jan-2023 | Variance-Constrained Filter Design With Sensor Resolution Under Round-Robin Communication Protocol: An Outlier-Resistant Mechanism | Geng, H; Wang, Z; Hu, J; Han, Q-L; Cheng, Y |
16-Feb-2023 | Retinal Image Segmentation with Small Datasets | Ndipenoch, N; Miron, A; Wang, Z; Li, Y |
2-Jan-2023 | Influence Maximization in Multiagent Systems by a Graph Embedding Method: Dealing With Probabilistically Unstable Links | Li, M; Wang, Z; Han, Q-L; Taylor, SJE; Li, K; Liao, X; Liu, X |
27-Apr-2021 | Isothermal Temperature Control for Battery Testing and Battery Model Parameterization | Hales, A; Brouillet, E; Wang, Z; Edwards, B; Samieian, MA; Kay, J; Mores, S; Auger, D; Patel, Y; Offer, G |
7-Jun-2021 | Evaluating a longitudinal synthetic data generator using real world data | Wang, Z; Myles, P; Jain, A; Keidel, JL; Liddi, R; Mackillop, L; Velardo, C; Tucker, A |
28-Oct-2020 | Two-Stage Deep Regression Enhanced Depth Estimation From a Single RGB Image | Sun, J; Wang, Z; Yu, H; Zhang, S; Dong, J; Gao, P |
26-Nov-2021 | State Estimation Under Joint False Data Injection Attacks: Dealing With Constraints and Insecurity | Xu, W; Wang, Z; Hu, L; Kurths, J |
18-Jul-2022 | Single-Source to Single-Target Cross-Subject Motor Imagery Classification Based on Multisubdomain Adaptation Network | Chen, Y; Yang, R; Huang, M; Wang, Z; Liu, X |
7-Oct-2022 | A swarm optimizer with attention-based particle sampling and learning for large scale optimization | Sheng, M; Wang, Z; Liu, W; Wang, X; Chen, S; Liu, X |
24-Feb-2023 | Fault-insertion and fault-fixing behavioural patterns in Apache Software Foundation Projects | Ortu, M; Destefanis, G; Hall, T; Bowes, D |
15-Jun-2020 | Towards accurate simulation of global challenges on data centers infrastructures via coupling of models and data sources | Gogolenko, S; Groen, D; Suleimenova, D; Mahmood, I; Lawenda, M; Nieto de Santos, FJ; Hanley, J; Vučković, M; Kröll, M; Geiger, B; Elsässer, R; Hoppe, D |
15-Jun-2020 | An agent-based simulation of the spread of dengue fever | Mahmood, I; Jahan, M; Groen, D; Javed, A; Shafait, F |
7-Jun-2021 | Tutorial applications for Verification, Validation and Uncertainty Quantification using VECMA toolkit | Suleimenova, D; Arabnejad, H; Edeling, WN; Coster, D; Luk, OO; Lakhlili, J; Jancauskas, V; Kulczewski, M; Veen, L; Ye, D; Zun, P; Krzhizhanovskaya, V; Hoekstra, A; Crommelin, D; Coveney, PV; Groen, D |
17-Jun-2021 | P-Flee: An Efficient Parallel Algorithm for Simulating Human Migration | Anastasiadis, P; Gogolenko, S; Papadopoulou, N; Lawenda, M; Arabnejad, H; Jahani, A; Mahmood, I; Groen, D |
Collection's Items (Sorted by Submit Date in Descending order): 151 to 200 of 2118