Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Idioms (2)
- Multiword Expressions (2)
- AV - Model (1)
- Abstract argumentation (1)
- Agile (1)
-
- Analogue artificial neural networks (1)
- Argumentation theory (1)
- Computational trust (1)
- Defeasible reasoning (1)
- Entropy (1)
- Fitzhugh-Nagumo model. (1)
- Fuzzy logics (1)
- Grounded semantics (1)
- Health-care sector (1)
- Hybrid (1)
- IEC 62304 (1)
- Information (1)
- KPI Selection Strategies (1)
- Landauer limit (1)
- Maxwell’s demon (1)
- Medical (1)
- Memristance (1)
- Moore’s law (1)
- Multi-valued logic (1)
- Online communities (1)
- OrCAD PSpice (1)
- SDLC (1)
- Statistical Machine Taanslation (1)
- Statistical Machine Translation (1)
- Synapse (1)
Articles 1 - 8 of 8
Full-Text Articles in Physical Sciences and Mathematics
An Agile Implementation Within A Medical Device Software Organisation, Martin Mchugh, Fergal Mc Caffery, Garret Coady
An Agile Implementation Within A Medical Device Software Organisation, Martin Mchugh, Fergal Mc Caffery, Garret Coady
Conference papers
Three surveys conducted over a 6 year period revealed that medical device software organisations have difficulties in the area of requirements management, namely accommodating changes in requirements. Medical device software is traditionally developed in accordance with a plan driven software development lifecycle (SDLC). These SDLCs are rigid and inflexible to changes once the requirements management stage has been completed. Agile methods are gaining momentum in non-regulated industries but as of yet, the adoption of these methods in regulated industries such as the medical device software domain remains low. This study presents an implementation of agile methods within a medical device …
Multi-Valued Argumentation Frameworks, Pierpaolo Dondio
Multi-Valued Argumentation Frameworks, Pierpaolo Dondio
Conference papers
In this paper we explore how the seminal Dung’s abstract argumentation framework can be extended to handle arguments containing gradual concepts. We allow arguments to have a degree of truth associated with them and we investigate the degree of truth to which each argument can be considered accepted, rejected and undecided by an abstract argumentation semantics. We propose a truth-compositional recursive computation, and we discuss examples using the major multi-valued logics such as Godel’s, Zadeh’s and Łukasiewicz's logic. The findings are a contribution in the field of non-monotonic approximate reasoning and they also represent a well-grounded proposal towards the introduction …
Entropy, Information, Landauer’S Limit And Moore’S Law, Paul Tobin, Jonathan Blackledge
Entropy, Information, Landauer’S Limit And Moore’S Law, Paul Tobin, Jonathan Blackledge
Conference papers
In this paper we explore the link between information and entropy by considering the infamous Maxwell demon thought experiment. A non-rigorous mathematical solution by Le´o Szil´ard established this link for the first time, as did Claude Shannon nineteen years later. In 1961, Rolf Landauer’s mathematical solution resulted in the Landauer limit, which is still being hotly debated, but here we discuss the implication of this limit on Moore’s law and future growth in computing power. A workaround the limit is proposed using an Analogue Artificial Neural Network (AANN). Here, we mimic the action of a human brain synapse formed from …
Evaluation Of A Substitution Method For Idiom Transformation In Statistical Machine Translation, Giancarlo Salton, Robert J. Ross, John D. Kelleher
Evaluation Of A Substitution Method For Idiom Transformation In Statistical Machine Translation, Giancarlo Salton, Robert J. Ross, John D. Kelleher
Conference papers
We evaluate a substitution based technique for improving Statistical Machine Translation performance on idiomatic multiword expressions. The method operates by performing substitution on the original idiom with its literal meaning before translation, with a second substitution step replacing literal meanings with idioms following translation. We detail our approach, outline our implementation and provide an evaluation of the method for the language pair English/Brazilian-Portuguese. Our results show improvements in translation accuracy on sentences containing either morphosyntactically constrained or unconstrained idioms. We discuss the consequences of our results and outline potential extensions to this process.
An Empirical Study Of The Impact Of Idioms On Phrase Based Statistical Machine Translation Of English To Brazilian-Portuguese, Giancarlo Salton, Robert J. Ross, John D. Kelleher
An Empirical Study Of The Impact Of Idioms On Phrase Based Statistical Machine Translation Of English To Brazilian-Portuguese, Giancarlo Salton, Robert J. Ross, John D. Kelleher
Conference papers
This paper describes an experiment to evaluate the impact of idioms on Statis- tical Machine Translation (SMT) process using the language pair English/Brazilian- Portuguese. Our results show that on sen- tences containing idioms a standard SMT system achieves about half the BLEU score of the same system when applied to sentences that do not contain idioms. We also provide a short error analysis and out- line our planned work to overcome this limitation.
Computing Trust As A Form Of Presumptive Reasoning, Pierpaolo Dondio, Luca Longo
Computing Trust As A Form Of Presumptive Reasoning, Pierpaolo Dondio, Luca Longo
Conference papers
This study describes and evaluates a novel trust model for a range of collaborative applications. The model assumes that humans routinely chose to trust their peers by relying on few recurrent presumptions, which are domain independent and that form a recognisable trust expertise. We refer to these presumptions as trust schemes, the specialised version of Walton’s argumentation schemes. Experimental evidence is provided about trust schemes efficacy with a detailed experiment over an online community of 80.000 members. Results show how proposed trust schemes are more effective in trust computation when they are combined together and when their plausibility in the …
Defeasible Reasoning And Argument-Based Systems In Medical Fields: An Informal Overview, Luca Longo, Pierpaolo Dondio
Defeasible Reasoning And Argument-Based Systems In Medical Fields: An Informal Overview, Luca Longo, Pierpaolo Dondio
Conference papers
The first aim of this article is to provide readers informally with the basic notions of defeasible and non-monotonic reasoning, logics borrowed from artificial intelligence. It then describes argumentation theory, a paradigm for implementing defeasible reasoning in practice as well as the common multilayer schema upon which argument-based models are usually built. The second aim is to describe the selection of argumentbased applications in the medical and health-care sectors. Finally, the paper will conclude with a summary of the features, which make defeasible reasoning and argumentation theory attractive, that emerge from the applications under review. The target reader is a …
Exploring Customer Specific Kpi Selection Strategies For An Adaptive Time Critical User Interface, Ingo Keck, Robert J. Ross
Exploring Customer Specific Kpi Selection Strategies For An Adaptive Time Critical User Interface, Ingo Keck, Robert J. Ross
Conference papers
Rapid growth in the number of measures available to describe customer-organization relationships has presented a serious challenge for Business Intelligence (BI) interface developers as they attempt to provide business users with key customer information without requiring users to painstakingly sift through many interface windows and layers. In this paper we introduce a prototype Intelligent User Interface that we have deployed to partially address this issue. The interface builds on machine learning techniques to construct a ranking model of Key Performance Indicators (KPIs) that are used to select and present the most important customer metrics that can be made available to …