902 resultados para Math Applications in Computer Science


Relevância:

100.00% 100.00%

Publicador:

Resumo:

The skill of programming is a key asset for every computer science student. Many studies have shown that this is a hard skill to learn and the outcomes of programming courses have often been substandard. Thus, a range of methods and tools have been developed to assist students’ learning processes. One of the biggest fields in computer science education is the use of visualizations as a learning aid and many visualization based tools have been developed to aid the learning process during last few decades. Studies conducted in this thesis focus on two different visualizationbased tools TRAKLA2 and ViLLE. This thesis includes results from multiple empirical studies about what kind of effects the introduction and usage of these tools have on students’ opinions and performance, and what kind of implications there are from a teacher’s point of view. The results from studies in this thesis show that students preferred to do web-based exercises, and felt that those exercises contributed to their learning. The usage of the tool motivated students to work harder during their course, which was shown in overall course performance and drop-out statistics. We have also shown that visualization-based tools can be used to enhance the learning process, and one of the key factors is the higher and active level of engagement (see. Engagement Taxonomy by Naps et al., 2002). The automatic grading accompanied with immediate feedback helps students to overcome obstacles during the learning process, and to grasp the key element in the learning task. These kinds of tools can help us to cope with the fact that many programming courses are overcrowded with limited teaching resources. These tools allows us to tackle this problem by utilizing automatic assessment in exercises that are most suitable to be done in the web (like tracing and simulation) since its supports students’ independent learning regardless of time and place. In summary, we can use our course’s resources more efficiently to increase the quality of the learning experience of the students and the teaching experience of the teacher, and even increase performance of the students. There are also methodological results from this thesis which contribute to developing insight into the conduct of empirical evaluations of new tools or techniques. When we evaluate a new tool, especially one accompanied with visualization, we need to give a proper introduction to it and to the graphical notation used by tool. The standard procedure should also include capturing the screen with audio to confirm that the participants of the experiment are doing what they are supposed to do. By taken such measures in the study of the learning impact of visualization support for learning, we can avoid drawing false conclusion from our experiments. As computer science educators, we face two important challenges. Firstly, we need to start to deliver the message in our own institution and all over the world about the new – scientifically proven – innovations in teaching like TRAKLA2 and ViLLE. Secondly, we have the relevant experience of conducting teaching related experiment, and thus we can support our colleagues to learn essential know-how of the research based improvement of their teaching. This change can transform academic teaching into publications and by utilizing this approach we can significantly increase the adoption of the new tools and techniques, and overall increase the knowledge of best-practices. In future, we need to combine our forces and tackle these universal and common problems together by creating multi-national and multiinstitutional research projects. We need to create a community and a platform in which we can share these best practices and at the same time conduct multi-national research projects easily.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Tämä tutkielma kuuluu merkkijonoalgoritmiikan piiriin. Merkkijono S on merkkijonojen X[1..m] ja Y[1..n] yhteinen alijono, mikäli se voidaan muodostaa poistamalla X:stä 0..m ja Y:stä 0..n kappaletta merkkejä mielivaltaisista paikoista. Jos yksikään X:n ja Y:n yhteinen alijono ei ole S:ää pidempi, sanotaan, että S on X:n ja Y:n pisin yhteinen alijono (lyh. PYA). Tässä työssä keskitytään kahden merkkijonon PYAn ratkaisemiseen, mutta ongelma on yleistettävissä myös useammalle jonolle. PYA-ongelmalle on sovelluskohteita – paitsi tietojenkäsittelytieteen niin myös bioinformatiikan osa-alueilla. Tunnetuimpia niistä ovat tekstin ja kuvien tiivistäminen, tiedostojen versionhallinta, hahmontunnistus sekä DNA- ja proteiiniketjujen rakennetta vertaileva tutkimus. Ongelman ratkaisemisen tekee hankalaksi ratkaisualgoritmien riippuvuus syötejonojen useista eri parametreista. Näitä ovat syötejonojen pituuden lisäksi mm. syöttöaakkoston koko, syötteiden merkkijakauma, PYAn suhteellinen osuus lyhyemmän syötejonon pituudesta ja täsmäävien merkkiparien lukumäärä. Täten on vaikeaa kehittää algoritmia, joka toimisi tehokkaasti kaikille ongelman esiintymille. Tutkielman on määrä toimia yhtäältä käsikirjana, jossa esitellään ongelman peruskäsitteiden kuvauksen jälkeen jo aikaisemmin kehitettyjä tarkkoja PYAalgoritmeja. Niiden tarkastelu on ryhmitelty algoritmin toimintamallin mukaan joko rivi, korkeuskäyrä tai diagonaali kerrallaan sekä monisuuntaisesti prosessoiviin. Tarkkojen menetelmien lisäksi esitellään PYAn pituuden ylä- tai alarajan laskevia heuristisia menetelmiä, joiden laskemia tuloksia voidaan hyödyntää joko sellaisinaan tai ohjaamaan tarkan algoritmin suoritusta. Tämä osuus perustuu tutkimusryhmämme julkaisemiin artikkeleihin. Niissä käsitellään ensimmäistä kertaa heuristiikoilla tehostettuja tarkkoja menetelmiä. Toisaalta työ sisältää laajahkon empiirisen tutkimusosuuden, jonka tavoitteena on ollut tehostaa olemassa olevien tarkkojen algoritmien ajoaikaa ja muistinkäyttöä. Kyseiseen tavoitteeseen on pyritty ohjelmointiteknisesti esittelemällä algoritmien toimintamallia hyvin tukevia tietorakenteita ja rajoittamalla algoritmien suorittamaa tuloksetonta laskentaa parantamalla niiden kykyä havainnoida suorituksen aikana saavutettuja välituloksia ja hyödyntää niitä. Tutkielman johtopäätöksinä voidaan yleisesti todeta tarkkojen PYA-algoritmien heuristisen esiprosessoinnin lähes systemaattisesti pienentävän niiden suoritusaikaa ja erityisesti muistintarvetta. Lisäksi algoritmin käyttämällä tietorakenteella on ratkaiseva vaikutus laskennan tehokkuuteen: mitä paikallisempia haku- ja päivitysoperaatiot ovat, sitä tehokkaampaa algoritmin suorittama laskenta on.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this work mathematical programming models for structural and operational optimisation of energy systems are developed and applied to a selection of energy technology problems. The studied cases are taken from industrial processes and from large regional energy distribution systems. The models are based on Mixed Integer Linear Programming (MILP), Mixed Integer Non-Linear Programming (MINLP) and on a hybrid approach of a combination of Non-Linear Programming (NLP) and Genetic Algorithms (GA). The optimisation of the structure and operation of energy systems in urban regions is treated in the work. Firstly, distributed energy systems (DES) with different energy conversion units and annual variations of consumer heating and electricity demands are considered. Secondly, district cooling systems (DCS) with cooling demands for a large number of consumers are studied, with respect to a long term planning perspective regarding to given predictions of the consumer cooling demand development in a region. The work comprises also the development of applications for heat recovery systems (HRS), where paper machine dryer section HRS is taken as an illustrative example. The heat sources in these systems are moist air streams. Models are developed for different types of equipment price functions. The approach is based on partitioning of the overall temperature range of the system into a number of temperature intervals in order to take into account the strong nonlinearities due to condensation in the heat recovery exchangers. The influence of parameter variations on the solutions of heat recovery systems is analysed firstly by varying cost factors and secondly by varying process parameters. Point-optimal solutions by a fixed parameter approach are compared to robust solutions with given parameter variation ranges. In the work enhanced utilisation of excess heat in heat recovery systems with impingement drying, electricity generation with low grade excess heat and the use of absorption heat transformers to elevate a stream temperature above the excess heat temperature are also studied.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

ABSTRACTGlyphosate has significant effects on the growth and development of plants when in underdoses. This work was developed to verify the effect of the application of glyphosate in underdoses in lignin synthesis and consequently decomposition of maize stover. Two experiments were conducted; the first one in a greenhouse for underdoses adjustments and the second one in the production area. The experimental design of the first trial was completely randomized with four replications. The treatments consisted in the application of the underdoses: 0, 25, 50 and 100 g ha-1 of glyphosate. In the production area, the experimental design was a randomized block with four replications, in underdoses: 0, 12.5, 25 and 50 g ha-1. The results were submitted to analysis of variance and regression. The underdoses of 25 g a.e. ha-1in a greenhouse promoted 36% increase in productivity of stover, in addition to increasing the lignin content in 16%, with no change in the unwanted growth of maize plants. In the production area, the concentration of 12.5 g a.e. ha-1 of glyphosate reduced the lignin content and the other underdoses have not changed this feature in maize plants. None of the underdoses affected the height and biomass produced by the maize plants. The highest underdose tested promoted acceleration in the decomposition of maize stover.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This thesis is done as a part of the NEOCARBON project. The aim of NEOCARBON project is to study a fully renewable energy system utilizing Power-to-Gas or Power-to-Liquid technology for energy storage. Power-to-Gas consists of two main operations: Hydrogen production via electrolysis and methane production via methanation. Methanation requires carbon dioxide and hydrogen as a raw material. This thesis studies the potential carbon dioxide sources within Finland. The different sources are ranked using the cost and energy penalty of the carbon capture, carbon biogenity and compatibility with Power-to-Gas. It can be concluded that in Finland there exists enough CO2 point sources to provide national PtG system with sufficient amounts of carbon. Pulp and paper industry is single largest producer of biogenic CO2 in Finland. It is possible to obtain single unit capable of grid balancing operations and energy transformations via Power-to-Gas and Gas-to-Power by coupling biogas plants with biomethanation and CHP units.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Tämä työ on kirjallisuuskatsaus digitaalisen teräväpiirtoresoluution historiaan, nykyhetkeen ja tulevaisuuteen. Lisäksi käydään läpi eri medioista löytyviä termejä ja pyritään selvittämään näiden termien merkitys lukijalle. Työ on tehty Lappeenrannan teknillisen yliopiston Tietotekniikan osastolle. Teräväpiirtotelevision historia alkaa jo 1960-luvulta ja ensimmäiset teräväpiirtoresoluutiot kehitettiin 1970-luvulla. Kun resoluutiota kasvatetaan, myös kuvatiedoston ja vaadittavan tallennustilan koko kasvaa. Se aiheuttaa uusia haasteita muun muassa lähetys-, pakkaus- ja vastaanotintekniikoille. 4K-resoluutiot ovat jo täällä, mutta miten käy 16K-resoluution. Onko suuresta resoluutiosta hyötyä esimerkiksi Virtual Reality –sovelluksissa?

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mesoporous metal oxides are nowadays widely used in various technological applications, for instance in catalysis, biomolecular separations and drug delivery. A popular technique used to synthesize mesoporous metal oxides is the nanocasting process. Mesoporous metal oxide replicas are obtained from the impregnation of a porous template with a metal oxide precursor followed by thermal treatment and removal of the template by etching in NaOH or HF solutions. In a similar manner to the traditional casting wherein the product inherits the features of the mold, the metal oxide replicas are supposed to have an inverse structure of the starting porous template. This is however not the case, as broken or deformed particles and other structural defects have all been experienced during nanocasting experiments. Although the nanocasting technique is widely used, not all the processing steps are well understood. Questions over the fidelity of replication and morphology control are yet to be adequately answered. This work therefore attempts to answer some of these questions by elucidating the nanocasting process, pin pointing the crucial steps involved and how to harness this knowledge in making wholesome replicas which are a true replication of the starting templates. The rich surface chemistry of mesoporous metal oxides is an important reason why they are widely used in applications such as catalysis, biomolecular separation, etc. At times the surface is modified or functionalized with organic species for stability or for a particular application. In this work, nanocast metal oxides (TiO2, ZrO2 and SnO2) and SiO2 were modified with amino-containing molecules using four different approaches, namely (a) covalent bonding of 3-aminopropyltriethoxysilane (APTES), (b) adsorption of 2-aminoethyl dihydrogen phosphate (AEDP), (c) surface polymerization of aziridine and (d) adsorption of poly(ethylenimine) (PEI) through electrostatic interactions. Afterwards, the hydrolytic stability of each functionalization was investigated at pH 2 and 10 by zeta potential measurements. The modifications were successful except for the AEDP approach which was unable to produce efficient amino-modification on any of the metal oxides used. The APTES, aziridine and PEI amino-modifications were fairly stable at pH 10 for all the metal oxides tested while only AZ and PEI modified-SnO2 were stable at pH 2 after 40 h. Furthermore, the functionalized metal oxides (SiO2, Mn2O3, ZrO2 and SnO2) were packed into columns for capillary liquid chromatography (CLC) and capillary electrochromatography (CEC). Among the functionalized metal oxides, aziridinefunctionalized SiO2, (SiO2-AZ) showed good chemical stability, and was the most useful packing material in both CLC and CEC. Lastly, nanocast metal oxides were synthesized for phosphopeptide enrichment which is a technique used to enrich phosphorylated proteins in biological samples prior to mass spectrometry analysis. By using the nanocasting technique to prepare the metal oxides, the surface area was controlled within a range of 42-75 m2/g thereby enabling an objective comparison of the metal oxides. The binding characteristics of these metal oxides were compared by using samples with different levels of complexity such as synthetic peptides and cell lysates. The results show that nanocast TiO2, ZrO2, Fe2O3 and In2O3 have comparable binding characteristics. Furthermore, In2O3 which is a novel material in phosphopeptide enrichment applications performed comparably with standard TiO2 which is the benchmark for such phosphopeptide enrichment procedures. The performance of the metal oxides was explained by ranking the metal oxides according to their isoelectric points and acidity. Overall, the clarification of the nanocasting process provided in this work will aid the synthesis of metal oxides with true fidelity of replication. Also, the different applications of the metal oxides based on their surface interactions and binding characteristics show the versatility of metal oxide materials. Some of these results can form the basis from which further applications and protocols can be developed.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.