All Outputs (46223)

Deepening visitor engagement with museum exhibits through hand-crafted visual markers
Presentation / Conference Contribution
Ali, S., Koleva, B., Bedwell, B., & Benford, S. (2018, June). Deepening visitor engagement with museum exhibits through hand-crafted visual markers. Presented at 2018 Designing Interactive Systems Conference DIS '18, Hong Kong, China

Visual markers, in particular QR codes, have become widely adopted in museums to enable low cost interactive applications. However, visitors often do not engage with them. In this paper we explore the application of visual makers that can be designed... Read More about Deepening visitor engagement with museum exhibits through hand-crafted visual markers.

A New Voltage Doubler Based DC-DC 2LCm-Y Power Converter Topologies for High-Voltage/Low-Current Renewable Energy Applications
Presentation / Conference Contribution
Bhaskar, M. S., Padmanaban, S., Wheeler, P., Blaabjerg, F., & Siano, P. (2018, June). A New Voltage Doubler Based DC-DC 2LCm-Y Power Converter Topologies for High-Voltage/Low-Current Renewable Energy Applications. Presented at 2018 IEEE Transportation Electrification Conference and Expo (ITEC 2018), Long Beach, California

In this treatise, a new voltage doubler based DCDC 2LCm-Y power converter topologies are uttered for the high voltage/low-current renewable energy applications. L-Y, 2L-Y, 2LC-Y and 2LCm-Y power converter categories are recently proposed in the exist... Read More about A New Voltage Doubler Based DC-DC 2LCm-Y Power Converter Topologies for High-Voltage/Low-Current Renewable Energy Applications.

Vulnerability assessment modelling for railway networks
Presentation / Conference Contribution
Meesit, R., & Andrews, J. (2018, June). Vulnerability assessment modelling for railway networks. Presented at 10th IMA International Conference on Modelling in Industrial Maintenance and Reliability (MIMAR 2018), Manchester, UK

Railway networks are prone to many different potential disruptive events such as technical failures (e.g. the failure of aging components), natural disasters (e.g. flooding) and intentional man-made disasters (e.g. trespass and suicide). Assessing th... Read More about Vulnerability assessment modelling for railway networks.

Reliability modelling of dispensing processes in community pharmacy
Presentation / Conference Contribution
Naybour, M., Remenyte-Prescott, R., & Boyd, M. (2018, June). Reliability modelling of dispensing processes in community pharmacy. Presented at 10th IMA International Conference on Modelling in Industrial Maintenance and Reliability (MIMAR 2018), Manchester, UK

Studies of error rates in community pharmacies have reported error rates of between 0.014% and 3.3% per item dispensed. This suggests up to 36 million items per year may contain errors in England. In addition, literature shows that patient satisfacti... Read More about Reliability modelling of dispensing processes in community pharmacy.

Interval type-2 intuitionistic fuzzy logic systems - A comparative evaluation
Presentation / Conference Contribution
Eyoh, I., John, R., & De Maere, G. (2018, June). Interval type-2 intuitionistic fuzzy logic systems - A comparative evaluation. Presented at 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2018), Cádiz, Spain

Several fuzzy modeling techniques have been employed for handling uncertainties in data. This study presents a comparative evaluation of a new class of interval type-2 fuzzy logic system (IT2FLS) namely: interval type-2 intuitionistic fuzzy logic sys... Read More about Interval type-2 intuitionistic fuzzy logic systems - A comparative evaluation.

Noise Parameter Estimation for Non-Singleton Fuzzy Logic Systems
Presentation / Conference Contribution
Pekaslan, D., Garibaldi, J. M., & Wagner, C. (2018, October). Noise Parameter Estimation for Non-Singleton Fuzzy Logic Systems. Presented at 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC), Miyazaki, Japan

Real-world environments face a wide range of noise (uncertainty) sources and gaining insight into the level of noise is a critical part of many applications. While Non-Singleton Fuzzy Logic Systems (NSFLSs), in particular recently introduced advanced... Read More about Noise Parameter Estimation for Non-Singleton Fuzzy Logic Systems.

Towards Better Understanding the Challenges of Reliable and Trust-Aware Critical Communications in the Aftermath of Disaster
Presentation / Conference Contribution
Radenkovic, M., Walker, A., & Bai, L. (2018, June). Towards Better Understanding the Challenges of Reliable and Trust-Aware Critical Communications in the Aftermath of Disaster. Presented at 2018 14th International Wireless Communications and Mobile Computing Conference, IWCMC 2018, Limassol, Cyprus

This paper seeks to better understand the highly multi-dimensional, multi-faceted challenges of meeting trust and reliability requirements in critical, disaster aftermath communication networks comprising heterogeneous groups of sensor equipped nodes... Read More about Towards Better Understanding the Challenges of Reliable and Trust-Aware Critical Communications in the Aftermath of Disaster.

An Improved Multistage Switched Inductor Boost Converter (Improved M-SIBC) for Renewable Energy Applications: A key to Enhance Conversion Ratio
Presentation / Conference Contribution
Bhaskar, M. S., Padmanaban, S., Blaabjerg, F., & Wheeler, P. W. (2018, June). An Improved Multistage Switched Inductor Boost Converter (Improved M-SIBC) for Renewable Energy Applications: A key to Enhance Conversion Ratio. Presented at 2018 IEEE 19th Workshop on Control and Modeling for Power Electronics, COMPEL 2018, Padua, Italy

In this article, an improved Multistage Switched Inductor (M-SI) based power converter or Improved Multistage Switched Inductor Boost Converter (Improved M-SIBC) is proposed for renewable applications which provides a key to enhancing the voltage con... Read More about An Improved Multistage Switched Inductor Boost Converter (Improved M-SIBC) for Renewable Energy Applications: A key to Enhance Conversion Ratio.

Explicating the challenges of providing novel media experiences driven by user personal data
Presentation / Conference Contribution
Sailaja, N., Crabtree, A., McAuley, D., & Stenton, P. (2018, June). Explicating the challenges of providing novel media experiences driven by user personal data. Presented at ACM International Conference on Interactive Experiences for Television and Online Video, Seoul, Republic of Korea

The turn towards personal data to drive novel media experiences has resulted in a shift in the priorities and challenges associated with media creation and dissemination. This paper takes up the challenge of explicating this novel and dynamic scenari... Read More about Explicating the challenges of providing novel media experiences driven by user personal data.

Development of methods for optimisation of complex 3D weave geometries
Presentation / Conference Contribution
Spackman, G. H., Brown, L. P., & Jones, I. A. (2018, September). Development of methods for optimisation of complex 3D weave geometries. Presented at 13th International Conference on Textile Composites (TEXCOMP-13), Milan, Italy

© Published under licence by IOP Publishing Ltd. The development of 3D weaves has resulted in the ability to produce near net shaped preforms, with the additional advantage over unidirectional lay-ups and 2D weaves of greater delamination resistance... Read More about Development of methods for optimisation of complex 3D weave geometries.

Parametric polymorphism and operational improvement
Presentation / Conference Contribution
Hackett, J., & Hutton, G. Parametric polymorphism and operational improvement. Presented at 23rd ACM SIGPLAN International Conference on Functional Programming, St. Louis, Missouri, United States

Parametricity, in both operational and denotational forms, has long been a useful tool for reasoning about program correctness. However, there is as yet no comparable technique for reasoning about program improvement, that is, when one program uses f... Read More about Parametric polymorphism and operational improvement.

Noise Invariant Frame Selection: A Simple Method to Address the Background Noise Problem for Text-independent Speaker Verification
Presentation / Conference Contribution
Song, S., Zhang, S., Schuller, B. W., Shen, L., & Valstar, M. (2018, July). Noise Invariant Frame Selection: A Simple Method to Address the Background Noise Problem for Text-independent Speaker Verification. Presented at International Joint Conference on Neural Networks 2018, Rio de Janeiro, Brazil

The performance of speaker-related systems usually degrades heavily in practical applications largely due to the presence of background noise. To improve the robustness of such systems in unknown noisy environments, this paper proposes a simple pre-p... Read More about Noise Invariant Frame Selection: A Simple Method to Address the Background Noise Problem for Text-independent Speaker Verification.

Resource logics with a diminishing resource: extended abstract
Presentation / Conference Contribution
Alechina, N., & Logan, B. (2018, July). Resource logics with a diminishing resource: extended abstract. Presented at 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), Stockholm, Sweden

Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We show that it is more feasible under the assumption that there is at least one diminishing resource, that is, a res... Read More about Resource logics with a diminishing resource: extended abstract.

Uncertainty quantification for random fields estimated from effective moduli of elasticity
Presentation / Conference Contribution
Pierce-Brown, J., Neves, L. C., & Brown, D. L. (2018, July). Uncertainty quantification for random fields estimated from effective moduli of elasticity. Presented at 8th International Workshop on Reliable Computing "Computing with Confidence", Liverpool, UK

The stochastic finite element method is a useful tool to calculate the response of systems subject to uncertain parameters and has been applied extensively to analyse structures composed of randomly heterogeneous materials. The methodology to estimat... Read More about Uncertainty quantification for random fields estimated from effective moduli of elasticity.

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract)
Presentation / Conference Contribution
Alechina, N., Halpern, J. Y., Kash, I. A., & Logan, B. (2018, July). Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract). Presented at 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Stockholm, Sweden

We consider the problem of detecting norm violations in open multi-agent systems (MAS). In this extended abstract, we outline the approach of [Alechina et al., 2018], and show how, using ideas from scrip systems, we can design mecha... Read More about Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract).

Meta Models for Real-Time Design Assessment Within an Integrated Information and Numerical Modelling Framework
Presentation / Conference Contribution
Ninic, J., Koch, C., & Tizani, W. (2018, June). Meta Models for Real-Time Design Assessment Within an Integrated Information and Numerical Modelling Framework. Presented at 25th EG-ICE International Workshop 2018, Lausanne, Switzerland

© Springer International Publishing AG, part of Springer Nature 2018. In situations where rapid decisions are required or a large number of design alternatives is to be explored, numerical predictions of construction processes have to be performed in... Read More about Meta Models for Real-Time Design Assessment Within an Integrated Information and Numerical Modelling Framework.

Bicameralism
Book Chapter
Testa, C. (2019). Bicameralism. In R. D. Congleton, B. N. Grofman, & S. Voight (Eds.), The Oxford handbook of public choice. Oxford University Press

In modern democracies, the legislative power is vested in parliaments with diverse organizational structures. Bicameral legislatures, requiring concurrent deliberation by two bodies, are present in about one-third of the world’s countries. Bicamerali... Read More about Bicameralism.

Control of modular multilevel cascade converters for offshore wind energy generation and transmission
Presentation / Conference Contribution
Diaz, M., Rojas, F., Donoso, F., Cardenas, R., Espinoza, M., Mora, A., & Wheeler, P. (2018, April). Control of modular multilevel cascade converters for offshore wind energy generation and transmission. Presented at 2018 Thirteenth International Conference on Ecological Vehicles and Renewable Energies (EVER), Monte Carlo, Monaco

The trend of multimegawatt (Multi-MW) wind turbines, especially for offshore installations, has positioned Modular Multilevel Cascade Converters (MMCCs) as a promising solution for Wind Energy Conversion Systems (WECSs). Additionally, High Voltage Di... Read More about Control of modular multilevel cascade converters for offshore wind energy generation and transmission.

The Coinductive Formulation of Common Knowledge
Presentation / Conference Contribution
Baston, C., & Capretta, V. (2018, October). The Coinductive Formulation of Common Knowledge. Presented at ITP 2018 - Interactive Theorem Proving, Oxford, United Kingdom

© 2018, Springer International Publishing AG, part of Springer Nature. We study the coinductive formulation of common knowledge in type theory. We formalise both the traditional relational semantics and an operator semantics, similar in form to the e... Read More about The Coinductive Formulation of Common Knowledge.

A systematic review to identify how the current clinical trials landscape reflects the James Lind Alliance top 10 research priorities for cystic fibrosis
Other
Kalaitzis, I., Rowbotham, N. J., Smith, S., & Smyth, A. A systematic review to identify how the current clinical trials landscape reflects the James Lind Alliance top 10 research priorities for cystic fibrosis

This is a protocol to describe the methodology for a systematic review of clinical trials registries to identify intervention trials in the treatment of CF and map them to priorities for CF research.