The role of consistency in empirical science

Any inconsistent theory whose underlying logic is classical encompasses all the sentences of its own language. As it denies everything it asserts, it is useless for explaining or predicting anything. Nevertheless, paraconsistent logic has shown that it is possible to live with contradictions and still avoid the collapse of the theory. The main point of this paper is to show that even if it is formally possible to isolate the contradictions and to live with them, this cohabitation is neither desired by working scientists not desirable for the progress of science. Several cases from the recent history of physics and cosmology are analyzed.

Enabling constructive alignment in programming instruction

In this thesis, simple methods have been sought to lower the teacher’s threshold to start to apply constructive alignment in instruction. From the phases of the instructional process, aspects that can be improved with little effort by the teacher have been identified. Teachers have been interviewed in order to find out what students actually learn in computer science courses. A quantitative analysis of the structured interviews showed that in addition to subject specific skills and knowledge, students learn many other skills that should be mentioned in the learning outcomes of the course. The students’ background, such as their prior knowledge, learning style and culture, affects how they learn in a course. A survey was conducted to map the learning styles of computer science students and to see if their cultural background affected their learning style. A statistical analysis of the data indicated that computer science students are different learners than engineering students in general and that there is a connection between the student’s culture and learning style. In this thesis, a simple self-assessment scale that is based on Bloom’s revised taxonomy has been developed. A statistical analysis of the test results indicates that in general the scale is quite reliable, but single students still slightly overestimate or under-estimate their knowledge levels. For students, being able to follow their own progress is motivating, and for a teacher, self-assessment results give information about how the class is proceeding and what the level of the students’ knowledge is.

Parasites of the freshwater fish trade in Brazil: science metric study

This paper presents a science metric study of parasites of fish farming in Brazil, including a significant review of the literature. The methodology used was based on researching articles in three different databases, carried out ​on May 2012: ISI (Institute for Scientific Information), SciELO (Scientific Electronic Library Online), and Google Academic. The number of articles on fish parasites is mounting (currently over 110), having much increased since 1995. However, the quantity is still low compared with the amount of papers on parasites of fish from natural environments. In Brazil, the farmed fish that have been studied the most are pacu, tilapia and tambaqui. Monogeneans represent the most prevalent group, followed by protozoa and crustaceans. The regions most researched were the southeast and south, making up 84% of the total literature. The main issue addressed in articles was pathology, followed by treatment and record. In conclusion, the treatment of parasitic diseases of farmed fish in Brazil is still incipient, highlighting the importance and usefulness of management practices to prevent the occurrence of health problems.

The growing competition in Brazilian science: rites of passage, stress and burnout

Brazil's scientific community is under pressure. Each year there is an increase in its contribution to international science and in the number of students who are trained to do research and teach at an advanced level. Most of these activities are carried out in state and federal universities, but with government funding that has decreased by more than 70% since 1996. Interviews with graduate students, post-doctoral fellows and professors in one university department with a strong research tradition illustrate the level of stress engendered by the conflict between increasing competition and diminishing resources, and serve to underscore the negative effects on creativity and on the tendency to choose science as a career.

Addressing conflicts of interest in the research paper: a societal demand in contemporary science?

In the last decade, dialogue between science and society has found a forum in an increasing number of publications on topics such as public engagement with science and public trust in science. Concerning the latter, issues that include cases of research misconduct, accountability in research, and conflicts of interest (COIs) have shaped global discussions on the communication of science. In the publication setting, the perception that hiding COIs and/or not managing them well may affect public trust in the research record has grown among editors. We conducted a search for editorials addressing COIs between 1989 and 2011, using four major databases: Medline/PubMed, Embase, Scopus, and Web of Knowledge. We explored the content of these editorials and the relationship they established between COIs and the public trust in science. Our results demonstrate that the relationship between disclosure of COIs and public trust in science has become a major concern among editors. We, thus, argue that COIs should be discussed more openly and frequently in graduate courses in the sciences, around the globe, not only in biomedical but also in non-biomedical areas. This is a critical issue in contemporary science, as graduate students are the future voices and decision-makers of the research community. Therefore, COIs, especially in the broader context of science and society, merit closer attention from policymakers, researchers, and educators. At times of great expectations for public engagement with science, mishandling of COIs may have undesirable consequences for public engagement with science and confidence in the scientific endeavor.

The role of business model in computer game development organizations

The computer game industry has grown steadily for years, and in revenues it can be compared to the music and film industries. The game industry has been moving to digital distribution. Computer gaming and the concept of business model are discussed among industrial practitioners and the scientific community. The significance of the business model concept has increased in the scientific literature recently, although there is still a lot of discussion going on on the concept. In the thesis, the role of the business model in the computer game industry is studied. Computer game developers, designers, project managers and organization leaders in 11 computer game companies were interviewed. The data was analyzed to identify the important elements of computer game business model, how the business model concept is perceived and how the growth of the organization affects the business model. It was identified that the importance of human capital is crucial to the business. As games are partly a product of creative thinking also innovation and the creative process are highly valued. The same applies to technical skills when performing various activities. Marketing and customer relationships are also considered as key elements in the computer game business model. Financing and partners are important especially for startups, when the organization is dependent on external funding and third party assets. The results of this study provide organizations with improved understanding on how the organization is built and what business model elements are weighted.

Metal music as critical dystopia : humans, technology and the future in 1990s science fiction metal

Metal Music as Critical Dystopia: Humans, Technology and the Future in 1990s Science Fiction Metal seeks to demonstrate that the dystopian elements in metal music are not merely or necessarily a sonic celebration of disaster. Rather, metal music's fascination with dystopian imagery is often critical in intent, borrowing themes and imagery from other literary and cinematic traditions in an effort to express a form of social commentary. The artists and musical works examined in this thesis maintain strong ties with the science fiction genre, in particular, and tum to science fiction conventions in order to examine the long-term implications of humanity's complex relationship with advanced technology. Situating metal's engagements with science fiction in relation to a broader practice of blending science fiction and popular music and to the technophobic tradition in writing and film, this thesis analyzes the works of two science fiction metal bands, VOlvod and Fear Factory, and provides close readings of four futuristic albums from the mid to late 1990s that address humanity's relationship with advanced technology in musical and visual imagery as well as lyrics. These recorded texts, described here as cyber metal for their preoccupation with technology in subject matter and in sound, represent prime examples of the critical dystopia in metal music. While these albums identify contemporary problems as the root bf devastation yet to come, their musical narratives leave room for the possibility of hope , allowing for the chance that dystopia is not our inevitable future.

Generating finite integral relation algebras

Relation algebras and categories of relations in particular have proven to be extremely useful as a fundamental tool in mathematics and computer science. Since relation algebras are Boolean algebras with some well-behaved operations, every such algebra provides an atom structure, i.e., a relational structure on its set of atoms. In the case of complete and atomic structure (e.g. finite algebras), the original algebra can be recovered from its atom structure by using the complex algebra construction. This gives a representation of relation algebras as the complex algebra of a certain relational structure. This property is of particular interest because storing the atom structure requires less space than the entire algebra. In this thesis I want to introduce and implement three structures representing atom structures of integral heterogeneous relation algebras, i.e., categorical versions of relation algebras. The first structure will simply embed a homogeneous atom structure of a relation algebra into the heterogeneous context. The second structure is obtained by splitting all symmetric idempotent relations. This new algebra is in almost all cases an heterogeneous structure having more objects than the original one. Finally, I will define two different union operations to combine two algebras into a single one.

Strategies of empirical justification in experimental science

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Off to new shores

In the last years, the main orientation of Formal Concept Analysis (FCA) has turned from mathematics towards computer science. This article provides a review of this new orientation and analyzes why and how FCA and computer science attracted each other. It discusses FCA as a knowledge representation formalism using five knowledge representation principles provided by Davis, Shrobe, and Szolovits [DSS93]. It then studies how and why mathematics-based researchers got attracted by computer science. We will argue for continuing this trend by integrating the two research areas FCA and Ontology Engineering. The second part of the article discusses three lines of research which witness the new orientation of Formal Concept Analysis: FCA as a conceptual clustering technique and its application for supporting the merging of ontologies; the efficient computation of association rules and the structuring of the results; and the visualization and management of conceptual hierarchies and ontologies including its application in an email management system.

A storage scheme for an automated archive

Presentation given at the Al-Azhar Engineering First Conference, AEC’89, Dec. 9-12 1989, Cairo, Egypt. The paper presented at AEC'89 suggests an infinite storage scheme divided into one volume which is online and an arbitrary number of off-line volumes arranged into a linear chain which hold records which haven't been accessed recently. The online volume holds the records in sorted order (e.g. as a B-tree) and contains shortest prefixes of keys of records already pushed offline. As new records enter, older ones are retired to the first volume which is going offline next. Statistical arguments are given for the rate at which an off-line volume needs to be fetched to reload a record which had been retired before. The rate depends on the distribution of access probabilities as a function of time. Applications are medical records, production records or other data which need to be kept for a long time for legal reasons.