Contributors: Samsung Electronics Co. Ltd
Superior Title: 17 ; 1
Subject Terms: Science & Technology, Technology, Computer Science, Artificial Intelligence, Interdisciplinary Applications, Multidisciplinary Sciences, Science & Technology - Other Topics, quantum machine learning, quantum algorithm, quantum kernel, quantum computing, supervised learning
Relation: Machine Learning: Science and Technology; http://hdl.handle.net/10044/1/103715; n/a
Authors: Belardinelli, F, Leon, BG, Malvone, V
Contributors: Rocha, AP, Steels, L, VandenHerik, J
Superior Title: 14th International Conference on Agents and Artificial Intelligence (ICAART) ; 457 ; 450
Subject Terms: Science & Technology, Technology, Computer Science, Artificial Intelligence, Interdisciplinary Applications, Software Engineering, Theory & Methods, Markov Decision Processes, Partial Observability, Extended Partially Observable Decision Process, non-Markovian Rewards
Subject Geographic: ELECTR NETWORK
Relation: ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 2; http://hdl.handle.net/10044/1/97300
Authors: Mitchener, L, Tuckey, D, Crosby, M, Russo, A
Superior Title: 1549 ; 1523
Subject Terms: Science & Technology, Technology, Computer Science, Artificial Intelligence, Neuro-symbolic, Hierarchical reinforcement learning, Deep reinforcement learning, Inductive logic programming, Answer set programming, 0801 Artificial Intelligence and Image Processing, 0806 Information Systems, 1702 Cognitive Sciences, Artificial Intelligence & Image Processing
Relation: Machine Learning; http://hdl.handle.net/10044/1/96353
Authors: Bull, LA, Di Francesco, D, Dhada, M, Steinert, O, Lindgren, T, Parlikad, AK, Duncan, AB, Girolami, M
Contributors: Engineering & Physical Science Research Council (E
Superior Title: 848 ; 821
Subject Terms: Science & Technology, Technology, Computer Science, Interdisciplinary Applications, Construction & Building Technology, Engineering, Civil, Transportation Science & Technology, Transportation, WIND, PARAMETERS, 0905 Civil Engineering, Civil Engineering
Relation: Computer-Aided Civil and Infrastructure Engineering; http://hdl.handle.net/10044/1/105554; TUR-000804
Authors: Savolainen, O, Zhang, Z, Feng, P, Constandinou, T
Superior Title: 117529 ; 117515
Subject Terms: Science & Technology, Technology, Computer Science, Information Systems, Engineering, Electrical & Electronic, Telecommunications, Brain-machine interfaces, embedded systems, FPGA, Huffman encoding, neural data compression, neural decoding, multi-unit activity, real-time signal processing, reconfigurable hardware, BRAIN, SYSTEM, 08 Information and Computing Sciences, 09 Engineering, 10 Technology
Relation: IEEE Access; http://hdl.handle.net/10044/1/101370
Contributors: National Institutes of Health
Superior Title: 12 ; 1
Subject Terms: Science & Technology, Technology, Life Sciences & Biomedicine, Computer Science, Artificial Intelligence, Interdisciplinary Applications, Engineering, Biomedical, Radiology, Nuclear Medicine & Medical Imaging, Brain MRI, Suggestive annotation, Image segmentation, Active learning, Brain, Brain Neoplasms, Diagnostic Imaging, Humans, Image Processing, Computer-Assisted, Machine Learning, Magnetic Resonance Imaging, 09 Engineering, 11 Medical and Health Sciences
Subject Geographic: Netherlands
Relation: Medical Image Analysis; http://hdl.handle.net/10044/1/97187; NIHR
Authors: Hallgren, KL, Heard, NA, Adams, NM
Superior Title: 19 ; 1
Subject Terms: Science & Technology, Technology, Physical Sciences, Computer Science, Theory & Methods, Statistics & Probability, Mathematics, Changepoint detection, Dependent data, Reversible jump MCMC, BINARY SEGMENTATION, BAYESIAN-INFERENCE, SERIES, MODELS, 0104 Statistics, 0802 Computation Theory and Mathematics
Relation: Statistics and Computing; http://hdl.handle.net/10044/1/100905
Authors: Egan, CP, Bourne, DP, Cotter, CJ, Cullen, MJP, Pelloni, B, Roper, SM, Wilkinson, M
Contributors: Natural Environment Research Council (NERC)
Superior Title: 30 ; 1
Subject Terms: Science & Technology, Technology, Physical Sciences, Computer Science, Interdisciplinary Applications, Physics, Mathematical, Semi-geostrophic, Geometric method, Eady model, Frontogenesis, Semi -discrete optimal transport, Adaptive time -stepping, SEMI-GEOSTROPHIC SYSTEM, NONLINEAR EQUILIBRATION, POWER DIAGRAMS, ALGORITHM, CONVERGENCE, MODEL, Applied Mathematics, 01 Mathematical Sciences, 02 Physical Sciences, 09 Engineering
Relation: Journal of Computational Physics; http://hdl.handle.net/10044/1/100471; NE/K012533/1; NE/M013634/1
Authors: Takis, PG, Vuckovic, I, Tan, T, Denic, A, Lieske, JC, Lewis, MR, Macura, S
Contributors: Medical Research Council, National Institute for Health Research (NIHR)
Superior Title: 4439 ; 4437
Subject Terms: Science & Technology, Life Sciences & Biomedicine, Technology, Physical Sciences, Biochemical Research Methods, Biotechnology & Applied Microbiology, Computer Science, Interdisciplinary Applications, Mathematical & Computational Biology, Statistics & Probability, Biochemistry & Molecular Biology, Mathematics, Bioinformatics, 01 Mathematical Sciences, 06 Biological Sciences, 08 Information and Computing Sciences
Relation: Bioinformatics; http://hdl.handle.net/10044/1/98483; MR/S010483/1; MC_PC_12025; IS-BRC-1215-20013
Authors: Ijaz, K, Tran, TTM, Kocaballi, AB, Calvo, RA, Berkovsky, S, Ahmadpour, N
Superior Title: 26 ; 1
Subject Terms: Science & Technology, Technology, Computer Science, Artificial Intelligence, Cybernetics, Information Systems, immersive virtual reality, older adults, user experience, design considerations, ENVIRONMENTS, EXPERIENCES, ACCOUNT, PEOPLE, SYSTEM, IMPACT
Relation: Multimodal Technologies and Interaction; http://hdl.handle.net/10044/1/99179
Authors: Monaci, M, Pike-Burke, C, Santini, A
Subject Terms: Science & Technology, Technology, Computer Science, Interdisciplinary Applications, Engineering, Industrial, Operations Research & Management Science, Knapsack Problem, Stochastic optimisation, Exact algorithms, Computational experiments, LITHIUM, Operations Research, 0102 Applied Mathematics, 0103 Numerical and Computational Mathematics
Relation: Computers and Operations Research; http://hdl.handle.net/10044/1/98834
Authors: Huang, J-J, Dragotti, PL
Superior Title: 4392 ; 4377
Subject Terms: Science & Technology, Technology, Computer Science, Artificial Intelligence, Engineering, Electrical & Electronic, Image denoising, wavelet transform, invertible neural networks, TRANSFORM, ALGORITHM, SPARSE, DICTIONARIES, CNN, Artificial Intelligence & Image Processing, 0801 Artificial Intelligence and Image Processing, 0906 Electrical and Electronic Engineering, 1702 Cognitive Sciences
Relation: IEEE Transactions on Image Processing; http://hdl.handle.net/10044/1/98498
Authors: Taborda, D, Goncalves Pedro, A, Pirrone, A
Subject Terms: Science & Technology, Technology, Physical Sciences, Computer Science, Interdisciplinary Applications, Engineering, Geological, Geosciences, Multidisciplinary, Geology, Constitutive modelling, Sand behaviour, State parameter, Boundary value problems, PLASTICITY MODEL, INTEGRATION, 0905 Civil Engineering, 0914 Resources Engineering and Extractive Metallurgy, 0915 Interdisciplinary Engineering, Geological & Geomatics Engineering
Relation: Computers and Geotechnics; http://hdl.handle.net/10044/1/97059
Availability: http://hdl.handle.net/10044/1/97059
Superior Title: 16 ; 1
Subject Terms: Science & Technology, Technology, Automation & Control Systems, Computer Science, Artificial Intelligence, Engineering, Multidisciplinary, Electrical & Electronic, Fine-kinney model, Occupational risk, Fermatean fuzzy, MARCOS, Prioritized weighted average operator, SAFETY, OPERATORS, HEALTH, MODEL, AHP, 08 Information and Computing Sciences, 09 Engineering, Artificial Intelligence & Image Processing
Relation: Engineering Applications of Artificial Intelligence; http://hdl.handle.net/10044/1/100901
Authors: Maksimovic, P, Fragoso Santos, J, Ayoun, SE, Gardner, P
Contributors: Engineering & Physical Science Research Council (E, Facebook
Superior Title: 33rd International Conference on Computer-Aided Verification, (CAV 2021) ; 850 ; 827
Subject Terms: Science & Technology, Technology, Computer Science, Hardware & Architecture, Software Engineering, Theory & Methods, Artificial Intelligence & Image Processing
Subject Geographic: Virtual
Relation: Lecture Notes in Computer Science; http://hdl.handle.net/10044/1/89626; EP/R034567/1; Continuous Reasoning Call
Authors: Donaldson, A, Thomson, P, Teliman, V, Milizia, S, Perez Maselco, A, Karpiński, A
Contributors: Engineering & Physical Science Research Council (EPSRC), Engineering & Physical Science Research Council (E
Superior Title: PLDI 2021 ; 1032 ; 1017
Subject Terms: Science & Technology, Technology, Computer Science, Software Engineering, Theory & Methods, Compilers, metamorphic testing, SPIR-V
Subject Geographic: Virtual
Relation: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); http://hdl.handle.net/10044/1/89395; EP/R011605/1; Ref: 542716
Authors: Punchihewa, H, Wu, N
Contributors: Engineering & Physical Science Research Council (EPSRC)
Superior Title: ACM SIGPLAN Haskell Symposium 2021 ; 135 ; 122
Subject Terms: Science & Technology, Technology, Computer Science, Software Engineering, parameterised algebraic effects, type-checker plugin, concurrency, data race
Subject Geographic: Virtual
Relation: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell; http://hdl.handle.net/10044/1/90647; EP/S028129/1
Contributors: Engineering & Physical Science Research Council (EPSRC)
Superior Title: ACM SIGPLAN Haskell Symposium 2021 ; 84 ; 71
Subject Terms: Science & Technology, Technology, Computer Science, Software Engineering, parser combinators
Subject Geographic: Virtual
Relation: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell; http://hdl.handle.net/10044/1/90646; EP/S028129/1
Authors: Zampokas, G, Bouganis, C-S, Tzovaras, D
Contributors: Farinella, GM, Radeva, P, Bouatouch, K
Superior Title: 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP) / 17th International Conference on Computer Vision Theory and Applications (VISAPP) ; 766 ; 757
Subject Terms: Science & Technology, Technology, Computer Science, Artificial Intelligence, Software Engineering, Imaging Science & Photographic Technology, Deep-learning, Stereo-matching, Sparsity
Subject Geographic: ELECTR NETWORK
Relation: PROCEEDINGS OF THE 17TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS (VISAPP), VOL 5; http://hdl.handle.net/10044/1/97312
Authors: Cocarascu, O, Stylianou, A, Cyras, K, Toni, F
Superior Title: 24th European Conference on Artificial Intelligence (ECAI 2020) ; 2456 ; 2449
Subject Terms: Science & Technology, Technology, Computer Science, Artificial Intelligence, FEATURE-SELECTION, EXPLANATION
Subject Geographic: Santiago de Compostela, Spain
Relation: http://hdl.handle.net/10044/1/77585