- Date:
- 2014-2017
- Themes:
- Agent-Based Computing, Human-Computer Interaction
- Funding:
- EPSRC (EP/K039989/1)
Meaningful Consent in the Digital Economy (MCDE) is an EPSRC-funded research project that is examining issues related to giving and obtaining user consent online.
Despite being asked to "agree" constantly to terms of service, we do not currently have "meaningful consent." It is unclear whether having simple and meaningful consent mechanisms would change business fundamentally or enhance new kinds of economics around personal data sharing. Since consent is deemed necessary and part of a social contract for fairness, however, without meaningful consent, that social contract is effectively broken and the best intent of our laws undermined.
Our research challenges to address this gap are interdisciplinary: meaningful consent has implications for transforming current digital economy data practices; change will require potentially new business models, and certainly new forms of interaction to highlight policy without over burdening citizens as we go about our business. We have set out a vision to achieve an understanding of meaningful consent through a combination of interdisciplinary expert and citizen activities to deliver useful policy, business and technology guidelines.
MCDE is based at the University of Southampton, with industry and academic partners from across the world.
Primary investigators
- monica schraefel
- Enrico Harm Gerding
- Michael Vlassopoulos
Secondary investigators
- tb1m13
- rcg1v07
- Helia Marreiros
- Mirco Tonin
Associated research group
- Agents, Interaction and Complexity
- Date:
- 2011-2015
- Funding:
- European Commission
ADVANCE is an FP7 Information and Communication Technologies Project funded by the European Commission. The overall objective of ADVANCE is the development of a unified tool-based framework for automated formal verification and simulation-based validation of cyber-physical systems.
Unification is being achieved through the use of a common formal modelling language supported by methods and tools for simulation and formal verification. An integrated tool environment is providing support for construction, verification and simulation of models.
ADVANCE is building on an existing formal modelling language - Event-B - and its associated tools environment - Rodin - with strong support for formal verification. In ADVANCE, Rodin is being further strengthened and augmented with novel approaches to multi-simulation and testing.
Primary investigator
Secondary investigator
- jlco5r
Partners
- Alstom
- Critical Software Technologies
- Selex-ES
- Systerel
- University of Dusseldorf
Associated research group
- Electronic and Software Systems
- Date:
- 2013-2018
- Funding:
- EPSRC
PRiME, a ã5.6m EPSRC funded five year programme (2013-2018), brings together four universities with world-leading expertise in the complementary research areas of; low-power, highly-parallel, reconfigurable and dependable computing and verified software design. Working in collaboration with five companies and seven international visiting experts, PRiME will tackle the challenge of developing the theory and practice of future high-performance embedded systems utilising many-core processors.
Future many core processors will have a wide range of applications in embedded, mobile, general and high performance computing, where energy and reliability are central requirements. PRiME seeks to exploit the transformative potential of many-core processors; our objective is to enable processor core scaling with sustainable energy consumption and reliability.
Primary investigator
Secondary investigators
Partners
- Imperial College
- University of Newcastle
- University of Manchester
Associated research group
- Electronic and Software Systems
- Date:
- 2014-2016
- Themes:
- Environmental Monitoring, Communication and Networking, Web of Things
- Funding:
- NERC
The Internet of Things (IoT) is a term given to the concept of ââ¬Åsmartââ¬? internet connected devices. This project aims to use cutting edge technology to study the environment and in particular to deploy a pilot system on the Cairngorm plateau for observing hydrological, peatland and frozen ground processes.
By using the Internet Protocols throughout the sensor network we will be able to investigate the benefits in terms of human interfaces, management and robustness.
This project is funded by the NERC Technology Proof of Concept programme.
Primary investigators
- Kirk Martinez
- Prof. Jane K. Hart
- pjb
- Dr Andrew Black
- Dr Olivia Bragg
Secondary investigators
- gmb1g08
- tw16g08
Partners
- School of Geography, University of Southampton
- School of the Environment, University of Dundee
- Wildland Ltd.
Associated research group
- Web and Internet Science
- Date:
- 2010-
- Themes:
- Software Engineering, Grid and Distributed Computing
Flocc (functional language on compute clusters) is a high-level language for Big Data/data parallel programming on clusters. Its compiler showcases a new technique to automatically optimize the storage of Big Data collections on clusters, that works for distributed arrays, maps, and lists. It is much more flexible than existing techniques like HPF and MapReduce that don't optimize their distributed data layouts, and typically only work for one collection type. The compiler works by considering using different distributed-memory implementations of a program's high-level data-parallel operators (encoded as higher-order functions), and uses a type system and type inference algorithm to automatically derive distributed data layout information for these operators. It then code generates MPI programs in C++ from possible plans, and uses a performance feedback based search to look for optimal cluster implementations of input programs.
Primary investigators
- taj105
- Bernd Fischer
Associated research group
- Electronic and Software Systems
- Date:
- 2013-2016
- Theme:
- Accessibility
- Funding:
- Qatar National Research Fund (QNRF)
The background to this research into the development of a freely available Arabic symbol dictionary is based on the premise that there is a paucity of freely available culturally suitable Arabic pictograms, icons, symbols or other graphical representations of language for use within the Arabic community by those who have a wide range of communication difficulties. There is a growing recognition about the number of individuals who could benefit from this type of support. Their needs are being met by the use of externally developed Augmentative and Alternative Communication (AAC) symbol systems which are not entirely suitable for use within the Qatari culture or surroundings. Some commercially available symbol sets have added additional Arabic culturally recognizable symbols but these are not available to all users as the costs are high. There is also a significant gap in the knowledge around the type of individuals who can make use of pictorial symbol systems and how symbols can be integrated into education and daily life.
Images, symbols and pictograms can be part of a toolkit of strategies to benefit two main groups of people with a communication difficulty. First those people for whom speech and text communication is impossible, where there is a push to investigate the use of natural language processing to speed access to symbols when used with electronic AAC devices, and secondly those people with low levels of literacy, learning disabilities or specific learning difficulties, including those with Dyslexia where symbols can aid reading and writing skills. In this situation it is important to have a symbol dictionary that contains frequently used words based on standard classical Arabic. There are also some individuals who have social interaction difficulties such as severe Autism where symbols can act as prompts. Symbols may also work in a similar way for those who acquire speech and language difficulties due to strokes and brain injury.
Symbols as indicators have value in supporting the understanding of Arabic for those with little knowledge of the language and symbols as pictograms can also be used as indicators within the built environment to assist in way finding or act as health and safety warnings in a way that is obvious to the widest possible audience.
Primary investigators
- Mike Wald
- Dr Amal Ahmad
Secondary investigators
- E.A. Draffan
- David Banes
- Amatullah Kadous
- nh
- Nadine Zeinoun
- Amatullah Kadous
- cd
- Dana Lawand
Partners
- Mada
- Hamad Medical Corporation
Associated research group
- Web and Internet Science
- Date:
- 2014-2014
- Themes:
- Accessibility, Internet Science
- Funding:
- Technology Strategy Board
We understand mathematical ideas by making connections between language, symbols, pictures and real-life situations . Individuals who face barriers with reading, comprehending and/or seeing these connections, such as those with print disabilities, dyscalculia and learning difficulties always struggle with Science, Technology, Engineering and Mathematics (STEM) subjects and professions. Hearing and seeing symbols together can help make those links. These connections are important whether learning numbers 1 to 10, dealing with calculations in the workplace or understanding maths at university. For up to 10 million individuals in the UK affected by print disabilities or dyscalculia, having a tool to read aloud mathematical language and symbols at an appropriate level could ameliorate many difficulties they experience when manipulating mathematical concepts. The lack of accessibility in mathematical notation is impacting on the progress of students working at basic functional skills levels through to degree as well as in the workplace at all levels from apprentice through to professionals such as scientists and engineers.
Primary investigator
Secondary investigators
Associated research group
- Web and Internet Science
- Date:
- 2014-2018
- Theme:
- Bionanotechnology and Biosensors
- Funding:
- University PGR studentship
Relatively recently it has been demonstrated that nanopores can be used for label-free detection of single biomolecules. Conceptually this is similar to a classical Coulter counter, where the passage of a bacterial cell through a micropore causes a temporary partial blockage of the pore, which is detected as a short-lived decrease in electrical current (~aqueous electrolyte) flowing through the micropore, with the frequency of current block events ('pulses') correlating to the bacterium concentration. In this project, the biological nanopore a-hemolysin is used for the detection of nucleic acid biomarkers by resistive pulse sensing. The nanopore is incorporated in aperture-suspended lipid bilayers and nucleic acids are made to traverse the pore by application of a transmembrane potential. Probe DNA is added to the sample to create probe-target duplexes that cause a deeper and longer-lifetime current block than non-complexed non-target molecules, enabling specific single-molecule detection of the biomarker in a complex sample.
Primary investigators
- Maurits De Planque
- Dr Philip Williamson (Biological Sciences)
Secondary investigator
- Josip Ivica
Associated research group
- Electronics and Electrical Engineering
- Date:
- 2014-2014
- Theme:
- Bionanotechnology and Biosensors
- Funding:
- NC3Rs
Animals are currently needed to perform cardiac pharmacology and toxicology studies on novel compounds with potential therapeutic value before their use in clinical practice. A potential alternative is the use of human stem cell-derived cardiac cells but, with the current culture protocols, they present poorly developed features of adult cardiac cells and therefore are inadequate for drug testing. Here, we aim to develop a novel, in vitro system consisting of cell culture platforms with special structural and mechanical properties designed to encourage maturation of human stem cell-derived cardiomyocytes into tissues with relevant structure and physiology. These platforms will allow the use of a simple method to monitor cardiac contractility, a frequent target of cardiac and non-cardiac drugs that is currently difficult to monitor in toxicology settings. In order to obtain the maturation of the stem cell-derived cardiac cells, we will engineer flexible membranes using Parylene-C, a biocompatible and durable polymer, already used for other bioengineering purposes. The novel application of this material consists in the fabrication of very thin membranes to be used as a cell culture substrate. As adult cardiac tissue is formed by elongated, carefully aligned cells, the cell culture membranes will be patterned to obtain the deposition of the cells into parallel lines. This will be achieved by oxygen plasma treatment, a technique that makes the membrane differentially hydrophilic in predetermined areas, allowing adhesion of the cells only in certain configurations. In these conditions the cells will develop a shape and structure that is more similar to mature cardiac cells. To study contractility we will develop an optical system and associated software for a reproducible and reliable image movement analysis. This method will be incorporated in an existing system developed for the screening of large number of compounds and used in combination with other techniques, to provide a comprehensive assessment of the response to drug treatment. If successful this system will also be employed for studies into the mechanisms of cardiac disease, with further, significant reduction of the use of animals for research.
Associated research group
- Nano Research Group
- Date:
- 2014-2017
- Themes:
- Bionanotechnology and Biosensors, Medical Engineering
- Funding:
- EPSRC
Our aim is to develop a low-cost real-time protein detection device to continuously monitor cytokines during in-vitro culture that could eventually expand in clinical practice. We will do this by exploiting discrete electronic components as chemical sensors that are compatible with unique microfluidic chips for minimising the overall cost of the device in combination with small size enzyme-linked immunosorbent assay (ELISA) chambers that minimise antibody requirements. We aspire achieving this by adapting well established manufacturing techniques, currently employed in fabricating printed-circuit boards (PCBs), that could effortlessly render bespoke functionalised electrodes coupled with üm-scale fluidic channels/chambers.
Primary investigator
Secondary investigator
Partners
- Peter Kelleher, Department of Medicine, Imperial College London
- Panagiotis Pantelidis, Infection and Immunity, Imperial College Healthcare NHS Trust
- Louise Greathead, Infection and Immunity, Imperial College Healthcare NHS Trust
Associated research groups
- Nano Research Group
- Southampton Nanofabrication Centre