An intelligent assistant for design and material engineers in the submarine cable industry

This paper describes an industrial application of case-based reasoning in engineering. The application involves an integration of case-based reasoning (CBR) retrieval techniques with a relational database. The database is specially designed as a repository of experiential knowledge and with the CBR application in mind such as to include qualitative search indices. The application is for an intelligent assistant for design and material engineers in the submarine cable industry. The system consists of three components; a material classifier and a database of experiential knowledge and a CBR system is used to retrieve similar past cases based on component descriptions. Work has shown that an uncommon retrieval technique, hierarchical searching, well represents several search indices and that this techniques aids the implementation of advanced techniques such as context sensitive weights. The system is currently undergoing user testing at the Alcatel Submarine Cables site in Greenwich. Plans are for wider testing and deployment over several sites internationally.

Towards policy-based self-configuration of embedded systems

This paper describes work towards the deployment of flexible self-management into real-time embedded systems. A challenging project which focuses specifically on the development of a dynamic, adaptive automotive middleware is described, and the specific self-management requirements of this project are discussed. These requirements have been identified through the refinement of a wide-ranging set of use cases requiring context-sensitive behaviours. A sample of these use-cases is presented to illustrate the extent of the demands for self-management. The strategy that has been adopted to achieve self-management, based on the use of policies is presented. The embedded and real-time nature of the target system brings the constraints that dynamic adaptation capabilities must not require changes to the run-time code (except during hot update of complete binary modules), adaptation decisions must have low latency, and because the target platforms are resource-constrained the self-management mechanism have low resource requirements (especially in terms of processing and memory). Policy-based computing is thus and ideal candidate for achieving the self-management because the policy itself is loaded at run-time and can be replaced or changed in the future in the same way that a data file is loaded. Policies represent a relatively low complexity and low risk means of achieving self-management, with low run-time costs. Policies can be stored internally in ROM (such as default policies) as well as externally to the system. The architecture of a designed-for-purpose powerful yet lightweight policy library is described. A suitable evaluation platform, supporting the whole life-cycle of feasibility analysis, concept evaluation, development, rigorous testing and behavioural validation has been devised and is described.

La Web Semántica y los archivos de televisión: estado de la cuestión

Se analizan y describen las principales líneas de trabajo de la Web Semántica en el ámbito de los archivos de televisión. Para ello, se analiza y contextualiza la web semántica desde una perspectiva general para posteriormente analizar las principales iniciativas que trabajan con lo audiovisual: Proyecto MuNCH, Proyecto S5T, Semantic Television y VideoActive.

Inference and Declaration of Independence in Task-Parallel Programs

The inherent difficulty of thread-based shared-memory programming has recently motivated research in high-level, task-parallel programming models. Recent advances of Task-Parallel models add implicit synchronization, where the system automatically detects and satisfies data dependencies among spawned tasks. However, dynamic dependence analysis incurs significant runtime overheads, because the runtime must track task resources and use this information to schedule tasks while avoiding conflicts and races.
We present SCOOP, a compiler that effectively integrates static and dynamic analysis in code generation. SCOOP combines context-sensitive points-to, control-flow, escape, and effect analyses to remove redundant dependence checks at runtime. Our static analysis can work in combination with existing dynamic analyses and task-parallel runtimes that use annotations to specify tasks and their memory footprints. We use our static dependence analysis to detect non-conflicting tasks and an existing dynamic analysis to handle the remaining dependencies. We evaluate the resulting hybrid dependence analysis on a set of task-parallel programs.

Causal knowledge and the development of inductive reasoning

We explored the development of sensitivity to causal relations in children’s inductive reasoning. Children (5-, 8-, and 12-year-olds) and adults were given trials in which they decided whether a property known to be possessed by members of one category was also possessed by members of (a) a taxonomically related category or (b) a causally related category. The direction of the causal link was either predictive (prey → predator) or diagnostic (predator → prey), and the property that participants reasoned about established either a taxonomic or causal context. There was a causal asymmetry effect across all age groups, with more causal choices when the causal link was predictive than when it was diagnostic. Furthermore, context-sensitive causal reasoning showed a curvilinear development, with causal choices being most frequent for 8-year-olds regardless of context. Causal inductions decreased thereafter because 12-year-olds and adults made more taxonomic choices when reasoning in the taxonomic context. These findings suggest that simple causal relations may often be the default knowledge structure in young children’s inductive reasoning, that sensitivity to causal direction is present early on, and that children over-generalize their causal knowledge when reasoning.

Scotland’s Curriculum for Excellence: a defence of autonomy and personhood.

Curriculum for Excellence, Scotland’s 3-18 curriculum, has been described as ‘the most significant curricular change in Scotland for a generation’ (McAra, Broadley and McLauchlan, 2013:223). The purpose of the curriculum is ‘encapsulated’ in four capacities in order that learners become i) successful learners, ii) confident individuals, iii) responsible citizens, and iv) effective contributors. With particular reference to these capacities, we explore the principle of autonomy as it pertains to both individual and collective flourishing seeking to disarm commonplace criticisms of autonomy by arguing that it might be put to work in CfE as a potentially multi-dimensional, context-sensitive concept that is relational as well as individual. We conclude that the four capacities lend themselves to re-consideration and re-mapping in pursuit of autonomy and flourishing premised on the principles of liberal personhood.

The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages

We study the computational complexity of finding maximum a posteriori configurations in Bayesian networks whose probabilities are specified by logical formulas. This approach leads to a fine grained study in which local information such as context-sensitive independence and determinism can be considered. It also allows us to characterize more precisely the jump from tractability to NP-hardness and beyond, and to consider the complexity introduced by evidence alone.

Towards more sustainable urban forms in the city of Benghazi: a study of urban fragmentation at the neighbourhood level

Urban sprawl is a challenge to the sustainability of many cities around the world. Fragmented urban development and vacant land are widespread problems in many Arab cities (UN-Habitat, 2012) which are, according to Ben-Hamouch, mainly a result of inappropriate modern planning and poor land management (2013). This study addresses the problem of urban fragmentation at the neighbourhood level and examines to what extent the concept of compact urban form can contribute to the improvement of social and environmental sustainability in the Libyan city of Benghazi and Arab cities in general. The objectives and scope of the study have justified a morphological approach, where eleven case studies that present different urban typologies in the city have been investigated. The research strategy and selection of case studies were driven by the availability of data and meant to cover the main urban types and important issues defined within this context. This research, which has been conducted to explore and explain the relationships that exist between local urban forms and their performance in terms of sustainability, has produced valuable knowledge and helped to identify measures which target the improvement of people’s quality of life and environmental sustainability of the city. The research draws on the argument that adopting a type of human scale urban form, which is relatively compact and dense, well-connected and comfortably diverse, coupled with concepts of urban greening and flexible development relevant to the local context, would help to create a high quality urban form that is liveable and accessible, while causing minimum damage to the natural environment. This work is an attempt to respond and add to the ongoing debate on sustainable urban form in the developing countries (see: (Jenks, 2000)). The findings have contributed to the understanding of urban fragmentation and highlighted the relevance of the theory of compact city to sustainable development in Benghazi and the South in general. It is anticipated that this work would raise awareness on the impact of urban fragmentation on the sustainability of the built environment within this context and help to advance research on planning theory and practice based on real-life experience and responses to local circumstances.

Embracing difference and the deferral of self-government: a critical analysis of the framing and practice of contemporary peace building

This thesis analyses how dominant policy approaches to peacebuilding have moved away from a single and universalised understanding of peace to be achieved through a top-down strategy of democratisation and economic liberalisation, prevalent at the beginning of 1990s. Instead, throughout the 2000s, peacebuilders have increasingly adopted a commitment to cultivating a bottom-up and hybrid peace building process that is context-sensitive and intended to be more respectful of the needs and values of post-war societies. The projects of statebuilding in Kosovo and, to a lesser extent, in Bosnia are examined to illustrate the shift. By capturing this shift, I seek to argue that contemporary practitioners of peace are sharing the sensibility of the theoretical critics of liberalism. These critics have long contended that post-war societies cannot be governed from ‘above’ and have advocated the adoption of a bottom-up approach to peacebuilding. Now, both peace practitioners and their critics share the tendency to embrace difference in peacebuilding operations, but this shift has failed to address meaningfully the problems and concerns of post-conflict societies. The conclusion of this research is that, drawing on the assumption that these societies are not capable of undertaking sovereign acts because of their problematic inter-subjective frames, the discourses of peacebuilding (in policy-making and academic critique) have increasingly legitimised an open-ended role of interference by external agencies, which now operate from ‘below’. Peacebuilding has turned into a long-term process, in which international and local actors engage relationally in the search for ever-more emancipatory hybrid outcomes, but in which self-government and self-determination are constantly deferred. Processes of emphasising difference have thus denied the political autonomy of post-war societies and have continuously questioned the political and human equality of these populations in a hierarchically divided world.

Four-month-olds make triangular bids to father and mother during trilogue play with still-face

(from the journal abstract) A new observational procedure, Trilogue Play with Still-face, revealed 4-month-olds' capacities to address both their fathers and mothers, by rapidly shifting gaze and affect between them. Infants were observed in four interactive contexts: (1) '3-together' play with both parents; (2) '2 + 1' play with one parent engaging and the other as third party; (3) the same, with one parent posing a still-face; (4) '3-together' play. Infants were able to discriminate between the four contexts. They coordinated three social poles of attention in each one. Their affect configurations were context sensitive. These findings demonstrate the infant's social capacities for triangular, three-person interactions, in addition to dyadic, two-person, and triadic, two-person plus object, ones. They support a view of intersubjectivity as primary and point to a promising field of investigation for the study of family process. (PsycINFO Database Record (c) 2005 APA, all rights reserved)

Systems of Parallel Communicating Restarting Automata

In der vorliegenden Dissertation werden Systeme von parallel arbeitenden und miteinander kommunizierenden Restart-Automaten (engl.: systems of parallel communicating restarting automata; abgekürzt PCRA-Systeme) vorgestellt und untersucht. Dabei werden zwei bekannte Konzepte aus den Bereichen Formale Sprachen und Automatentheorie miteinander vescrknüpft: das Modell der Restart-Automaten und die sogenannten PC-Systeme (systems of parallel communicating components). Ein PCRA-System besteht aus endlich vielen Restart-Automaten, welche einerseits parallel und unabhängig voneinander lokale Berechnungen durchführen und andererseits miteinander kommunizieren dürfen. Die Kommunikation erfolgt dabei durch ein festgelegtes Kommunikationsprotokoll, das mithilfe von speziellen Kommunikationszuständen realisiert wird. Ein wesentliches Merkmal hinsichtlich der Kommunikationsstruktur in Systemen von miteinander kooperierenden Komponenten ist, ob die Kommunikation zentralisiert oder nichtzentralisiert erfolgt. Während in einer nichtzentralisierten Kommunikationsstruktur jede Komponente mit jeder anderen Komponente kommunizieren darf, findet jegliche Kommunikation innerhalb einer zentralisierten Kommunikationsstruktur ausschließlich mit einer ausgewählten Master-Komponente statt. Eines der wichtigsten Resultate dieser Arbeit zeigt, dass zentralisierte Systeme und nichtzentralisierte Systeme die gleiche Berechnungsstärke besitzen (das ist im Allgemeinen bei PC-Systemen nicht so). Darüber hinaus bewirkt auch die Verwendung von Multicast- oder Broadcast-Kommunikationsansätzen neben Punkt-zu-Punkt-Kommunikationen keine Erhöhung der Berechnungsstärke. Desweiteren wird die Ausdrucksstärke von PCRA-Systemen untersucht und mit der von PC-Systemen von endlichen Automaten und mit der von Mehrkopfautomaten verglichen. PC-Systeme von endlichen Automaten besitzen bekanntermaßen die gleiche Ausdrucksstärke wie Einwegmehrkopfautomaten und bilden eine untere Schranke für die Ausdrucksstärke von PCRA-Systemen mit Einwegkomponenten. Tatsächlich sind PCRA-Systeme auch dann stärker als PC-Systeme von endlichen Automaten, wenn die Komponenten für sich genommen die gleiche Ausdrucksstärke besitzen, also die regulären Sprachen charakterisieren. Für PCRA-Systeme mit Zweiwegekomponenten werden als untere Schranke die Sprachklassen der Zweiwegemehrkopfautomaten im deterministischen und im nichtdeterministischen Fall gezeigt, welche wiederum den bekannten Komplexitätsklassen L (deterministisch logarithmischer Platz) und NL (nichtdeterministisch logarithmischer Platz) entsprechen. Als obere Schranke wird die Klasse der kontextsensitiven Sprachen gezeigt. Außerdem werden Erweiterungen von Restart-Automaten betrachtet (nonforgetting-Eigenschaft, shrinking-Eigenschaft), welche bei einzelnen Komponenten eine Erhöhung der Berechnungsstärke bewirken, in Systemen jedoch deren Stärke nicht erhöhen. Die von PCRA-Systemen charakterisierten Sprachklassen sind unter diversen Sprachoperationen abgeschlossen und einige Sprachklassen sind sogar abstrakte Sprachfamilien (sogenannte AFL's). Abschließend werden für PCRA-Systeme spezifische Probleme auf ihre Entscheidbarkeit hin untersucht. Es wird gezeigt, dass Leerheit, Universalität, Inklusion, Gleichheit und Endlichkeit bereits für Systeme mit zwei Restart-Automaten des schwächsten Typs nicht semientscheidbar sind. Für das Wortproblem wird gezeigt, dass es im deterministischen Fall in quadratischer Zeit und im nichtdeterministischen Fall in exponentieller Zeit entscheidbar ist.

Comparación del tiempo de despertar y tiempo de descarga entre dos técnicas de anestesia total intravenosa manual : Remifentanil vs Fentanil.

Introducción: A pesar de que las combinaciones de Propofol y opioides son ampliamente usadas para inducir y mantener una adecuada anestesia y analgesia, disminuir la dosis del inductor, incrementar la estabilidad hemodinámica y suprimir la respuesta a la laringoscopia y la intubación; no existen estudios que comparen el uso de Anestesia Total Intravenosa manual con Remifentanil - Propofol versus Fentanil - Propofol. Objetivo: Comparar el tiempo de despertar y el tiempo de descarga entre dos técnicas de Anestesia Total Intravenosa manual empleadas en el Hospital Occidente de Kennedy, una basada en Propofol y Remifentanil y otra basada en Propofol y Fentanil controlado por Stangraf. Metodología: Estudio de corte transversal, en 43 pacientes llevados a cirugía bajo Anestesia Total Intravenosa en el Hospital Occidente de Kennedy. Se analizó la información mediante las pruebas de Shapiro-Wilks, t de Student y U de Mann Withney y los coeficientes de correlación de Spearman y de Pearson, usando SPSS versión 20 para Windows. Un valor de p < 0.05 fue aceptado como estadísticamente significativo. Resultados: Al comparar las dos técnicas, no se encontraron diferencias estadísticamente significativas en los tiempos evaluados. El tiempo de despertar promedio fue 10,1 minutos para Fentanil y 10,2 minutos para Remifentanil. El tiempo de descarga para Fentanil fue 11,9 minutos y para Remifentanil fue 11,5 minutos. Conclusiones: El uso de Fentanil - Propofol guiado por Stangraf es equivalente al uso de Remifentanil – Propofol en cuanto a los tiempos de despertar y de descarga. Se requieren nuevos estudios para corroborar estos hallazgos.

Comparacion de dos tecnicas anestesicas para legrado uterino

Metodología: se realizó un estudio descriptivo para evaluar las ventajas de la técnica regional sobre la técnica general en mujeres ASA 1 y 2 en Hospital Occidente de Kennedy. Se evaluaron los signos vitales, tiempo de recuperación, analgesia postoperatoria y efectos colaterales. Resultados: se incluyeron un total de 177 pacientes, 79 con anestesia regional y 98 pacientes con anestesia general. Los resultados en el postoperatorio mostraron que no hay diferencias estadísticamente significativas en cuanto a manejo de dolor, efectos colaterales, variación en signos vitales. Se encontró una diferencia significativa en el tiempo de recuperación p=0,02 siendo la técnica espinal 20 minutos en promedio más prolongada. Discusión: ambas técnicas suponen una buena opción como técnica anestésica para pacientes llevadas a legrado obstétrico, a pesar que el tiempo de recuperación fue mayor en el grupo de técnica espinal, se obtuvo un mejor manejo del dolor, sin el requerimiento de otros analgésicos durante el postoperatorio.

Data-Driven Text Generation using Neural Networks & Provenance is Complicated and Boring — Is there a solution?

Title: Data-Driven Text Generation using Neural Networks Speaker: Pavlos Vougiouklis, University of Southampton Abstract: Recent work on neural networks shows their great potential at tackling a wide variety of Natural Language Processing (NLP) tasks. This talk will focus on the Natural Language Generation (NLG) problem and, more specifically, on the extend to which neural network language models could be employed for context-sensitive and data-driven text generation. In addition, a neural network architecture for response generation in social media along with the training methods that enable it to capture contextual information and effectively participate in public conversations will be discussed. Speaker Bio: Pavlos Vougiouklis obtained his 5-year Diploma in Electrical and Computer Engineering from the Aristotle University of Thessaloniki in 2013. He was awarded an MSc degree in Software Engineering from the University of Southampton in 2014. In 2015, he joined the Web and Internet Science (WAIS) research group of the University of Southampton and he is currently working towards the acquisition of his PhD degree in the field of Neural Network Approaches for Natural Language Processing. Title: Provenance is Complicated and Boring — Is there a solution? Speaker: Darren Richardson, University of Southampton Abstract: Paper trails, auditing, and accountability — arguably not the sexiest terms in computer science. But then you discover that you've possibly been eating horse-meat, and the importance of provenance becomes almost palpable. Having accepted that we should be creating provenance-enabled systems, the challenge of then communicating that provenance to casual users is not trivial: users should not have to have a detailed working knowledge of your system, and they certainly shouldn't be expected to understand the data model. So how, then, do you give users an insight into the provenance, without having to build a bespoke system for each and every different provenance installation? Speaker Bio: Darren is a final year Computer Science PhD student. He completed his undergraduate degree in Electronic Engineering at Southampton in 2012.

Defining a framework for the evaluation of information

In any enterprise, decisions need be made during the life cycle of information about its management. This requires information evaluation to take place; a little-understood process. For evaluation support to be both effective and resource efficient, some sort of automatic or semi-automatic evaluation method would be invaluable. Such a method would require an understanding of the diversity of the contexts in which evaluation takes place so that evaluation support can have the necessary context-sensitivity. This paper identifies the dimensions influencing the information evaluation process and defines the elements that characterise them, thus providing the foundations for a context-sensitive evaluation framework.