Recursos de colección

Enlighten (159.604 recursos)

Enlighten is the University of Glasgow's institutional repository service for published research material including peer-reviewed journal articles, published conference papers,books and book chapters

Type = Conference Proceedings

Mostrando recursos 1 - 20 de 4.016

  1. Terahertz Imagers Based on Metamaterial Structures Monolithically Integrated in Standard CMOS Technologies

    Escorcia, Ivonne; Grant, James P.; Gouveia, Luiz; Cumming, David R.S.
    Silicon complementary metal oxide semiconductor (CMOS) technologies are arguably the most important asset in the world of electronics. Focal plane arrays (FPAs) are one of the driving forces in the revolution of low-cost, mass produced, compact, and high-resolution imaging devices. The importance of these imaging systems in the visible spectrum has highlighted the need of their implementation into other significant electromagnetic regions such as infrared (IR) and Terahertz (THz). The unique characteristics of THz waves make them ideal for a variety of important applications ranging from security and medical imaging, explosive and drug detection, and non-destructive quality control testing. These...

  2. Mid-Air Haptics for Control Interfaces

    Giordano, Marcello; Georgiou, Orestis; Dzidek, Brygida; Corenthy, Loic; Kim, Jin Ryong; Subramanian, Sriram; Brewster, Stephen A.
    Control interfaces and interactions based on touch-less gesture tracking devices have become a prevalent research topic in both industry and academia. Touch-less devices offer a unique interaction immediateness that makes them ideal for applications where direct contact with a physical controller is not desirable. On the other hand, these controllers inherently lack active or passive haptic feedback to inform users about the results of their interaction. Mid-air haptic interfaces, such as those using focused ultrasound waves, can close the feedback loop and provide new tools for the design of touch-less, un-instrumented control interactions. The goal of this workshop is to...

  3. Computational Interaction: Theory and Practice

    Williamson, John; Oulasvirta, Antti; Hilliges, Otmar; Kristensson, Per Ola
    This course introduces computational methods in human--computer interaction. Computational interaction methods use computational thinking -- abstraction, automation, and analysis -- to explain and enhance interaction. This course introduces optimization and probabilistic inference as principled methods. Lectures center on hands-on Python programming, interleaving theory and practical examples.

  4. (Un)Acceptable!?!: Re-thinking the Social Acceptability of Emerging Technologies

    Koelle, Marion; Boll, Susanne; Olsson, Thomas; Williamson, Julie; Profita, Halley; Kane, Shaun; Mitchell, Robb
    A central viewpoint to understanding the human aspects of interactive systems is the concept of technology acceptance. Actual, or imagined disapproval from other people can have a major impact on how information technological innovations are received, but HCI lacks comprehensive, up-to date, and actionable, articulations of "social acceptability". The spread of information and communication technologies (ICT) into all aspects of our lives appears to have dramatically increased the range and scale of potential issues with social acceptance. This workshop brings together academics and practitioners to discuss what social acceptance and acceptability mean in the context of various emerging technologies and...

  5. A Large-Scale Study of iPhone App Launch Behaviour

    Morrison, Alistair; Xiong, Xiaoyu; Higgs, Matthew; Bell, Marek; Chalmers, Matthew
    There have been many large-scale investigations of users' mobile app launch behaviour, but all have been conducted on Android, even though recent reports suggest iPhones account for a third of all smartphones in use. We report on the first large-scale analysis of app usage patterns on iPhones. We conduct a reproduction study with a cohort of over 10,000 jailbroken iPhone users, reproducing several studies previously conducted on Android devices. We find some differences, but also significant similarities: e.g. communications apps are the most used on both platforms; similar patterns are apparent of few apps being very popular but there existing...

  6. An EEG-Based Image Annotation System

    Parekh, Viral; Subramanian, Ramanathan; Roy, Dipanjan; Jawahar, C. V.
    The success of deep learning in computer vision has greatly increased the need for annotated image datasets. We propose an EEG (Electroencephalogram)-based image annotation system. While humans can recognize objects in 20–200 ms, the need to manually label images results in a low annotation throughput. Our system employs brain signals captured via a consumer EEG device to achieve an annotation rate of up to 10 images per second. We exploit the P300 event-related potential (ERP) signature to identify target images during a rapid serial visual presentation (RSVP) task. We further perform unsupervised outlier removal to achieve an F1-score of 0.88...

  7. Fractal Dimension Analysis for Robust Ultrasonic Non-Destructive Evaluation (NDE) of Coarse Grained Materials

    Li, Minghui; Hayward, Gordon
    Over the recent decades, there has been a growing demand on reliable and robust non-destructive evaluation (NDE) of structures and components made from coarse grained materials such as alloys, stainless steels, carbon-reinforced composites and concrete; however, when inspected using ultrasound, the flaw echoes are usually contaminated by high-level, time-invariant, and correlated grain noise originating from the microstructure and grain boundaries, leading to pretty low signal-to-noise ratio (SNR) and the flaw information being obscured or completely hidden by the grain noise. In this paper, the fractal dimension analysis of the A-scan echoes is investigated as a measure of complexity of the...

  8. Vote Goat: Conversational Movie Recommendation

    Dalton, Jeff

  9. A Self-Calibration Scheme for TDD Massive MIMO with Imperfect Channel Estimation

    Mi, D.; Zhang, Lei; Dianati, M.; Muhaidat, S.; Xiao, P.

  10. Advanced Hybrid Beamforming Design for MIMO Systems

    Yang, B.; Molu, M.; Zhang, Lei

  11. Terahertz Signal Generation Based on a Dual-Mode 1.5 μm DFB Semiconductor Laser

    Liang, Song; Hou, Bin; Chen, Dejun; Hou, Lianping; Marsh, John H.
    No abstract available.

  12. Generation of THz Radiation by Sampled Grating DBR Mode Locked Laser Diodes

    Hou, Lianping; Hou, Bin; Liang, Song; Chen, Dejun; Marsh, John H.
    No abstract available.

  13. Fixed Parameter Tractable Algorithms in Combinatorial Topology

    Burton, Benjamin A.; Pettersson, William
    To enumerate 3-manifold triangulations with a given property, one typically begins with a set of potential face pairing graphs (also known as dual 1-skeletons), and then attempts to flesh each graph out into full triangulations using an exponential-time enumeration. However, asymptotically most graphs do not result in any 3-manifold triangulation, which leads to significant “wasted time” in topological enumeration algorithms. Here we give a new algorithm to determine whether a given face pairing graph supports any 3-manifold triangulation, and show this to be fixed parameter tractable in the treewidth of the graph. We extend this result to a “meta-theorem” by defining...

  14. An Edge-Based Framework for Enumerating 3-Manifold Triangulations

    Burton, Benjamin A.; Pettersson, William
    A typical census of 3-manifolds contains all manifolds (under various constraints) that can be triangulated with at most n tetrahedra. Although censuses are useful resources for mathematicians, constructing them is difficult: the best algorithms to date have not gone beyond n=12. The underlying algorithms essentially (i) enumerate all relevant 4-regular multigraphs on n nodes, and then (ii) for each multigraph G they enumerate possible 3-manifold triangulations with G as their dual 1-skeleton, of which there could be exponentially many. In practice, a small number of multigraphs often dominate the running times of census algorithms: for example, in a typical census...

  15. The Parameterized Complexity of Finding a 2-Sphere in a Simplicial Complex

    Burton, Benjamin; Cabello, Sergio; Kratsch, Stefan; Pettersson, William
    We consider the problem of finding a subcomplex K' of a simplicial complex K such that K' is homeomorphic to the 2-dimensional sphere, S^2. We study two variants of this problem. The first asks if there exists such a K' with at most k triangles, and we show that this variant is W[1]-hard and, assuming ETH, admits no O(n^(o(sqrt(k)))) time algorithm. We also give an algorithm that is tight with regards to this lower bound. The second problem is the dual of the first, and asks if K' can be found by removing at most k triangles from K. This...

  16. Levitating Object Displays with Interactive Voxels

    Freeman, Euan; Williamson, Julie R.; Kourtelos, Praxitelis; Brewster, Stephen
    No abstract available.

  17. A New Linear Logic for Deadlock-Free Session-Typed Processes

    Dardha, Ornela; Gay, Simon J.
    The π -calculus, viewed as a core concurrent programming language, has been used as the target of much research on type systems for concurrency. In this paper we propose a new type system for deadlock-free session-typed π -calculus processes, by integrating two separate lines of work. The first is the propositions-as-types approach by Caires and Pfenning, which provides a linear logic foundation for session types and guarantees deadlock-freedom by forbidding cyclic process connections. The second is Kobayashi’s approach in which types are annotated with priorities so that the type system can check whether or not processes contain genuine cyclic dependencies...

  18. Compact Polarization Diversity Antenna for 28/38 GHz Bands

    Haider, Syed S.; Tahir, Farooq A.; Chattha, Hassan Tariq; Abbasi, Qammer H.

  19. An Invariant Dual-beam Snowflake Antenna for Future 5G Communications

    Ullah, Hidayat; Tahir, Farooq A.; Chattha, Hassan Tariq; Abbasi, Qammer H.

  20. Analysis of Actual Versus Permitted Driving Speed: a Case Study from Glasgow, Scotland

    Siła-Nowicka, Katarzyna
    With a lack of consistent information about actual driving speed on the majority of roads in the UK we propose a method to determine car speeds from a sample of movement data from a GPS-based travel survey. Furthermore, we identify potential road links within a road network where speeding incidents take place. Speed at which a car travels is a strong determinant in the potential risk of a crash as well as the severity of the crash. Using the GPS movement data we can detect areas in the city of Glasgow where the driving speed exceeds the permitted limits and...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.