A general framework for Business Process Modelling (BPM) based on Formal Temporal Theory with an application to Hospital Patient flows

Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.

Advanced side information creation techniques and framework for Wyner-Ziv video coding

Recently, several distributed video coding (DVC) solutions based on the distributed source coding (DSC) paradigm have appeared in the literature. Wyner-Ziv (WZ) video coding, a particular case of DVC where side information is made available at the decoder, enable to achieve a flexible distribution of the computational complexity between the encoder and decoder, promising to fulfill novel requirements from applications such as video surveillance, sensor networks and mobile camera phones. The quality of the side information at the decoder has a critical role in determining the WZ video coding rate-distortion (RD) performance, notably to raise it to a level as close as possible to the RD performance of standard predictive video coding schemes. Towards this target, efficient motion search algorithms for powerful frame interpolation are much needed at the decoder. In this paper, the RD performance of a Wyner-Ziv video codec is improved by using novel, advanced motion compensated frame interpolation techniques to generate the side information. The development of these type of side information estimators is a difficult problem in WZ video coding, especially because the decoder only has available some reference, decoded frames. Based on the regularization of the motion field, novel side information creation techniques are proposed in this paper along with a new frame interpolation framework able to generate higher quality side information at the decoder. To illustrate the RD performance improvements, this novel side information creation framework has been integrated in a transform domain turbo coding based Wyner-Ziv video codec. Experimental results show that the novel side information creation solution leads to better RD performance than available state-of-the-art side information estimators, with improvements up to 2 dB: moreover, it allows outperforming H.264/AVC Intra by up to 3 dB with a lower encoding complexity.

A relação entre a álgebra acadêmica e a álgebra escolar em um curso de licenciatura em matemática: concepções de alunos e professores

Pós-graduação em Educação - FCT

A framework for the development of parallel and distributed real-time embedded systems

Embedded real-time applications increasingly present high computation requirements, which need to be completed within specific deadlines, but that present highly variable patterns, depending on the set of data available in a determined instant. The current trend to provide parallel processing in the embedded domain allows providing higher processing power; however, it does not address the variability in the processing pattern. Dimensioning each device for its worst-case scenario implies lower average utilization, and increased available, but unusable, processing in the overall system. A solution for this problem is to extend the parallel execution of the applications, allowing networked nodes to distribute the workload, on peak situations, to neighbour nodes. In this context, this report proposes a framework to develop parallel and distributed real-time embedded applications, transparently using OpenMP and Message Passing Interface (MPI), within a programming model based on OpenMP. The technical report also devises an integrated timing model, which enables the structured reasoning on the timing behaviour of these hybrid architectures.

A Qualidade na administração pública e a CAF – Common assessment framework

Apresentação no âmbito da Dissertação de Mestrado Orientador: Doutora Alcina Dias

Management Driven Hybrid Multicast Framework for Content Aware Networks

The need for better adaptation of networks to transported flows has led to research on new approaches such as content aware networks and network aware applications. In parallel, recent developments of multimedia and content oriented services and applications such as IPTV, video streaming, video on demand, and Internet TV reinforced interest in multicast technologies. IP multicast has not been widely deployed due to interdomain and QoS support problems; therefore, alternative solutions have been investigated. This article proposes a management driven hybrid multicast solution that is multi-domain and media oriented, and combines overlay multicast, IP multicast, and P2P. The architecture is developed in a content aware network and network aware application environment, based on light network virtualization. The multicast trees can be seen as parallel virtual content aware networks, spanning a single or multiple IP domains, customized to the type of content to be transported while fulfilling the quality of service requirements of the service provider.

Automatização de testes à framework myMIS

Atualmente, verifica-se um aumento na necessidade de software feito à medida do cliente, que se consiga adaptar de forma rápida as constantes mudanças da sua área de negócio. Cada cliente tem os seus problemas concretos que precisa de resolver, não lhe sendo muitas vezes possível dispensar uma elevada quantidade de recursos para atingir os fins pretendidos. De forma a dar resposta a estes problemas surgiram várias arquiteturas e metodologias de desenvolvimento de software, que permitem o desenvolvimento ágil de aplicações altamente configuráveis, que podem ser personalizadas por qualquer utilizador das mesmas. Este dinamismo, trazido para as aplicações sobre a forma de modelos que são personalizados pelos utilizadores e interpretados por uma plataforma genérica, cria maiores desafios no momento de realizar testes, visto existir um número de variáveis consideravelmente maior que numa aplicação com uma arquitetura tradicional. É necessário, em todos os momentos, garantir a integridade de todos os modelos, bem como da plataforma responsável pela sua interpretação, sem ser necessário o desenvolvimento constante de aplicações para suportar os testes sobre os diferentes modelos. Esta tese debruça-se sobre uma aplicação, a plataforma myMIS, que permite a interpretação de modelos orientados à gestão, escritos numa linguagem específica de domínio, sendo realizada a avaliação do estado atual e definida uma proposta de práticas de testes a aplicar no desenvolvimento da mesma. A proposta resultante desta tese permitiu verificar que, apesar das dificuldades inerentes à arquitetura da aplicação, o desenvolvimento de testes de uma forma genérica é possível, podendo as mesmas lógicas ser utilizadas para o teste de diversos modelos distintos.

Popular music exhibitions in Portugal: practices of representation from 2007 to 2013

This thesis focuses on the representation of Popular Music in museums by mapping, analyzing, and characterizing its practices in Portugal at the beginning of the 21st century. Now that museums' ability to shape public discourse is acknowledged, the examination of popular music's discourses in museums is of the utmost importance for Ethnomusicology and Popular Music Studies as well as for Museum Studies. The concept of 'heritage' is at the heart of this processes. The study was designed with the aim of moving the exhibiting of popular music in museums forward through a qualitative inquiry of case studies. Data collection involved surveying pop-rock music exhibitions as a qualitative sampling of popular music exhibitions in Portugal from 2007 to 2013. Two of these exhibitions were selected as case studies: No Tempo do Gira-Discos: Um Percurso pela Produção Fonográfica Portuguesa at the Museu da Música in Lisbon in 2007 (also Faculdade de Letras, 2009), and A Magia do Vinil, a Música que Mudou a Sociedade at the Oficina da Cultura in Almada in 2008 (and several other venues, from 2009 to 2013). Two specific domains were observed: popular music exhibitions as instances of museum practice and museum professionals. The first domain encompasses analyzing the types of objects selected for exhibition; the interactive museum practices fostered by the exhibitions; the concepts and narratives used to address popular music discursively, as well as the interpretative practices they allow. The second domain, focuses museum professionals and curators of popular music exhibitions as members of a group, namely their goals, motivations and perspectives. The theoretical frameworks adopted were drawn from the fields of ethnomusicology, popular music studies, and museum studies. The written materials of the exhibitions were subjected of methods of discourse analysis methods. Semi-structured interviews with curators and museum professional were also conducted and analysed. From the museum studies perspective, the study research suggests that the practice adopted by popular music museums largely matches that of conventional museums. From the ethnomusicological and popular music studies stand point, the two case studies reveal two distinct conceptual worlds: the first exhibition, curated by an academic and an independent researcher, points to a mental configuration where popular music is explained through a framework of genres supported by different musical practices. Moreover, it is industry actors such as decision makers and gatekeepers that govern popular music, which implies that the visitors' romantic conception of the musician is to some extent dismantled; the second exhibition, curated by a record collector and specialist, is based on a more conventional process of the everyday historical speech that encodes a mismatch between “good” and “bad music”. Data generated by a survey shows that only one curator, in fact that of my first case study, has an academic background. The backgrounds of all the others are in some way similar to the curator of the second case study. Therefore, I conclude that the second case study best conveys the current practice of exhibiting Popular Music in Portugal.

Reflective practice and the novice nurse /

The importance of reflective practice to the novice nurse was explored in this study. The novice nurse, for the purpose of this study, was defined as a Registered Nurse who graduated from an accredited nursing program within a 1 2-month period prior to the data collection date and who had no prior experience as a Registered Nurse before graduation. All of the nurses enrolled in this study were female. This study explored the perceived link between transformational learning and reflective practice, and whether there may be a need to standardize a conceptual framework and definition for reflective practice in nursing academia. The literature that was reviewed for this study indicated that there were inconsistencies in the application of reflective practice within academic curriculums. The literature did identify that the majority of academic scholars have agreed that reflection is paramount in the development of critical thinking skills, self-awareness, and selfdirection. And, while all of these skills drive professional practice and effect excellent patient care, institutional health care has been reticent to support the value of reflective practice because of a lack of empirical data sets. The 4 novice Registered Nurses who participated in this study were asked 4 openended questions that provided a foundation for comparing the novice nurses' experiences, interpretations, and perceptions of reflective practice. These nurses participated in individual audiotaped interviews with the researcher. The study was based upon Heath's (1998) model of "Theory hitegration via Reflective Practice." The results demonstrated that reflective practice was significant to the novice nurse and was used as a tool to identify further learning needs. Transformational learning through reflection was described by the study participants. The findings within this study are consistent with previous work done in the area of reflection and the novice nurse.

Elementary computer-mediated online distance education : identification of criteria for successful implementation and practice

This study had three purposes related to the effective implem,entation and practice of computer-mediated online distance education (C-MODE) at the elementary level: (a) To identify a preliminary framework of criteria 'or guidelines for effective implementation and practice, (b) to identify areas ofC-MODE for which criteria or guidelines of effectiveness have not yet been developed, and (c) to develop an implementation and practice criteria questionnaire based on a review of the distance education literature, and to use the questionnaire in an exploratory survey of elementary C-MODE practitioners. Using the survey instrument, the beliefs and attitudes of 16 elementary C'- MODE practitioners about what constitutes effective implementation and practice principles were investigated. Respondents, who included both administrators and instructors, provided information about themselves and the program in which they worked. They rated 101 individual criteria statenlents on a 5 point Likert scale with a \. point range that included the values: 1 (Strongly Disagree), 2 (Disagree), 3 (Neutral or Undecided), 4 (Agree), 5 (Strongly Agree). Respondents also provided qualitative data by commenting on the individual statements, or suggesting other statements they considered important. Eighty-two different statements or guidelines related to the successful implementation and practice of computer-mediated online education at the elementary level were endorsed. Response to a small number of statements differed significantly by gender and years of experience. A new area for investigation, namely, the role ofparents, which has received little attention in the online distance education literature, emerged from the findings. The study also identified a number of other areas within an elementary context where additional research is necessary. These included: (a) differences in the factors that determine learning in a distance education setting and traditional settings, (b) elementary students' ability to function in an online setting, (c) the role and workload of instructors, (d) the importance of effective, timely communication with students and parents, and (e) the use of a variety of media.

Exploring the effects of change on nursing practice in acute ambulatory care settings : a qualitative study

As a result of the current changes taking place in the delivery of acute care services, the emergence of acute ambulatory care (AAC) settings is expanding. According to a literature review, the volume, acuity, and complexity of patient care in these settings is increasing while the time the patients spend under the care of nurses is decreasing. Two forces, hospital downsizing and advancing technology, are identified as the major contributors to the shift in acute care delivery. The effects that these changes are having on the clinical nursing practice of registered nurses working in AAC settings are not known. Given that AAC settings are rapidly expanding, it can be anticipated that the delivery of nursing care will continue to be compressed into a shorter time frame. Therefore, the following qualitative research question was formulated: What are the problems and issues related to clinical nursing practice in acute ambulatory settings? The purpose of this study was to explore the problems and issues associated with change and clinical nursing practice including the educational needs of nurses working in MC settings. Specific objectives of the study included the following: (a) to explore the problems and issues related to nursing practice in select AAC settings; (b) to explore the similarities and differences in perspectives related to role expectation between nurse managers, nurse educators, and staff nurses; and (c) to develop a conceptual framework that will guide the construction of an instrument needed for further research. This study used semistructured individual interviews and focus group sessions to collect data from the three categories of registered nurses. More specifically, data were collected from one nurse manager, two charge nurses, two nurse educators and fifteen staff nurses, working in three different MC settings of a major teaching hospital. Collected data were separately analyzed by the researcher and an external rater following grounded theory methodology. By using open and axial coding, the problems and issues identified by nurses were grouped into several major and minor themes. In final analysis, by using selective coding, the four core themes (intensification, moderation, frustration, and adaptation) were extracted. Each core theme was presented and discussed in relation to hospital downsizing and advancing technology. The relationships among the four core themes were discussed and depicted in a model termed the "Impact and Consequence Model on Nursing Practice in MC Settings." Implications for further research are discussed and research hypotheses, based on the research findings, are presented.

Improving the use of the nursing process: the impact of charting methodology developed from King's conceptual framework on the use of the nursing process

The purpose of this study was to assess the effects of changing a nursing documentation system, developed from King's Conceptual Framework, on the use of the nursing process. The null hypothesis was that there would be no significant increase in the reflection of the use of the nursing process on the nursing care plan or nurses' notes, as a result of using a nursing documentation system developed using King's Conceptual Framework (1981). The design involved the development of a questionnaire that was used to review health records pre and post implementation of a documentation system developed based on King's Conceptual Framework and Theory of Goal Attainment (1981). A Record Completeness Score was obtained from some of the questions. The null hypothesis was rejected. The results of the study have implications for nursing administration and the evaluation of nursing practice. If the use of a documentation system developed from a conceptual framework increases the reflection of the nursing process on the patient's health record, nursing will have the means to measure patient outcomes/goal attainment. All health care organizations and levels of government are focusing on methods to monitor and control the health-care dollar. In order for nursing to clearly determine the costs associated with nursing care, measurement of patient outcomes/goal attainment will need to be possible. In order to measure patient outcomes/goals attainment nurses will need to be able to collect data on their practice. It will be critical that nursing have a documentation system in place which facilitates the reflection of the nursing process within a theoretical framework.

Verbal ability, previous practice and load on short-term memory as determiners of differences in a complex learning task: an experimental study

Traditional psychometric theory and practice classify people according to broad ability dimensions but do not examine how these mental processes occur. Hunt and Lansman (1975) proposed a 'distributed memory' model of cognitive processes with emphasis on how to describe individual differences based on the assumption that each individual possesses the same components. It is in the quality of these components ~hat individual differences arise. Carroll (1974) expands Hunt's model to include a production system (after Newell and Simon, 1973) and a response system. He developed a framework of factor analytic (FA) factors for : the purpose of describing how individual differences may arise from them. This scheme is to be used in the analysis of psychometric tes ts . Recent advances in the field of information processing are examined and include. 1) Hunt's development of differences between subjects designated as high or low verbal , 2) Miller's pursuit of the magic number seven, plus or minus two, 3) Ferguson's examination of transfer and abilities and, 4) Brown's discoveries concerning strategy teaching and retardates . In order to examine possible sources of individual differences arising from cognitive tasks, traditional psychometric tests were searched for a suitable perceptual task which could be varied slightly and administered to gauge learning effects produced by controlling independent variables. It also had to be suitable for analysis using Carroll's f ramework . The Coding Task (a symbol substitution test) found i n the Performance Scale of the WISe was chosen. Two experiments were devised to test the following hypotheses. 1) High verbals should be able to complete significantly more items on the Symbol Substitution Task than low verbals (Hunt, Lansman, 1975). 2) Having previous practice on a task, where strategies involved in the task may be identified, increases the amount of output on a similar task (Carroll, 1974). J) There should be a sUbstantial decrease in the amount of output as the load on STM is increased (Miller, 1956) . 4) Repeated measures should produce an increase in output over trials and where individual differences in previously acquired abilities are involved, these should differentiate individuals over trials (Ferguson, 1956). S) Teaching slow learners a rehearsal strategy would improve their learning such that their learning would resemble that of normals on the ,:same task. (Brown, 1974). In the first experiment 60 subjects were d.ivided·into high and low verbal, further divided randomly into a practice group and nonpractice group. Five subjects in each group were assigned randomly to work on a five, seven and nine digit code throughout the experiment. The practice group was given three trials of two minutes each on the practice code (designed to eliminate transfer effects due to symbol similarity) and then three trials of two minutes each on the actual SST task . The nonpractice group was given three trials of two minutes each on the same actual SST task . Results were analyzed using a four-way analysis of variance . In the second experiment 18 slow learners were divided randomly into two groups. one group receiving a planned strategy practioe, the other receiving random practice. Both groups worked on the actual code to be used later in the actual task. Within each group subjects were randomly assigned to work on a five, seven or nine digit code throughout. Both practice and actual tests consisted on three trials of two minutes each. Results were analyzed using a three-way analysis of variance . It was found in t he first experiment that 1) high or low verbal ability by itself did not produce significantly different results. However, when in interaction with the other independent variables, a difference in performance was noted . 2) The previous practice variable was significant over all segments of the experiment. Those who received previo.us practice were able to score significantly higher than those without it. J) Increasing the size of the load on STM severely restricts performance. 4) The effect of repeated trials proved to be beneficial. Generally, gains were made on each successive trial within each group. S) In the second experiment, slow learners who were allowed to practice randomly performed better on the actual task than subjeots who were taught the code by means of a planned strategy. Upon analysis using the Carroll scheme, individual differences were noted in the ability to develop strategies of storing, searching and retrieving items from STM, and in adopting necessary rehearsals for retention in STM. While these strategies may benef it some it was found that for others they may be harmful . Temporal aspects and perceptual speed were also found to be sources of variance within individuals . Generally it was found that the largest single factor i nfluencing learning on this task was the repeated measures . What e~ables gains to be made, varies with individuals . There are environmental factors, specific abilities, strategy development, previous learning, amount of load on STM , perceptual and temporal parameters which influence learning and these have serious implications for educational programs .

Letting go : a self-study utilizing critical literacy as method in improving my practice /

This is a Self-study about my role as a teacher, driven by the question: "How do I improve my practice?" (Whitehead, 1989)? In this study, I explored the discomfort that I had with the way that I had been teaching. Specifically, I worked to uncover the reasons behind my obsessive (mis)management of my students. I wrote of how I came to give my Self permission for this critique: how I came to know that all knowledge is a construction, and that my practice, too, is a construction. I grounded this journey within my experiences. I constructed these experiences in narrative fomi in order to reach a greater understanding of how I came to be the teacher I initially was. I explored metaphors that impacted my practice, re-constructed them, and saw more clearly the assumptions and influences that have guided my teaching. I centred my inquiry into my teaching within an Action Reflection methodology, bon-owing Jack Whitehead's (1989) term to describe my version of Action Research. I relied upon the embedded cyclical pattern of Action Reflection to understand my teaching Self: beginning from a critical moment, reflecting upon it, and then taking appropriate action, and continuing in this way, working to improve my practice. To understand these critical moments, I developed a personal definition of critical literacy. I then tumed this definition inward. In treating my practice as a textual production, I applied critical literacy as a framework in coming to know and understand the construction that is my teaching. I grounded my thesis journey within my Self, positioning my study within my experiences of being a grade 1 teacher struggling to teach critical literacy. I then repositioned my journey to that of a grade 1 teacher struggling to use critical literacy to improve my practice. This journey, then, is about the transition from critical literacyit as-subject to critical literacy-as-instmctional-method in improving my practice. I joumeyed inwards, using a critical moment to build new understandings, leading me to the next critical moment, and continued in this cyclical way. I worked in this meandering yet deliberate way to reach a new place in my teaching: one that is more inclusive of all the voices in my room. I concluded my journey with a beginning: a beginning of re-visioning my practice. In telling the stories of my journey, of my teaching, of my experiences, I changed into the teacher that I am more comfortable with. I've come to the frightening conclusion that I am the decisive element in the classroom. It's my personal approach that creates the climate. It's my daily mood that makes the weather As a teacher, I possess a tremendous power to make a person's life miserable or joyous. I can be a tool of torture or an instrument of inspiration. I can humiliate or humour, hurt or heal. In all situations, it is my response that decides whether a crisis will be escalated or de-escalated and a person humanized or de-humanized. (Ginott, as cited in Buscaglia, 2002, p. 22)

An exploration of interdisciplinary practice through an examination of specific disciplinary interpretations of stereotypic behaviour

As identified in the literature, a lack of understanding of the functional properties and triggers of stereotypic behaviour exists. When looking at this behaviour from an Applied Behaviour Analysis (ABA) framework, limitations are evident around identifying specific sensory modalities and functional properties of such behaviour. Antecedents particularly are difficult to identify and interpret. Therefore an interdisciplinary approach to assessment using two types of professional services commonly received by individuals with autism was proposed. However before this approach could be investigated the current interpretations of Stereo typic behaviour by each professional must be examined along with perceptions of interdisciplinary collaboration. The purpose of this study was to use an in-depth qualitative analysis to reveal the interpretations of stereotypy and collaboration from the perspectives of two particular professionals. The results of the study demonstrated that occupational therapists and behaviour analysts likely have different interpretations of the same behaviour,that consultation is the common model used to interact with other disciplines, and that professionals may have mixed feelings toward interdisciplinary practices as an approach to stereotypic behaviour. Strengths and limitations of the study were highlighted along with specific directions for future research.