Truth Maintenance Systems for Problem Solving

The thesis developed here is that reasoning programs which take care to record the logical justifications for program beliefs can apply several powerful, but simple, domain-independent algorithms to (1) maintain the consistency of program beliefs, (2) realize substantial search efficiencies, and (3) automatically summarize explanations of program beliefs. These algorithms are the recorded justifications to maintain the consistency and well founded basis of the set of beliefs. The set of beliefs can be efficiently updated in an incremental manner when hypotheses are retracted and when new information is discovered. The recorded justifications also enable the pinpointing of exactly whose assumptions which support any particular belief. The ability to pinpoint the underlying assumptions is the basis for an extremely powerful domain-independent backtracking method. This method, called Dependency-Directed Backtracking, offers vastly improved performance over traditional backtracking algorithms.

Calculations of the minimal perimeter for N deformable cells of equal area confined in a circle

Cox, S.J. (2006) Calculations of the minimal perimeter for N deformable cells of equal area confined in a circle. Philosophical Magazine Letters. 86:569-578.

The Dirichlet problem in convex bounded domains for operators with L^\infty-coefficients

M.Hieber, I.Wood: The Dirichlet problem in convex bounded domains for operators with L^\infty-coefficients, Diff. Int. Eq., 20, 7 (2007),721-734.

Feature Selection based on Rough Sets and Particle Swarm Optimization

X. Wang, J. Yang, X. Teng, W. Xia, and R. Jensen. Feature Selection based on Rough Sets and Particle Swarm Optimization. Pattern Recognition Letters, vol. 28, no. 4, pp. 459-471, 2007.

Fuzzy-Rough Data Reduction with Ant Colony Optimization.

R. Jensen and Q. Shen, 'Fuzzy-Rough Data Reduction with Ant Colony Optimization,' Fuzzy Sets and Systems, vol. 149, no. 1, pp. 5-20, 2005.

Performing Feature Selection with ACO

R. Jensen, 'Performing Feature Selection with ACO. Swarm Intelligence and Data Mining,' A. Abraham, C. Grosan and V. Ramos (eds.), Studies in Computational Intelligence, vol. 34, pp. 45-73. 2006.

Toward a comprehensive care of HIV patients: Finding a strategy to detect depression in a Spanish HIV cohort

Depression is a common but frequently undiagnosed feature in individuals with HIV infection. To find a strategy to detect depression in a non-specialized clinical setting, the overall performance of the Hospital Anxiety and Depression Scale (HADS) and the depression identification questions proposed by the European AIDS Clinical Society (EACS) guidelines were assessed in a descriptive cross-sectional study of 113 patients with HIV infection. The clinician asked the two screening questions that were proposed under the EACS guidelines and requested patients to complete the HADS. A psychiatrist or psychologist administered semi-structured clinical interviews to yield psychiatric diagnoses of depression (gold standard). A receiver operating characteristic (ROC) analysis for the HADS-Depression (HADS-D) subscale indicated that the best sensitivity and specificity were obtained between the cut-off points of 5 and 8, and the ROC curve for the HADS-Total (HADS-T) indicated that the best cut-off points were between 12 and 14. There were no statistically significant differences in the correlations of the EACS (considering positive responses to one [A] or both questions [B]), the HADS-D ≥ 8 or the HADS-T ≥ 12 with the gold standard. The study concludes that both approaches (the two EACS questions and the HADS-D subscale) are appropriate depression-screening methods in HIV population. We believe that using the EACS-B and the HADS-D subscale in a two-step approach allows for rapid, assumable and accurate clinical diagnosis in non-psychiatric hospital settings.

James Joyce and the Problem of Psychoanalysis

Thurston, L. (2004). James Joyce and the Problem of Psychoanalysis. Cambridge: Cambridge University Press. RAE2008

Littered with meaning: The problem of sign pollution in postmodern, post-structuralist, and ecocritical thought

Slocombe, W. (2005). Littered with meaning: The problem of sign pollution in postmodern, post-structuralist, and ecocritical thought. Textual Practice. 19 (4), 493-508. RAE2008

Newton's aerodynamic problem in media of chaotically moving particles

Plakhov, A.Y.; Torres, D., (2005) 'Newton's aerodynamic problem in media of chaotically moving particles', Sbornik: Mathematics 196(6) pp.885-933 RAE2008

The Dirichlet problem in convex bounded domains for operators with L8-coefficients

Wood, Ian; Hieber, M., (2007) 'The Dirichlet problem in convex bounded domains for operators with L8-coefficients', Differential and Integral Equations 20 pp.721-734 RAE2008

Project Sanitarium: gaming TB: a serious game for a serious problem

Collaborative projects between Industry and Academia provide excellent opportunities for learning. Throughout the academic year 2014-2015 undergraduates from the School of Arts, Media and Computer Games at Abertay University worked with academics from the Infection Group at the University of St Andrews and industry partners Microsoft and DeltaDNA. The result was a serious game prototype that utilized game design techniques and technology to demystify and educate players about the diagnosis and treatment of one of the world's oldest and deadliest diseases, Tuberculosis (TB). Project Sanitarium is a game incorporating a mathematical model that is based on data from real-world drug trials. This paper discusses the project design and development, demonstrating how the project builds on the successful collaborative pedagogical model developed by academic staff at Abertay University. The aim of the model is to provide undergraduates with workplace simulation, wider industry collaboration and access to academic expertise to solve challenging and complex problems.

The Offstage of Democracy: The Problem of Social Dialogue in John Dewey’s and Walter Lippmann’s Writings

The aim of this article is to present and discuss John Dewey’s and Walter Lippmann’s views on the problem of communication in a democratic society, particularly their views on the question of a role of communication in forming social processes. First part of the paper outlines the framework of this problem and its meaning to the question of possibility of democracy. Part two is concerned with anthropological and socio-political considerations: I discuss the Deweyan and the Lippmannian understanding of individual, society, intelligence and democracy. In part three I examine in detail the problem of communication, with special attention given to the questions of the role of communication in forming social processes, the foundations and conditions of communication, the debaters, and a subject matter of a debate as well as the questions of who and what forms this debate and whether we can form it altogether.

Problem ubóstwa w Unii Europejskiej

The issues of poverty, famine and malnutrition mainly concern underdeveloped regions. Yet in recent years the proportion of the population threatened with poverty and social exclu- sion has been growing not only in these regions but also in developed areas, including the EU. The issue of poverty is additionally related to demography. In this context, the aging popula- tion of West European countries is worrisome, as the elderly are one of the groups particularly threatened by poverty, and their number continues to grow. Appreciating the gravity of this is- sue, the European Commission considers the fight against poverty to be one of the basic five directions established in the Europe 2020 strategic document.

Sytuacja społeczna ludzi starych jako problem pedagogiczny

In the article were presented results and analysis of searches of social situation of older people. A general purpose of searches was to qualify outer impulses which are components of aspect of social situation and that how it is accepted by older people and how it stimulates their activity. Learning of social situation of older people allows to qualify specific methods of work with them on base of pedagogics.