A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

OPM3® Portugal project: information systems and technologies organizations: outcome analysis

Increasing the maturity in Project Management (PM) has become a goal for many organizations, leading them to adopt maturity models to assess the current state of its PM practices and compare them with the best practices in the industry where the organization is inserted. One of the main PM maturity models is the Organizational Project Management Maturity Model (OPM3®), developed by the Project Management Institute. This paper presents the Information Systems and Technologies organizations outcome analysis, of the assesses made by the OPM3® Portugal Project, identifying the PM processes that are “best” implemented in this particular industry and those in which it is urgent to improve. Additionally, a comparison between the different organizations’ size analyzed is presented.

Regarding Information Systems Dependability Analysis

The article presents classification of information systems by different parameters. Factors influencing information systems dependability are also presented. The article describes the strategy of information systems dependability analysis and methods of its increase. The example of analysis of real information system is considered to show how to implement the strategy.

Asymmetric demand information in uniform and discriminatory call auctions: an experimental analysis motivated by electricity markets

We study the outcomes of experimental multi-unit uniform and discriminatory auctions with demand uncertainty. Our study is motivated by the ongoing debate about market design in the electricity industry. Our main aim is to compare the effect of asymmetric demand-information between sellers on the performance of the two auction institutions. In our baseline conditions all sellers have the same information, whereas in our treatment conditions some sellers have better information than others. In both information conditions we find that average transaction prices and price volatility are not significantly different under the two auction institutions. However, when there is asymmetric information among sellers the discriminatory auction is significantly less efficient. These results are not in line with the typical arguments made in favor of discriminatory pricing in electricity industries; namely, lower consumer prices and less price volatility. Moreover, our results provide some indication that discriminatory auctions reduce technical efficiency relative to uniform auctions.

Information and education in schistosomiasis control: an analysis of the situation in the State of Minas Gerais, Brazil

This paper presents the main ideas discussed in the round-table "Social and Educacional Aspects of Schistosomiasis Control", during the VII International Symposium of Schistosomiais. Considering the perspectives of schistosomiasis control in Brazil, it is described the example of the State of Minas Gerais , where the disease has been registered for more than seven decades. The importance of an extensive evaluation is now more important, considering the recent change in the Brazilian health system, since the Federal responsibility for the tropical diseases control programs have been replaced by the municipalities coordination. In this way, it is urgent to develop effective alternatives to assist the municipal staffs in the control task. In the specific case of health education, one observes a wide gap between the planned objectives and what is in fact carried out. Instant objectives and the utilization of traditional techniques prevail, which do not take into account the active participation of the population involved. Based on the authors' experience in the scientific and health education, the paper analyzes: (1) some data from a case study in the metropolitan region of Belo Horizonte, which presents the social representation and perception of schistosomiasis by the population; (2) an analysis of 35 different informative and educative materials used in Brazil since the sixties, and (3) some recommendations resulted from the studies that were carried out.

A Cladistic Analysis of Inaequalium (Coscarón & Wygodzinsky, 1984), with Information on Geographical Distribution (Diptera: Simuliidae)

The black flies of the genus Inaequalium present a Neotropical distribution, with Panama at the northern limit, and the Argentinian pampas at the southern, but do not occur in the Central Amazon. This study offers a cladistic analysis establishing a hypothesis of relationships between the species of Inaequalium. A total of 37 characters have been considered in order to establish the hypothetic phylogenetic relationships. Cerqueirellum (Py-Daniel, 1983) was considered as outgroup. Data were analyzed using Henning 86 version 1.5. Wich the ie* command and implicit enumeration a unique possible cladogram was obtained in Inaequalium with 52 steps, and a CI of 0.76 and RI of 0.81. Two well-defined clades was obtained in the resulting cladogram, the "botulibranchium" species-group, includes I. travassosi, I. souzalopesi, I. botulibranchium and I. petropoliense, and the "inaequale" species-group, includes I. rappae, I. nahimi, I. inaequale, I. leopoldense, I. subnigrum, I. diversibranchium, I. mariavulcanoae, I. nogueirai, I. beaupertuyi, I. clavibranchium and I. subclavibranchium.

Conceptual models for designing information systems supporting the strategic analysis of technology environments

1 6 STRUCTURE OF THIS THESIS -Chapter I presents the motivations of this dissertation by illustrating two gaps in the current body of knowledge that are worth filling, describes the research problem addressed by this thesis and presents the research methodology used to achieve this goal. -Chapter 2 shows a review of the existing literature showing that environment analysis is a vital strategic task, that it shall be supported by adapted information systems, and that there is thus a need for developing a conceptual model of the environment that provides a reference framework for better integrating the various existing methods and a more formal definition of the various aspect to support the development of suitable tools. -Chapter 3 proposes a conceptual model that specifies the various enviromnental aspects that are relevant for strategic decision making, how they relate to each other, and ,defines them in a more formal way that is more suited for information systems development. -Chapter 4 is dedicated to the evaluation of the proposed model on the basis of its application to a concrete environment to evaluate its suitability to describe the current conditions and potential evolution of a real environment and get an idea of its usefulness. -Chapter 5 goes a step further by assembling a toolbox describing a set of methods that can be used to analyze the various environmental aspects put forward by the model and by providing more detailed specifications for a number of them to show how our model can be used to facilitate their implementation as software tools. -Chapter 6 describes a prototype of a strategic decision support tool that allow the analysis of some of the aspects of the environment that are not well supported by existing tools and namely to analyze the relationship between multiple actors and issues. The usefulness of this prototype is evaluated on the basis of its application to a concrete environment. -Chapter 7 finally concludes this thesis by making a summary of its various contributions and by proposing further interesting research directions.

A new approach for potential drug target discovery through in silico metabolic pathway analysis using Trypanosoma cruzi genome information

The current drug options for the treatment of chronic Chagas disease have not been sufficient and high hopes have been placed on the use of genomic data from the human parasite Trypanosoma cruzi to identify new drug targets and develop appropriate treatments for both acute and chronic Chagas disease. However, the lack of a complete assembly of the genomic sequence and the presence of many predicted proteins with unknown or unsure functions has hampered our complete view of the parasite's metabolic pathways. Moreover, pinpointing new drug targets has proven to be more complex than anticipated and has revealed large holes in our understanding of metabolic pathways and their integrated regulation, not only for this parasite, but for many other similar pathogens. Using an in silicocomparative study on pathway annotation and searching for analogous and specific enzymes, we have been able to predict a considerable number of additional enzymatic functions in T. cruzi. Here we focus on the energetic pathways, such as glycolysis, the pentose phosphate shunt, the Krebs cycle and lipid metabolism. We point out many enzymes that are analogous to those of the human host, which could be potential new therapeutic targets.

The provision of relative performance feedback information: An experimental analysis of performance and happiness

This paper studies the effect of providing relative performance feedback information onindividual performance and on individual affective response, when agents are rewardedaccording to their absolute performance. In a laboratory set-up, agents perform a realeffort task and when receiving feedback, they are asked to rate their happiness, arousaland feeling of dominance. Control subjects learn only their absolute performance, whilethe treated subjects additionally learn the average performance in the session.Performance is 17 percent higher when relative performance feedback is provided.Furthermore, although feedback increases the performance independent of the content(i.e., performing above or below the average), the content is determinant for theaffective response. When subjects are treated, the inequality in the happiness and thefeeling of dominance between those subjects performing above and below the averageincreases by 8 and 6 percentage points, respectively.

Quality coding by neural populations in the early olfactory pathway: analysis using information theory

In this article, we analyze the ability of the early olfactory system to detect and discriminate different odors by means of information theory measurements applied to olfactory bulb activity images. We have studied the role that the diversity and number of receptor neuron types play in encoding chemical information. Our results show that the olfactory receptors of the biological system are low correlated and present good coverage of the input space. The coding capacity of ensembles of olfactory receptors with the same receptive range is maximized when the receptors cover half of the odor input space - a configuration that corresponds to receptors that are not particularly selective. However, the ensemble's performance slightly increases when mixing uncorrelated receptors of different receptive ranges. Our results confirm that the low correlation between sensors could be more significant than the sensor selectivity for general purpose chemo-sensory systems, whether these are biological or biomimetic.

Computerized analysis of isometric tension studies provides important additional information about vasomotor activity

Concentration-response curves of isometric tension studies on isolated blood vessels are obtained traditionally. Although parameters such as Imax, EC50 and pA2 may be readily calculated, this method does not provide information on the temporal profile of the responses or the actual nature of the reaction curves. Computerized data acquisition systems can be used to obtain average data that represent a new source of otherwise inaccessible information, since early and late responses may be observed separately in detail