Publications
- Dynamic Deadlock Verification for General Barrier Synchronisation
Cogumbreiro T Hu R Martins F Yoshida N
Acm Transactions on Programming Languages and Systems, Association For Computing Machinery (Acm) vol. 41 (1), 1-38.
11-12-2018 - Design of a MIMO Antenna With High Isolation for Smartwatch Applications Using the Theory of Characteristic Modes
Wen D Hao Y Wang H Zhou H
IEEE Transactions on Antennas and Propagation, Institute of Electrical and Electronics Engineers (IEEE) vol. 67 (3), 1437-1447.
06-12-2018 - Generalised Entropies and Metric-Invariant Optimal Countermeasures for Information Leakage under Symmetric Constraints
MALACARIA P KHOUZANI MHR
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers vol. 65 (2), 888-901.
28-11-2018 - C Minor: a Semantic Publish/Subscribe Broker for the Internet of Musical Things
Viola F Turchet L Antoniazzi F
2018 23rd Conference of Open Innovations Association (FRUCT). vol. 00, 405-415.
16-11-2018 - Towards a Semantic Architecture for the Internet of Musical Things
Turchet L Viola F Fazekas G
2018 23rd Conference of Open Innovations Association (FRUCT). vol. 00, 382-390.
16-11-2018 - Design of a wideband antenna by manipulating characteristic modes of a metallic loop
Wen D Hao Y Wang H Zhou H
Microwave and Optical Technology Letters, Wiley vol. 61 (2), 513-518.
06-11-2018 - Information theory in game theory
Khouzani MHR Malacaria P
Entropy vol. 20 (11)
05-11-2018 - Counting Edge-injective Homomorphisms and Matchings on Restricted Graph Classes
Curticapean R Dell H
Theory of Computing Systems, Springer Nature vol. 63 (5), 987-1026.
31-10-2018 - Analytical Magnetic Model towards Compact Design of Magnetically-driven Capsule Robot
Hao Y Zhang P Bianchi F Wu L Li J Ciuti G Huang Q Dario P
2018 IEEE International Conference on Cyborg and Bionic Systems (CBS). vol. 00, 245-249.
27-10-2018 - The 3D Spatial Non-Stationarity and Spherical Wavefront in Massive MIMO Channel Measurement
Li J Ai B He R Yang M Zhong Z Hao Y Shi G
2018 10th International Conference on Wireless Communications and Signal Processing (WCSP). vol. 00, 1-6.
20-10-2018 - Cultural Heritage Documentation and Exploration of Live Music Events with Linked Data
Thalmann F Wilmering T Sandler MB
Proceedings of the 1st International Workshop on Semantic Applications for Audio and Music., 1-5.
09-10-2018 - Playsound.space
Viola F Stolfi A Milo A Ceriani M Barthet M Fazekas G
Proceedings of the 1st International Workshop on Semantic Applications for Audio and Music., 46-53.
09-10-2018 - Preface
Bechhofer S Fazekas G
ACM International Conference Proceeding Series.
09-10-2018 - Exploration of grateful dead concerts and memorabilia on the semantic Web
Wilmering T Thalmann F Sandler MB
International Semantic Web Conference Monterey, CA. vol. 2180
08-10-2018 - An Approximate Nerve Theorem
Govc D Skraba P
Foundations of Computational Mathematics vol. 18 (5), 1245-1297.
01-10-2018 - Printable all-dielectric water-based absorber.
Bradley PJ Torrico MOM Brennan C Hao Y
Sci Rep vol. 8 (1), 14490-14490.
27-09-2018 - A User-Adaptive Automated DJ Web App with Object-Based Audio and Crowd-Sourced Decision Trees
THALMANN FLORIAN THOMPSON L SANDLER M
4th Web Audio Conference Berlin.
19-09-2018 - Exploring Real-time Visualisations to Support Chord Learning with a Large Music Collection
Pauwels J Xambo Sedo A Roma G Barthet M Fazekas G
4th Web Audio Conference (WAC) Berlin, Germany 19 Sep 2018 - 21 Sep 2018.
19-09-2018 - pywebaudioplayer: Bridging the gap between audio processing code and attractive visualisations based on web technology
Pauwels J Sandler M
4th Web Audio Conference (WAC) Berlin, Germany 19 Sep 2018 - 21 Sep 2018.
19-09-2018 - A Finite Element Model Order Reduction Technique for Multiscale Electromagnetic Problems
Wu B-Y Hao Y Sheng X-Q
IEEE Journal on Multiscale and Multiphysics Computational Techniques, Institute of Electrical and Electronics Engineers (IEEE) vol. 3, 140-148.
17-09-2018 - Connected Vehicle Channels: On the Consideration of Electromagnetic Scattering From Local Scatterers
Li G Ai B Guan K He D Zhong Z Hao Y
IEEE Transactions on Vehicular Technology, Institute of Electrical and Electronics Engineers (IEEE) vol. 67 (9), 7910-7923.
17-09-2018 - Ultrashort pulse synthesis for energy concentration control in nanostructures.
Aziz AK Zhang L Hao Y Rajab KZ
Optics Express, Optica Publishing Group vol. 26 (19), 25188-25198.
12-09-2018 - Similarity Measures for Vocal-Based Drum Sample Retrieval Using Deep Convolutional Auto-Encoders
Mehrabi A Choi K Dixon S Sandler M
ICASSP 2018. vol. 2018-April, 356-360.
10-09-2018 - Piano Legato-Pedal Onset Detection Based on a Sympathetic Resonance Measure
Liang B Fazekas G Sandler M
26th European Signal Processing Conference (EUSIPCO) Rome 3 Sep 2018 - 7 Sep 2018., 2484-2488.
07-09-2018 - Towards a Semantic Web Representation and Application of Audio Mixing Rules
Moffat D Thalmann F Sandler M
4th Workshop on Intelligent Music Production (WIMP) Huddersfield, UK.
06-09-2018 - Optimal channel design: A game theoretical analysis
Khouzani MHR Malacaria P
Entropy vol. 20 (9)
05-09-2018 - Channel Characterization for Massive MIMO in Subway Station Environment at 6 GHz and 11 GHz
Li J Ai B He R Yang M Wang Q Zhang B Zhong Z Hao Y
2018 IEEE 88th Vehicular Technology Conference (VTC-Fall). vol. 00, 1-5.
27-08-2018 - Directional Analysis of Massive MIMO Channels at 11 GHz in Theater Environment
Li J Ai B He R Yang M Zhang Y Liu X Zhong Z Hao Y
2018 IEEE 88th Vehicular Technology Conference (VTC-Fall). vol. 00, 1-5.
27-08-2018 - A Distributed Event-Triggered Control Strategy for DC Microgrids Based on Publish-Subscribe Model Over Industrial Wireless Sensor Networks
Alavi SA Mehran K Hao Y Rahimian A Mirsaeedi H Vahidinasab V
IEEE Transactions on Smart Grid
22-08-2018 - Measurement-Based Massive MIMO Channel Characterization in Lobby Environment at 11 GHz
Li J Ai B He R Yang M Zhong Z Hao Y
2018 IEEE/CIC International Conference on Communications in China (ICCC). vol. 00, 762-767.
18-08-2018 - User Selection of Optimal HRTF Sets via Holistic Comparative Evaluation
SHUKLA RC STEWART RL Roginska A SANDLER MB
Audio Engineering Society Conference on Audio for Virtual and Augmented Reality Redmond, WA, USA 20 Aug 2018 - 22 Aug 2018., 1-10.
11-08-2018 - Phased Array Imaging with Compressive Sensing
Cheng Q Hao Y
2018 International Applied Computational Electromagnetics Society Symposium - China (ACES). vol. 00, 1-2.
01-08-2018 - Topological Function Optimization for Continuous Shape Matching
Poulenard A Skraba P Ovsjanikov M
Computer Graphics Forum, Wiley vol. 37 (5), 13-25.
01-08-2018 - Wide-angle optical half-wave plate from the field transformation approach and form-birefringence theory.
Shi H Hao Y
Optics Express, Optica Publishing Group vol. 26 (16), 20132-20144.
25-07-2018 - Model Checking Boot Code from AWS Data Centers
Cook B Khazem K Kroening D TAUTSCHNIG M Tuttle M
Computer Aided Verification.
18-07-2018 - Recommending songs to music learners based on chord content
Pauwels J Fazekas G Sandler M
2018 Joint Workshop on Machine Learning for Music Stockholm, Sweden 14 Jul 2018.
14-07-2018 - Symbolic Side-Channel Analysis for Probabilistic Programs.
Malacaria P Khouzani MHR Pasareanu CS Phan Q-S Luckow KS
Iacr Cryptol. Eprint Arch. vol. 2018, 329-329.
09-07-2018 - An Investigation on Propagation Characteristics of In-body Radio Channels for Wireless Implants
Li J Nie Z Liu Y Wang L Hao Y
2018 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting. vol. 00, 217-218.
08-07-2018 - Design of a Triple-Mode Wideband Antenna Using Theory of Characteristic Modes
Wen D Hao Y Wang H Zhou H
2018 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting. vol. 00, 1117-1118.
08-07-2018 - Luneburg Lens from Hyperuniform Disordered Composite Materials
Zhang H Wu W Hao Y
2018 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting. vol. 00, 2281-2282.
08-07-2018 - The Electromagnetic framework of “Nanoarchitectronics”
Ahopelto J Benini A Bilotti F Casali B Chazelas J Gerini G Hao Y Herbertz K et al.
2018 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting. vol. 00, 2071-2072.
08-07-2018 - Fine-Grained Dichotomies for the Tutte Plane and Boolean #CSP
Brand C Roth M
Algorithmica, Springer Nature vol. 81 (2), 541-556.
22-06-2018 - Measurement, Recognition and Visualisation of Piano Pedalling Gestures and Techniques
Liang B Fazekas G
Jaes Special Issue on Participatory Sound and Music Interaction Using Semantic Audio vol. 2, xxxx-xxxx.
18-06-2018 - Measurement, recognition, and visualization of piano pedaling gestures and techniques
Liang B Fazekas G Sandler M
Aes: Journal of The Audio Engineering Society vol. 66 (6), 448-456.
18-06-2018 - Does K matter? k-NN hubness analysis for kernel additive modelling vocal separation
Fano Yela D Stowell D Sandler M
LVA-ICA. vol. 10891 LNCS, 280-289.
06-06-2018 - Topology of random geometric complexes: a survey
Bobrowski O Kahle M
Journal of Applied and Computational Topology vol. 1, 331-364.
01-06-2018 - Corrections to “Design of a Wideband Antenna With Stable Omnidirectional Radiation Pattern Using the Theory of Characteristic Modes”
Wen D Hao Y Wang H Zhou H
IEEE Transactions on Antennas and Propagation
26-05-2018 - Influence Analysis of Typical Objects in Rural Railway Environments at 28 GHz
He D Ai B Schmieder M Zhong Z Kim J Hui B Chung H Kim I et al.
IEEE Transactions on Vehicular Technology, Institute of Electrical and Electronics Engineers (IEEE) vol. 68 (3), 2066-2076.
24-05-2018 - Roadmap on transformation optics
McCall M Pendry JB Galdi V Lai Y Horsley SAR Li J Zhu J Mitchell-Thomas RC et al.
Journal of Optics vol. 20 (6)
22-05-2018 - StreamStory: Exploring Multivariate Time Series on Multiple Scales
Stopar L Skraba P Grobelnik M Mladenic D
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers (IEEE) vol. 25 (4), 1788-1802.
18-04-2018 - Improved Detection of Semi-Percussive Onsets in Audio Using Temporal Reassignment
O'Hanlon K Sandler MB
2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 611-615.
15-04-2018 - Mid-Infrared Reflect-Array Antenna with Beam Switching Enabled by Continuous Graphene Layer
Giddens H Yang L Tian J Hao Y
IEEE Photonics Technology Letters, Institute of Electrical and Electronics Engineers vol. 30 (8), 748-751.
15-04-2018 - Shift-Invariant Kernel Additive Modelling for Audio Source Separation
Yela DF Ewert S O'Hanlon K Sandler MB
2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 616-620.
15-04-2018 - A Trace Semantics for System F Parametric Polymorphism
JABER G TZEVELEKOS NP
21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS).
14-04-2018 - Magnetically tunable graphene-based reflector under linear polarized incidence at room temperature
Yang L Tian J Giddens H Poumirol JM Wu J Kuzmenko AB Hao Y
Applied Physics Letters vol. 112 (15)
13-04-2018 - Magnetically-driven medical robots: An analytical magnetic model for endoscopic capsules design
Li J Barjuei ES Ciuti G Hao Y Zhang P Menciassi A Huang Q Dario P
Journal of Magnetism and Magnetic Materials, Elsevier vol. 452, 278-287.
01-04-2018 - The Effects of Noisy Labels on Deep Convolutional Neural Networks for Music Tagging
Choi K Fazekas G Sandler M Cho K
IEEE Transactions on Emerging Topics in Computational Intelligence, IEEE vol. 2 (2), 139-149.
23-03-2018 - The role of computed tomography data in the design of a robotic magnetically-guided endoscopic platform
Zhang P Li J Hao Y Bianchi F Ciuti G Arai T Huang Q Dario P
Advanced Robotics, Taylor & Francis vol. 32 (8), 443-456.
23-03-2018 - Experimental demonstration of conformal phased array antenna via transformation optics
Lei J Yang J Chen X Zhang Z Fu G Hao Y
Scientific Reports, Springer Nature vol. 8 (1)
28-02-2018 - A session type provider: compile-time API generation of distributed protocols with refinements in F#
Neykova R Hu R Yoshida N Abdeljallal F
Proceedings of the 27th International Conference on Compiler Construction., 128-138.
24-02-2018 - A direct proof of Schwichtenberg's bar recursion closure theorem
BORGES OLIVA P Steila S
The Journal of Symbolic Logic, Association For Symbolic Logic
12-02-2018 - A Concise Taxonomy for Describing Data as an Art Material
Freeman J Wiggins G Starks G Sandler M
Leonardo. vol. 51 (1), 75-79.
01-02-2018 - Beam steering performance of compressed Luneburg lens based on transformation optics
Gao J Wang C Zhang K Hao Y Wu Q
Results in Physics vol. 9, 570-575.
11-01-2018 - Study on Sparse MIMO Array for Compressive Sensing Imaging
Cheng Q Hao Y
2018 IEEE Conference on Antenna Measurements & Applications (CAMA). vol. 00, 1-3.
06-01-2018 - Effective verification for low-level software with competing interrupts
Liang L Melham T Kroening D
Acm Transactions on Embedded Computing Systems, Association For Computing Machinery vol. 17, 1-26.
02-01-2018 - A Comparison of Audio Signal Preprocessing Methods for Deep Neural Networks on Music Tagging
Choi K Fazekas G Sandler M Cho K
Proc. of the 26th European Signal Processing Conference (EUSIPCO 2018), 3-7 Sept, Rome, Italy.
01-01-2018 - A Hierarchical Visualization Analysis Model of Power Big Data
Li Y Wang Z Hao Y
Iop Conference Series Earth and Environmental Science, Iop Publishing vol. 108 (5)
01-01-2018 - A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
Viering M Chen T-C Eugster P Hu R Ziarek L
Lecture Notes in Computer Science. vol. 10801, 799-826.
01-01-2018 - Adaptive ballistics control of dynamic range compression for percussive tracks
Moffat D Sandler MB
145th Audio Engineering Society International Convention AES 2018.
01-01-2018 - An Approach for Noninvasive Blood Glucose Monitoring Based on Bioimpedance Difference Considering Blood Volume Pulsation
Li J Igbe T Liu Y Nie Z Qin W Wang L Hao Y
IEEE Access, Institute of Electrical and Electronics Engineers (IEEE) vol. 6, 51119-51129.
01-01-2018 - Bulk ferroelectric materials for reconfigurable antenna applications
Giddens H Zhang H Yu C Hao Y
Iet Conference Publications. vol. 2018 (CP741)
01-01-2018 - Comparative study of compressive sensing imaging in different array configurations
Qiao Cheng Alomainy A Yang Hao
12th European Conference on Antennas and Propagation (EuCAP 2018).
01-01-2018 - Design of a compact and low-profile wearable MIMO antenna for wireless personal area networks
Wen D Hao Y Wang H Zhou H
Iet Conference Publications. vol. 2018 (CP741)
01-01-2018 - Feature Design Using Audio Decomposition for Intelligent Control of the Dynamic Range Compressor
Sheng D
Proc. of the IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), April 15-20, Calgary, Canada..
01-01-2018 - Feature Selection for Dynamic Range Compressor Parameter Estimation
Sheng D Fazekas G
Proc. of the 144th Convention of the Audio Engineering Society, 23-26 May, Milan, Italy.
01-01-2018 - Guitarset: A dataset for guitar transcription
Xi Q Bittner RM Pauwels J Ye X Bello JP
International Society for Music Information Retrieval Conference., 453-460.
01-01-2018 - I Wonder... Inquiry Techniques As A Method To Gain Insights Into People’s Encounters With Visual Art
Marengo L Fazekas G
Proc. International Conference on Museums and the Web 2018, April 18-21, Vancouver, Canada..
01-01-2018 - Jam with Jamendo: Querying a Large Music Collection by Chords from a Learner's Perspective
Xambo A Pauwels J Roma G Barthet M Fazekas G
2018 CONFERENCE ON INTERACTION WITH SOUND (AUDIO MOSTLY): SOUND IN IMMERSION AND EMOTION (AM'18).
01-01-2018 - Live Repurposing of Sounds: MIR Explorations with Personal and Crowd-sourced Databases
Xambo A Roma G Barthet M
Proc. of the New Interfaces for Musical Expression (NIME), 3-6 June, Blacksburg, VA, USA..
01-01-2018 - MusicLynx
Allik A Thalmann F Sandler M
Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18., 167-170.
01-01-2018 - Perception of mismatched auditory distance - Cinematic VR
McArthur A Sandler M Stewart R
Proceedings of the AES International Conference. vol. 2018-August, 24-33.
01-01-2018 - Persistent homology and machine learning
Škraba P
Informatica Slovenia vol. 42 (2), 253-258.
01-01-2018 - Pseudo-Random Number Generation Using Generative Adversarial Networks.
Bernardi MD Khouzani MHR Malacaria P Alzate C Monreale A Assem H Bifet A Buda TS et al.
Nemesis/UrbReas/SoGood/IWAISe/GDM@PKDD/ECML. vol. 11329, 191-200.
01-01-2018 - Tailoring near and Far Electromagnetic Fields Through Optimization
Vial B Yang Hao
12th European Conference on Antennas and Propagation (EuCAP 2018).
01-01-2018 - The impact of compressor ballistics on the perceived style of music
Bromham G Moffat D Barthet M
145th Audio Engineering Society International Convention AES 2018.
01-01-2018 - The Influence of Context on Sentence Acceptability Judgements
Bernardy J-P Lappin S Lau JH
Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers)., 456-461.
01-01-2018