Now showing items 1-20 of 115

  • Acoustic Sensing From a Multi-Rotor Drone 

    WANG, L; CAVALLARO, A (Institute of Electrical and Electronics Engineers, 2018-04)
    We propose a time-frequency processing method that localizes and enhances a target sound by exploiting spectral and spatial characteristics of the ego-noise captured by a microphone array mounted on a multi-rotor micro ...
  • Analysis of brand image effect on advertising awareness using a neuro-fuzzy and a neural network prediction models 

    Fahmi, A; Ulengin, KB; Kahraman, C (Atlantis Press, 2017)
    Almost all the worldwide and nationwide companies utilize advertising to increase their sales volume and profit. These companies pay millions of dollars to reach consumers and announce their products or services. This ...
  • Assessing Musical Similarity for Computational Music Creativity 

    GODDARD, C; BARTHET, M; WIGGINS, G (Audio Engineering Society, 2018-04)
    Computationally creative systems require semantic information when reflecting or self reasoning on their output. In this paper, we outline the design of a computationally creative musical performance system aimed at producing ...
  • Audio Commons ontology: a data model for an audio content ecosystem 

    CERIANI, MG; FAZEKAS, G; The 17th International Semantic Web Conference (ISWC 2018) (The 17th International Semantic Web Conference, 2018)
    Multiple online services host repositories of audio clips of different kinds, ranging from music tracks, albums, playlists, to instrument samples and loops, to a variety of recorded or synthesized sounds. Programmatic ...
  • Autonomous Compressive Sensing Augmented Spectrum Sensing 

    Zhang, X; Ma, Y; Gao, Y; Zhang, W (IEEE, 2018-04)
    CCBY This paper proposes a new spectrum sensing technique, referred to as autonomous compressive sensing (CS) augmented spectrum sensing, which can be developed to provide more efficient spectrum opportunities identification ...
  • Bayesian MAP estimation of piecewise arcs in tempo time-series 

    Stowell, D; Chew, E; 9th International Symposium on Computer Music Modeling and Retrieval CMMR 2012 (Springer, 2012)
    In musical performances with expressive tempo modulation, the tempo variation can be modelled as a sequence of tempo arcs. Previous authors have used this idea to estimate series of piecewise arc segments from data. In ...
  • Beam steering performance of compressed Luneburg lens based on transformation optics 

    Gao, J; Wang, C; Zhang, K; Hao, Y; Wu, Q (Elsevier, 2018-06-01)
    In this paper, two types of compressed Luneburg lenses based on transformation optics are investigated and simulated using two different sources, namely, waveguides and dipoles, which represent plane and spherical wave ...
  • Bifunctional aptamer-mediated catalytic hairpin assembly for the sensitive and homogenous detection of rare cancer cells. 

    Liu, J; Zhang, Y; Zhao, Q; Situ, B; Zhao, J; Luo, S; Li, B; Yan, X; Vadgama, P; Su, L;... (2018-05)
    The presence of cancer cells in body fluids confirms the occurrence of metastasis and guides treatment. A simple, fast, and homogeneous fluorescent method was developed to detect cancer cells based on catalytic hairpin ...
  • A BLE RSSI ranking based indoor positioning system for generic smartphones 

    Ma, Z; Poslad, S; Bigham, J; Zhang, X; Men, L (IEEE, 2017-06)
    Indoor navigation in physical retail type spaces AIDS the navigation of users to find physical items at known destinations. WiFi Fingerprinting using a mobile phone is perhaps the most widely used method. However, this is ...
  • BRIDGING THE GAP OF ASSESSMENT AND FEEDBACK USING MARKUP - AN ANDROID APP FOR FAST MARKING AND FEEDBACK OF IN-CLASS ASSESSMENTS 

    Yao, N; Paltalidis, N; Wang, L (10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), 2017)
    This paper introduces an innovative bespoke Android App used for in-class assessment in order to help lecturers to provide marks and feedback easily and efficiently. This work was inspired by Personal Development Programme ...
  • Building an IDE for an embedded system using web technologies 

    DONOVAN, L; BIN, SMA; ARMITAGE, JDK; MCPHERSON, A; Web Audio Conference (Proceedings of 3rd Web Audio Conference, 2017-06)
    Implementing an understandable, accessible and e↵ective user interface is a major challenge for many products in the microcontroller and embedded computing community. Bela, an embedded system for ultra-low latency audio ...
  • Certification of classical confluence results for left-linear term rewrite systems 

    Nagele, J; Middeldorp, A; 7th International Conference on Interactive Theorem Proving (Springer, 2016-08)
    This paper presents the first formalization of three classic confluence criteria for first-order term rewrite systems by Huet and Toyama. We have formalized proofs, showing that (1) linear strongly closed systems, (2) ...
  • Certification of Confluence Proofs using CeTA 

    Nagele, J; Thiemann, R; 3rd International Workshop on Confluence (3rd International Workshop on Confluence, 2014-07-13)
    CeTA was originally developed as a tool for certifying termination proofs which have to be provided as certificates in the CPF-format. Its soundness is proven as part of IsaFoR, the Isabelle Formalization of Rewriting. By ...
  • Certification of nontermination proofs using strategies and nonlooping derivations 

    Nagele, J; Thiemann, R; Winkler, S; 6th Working Conference on Verified Software: Theories, Tools, and Experiments (Springer, 2014-10)
    The development of sophisticated termination criteria for term rewrite systems has led to powerful and complex tools that produce (non)termination proofs automatically. While many techniques to establish termination have ...
  • Certified rule labeling 

    Nagele, J; Zankl, H; 26th International Conference on Rewriting Techniques and Applications (26th International Conference on Rewriting Techniques and Applications, 2015-04)
    The rule labeling heuristic aims to establish confluence of (left-)linear term rewrite systems via decreasing diagrams. We present a formalization of a confluence criterion based on the interplay of relative termination ...
  • Certifying confluence proofs via relative termination and rule labeling 

    Nagele, J; Felgenhauer, B; Zankl, H (Technical University of Braunschweig, 2017-03)
    The rule labeling heuristic aims to establish con uence of (left-)linear term rewrite systems via decreasing diagrams. We present a formalization of a con fluence criterion based on the interplay of relative termination ...
  • Co-design of a smart Cajón 

    Turchet, L; McPherson, A; Barthet, M (AES, 2018-04)
    Smart Instruments are a novel family of musical instruments that embed sensors, actuators, wireless connectivity, and semantic audio technologies. This paper reports the findings of a participatory design approach to develop ...
  • CoCoWeb - A Convenient Web Interface for Confluence Tools 

    Nagele, J; Middeldorp, A; 6th International Workshop on Confluence (6th International Workshop on Confluence, 2017-08-16)
    We present a useful web interface for tools that participate in the annual confluence competition.
  • Compact and Low Cost 3D-Printed Antennas Metalized using Spray-Coating Technology for 5G mm-Wave Communication Systems 

    Alkaraki, S; Andy, AS; Gao, Y; Tong, KF; Ying, Z; Donnan, R; Parini, C (2018-06)
    IEEE This paper presents a design of two compact, light, rigid and low-cost 3D-printed millimeter-wave antennas for 5G communication system. The proposed antennas consist of a radiating slot that is surrounded by a rectangular ...
  • Computational creativity in Slovenia 

    Pollak, S; Wiggins, GA; Žnidaršič, M; Lavrač, N (Slovenian Society Informatika, 2018-05-07)
    Computational Creativity is a field of Artificial Intelligence that addresses processes that would be deemed creative if performed by a human. The field has been very active since 1999, and is now an established research ...
Return to top