Publications
- Visualizing Time-Dependent Data Using Dynamic t-SNE.
Rauber PE Falcão AX Telea AC
EuroVis (Short Papers).
31-12-2016 - Automatic Detection of Metrical Structure Changes
SANDLER MB quinton E o'hanlon K dixon S
DMRN+11: Digital Music Research Network One-day Workshop 2016 Centre for Digital Music, Queen Mary University of London 20 Dec 2016.
20-12-2016 - Classification of Piano Pedaling Techniques Using Gesture Data from a Non-Intrusive Measurement System
LIANG B fazekas G mcpherson A sandler M
DMRN+11: Digital Music Research Network One-day Workshop 2016 Centre for Digital Music, Queen Mary University of London 20 Dec 2016.
20-12-2016 - Proceedings of the DMRN+11 Digital Music Research Network Workshop
Kudumakis P
Proceedings of the DMRN+11 Digital Music Research Network Workshop., 1-29.
20-12-2016 - Selection Equilibria of Higher-Order Games
Hedges J Oliva P Shprits E Winschel V Zahn P
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES. vol. 10137, 136-151.
17-12-2016 - A class of invisible inhomogeneous media and the control of electromagnetic waves
Vial B Liu Y 刘泱杰 Horsley SAR Philbin TG Hao Y
Physical Review B, American Physical Society (Aps) vol. 94 (24)
01-12-2016 - On Line Emotion Detection Using Retrainable Deep Neural Networks
Kollias D Tagaris A
2016 IEEE Symposium Series on Computational Intelligence (SSCI)., 1-8.
01-12-2016 - The principal bundles over an inverse semigroup
Kudryavtseva G Škraba P
Semigroup Forum, Springer Nature vol. 94 (3), 674-695.
22-11-2016 - Visualizing the Hidden Activity of Artificial Neural Networks
Rauber PE Falcao AX
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers (IEEE) vol. 23 (1), 101-110.
17-11-2016 - High index contrast subwavelength-scale optofluidic waveguide in MOFs
Hao Y Xiao L Ye Y Hua P
2016 Progress in Electromagnetic Research Symposium (PIERS)., 1010-1010.
10-11-2016 - Properties of subwavelength-core Silicon Optical Fibers
Ye Y Xiao L Hao Y
2016 Progress in Electromagnetic Research Symposium (PIERS)., 246-246.
10-11-2016 - Bar recursion over finite partial functions
Oliva P Powell T
Annals of Pure and Applied Logic vol. 168 (5), 887-921.
09-11-2016 - Aspects of superconformal multiplets in D > 4
Buican M Hayling J
Journal of High Energy Physics vol. 2016 (11)
01-11-2016 - Conformal Phased Array Antenna with Low SLL Based on QCTO
Lei J Hao Y
2016 Loughborough Antennas & Propagation Conference (LAPC)., 1-3.
01-11-2016 - Towards Music Structural Segmentation across Genres
Tian M Sandler MB
Acm Transactions on Intelligent Systems and Technology, Association For Computing Machinery (Acm) vol. 8 (2), 1-19.
21-10-2016 - Musicweb: Music Discovery with Open Linked Semantic Metadata [Nominee, Best Demo Award]
Allik A M Fazekas G SM
17-10-2016 - Abstraction and common classroom activities
Waite J Curzon P Marsh W Sentance S
Proceedings of the 11th Workshop in Primary and Secondary Computing Education., 112-113.
13-10-2016 - Message from the Technical Program chairs
Cheng Y Xue Q Hao Y Jin Y Bozzi M
2016 IEEE MTT-S International Microwave Workshop Series on Advanced Materials and Processes for RF and THz Applications (IMWS-AMP)., 2-3.
13-10-2016 - Grammaticality, Acceptability, and Probability: A Probabilistic View of Linguistic Knowledge
Lau JH Clark A Lappin S
Cognitive Science, Wiley vol. 41 (5), 1202-1241.
12-10-2016 - A coupling model for quasi-normal modes of photonic resonators
Vial B Hao Y
Journal of Optics, Iop Publishing vol. 18 (11)
07-10-2016 - Semantic Description of Timbral Transformations in Music Production
Stables R De Man B Enderby S Reiss JD Fazekas G Wilmering T
Proceedings of the 24th ACM international conference on Multimedia., 337-341.
01-10-2016 - Surface Wave Manipulation based on Transformation Optics: from Design to Manufacturing
La Spada L Hao Y
IEICE Proceeding Series. vol. 38 (1A4-2), 14-15.
01-10-2016 - From Interactive to Adaptive Mood-Based Music Listening Experiences in Social or Personal Contexts
Bartet M Fazekas G Alik A al E
Journal of The Audio Engineering Society, Audio Engineering Society vol. 64 (9), 673-682.
19-09-2016 - Towards a comprehensive dataset of vocal imitations of drum sounds
MEHRABI A Dixon S Sandler M
2nd AES Workshop on Intelligent Music Production.
12-09-2016 - Transparent electromagnetic shielding enclosure with CVD graphene
Zhao Y-T Wu B Zhang Y Hao Y
Applied Physics Letters, Aip Publishing vol. 109 (10)
05-09-2016 - Piano Transcription in the Studio Using an Extensible Alternating Directions Framework
Ewert S Sandler M
IEEE Transactions on Audio Speech and Language Processing, Institute of Electrical and Electronics Engineers (IEEE) vol. 24 (11), 1983-1997.
18-08-2016 - Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
Murawski AS
Logical Methods in Computer Science, Ifcolog (International Federation of Computational Logic) vol. 12 (3), 33-47.
17-08-2016 - Guest Editor’s Preface to the Special Issue on lattice gauge theories beyond QCD
Lucini B Panero M
International Journal of Modern Physics A, World Scientific Publishing vol. 31 (22)
09-08-2016 - Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT
Pasareanu CS Phan Q-S Malacaria P
2016 IEEE 29th Computer Security Foundations Symposium (CSF)., 387-400.
08-08-2016 - Nekrasov-Shatashvili limit of the 5D superconformal index
Papageorgakis C Pini A
Physical Review D vol. 94 (4)
08-08-2016 - Relative Perfect Secrecy: Universally Optimal Strategies and Channel Design
Khouzani MHR Malacaria P
2016 IEEE 29th Computer Security Foundations Symposium (CSF)., 61-76.
08-08-2016 - The Power of Computational Thinking, Games, Magic and Puzzles to Help You Become a Computational Thinker
Curzon P
05-08-2016 - FRACTIONAL BROWNIAN MOTION WITH HURST INDEX H=0 AND THE GAUSSIAN UNITARY ENSEMBLE
Fyodorov YV Khoruzhenko BA
Annals of Probability, Institute of Mathematical Statistics (Ims) vol. 44 (4), 2980-3031.
02-08-2016 - Analytical Magnetic Model Applied to Endoscopic Robots Design: A Ready-to-Use Implementation and a Case of Study
Li J Barjuei ES Ciuti G Hao Y Zhang P Shi Q Menciassi A Huang Q et al.
2016 IEEE International Conference on Information and Automation (ICIA)., 1618-1623.
01-08-2016 - Compositional Chroma Estimation Using Powered Euclidean Distance
O'Hanlon K Sandler MB
2016 24th European Signal Processing Conference (EUSIPCO)., 1237-1241.
01-08-2016 - Flexible Millimetre-Wave Frequency Reconfigurable Antenna for Wearable Applications in 5G Networks
Jilani SF Greinke B Hao Y Alomainy A
2016 URSI International Symposium on Electromagnetic Theory (EMTS)., 846-848.
01-08-2016 - Microwave Devices for Controlling Surface Waves
La Spada L Hao Y
2016 URSI International Symposium on Electromagnetic Theory (EMTS)., 359-360.
01-08-2016 - Behavioral Types in Programming Languages
Ancona D Bono V Bravetti M Campos J Castagna G Deniélou P-M Gay SJ Gesbert N et al.
Foundations and Trends® in Programming Languages, Emerald vol. 3 (2-3), 95-230.
21-07-2016 - Investigating some technical improvements to glueball calculations.
McNeile C Lucini B Rago A
, Sissa Medialab Srl
15-07-2016 - Surface Wave Cloak from Graded Refractive Index Nanocomposites
La Spada L McManus TM Dyke A Haq S Zhang L Cheng Q Hao Y
Scientific Reports, Nature Publications vol. 6
15-07-2016 - The density of states approach at finite chemical potential: a numerical study of the Bose gas.
Pellegrini R Bongiovanni L Langfeld K Lucini B Rago A
, Sissa Medialab Srl
15-07-2016 - Topology and glueballs in $SU(7)$ Yang-Mills with open boundary conditions
Amato A Lucini B Bali G
, Sissa Medialab Srl
15-07-2016 - Trace Semantics for Polymorphic References
Jaber G TZEVELEKOS NP
Logic in Computer Science (LICS).
05-07-2016 - BSMBench: A Flexible and Scalable HPC Benchmark from Beyond the Standard Model Physics
Bennett E Lucini B Jordan K Pica C Del Debbio L Patella A Rago A
2016 International Conference on High Performance Computing & Simulation (HPCS)., 834-839.
01-07-2016 - Modelling information resources and their salience in medical device design
Harrison MD Campos JC Curzon P
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems., 194-203.
21-06-2016 - Nonlinear analogue of the May−Wigner instability transition
Fyodorov YV Khoruzhenko BA
Proceedings of The National Academy of Sciences of The United States of America, Proceedings of The National Academy of Sciences vol. 113 (25), 6827-6832.
06-06-2016 - Assisted Coverage Closure
Nellis A Kesseli P Conmy PR Kroening D
Nasa Formal Methods vol. 9690, 49-64.
04-06-2016 - A Wideband T-Shaped Slot Antenna and its MIMO Application
Wen D-L Hao Y
2016 IEEE International Symposium on Antennas and Propagation (APSURSI)., 1761-1762.
01-06-2016 - An efficient algorithm for numerical computations of continuous densities of states
Langfeld K Lucini B Pellegrini R Rago A
European Physical Journal C, Springer Nature vol. 76 (6)
01-06-2016 - Analytical Magnetic Model for Medical Endoscopic Robots: A Ready-to-Use Implementation with Permanent Magnets
Li J Ciuti G Hao Y Zhang P Shi Q Menciassi A Huang Q Dario P
2016 6th IEEE International Conference on Biomedical Robotics and Biomechatronics (BioRob)., 253-253.
01-06-2016 - Decision support approaches for cyber security investment
Fielder A Panaousis E Malacaria P Hankin C Smeraldi F
Decision Support Systems, Elsevier vol. 86, 13-23.
01-06-2016 - Effects of non-flat interfaces in human skin tissues on the in-vivo Tera-Hertz communication channel
Yang K Abbasi QH Chopra N Munoz M Hao Y Alomainy A
Nano Communication Networks, Elsevier vol. 8, 16-24.
01-06-2016 - Electromagnetic Communication in Nano-scale
Lehtomäki J Hassan M Hao Y
Nano Communication Networks, Elsevier vol. 8
01-06-2016 - Graphene-based tunable non-foster circuit for VHF applications
Tian J Nagarkoti DS Rajab KZ Hao Y
Aip Advances, Aip Publishing vol. 6 (6)
01-06-2016 - Large mass hierarchies from strongly-coupled dynamics
Athenodorou A Bennett E Bergner G Elander D Lin C-JD Lucini B Piai M
Journal of High Energy Physics, Springer Nature vol. 2016 (6)
01-06-2016 - Radiation-Q Bound of a Small Non-Foster Antenna
Nagarkoti DS Hao Y Rajab KZ
2016 IEEE International Symposium on Antennas and Propagation (APSURSI)., 187-188.
01-06-2016 - Resolution Analysis of Compressed Sensing Based Methods for Single Frequency Radar Imaging
Cheng Q Alomainy A Hao Y
2016 IEEE International Symposium on Antennas and Propagation (APSURSI)., 1033-1034.
01-06-2016 - Signal to Noise Ratio Improvement with Non-Foster Antenna Matching
Nagarkoti DS Hao Y Rajab KZ
2016 IEEE International Symposium on Antennas and Propagation (APSURSI)., 1301-1302.
01-06-2016 - An invitation to game semantics
Murawski AS Tzevelekos N
Acm Siglog News, Association For Computing Machinery (Acm) vol. 3 (2), 56-67.
31-05-2016 - Genre-Adaptive Semantic Computing and Audio-Based Modelling for Music Mood Annotation
Saari P Fazekas G Eerola T Barthet M Lartillot O Sandler M
IEEE Transactions on Affective Computing, Institute of Electrical and Electronics Engineers (IEEE) vol. 7 (2), 122-135.
26-05-2016 - Wave propagation in reconfigurable broadband gain metamaterials at microwave frequencies
Fan Y Nagarkoti DS Rajab KZ Hao Y Zhang HC Cui TJ
Journal of Applied Physics, Aip Publishing vol. 119 (19)
19-05-2016 - Using FRAM beyond safety: a case study to explore how sociotechnical systems can flourish or stall
Furniss D Curzon P
Theoretical Issues in Ergonomics Science, Taylor & Francis vol. 17 (5-6), 507-532.
10-05-2016 - Guest Editorial: MobiHealth 2014, IEEE HealthCom 2014, and IEEE BHI 2014
Akay M Coatrieux G Hao Y Fotiadis DI Laine A Lo B Nikita KS Noury N et al.
IEEE Journal of Biomedical and Health Informatics, Institute of Electrical and Electronics Engineers (IEEE) vol. 20 (3), 731-732.
09-05-2016 - Regional Image Features Model for Automatic Classification between Normal and Glaucoma in Fundus and Scanning Laser Ophthalmoscopy (SLO) Images
Haleem MS Han L Hemert JV Fleming A Pasquale LR Silva PS Song BJ Aiello LP
Journal of Medical Systems, Springer Nature vol. 40 (6)
16-04-2016 - A Generic Design Approach for Metasurfaces to Manipulate Surface Waves
La Spada L Hao Y
2016 10th European Conference on Antennas and Propagation (EuCAP)., 1-3.
01-04-2016 - Accurate Modelling of Graphene Field Effect Transistor for Wireless Communications
Tian J Katsounaros A Smith D Hao Y
2016 10th European Conference on Antennas and Propagation (EuCAP)., 1-2.
01-04-2016 - Channel Modelling of Human Tissues at Terahertz Band
Yang K Hao Y Alomainy A Abbasi QH Qaraqe K
2016 IEEE Wireless Communications and Networking Conference., 1-4.
01-04-2016 - Ellipticity Statistics of Ultra Wideband MIMO Channels for Body Centric Wireless Communication
Abbasi QH Sallabi HE Serpedin E Qaraqe K Alomainy A Hao Y
2016 10th European Conference on Antennas and Propagation (EuCAP)., 1-4.
01-04-2016 - Isotropic and anisotropic surface wave cloaking techniques
McManus TM La Spada L Hao Y
Journal of Optics, Iop Publishing vol. 18 (4)
01-04-2016 - Non-perturbative results for large-N gauge theories
Lucini B
Nuclear and Particle Physics Proceedings, Elsevier vol. 273, 1657-1663.
01-04-2016 - Q-Bandwidth Enhancement of an Antenna Using Non-Foster Circuit Based on Negative Differential Resistance Devices
Nagarkoti DS Hao Y Rajab KZ
2016 10th European Conference on Antennas and Propagation (EuCAP)., 1-2.
01-04-2016 - Data Driven Wireless Network Design: A Multi-level Modeling Approach
Fortuna C De Poorter E Škraba P Moerman I
Wireless Personal Communications, Springer Nature vol. 88 (1), 63-77.
15-03-2016 - Nominal Game Semantics
Murawski AS
Foundations and Trends® in Programming Languages, Emerald vol. 2 (4), 191-269.
09-03-2016 - A Score-Informed Shift-Invariant Extension of Complex Matrix Factorization for Improving the Separation of Overlapped Partials in Music Recordings
Rodriguez-Serrano FJ Ewert S Vera-Candeas P Sandler M
2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)., 61-65.
01-03-2016 - An Iterative Hard Thresholding Approach to $\ell_{0}$ Sparse Hellinger NMF
O'Hanlon K Sandler MB
2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)., 4737-4741.
01-03-2016 - Estimation of the Reliability of Multiple Rhythm Features Extraction from a Single Descriptor
Quinton E Sandler M Dixon S
2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)., 256-260.
01-03-2016 - Hybrid Music Recommender Using Content-Based and Social Information
Chiliguano P
2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)., 2618-2622.
01-03-2016 - Large volumes and spectroscopy of walking theories
Del Debbio L Lucini B Patella A Pica C Rago A
Physical Review D, American Physical Society (Aps) vol. 93 (5)
01-03-2016 - Critical Point Cancellation in 3D Vector Fields: Robustness and Discussion
Skraba P Rosen P Wang B Chen G Bhatia H Pascucci V
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers (IEEE) vol. 22 (6), 1683-1693.
29-02-2016 - Charged hadrons in local finite-volume QED+QCD with C⋆ boundary conditions
Lucini B Patella A Ramos A Tantalo N
Journal of High Energy Physics, Springer Nature vol. 2016 (2)
01-02-2016 - News Across Languages - Cross-Lingual Document Similarity and Event Tracking
Rupnik J Muhic A Leban G Skraba P Fortuna B Grobelnik M
Journal of Artificial Intelligence Research, AI Access Foundation vol. 55, 283-316.
30-01-2016 - On the performance of compressed sensing-based methods for millimeter-wave holographic imaging.
Cheng Q Alomainy A Hao Y
Applied Optics, Optica Publishing Group vol. 55 (4), 728-738.
22-01-2016 - A Higher-Dimensional Expansion of Affective Norms for English Terms for Music Tagging
Buccoli M Zanoni M Fazekas G Sarti A Sandler M
Proc. of the 17th International Society for Music Information Retrieval (ISMIR-16) conference, August 7-11., New York, USA., 316-322.
01-01-2016 - Accurate Modelling of Graphene Field Effect Transistor for Wireless Communications
Tian J Katsounaros A Smith D Hao Y
2016 10TH EUROPEAN CONFERENCE ON ANTENNAS AND PROPAGATION (EUCAP).
01-01-2016 - An Active Wideband and Wide-Angle Electromagnetic Absorber at Microwave Frequencies
Fan Y Zhang HC Yin JY Xu L Nagarkoti DS Hao Y Cui TJ
IEEE Antennas and Wireless Propagation Letters, Institute of Electrical and Electronics Engineers (IEEE) vol. 15, 1913-1916.
01-01-2016 - An Ontology for Audio Features
Allik A Fazekas G Sandler M
Proc. of the 17th International Society for Music Information Retrieval (ISMIR-16) conference, August 7-11., New York, USA., 73-79.
01-01-2016 - Assisted Coverage Closure.
Nellis A Kesseli P Conmy PR Kroening D Rayadurgam S Tkachuk O
NFM. vol. 9690, 49-64.
01-01-2016 - Audio Commons: Bringing Creative Commons Audio Content to the Creative Industries
Font F Brookes T Fazekas G Guerber M La Burthe A
Proc. AES 61st International Conference on Audio for Games, Feb 10–12, London, UK.
01-01-2016 - AUFX-O: Novel Methods for the Representation of Audio Processing Workflows
Wilmering T Fazekas G Sandler MB
Lecture Notes in Computer Science. vol. 9982, 229-237.
01-01-2016 - Automatic Tagging Using Deep Convolutional Neural Networks
Choi K Fazekas G Sandler M
Proc. of the 17th International Society for Music Information Retrieval (ISMIR-16) conference, August 7-11., New York, USA., 805-811.
01-01-2016 - Creating, Visualizing, and Analyzing Dynamic Music Objects in the Browser with the Dymo Designer
Thalmann F Fazekas G Wiggins GA Sandler M
Proc. ACM Audio Mostly Conference, Oct. 4-6, Norrköping, Sweden., 39-46.
01-01-2016 - Crossroads: Interactive Music Systems Transforming Performance, Production and Listening
Barthet M Fazekas G Thalmann F Sandler M Wiggins GA
Proc. ACM Conference on Human Factors in Computing Systems (CHI), May 7–12, San Jose, CA, USA..
01-01-2016 - Efficient Numerical Frameworks for Multi-objective Cyber Security Planning
Khouzani M Malacaria P Hankin C Fielder A Smeraldi F
Lecture Notes in Computer Science. vol. 9879, 179-197.
01-01-2016 - From the Density-of-states Method to Finite Density Quantum Field Theory
Langfeld K Lucini B
Acta Physica Polonica B Proceedings Supplement, Jagiellonian University vol. 9 (3)
01-01-2016 - Geolocation Adaptive Music Player
Carrillo A Thalmann F Fazekas G Sandler M
Proc. Web Audio Conference WAC-2016, April 4–6, Atlanta, USA.
01-01-2016 - Grateful Live: Mixing Multiple Recordings of a Dead Performance into an Immersive Experience
Wilmering T Thalmann F Sandler MB
Proceedings of the Audio Engineering Society Convention 141.
01-01-2016 - Guessing Games on Triangle-Free Graphs.
Cameron PJ Riis S
Electron. J. Comb. vol. 23, 1-1.
01-01-2016 - Homogenization of composites using full-wave point-dipole model
Naeem M Hao Y
Epj Applied Metamaterials, Edp Sciences vol. 3
01-01-2016 - Hybrid Session Verification Through Endpoint API Generation
Hu R Yoshida N
Lecture Notes in Computer Science. vol. 9633, 401-418.
01-01-2016 - Information Leakage Analysis of Complex C Code and Its application to OpenSSL
Malacaria P Tautchning M DiStefano D
Lecture Notes in Computer Science. vol. 9952, 909-925.
01-01-2016 - Interdisciplinary classification of audio effects in the audio effect ontology
Wilmering T Sandler MB
Ceur Workshop Proceedings. vol. 1690
01-01-2016 - MusicWeb: Music discovery with open linked semantic metadata
Mora-McGinity M Allik A Fazekas G Sandler M
Communications in Computer and Information Science. vol. 672, 291-296.
01-01-2016 - MusicWeb: Music Discovery with Open Linked Semantic Metadata
Mora-Mcginity M Allik A Fazekas G Sandler M
Communications in Computer and Information Science. vol. 672, 291-296.
01-01-2016 - myMoodplay: An interactive mood-based music discovery app
Allik A Fazekas G Barthet M Sandler M
Proc. of the 2nd Web Audio Conference (WAC), April 4–6, Atlanta, Georgia, USA..
01-01-2016 - Nominal Game Semantics
Murawski AS
01-01-2016 - Ontological Representation of Audio Features
Allik A Fazekas G Sandler M
Lecture Notes in Computer Science. vol. 9982, 3-11.
01-01-2016 - Proc. Metadata and Semantics Research (MTSR), Nov. 22-25, Göttingen, Germany
Juric D Fazekas G
01-01-2016 - Score-Informed Identification of Missing and Extra Notes in Piano Recordings
Ewert S Wang S Müller M Sandler M
Proceedings of the International Society for Music Information Retrieval Conference (ISMIR)., 30-36.
01-01-2016 - smid: A Black-Box Program Driver
Khazem K Tautschnig M
Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings., 182-188.
01-01-2016 - The density of states approach at finite chemical potential: a numerical study of the Bose gas.
Pellegrini R Bongiovanni L Langfeld K Lucini B Rago A
Pos vol. LATTICE2015, 192-192.
01-01-2016 - The Mobile Audio Ontology: Experiencing Dynamic Music Objects on Mobile Devices
Thalmann F Carrillo G Wiggins GA Sandler M
IEEE International Conference on Semantic Computing (ICSC), Feb. 4-6, Laguna Hills, CA, USA., 47-54.
01-01-2016 - The Semantic Music Player: A Smart Mobile Player Based on Ontological Structures and Analytical Feature Metadata
Thalmann F Perez Carillo A Fazekas G Sandler M
Proc. Web Audio Conference WAC-2016, April 4–6, Atlanta, USA.
01-01-2016 - Towards Playlist Generation Algorithms Using RNNs Trained on Within-Track Transitions
Choi K Fazekas G Sandler M
Proc. 24th ACM Conference on User Modeling, Adaptation and Personalisation (UMAP 2016), Workshop on Surprise, Opposition, and Obstruction in Adaptive and Personalized Systems (SOAP) June 13–17, Halifax, Canada.
01-01-2016 - v2c - A Verilog to C Translator
Mukherjee R Tautschnig M
Tools and Algorithms for the Construction and Analysis of Systems., 580-586.
01-01-2016 - v2c – A Verilog to C Translator
Mukherjee R Tautschnig M
Lecture Notes in Computer Science. vol. 9636, 580-586.
01-01-2016 - What's New About AWPL?
Hao Y
IEEE Antennas and Wireless Propagation Letters, Institute of Electrical and Electronics Engineers (IEEE) vol. 15, 1-3.
01-01-2016