The pre-history of cryoscopy: what was done before raoult?

Cryoscopy is considered one of the foundations of the modern theory of solutions and of physical chemistry. This paper shows in order the first regularities pointed out by several scientists on the subject, in the first chapter of its birth as a scientific discipline. The study is focused on the identification of the different steps that helped, first qualitatively and then quantitatively, to adjust the different classes of possible solutions, including those that formed hydrates, to a basic formulation that the French scientist François-Marie Raoult would later generalize in the law that bears his name.

Propriedades dinâmicas de fluidos por simulação computacional: métodos híbridos atomístico-contínuo

Computational methods for the calculation of dynamical properties of fluids might consider the system as a continuum or as an assembly of molecules. Molecular dynamics (MD) simulation includes molecular resolution, whereas computational fluid dynamics (CFD) considers the fluid as a continuum. This work provides a review of hybrid methods MD/CFD recently proposed in the literature. Theoretical foundations, basic approaches of computational methods, and dynamical properties typically calculated by MD and CFD are first presented in order to appreciate the similarities and differences between these two methods. Then, methods for coupling MD and CFD, and applications of hybrid simulations MD/CFD, are presented.

Química e filosofia: rumo a uma frutífera colaboração

This review seeks to present a brief history of the philosophy of chemistry and the major issues discussed in the framework of this emerging discipline of philosophy of science, such as the question of physicalist reductionism and physical and chemical causality. In this vein, it also addresses the current debate over relevant issues of chemical world such as atomic orbitals, molecular structure, chemical bonding, models and explanations, as well as the foundations of the periodic table. Finally, the importance of the link between the philosophy of chemistry and chemistry education is analyzed, especially in relation to teacher training.

Usability Centered Implementation of a Web Based Value Added Module

Customer specific functionalities are a challenging part of procurement and invoice automation environments. In Basware Enterprise Purchase to Payment product family the customer specific reports are supported only in a basic level without any seamless interface between all EPP products. Also other customer specific functionalities are not supported as there is no customizable interface between the applications and only the most common features are implemented to the products themselves. In this thesis foundations are created for a new web based value added module where it is possible to create seamless customer specific functionalities throughout the whole EPP product family. The work is implemented in a Proof of Concept type of piloting. The system is created in user centered way where the users are able to explain their requests and determine their needs. The result is an excellent foundation for a module that can be developed further.

IDEAS for Strategic Technology Management: Design of an electronically mediated scenario method

The age-old adage goes that nothing in this world lasts but change, and this generation has indeed seen changes that are unprecedented. Business managers do not have the luxury of going with the flow: they have to plan ahead, to think strategies that will meet the changing conditions, however stormy the weather seems to be. This demand raises the question of whether there is something a manager or planner can do to circumvent the eye of the storm in the future? Intuitively, one can either run on the risk of something happening without preparing, or one can try to prepare oneself. Preparing by planning for each eventuality and contingency would be impractical and prohibitively expensive, so one needs to develop foreknowledge, or foresight past the horizon of the present and the immediate future. The research mission in this study is to support strategic technology management by designing an effective and efficient scenario method to induce foresight to practicing managers. The design science framework guides this study in developing and evaluating the IDEAS method. The IDEAS method is an electronically mediated scenario method that is specifically designed to be an effective and accessible. The design is based on the state-of-the-art in scenario planning, and the product is a technology-based artifact to solve the foresight problem. This study demonstrates the utility, quality and efficacy of the artifact through a multi-method empirical evaluation study, first by experimental testing and secondly through two case studies. The construction of the artifact is rigorously documented as justification knowledge as well as the principles of form and function on the general level, and later through the description and evaluation of instantiations. This design contributes both to practice and foundation of the design. The IDEAS method contributes to the state-of-the-art in scenario planning by offering a light-weight and intuitive scenario method for resource constrained applications. Additionally, the study contributes to the foundations and methods of design by forging a clear design science framework which is followed rigorously. To summarize, the IDEAS method is offered for strategic technology management, with a confident belief that it will enable gaining foresight and aid the users to choose trajectories past the gales of creative destruction and off to a brighter future.

Teaching mathematics and programming : new approaches with empirical evaluation

Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that CS students find programming difficult to learn and that teaching mathematical topics to CS novices is challenging. One reason for the latter is the disconnection between mathematics and programming found in many CS curricula, which results in students not seeing the relevance of the subject for their studies. In addition, reports indicate that students' mathematical capability and maturity levels are dropping. The challenges faced when teaching mathematics and programming at CS departments can also be traced back to gaps in students' prior education. In Finland the high school curriculum does not include CS as a subject; instead, focus is on learning to use the computer and its applications as tools. Similarly, many of the mathematics courses emphasize application of formulas, while logic, formalisms and proofs, which are important in CS, are avoided. Consequently, high school graduates are not well prepared for studies in CS. Motivated by these challenges, the goal of the present work is to describe new approaches to teaching mathematics and programming aimed at addressing these issues: Structured derivations is a logic-based approach to teaching mathematics, where formalisms and justifications are made explicit. The aim is to help students become better at communicating their reasoning using mathematical language and logical notation at the same time as they become more confident with formalisms. The Python programming language was originally designed with education in mind, and has a simple syntax compared to many other popular languages. The aim of using it in instruction is to address algorithms and their implementation in a way that allows focus to be put on learning algorithmic thinking and programming instead of on learning a complex syntax. Invariant based programming is a diagrammatic approach to developing programs that are correct by construction. The approach is based on elementary propositional and predicate logic, and makes explicit the underlying mathematical foundations of programming. The aim is also to show how mathematics in general, and logic in particular, can be used to create better programs.

HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS

Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how Hilbert's ideas are far from a purely formalist conception of mathematics. The principal thesis of this article is that one of the main problems that Hilbert encountered in his foundational studies consisted in securing a link between formalization and intuition. We will also analyze a related problem, that we will call "Frege's Problem", form the time of the foundation of geometry and investigate the role of the Axiom of Completeness in its solution.

Lappeenrannan seudun opiskelija-asuntosäätiön sähköisten palveluiden käytettävyyden ja vaikuttavuuden kehittäminen

Sähköiset palvelut ovat tulleet keskeiseksi osaksi Lappeenrannan seudun opiskelija-asuntosäätiön (LOAS) sisäistä ja ulkoista tiedottamista. Tiedon nopea saatavuus ja yksinkertainen käytettävyys ovat avainasemassa kehitettäessä uusia järjestelmiä. Uuden sukupolven käyttäjät ovat tottuneet tiedon saatavuuden helppouteen, joten tiedon tulee olla selkeästi esillä ja siihen on päästävä käsiksi nopeasti. Diplomityön tavoitteena oli tutkia ja kehittää LOAS:n sisäisiä ja ulospäin asiakkaille tarjottavia sähköisiä palveluita. Kehitettävät palvelut olivat intranet, Internet-sivut ja Maestro Opas-asiakashallinta. LOAS:n palvelut on hajautettu usean eri ohjelman välille, joten se aiheuttaa ongelmia informaation siirrossa järjestelmien välillä. Työssä sähköisten palveluiden käytettävyyttä parannettiin lyhentämällä polkuja ja koostamalla palveluita kokonaisuuksiksi. Työn lopputuloksena LOAS:llä on käytössään yksinkertaisemmat Internet-sivut ja selkeämpi intranet-näkymä. Palveluiden käytettävyyden ja vaikuttavuuden arviointi suoritettiin itsenäisenä perehtymisenä ongelmakohtiin ja henkilöhaastatteluina. Haastatteluilla kartoitettiin käyttäjien palvelun tarpeita, jonka avulla kehitettävät kohteet pystyttiin määrittelemään. Palveluiden käytettävyyttä parantamalla asukkaita pyritään ohjaamaan tarjottavien palveluiden piiriin. Tällöin asukkaille tarjottavien palveluiden laatua pystytään parantamaan. LOAS:n tulisi kuitenkin tarkastella erilaisia ratkaisuja toimintojen yhdistämiseen. Tämän avulla asukkaiden kaikki liikkuminen pystyttäisiin käsittelemään yhden ohjelman avulla.

The position effect of structural Eucalyptus round timber on the flexural modulus of elasticity

Round timber has great use in civil construction, performing the function of beams, columns, foundations, poles for power distribution among others, with the advantage of not being processed, such as lumber. The structural design of round timber requires determining the elastic properties, mainly the modulus of elasticity. The Brazilian standards responsible for the stiffness and strength determination of round timber are in effect for over twenty years with no technical review. Round timber, for generally present an axis with non-zero curvature according to the position of the element in the bending test, may exhibit different values of modulus of elasticity. This study aims to analyze the position effect of Eucalyptus grandis round timber on the flexural modulus of elasticity. The three-point bending test was evaluated in two different positions based on the longitudinal rotation of the round timber element. The results revealed that at least two different positions of the round timber element are desired to obtain significant modulus of elasticity.

Corporate responsibility guaranteed by dialogue? Examining the relationship between nongovernmental organizations and business

The main objective of this doctoral dissertation is to examine the relationship between non-governmental organizations and business in the context of academic discourse, corporate responsibility discourse, and stakeholder dialogue. More specifically, motivated by the increasing emphasis on stakeholder dialogue as a tool for corporate responsibility and accountability, the aim is to critically assess the role of stakeholder dialogue as a self-regulatory mechanism, in particular from the perspective of foreign direct investments. The study comprises two parts; an introductory essay containing the research objectives, theoretical foundations and methodological choices, and four research articles that address one sub-objective: 1) to review the literature on NGO-business relations in business and society, management, and international business journals from 1998–2007; 2) to critically analyze the academic discourse on NGO-business relations; 3) to analyze the problematic aspects of sustainable foreign direct investments as a conceptual construct; and 4) to analyze the problematic aspects of stakeholder dialogue in connection with a foreign direct investment. The ontological and epistemological foundations of this dissertation build on the social constructionist view of reality. The dialogue in this study is viewed as a legitimacy bargaining process that is actively shaped by societal parties in discourse. Similarly, articulations of ‘partnership’ and ‘adversarial’ in NGO-business relations in academic business and society discourse are viewed as competing hegemonic interventions in the field. More specifically, the methods applied in the articles are literature review (Article 1), discourse theory (Article 2), conceptual analysis (Article 3), and case study with document analysis (Article 4). This dissertation has three main arguments and contributions. First, it is argued that the potential of stakeholder dialogue as a tool for corporate responsibility and accountability is inherently limited in both contexts. Second, the study shows the power implications of privileging partnership oriented NGO-business relations over adversarial ones, and of placing business at the centre of governance discourse. The third contribution is methodological: a new way to analyze academic discourse is presented by focusing on the problem setting of an article.

Miksi antiikissa ei syntynyt (modernia) kapitalismia?

Kirjallisuusarvostelu

Energiatehokkuuden parantaminen Lappeenrannan seudun opiskelija-asuntosäätiön rakennuksissa

Jatkuvasti nouseva energian hinta ja kiristyneet energiatehokkuusmääräykset asettavat opiskelijoille vuokra-asuntoja tuottaville palveluntarjoajille uusia haasteita. Opiskelijoiden tulotaso ei seuraa energian nopeaa hinnannousua ja jotta pystytään säilyttämään opiskelija-asuntojen hinta riittävän alhaisena, on kiinnitettävä enemmän huomiota energiankulutukseen. Tämä diplomityö antaa vahvan alkusysäyksen Lappeenrannan seudun opiskelija-asuntosäätiön (LOAS) energiate-hokkuustyölle ja tavoitteena on tehdä tehokkaasta energiankäytöstä jatkuvaa joka-päiväistä toimintaa. Energiatehokkuustyöhön ryhdyttiin tutustumalla valittujen vertailuyhteisöjen energiatehokkuustoimintaan ja energiatehokkuuteen Suomen rakennuskannassa. Tilastollisesta tarkastelusta siirryttiin tutkimaan LOAS:n kiinteistökannan nykytilaa asuinrakennuksille suunnitellun energiakatselmusmallin avulla. Tehtyjen ha-vaintojen pohjalta toteutettiin erilaisten energiansäästötoimenpiteiden vaikutta-vuuskokeiluja yksittäisissä asuntokohteissa. Saatujen tulosten pohjalta määriteltiin toimenpiteet energiatehokkuustoiminnan jatkamiselle ja parhaiden toimenpiteiden laajentamisesta koskemaan koko LOAS:n rakennuskantaa. Työssä luotiin suositukset myös LOAS:n tuleville laajemmille asuntokohteiden perusparannuksille, joilla energiatehokkuuden tasoa saadaan taloudellisesti kannattavalla tavalla merkittävästi parannettua. Työn kuluessa saatiin aikaiseksi energiatehokkuuden parantamisen kannalta merkittäviä tuloksia. Tehtyjen toimenpiteiden kokonaisvaltaisen käyttöönoton jälkeen LOAS:n energiatehokkuus on valtakunnallista huipputasoa opiskelija-asumista tarjoavien yhteisöjen vuosittaisessa vertailussa.

Dispersal and metacommunity dynamics in a soft-sediment benthic system : how well is the seafloor connected?

Connectivity depends on rates of dispersal between communities. For marine soft-sediment communities continued small-scale dispersal as post-larvae and as adults can be equally important in maintaining community composition, as initial recruitment of substrate by pelagic larvae. In this thesis post-larval dispersal strategies of benthic invertebrates, as well as mechanisms by which communities are connected were investigated. Such knowledge on dispersal is scarce, due to the difficulties in actually measuring dispersal directly in nature, and dispersal has not previously been quantified in the Baltic Sea. Different trap-types were used underwater to capture dispersing invertebrates at different sites, while in parallel measuring waves and currents. Local community composition was found to change predictably under varying rates of dispersal and physical connectivity (waves and currents). This response was, however, dependent on dispersal-related traits of taxa. Actively dispersing taxa will be relatively better at maintaining their position, as they are not as dependent on hydrodynamic conditions for dispersal and will be less prone to be passively transported by currents. Taxa also dispersed in relative proportions that were distinctly different from resident community composition and a significant proportion (40 %) of taxa were found to lack a planktonic larval life-stage. Community assembly was re-started in a large-scale manipulative field experiment over one year across several sites, which revealed how patterns of community composition (α-, β- and λ-diversity) change depending on rates of dispersal. Results also demonstrated that in response to small-scale disturbance, initial recruitment was by nearby-dominant species after which other species arrived from successively further away. At later assembly time, the number of coexisting species increased beyond what was expected purely by local niche requirements (species sorting), transferring regional differences in community composition (β-diversity) to the local scale (α-diversity, mass effect). Findings of this thesis complement more theoretical studies in metacommunity ecology by demonstrating that understanding how and when individuals disperse relative to underlying environmental heterogeneity is key to interpreting how patterns of diversity change across different spatial scales. Such information from nature is critical when predicting responses to, for example, different types of disturbances or management actions in conservation.