Comparison for DNA primary sequence

In this article, two schemes are suggested based on three exons of beta-globin gene belonging to 10 species for comparison of DNA primary sequences. At first, the positions of four nucleic acid bases were extracted, and then based on the information, as the numerical characterization of DNA sequences, the sequence invariants were derived. Sequences comparisons of 10 species selected in this work by using these invariants were performed. The results, especially with scheme 2, are quite satisfactory.

A novel invariant and sequence comparison for DNA

We consider numerical characterization of DNA primary sequence based on the positions of bases (a, t, c, g) and the pairs of bases X, Y in DNA (X, Y=a, t, c, g). This leads to a representation of DNA by a numerical sequence. Then, we extract a novel invariant (molecular connectivity index) from the derived numerical sequences. The suitable invariant can offer a characterization of DNA primary sequence. Finally, we provide an illustration of its utility by making a comparison between ten DNA sequences belonging to beta-globin gene in different species. The evolutionary relationships of ten species we have revealed in this contribution accord with phylogenetic tree properly.

Automated Program Recognition

The key to understanding a program is recognizing familiar algorithmic fragments and data structures in it. Automating this recognition process will make it easier to perform many tasks which require program understanding, e.g., maintenance, modification, and debugging. This report describes a recognition system, called the Recognizer, which automatically identifies occurrences of stereotyped computational fragments and data structures in programs. The Recognizer is able to identify these familiar fragments and structures, even though they may be expressed in a wide range of syntactic forms. It does so systematically and efficiently by using a parsing technique. Two important advances have made this possible. The first is a language-independent graphical representation for programs and programming structures which canonicalizes many syntactic features of programs. The second is an efficient graph parsing algorithm.

Utilização do software GRASP para gerar arquivo de coordenadas com valores de potencial eletrostático.

Com o intuito de disponibilizar um banco de dados de valores de potencial eletrostático para todas as estruturas de proteínas depositadas no PDB, foi utilizado o programa GRASP (Graphical Representation and Analysis of Structural Properties) (Nicholls et al., 1991) para geração deste banco de dados.

The human papillomavirus and cancer: a multiphase study investigating preventative behaviours in young males

Background: The Human Papillomavirus (HPV) is one of the world’s most common sexually transmitted infections, and a causative factor of oropharyngeal, anal and penile cancers in males. Worldwide, an estimated 39,000 HPV-associated cancers occur each year in men. The highest rates of HPV infection are found in adults aged 18 to 28 years. Clinical evidence indicates that use of a condom in addition to obtaining the HPV vaccine provides the greatest protection from HPV infections. Aim: To explore young men’s attitudes, beliefs, and behavioural intention in relation to receiving the HPV vaccine and using a condom correctly and consistently. Collectively, both behaviours are linked to the prevention of HPV transmission and associated infections with HPV. Method: A multi- phase study, underpinned by the Theory of Planned Behaviour, involving a qualitative belief elicitation, pilot, and quantitative cross-sectional study was conducted. A belief elicitation (n=12) phase was used to generate items to include in a newly developed research instrument. Post pilot the research instrument was utilised in a cross sectional online survey to explore the attitudes, beliefs, and behavioural intention of young men (n= 359) with regard to receiving the HPV vaccine, and using a condom correctly and consistently. Data Collection: Data collection took place over a three month time frame. Male participants were recruited from a university in Southern Ireland via a student email system, as well as posting advertisements on numerous health, social and sports websites. Sample: Three hundred and fifty nine male participants aged 18- 28 years completed the online questionnaire. Data Analysis: Data were analysed using SPSS. Descriptive, correlational, multiple and hierarchical regression analysis were performed on the indirect and direct variables of the Theory of Planned Behaviour i.e. attitude, subjective norm, perceived behavioural control, and intention. Status variables were also included in descriptive analysis and hierarchical regressions. Findings are presented through text and graphical representation. Results: Alarming sexual health statistics identified that only 44.3% of participants always used a condom, and 78.6% never used a condom for oral sex. Furthermore, findings reveal that the constructs of the Theory of Planned Behaviour adequately measure male’s attitudes, beliefs and behavioural intention with regard to both behaviours. The Theory of Planned Behaviour has assisted in identifying how social pressures play an influential role in relation to males receiving the HPV vaccine. Attitudes presented as the most significant predictor of male’s intentions to use a condom correctly and consistently. Intention to perform both behaviours was identified as moderate to high. Conclusion: This study has contributed to the field of HPV research, as it is the first piece of research to explore preventative HPV behaviours i.e. receiving the HPV vaccine, and condom use, amongst young males, utilising the Theory of Planned Behaviour. A deeper understanding of young male’s attitudes, beliefs, and behavioural intention on this topic has been achieved. Additionally, a new robust research instrument has been constructed. Findings from this study will undoubtedly help in the implementation of the HPV vaccine in Ireland, as well as influence health promotion campaigns aimed at young males, addressing the topic of condom use.

A qualitative temporal information system for process control

A general system is presented in this paper which supports the expression of relative temporal knowledge in process control and management. This system allows knowledge of Allen's temporal relations over time elements, which may be both intervals and points. The objectives and characteristics of two major temporal attributes, i.e. ‘transaction time’ and ‘valid time’, are described. A graphical representation for the temporal network is presented, and inference over the network may be made by means of a consistency checker in terms of the graphical representation. An illustrative example of the system as applied to process control and management is provided.

Representing temporal knowledge in legal discourse

This paper presents a formalism for representing temporal knowledge in legal discourse that allows an explicit expression of time and event occurrences. The fundamental time structure is characterized as a well‐ordered discrete set of primitive times, i.e. non‐decomposable intervals with positive duration or points with zero duration), from which decomposable intervals can be constructed. The formalism supports a full representation of both absolute and relative temporal knowledge, and a formal mechanism for checking the temporal consistency of a given set of legal statements is provided. The general consistency checking algorithm which addresses both absolute and relative temporal knowledge turns out to be a linear programming problem, while in the special case where only relative temporal relations are involved, it becomes a simple question of searching for cycles in the graphical representation of the corresponding legal text.

Representing and recognizing scenario patterns

This paper presents a formal method for representing and recognizing scenario patterns with rich internal temporal aspects. A scenario is presented as a collection of time-independent fluents, together with the corresponding temporal knowledge that can be relative and/or with absolute values. A graphical representation for temporal scenarios is introduced which supports consistence checking as for the temporal constraints. In terms of such a graphical representation, graph-matching algorithms/methodologies can be directly adopted for recognizing scenario patterns.

Case-based retrieval of 3-dimensional shapes for the design of metal castings

This paper describes research into retrieval based on 3-dimensional shapes for use in the metal casting industry. The purpose of the system is to advise a casting engineer on the design aspects of a new casting by reference to similar castings which have been prototyped and tested in the past. The key aspects of the system are the orientation of the shape within the mould, the positions of feeders and chills, and particular advice concerning special problems and solutions, and possible redesign. The main focus of this research is the effectiveness of similarity measures based on 3-dimensional shapes. The approach adopted here is to construct similarity measures based on a graphical representation deriving from a shape decomposition used extensively by experienced casting design engineers. The paper explains the graphical representation and discusses similarity measures based on it. Performance measures for the CBR system are given, and the results for trials of the system are presented. The competence of the current case-base is discussed, with reference to a representation of cases as points in an n-dimensional feature space, and its principal components visualization. A refinement of the case base is performed as a result of the competence analysis and the performance of the case-base before and after refinement is compared.

Matching case history patterns in case-based reasoning

This paper introduces a mechanism for representing and recognizing case history patterns with rich internal temporal aspects. A case history is characterized as a collection of elemental cases as in conventional case-based reasoning systems, together with the corresponding temporal constraints that can be relative and/or with absolute values. A graphical representation for case histories is proposed as a directed, partially weighted and labeled simple graph. In terms of such a graphical representation, an eigen-decomposition graph matching algorithm is proposed for recognizing case history patterns.

Deriving explanations from partial temporal information

The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human thinking, and to use the methods of human intelligence to underpin engineering solutions. In particular, in the domain of Artificial Intelligence, temporal knowledge may be uncertain and incomplete due to the unavailability of complete and absolute temporal information. This paper introduces an inferential framework for deriving logical explanations from partial temporal information. Based on a graphical representation which allows expression of both absolute and relative temporal knowledge in incomplete forms, the system can deliver a verdict to the question if a given set of statements is temporally consistent or not, and provide understandable logical explanation of analysis by simplified contradiction and rule based reasoning.

Tarefas de natureza exploratória e investigativa : contributos para a compreensão dos conceitos matemáticos no tema das sucessões

Relatório da prática de ensino supervisionada, Mestrado em Ensino da Matemática, Universidade de Lisboa, 2010

A aprendizagem da função afim no 8º ano : uma proposta apoiada nas tecnologias e na educação financeira

Trabalho de projeto de mestrado, Educação (Área de especialidade em Didática da Matemática), Universidade de Lisboa, Instituto de Educação, 2015

Business Process Modelling 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.

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.